1// RUN: %clang_cc1 -triple x86_64-apple-darwin10 -emit-llvm -fobjc-arc -fexceptions -fobjc-exceptions -fcxx-exceptions -fobjc-runtime-has-weak -o - %s | FileCheck %s 2 3@class Ety; 4 5// These first four tests are all PR11732 / rdar://problem/10667070. 6 7void test0_helper(void); 8void test0(void) { 9 @try { 10 test0_helper(); 11 } @catch (Ety *e) { 12 } 13} 14// CHECK: define void @_Z5test0v() 15// CHECK: [[E:%.*]] = alloca [[ETY:%.*]]*, align 8 16// CHECK-NEXT: invoke void @_Z12test0_helperv() 17// CHECK: [[T0:%.*]] = call i8* @objc_begin_catch( 18// CHECK-NEXT: [[T1:%.*]] = bitcast i8* [[T0]] to [[ETY]]* 19// CHECK-NEXT: [[T2:%.*]] = bitcast [[ETY]]* [[T1]] to i8* 20// CHECK-NEXT: [[T3:%.*]] = call i8* @objc_retain(i8* [[T2]]) nounwind 21// CHECK-NEXT: [[T4:%.*]] = bitcast i8* [[T3]] to [[ETY]]* 22// CHECK-NEXT: store [[ETY]]* [[T4]], [[ETY]]** [[E]] 23// CHECK-NEXT: [[T0:%.*]] = load [[ETY]]** [[E]] 24// CHECK-NEXT: [[T1:%.*]] = bitcast [[ETY]]* [[T0]] to i8* 25// CHECK-NEXT: call void @objc_release(i8* [[T1]]) nounwind 26// CHECK-NEXT: call void @objc_end_catch() nounwind 27 28void test1_helper(void); 29void test1(void) { 30 @try { 31 test1_helper(); 32 } @catch (__weak Ety *e) { 33 } 34} 35// CHECK: define void @_Z5test1v() 36// CHECK: [[E:%.*]] = alloca [[ETY:%.*]]*, align 8 37// CHECK-NEXT: invoke void @_Z12test1_helperv() 38// CHECK: [[T0:%.*]] = call i8* @objc_begin_catch( 39// CHECK-NEXT: [[T1:%.*]] = bitcast i8* [[T0]] to [[ETY]]* 40// CHECK-NEXT: [[T2:%.*]] = bitcast [[ETY]]** [[E]] to i8** 41// CHECK-NEXT: [[T3:%.*]] = bitcast [[ETY]]* [[T1]] to i8* 42// CHECK-NEXT: call i8* @objc_initWeak(i8** [[T2]], i8* [[T3]]) nounwind 43// CHECK-NEXT: [[T0:%.*]] = bitcast [[ETY]]** [[E]] to i8** 44// CHECK-NEXT: call void @objc_destroyWeak(i8** [[T0]]) nounwind 45// CHECK-NEXT: call void @objc_end_catch() nounwind 46 47void test2_helper(void); 48void test2(void) { 49 try { 50 test2_helper(); 51 } catch (Ety *e) { 52 } 53} 54// CHECK: define void @_Z5test2v() 55// CHECK: [[E:%.*]] = alloca [[ETY:%.*]]*, align 8 56// CHECK-NEXT: invoke void @_Z12test2_helperv() 57// CHECK: [[T0:%.*]] = call i8* @__cxa_begin_catch( 58// CHECK-NEXT: [[T1:%.*]] = bitcast i8* [[T0]] to [[ETY]]* 59// CHECK-NEXT: [[T2:%.*]] = bitcast [[ETY]]* [[T1]] to i8* 60// CHECK-NEXT: [[T3:%.*]] = call i8* @objc_retain(i8* [[T2]]) nounwind 61// CHECK-NEXT: [[T4:%.*]] = bitcast i8* [[T3]] to [[ETY]]* 62// CHECK-NEXT: store [[ETY]]* [[T4]], [[ETY]]** [[E]] 63// CHECK-NEXT: [[T0:%.*]] = load [[ETY]]** [[E]] 64// CHECK-NEXT: [[T1:%.*]] = bitcast [[ETY]]* [[T0]] to i8* 65// CHECK-NEXT: call void @objc_release(i8* [[T1]]) nounwind 66// CHECK-NEXT: call void @__cxa_end_catch() nounwind 67 68void test3_helper(void); 69void test3(void) { 70 try { 71 test3_helper(); 72 } catch (Ety * __weak e) { 73 } 74} 75// CHECK: define void @_Z5test3v() 76// CHECK: [[E:%.*]] = alloca [[ETY:%.*]]*, align 8 77// CHECK-NEXT: invoke void @_Z12test3_helperv() 78// CHECK: [[T0:%.*]] = call i8* @__cxa_begin_catch( 79// CHECK-NEXT: [[T1:%.*]] = bitcast i8* [[T0]] to [[ETY]]* 80// CHECK-NEXT: [[T2:%.*]] = bitcast [[ETY]]** [[E]] to i8** 81// CHECK-NEXT: [[T3:%.*]] = bitcast [[ETY]]* [[T1]] to i8* 82// CHECK-NEXT: call i8* @objc_initWeak(i8** [[T2]], i8* [[T3]]) nounwind 83// CHECK-NEXT: [[T0:%.*]] = bitcast [[ETY]]** [[E]] to i8** 84// CHECK-NEXT: call void @objc_destroyWeak(i8** [[T0]]) nounwind 85// CHECK-NEXT: call void @__cxa_end_catch() nounwind 86