clang/test/CodeGenObjCXX/property-lvalue-lambda.mm

   1 // RUN: %clang_cc1 -no-opaque-pointers -no-enable-noundef-analysis -fblocks -disable-llvm-passes -triple x86_64-apple-darwin10 -std=c++17 -emit-llvm -o - %s | FileCheck %s
   2
   3 typedef void (^blk_t)();
   4 typedef void (*fnptr_t)();
   5
   6 @interface X
   7 @property blk_t blk;
   8 @property fnptr_t fnptr;
   9 @end
  10
  11 template <class T>
  12 blk_t operator+(blk_t lhs, T) { return lhs; }
  13
  14 template <class T>
  15 fnptr_t operator+(fnptr_t lhs, T) { return lhs; }
  16
  17 // CHECK-LABEL: define{{.*}} void @_Z2t1P1X
  18 void t1(X *x) {
  19   // Check that we call lambda.operator blk_t(), and that we send that result to
  20   // the setter.
  21
  22   // CHECK: [[CALL:%.*]] = call void ()* @"_ZZ2t1P1XENK3$_0cvU13block_pointerFvvEEv"
  23   // CHECK: call void{{.*}}@objc_msgSend{{.*}}({{.*}} void ()* [[CALL]])
  24   x.blk = [] {};
  25
  26   // CHECK: [[CALL2:%.*]] = call void ()* @"_ZZ2t1P1XENK3$_1cvPFvvEEv"
  27   // CHECK: call void{{.*}}@objc_msgSend{{.*}}({{.*}} void ()* [[CALL2]])
  28   x.fnptr = [] {};
  29 }
  30
  31 // CHECK-LABEL: define{{.*}} void @_Z2t2P1X
  32 void t2(X *x) {
  33   // Test the case when the lambda isn't unique. (see OpaqueValueExpr::isUnique)
  34   // FIXME: This asserts if the lambda isn't trivially copy/movable.
  35
  36   // [x setBlk: operator+([x blk], [] {})]
  37
  38   // CHECK: call void{{.*}}@objc_msgSend{{.*}}
  39   // CHECK: [[PLUS:%.*]] = call void ()* @"_ZplIZ2t2P1XE3$_0EU13block_pointerFvvES4_T_"
  40   // CHECK: call void{{.*}}@objc_msgSend{{.*}}({{.*}} [[PLUS]])
  41   x.blk += [] {};
  42
  43   // CHECK: call void{{.*}}@objc_msgSend{{.*}}
  44   // CHECK: [[PLUS:%.*]] = call void ()* @"_ZplIZ2t2P1XE3$_1EPFvvES4_T_"
  45   // CHECK: call void{{.*}}@objc_msgSend{{.*}}({{.*}} [[PLUS]])
  46   x.fnptr += [] {};
  47 }