82 lines · plain
1// RUN: %clang_cc1 -triple x86_64-apple-darwin10 -emit-llvm -fobjc-arc -fblocks -fexceptions -fobjc-exceptions -O2 -disable-llvm-passes -o - %s | FileCheck %s2// RUN: %clang_cc1 -triple x86_64-apple-darwin10 -emit-llvm -fobjc-arc -fblocks -fexceptions -fobjc-exceptions -disable-llvm-passes -o - %s | FileCheck -check-prefix=NO-METADATA %s3// RUN: %clang_cc1 -triple x86_64-apple-darwin10 -emit-llvm -fobjc-arc -fblocks -fexceptions -fobjc-exceptions -O2 -disable-llvm-passes -o - %s -fobjc-arc-exceptions | FileCheck -check-prefix=NO-METADATA %s4 5// The front-end should emit clang.arc.no_objc_arc_exceptions in -fobjc-arc-exceptions6// 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_exceptions16// 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_exceptions27// 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 (ptr, ...) @NSLog(ptr noundef @_unnamed_cfstring_, ptr noundef %{{.*}})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_exceptions41// NO-METADATA: }42void test2(void) {43 @autoreleasepool {44 __attribute__((__blocks__(byref))) int x;45 ^{ (void)x; };46 NSLog(@"Address of x outside of block: %p", &x);47 }48}49 50// CHECK-LABEL: define{{.*}} void @test3(51// CHECK: invoke void %{{.*}}(ptr noundef %{{.*}})52// CHECK: to label %{{.*}} unwind label %{{.*}}, !clang.arc.no_objc_arc_exceptions !53// NO-METADATA-LABEL: define{{.*}} void @test3(54// NO-METADATA-NOT: !clang.arc.no_objc_arc_exceptions55// NO-METADATA: }56void test3(void) {57 @autoreleasepool {58 __attribute__((__blocks__(byref))) int x;59 ^{60 NSLog(@"Address of x in non-assigned block: %p", &x);61 }();62 }63}64 65// CHECK-LABEL: define{{.*}} void @test4(66// CHECK: invoke void %{{.*}}(ptr noundef %{{.*}})67// CHECK: to label %{{.*}} unwind label %{{.*}}, !clang.arc.no_objc_arc_exceptions !68// NO-METADATA-LABEL: define{{.*}} void @test4(69// NO-METADATA-NOT: !clang.arc.no_objc_arc_exceptions70// NO-METADATA: }71void test4(void) {72 @autoreleasepool {73 __attribute__((__blocks__(byref))) int x;74 void (^b)(void) = ^{75 NSLog(@"Address of x in assigned block: %p", &x);76 };77 b();78 }79}80 81// CHECK: attributes [[NUW]] = { nounwind }82