1// RUN: %clang_cc1 -triple x86_64-apple-darwin10 -emit-llvm -fobjc-arc -fblocks -fexceptions -fobjc-exceptions -O2 -disable-llvm-optzns -o - %s | FileCheck %s 2// RUN: %clang_cc1 -triple x86_64-apple-darwin10 -emit-llvm -fobjc-arc -fblocks -fexceptions -fobjc-exceptions -disable-llvm-optzns -o - %s | FileCheck -check-prefix=NO-METADATA %s 3// RUN: %clang_cc1 -triple x86_64-apple-darwin10 -emit-llvm -fobjc-arc -fblocks -fexceptions -fobjc-exceptions -O2 -disable-llvm-optzns -o - %s -fobjc-arc-exceptions | FileCheck -check-prefix=NO-METADATA %s 4 5// The front-end should emit clang.arc.no_objc_arc_exceptions in -fobjc-arc-exceptions 6// mode when optimization is enabled, and not otherwise. 7 8void thrower(void); 9void not(void) __attribute__((nothrow)); 10 11// CHECK-LABEL: define void @test0( 12// CHECK: call void @thrower(), !clang.arc.no_objc_arc_exceptions ! 13// CHECK: call void @not() [[NUW:#[0-9]+]], !clang.arc.no_objc_arc_exceptions ! 14// NO-METADATA-LABEL: define void @test0( 15// NO-METADATA-NOT: !clang.arc.no_objc_arc_exceptions 16// NO-METADATA: } 17void test0(void) { 18 thrower(); 19 not(); 20} 21 22// CHECK-LABEL: define void @test1( 23// CHECK: call void @thrower(), !clang.arc.no_objc_arc_exceptions ! 24// CHECK: call void @not() [[NUW]], !clang.arc.no_objc_arc_exceptions ! 25// NO-METADATA-LABEL: define void @test1( 26// NO-METADATA-NOT: !clang.arc.no_objc_arc_exceptions 27// NO-METADATA: } 28void test1(id x) { 29 id y = x; 30 thrower(); 31 not(); 32} 33 34void NSLog(id, ...); 35 36// CHECK-LABEL: define void @test2( 37// CHECK: invoke void (i8*, ...) @NSLog(i8* bitcast (%struct.__NSConstantString_tag* @_unnamed_cfstring_ to i8*), i32* %{{.*}}) 38// CHECK: to label %{{.*}} unwind label %{{.*}}, !clang.arc.no_objc_arc_exceptions ! 39// NO-METADATA-LABEL: define void @test2( 40// NO-METADATA-NOT: !clang.arc.no_objc_arc_exceptions 41// NO-METADATA: } 42void test2(void) { 43 @autoreleasepool { 44 __attribute__((__blocks__(byref))) int x; 45 NSLog(@"Address of x outside of block: %p", &x); 46 } 47} 48 49// CHECK-LABEL: define void @test3( 50// CHECK: invoke void %{{.*}}(i8* %{{.*}}) 51// CHECK: to label %{{.*}} unwind label %{{.*}}, !clang.arc.no_objc_arc_exceptions ! 52// NO-METADATA-LABEL: define void @test3( 53// NO-METADATA-NOT: !clang.arc.no_objc_arc_exceptions 54// NO-METADATA: } 55void test3(void) { 56 @autoreleasepool { 57 __attribute__((__blocks__(byref))) int x; 58 ^{ 59 NSLog(@"Address of x in non-assigned block: %p", &x); 60 }(); 61 } 62} 63 64// CHECK-LABEL: define void @test4( 65// CHECK: invoke void %{{.*}}(i8* %{{.*}}) 66// CHECK: to label %{{.*}} unwind label %{{.*}}, !clang.arc.no_objc_arc_exceptions ! 67// NO-METADATA-LABEL: define void @test4( 68// NO-METADATA-NOT: !clang.arc.no_objc_arc_exceptions 69// NO-METADATA: } 70void test4(void) { 71 @autoreleasepool { 72 __attribute__((__blocks__(byref))) int x; 73 void (^b)(void) = ^{ 74 NSLog(@"Address of x in assigned block: %p", &x); 75 }; 76 b(); 77 } 78} 79 80// CHECK: attributes [[NUW]] = { nounwind } 81