1 // RUN: %clang_cc1 -DCHECK -verify -fopenmp -x c++ -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -emit-llvm %s -o - | FileCheck %s --check-prefix CHECK --check-prefix CHECK-64
2 // RUN: %clang_cc1 -DCHECK -fopenmp -x c++ -std=c++11 -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -emit-pch -o %t %s
3 // RUN: %clang_cc1 -DCHECK -fopenmp -x c++ -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -std=c++11 -include-pch %t -verify %s -emit-llvm -o - | FileCheck %s --check-prefix CHECK --check-prefix CHECK-64
4 // RUN: %clang_cc1 -DCHECK -verify -fopenmp -x c++ -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -emit-llvm %s -o - | FileCheck %s --check-prefix CHECK --check-prefix CHECK-32
5 // RUN: %clang_cc1 -DCHECK -fopenmp -x c++ -std=c++11 -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -emit-pch -o %t %s
6 // RUN: %clang_cc1 -DCHECK -fopenmp -x c++ -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -std=c++11 -include-pch %t -verify %s -emit-llvm -o - | FileCheck %s --check-prefix CHECK --check-prefix CHECK-32
7 
8 // RUN: %clang_cc1 -DLAMBDA -verify -fopenmp -x c++ -std=c++11 -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -emit-llvm %s -o - | FileCheck %s --check-prefix LAMBDA --check-prefix LAMBDA-64
9 // RUN: %clang_cc1 -DLAMBDA -fopenmp -x c++ -std=c++11 -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -emit-pch -o %t %s
10 // RUN: %clang_cc1 -DLAMBDA -fopenmp -x c++  -std=c++11 -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -std=c++11 -include-pch %t -verify %s -emit-llvm -o - | FileCheck %s --check-prefix LAMBDA --check-prefix LAMBDA-64
11 
12 // expected-no-diagnostics
13 #ifndef HEADER
14 #define HEADER
15 
16 template <typename T>
17 T tmain() {
18   T t_var = T();
19   T vec[] = {1, 2};
20 #pragma omp target
21 #pragma omp teams distribute parallel for reduction(+: t_var)
22   for (int i = 0; i < 2; ++i) {
23     t_var += (T) i;
24   }
25   return T();
26 }
27 
28 int main() {
29   static int sivar;
30 #ifdef LAMBDA
31   // LAMBDA: [[RED_VAR:@.+]] = common global [8 x {{.+}}] zeroinitializer
32 
33   // LAMBDA-LABEL: @main
34   // LAMBDA: call void [[OUTER_LAMBDA:@.+]](
35   [&]() {
36     // LAMBDA: define{{.*}} internal{{.*}} void [[OUTER_LAMBDA]](
37     // LAMBDA: call i32 @__tgt_target_teams(i64 -1, i8* @{{[^,]+}}, i32 1, i8** %{{[^,]+}}, i8** %{{[^,]+}}, i{{64|32}}* {{.+}}@{{[^,]+}}, i32 0, i32 0), i64* {{.+}}@{{[^,]+}}, i32 0, i32 0), i32 0, i32 0)
38     // LAMBDA: call void @[[LOFFL1:.+]](
39     // LAMBDA:  ret
40 #pragma omp target
41 #pragma omp teams distribute parallel for reduction(+: sivar)
42   for (int i = 0; i < 2; ++i) {
43     // LAMBDA: define{{.*}} internal{{.*}} void @[[LOFFL1]](i{{64|32}} [[SIVAR_ARG:%.+]])
44     // LAMBDA: [[SIVAR_ADDR:%.+]] = alloca i{{.+}},
45     // LAMBDA: store{{.+}} [[SIVAR_ARG]], {{.+}} [[SIVAR_ADDR]],
46     // LAMBDA: [[SIVAR_CONV:%.+]] = bitcast{{.+}} [[SIVAR_ADDR]] to
47     // LAMBDA: call void {{.+}} @__kmpc_fork_teams({{.+}}, i32 1, {{.+}} @[[LOUTL1:.+]] to {{.+}}, {{.+}} [[SIVAR_CONV]])
48     // LAMBDA: ret void
49 
50     // LAMBDA: define internal void @[[LOUTL1]]({{.+}}, {{.+}}, {{.+}} [[SIVAR_ARG:%.+]])
51     // Skip global and bound tid vars
52     // LAMBDA: {{.+}} = alloca i32*,
53     // LAMBDA: {{.+}} = alloca i32*,
54     // LAMBDA: [[SIVAR_ADDR:%.+]] = alloca i{{.+}}*,
55     // LAMBDA: [[SIVAR_PRIV:%.+]] = alloca i{{.+}},
56     // LAMBDA: [[RED_LIST:%.+]] = alloca [1 x {{.+}}],
57     // LAMBDA: store{{.+}} [[SIVAR_ARG]], {{.+}} [[SIVAR_ADDR]],
58     // LAMBDA: [[SIVAR_REF:%.+]] = load{{.+}}, {{.+}} [[SIVAR_ADDR]]
59     // LAMBDA: store{{.+}} 0, {{.+}} [[SIVAR_PRIV]],
60 
61     // LAMBDA: call void @__kmpc_for_static_init_4(
62     // LAMBDA: call void {{.*}} @__kmpc_fork_call({{.+}}, {{.+}}, {{.+}} @[[LPAR_OUTL:.+]] to
63     // LAMBDA: call void @__kmpc_for_static_fini(
64     // LAMBDA: [[RED_LIST_GEP:%.+]] = getelementptr{{.+}} [[RED_LIST]],
65     // LAMBDA: [[SIVAR_PRIV_CAST:%.+]] = bitcast{{.+}} [[SIVAR_PRIV]] to
66     // LAMBDA: store{{.+}} [[SIVAR_PRIV_CAST]], {{.+}} [[RED_LIST_GEP]],
67     // LAMBDA: [[RED_LIST_BCAST:%.+]] = bitcast{{.+}} [[RED_LIST]] to
68     // LAMBDA: [[K_RED_RET:%.+]] = call{{.+}} @__kmpc_reduce_nowait({{.+}}, {{.+}}, {{.+}}, {{.+}}, {{.+}} [[RED_LIST_BCAST]], {{.+}} [[RED_FUN:@.+]], {{.+}} [[RED_VAR]])
69     // LAMBDA: switch{{.+}} [[K_RED_RET]], label{{.+}} [
70     // LAMBDA: {{.+}}, label %[[CASE1:.+]]
71     // LAMBDA: {{.+}}, label %[[CASE2:.+]]
72     // LAMBDA: ]
73     // LAMBDA: [[CASE1]]:
74     // LAMBDA-DAG: [[SIVAR_VAL:%.+]] = load{{.+}}, {{.+}} [[SIVAR_REF]],
75     // LAMBDA-DAG: [[SIVAR_PRIV_VAL:%.+]] = load{{.+}}, {{.+}} [[SIVAR_PRIV]],
76     // LAMBDA-DAG: [[SIVAR_INC:%.+]] = add{{.+}} [[SIVAR_VAL]], [[SIVAR_PRIV_VAL]]
77     // LAMBDA: store{{.+}} [[SIVAR_INC]], {{.+}} [[SIVAR_REF]],
78     // LAMBDA: call void @__kmpc_end_reduce_nowait({{.+}}, {{.+}}, {{.+}} [[RED_VAR]])
79     // LAMBDA: br
80     // LAMBDA: [[CASE2]]:
81     // LAMBDA-DAG: [[SIVAR_PRIV_VAL:%.+]] = load{{.+}}, {{.+}} [[SIVAR_PRIV]],
82     // LAMBDA-DAG: [[ATOMIC_RES:%.+]] = atomicrmw add{{.+}} [[SIVAR_REF]], {{.+}} [[SIVAR_PRIV_VAL]]
83     // LAMBDA: br
84 
85     // LAMBDA: define internal void @[[LPAR_OUTL]]({{.+}}, {{.+}}, {{.+}}, {{.+}}, {{.+}} [[SIVAR_ARG:%.+]])
86 
87     // Skip global and bound tid vars, and prev lb and ub vars
88     // LAMBDA: {{.+}} = alloca i32*,
89     // LAMBDA: {{.+}} = alloca i32*,
90     // LAMBDA: alloca i{{[0-9]+}},
91     // LAMBDA: alloca i{{[0-9]+}},
92     // LAMBDA: [[SIVAR_ADDR:%.+]] = alloca i{{.+}}*,
93     // skip loop vars
94     // LAMBDA: alloca i32,
95     // LAMBDA: alloca i32,
96     // LAMBDA: alloca i32,
97     // LAMBDA: alloca i32,
98     // LAMBDA: alloca i32,
99     // LAMBDA: alloca i32,
100     // LAMBDA: [[SIVAR_PRIV:%.+]] = alloca i{{.+}},
101     // LAMBDA: [[RED_LIST:%.+]] = alloca [1 x {{.+}}],
102     // LAMBDA: store{{.+}} [[SIVAR_ARG]], {{.+}} [[SIVAR_ADDR]],
103     // LAMBDA: [[SIVAR_REF:%.+]] = load{{.+}}, {{.+}} [[SIVAR_ADDR]]
104     // LAMBDA: store{{.+}} 0, {{.+}} [[SIVAR_PRIV]],
105 
106     // LAMBDA: call void @__kmpc_for_static_init_4(
107      // LAMBDA: store{{.+}}, {{.+}} [[SIVAR_PRIV]],
108     // LAMBDA: call void [[INNER_LAMBDA:@.+]](
109     // LAMBDA: call void @__kmpc_for_static_fini(
110     // LAMBDA: [[RED_LIST_GEP:%.+]] = getelementptr{{.+}} [[RED_LIST]],
111     // LAMBDA: [[SIVAR_PRIV_CAST:%.+]] = bitcast{{.+}} [[SIVAR_PRIV]] to
112     // LAMBDA: store{{.+}} [[SIVAR_PRIV_CAST]], {{.+}} [[RED_LIST_GEP]],
113     // LAMBDA: [[RED_LIST_BCAST:%.+]] = bitcast{{.+}} [[RED_LIST]] to
114     // LAMBDA: [[K_RED_RET:%.+]] = call{{.+}} @__kmpc_reduce_nowait({{.+}}, {{.+}}, {{.+}}, {{.+}}, {{.+}} [[RED_LIST_BCAST]], {{.+}} [[RED_FUN:@.+]], {{.+}} [[RED_VAR]])
115     // LAMBDA: switch{{.+}} [[K_RED_RET]], label{{.+}} [
116     // LAMBDA: {{.+}}, label %[[CASE1:.+]]
117     // LAMBDA: {{.+}}, label %[[CASE2:.+]]
118     // LAMBDA: ]
119     // LAMBDA: [[CASE1]]:
120     // LAMBDA-DAG: [[SIVAR_VAL:%.+]] = load{{.+}}, {{.+}} [[SIVAR_REF]],
121     // LAMBDA-DAG: [[SIVAR_PRIV_VAL:%.+]] = load{{.+}}, {{.+}} [[SIVAR_PRIV]],
122     // LAMBDA-DAG: [[SIVAR_INC:%.+]] = add{{.+}} [[SIVAR_VAL]], [[SIVAR_PRIV_VAL]]
123     // LAMBDA: store{{.+}} [[SIVAR_INC]], {{.+}} [[SIVAR_REF]],
124     // LAMBDA: call void @__kmpc_end_reduce_nowait({{.+}}, {{.+}}, {{.+}} [[RED_VAR]])
125     // LAMBDA: br
126     // LAMBDA: [[CASE2]]:
127     // LAMBDA-DAG: [[SIVAR_PRIV_VAL:%.+]] = load{{.+}}, {{.+}} [[SIVAR_PRIV]],
128     // LAMBDA-DAG: [[ATOMIC_RES:%.+]] = atomicrmw add{{.+}} [[SIVAR_REF]], {{.+}} [[SIVAR_PRIV_VAL]]
129     // LAMBDA: br
130 
131     sivar += i;
132 
133     [&]() {
134       // LAMBDA: define {{.+}} void [[INNER_LAMBDA]](%{{.+}}* [[ARG_PTR:%.+]])
135       // LAMBDA: store %{{.+}}* [[ARG_PTR]], %{{.+}}** [[ARG_PTR_REF:%.+]],
136 
137       sivar += 4;
138       // LAMBDA: [[ARG_PTR:%.+]] = load %{{.+}}*, %{{.+}}** [[ARG_PTR_REF]]
139 
140       // LAMBDA: [[SIVAR_PTR_REF:%.+]] = getelementptr inbounds %{{.+}}, %{{.+}}* [[ARG_PTR]], i{{[0-9]+}} 0, i{{[0-9]+}} 0
141       // LAMBDA: [[SIVAR_REF:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[SIVAR_PTR_REF]]
142       // LAMBDA: [[SIVAR_VAL:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[SIVAR_REF]]
143       // LAMBDA: [[SIVAR_INC:%.+]] = add{{.+}} [[SIVAR_VAL]], 4
144       // LAMBDA: store i{{[0-9]+}} [[SIVAR_INC]], i{{[0-9]+}}* [[SIVAR_REF]]
145     }();
146   }
147   }();
148   return 0;
149 #else
150 #pragma omp target
151 #pragma omp teams distribute parallel for reduction(+: sivar)
152   for (int i = 0; i < 2; ++i) {
153     sivar += i;
154   }
155   return tmain<int>();
156 #endif
157 }
158 
159 // CHECK: [[RED_VAR:@.+]] = common global [8 x {{.+}}] zeroinitializer
160 
161 // CHECK: define {{.*}}i{{[0-9]+}} @main()
162 // CHECK: call i32 @__tgt_target_teams(i64 -1, i8* @{{[^,]+}}, i32 1, i8** %{{[^,]+}}, i8** %{{[^,]+}}, i{{64|32}}* {{.+}}@{{[^,]+}}, i32 0, i32 0), i64* {{.+}}@{{[^,]+}}, i32 0, i32 0), i32 0, i32 0)
163 // CHECK: call void @[[OFFL1:.+]](i{{64|32}} %{{.+}})
164 // CHECK: {{%.+}} = call{{.*}} i32 @[[TMAIN_INT:.+]]()
165 // CHECK:  ret
166 
167 // CHECK: define{{.*}} void @[[OFFL1]](i{{64|32}} [[SIVAR_ARG:%.+]])
168 // CHECK: [[SIVAR_ADDR:%.+]] = alloca i{{.+}},
169 // CHECK: store{{.+}} [[SIVAR_ARG]], {{.+}} [[SIVAR_ADDR]],
170 // CHECK-64: [[SIVAR_CONV:%.+]] = bitcast{{.+}} [[SIVAR_ADDR]] to
171 // CHECK-64: call void {{.+}} @__kmpc_fork_teams({{.+}}, i32 1, {{.+}} @[[OUTL1:.+]] to {{.+}}, {{.+}} [[SIVAR_CONV]])
172 // CHECK-32: call void {{.+}} @__kmpc_fork_teams({{.+}}, i32 1, {{.+}} @[[OUTL1:.+]] to {{.+}}, {{.+}} [[SIVAR_ADDR]])
173 // CHECK: ret void
174 
175 // CHECK: define internal void @[[OUTL1]]({{.+}}, {{.+}}, {{.+}} [[SIVAR_ARG:%.+]])
176 // Skip global and bound tid vars
177 // CHECK: {{.+}} = alloca i32*,
178 // CHECK: {{.+}} = alloca i32*,
179 // CHECK: [[SIVAR_ADDR:%.+]] = alloca i{{.+}}*,
180 // CHECK: [[SIVAR_PRIV:%.+]] = alloca i{{.+}},
181 // CHECK: [[RED_LIST:%.+]] = alloca [1 x {{.+}}],
182 // CHECK: store{{.+}} [[SIVAR_ARG]], {{.+}} [[SIVAR_ADDR]],
183 // CHECK: [[SIVAR_REF:%.+]] = load{{.+}}, {{.+}} [[SIVAR_ADDR]]
184 // CHECK: store{{.+}} 0, {{.+}} [[SIVAR_PRIV]],
185 
186 // CHECK: call void @__kmpc_for_static_init_4(
187 // CHECK: call void {{.*}} @__kmpc_fork_call({{.+}}, {{.+}}, {{.+}} @[[PAR_OUTL:.+]] to
188 // CHECK: call void @__kmpc_for_static_fini(
189 // CHECK: [[RED_LIST_GEP:%.+]] = getelementptr{{.+}} [[RED_LIST]],
190 // CHECK: [[SIVAR_PRIV_CAST:%.+]] = bitcast{{.+}} [[SIVAR_PRIV]] to
191 // CHECK: store{{.+}} [[SIVAR_PRIV_CAST]], {{.+}} [[RED_LIST_GEP]],
192 // CHECK: [[RED_LIST_BCAST:%.+]] = bitcast{{.+}} [[RED_LIST]] to
193 // CHECK: [[K_RED_RET:%.+]] = call{{.+}} @__kmpc_reduce_nowait({{.+}}, {{.+}}, {{.+}}, {{.+}}, {{.+}} [[RED_LIST_BCAST]], {{.+}} [[RED_FUN:@.+]], {{.+}} [[RED_VAR]])
194 // CHECK: switch{{.+}} [[K_RED_RET]], label{{.+}} [
195 // CHECK: {{.+}}, label %[[CASE1:.+]]
196 // CHECK: {{.+}}, label %[[CASE2:.+]]
197 // CHECK: ]
198 // CHECK: [[CASE1]]:
199 // CHECK-DAG: [[SIVAR_VAL:%.+]] = load{{.+}}, {{.+}} [[SIVAR_REF]],
200 // CHECK-DAG: [[SIVAR_PRIV_VAL:%.+]] = load{{.+}}, {{.+}} [[SIVAR_PRIV]],
201 // CHECK-DAG: [[SIVAR_INC:%.+]] = add{{.+}} [[SIVAR_VAL]], [[SIVAR_PRIV_VAL]]
202 // CHECK: store{{.+}} [[SIVAR_INC]], {{.+}} [[SIVAR_REF]],
203 // CHECK: call void @__kmpc_end_reduce_nowait({{.+}}, {{.+}}, {{.+}} [[RED_VAR]])
204 // CHECK: br
205 // CHECK: [[CASE2]]:
206 // CHECK-DAG: [[SIVAR_PRIV_VAL:%.+]] = load{{.+}}, {{.+}} [[SIVAR_PRIV]],
207 // CHECK-DAG: [[ATOMIC_RES:%.+]] = atomicrmw add{{.+}} [[SIVAR_REF]], {{.+}} [[SIVAR_PRIV_VAL]]
208 // CHECK: br
209 
210 // CHECK: define internal void @[[PAR_OUTL]]({{.+}}, {{.+}}, {{.+}}, {{.+}}, {{.+}} [[SIVAR_ARG:%.+]])
211 // Skip global and bound tid vars, and prev lb and ub
212 // CHECK: {{.+}} = alloca i32*,
213 // CHECK: {{.+}} = alloca i32*,
214 // CHECK: alloca i{{[0-9]+}},
215 // CHECK: alloca i{{[0-9]+}},
216 // CHECK: [[SIVAR_ADDR:%.+]] = alloca i{{.+}}*,
217 // skip loop vars
218 // CHECK: alloca i32,
219 // CHECK: alloca i32,
220 // CHECK: alloca i32,
221 // CHECK: alloca i32,
222 // CHECK: alloca i32,
223 // CHECK: alloca i32,
224 // CHECK: [[SIVAR_PRIV:%.+]] = alloca i{{.+}},
225 // CHECK: [[RED_LIST:%.+]] = alloca [1 x {{.+}}],
226 // CHECK: store{{.+}} [[SIVAR_ARG]], {{.+}} [[SIVAR_ADDR]],
227 // CHECK: [[SIVAR_REF:%.+]] = load{{.+}}, {{.+}} [[SIVAR_ADDR]]
228 // CHECK: store{{.+}} 0, {{.+}} [[SIVAR_PRIV]],
229 
230 // CHECK: call void @__kmpc_for_static_init_4(
231 // CHECK: store{{.+}}, {{.+}} [[SIVAR_PRIV]],
232 // CHECK: call void @__kmpc_for_static_fini(
233 // CHECK: [[RED_LIST_GEP:%.+]] = getelementptr{{.+}} [[RED_LIST]],
234 // CHECK: [[SIVAR_PRIV_CAST:%.+]] = bitcast{{.+}} [[SIVAR_PRIV]] to
235 // CHECK: store{{.+}} [[SIVAR_PRIV_CAST]], {{.+}} [[RED_LIST_GEP]],
236 // CHECK: [[RED_LIST_BCAST:%.+]] = bitcast{{.+}} [[RED_LIST]] to
237 // CHECK: [[K_RED_RET:%.+]] = call{{.+}} @__kmpc_reduce_nowait({{.+}}, {{.+}}, {{.+}}, {{.+}}, {{.+}} [[RED_LIST_BCAST]], {{.+}} [[RED_FUN:@.+]], {{.+}} [[RED_VAR]])
238 // CHECK: switch{{.+}} [[K_RED_RET]], label{{.+}} [
239 // CHECK: {{.+}}, label %[[CASE1:.+]]
240 // CHECK: {{.+}}, label %[[CASE2:.+]]
241 // CHECK: ]
242 // CHECK: [[CASE1]]:
243 // CHECK-DAG: [[SIVAR_VAL:%.+]] = load{{.+}}, {{.+}} [[SIVAR_REF]],
244 // CHECK-DAG: [[SIVAR_PRIV_VAL:%.+]] = load{{.+}}, {{.+}} [[SIVAR_PRIV]],
245 // CHECK-DAG: [[SIVAR_INC:%.+]] = add{{.+}} [[SIVAR_VAL]], [[SIVAR_PRIV_VAL]]
246 // CHECK: store{{.+}} [[SIVAR_INC]], {{.+}} [[SIVAR_REF]],
247 // CHECK: call void @__kmpc_end_reduce_nowait({{.+}}, {{.+}}, {{.+}} [[RED_VAR]])
248 // CHECK: br
249 // CHECK: [[CASE2]]:
250 // CHECK-DAG: [[SIVAR_PRIV_VAL:%.+]] = load{{.+}}, {{.+}} [[SIVAR_PRIV]],
251 // CHECK-DAG: [[ATOMIC_RES:%.+]] = atomicrmw add{{.+}} [[SIVAR_REF]], {{.+}} [[SIVAR_PRIV_VAL]]
252 // CHECK: br
253 
254 // CHECK: define{{.*}} i{{[0-9]+}} @[[TMAIN_INT]]()
255 // CHECK: call i32 @__tgt_target_teams(i64 -1, i8* @{{[^,]+}}, i32 1,
256 // CHECK: call void @[[TOFFL1:.+]]({{.+}})
257 // CHECK:  ret
258 
259 // CHECK: define{{.*}} void @[[TOFFL1]](i{{64|32}} [[TVAR_ARG:%.+]])
260 // CHECK: [[TVAR_ADDR:%.+]] = alloca i{{.+}},
261 // CHECK: store{{.+}} [[TVAR_ARG]], {{.+}} [[TVAR_ADDR]],
262 // CHECK-64: [[TVAR_CONV:%.+]] = bitcast{{.+}} [[TVAR_ADDR]] to
263 // CHECK-64: call void {{.+}} @__kmpc_fork_teams({{.+}}, i32 1, {{.+}} @[[TOUTL1:.+]] to {{.+}}, {{.+}} [[TVAR_CONV]])
264 // CHECK-32: call void {{.+}} @__kmpc_fork_teams({{.+}}, i32 1, {{.+}} @[[TOUTL1:.+]] to {{.+}}, {{.+}} [[TVAR_ADDR]])
265 // CHECK: ret void
266 
267 // CHECK: define internal void @[[TOUTL1]]({{.+}}, {{.+}}, {{.+}} [[TVAR_ARG:%.+]])
268 // Skip global and bound tid vars
269 // CHECK: {{.+}} = alloca i32*,
270 // CHECK: {{.+}} = alloca i32*,
271 // CHECK: [[TVAR_ADDR:%.+]] = alloca i{{.+}}*,
272 // CHECK: [[TVAR_PRIV:%.+]] = alloca i{{.+}},
273 // CHECK: [[RED_LIST:%.+]] = alloca [1 x {{.+}}],
274 // CHECK: store{{.+}} [[TVAR_ARG]], {{.+}} [[TVAR_ADDR]],
275 // CHECK: [[TVAR_REF:%.+]] = load{{.+}}, {{.+}} [[TVAR_ADDR]]
276 // CHECK: store{{.+}} 0, {{.+}} [[TVAR_PRIV]],
277 
278 // CHECK: call void @__kmpc_for_static_init_4(
279 // CHECK: call void {{.*}} @__kmpc_fork_call({{.+}}, {{.+}}, {{.+}} @[[TPAR_OUTL:.+]] to
280 // CHECK: call void @__kmpc_for_static_fini(
281 // CHECK: [[RED_LIST_GEP:%.+]] = getelementptr{{.+}} [[RED_LIST]],
282 // CHECK: [[TVAR_PRIV_CAST:%.+]] = bitcast{{.+}} [[TVAR_PRIV]] to
283 // CHECK: store{{.+}} [[TVAR_PRIV_CAST]], {{.+}} [[RED_LIST_GEP]],
284 // CHECK: [[RED_LIST_BCAST:%.+]] = bitcast{{.+}} [[RED_LIST]] to
285 // CHECK: [[K_RED_RET:%.+]] = call{{.+}} @__kmpc_reduce_nowait({{.+}}, {{.+}}, {{.+}}, {{.+}}, {{.+}} [[RED_LIST_BCAST]], {{.+}} [[RED_FUN:@.+]], {{.+}} [[RED_VAR]])
286 // CHECK: switch{{.+}} [[K_RED_RET]], label{{.+}} [
287 // CHECK: {{.+}}, label %[[CASE1:.+]]
288 // CHECK: {{.+}}, label %[[CASE2:.+]]
289 // CHECK: ]
290 // CHECK: [[CASE1]]:
291 // CHECK-DAG: [[TVAR_VAL:%.+]] = load{{.+}}, {{.+}} [[TVAR_REF]],
292 // CHECK-DAG: [[TVAR_PRIV_VAL:%.+]] = load{{.+}}, {{.+}} [[TVAR_PRIV]],
293 // CHECK-DAG: [[TVAR_INC:%.+]] = add{{.+}} [[TVAR_VAL]], [[TVAR_PRIV_VAL]]
294 // CHECK: store{{.+}} [[TVAR_INC]], {{.+}} [[TVAR_REF]],
295 // CHECK: call void @__kmpc_end_reduce_nowait({{.+}}, {{.+}}, {{.+}} [[RED_VAR]])
296 // CHECK: br
297 // CHECK: [[CASE2]]:
298 // CHECK-DAG: [[TVAR_PRIV_VAL:%.+]] = load{{.+}}, {{.+}} [[TVAR_PRIV]],
299 // CHECK-DAG: [[ATOMIC_RES:%.+]] = atomicrmw add{{.+}} [[TVAR_REF]], {{.+}} [[TVAR_PRIV_VAL]]
300 // CHECK: br
301 
302 // CHECK: define internal void @[[TPAR_OUTL]]({{.+}}, {{.+}}, {{.+}}, {{.+}}, {{.+}} [[TVAR_ARG:%.+]])
303 // Skip global and bound tid vars, and prev lb and ub vars
304 // CHECK: {{.+}} = alloca i32*,
305 // CHECK: {{.+}} = alloca i32*,
306 // CHECK: alloca i{{[0-9]+}},
307 // CHECK: alloca i{{[0-9]+}},
308 // CHECK: [[TVAR_ADDR:%.+]] = alloca i{{.+}}*,
309 // skip loop vars
310 // CHECK: alloca i32,
311 // CHECK: alloca i32,
312 // CHECK: alloca i32,
313 // CHECK: alloca i32,
314 // CHECK: alloca i32,
315 // CHECK: alloca i32,
316 // CHECK: [[TVAR_PRIV:%.+]] = alloca i{{.+}},
317 // CHECK: [[RED_LIST:%.+]] = alloca [1 x {{.+}}],
318 // CHECK: store{{.+}} [[TVAR_ARG]], {{.+}} [[TVAR_ADDR]],
319 // CHECK: [[TVAR_REF:%.+]] = load{{.+}}, {{.+}} [[TVAR_ADDR]]
320 // CHECK: store{{.+}} 0, {{.+}} [[TVAR_PRIV]],
321 
322 // CHECK: call void @__kmpc_for_static_init_4(
323 // CHECK: store{{.+}}, {{.+}} [[TVAR_PRIV]],
324 // CHECK: call void @__kmpc_for_static_fini(
325 // CHECK: [[RED_LIST_GEP:%.+]] = getelementptr{{.+}} [[RED_LIST]],
326 // CHECK: [[TVAR_PRIV_CAST:%.+]] = bitcast{{.+}} [[TVAR_PRIV]] to
327 // CHECK: store{{.+}} [[TVAR_PRIV_CAST]], {{.+}} [[RED_LIST_GEP]],
328 // CHECK: [[RED_LIST_BCAST:%.+]] = bitcast{{.+}} [[RED_LIST]] to
329 // CHECK: [[K_RED_RET:%.+]] = call{{.+}} @__kmpc_reduce_nowait({{.+}}, {{.+}}, {{.+}}, {{.+}}, {{.+}} [[RED_LIST_BCAST]], {{.+}} [[RED_FUN:@.+]], {{.+}} [[RED_VAR]])
330 // CHECK: switch{{.+}} [[K_RED_RET]], label{{.+}} [
331 // CHECK: {{.+}}, label %[[CASE1:.+]]
332 // CHECK: {{.+}}, label %[[CASE2:.+]]
333 // CHECK: ]
334 // CHECK: [[CASE1]]:
335 // CHECK-DAG: [[TVAR_VAL:%.+]] = load{{.+}}, {{.+}} [[TVAR_REF]],
336 // CHECK-DAG: [[TVAR_PRIV_VAL:%.+]] = load{{.+}}, {{.+}} [[TVAR_PRIV]],
337 // CHECK-DAG: [[TVAR_INC:%.+]] = add{{.+}} [[TVAR_VAL]], [[TVAR_PRIV_VAL]]
338 // CHECK: store{{.+}} [[TVAR_INC]], {{.+}} [[TVAR_REF]],
339 // CHECK: call void @__kmpc_end_reduce_nowait({{.+}}, {{.+}}, {{.+}} [[RED_VAR]])
340 // CHECK: br
341 // CHECK: [[CASE2]]:
342 // CHECK-DAG: [[TVAR_PRIV_VAL:%.+]] = load{{.+}}, {{.+}} [[TVAR_PRIV]],
343 // CHECK-DAG: [[ATOMIC_RES:%.+]] = atomicrmw add{{.+}} [[TVAR_REF]], {{.+}} [[TVAR_PRIV_VAL]]
344 // CHECK: br
345 #endif
346