48 lines · plain
1// RUN: %clang_cc1 -no-enable-noundef-analysis -fblocks -disable-llvm-passes -triple x86_64-apple-darwin10 -std=c++17 -emit-llvm -o - %s | FileCheck %s2 3typedef void (^blk_t)();4typedef void (*fnptr_t)();5 6@interface X7@property blk_t blk;8@property fnptr_t fnptr;9@end10 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 @_Z2t1P1X18void t1(X *x) {19 // Check that we call lambda.operator blk_t(), and that we send that result to20 // the setter.21 22 // CHECK: [[CALL:%.*]] = call ptr @"_ZZ2t1P1XENK3$_0cvU13block_pointerFvvEEv"23 // CHECK: call void{{.*}}@objc_msgSend{{.*}}({{.*}} ptr [[CALL]])24 x.blk = [] {};25 26 // CHECK: [[CALL2:%.*]] = call ptr @"_ZZ2t1P1XENK3$_1cvPFvvEEv"27 // CHECK: call void{{.*}}@objc_msgSend{{.*}}({{.*}} ptr [[CALL2]])28 x.fnptr = [] {};29}30 31// CHECK-LABEL: define{{.*}} void @_Z2t2P1X32void 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 ptr{{.*}}@objc_msgSend{{.*}}39 // CHECK: [[PLUS:%.*]] = call ptr @"_ZplIZ2t2P1XE3$_0EU13block_pointerFvvES4_T_"40 // CHECK: call void{{.*}}@objc_msgSend{{.*}}({{.*}} [[PLUS]])41 x.blk += [] {};42 43 // CHECK: call ptr{{.*}}@objc_msgSend{{.*}}44 // CHECK: [[PLUS:%.*]] = call ptr @"_ZplIZ2t2P1XE3$_1EPFvvES4_T_"45 // CHECK: call void{{.*}}@objc_msgSend{{.*}}({{.*}} [[PLUS]])46 x.fnptr += [] {};47}48