1// RUN: %clang_cc1 %s -fblocks -triple x86_64-apple-darwin -std=c++11 -emit-llvm -o - | FileCheck %s
2
3template <class T> void takeItByValue(T);
4void takeABlock(void (^)());
5
6// rdar://problem/11022704
7namespace test_int {
8  void test() {
9    const int x = 100;
10    takeABlock(^{ takeItByValue(x); });
11    // CHECK: call void @_Z13takeItByValueIiEvT_(i32 100)
12  }
13}
14
15namespace test_int_ref {
16  void test() {
17    const int y = 200;
18    const int &x = y;
19    takeABlock(^{ takeItByValue(x); });
20
21    // TODO: there's no good reason that this isn't foldable.
22    // CHECK: call void @_Z13takeItByValueIiEvT_(i32 {{%.*}})
23  }
24}
25
26namespace test_float {
27  void test() {
28    const float x = 1;
29    takeABlock(^{ takeItByValue(x); });
30    // CHECK: call void @_Z13takeItByValueIfEvT_(float 1.0
31  }
32}
33
34namespace test_float_ref {
35  void test() {
36    const float y = 100;
37    const float &x = y;
38    takeABlock(^{ takeItByValue(x); });
39
40    // TODO: there's no good reason that this isn't foldable.
41    // CHECK: call void @_Z13takeItByValueIfEvT_(float {{%.*}})
42  }
43}
44
45namespace test_complex_int {
46  void test() {
47    constexpr _Complex int x = 500;
48    takeABlock(^{ takeItByValue(x); });
49    // CHECK:      store { i32, i32 } { i32 500, i32 0 },
50
51    // CHECK:      store i32 500,
52    // CHECK-NEXT: store i32 0,
53    // CHECK-NEXT: [[COERCE:%.*]] = bitcast
54    // CHECK-NEXT: [[CVAL:%.*]] = load i64* [[COERCE]]
55    // CHECK-NEXT: call void @_Z13takeItByValueICiEvT_(i64 [[CVAL]])
56  }
57}
58
59namespace test_complex_int_ref {
60  void test() {
61    const _Complex int y = 100;
62    const _Complex int &x = y;
63    takeABlock(^{ takeItByValue(x); });
64    // CHECK: call void @_Z13takeItByValueICiEvT_(i64
65  }
66}
67
68namespace test_complex_int_ref_mutable {
69  _Complex int y = 100;
70  void test() {
71    const _Complex int &x = y;
72    takeABlock(^{ takeItByValue(x); });
73    // CHECK:      [[R:%.*]] = load i32* getelementptr inbounds ({ i32, i32 }* @_ZN28test_complex_int_ref_mutable1yE, i32 0, i32 0)
74    // CHECK-NEXT: [[I:%.*]] = load i32* getelementptr inbounds ({ i32, i32 }* @_ZN28test_complex_int_ref_mutable1yE, i32 0, i32 1)
75    // CHECK-NEXT: [[RSLOT:%.*]] = getelementptr inbounds { i32, i32 }* [[CSLOT:%.*]], i32 0, i32 0
76    // CHECK-NEXT: [[ISLOT:%.*]] = getelementptr inbounds { i32, i32 }* [[CSLOT]], i32 0, i32 1
77    // CHECK-NEXT: store i32 [[R]], i32* [[RSLOT]]
78    // CHECK-NEXT: store i32 [[I]], i32* [[ISLOT]]
79    // CHECK-NEXT: [[COERCE:%.*]] = bitcast { i32, i32 }* [[CSLOT]] to i64*
80    // CHECK-NEXT: [[CVAL:%.*]] = load i64* [[COERCE]],
81    // CHECK-NEXT: call void @_Z13takeItByValueICiEvT_(i64 [[CVAL]])
82  }
83}
84
85// rdar://13295759
86namespace test_block_in_lambda {
87  void takeBlock(void (^block)());
88
89  // The captured variable has to be non-POD so that we have a copy expression.
90  struct A {
91    void *p;
92    A(const A &);
93    ~A();
94    void use() const;
95  };
96
97  void test(A a) {
98    auto lambda = [a]() {
99      takeBlock(^{ a.use(); });
100    };
101    lambda(); // make sure we emit the invocation function
102  }
103  // CHECK-LABEL:    define internal void @"_ZZN20test_block_in_lambda4testENS_1AEENK3$_0clEv"(
104  // CHECK:      [[BLOCK:%.*]] = alloca [[BLOCK_T:<{.*}>]], align 8
105  // CHECK:      [[THIS:%.*]] = load [[LAMBDA_T:%.*]]**
106  // CHECK:      [[TO_DESTROY:%.*]] = getelementptr inbounds [[BLOCK_T]]* [[BLOCK]], i32 0, i32 5
107  // CHECK:      [[T0:%.*]] = getelementptr inbounds [[BLOCK_T]]* [[BLOCK]], i32 0, i32 5
108  // CHECK-NEXT: [[T1:%.*]] = getelementptr inbounds [[LAMBDA_T]]* [[THIS]], i32 0, i32 0
109  // CHECK-NEXT: call void @_ZN20test_block_in_lambda1AC1ERKS0_({{.*}}* [[T0]], {{.*}}* nonnull [[T1]])
110  // CHECK-NEXT: [[T0:%.*]] = bitcast [[BLOCK_T]]* [[BLOCK]] to void ()*
111  // CHECK-NEXT: call void @_ZN20test_block_in_lambda9takeBlockEU13block_pointerFvvE(void ()* [[T0]])
112  // CHECK-NEXT: call void @_ZN20test_block_in_lambda1AD1Ev({{.*}}* [[TO_DESTROY]])
113  // CHECK-NEXT: ret void
114}
115