1// RUN: %clang_cc1 -fblocks -disable-llvm-passes -triple x86_64-apple-darwin10 -std=c++17 -emit-llvm -o - %s | FileCheck %s 2 3typedef void (^blk_t)(); 4typedef void (*fnptr_t)(); 5 6@interface X 7@property blk_t blk; 8@property fnptr_t fnptr; 9@end 10 11template <class T> 12blk_t operator+(blk_t lhs, T) { return lhs; } 13 14template <class T> 15fnptr_t operator+(fnptr_t lhs, T) { return lhs; } 16 17// CHECK-LABEL: define{{.*}} void @_Z2t1P1X 18void 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 32void 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$_2EU13block_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$_3EPFvvES4_T_" 45 // CHECK: call void{{.*}}@objc_msgSend{{.*}}({{.*}} [[PLUS]]) 46 x.fnptr += [] {}; 47} 48