1 // 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
6 // expected-no-diagnostics
7 #ifndef HEADER
8 #define HEADER
9 template <class T>
10 struct S {
11   T f;
12   S(T a) : f(a) {}
13   S() : f() {}
14   operator T() { return T(); }
15   ~S() {}
16 };
17 
18 volatile int g __attribute__((aligned(128))) = 1212;
19 
20 struct SS {
21   int a;
22   int b : 4;
23   int &c;
24   SS(int &d) : a(0), b(0), c(d) {
25 #pragma omp parallel private(a, b, c)
26 #ifdef LAMBDA
27     [&]() {
28       ++this->a, --b, (this)->c /= 1;
29 #pragma omp parallel private(a, b, c)
30       ++(this)->a, --b, this->c /= 1;
31     }();
32 #elif defined(BLOCKS)
33     ^{
34       ++a;
35       --this->b;
36       (this)->c /= 1;
37 #pragma omp parallel private(a, b, c)
38       ++(this)->a, --b, this->c /= 1;
39     }();
40 #else
41     ++this->a, --b, c /= 1;
42 #endif
43   }
44 };
45 
46 template<typename T>
47 struct SST {
48   T a;
49   SST() : a(T()) {
50 #pragma omp parallel private(a)
51 #ifdef LAMBDA
52     [&]() {
53       [&]() {
54         ++this->a;
55 #pragma omp parallel private(a)
56         ++(this)->a;
57       }();
58     }();
59 #elif defined(BLOCKS)
60     ^{
61       ^{
62         ++a;
63 #pragma omp parallel private(a)
64         ++(this)->a;
65       }();
66     }();
67 #else
68     ++(this)->a;
69 #endif
70   }
71 };
72 
73 // CHECK: [[SS_TY:%.+]] = type { i{{[0-9]+}}, i8
74 // LAMBDA: [[SS_TY:%.+]] = type { i{{[0-9]+}}, i8
75 // BLOCKS: [[SS_TY:%.+]] = type { i{{[0-9]+}}, i8
76 // CHECK: [[S_FLOAT_TY:%.+]] = type { float }
77 // CHECK: [[S_INT_TY:%.+]] = type { i{{[0-9]+}} }
78 // CHECK: [[SST_TY:%.+]] = type { i{{[0-9]+}} }
79 template <typename T>
80 T tmain() {
81   S<T> test;
82   SST<T> sst;
83   T t_var __attribute__((aligned(128))) = T();
84   T vec[] __attribute__((aligned(128))) = {1, 2};
85   S<T> s_arr[] __attribute__((aligned(128))) = {1, 2};
86   S<T> var __attribute__((aligned(128))) (3);
87 #pragma omp parallel private(t_var, vec, s_arr, var)
88   {
89     vec[0] = t_var;
90     s_arr[0] = var;
91   }
92   return T();
93 }
94 
95 int main() {
96   static int sivar;
97   SS ss(sivar);
98 #ifdef LAMBDA
99   // LAMBDA: [[G:@.+]] = global i{{[0-9]+}} 1212,
100   // LAMBDA-LABEL: @main
101   // LAMBDA: alloca [[SS_TY]],
102   // LAMBDA: alloca [[CAP_TY:%.+]],
103   // LAMBDA: call{{.*}} void [[OUTER_LAMBDA:@[^(]+]]([[CAP_TY]]*
104   [&]() {
105   // LAMBDA: define{{.*}} internal{{.*}} void [[OUTER_LAMBDA]](
106   // LAMBDA-NOT: = getelementptr inbounds %{{.+}},
107   // LAMBDA: call{{.*}} void {{.+}} @__kmpc_fork_call({{.+}}, i32 0, {{.+}}* [[OMP_REGION:@.+]] to {{.+}})
108 #pragma omp parallel private(g, sivar)
109   {
110     // LAMBDA: define {{.+}} @{{.+}}([[SS_TY]]*
111     // LAMBDA: store i{{[0-9]+}} 0, i{{[0-9]+}}* %
112     // LAMBDA: store i8
113     // 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
114     // LAMBDA: ret
115 
116     // LAMBDA: define internal void [[SS_MICROTASK]](i{{[0-9]+}}* noalias [[GTID_ADDR:%.+]], i{{[0-9]+}}* noalias %{{.+}}, [[SS_TY]]* %{{.+}})
117     // LAMBDA-NOT: getelementptr {{.*}}[[SS_TY]], [[SS_TY]]* %
118     // LAMBDA: call{{.*}} void
119     // LAMBDA: ret void
120 
121     // LAMBDA: define internal void @{{.+}}(i{{[0-9]+}}* noalias [[GTID_ADDR:%.+]], i{{[0-9]+}}* noalias %{{.+}}, [[SS_TY]]* %{{.+}})
122     // LAMBDA: [[A_PRIV:%.+]] = alloca i{{[0-9]+}},
123     // LAMBDA: [[B_PRIV:%.+]] = alloca i{{[0-9]+}},
124     // LAMBDA: [[C_PRIV:%.+]] = alloca i{{[0-9]+}},
125     // LAMBDA: store i{{[0-9]+}}* [[A_PRIV]], i{{[0-9]+}}** [[REFA:%.+]],
126     // LAMBDA: store i{{[0-9]+}}* [[C_PRIV]], i{{[0-9]+}}** [[REFC:%.+]],
127     // LAMBDA-NEXT: [[A_PRIV:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[REFA]],
128     // LAMBDA-NEXT: [[A_VAL:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[A_PRIV]],
129     // LAMBDA-NEXT: [[INC:%.+]] = add nsw i{{[0-9]+}} [[A_VAL]], 1
130     // LAMBDA-NEXT: store i{{[0-9]+}} [[INC]], i{{[0-9]+}}* [[A_PRIV]],
131     // LAMBDA-NEXT: [[B_VAL:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[B_PRIV]],
132     // LAMBDA-NEXT: [[DEC:%.+]] = add nsw i{{[0-9]+}} [[B_VAL]], -1
133     // LAMBDA-NEXT: store i{{[0-9]+}} [[DEC]], i{{[0-9]+}}* [[B_PRIV]],
134     // LAMBDA-NEXT: [[C_PRIV:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[REFC]],
135     // LAMBDA-NEXT: [[C_VAL:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[C_PRIV]],
136     // LAMBDA-NEXT: [[DIV:%.+]] = sdiv i{{[0-9]+}} [[C_VAL]], 1
137     // LAMBDA-NEXT: store i{{[0-9]+}} [[DIV]], i{{[0-9]+}}* [[C_PRIV]],
138     // LAMBDA-NEXT: ret void
139 
140     // LAMBDA: define{{.*}} internal{{.*}} void [[OMP_REGION]](i32* noalias %{{.+}}, i32* noalias %{{.+}})
141     // LAMBDA: [[G_PRIVATE_ADDR:%.+]] = alloca i{{[0-9]+}},
142     // LAMBDA: [[SIVAR_PRIVATE_ADDR:%.+]] = alloca i{{[0-9]+}},
143     g = 1;
144     sivar = 2;
145     // LAMBDA: store i{{[0-9]+}} 1, i{{[0-9]+}}* [[G_PRIVATE_ADDR]],
146     // LAMBDA: store i{{[0-9]+}} 2, i{{[0-9]+}}* [[SIVAR_PRIVATE_ADDR]],
147     // LAMBDA: [[G_PRIVATE_ADDR_REF:%.+]] = getelementptr inbounds %{{.+}}, %{{.+}}* [[ARG:%.+]], i{{[0-9]+}} 0, i{{[0-9]+}} 0
148     // LAMBDA: store i{{[0-9]+}}* [[G_PRIVATE_ADDR]], i{{[0-9]+}}** [[G_PRIVATE_ADDR_REF]]
149 
150     // LAMBDA: [[SIVAR_PRIVATE_ADDR_REF:%.+]] = getelementptr inbounds %{{.+}}, %{{.+}}* [[ARG:%.+]], i{{[0-9]+}} 0, i{{[0-9]+}} 1
151     // LAMBDA: store i{{[0-9]+}}* [[SIVAR_PRIVATE_ADDR]], i{{[0-9]+}}** [[SIVAR_PRIVATE_ADDR_REF]]
152 
153     // LAMBDA: call{{.*}} void [[INNER_LAMBDA:@.+]](%{{.+}}* [[ARG]])
154     [&]() {
155       // LAMBDA: define {{.+}} void [[INNER_LAMBDA]](%{{.+}}* [[ARG_PTR:%.+]])
156       // LAMBDA: store %{{.+}}* [[ARG_PTR]], %{{.+}}** [[ARG_PTR_REF:%.+]],
157       g = 2;
158       sivar = 4;
159       // LAMBDA: [[ARG_PTR:%.+]] = load %{{.+}}*, %{{.+}}** [[ARG_PTR_REF]]
160       // LAMBDA: [[G_PTR_REF:%.+]] = getelementptr inbounds %{{.+}}, %{{.+}}* [[ARG_PTR]], i{{[0-9]+}} 0, i{{[0-9]+}} 0
161       // LAMBDA: [[G_REF:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[G_PTR_REF]]
162       // LAMBDA: store i{{[0-9]+}} 2, i{{[0-9]+}}* [[G_REF]]
163       // LAMBDA: [[SIVAR_PTR_REF:%.+]] = getelementptr inbounds %{{.+}}, %{{.+}}* [[ARG_PTR]], i{{[0-9]+}} 0, i{{[0-9]+}} 1
164       // LAMBDA: [[SIVAR_REF:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[SIVAR_PTR_REF]]
165       // LAMBDA: store i{{[0-9]+}} 4, i{{[0-9]+}}* [[SIVAR_REF]]
166     }();
167   }
168   }();
169   return 0;
170 #elif defined(BLOCKS)
171   // BLOCKS: [[G:@.+]] = global i{{[0-9]+}} 1212,
172   // BLOCKS-LABEL: @main
173   // BLOCKS: call
174   // BLOCKS: call{{.*}} void {{%.+}}(i8
175   ^{
176   // BLOCKS: define{{.*}} internal{{.*}} void {{.+}}(i8*
177   // BLOCKS-NOT: = getelementptr inbounds %{{.+}},
178   // BLOCKS: call{{.*}} void {{.+}} @__kmpc_fork_call({{.+}}, i32 0, {{.+}}* [[OMP_REGION:@.+]] to {{.+}})
179 #pragma omp parallel private(g, sivar)
180   {
181     // BLOCKS: define{{.*}} internal{{.*}} void [[OMP_REGION]](i32* noalias %{{.+}}, i32* noalias %{{.+}})
182     // BLOCKS: [[G_PRIVATE_ADDR:%.+]] = alloca i{{[0-9]+}},
183     // BLOCKS: [[SIVAR_PRIVATE_ADDR:%.+]] = alloca i{{[0-9]+}},
184     g = 1;
185     sivar = 20;
186     // BLOCKS: store i{{[0-9]+}} 1, i{{[0-9]+}}* [[G_PRIVATE_ADDR]],
187     // BLOCKS: store i{{[0-9]+}} 20, i{{[0-9]+}}* [[SIVAR_PRIVATE_ADDR]],
188     // BLOCKS-NOT: [[G]]{{[[^:word:]]}}
189     // BLOCKS: i{{[0-9]+}}* [[G_PRIVATE_ADDR]]
190     // BLOCKS-NOT: [[G]]{{[[^:word:]]}}
191     // BLOCKS-NOT: [[SIVAR]]{{[[^:word:]]}}
192     // BLOCKS: i{{[0-9]+}}* [[SIVAR_PRIVATE_ADDR]]
193     // BLOCKS-NOT: [[SIVAR]]{{[[^:word:]]}}
194     // BLOCKS: call{{.*}} void {{%.+}}(i8
195     ^{
196       // BLOCKS: define {{.+}} void {{@.+}}(i8*
197       g = 2;
198       sivar = 40;
199       // BLOCKS-NOT: [[G]]{{[[^:word:]]}}
200       // BLOCKS: store i{{[0-9]+}} 2, i{{[0-9]+}}*
201       // BLOCKS-NOT: [[G]]{{[[^:word:]]}}
202       // BLOCKS-NOT: [[SIVAR]]{{[[^:word:]]}}
203       // BLOCKS: store i{{[0-9]+}} 40, i{{[0-9]+}}*
204       // BLOCKS-NOT: [[SIVAR]]{{[[^:word:]]}}
205       // BLOCKS: ret
206     }();
207   }
208   }();
209   return 0;
210 // BLOCKS: define {{.+}} @{{.+}}([[SS_TY]]*
211 // BLOCKS: store i{{[0-9]+}} 0, i{{[0-9]+}}* %
212 // BLOCKS: store i8
213 // 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
214 // BLOCKS: ret
215 
216 // BLOCKS: define internal void [[SS_MICROTASK]](i{{[0-9]+}}* noalias [[GTID_ADDR:%.+]], i{{[0-9]+}}* noalias %{{.+}}, [[SS_TY]]* %{{.+}})
217 // BLOCKS-NOT: getelementptr {{.*}}[[SS_TY]], [[SS_TY]]* %
218 // BLOCKS: call{{.*}} void
219 // BLOCKS: ret void
220 
221 // BLOCKS: define internal void @{{.+}}(i{{[0-9]+}}* noalias [[GTID_ADDR:%.+]], i{{[0-9]+}}* noalias %{{.+}}, [[SS_TY]]* %{{.+}})
222 // BLOCKS: [[A_PRIV:%.+]] = alloca i{{[0-9]+}},
223 // BLOCKS: [[B_PRIV:%.+]] = alloca i{{[0-9]+}},
224 // BLOCKS: [[C_PRIV:%.+]] = alloca i{{[0-9]+}},
225 // BLOCKS: store i{{[0-9]+}}* [[A_PRIV]], i{{[0-9]+}}** [[REFA:%.+]],
226 // BLOCKS: store i{{[0-9]+}}* [[C_PRIV]], i{{[0-9]+}}** [[REFC:%.+]],
227 // BLOCKS-NEXT: [[A_PRIV:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[REFA]],
228 // BLOCKS-NEXT: [[A_VAL:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[A_PRIV]],
229 // BLOCKS-NEXT: [[INC:%.+]] = add nsw i{{[0-9]+}} [[A_VAL]], 1
230 // BLOCKS-NEXT: store i{{[0-9]+}} [[INC]], i{{[0-9]+}}* [[A_PRIV]],
231 // BLOCKS-NEXT: [[B_VAL:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[B_PRIV]],
232 // BLOCKS-NEXT: [[DEC:%.+]] = add nsw i{{[0-9]+}} [[B_VAL]], -1
233 // BLOCKS-NEXT: store i{{[0-9]+}} [[DEC]], i{{[0-9]+}}* [[B_PRIV]],
234 // BLOCKS-NEXT: [[C_PRIV:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[REFC]],
235 // BLOCKS-NEXT: [[C_VAL:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[C_PRIV]],
236 // BLOCKS-NEXT: [[DIV:%.+]] = sdiv i{{[0-9]+}} [[C_VAL]], 1
237 // BLOCKS-NEXT: store i{{[0-9]+}} [[DIV]], i{{[0-9]+}}* [[C_PRIV]],
238 // BLOCKS-NEXT: ret void
239 #else
240   S<float> test;
241   int t_var = 0;
242   int vec[] = {1, 2};
243   S<float> s_arr[] = {1, 2};
244   S<float> var(3);
245 #pragma omp parallel private(t_var, vec, s_arr, var, sivar)
246   {
247     vec[0] = t_var;
248     s_arr[0] = var;
249     sivar = 3;
250   }
251   return tmain<int>();
252 #endif
253 }
254 
255 // CHECK: define i{{[0-9]+}} @main()
256 // CHECK: [[TEST:%.+]] = alloca [[S_FLOAT_TY]],
257 // CHECK: call {{.*}} [[S_FLOAT_TY_DEF_CONSTR:@.+]]([[S_FLOAT_TY]]* [[TEST]])
258 // 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
259 // CHECK: = call i{{.+}} [[TMAIN_INT:@.+]]()
260 // CHECK: call void [[S_FLOAT_TY_DESTR:@.+]]([[S_FLOAT_TY]]*
261 // CHECK: ret
262 //
263 // CHECK: define internal void [[MAIN_MICROTASK]](i{{[0-9]+}}* noalias [[GTID_ADDR:%.+]], i{{[0-9]+}}* noalias %{{.+}})
264 // CHECK: [[T_VAR_PRIV:%.+]] = alloca i{{[0-9]+}},
265 // CHECK: [[VEC_PRIV:%.+]] = alloca [2 x i{{[0-9]+}}],
266 // CHECK: [[S_ARR_PRIV:%.+]] = alloca [2 x [[S_FLOAT_TY]]],
267 // CHECK: [[VAR_PRIV:%.+]] = alloca [[S_FLOAT_TY]],
268 // CHECK: [[SIVAR_PRIV:%.+]] = alloca i{{[0-9]+}},
269 // CHECK: store i{{[0-9]+}}* [[GTID_ADDR]], i{{[0-9]+}}** [[GTID_ADDR_REF:%.+]]
270 // CHECK-NOT: [[T_VAR_PRIV]]
271 // CHECK-NOT: [[VEC_PRIV]]
272 // CHECK: {{.+}}:
273 // CHECK: [[S_ARR_PRIV_ITEM:%.+]] = phi [[S_FLOAT_TY]]*
274 // CHECK: call {{.*}} [[S_FLOAT_TY_DEF_CONSTR]]([[S_FLOAT_TY]]* [[S_ARR_PRIV_ITEM]])
275 // CHECK-NOT: [[T_VAR_PRIV]]
276 // CHECK-NOT: [[VEC_PRIV]]
277 // CHECK: call {{.*}} [[S_FLOAT_TY_DEF_CONSTR]]([[S_FLOAT_TY]]* [[VAR_PRIV]])
278 // CHECK-DAG: call void [[S_FLOAT_TY_DESTR]]([[S_FLOAT_TY]]* [[VAR_PRIV]])
279 // CHECK-DAG: call void [[S_FLOAT_TY_DESTR]]([[S_FLOAT_TY]]*
280 // CHECK: ret void
281 
282 // CHECK: define {{.*}} i{{[0-9]+}} [[TMAIN_INT]]()
283 // CHECK: [[TEST:%.+]] = alloca [[S_INT_TY]],
284 // CHECK: call {{.*}} [[S_INT_TY_DEF_CONSTR:@.+]]([[S_INT_TY]]* [[TEST]])
285 // 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
286 // CHECK: call void [[S_INT_TY_DESTR:@.+]]([[S_INT_TY]]*
287 // CHECK: ret
288 //
289 // CHECK: define {{.+}} @{{.+}}([[SS_TY]]*
290 // CHECK: store i{{[0-9]+}} 0, i{{[0-9]+}}* %
291 // CHECK: store i8
292 // 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
293 // CHECK: ret
294 
295 // CHECK: define internal void [[SS_MICROTASK]](i{{[0-9]+}}* noalias [[GTID_ADDR:%.+]], i{{[0-9]+}}* noalias %{{.+}}, [[SS_TY]]* %{{.+}})
296 // CHECK: [[A_PRIV:%.+]] = alloca i{{[0-9]+}},
297 // CHECK: [[B_PRIV:%.+]] = alloca i{{[0-9]+}},
298 // CHECK: [[C_PRIV:%.+]] = alloca i{{[0-9]+}},
299 // CHECK: store i{{[0-9]+}}* [[A_PRIV]], i{{[0-9]+}}** [[REFA:%.+]],
300 // CHECK: store i{{[0-9]+}}* [[C_PRIV]], i{{[0-9]+}}** [[REFC:%.+]],
301 // CHECK-NEXT: [[A_PRIV:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[REFA]],
302 // CHECK-NEXT: [[A_VAL:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[A_PRIV]],
303 // CHECK-NEXT: [[INC:%.+]] = add nsw i{{[0-9]+}} [[A_VAL]], 1
304 // CHECK-NEXT: store i{{[0-9]+}} [[INC]], i{{[0-9]+}}* [[A_PRIV]],
305 // CHECK-NEXT: [[B_VAL:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[B_PRIV]],
306 // CHECK-NEXT: [[DEC:%.+]] = add nsw i{{[0-9]+}} [[B_VAL]], -1
307 // CHECK-NEXT: store i{{[0-9]+}} [[DEC]], i{{[0-9]+}}* [[B_PRIV]],
308 // CHECK-NEXT: [[C_PRIV:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[REFC]],
309 // CHECK-NEXT: [[C_VAL:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[C_PRIV]],
310 // CHECK-NEXT: [[DIV:%.+]] = sdiv i{{[0-9]+}} [[C_VAL]], 1
311 // CHECK-NEXT: store i{{[0-9]+}} [[DIV]], i{{[0-9]+}}* [[C_PRIV]],
312 // CHECK-NEXT: ret void
313 
314 // CHECK: define internal void [[TMAIN_MICROTASK]](i{{[0-9]+}}* noalias [[GTID_ADDR:%.+]], i{{[0-9]+}}* noalias %{{.+}})
315 // CHECK: [[T_VAR_PRIV:%.+]] = alloca i{{[0-9]+}}, align 128
316 // CHECK: [[VEC_PRIV:%.+]] = alloca [2 x i{{[0-9]+}}], align 128
317 // CHECK: [[S_ARR_PRIV:%.+]] = alloca [2 x [[S_INT_TY]]], align 128
318 // CHECK: [[VAR_PRIV:%.+]] = alloca [[S_INT_TY]], align 128
319 // CHECK: store i{{[0-9]+}}* [[GTID_ADDR]], i{{[0-9]+}}** [[GTID_ADDR_REF:%.+]]
320 // CHECK-NOT: [[T_VAR_PRIV]]
321 // CHECK-NOT: [[VEC_PRIV]]
322 // CHECK-NOT: [[SIVAR_PRIV]]
323 // CHECK: {{.+}}:
324 // CHECK: [[S_ARR_PRIV_ITEM:%.+]] = phi [[S_INT_TY]]*
325 // CHECK: call {{.*}} [[S_INT_TY_DEF_CONSTR]]([[S_INT_TY]]* [[S_ARR_PRIV_ITEM]])
326 // CHECK-NOT: [[T_VAR_PRIV]]
327 // CHECK-NOT: [[VEC_PRIV]]
328 // CHECK: call {{.*}} [[S_INT_TY_DEF_CONSTR]]([[S_INT_TY]]* [[VAR_PRIV]])
329 // CHECK-DAG: call void [[S_INT_TY_DESTR]]([[S_INT_TY]]* [[VAR_PRIV]])
330 // CHECK-DAG: call void [[S_INT_TY_DESTR]]([[S_INT_TY]]*
331 // CHECK: ret void
332 
333 // CHECK: define {{.+}} @{{.+}}([[SST_TY]]* %
334 // CHECK: store i{{[0-9]+}} 0, i{{[0-9]+}}* %
335 // 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
336 // CHECK: ret
337 
338 // CHECK: define internal void [[SST_MICROTASK]](i{{[0-9]+}}* noalias [[GTID_ADDR:%.+]], i{{[0-9]+}}* noalias %{{.+}}, [[SST_TY]]* %{{.+}})
339 // CHECK: [[A_PRIV:%.+]] = alloca i{{[0-9]+}},
340 // CHECK: store i{{[0-9]+}}* [[A_PRIV]], i{{[0-9]+}}** [[REF:%.+]],
341 // CHECK-NEXT: [[A_PRIV:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[REF]],
342 // CHECK-NEXT: [[A_VAL:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[A_PRIV]],
343 // CHECK-NEXT: [[INC:%.+]] = add nsw i{{[0-9]+}} [[A_VAL]], 1
344 // CHECK-NEXT: store i{{[0-9]+}} [[INC]], i{{[0-9]+}}* [[A_PRIV]],
345 // CHECK-NEXT: ret void
346 
347 #endif
348 
349