test/CodeGenObjCXX/objc-weak.mm

   1 // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -emit-llvm -fblocks -fobjc-weak -fobjc-runtime-has-weak -std=c++11 -o - %s | FileCheck %s
   2
   3 struct A { __weak id x; };
   4
   5 id test0() {
   6   A a;
   7   A b = a;
   8   A c(static_cast<A&&>(b));
   9   a = c;
  10   c = static_cast<A&&>(a);
  11   return c.x;
  12 }
  13
  14 // Copy Assignment Operator
  15 // CHECK-LABEL: define linkonce_odr dereferenceable({{[0-9]+}}) %struct.A* @_ZN1AaSERKS_(
  16 // CHECK:       [[THISADDR:%this.*]] = alloca [[A:.*]]*
  17 // CHECK:       [[OBJECTADDR:%.*]] = alloca [[A:.*]]*
  18 // CHECK:       [[THIS:%this.*]] = load [[A]]*, [[A]]** [[THISADDR]]
  19 // CHECK:       [[OBJECT:%.*]] = load [[A]]*, [[A]]** [[OBJECTADDR]]
  20 // CHECK:       [[T0:%.*]] = getelementptr inbounds [[A]], [[A]]* [[OBJECT]], i32 0, i32 0
  21 // CHECK-NEXT:  [[T1:%.*]] = call i8* @objc_loadWeak(i8** [[T0]])
  22 // CHECK-NEXT:  [[T2:%.*]] = getelementptr inbounds [[A]], [[A]]* [[THIS]], i32 0, i32 0
  23 // CHECK-NEXT:  [[T3:%.*]] = call i8* @objc_storeWeak(i8** [[T2]], i8* [[T1]])
  24
  25 // Move Assignment Operator
  26 // CHECK-LABEL: define linkonce_odr dereferenceable({{[0-9]+}}) %struct.A* @_ZN1AaSEOS_(
  27 // CHECK:       [[THISADDR:%this.*]] = alloca [[A:.*]]*
  28 // CHECK:       [[OBJECTADDR:%.*]] = alloca [[A:.*]]*
  29 // CHECK:       [[THIS:%this.*]] = load [[A]]*, [[A]]** [[THISADDR]]
  30 // CHECK:       [[OBJECT:%.*]] = load [[A]]*, [[A]]** [[OBJECTADDR]]
  31 // CHECK:       [[T0:%.*]] = getelementptr inbounds [[A]], [[A]]* [[OBJECT]], i32 0, i32 0
  32 // CHECK-NEXT:  [[T1:%.*]] = call i8* @objc_loadWeak(i8** [[T0]])
  33 // CHECK-NEXT:  [[T2:%.*]] = getelementptr inbounds [[A]], [[A]]* [[THIS]], i32 0, i32 0
  34 // CHECK-NEXT:  [[T3:%.*]] = call i8* @objc_storeWeak(i8** [[T2]], i8* [[T1]])
  35
  36 // Default Constructor
  37 // CHECK-LABEL: define linkonce_odr void @_ZN1AC2Ev(
  38 // CHECK:       [[THISADDR:%this.*]] = alloca [[A:.*]]*
  39 // CHECK:       [[THIS:%this.*]] = load [[A]]*, [[A]]** [[THISADDR]]
  40 // CHECK:       [[T0:%.*]] = getelementptr inbounds [[A]], [[A]]* [[THIS]], i32 0, i32 0
  41 // CHECK-NEXT:  store i8* null, i8** [[T0]]
  42
  43 // Copy Constructor
  44 // CHECK-LABEL: define linkonce_odr void @_ZN1AC2ERKS_(
  45 // CHECK:       [[THISADDR:%this.*]] = alloca [[A:.*]]*
  46 // CHECK:       [[OBJECTADDR:%.*]] = alloca [[A:.*]]*
  47 // CHECK:       [[THIS:%this.*]] = load [[A]]*, [[A]]** [[THISADDR]]
  48 // CHECK:       [[T0:%.*]] = getelementptr inbounds [[A]], [[A]]* [[THIS]], i32 0, i32 0
  49 // CHECK-NEXT:  [[OBJECT:%.*]] = load [[A]]*, [[A]]** [[OBJECTADDR]]
  50 // CHECK-NEXT:  [[T1:%.*]] = getelementptr inbounds [[A]], [[A]]* [[OBJECT]], i32 0, i32 0
  51 // CHECK-NEXT:  call void @objc_copyWeak(i8** [[T0]], i8** [[T1]])
  52
  53 // Move Constructor
  54 // CHECK-LABEL: define linkonce_odr void @_ZN1AC2EOS_(
  55 // CHECK:       [[THISADDR:%this.*]] = alloca [[A:.*]]*
  56 // CHECK:       [[OBJECTADDR:%.*]] = alloca [[A:.*]]*
  57 // CHECK:       [[THIS:%this.*]] = load [[A]]*, [[A]]** [[THISADDR]]
  58 // CHECK:       [[T0:%.*]] = getelementptr inbounds [[A]], [[A]]* [[THIS]], i32 0, i32 0
  59 // CHECK-NEXT:  [[OBJECT:%.*]] = load [[A]]*, [[A]]** [[OBJECTADDR]]
  60 // CHECK-NEXT:  [[T1:%.*]] = getelementptr inbounds [[A]], [[A]]* [[OBJECT]], i32 0, i32 0
  61 // CHECK-NEXT:  call void @objc_moveWeak(i8** [[T0]], i8** [[T1]])
  62
  63 // Destructor
  64 // CHECK-LABEL: define linkonce_odr void @_ZN1AD2Ev(
  65 // CHECK:       [[THISADDR:%this.*]] = alloca [[A:.*]]*
  66 // CHECK:       [[THIS:%this.*]] = load [[A]]*, [[A]]** [[THISADDR]]
  67 // CHECK-NEXT:  [[T0:%.*]] = getelementptr inbounds [[A]], [[A]]* [[THIS]], i32 0, i32 0
  68 // CHECK-NEXT:  call void @objc_destroyWeak(i8** [[T0]])
  69