clang/test/CodeGenObjCXX/arc-move.mm

   1 // RUN: %clang_cc1 -no-opaque-pointers -triple x86_64-apple-darwin10 -emit-llvm -fblocks -fobjc-arc -O2 -std=c++11 -disable-llvm-passes -o - %s | FileCheck %s
   2
   3 // define{{.*}} void @_Z11simple_moveRU8__strongP11objc_objectS2_
   4 void simple_move(__strong id &x, __strong id &y) {
   5   // CHECK: = load i8*, i8**
   6   // CHECK: store i8* null
   7   // CHECK: = load i8*, i8**
   8   // CHECK: store i8*
   9   // CHECK-NEXT: call void @llvm.objc.release
  10   x = static_cast<__strong id&&>(y);
  11   // CHECK-NEXT: ret void
  12 }
  13
  14 template<typename T>
  15 struct remove_reference {
  16   typedef T type;
  17 };
  18
  19 template<typename T>
  20 struct remove_reference<T&> {
  21   typedef T type;
  22 };
  23
  24 template<typename T>
  25 struct remove_reference<T&&> {
  26   typedef T type;
  27 };
  28
  29 template<typename T>
  30 typename remove_reference<T>::type&& move(T &&x) {
  31   return static_cast<typename remove_reference<T>::type&&>(x);
  32 }
  33
  34 // CHECK-LABEL: define{{.*}} void @_Z12library_moveRU8__strongP11objc_objectS2_
  35 void library_move(__strong id &x, __strong id &y) {
  36   // CHECK: call noundef nonnull align {{[0-9]+}} dereferenceable({{[0-9]+}}) i8** @_Z4moveIRU8__strongP11objc_objectEON16remove_referenceIT_E4typeEOS5_
  37   // CHECK: load i8*, i8**
  38   // CHECK: store i8* null, i8**
  39   // CHECK: load i8**, i8***
  40   // CHECK-NEXT: load i8*, i8**
  41   // CHECK-NEXT: store i8*
  42   // CHECK-NEXT: call void @llvm.objc.release
  43   // CHECK-NEXT: ret void
  44   x = move(y);
  45 }
  46
  47 // CHECK-LABEL: define{{.*}} void @_Z12library_moveRU8__strongP11objc_object
  48 void library_move(__strong id &y) {
  49   // CHECK: [[X:%.*]] = alloca i8*, align 8
  50   // CHECK: [[I:%.*]] = alloca i32, align 4
  51   // CHECK:      [[XPTR1:%.*]] = bitcast i8** [[X]] to i8*
  52   // CHECK-NEXT: call void @llvm.lifetime.start.p0i8(i64 8, i8* [[XPTR1]])
  53   // CHECK: [[Y:%[a-zA-Z0-9]+]] = call noundef nonnull align {{[0-9]+}} dereferenceable({{[0-9]+}}) i8** @_Z4moveIRU8__strongP11objc_objectEON16remove_referenceIT_E4typeEOS5_
  54   // Load the object
  55   // CHECK-NEXT: [[OBJ:%[a-zA-Z0-9]+]] = load i8*, i8** [[Y]]
  56   // Null out y
  57   // CHECK-NEXT: store i8* null, i8** [[Y]]
  58   // Initialize x with the object
  59   // CHECK-NEXT: store i8* [[OBJ]], i8** [[X:%[a-zA-Z0-9]+]]
  60   id x = move(y);
  61
  62   // CHECK-NEXT: [[IPTR1:%.*]] = bitcast i32* [[I]] to i8*
  63   // CHECK-NEXT: call void @llvm.lifetime.start.p0i8(i64 4, i8* [[IPTR1]])
  64   // CHECK-NEXT: store i32 17
  65   int i = 17;
  66   // CHECK-NEXT: [[IPTR2:%.*]] = bitcast i32* [[I]] to i8*
  67   // CHECK-NEXT: call void @llvm.lifetime.end.p0i8(i64 4, i8* [[IPTR2]])
  68   // CHECK-NEXT: [[OBJ:%[a-zA-Z0-9]+]] = load i8*, i8** [[X]]
  69   // CHECK-NEXT: call void @llvm.objc.release(i8* [[OBJ]])
  70   // CHECK-NEXT: [[XPTR2:%.*]] = bitcast i8** [[X]] to i8*
  71   // CHECK-NEXT: call void @llvm.lifetime.end.p0i8(i64 8, i8* [[XPTR2]])
  72   // CHECK-NEXT: ret void
  73 }
  74
  75 // CHECK-LABEL: define{{.*}} void @_Z10const_moveRU8__strongKP11objc_object(
  76 void const_move(const __strong id &x) {
  77   // CHECK:      [[Y:%.*]] = alloca i8*,
  78   // CHECK:      [[X:%.*]] = call noundef nonnull align {{[0-9]+}} dereferenceable({{[0-9]+}}) i8** @_Z4moveIRU8__strongKP11objc_objectEON16remove_referenceIT_E4typeEOS5_(
  79   // CHECK-NEXT: [[T0:%.*]] = load i8*, i8** [[X]]
  80   // CHECK-NEXT: [[T1:%.*]] = call i8* @llvm.objc.retain(i8* [[T0]])
  81   // CHECK-NEXT: store i8* [[T1]], i8** [[Y]]
  82   // CHECK-NEXT: [[T0:%.*]] = load i8*, i8** [[Y]]
  83   // CHECK-NEXT: call void @llvm.objc.release(i8* [[T0]])
  84   id y = move(x);
  85 }