clang/test/CodeGenObjCXX/lambda-to-block.mm

   1 // RUN: %clang_cc1 -x objective-c++ -fblocks -triple x86_64-apple-darwin10 -fobjc-runtime=macosx-fragile-10.5 -std=c++1z -emit-llvm -o - %s | FileCheck %s
   2
   3 // Shouldn't crash!
   4
   5 // CHECK: %[[CLASS_ANON:.*]] = type { %[[STRUCT_COPYABLE:.*]] }
   6 // CHECK: %[[STRUCT_COPYABLE]] = type { i8 }
   7 // CHECK: %[[CLASS_ANON_0:.*]] = type { %[[STRUCT_COPYABLE]] }
   8 // CHECK: %[[CLASS_ANON_1:.*]] = type { %[[STRUCT_COPYABLE]] }
   9 // CHECK: %[[CLASS_ANON_2:.*]] = type { %[[STRUCT_COPYABLE]] }
  10
  11 // CHECK: @[[BLOCK_DESC0:.*]] = internal constant { i64, i64, ptr, ptr, ptr, ptr } { i64 0, i64 33, ptr @[[COPY_HELPER0:.*__copy_helper_block_.*]], ptr @__destroy_helper_block{{.*}}, {{.*}}}, align 8
  12 // CHECK: @[[BLOCK_DESC1:.*]] = internal constant { i64, i64, ptr, ptr, ptr, ptr } { i64 0, i64 33, ptr @[[COPY_HELPER1:.*__copy_helper_block_.*]], ptr @__destroy_helper_block{{.*}}, {{.*}}}, align 8
  13 // CHECK: @[[BLOCK_DESC2:.*]] = internal constant { i64, i64, ptr, ptr, ptr, ptr } { i64 0, i64 33, ptr @[[COPY_HELPER2:.*__copy_helper_block_.*]], ptr @__destroy_helper_block{{.*}}, {{.*}}}, align 8
  14 // CHECK: @[[BLOCK_DESC3:.*]] = internal constant { i64, i64, ptr, ptr, ptr, ptr } { i64 0, i64 33, ptr @[[COPY_HELPER3:.*__copy_helper_block_.*]], ptr @__destroy_helper_block{{.*}}, {{.*}}}, align 8
  15
  16 // CHECK: define{{.*}} void @_Z9hasLambda8Copyable(
  17 // CHECK: %[[BLOCK:.*]] = alloca <{ ptr, i32, i32, ptr, ptr, %[[CLASS_ANON]] }>, align 8
  18 // CHECK: %[[BLOCK1:.*]] = alloca <{ ptr, i32, i32, ptr, ptr, %[[CLASS_ANON_0]] }>, align 8
  19 // CHECK: %[[BLOCK_DESCRIPTOR:.*]] = getelementptr inbounds <{ ptr, i32, i32, ptr, ptr, %[[CLASS_ANON]] }>, ptr %[[BLOCK]], i32 0, i32 4
  20 // CHECK: store ptr @[[BLOCK_DESC0]], ptr %[[BLOCK_DESCRIPTOR]], align 8
  21 // CHECK: %[[BLOCK_DESCRIPTOR6:.*]] = getelementptr inbounds <{ ptr, i32, i32, ptr, ptr, %[[CLASS_ANON_0]] }>, ptr %[[BLOCK1]], i32 0, i32 4
  22 // CHECK: store ptr @[[BLOCK_DESC1]], ptr %[[BLOCK_DESCRIPTOR6]], align 8
  23
  24 void takesBlock(void (^)(void));
  25
  26 struct Copyable {
  27   Copyable(const Copyable &x);
  28 };
  29
  30 // Check that each block has its block descriptor and helper function.
  31
  32 void hasLambda(Copyable x) {
  33   takesBlock([x] () { });
  34   takesBlock([x] () { });
  35 }
  36 // CHECK: define internal void @[[COPY_HELPER0]]
  37 // CHECK: call void @"_ZZ9hasLambda8CopyableEN3$_0C1ERKS0_"
  38 // CHECK: define internal void @[[COPY_HELPER1]]
  39
  40 // CHECK: define{{.*}} void @_Z17testHelperMerging8Copyable(
  41 // CHECK: %[[CALL:.*]] = call noundef ptr @[[CONV_FUNC0:.*]](ptr
  42 // CHECK: call void @_Z10takesBlockU13block_pointerFvvE(ptr noundef %[[CALL]])
  43 // CHECK: %[[CALL1:.*]] = call noundef ptr @[[CONV_FUNC0]](ptr
  44 // CHECK: call void @_Z10takesBlockU13block_pointerFvvE(ptr noundef %[[CALL1]])
  45 // CHECK: %[[CALL2:.*]] = call noundef ptr @[[CONV_FUNC1:.*]](ptr
  46 // CHECK: call void @_Z10takesBlockU13block_pointerFvvE(ptr noundef %[[CALL2]])
  47
  48 // CHECK: define internal noundef ptr @[[CONV_FUNC0]](
  49 // CHECK: %[[BLOCK_DESCRIPTOR:.*]] = getelementptr inbounds <{ ptr, i32, i32, ptr, ptr, %[[CLASS_ANON_1]] }>, ptr %{{.*}}, i32 0, i32 4
  50 // CHECK: store ptr @[[BLOCK_DESC2]], ptr %[[BLOCK_DESCRIPTOR]], align 8
  51
  52 // CHECK: define internal noundef ptr @[[CONV_FUNC1]](
  53 // CHECK: %[[BLOCK_DESCRIPTOR:.*]] = getelementptr inbounds <{ ptr, i32, i32, ptr, ptr, %[[CLASS_ANON_2]] }>, ptr %{{.*}}, i32 0, i32 4
  54 // CHECK: store ptr @[[BLOCK_DESC3]], ptr %[[BLOCK_DESCRIPTOR]], align 8
  55
  56 // CHECK-LABEL: define internal void @"_ZZ9hasLambda8CopyableEN3$_0C2ERKS0_"
  57 // CHECK: call void @_ZN8CopyableC1ERKS_
  58
  59 // CHECK: define internal void @[[COPY_HELPER2]]
  60 // CHECK: define internal void @[[COPY_HELPER3]]
  61
  62 void testHelperMerging(Copyable x) {
  63   auto lambda0 = [x]{};
  64   auto lambda1 = [x]{};
  65   takesBlock(lambda0);
  66
  67   // This block has the same helper functions and a descriptor as the block
  68   // created above.
  69   takesBlock(lambda0);
  70
  71   // This block has different helper functions and a descriptor as the blocks
  72   // created above.
  73   takesBlock(lambda1);
  74 }