blob: 1498d456dfa55e25e2f68bd454482353d16aa60a [file] [log] [blame]
Pirama Arumuga Nainarb6d69932015-07-01 12:25:36 -07001// RUN: %clang_cc1 -verify -fopenmp -x c++ -triple x86_64-unknown-unknown -emit-llvm %s -o - | FileCheck %s
2// RUN: %clang_cc1 -fopenmp -x c++ -std=c++11 -triple x86_64-unknown-unknown -emit-pch -o %t %s
3// RUN: %clang_cc1 -fopenmp -x c++ -triple x86_64-unknown-unknown -std=c++11 -include-pch %t -verify %s -emit-llvm -o - | FileCheck %s
4// RUN: %clang_cc1 -verify -fopenmp -x c++ -std=c++11 -DLAMBDA -triple %itanium_abi_triple -emit-llvm %s -o - | FileCheck -check-prefix=LAMBDA %s
5// RUN: %clang_cc1 -verify -fopenmp -x c++ -fblocks -DBLOCKS -triple %itanium_abi_triple -emit-llvm %s -o - | FileCheck -check-prefix=BLOCKS %s
Stephen Hines176edba2014-12-01 14:53:08 -08006// expected-no-diagnostics
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -08007// REQUIRES: x86-registered-target
Stephen Hines176edba2014-12-01 14:53:08 -08008#ifndef HEADER
9#define HEADER
Stephen Hines176edba2014-12-01 14:53:08 -080010template <class T>
11struct S {
12 T f;
13 S(T a) : f(a) {}
14 S() : f() {}
15 operator T() { return T(); }
16 ~S() {}
17};
18
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -080019volatile int g __attribute__((aligned(128))) = 1212;
Stephen Hines0e2c34f2015-03-23 12:09:02 -070020
Pirama Arumuga Nainar4967a712016-09-19 22:19:55 -070021struct SS {
22 int a;
23 int b : 4;
24 int &c;
25 SS(int &d) : a(0), b(0), c(d) {
26#pragma omp parallel private(a, b, c)
27#ifdef LAMBDA
28 [&]() {
29 ++this->a, --b, (this)->c /= 1;
30#pragma omp parallel private(a, b, c)
31 ++(this)->a, --b, this->c /= 1;
32 }();
33#elif defined(BLOCKS)
34 ^{
35 ++a;
36 --this->b;
37 (this)->c /= 1;
38#pragma omp parallel private(a, b, c)
39 ++(this)->a, --b, this->c /= 1;
40 }();
41#else
42 ++this->a, --b, c /= 1;
43#endif
44 }
45};
46
47template<typename T>
48struct SST {
49 T a;
50 SST() : a(T()) {
51#pragma omp parallel private(a)
52#ifdef LAMBDA
53 [&]() {
54 [&]() {
55 ++this->a;
56#pragma omp parallel private(a)
57 ++(this)->a;
58 }();
59 }();
60#elif defined(BLOCKS)
61 ^{
62 ^{
63 ++a;
64#pragma omp parallel private(a)
65 ++(this)->a;
66 }();
67 }();
68#else
69 ++(this)->a;
70#endif
71 }
72};
73
74// CHECK: [[SS_TY:%.+]] = type { i{{[0-9]+}}, i8
75// LAMBDA: [[SS_TY:%.+]] = type { i{{[0-9]+}}, i8
76// BLOCKS: [[SS_TY:%.+]] = type { i{{[0-9]+}}, i8
Stephen Hines176edba2014-12-01 14:53:08 -080077// CHECK: [[S_FLOAT_TY:%.+]] = type { float }
Stephen Hines176edba2014-12-01 14:53:08 -080078// CHECK: [[S_INT_TY:%.+]] = type { i{{[0-9]+}} }
Pirama Arumuga Nainar4967a712016-09-19 22:19:55 -070079// CHECK: [[SST_TY:%.+]] = type { i{{[0-9]+}} }
Stephen Hines176edba2014-12-01 14:53:08 -080080template <typename T>
81T tmain() {
82 S<T> test;
Pirama Arumuga Nainar4967a712016-09-19 22:19:55 -070083 SST<T> sst;
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -080084 T t_var __attribute__((aligned(128))) = T();
85 T vec[] __attribute__((aligned(128))) = {1, 2};
86 S<T> s_arr[] __attribute__((aligned(128))) = {1, 2};
87 S<T> var __attribute__((aligned(128))) (3);
Stephen Hines176edba2014-12-01 14:53:08 -080088#pragma omp parallel private(t_var, vec, s_arr, var)
89 {
90 vec[0] = t_var;
91 s_arr[0] = var;
92 }
93 return T();
94}
95
96int main() {
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -080097 static int sivar;
Pirama Arumuga Nainar4967a712016-09-19 22:19:55 -070098 SS ss(sivar);
Stephen Hines0e2c34f2015-03-23 12:09:02 -070099#ifdef LAMBDA
100 // LAMBDA: [[G:@.+]] = global i{{[0-9]+}} 1212,
101 // LAMBDA-LABEL: @main
Pirama Arumuga Nainar4967a712016-09-19 22:19:55 -0700102 // LAMBDA: alloca [[SS_TY]],
103 // LAMBDA: alloca [[CAP_TY:%.+]],
104 // LAMBDA: call{{.*}} void [[OUTER_LAMBDA:@[^(]+]]([[CAP_TY]]*
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700105 [&]() {
106 // LAMBDA: define{{.*}} internal{{.*}} void [[OUTER_LAMBDA]](
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800107 // LAMBDA-NOT: = getelementptr inbounds %{{.+}},
108 // LAMBDA: call{{.*}} void {{.+}} @__kmpc_fork_call({{.+}}, i32 0, {{.+}}* [[OMP_REGION:@.+]] to {{.+}})
109#pragma omp parallel private(g, sivar)
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700110 {
Pirama Arumuga Nainar4967a712016-09-19 22:19:55 -0700111 // LAMBDA: define {{.+}} @{{.+}}([[SS_TY]]*
112 // LAMBDA: store i{{[0-9]+}} 0, i{{[0-9]+}}* %
113 // LAMBDA: store i8
114 // LAMBDA: call void (%{{.+}}*, i{{[0-9]+}}, void (i{{[0-9]+}}*, i{{[0-9]+}}*, ...)*, ...) @__kmpc_fork_call(%{{.+}}* @{{.+}}, i{{[0-9]+}} 1, void (i{{[0-9]+}}*, i{{[0-9]+}}*, ...)* bitcast (void (i{{[0-9]+}}*, i{{[0-9]+}}*, [[SS_TY]]*)* [[SS_MICROTASK:@.+]] to void
115 // LAMBDA: ret
116
117 // LAMBDA: define internal void [[SS_MICROTASK]](i{{[0-9]+}}* noalias [[GTID_ADDR:%.+]], i{{[0-9]+}}* noalias %{{.+}}, [[SS_TY]]* %{{.+}})
118 // LAMBDA-NOT: getelementptr {{.*}}[[SS_TY]], [[SS_TY]]* %
119 // LAMBDA: call{{.*}} void
120 // LAMBDA: ret void
121
122 // LAMBDA: define internal void @{{.+}}(i{{[0-9]+}}* noalias [[GTID_ADDR:%.+]], i{{[0-9]+}}* noalias %{{.+}}, [[SS_TY]]* %{{.+}})
123 // LAMBDA: [[A_PRIV:%.+]] = alloca i{{[0-9]+}},
124 // LAMBDA: [[B_PRIV:%.+]] = alloca i{{[0-9]+}},
125 // LAMBDA: [[C_PRIV:%.+]] = alloca i{{[0-9]+}},
126 // LAMBDA: store i{{[0-9]+}}* [[A_PRIV]], i{{[0-9]+}}** [[REFA:%.+]],
127 // LAMBDA: store i{{[0-9]+}}* [[C_PRIV]], i{{[0-9]+}}** [[REFC:%.+]],
128 // LAMBDA-NEXT: [[A_PRIV:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[REFA]],
129 // LAMBDA-NEXT: [[A_VAL:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[A_PRIV]],
130 // LAMBDA-NEXT: [[INC:%.+]] = add nsw i{{[0-9]+}} [[A_VAL]], 1
131 // LAMBDA-NEXT: store i{{[0-9]+}} [[INC]], i{{[0-9]+}}* [[A_PRIV]],
132 // LAMBDA-NEXT: [[B_VAL:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[B_PRIV]],
133 // LAMBDA-NEXT: [[DEC:%.+]] = add nsw i{{[0-9]+}} [[B_VAL]], -1
134 // LAMBDA-NEXT: store i{{[0-9]+}} [[DEC]], i{{[0-9]+}}* [[B_PRIV]],
135 // LAMBDA-NEXT: [[C_PRIV:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[REFC]],
136 // LAMBDA-NEXT: [[C_VAL:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[C_PRIV]],
137 // LAMBDA-NEXT: [[DIV:%.+]] = sdiv i{{[0-9]+}} [[C_VAL]], 1
138 // LAMBDA-NEXT: store i{{[0-9]+}} [[DIV]], i{{[0-9]+}}* [[C_PRIV]],
139 // LAMBDA-NEXT: ret void
140
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800141 // LAMBDA: define{{.*}} internal{{.*}} void [[OMP_REGION]](i32* noalias %{{.+}}, i32* noalias %{{.+}})
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700142 // LAMBDA: [[G_PRIVATE_ADDR:%.+]] = alloca i{{[0-9]+}},
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800143 // LAMBDA: [[SIVAR_PRIVATE_ADDR:%.+]] = alloca i{{[0-9]+}},
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700144 g = 1;
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800145 sivar = 2;
146 // LAMBDA: store i{{[0-9]+}} 1, i{{[0-9]+}}* [[G_PRIVATE_ADDR]],
147 // LAMBDA: store i{{[0-9]+}} 2, i{{[0-9]+}}* [[SIVAR_PRIVATE_ADDR]],
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -0700148 // LAMBDA: [[G_PRIVATE_ADDR_REF:%.+]] = getelementptr inbounds %{{.+}}, %{{.+}}* [[ARG:%.+]], i{{[0-9]+}} 0, i{{[0-9]+}} 0
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700149 // LAMBDA: store i{{[0-9]+}}* [[G_PRIVATE_ADDR]], i{{[0-9]+}}** [[G_PRIVATE_ADDR_REF]]
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800150
151 // LAMBDA: [[SIVAR_PRIVATE_ADDR_REF:%.+]] = getelementptr inbounds %{{.+}}, %{{.+}}* [[ARG:%.+]], i{{[0-9]+}} 0, i{{[0-9]+}} 1
152 // LAMBDA: store i{{[0-9]+}}* [[SIVAR_PRIVATE_ADDR]], i{{[0-9]+}}** [[SIVAR_PRIVATE_ADDR_REF]]
153
154 // LAMBDA: call{{.*}} void [[INNER_LAMBDA:@.+]](%{{.+}}* [[ARG]])
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700155 [&]() {
156 // LAMBDA: define {{.+}} void [[INNER_LAMBDA]](%{{.+}}* [[ARG_PTR:%.+]])
157 // LAMBDA: store %{{.+}}* [[ARG_PTR]], %{{.+}}** [[ARG_PTR_REF:%.+]],
158 g = 2;
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800159 sivar = 4;
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -0700160 // LAMBDA: [[ARG_PTR:%.+]] = load %{{.+}}*, %{{.+}}** [[ARG_PTR_REF]]
161 // LAMBDA: [[G_PTR_REF:%.+]] = getelementptr inbounds %{{.+}}, %{{.+}}* [[ARG_PTR]], i{{[0-9]+}} 0, i{{[0-9]+}} 0
162 // LAMBDA: [[G_REF:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[G_PTR_REF]]
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800163 // LAMBDA: store i{{[0-9]+}} 2, i{{[0-9]+}}* [[G_REF]]
164 // LAMBDA: [[SIVAR_PTR_REF:%.+]] = getelementptr inbounds %{{.+}}, %{{.+}}* [[ARG_PTR]], i{{[0-9]+}} 0, i{{[0-9]+}} 1
165 // LAMBDA: [[SIVAR_REF:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[SIVAR_PTR_REF]]
166 // LAMBDA: store i{{[0-9]+}} 4, i{{[0-9]+}}* [[SIVAR_REF]]
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700167 }();
168 }
169 }();
170 return 0;
171#elif defined(BLOCKS)
172 // BLOCKS: [[G:@.+]] = global i{{[0-9]+}} 1212,
173 // BLOCKS-LABEL: @main
Pirama Arumuga Nainar4967a712016-09-19 22:19:55 -0700174 // BLOCKS: call
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800175 // BLOCKS: call{{.*}} void {{%.+}}(i8
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700176 ^{
177 // BLOCKS: define{{.*}} internal{{.*}} void {{.+}}(i8*
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800178 // BLOCKS-NOT: = getelementptr inbounds %{{.+}},
179 // BLOCKS: call{{.*}} void {{.+}} @__kmpc_fork_call({{.+}}, i32 0, {{.+}}* [[OMP_REGION:@.+]] to {{.+}})
180#pragma omp parallel private(g, sivar)
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700181 {
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800182 // BLOCKS: define{{.*}} internal{{.*}} void [[OMP_REGION]](i32* noalias %{{.+}}, i32* noalias %{{.+}})
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700183 // BLOCKS: [[G_PRIVATE_ADDR:%.+]] = alloca i{{[0-9]+}},
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800184 // BLOCKS: [[SIVAR_PRIVATE_ADDR:%.+]] = alloca i{{[0-9]+}},
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700185 g = 1;
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800186 sivar = 20;
187 // BLOCKS: store i{{[0-9]+}} 1, i{{[0-9]+}}* [[G_PRIVATE_ADDR]],
188 // BLOCKS: store i{{[0-9]+}} 20, i{{[0-9]+}}* [[SIVAR_PRIVATE_ADDR]],
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700189 // BLOCKS-NOT: [[G]]{{[[^:word:]]}}
190 // BLOCKS: i{{[0-9]+}}* [[G_PRIVATE_ADDR]]
191 // BLOCKS-NOT: [[G]]{{[[^:word:]]}}
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800192 // BLOCKS-NOT: [[SIVAR]]{{[[^:word:]]}}
193 // BLOCKS: i{{[0-9]+}}* [[SIVAR_PRIVATE_ADDR]]
194 // BLOCKS-NOT: [[SIVAR]]{{[[^:word:]]}}
195 // BLOCKS: call{{.*}} void {{%.+}}(i8
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700196 ^{
197 // BLOCKS: define {{.+}} void {{@.+}}(i8*
198 g = 2;
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800199 sivar = 40;
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700200 // BLOCKS-NOT: [[G]]{{[[^:word:]]}}
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800201 // BLOCKS: store i{{[0-9]+}} 2, i{{[0-9]+}}*
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700202 // BLOCKS-NOT: [[G]]{{[[^:word:]]}}
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800203 // BLOCKS-NOT: [[SIVAR]]{{[[^:word:]]}}
204 // BLOCKS: store i{{[0-9]+}} 40, i{{[0-9]+}}*
205 // BLOCKS-NOT: [[SIVAR]]{{[[^:word:]]}}
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700206 // BLOCKS: ret
207 }();
208 }
209 }();
210 return 0;
Pirama Arumuga Nainar4967a712016-09-19 22:19:55 -0700211// BLOCKS: define {{.+}} @{{.+}}([[SS_TY]]*
212// BLOCKS: store i{{[0-9]+}} 0, i{{[0-9]+}}* %
213// BLOCKS: store i8
214// BLOCKS: call void (%{{.+}}*, i{{[0-9]+}}, void (i{{[0-9]+}}*, i{{[0-9]+}}*, ...)*, ...) @__kmpc_fork_call(%{{.+}}* @{{.+}}, i{{[0-9]+}} 1, void (i{{[0-9]+}}*, i{{[0-9]+}}*, ...)* bitcast (void (i{{[0-9]+}}*, i{{[0-9]+}}*, [[SS_TY]]*)* [[SS_MICROTASK:@.+]] to void
215// BLOCKS: ret
216
217// BLOCKS: define internal void [[SS_MICROTASK]](i{{[0-9]+}}* noalias [[GTID_ADDR:%.+]], i{{[0-9]+}}* noalias %{{.+}}, [[SS_TY]]* %{{.+}})
218// BLOCKS-NOT: getelementptr {{.*}}[[SS_TY]], [[SS_TY]]* %
219// BLOCKS: call{{.*}} void
220// BLOCKS: ret void
221
222// BLOCKS: define internal void @{{.+}}(i{{[0-9]+}}* noalias [[GTID_ADDR:%.+]], i{{[0-9]+}}* noalias %{{.+}}, [[SS_TY]]* %{{.+}})
223// BLOCKS: [[A_PRIV:%.+]] = alloca i{{[0-9]+}},
224// BLOCKS: [[B_PRIV:%.+]] = alloca i{{[0-9]+}},
225// BLOCKS: [[C_PRIV:%.+]] = alloca i{{[0-9]+}},
226// BLOCKS: store i{{[0-9]+}}* [[A_PRIV]], i{{[0-9]+}}** [[REFA:%.+]],
227// BLOCKS: store i{{[0-9]+}}* [[C_PRIV]], i{{[0-9]+}}** [[REFC:%.+]],
228// BLOCKS-NEXT: [[A_PRIV:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[REFA]],
229// BLOCKS-NEXT: [[A_VAL:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[A_PRIV]],
230// BLOCKS-NEXT: [[INC:%.+]] = add nsw i{{[0-9]+}} [[A_VAL]], 1
231// BLOCKS-NEXT: store i{{[0-9]+}} [[INC]], i{{[0-9]+}}* [[A_PRIV]],
232// BLOCKS-NEXT: [[B_VAL:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[B_PRIV]],
233// BLOCKS-NEXT: [[DEC:%.+]] = add nsw i{{[0-9]+}} [[B_VAL]], -1
234// BLOCKS-NEXT: store i{{[0-9]+}} [[DEC]], i{{[0-9]+}}* [[B_PRIV]],
235// BLOCKS-NEXT: [[C_PRIV:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[REFC]],
236// BLOCKS-NEXT: [[C_VAL:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[C_PRIV]],
237// BLOCKS-NEXT: [[DIV:%.+]] = sdiv i{{[0-9]+}} [[C_VAL]], 1
238// BLOCKS-NEXT: store i{{[0-9]+}} [[DIV]], i{{[0-9]+}}* [[C_PRIV]],
239// BLOCKS-NEXT: ret void
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700240#else
Stephen Hines176edba2014-12-01 14:53:08 -0800241 S<float> test;
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700242 int t_var = 0;
Stephen Hines176edba2014-12-01 14:53:08 -0800243 int vec[] = {1, 2};
244 S<float> s_arr[] = {1, 2};
245 S<float> var(3);
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800246#pragma omp parallel private(t_var, vec, s_arr, var, sivar)
Stephen Hines176edba2014-12-01 14:53:08 -0800247 {
248 vec[0] = t_var;
249 s_arr[0] = var;
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800250 sivar = 3;
Stephen Hines176edba2014-12-01 14:53:08 -0800251 }
252 return tmain<int>();
Stephen Hines0e2c34f2015-03-23 12:09:02 -0700253#endif
Stephen Hines176edba2014-12-01 14:53:08 -0800254}
255
256// CHECK: define i{{[0-9]+}} @main()
257// CHECK: [[TEST:%.+]] = alloca [[S_FLOAT_TY]],
258// CHECK: call {{.*}} [[S_FLOAT_TY_DEF_CONSTR:@.+]]([[S_FLOAT_TY]]* [[TEST]])
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800259// CHECK: call void (%{{.+}}*, i{{[0-9]+}}, void (i{{[0-9]+}}*, i{{[0-9]+}}*, ...)*, ...) @__kmpc_fork_call(%{{.+}}* @{{.+}}, i{{[0-9]+}} 0, void (i{{[0-9]+}}*, i{{[0-9]+}}*, ...)* bitcast (void (i{{[0-9]+}}*, i{{[0-9]+}}*)* [[MAIN_MICROTASK:@.+]] to void
Stephen Hines176edba2014-12-01 14:53:08 -0800260// CHECK: = call i{{.+}} [[TMAIN_INT:@.+]]()
261// CHECK: call void [[S_FLOAT_TY_DESTR:@.+]]([[S_FLOAT_TY]]*
262// CHECK: ret
263//
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800264// CHECK: define internal void [[MAIN_MICROTASK]](i{{[0-9]+}}* noalias [[GTID_ADDR:%.+]], i{{[0-9]+}}* noalias %{{.+}})
Stephen Hines176edba2014-12-01 14:53:08 -0800265// CHECK: [[T_VAR_PRIV:%.+]] = alloca i{{[0-9]+}},
266// CHECK: [[VEC_PRIV:%.+]] = alloca [2 x i{{[0-9]+}}],
267// CHECK: [[S_ARR_PRIV:%.+]] = alloca [2 x [[S_FLOAT_TY]]],
268// CHECK: [[VAR_PRIV:%.+]] = alloca [[S_FLOAT_TY]],
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800269// CHECK: [[SIVAR_PRIV:%.+]] = alloca i{{[0-9]+}},
Stephen Hines176edba2014-12-01 14:53:08 -0800270// CHECK: store i{{[0-9]+}}* [[GTID_ADDR]], i{{[0-9]+}}** [[GTID_ADDR_REF:%.+]]
271// CHECK-NOT: [[T_VAR_PRIV]]
272// CHECK-NOT: [[VEC_PRIV]]
273// CHECK: {{.+}}:
274// CHECK: [[S_ARR_PRIV_ITEM:%.+]] = phi [[S_FLOAT_TY]]*
275// CHECK: call {{.*}} [[S_FLOAT_TY_DEF_CONSTR]]([[S_FLOAT_TY]]* [[S_ARR_PRIV_ITEM]])
276// CHECK-NOT: [[T_VAR_PRIV]]
277// CHECK-NOT: [[VEC_PRIV]]
278// CHECK: call {{.*}} [[S_FLOAT_TY_DEF_CONSTR]]([[S_FLOAT_TY]]* [[VAR_PRIV]])
Stephen Hines176edba2014-12-01 14:53:08 -0800279// CHECK-DAG: call void [[S_FLOAT_TY_DESTR]]([[S_FLOAT_TY]]* [[VAR_PRIV]])
280// CHECK-DAG: call void [[S_FLOAT_TY_DESTR]]([[S_FLOAT_TY]]*
281// CHECK: ret void
282
283// CHECK: define {{.*}} i{{[0-9]+}} [[TMAIN_INT]]()
284// CHECK: [[TEST:%.+]] = alloca [[S_INT_TY]],
285// CHECK: call {{.*}} [[S_INT_TY_DEF_CONSTR:@.+]]([[S_INT_TY]]* [[TEST]])
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800286// CHECK: call void (%{{.+}}*, i{{[0-9]+}}, void (i{{[0-9]+}}*, i{{[0-9]+}}*, ...)*, ...) @__kmpc_fork_call(%{{.+}}* @{{.+}}, i{{[0-9]+}} 0, void (i{{[0-9]+}}*, i{{[0-9]+}}*, ...)* bitcast (void (i{{[0-9]+}}*, i{{[0-9]+}}*)* [[TMAIN_MICROTASK:@.+]] to void
Stephen Hines176edba2014-12-01 14:53:08 -0800287// CHECK: call void [[S_INT_TY_DESTR:@.+]]([[S_INT_TY]]*
288// CHECK: ret
289//
Pirama Arumuga Nainar4967a712016-09-19 22:19:55 -0700290// CHECK: define {{.+}} @{{.+}}([[SS_TY]]*
291// CHECK: store i{{[0-9]+}} 0, i{{[0-9]+}}* %
292// CHECK: store i8
293// CHECK: call void (%{{.+}}*, i{{[0-9]+}}, void (i{{[0-9]+}}*, i{{[0-9]+}}*, ...)*, ...) @__kmpc_fork_call(%{{.+}}* @{{.+}}, i{{[0-9]+}} 1, void (i{{[0-9]+}}*, i{{[0-9]+}}*, ...)* bitcast (void (i{{[0-9]+}}*, i{{[0-9]+}}*, [[SS_TY]]*)* [[SS_MICROTASK:@.+]] to void
294// CHECK: ret
295
296// CHECK: define internal void [[SS_MICROTASK]](i{{[0-9]+}}* noalias [[GTID_ADDR:%.+]], i{{[0-9]+}}* noalias %{{.+}}, [[SS_TY]]* %{{.+}})
297// CHECK: [[A_PRIV:%.+]] = alloca i{{[0-9]+}},
298// CHECK: [[B_PRIV:%.+]] = alloca i{{[0-9]+}},
299// CHECK: [[C_PRIV:%.+]] = alloca i{{[0-9]+}},
300// CHECK: store i{{[0-9]+}}* [[A_PRIV]], i{{[0-9]+}}** [[REFA:%.+]],
301// CHECK: store i{{[0-9]+}}* [[C_PRIV]], i{{[0-9]+}}** [[REFC:%.+]],
302// CHECK-NEXT: [[A_PRIV:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[REFA]],
303// CHECK-NEXT: [[A_VAL:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[A_PRIV]],
304// CHECK-NEXT: [[INC:%.+]] = add nsw i{{[0-9]+}} [[A_VAL]], 1
305// CHECK-NEXT: store i{{[0-9]+}} [[INC]], i{{[0-9]+}}* [[A_PRIV]],
306// CHECK-NEXT: [[B_VAL:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[B_PRIV]],
307// CHECK-NEXT: [[DEC:%.+]] = add nsw i{{[0-9]+}} [[B_VAL]], -1
308// CHECK-NEXT: store i{{[0-9]+}} [[DEC]], i{{[0-9]+}}* [[B_PRIV]],
309// CHECK-NEXT: [[C_PRIV:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[REFC]],
310// CHECK-NEXT: [[C_VAL:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[C_PRIV]],
311// CHECK-NEXT: [[DIV:%.+]] = sdiv i{{[0-9]+}} [[C_VAL]], 1
312// CHECK-NEXT: store i{{[0-9]+}} [[DIV]], i{{[0-9]+}}* [[C_PRIV]],
313// CHECK-NEXT: ret void
314
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800315// CHECK: define internal void [[TMAIN_MICROTASK]](i{{[0-9]+}}* noalias [[GTID_ADDR:%.+]], i{{[0-9]+}}* noalias %{{.+}})
316// CHECK: [[T_VAR_PRIV:%.+]] = alloca i{{[0-9]+}}, align 128
317// CHECK: [[VEC_PRIV:%.+]] = alloca [2 x i{{[0-9]+}}], align 128
318// CHECK: [[S_ARR_PRIV:%.+]] = alloca [2 x [[S_INT_TY]]], align 128
319// CHECK: [[VAR_PRIV:%.+]] = alloca [[S_INT_TY]], align 128
Stephen Hines176edba2014-12-01 14:53:08 -0800320// CHECK: store i{{[0-9]+}}* [[GTID_ADDR]], i{{[0-9]+}}** [[GTID_ADDR_REF:%.+]]
321// CHECK-NOT: [[T_VAR_PRIV]]
322// CHECK-NOT: [[VEC_PRIV]]
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800323// CHECK-NOT: [[SIVAR_PRIV]]
Stephen Hines176edba2014-12-01 14:53:08 -0800324// CHECK: {{.+}}:
325// CHECK: [[S_ARR_PRIV_ITEM:%.+]] = phi [[S_INT_TY]]*
326// CHECK: call {{.*}} [[S_INT_TY_DEF_CONSTR]]([[S_INT_TY]]* [[S_ARR_PRIV_ITEM]])
327// CHECK-NOT: [[T_VAR_PRIV]]
328// CHECK-NOT: [[VEC_PRIV]]
329// CHECK: call {{.*}} [[S_INT_TY_DEF_CONSTR]]([[S_INT_TY]]* [[VAR_PRIV]])
Stephen Hines176edba2014-12-01 14:53:08 -0800330// CHECK-DAG: call void [[S_INT_TY_DESTR]]([[S_INT_TY]]* [[VAR_PRIV]])
331// CHECK-DAG: call void [[S_INT_TY_DESTR]]([[S_INT_TY]]*
332// CHECK: ret void
Pirama Arumuga Nainar4967a712016-09-19 22:19:55 -0700333
334// CHECK: define {{.+}} @{{.+}}([[SST_TY]]* %
335// CHECK: store i{{[0-9]+}} 0, i{{[0-9]+}}* %
336// CHECK: call void (%{{.+}}*, i{{[0-9]+}}, void (i{{[0-9]+}}*, i{{[0-9]+}}*, ...)*, ...) @__kmpc_fork_call(%{{.+}}* @{{.+}}, i{{[0-9]+}} 1, void (i{{[0-9]+}}*, i{{[0-9]+}}*, ...)* bitcast (void (i{{[0-9]+}}*, i{{[0-9]+}}*, [[SST_TY]]*)* [[SST_MICROTASK:@.+]] to void
337// CHECK: ret
338
339// CHECK: define internal void [[SST_MICROTASK]](i{{[0-9]+}}* noalias [[GTID_ADDR:%.+]], i{{[0-9]+}}* noalias %{{.+}}, [[SST_TY]]* %{{.+}})
340// CHECK: [[A_PRIV:%.+]] = alloca i{{[0-9]+}},
341// CHECK: store i{{[0-9]+}}* [[A_PRIV]], i{{[0-9]+}}** [[REF:%.+]],
342// CHECK-NEXT: [[A_PRIV:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[REF]],
343// CHECK-NEXT: [[A_VAL:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[A_PRIV]],
344// CHECK-NEXT: [[INC:%.+]] = add nsw i{{[0-9]+}} [[A_VAL]], 1
345// CHECK-NEXT: store i{{[0-9]+}} [[INC]], i{{[0-9]+}}* [[A_PRIV]],
346// CHECK-NEXT: ret void
347
Stephen Hines176edba2014-12-01 14:53:08 -0800348#endif
349