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