clang/test/CodeGenObjC/arc-no-arc-exceptions.m

   1 // RUN: %clang_cc1 -no-opaque-pointers -triple x86_64-apple-darwin10 -emit-llvm -fobjc-arc -fblocks -fexceptions -fobjc-exceptions -O2 -disable-llvm-passes -o - %s | FileCheck %s
   2 // RUN: %clang_cc1 -no-opaque-pointers -triple x86_64-apple-darwin10 -emit-llvm -fobjc-arc -fblocks -fexceptions -fobjc-exceptions -disable-llvm-passes -o - %s | FileCheck -check-prefix=NO-METADATA %s
   3 // RUN: %clang_cc1 -no-opaque-pointers -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 %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
   8 void thrower(void);
   9 void 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: }
  17 void 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: }
  28 void test1(id x) {
  29   id y = x;
  30   thrower();
  31   not();
  32 }
  33
  34 void NSLog(id, ...);
  35
  36 // CHECK-LABEL: define{{.*}} void @test2(
  37 // CHECK: invoke void (i8*, ...) @NSLog(i8* noundef bitcast (%struct.__NSConstantString_tag* @_unnamed_cfstring_ to i8*), i32* 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_exceptions
  41 // NO-METADATA: }
  42 void 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 %{{.*}}(i8* 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_exceptions
  55 // NO-METADATA: }
  56 void 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 %{{.*}}(i8* 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_exceptions
  70 // NO-METADATA: }
  71 void 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 }