test/CodeGenObjC/fragile-arc.m

   1 // RUN: %clang_cc1 -triple i386-apple-darwin10 -emit-llvm -fblocks -fobjc-arc -fobjc-exceptions -fobjc-runtime=macosx-fragile-10.10 -o - %s | FileCheck %s
   2 // RUN: %clang_cc1 -triple i386-apple-darwin10 -emit-llvm -fblocks -fobjc-arc -fobjc-exceptions -fobjc-runtime=macosx-fragile-10.10 -o - %s | FileCheck %s -check-prefix=GLOBALS
   3
   4 @class Opaque;
   5
   6 @interface Root {
   7   Class isa;
   8 }
   9 @end
  10
  11 @interface A : Root {
  12   Opaque *strong;
  13   __weak Opaque *weak;
  14 }
  15 @end
  16
  17 // GLOBALS-LABEL @OBJC_METACLASS_A
  18 //  Strong layout: scan the first word.
  19 // GLOBALS: @OBJC_CLASS_NAME_{{.*}} = private unnamed_addr constant [2 x i8] c"\01\00"
  20 //  Weak layout: skip the first word, scan the second word.
  21 // GLOBALS: @OBJC_CLASS_NAME_{{.*}} = private unnamed_addr constant [2 x i8] c"\11\00"
  22
  23 //  0x04002001
  24 //     ^ is compiled by ARC (controls interpretation of layouts)
  25 //        ^ has C++ structors (no distinction for zero-initializable)
  26 //           ^ factory (always set on non-metaclasses)
  27 // GLOBALS: @OBJC_CLASS_A = private global {{.*}} i32 67117057
  28
  29 @implementation A
  30 // CHECK-LABEL: define internal void @"\01-[A testStrong]"
  31 // CHECK:      [[SELFVAR:%.*]] = alloca [[A:%.*]]*, align 4
  32 - (void) testStrong {
  33 // CHECK:      [[X:%.*]] = alloca [[OPAQUE:%.*]]*, align 4
  34 // CHECK:      [[SELF:%.*]] = load [[A]]*, [[A]]** [[SELFVAR]]
  35 // CHECK-NEXT: [[T0:%.*]] = bitcast [[A]]* [[SELF]] to i8*
  36 // CHECK-NEXT: [[T1:%.*]] = getelementptr inbounds i8, i8* [[T0]], i32 4
  37 // CHECK-NEXT: [[IVAR:%.*]] = bitcast i8* [[T1]] to [[OPAQUE]]**
  38 // CHECK-NEXT: [[T0:%.*]] = load [[OPAQUE]]*, [[OPAQUE]]** [[IVAR]]
  39 // CHECK-NEXT: [[T1:%.*]] = bitcast [[OPAQUE]]* [[T0]] to i8*
  40 // CHECK-NEXT: [[T2:%.*]] = call i8* @objc_retain(i8* [[T1]])
  41 // CHECK-NEXT: [[T3:%.*]] = bitcast i8* [[T2]] to [[OPAQUE]]*
  42 // CHECK-NEXT: store [[OPAQUE]]* [[T3]], [[OPAQUE]]** [[X]]
  43   Opaque *x = strong;
  44 // CHECK-NEXT: [[VALUE:%.*]] = load [[OPAQUE]]*, [[OPAQUE]]** [[X]]
  45 // CHECK-NEXT: [[SELF:%.*]] = load [[A]]*, [[A]]** [[SELFVAR]]
  46 // CHECK-NEXT: [[T0:%.*]] = bitcast [[A]]* [[SELF]] to i8*
  47 // CHECK-NEXT: [[T1:%.*]] = getelementptr inbounds i8, i8* [[T0]], i32 4
  48 // CHECK-NEXT: [[IVAR:%.*]] = bitcast i8* [[T1]] to [[OPAQUE]]**
  49 // CHECK-NEXT: [[T0:%.*]] = bitcast [[OPAQUE]]** [[IVAR]] to i8**
  50 // CHECK-NEXT: [[T1:%.*]] = bitcast [[OPAQUE]]* [[VALUE]] to i8*
  51 // CHECK-NEXT: call void @objc_storeStrong(i8** [[T0]], i8* [[T1]])
  52   strong = x;
  53 // CHECK-NEXT: [[T0:%.*]] = bitcast [[OPAQUE]]** [[X]] to i8**
  54 // CHECK-NEXT: call void @objc_storeStrong(i8** [[T0]], i8* null)
  55 // CHECK-NEXT: ret void
  56 }
  57
  58 // CHECK-LABEL: define internal void @"\01-[A testWeak]"
  59 // CHECK:      [[SELFVAR:%.*]] = alloca [[A]]*, align 4
  60 - (void) testWeak {
  61 // CHECK:      [[X:%.*]] = alloca [[OPAQUE]]*, align 4
  62 // CHECK:      [[SELF:%.*]] = load [[A]]*, [[A]]** [[SELFVAR]]
  63 // CHECK-NEXT: [[T0:%.*]] = bitcast [[A]]* [[SELF]] to i8*
  64 // CHECK-NEXT: [[T1:%.*]] = getelementptr inbounds i8, i8* [[T0]], i32 8
  65 // CHECK-NEXT: [[IVAR:%.*]] = bitcast i8* [[T1]] to [[OPAQUE]]**
  66 // CHECK-NEXT: [[T0:%.*]] = bitcast [[OPAQUE]]** [[IVAR]] to i8**
  67 // CHECK-NEXT: [[T1:%.*]] = call i8* @objc_loadWeakRetained(i8** [[T0]])
  68 // CHECK-NEXT: [[T2:%.*]] = bitcast i8* [[T1]] to [[OPAQUE]]*
  69 // CHECK-NEXT: store [[OPAQUE]]* [[T2]], [[OPAQUE]]** [[X]]
  70   Opaque *x = weak;
  71 // CHECK-NEXT: [[VALUE:%.*]] = load [[OPAQUE]]*, [[OPAQUE]]** [[X]]
  72 // CHECK-NEXT: [[SELF:%.*]] = load [[A]]*, [[A]]** [[SELFVAR]]
  73 // CHECK-NEXT: [[T0:%.*]] = bitcast [[A]]* [[SELF]] to i8*
  74 // CHECK-NEXT: [[T1:%.*]] = getelementptr inbounds i8, i8* [[T0]], i32 8
  75 // CHECK-NEXT: [[IVAR:%.*]] = bitcast i8* [[T1]] to [[OPAQUE]]**
  76 // CHECK-NEXT: [[T0:%.*]] = bitcast [[OPAQUE]]** [[IVAR]] to i8**
  77 // CHECK-NEXT: [[T1:%.*]] = bitcast [[OPAQUE]]* [[VALUE]] to i8*
  78 // CHECK-NEXT: call i8* @objc_storeWeak(i8** [[T0]], i8* [[T1]])
  79   weak = x;
  80 // CHECK-NEXT: [[T0:%.*]] = bitcast [[OPAQUE]]** [[X]] to i8**
  81 // CHECK-NEXT: call void @objc_storeStrong(i8** [[T0]], i8* null)
  82 // CHECK-NEXT: ret void
  83 }
  84
  85 // CHECK-LABEL: define internal void @"\01-[A .cxx_destruct]"
  86 // CHECK:      [[SELFVAR:%.*]] = alloca [[A]]*, align 4
  87 // CHECK:      [[SELF:%.*]] = load [[A]]*, [[A]]** [[SELFVAR]]
  88 // CHECK-NEXT: [[T0:%.*]] = bitcast [[A]]* [[SELF]] to i8*
  89 // CHECK-NEXT: [[T1:%.*]] = getelementptr inbounds i8, i8* [[T0]], i32 8
  90 // CHECK-NEXT: [[IVAR:%.*]] = bitcast i8* [[T1]] to [[OPAQUE]]**
  91 // CHECK-NEXT: [[T0:%.*]] = bitcast [[OPAQUE]]** [[IVAR]] to i8**
  92 // CHECK-NEXT: call void @objc_destroyWeak(i8** [[T0]])
  93 // CHECK-NEXT: [[T0:%.*]] = bitcast [[A]]* [[SELF]] to i8*
  94 // CHECK-NEXT: [[T1:%.*]] = getelementptr inbounds i8, i8* [[T0]], i32 4
  95 // CHECK-NEXT: [[IVAR:%.*]] = bitcast i8* [[T1]] to [[OPAQUE]]**
  96 // CHECK-NEXT: [[T0:%.*]] = bitcast [[OPAQUE]]** [[IVAR]] to i8**
  97 // CHECK-NEXT: call void @objc_storeStrong(i8** [[T0]], i8* null)
  98 // CHECK-NEXT: ret void
  99 @end
 100
 101 // Test case for corner case of ivar layout.
 102 @interface B : A {
 103   char _b_flag;
 104 }
 105 @end
 106
 107 @interface C : B {
 108   char _c_flag;
 109   __unsafe_unretained id c_unsafe[5];
 110   id c_strong[4];
 111   __weak id c_weak[3];
 112   id c_strong2[7];
 113 }
 114 @end
 115 @implementation C @end
 116
 117 //  Note that these layouts implicitly start at the end of the previous
 118 //  class rounded up to pointer alignment.
 119 // GLOBALS-LABEL: @OBJC_METACLASS_C
 120 //  Strong layout: skip five, scan four, skip three, scan seven
 121 //    'T' == 0x54, '7' == 0x37
 122 // GLOBALS: @OBJC_CLASS_NAME_{{.*}} = private unnamed_addr constant [3 x i8] c"T7\00"
 123 //  Weak layout: skip nine, scan three
 124 // GLOBALS: @OBJC_CLASS_NAME_{{.*}} = private unnamed_addr constant [2 x i8] c"\93\00"
 125
 126 extern void useBlock(void (^block)(void));
 127
 128 //  256 == 0x100 == starts with 1 strong
 129 // GLOBALS: @__block_descriptor_tmp{{.*}} = internal constant {{.*}}, i32 256 }
 130 void testBlockLayoutStrong(id x) {
 131   useBlock(^{ (void) x; });
 132 }
 133
 134 //  1   == 0x001 == starts with 1 weak
 135 // GLOBALS: @__block_descriptor_tmp{{.*}} = internal constant {{.*}}, i32 1 }
 136 void testBlockLayoutWeak(__weak id x) {
 137   useBlock(^{ (void) x; });
 138 }
 139
 140 // CHECK-LABEL: define void @testCatch()
 141 // CHECK: [[X:%.*]] = alloca [[A:%.*]]*, align 4
 142 // CHECK: [[Y:%.*]] = alloca i8*, align 4
 143 // CHECK: call void @objc_exception_try_enter
 144 // CHECK: br i1
 145 // CHECK: call void @checkpoint(i32 0)
 146 // CHECK: call void @objc_exception_try_exit
 147 // CHECK: br label
 148 // CHECK: call void @checkpoint(i32 3)
 149 // CHECK: [[EXN:%.*]] = call i8* @objc_exception_extract
 150 // CHECK: call i32 @objc_exception_match(
 151 // CHECK: br i1
 152 // CHECK: [[T0:%.*]] = bitcast i8* [[EXN]] to [[A]]*
 153 // CHECK: [[T1:%.*]] = bitcast [[A]]* [[T0]] to i8*
 154 // CHECK: [[T2:%.*]] = call i8* @objc_retain(i8* [[T1]])
 155 // CHECK: [[T3:%.*]] = bitcast i8* [[T2]] to [[A]]*
 156 // CHECK: store [[A]]* [[T3]], [[A]]** [[X]]
 157 // CHECK: call void @checkpoint(i32 1)
 158 // CHECK: [[T0:%.*]] = bitcast [[A]]** [[X]] to i8**
 159 // CHECK: call void @objc_storeStrong(i8** [[T0]], i8* null)
 160 // CHECK: br label
 161 // CHECK: [[T0:%.*]] = call i8* @objc_retain(i8* [[EXN]])
 162 // CHECK: store i8* [[T0]], i8** [[Y]]
 163 // CHECK: call void @checkpoint(i32 2)
 164 // CHECK: call void @objc_storeStrong(i8** [[Y]], i8* null)
 165 extern void checkpoint(int n);
 166 void testCatch() {
 167   @try {
 168     checkpoint(0);
 169   } @catch (A *x) {
 170     checkpoint(1);
 171   } @catch (id y) {
 172     checkpoint(2);
 173   }
 174   checkpoint(3);
 175 }