1// RUN: %clang_cc1 -triple x86_64-apple-darwin10 -emit-llvm -fobjc-arc -fexceptions -fobjc-exceptions -fcxx-exceptions -fobjc-runtime-has-weak -o - -fobjc-arc-exceptions %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-LABEL: 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]]) [[NUW:#[0-9]+]] 21// CHECK-NEXT: [[T4:%.*]] = bitcast i8* [[T3]] to [[ETY]]* 22// CHECK-NEXT: store [[ETY]]* [[T4]], [[ETY]]** [[E]] 23// CHECK-NEXT: [[T0:%.*]] = bitcast [[ETY]]** [[E]] to i8** 24// CHECK-NEXT: call void @objc_storeStrong(i8** [[T0]], i8* null) [[NUW]] 25// CHECK-NEXT: call void @objc_end_catch() [[NUW]] 26 27void test1_helper(void); 28void test1(void) { 29 @try { 30 test1_helper(); 31 } @catch (__weak Ety *e) { 32 } 33} 34// CHECK-LABEL: define void @_Z5test1v() 35// CHECK: [[E:%.*]] = alloca [[ETY:%.*]]*, align 8 36// CHECK-NEXT: invoke void @_Z12test1_helperv() 37// CHECK: [[T0:%.*]] = call i8* @objc_begin_catch( 38// CHECK-NEXT: [[T1:%.*]] = bitcast i8* [[T0]] to [[ETY]]* 39// CHECK-NEXT: [[T2:%.*]] = bitcast [[ETY]]** [[E]] to i8** 40// CHECK-NEXT: [[T3:%.*]] = bitcast [[ETY]]* [[T1]] to i8* 41// CHECK-NEXT: call i8* @objc_initWeak(i8** [[T2]], i8* [[T3]]) [[NUW]] 42// CHECK-NEXT: [[T0:%.*]] = bitcast [[ETY]]** [[E]] to i8** 43// CHECK-NEXT: call void @objc_destroyWeak(i8** [[T0]]) [[NUW]] 44// CHECK-NEXT: call void @objc_end_catch() [[NUW]] 45 46void test2_helper(void); 47void test2(void) { 48 try { 49 test2_helper(); 50 } catch (Ety *e) { 51 } 52} 53// CHECK-LABEL: define void @_Z5test2v() 54// CHECK: [[E:%.*]] = alloca [[ETY:%.*]]*, align 8 55// CHECK-NEXT: invoke void @_Z12test2_helperv() 56// CHECK: [[T0:%.*]] = call i8* @__cxa_begin_catch( 57// CHECK-NEXT: [[T1:%.*]] = bitcast i8* [[T0]] to [[ETY]]* 58// CHECK-NEXT: [[T2:%.*]] = bitcast [[ETY]]* [[T1]] to i8* 59// CHECK-NEXT: [[T3:%.*]] = call i8* @objc_retain(i8* [[T2]]) [[NUW]] 60// CHECK-NEXT: [[T4:%.*]] = bitcast i8* [[T3]] to [[ETY]]* 61// CHECK-NEXT: store [[ETY]]* [[T4]], [[ETY]]** [[E]] 62// CHECK-NEXT: [[T0:%.*]] = bitcast [[ETY]]** [[E]] to i8** 63// CHECK-NEXT: call void @objc_storeStrong(i8** [[T0]], i8* null) [[NUW]] 64// CHECK-NEXT: call void @__cxa_end_catch() [[NUW]] 65 66void test3_helper(void); 67void test3(void) { 68 try { 69 test3_helper(); 70 } catch (Ety * __weak e) { 71 } 72} 73// CHECK-LABEL: define void @_Z5test3v() 74// CHECK: [[E:%.*]] = alloca [[ETY:%.*]]*, align 8 75// CHECK-NEXT: invoke void @_Z12test3_helperv() 76// CHECK: [[T0:%.*]] = call i8* @__cxa_begin_catch( 77// CHECK-NEXT: [[T1:%.*]] = bitcast i8* [[T0]] to [[ETY]]* 78// CHECK-NEXT: [[T2:%.*]] = bitcast [[ETY]]** [[E]] to i8** 79// CHECK-NEXT: [[T3:%.*]] = bitcast [[ETY]]* [[T1]] to i8* 80// CHECK-NEXT: call i8* @objc_initWeak(i8** [[T2]], i8* [[T3]]) [[NUW]] 81// CHECK-NEXT: [[T0:%.*]] = bitcast [[ETY]]** [[E]] to i8** 82// CHECK-NEXT: call void @objc_destroyWeak(i8** [[T0]]) [[NUW]] 83// CHECK-NEXT: call void @__cxa_end_catch() [[NUW]] 84 85namespace test4 { 86 struct A { 87 id single; 88 id array[2][3]; 89 90 A(); 91 }; 92 93 A::A() { 94 throw 0; 95 } 96 // CHECK-LABEL: define void @_ZN5test41AC2Ev( 97 // CHECK: [[THIS:%.*]] = load [[A:%.*]]*, [[A:%.*]]** {{%.*}} 98 // Construct single. 99 // CHECK-NEXT: [[SINGLE:%.*]] = getelementptr inbounds [[A]], [[A]]* [[THIS]], i32 0, i32 0 100 // CHECK-NEXT: store i8* null, i8** [[SINGLE]], align 8 101 // Construct array. 102 // CHECK-NEXT: [[ARRAY:%.*]] = getelementptr inbounds [[A]], [[A]]* [[THIS]], i32 0, i32 1 103 // CHECK-NEXT: [[T0:%.*]] = bitcast [2 x [3 x i8*]]* [[ARRAY]] to i8* 104 // CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* [[T0]], i8 0, i64 48, i32 8, i1 false) 105 // throw 0; 106 // CHECK: invoke void @__cxa_throw( 107 // Landing pad from throw site: 108 // CHECK: landingpad 109 // - First, destroy all of array. 110 // CHECK: [[ARRAYBEGIN:%.*]] = getelementptr inbounds [2 x [3 x i8*]], [2 x [3 x i8*]]* [[ARRAY]], i32 0, i32 0, i32 0 111 // CHECK-NEXT: [[ARRAYEND:%.*]] = getelementptr inbounds i8*, i8** [[ARRAYBEGIN]], i64 6 112 // CHECK-NEXT: br label 113 // CHECK: [[AFTER:%.*]] = phi i8** [ [[ARRAYEND]], {{%.*}} ], [ [[ELT:%.*]], {{%.*}} ] 114 // CHECK-NEXT: [[ELT]] = getelementptr inbounds i8*, i8** [[AFTER]], i64 -1 115 // CHECK-NEXT: call void @objc_storeStrong(i8** [[ELT]], i8* null) [[NUW]] 116 // CHECK-NEXT: [[DONE:%.*]] = icmp eq i8** [[ELT]], [[ARRAYBEGIN]] 117 // CHECK-NEXT: br i1 [[DONE]], 118 // - Next, destroy single. 119 // CHECK: call void @objc_storeStrong(i8** [[SINGLE]], i8* null) [[NUW]] 120 // CHECK: br label 121 // CHECK: resume 122} 123 124// rdar://21397946 125__attribute__((ns_returns_retained)) id test5_helper(unsigned); 126void test5(void) { 127 id array[][2] = { 128 test5_helper(0), 129 test5_helper(1), 130 test5_helper(2), 131 test5_helper(3) 132 }; 133} 134// CHECK-LABEL: define void @_Z5test5v() 135// CHECK: [[ARRAY:%.*]] = alloca [2 x [2 x i8*]], align 136// CHECK: [[A0:%.*]] = getelementptr inbounds [2 x [2 x i8*]], [2 x [2 x i8*]]* [[ARRAY]], i64 0, i64 0 137// CHECK-NEXT: store [2 x i8*]* [[A0]], 138// CHECK-NEXT: [[A00:%.*]] = getelementptr inbounds [2 x i8*], [2 x i8*]* [[A0]], i64 0, i64 0 139// CHECK-NEXT: store i8** [[A00]], 140// CHECK-NEXT: [[T0:%.*]] = invoke i8* @_Z12test5_helperj(i32 0) 141// CHECK: store i8* [[T0]], i8** [[A00]], align 142// CHECK-NEXT: [[A01:%.*]] = getelementptr inbounds i8*, i8** [[A00]], i64 1 143// CHECK-NEXT: store i8** [[A01]], 144// CHECK-NEXT: [[T0:%.*]] = invoke i8* @_Z12test5_helperj(i32 1) 145// CHECK: store i8* [[T0]], i8** [[A01]], align 146// CHECK-NEXT: [[A1:%.*]] = getelementptr inbounds [2 x i8*], [2 x i8*]* [[A0]], i64 1 147// CHECK-NEXT: store [2 x i8*]* [[A1]], 148// CHECK-NEXT: [[A10:%.*]] = getelementptr inbounds [2 x i8*], [2 x i8*]* [[A1]], i64 0, i64 0 149// CHECK-NEXT: store i8** [[A10]], 150// CHECK-NEXT: [[T0:%.*]] = invoke i8* @_Z12test5_helperj(i32 2) 151// CHECK: store i8* [[T0]], i8** [[A10]], align 152// CHECK-NEXT: [[A11:%.*]] = getelementptr inbounds i8*, i8** [[A10]], i64 1 153// CHECK-NEXT: store i8** [[A11]], 154// CHECK-NEXT: [[T0:%.*]] = invoke i8* @_Z12test5_helperj(i32 3) 155// CHECK: store i8* [[T0]], i8** [[A11]], align 156 157// CHECK: attributes [[NUW]] = { nounwind } 158