1 // Test host codegen.
2 // RUN: %clang_cc1 -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
3 // RUN: %clang_cc1 -fopenmp -x c++ -std=c++11 -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -emit-pch -o %t %s
4 // RUN: %clang_cc1 -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  --check-prefix HCHECK
5 // RUN: %clang_cc1 -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  --check-prefix HCHECK
6 // RUN: %clang_cc1 -fopenmp -x c++ -std=c++11 -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -emit-pch -o %t %s
7 // RUN: %clang_cc1 -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 --check-prefix HCHECK
8 
9 // RUN: %clang_cc1 -verify -fopenmp-simd -x c++ -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -emit-llvm %s -o - | FileCheck --check-prefix SIMD-ONLY0 %s
10 // RUN: %clang_cc1 -fopenmp-simd -x c++ -std=c++11 -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -emit-pch -o %t %s
11 // RUN: %clang_cc1 -fopenmp-simd -x c++ -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -std=c++11 -include-pch %t -verify %s -emit-llvm -o - | FileCheck --check-prefix SIMD-ONLY0 %s
12 // RUN: %clang_cc1 -verify -fopenmp-simd -x c++ -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -emit-llvm %s -o - | FileCheck --check-prefix SIMD-ONLY0 %s
13 // RUN: %clang_cc1 -fopenmp-simd -x c++ -std=c++11 -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -emit-pch -o %t %s
14 // RUN: %clang_cc1 -fopenmp-simd -x c++ -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -std=c++11 -include-pch %t -verify %s -emit-llvm -o - | FileCheck --check-prefix SIMD-ONLY0 %s
15 // SIMD-ONLY0-NOT: {{__kmpc|__tgt}}
16 
17 // Test target codegen - host bc file has to be created first. (no significant differences with host version of target region)
18 // RUN: %clang_cc1 -verify -fopenmp -x c++ -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -emit-llvm-bc %s -o %t-ppc-host.bc
19 // RUN: %clang_cc1 -verify -fopenmp -x c++ -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -emit-llvm %s -fopenmp-is-device -fopenmp-host-ir-file-path %t-ppc-host.bc -o - | FileCheck %s
20 // RUN: %clang_cc1 -fopenmp -x c++ -std=c++11 -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -emit-pch -fopenmp-is-device -fopenmp-host-ir-file-path %t-ppc-host.bc -o %t %s
21 // RUN: %clang_cc1 -fopenmp -x c++ -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -std=c++11 -fopenmp-is-device -fopenmp-host-ir-file-path %t-ppc-host.bc -include-pch %t -verify %s -emit-llvm -o - | FileCheck %s
22 // RUN: %clang_cc1 -verify -fopenmp -x c++ -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -emit-llvm-bc %s -o %t-x86-host.bc
23 // RUN: %clang_cc1 -verify -fopenmp -x c++ -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -emit-llvm %s -fopenmp-is-device -fopenmp-host-ir-file-path %t-x86-host.bc -o - | FileCheck %s
24 // RUN: %clang_cc1 -fopenmp -x c++ -std=c++11 -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -emit-pch -fopenmp-is-device -fopenmp-host-ir-file-path %t-x86-host.bc -o %t %s
25 // RUN: %clang_cc1 -fopenmp -x c++ -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -std=c++11 -fopenmp-is-device -fopenmp-host-ir-file-path %t-x86-host.bc -include-pch %t -verify %s -emit-llvm -o - | FileCheck %s
26 
27 // RUN: %clang_cc1 -verify -fopenmp-simd -x c++ -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -emit-llvm-bc %s -o %t-ppc-host.bc
28 // RUN: %clang_cc1 -verify -fopenmp-simd -x c++ -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -emit-llvm %s -fopenmp-is-device -fopenmp-host-ir-file-path %t-ppc-host.bc -o - | FileCheck --check-prefix SIMD-ONLY1 %s
29 // RUN: %clang_cc1 -fopenmp-simd -x c++ -std=c++11 -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -emit-pch -fopenmp-is-device -fopenmp-host-ir-file-path %t-ppc-host.bc -o %t %s
30 // RUN: %clang_cc1 -fopenmp-simd -x c++ -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -std=c++11 -fopenmp-is-device -fopenmp-host-ir-file-path %t-ppc-host.bc -include-pch %t -verify %s -emit-llvm -o - | FileCheck --check-prefix SIMD-ONLY1 %s
31 // RUN: %clang_cc1 -verify -fopenmp-simd -x c++ -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -emit-llvm-bc %s -o %t-x86-host.bc
32 // RUN: %clang_cc1 -verify -fopenmp-simd -x c++ -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -emit-llvm %s -fopenmp-is-device -fopenmp-host-ir-file-path %t-x86-host.bc -o - | FileCheck --check-prefix SIMD-ONLY1 %s
33 // RUN: %clang_cc1 -fopenmp-simd -x c++ -std=c++11 -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -emit-pch -fopenmp-is-device -fopenmp-host-ir-file-path %t-x86-host.bc -o %t %s
34 // RUN: %clang_cc1 -fopenmp-simd -x c++ -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -std=c++11 -fopenmp-is-device -fopenmp-host-ir-file-path %t-x86-host.bc -include-pch %t -verify %s -emit-llvm -o - | FileCheck --check-prefix SIMD-ONLY1 %s
35 // SIMD-ONLY1-NOT: {{__kmpc|__tgt}}
36 
37 // expected-no-diagnostics
38 #ifndef HEADER
39 #define HEADER
40 
41 // CHECK-DAG: %struct.ident_t = type { i32, i32, i32, i32, i8* }
42 // CHECK-DAG: [[STR:@.+]] = private unnamed_addr constant [23 x i8] c";unknown;unknown;0;0;;\00"
43 // CHECK-DAG: [[DEF_LOC_0:@.+]] = private unnamed_addr global %struct.ident_t { i32 0, i32 2, i32 0, i32 0, i8* getelementptr inbounds ([23 x i8], [23 x i8]* [[STR]], i32 0, i32 0) }
44 // CHECK-DAG: [[DEF_LOC_DISTRIBUTE_0:@.+]] = private unnamed_addr global %struct.ident_t { i32 0, i32 2050, i32 0, i32 0, i8* getelementptr inbounds ([23 x i8], [23 x i8]* [[STR]], i32 0, i32 0) }
45 
46 // CHECK-LABEL: define {{.*void}} @{{.*}}without_schedule_clause{{.*}}(float* {{.+}}, float* {{.+}}, float* {{.+}}, float* {{.+}})
47 void without_schedule_clause(float *a, float *b, float *c, float *d) {
48   #pragma omp target
49   #pragma omp teams
50   #pragma omp distribute simd simdlen(8) aligned(a)
51   for (int i = 33; i < 32000000; i += 7) {
52     a[i] = b[i] * c[i] * d[i];
53   }
54 }
55 
56 // CHECK: define {{.*}}void @{{.+}}(i32* noalias [[GBL_TIDP:%.+]], i32* noalias [[BND_TID:%.+]], float** dereferenceable({{[0-9]+}}) [[APTR:%.+]], float** dereferenceable({{[0-9]+}}) [[BPTR:%.+]], float** dereferenceable({{[0-9]+}}) [[CPTR:%.+]], float** dereferenceable({{[0-9]+}}) [[DPTR:%.+]])
57 // CHECK:  [[TID_ADDR:%.+]] = alloca i32*
58 // CHECK:  [[IV:%.+iv]] = alloca i32
59 // CHECK:  [[LB:%.+lb]] = alloca i32
60 // CHECK:  [[UB:%.+ub]] = alloca i32
61 // CHECK:  [[ST:%.+stride]] = alloca i32
62 // CHECK:  [[LAST:%.+last]] = alloca i32
63 // CHECK-DAG:  store i32* [[GBL_TIDP]], i32** [[TID_ADDR]]
64 // CHECK-DAG:  call void @llvm.assume(
65 // CHECK-DAG:  store i32 0, i32* [[LB]]
66 // CHECK-DAG:  store i32 4571423, i32* [[UB]]
67 // CHECK-DAG:  store i32 1, i32* [[ST]]
68 // CHECK-DAG:  store i32 0, i32* [[LAST]]
69 // CHECK-DAG:  [[GBL_TID:%.+]] = load i32*, i32** [[TID_ADDR]]
70 // CHECK-DAG:  [[GBL_TIDV:%.+]] = load i32, i32* [[GBL_TID]]
71 // CHECK:  call void @__kmpc_for_static_init_{{.+}}(%struct.ident_t* [[DEF_LOC_DISTRIBUTE_0]], i32 [[GBL_TIDV]], i32 92, i32* %.omp.is_last, i32* %.omp.lb, i32* %.omp.ub, i32* %.omp.stride, i32 1, i32 1)
72 // CHECK-DAG:  [[UBV0:%.+]] = load i32, i32* [[UB]]
73 // CHECK-DAG:  [[USWITCH:%.+]] = icmp sgt i32 [[UBV0]], 4571423
74 // CHECK:  br i1 [[USWITCH]], label %[[BBCT:.+]], label %[[BBCF:.+]]
75 // CHECK-DAG:  [[BBCT]]:
76 // CHECK-DAG:  br label %[[BBCE:.+]]
77 // CHECK-DAG:  [[BBCF]]:
78 // CHECK-DAG:  [[UBV1:%.+]] = load i32, i32* [[UB]]
79 // CHECK-DAG:  br label %[[BBCE]]
80 // CHECK:  [[BBCE]]:
81 // CHECK:  [[SELUB:%.+]] = phi i32 [ 4571423, %[[BBCT]] ], [ [[UBV1]], %[[BBCF]] ]
82 // CHECK:  store i32 [[SELUB]], i32* [[UB]]
83 // CHECK:  [[LBV0:%.+]] = load i32, i32* [[LB]]
84 // CHECK:  store i32 [[LBV0]], i32* [[IV]]
85 // CHECK:  br label %[[BBINNFOR:.+]]
86 // CHECK:  [[BBINNFOR]]:
87 // CHECK:  [[IVVAL0:%.+]] = load i32, i32* [[IV]]
88 // CHECK:  [[UBV2:%.+]] = load i32, i32* [[UB]]
89 // CHECK:  [[IVLEUB:%.+]] = icmp sle i32 [[IVVAL0]], [[UBV2]]
90 // CHECK:  br i1 [[IVLEUB]], label %[[BBINNBODY:.+]], label %[[BBINNEND:.+]]
91 // CHECK:  [[BBINNBODY]]:
92 // CHECK:  {{.+}} = load i32, i32* [[IV]]
93 // ... loop body ...
94 // CHECK:  br label %[[BBBODYCONT:.+]]
95 // CHECK:  [[BBBODYCONT]]:
96 // CHECK:  br label %[[BBINNINC:.+]]
97 // CHECK:  [[BBINNINC]]:
98 // CHECK:  [[IVVAL1:%.+]] = load i32, i32* [[IV]]
99 // CHECK:  [[IVINC:%.+]] = add nsw i32 [[IVVAL1]], 1
100 // CHECK:  store i32 [[IVINC]], i32* [[IV]]
101 // CHECK:  br label %[[BBINNFOR]]
102 // CHECK:  [[BBINNEND]]:
103 // CHECK:  br label %[[LPEXIT:.+]]
104 // CHECK:  [[LPEXIT]]:
105 // CHECK:  call void @__kmpc_for_static_fini(%struct.ident_t* [[DEF_LOC_DISTRIBUTE_0]], i32 [[GBL_TIDV]])
106 // CHECK:  ret void
107 
108 
109 // CHECK-LABEL: define {{.*void}} @{{.*}}static_not_chunked{{.*}}(float* {{.+}}, float* {{.+}}, float* {{.+}}, float* {{.+}})
110 void static_not_chunked(float *a, float *b, float *c, float *d) {
111   #pragma omp target
112   #pragma omp teams
113   #pragma omp distribute simd dist_schedule(static) safelen(32)
114   for (int i = 32000000; i > 33; i += -7) {
115         a[i] = b[i] * c[i] * d[i];
116   }
117 }
118 
119 // CHECK: define {{.*}}void @.omp_outlined.{{.*}}(i32* noalias [[GBL_TIDP:%.+]], i32* noalias [[BND_TID:%.+]], float** dereferenceable({{[0-9]+}}) [[APTR:%.+]], float** dereferenceable({{[0-9]+}}) [[BPTR:%.+]], float** dereferenceable({{[0-9]+}}) [[CPTR:%.+]], float** dereferenceable({{[0-9]+}}) [[DPTR:%.+]])
120 // CHECK:  [[TID_ADDR:%.+]] = alloca i32*
121 // CHECK:  [[IV:%.+iv]] = alloca i32
122 // CHECK:  [[LB:%.+lb]] = alloca i32
123 // CHECK:  [[UB:%.+ub]] = alloca i32
124 // CHECK:  [[ST:%.+stride]] = alloca i32
125 // CHECK:  [[LAST:%.+last]] = alloca i32
126 // CHECK-DAG:  store i32* [[GBL_TIDP]], i32** [[TID_ADDR]]
127 // CHECK-DAG:  store i32 0, i32* [[LB]]
128 // CHECK-DAG:  store i32 4571423, i32* [[UB]]
129 // CHECK-DAG:  store i32 1, i32* [[ST]]
130 // CHECK-DAG:  store i32 0, i32* [[LAST]]
131 // CHECK-DAG:  [[GBL_TID:%.+]] = load i32*, i32** [[TID_ADDR]]
132 // CHECK-DAG:  [[GBL_TIDV:%.+]] = load i32, i32* [[GBL_TID]]
133 // CHECK:  call void @__kmpc_for_static_init_{{.+}}(%struct.ident_t* [[DEF_LOC_DISTRIBUTE_0]], i32 [[GBL_TIDV]], i32 92, i32* %.omp.is_last, i32* %.omp.lb, i32* %.omp.ub, i32* %.omp.stride, i32 1, i32 1)
134 // CHECK-DAG:  [[UBV0:%.+]] = load i32, i32* [[UB]]
135 // CHECK-DAG:  [[USWITCH:%.+]] = icmp sgt i32 [[UBV0]], 4571423
136 // CHECK:  br i1 [[USWITCH]], label %[[BBCT:.+]], label %[[BBCF:.+]]
137 // CHECK-DAG:  [[BBCT]]:
138 // CHECK-DAG:  br label %[[BBCE:.+]]
139 // CHECK-DAG:  [[BBCF]]:
140 // CHECK-DAG:  [[UBV1:%.+]] = load i32, i32* [[UB]]
141 // CHECK-DAG:  br label %[[BBCE]]
142 // CHECK:  [[BBCE]]:
143 // CHECK:  [[SELUB:%.+]] = phi i32 [ 4571423, %[[BBCT]] ], [ [[UBV1]], %[[BBCF]] ]
144 // CHECK:  store i32 [[SELUB]], i32* [[UB]]
145 // CHECK:  [[LBV0:%.+]] = load i32, i32* [[LB]]
146 // CHECK:  store i32 [[LBV0]], i32* [[IV]]
147 // CHECK:  br label %[[BBINNFOR:.+]]
148 // CHECK:  [[BBINNFOR]]:
149 // CHECK:  [[IVVAL0:%.+]] = load i32, i32* [[IV]]
150 // CHECK:  [[UBV2:%.+]] = load i32, i32* [[UB]]
151 // CHECK:  [[IVLEUB:%.+]] = icmp sle i32 [[IVVAL0]], [[UBV2]]
152 // CHECK:  br i1 [[IVLEUB]], label %[[BBINNBODY:.+]], label %[[BBINNEND:.+]]
153 // CHECK:  [[BBINNBODY]]:
154 // CHECK:  {{.+}} = load i32, i32* [[IV]]
155 // ... loop body ...
156 // CHECK:  br label %[[BBBODYCONT:.+]]
157 // CHECK:  [[BBBODYCONT]]:
158 // CHECK:  br label %[[BBINNINC:.+]]
159 // CHECK:  [[BBINNINC]]:
160 // CHECK:  [[IVVAL1:%.+]] = load i32, i32* [[IV]]
161 // CHECK:  [[IVINC:%.+]] = add nsw i32 [[IVVAL1]], 1
162 // CHECK:  store i32 [[IVINC]], i32* [[IV]]
163 // CHECK:  br label %[[BBINNFOR]]
164 // CHECK:  [[BBINNEND]]:
165 // CHECK:  br label %[[LPEXIT:.+]]
166 // CHECK:  [[LPEXIT]]:
167 // CHECK:  call void @__kmpc_for_static_fini(%struct.ident_t* [[DEF_LOC_DISTRIBUTE_0]], i32 [[GBL_TIDV]])
168 // CHECK:  ret void
169 
170 
171 // CHECK-LABEL: define {{.*void}} @{{.*}}static_chunked{{.*}}(float* {{.+}}, float* {{.+}}, float* {{.+}}, float* {{.+}})
172 void static_chunked(float *a, float *b, float *c, float *d) {
173   #pragma omp target
174   #pragma omp teams
175 #pragma omp distribute simd dist_schedule(static, 5)
176   for (unsigned i = 131071; i <= 2147483647; i += 127) {
177     a[i] = b[i] * c[i] * d[i];
178   }
179 }
180 
181 // CHECK: define {{.*}}void @.omp_outlined.{{.*}}(i32* noalias [[GBL_TIDP:%.+]], i32* noalias [[BND_TID:%.+]], float** dereferenceable({{[0-9]+}}) [[APTR:%.+]], float** dereferenceable({{[0-9]+}}) [[BPTR:%.+]], float** dereferenceable({{[0-9]+}}) [[CPTR:%.+]], float** dereferenceable({{[0-9]+}}) [[DPTR:%.+]])
182 // CHECK:  [[TID_ADDR:%.+]] = alloca i32*
183 // CHECK:  [[IV:%.+iv]] = alloca i32
184 // CHECK:  [[LB:%.+lb]] = alloca i32
185 // CHECK:  [[UB:%.+ub]] = alloca i32
186 // CHECK:  [[ST:%.+stride]] = alloca i32
187 // CHECK:  [[LAST:%.+last]] = alloca i32
188 // CHECK-DAG:  store i32* [[GBL_TIDP]], i32** [[TID_ADDR]]
189 // CHECK-DAG:  store i32 0, i32* [[LB]]
190 // CHECK-DAG:  store i32 16908288, i32* [[UB]]
191 // CHECK-DAG:  store i32 1, i32* [[ST]]
192 // CHECK-DAG:  store i32 0, i32* [[LAST]]
193 // CHECK-DAG:  [[GBL_TID:%.+]] = load i32*, i32** [[TID_ADDR]]
194 // CHECK-DAG:  [[GBL_TIDV:%.+]] = load i32, i32* [[GBL_TID]]
195 // CHECK:  call void @__kmpc_for_static_init_{{.+}}(%struct.ident_t* [[DEF_LOC_DISTRIBUTE_0]], i32 [[GBL_TIDV]], i32 91, i32* %.omp.is_last, i32* %.omp.lb, i32* %.omp.ub, i32* %.omp.stride, i32 1, i32 5)
196 // CHECK-DAG:  [[UBV0:%.+]] = load i32, i32* [[UB]]
197 // CHECK-DAG:  [[USWITCH:%.+]] = icmp ugt i32 [[UBV0]], 16908288
198 // CHECK:  br i1 [[USWITCH]], label %[[BBCT:.+]], label %[[BBCF:.+]]
199 // CHECK-DAG:  [[BBCT]]:
200 // CHECK-DAG:  br label %[[BBCE:.+]]
201 // CHECK-DAG:  [[BBCF]]:
202 // CHECK-DAG:  [[UBV1:%.+]] = load i32, i32* [[UB]]
203 // CHECK-DAG:  br label %[[BBCE]]
204 // CHECK:  [[BBCE]]:
205 // CHECK:  [[SELUB:%.+]] = phi i32 [ 16908288, %[[BBCT]] ], [ [[UBV1]], %[[BBCF]] ]
206 // CHECK:  store i32 [[SELUB]], i32* [[UB]]
207 // CHECK:  [[LBV0:%.+]] = load i32, i32* [[LB]]
208 // CHECK:  store i32 [[LBV0]], i32* [[IV]]
209 // CHECK:  br label %[[BBINNFOR:.+]]
210 // CHECK:  [[BBINNFOR]]:
211 // CHECK:  [[IVVAL0:%.+]] = load i32, i32* [[IV]]
212 // CHECK:  [[UBV2:%.+]] = load i32, i32* [[UB]]
213 // CHECK:  [[IVLEUB:%.+]] = icmp ule i32 [[IVVAL0]], [[UBV2]]
214 // CHECK:  br i1 [[IVLEUB]], label %[[BBINNBODY:.+]], label %[[BBINNEND:.+]]
215 // CHECK:  [[BBINNBODY]]:
216 // CHECK:  {{.+}} = load i32, i32* [[IV]]
217 // ... loop body ...
218 // CHECK:  br label %[[BBBODYCONT:.+]]
219 // CHECK:  [[BBBODYCONT]]:
220 // CHECK:  br label %[[BBINNINC:.+]]
221 // CHECK:  [[BBINNINC]]:
222 // CHECK:  [[IVVAL1:%.+]] = load i32, i32* [[IV]]
223 // CHECK:  [[IVINC:%.+]] = add i32 [[IVVAL1]], 1
224 // CHECK:  store i32 [[IVINC]], i32* [[IV]]
225 // CHECK:  br label %[[BBINNFOR]]
226 // CHECK:  [[BBINNEND]]:
227 // CHECK:  br label %[[LPEXIT:.+]]
228 // CHECK:  [[LPEXIT]]:
229 // CHECK:  call void @__kmpc_for_static_fini(%struct.ident_t* [[DEF_LOC_DISTRIBUTE_0]], i32 [[GBL_TIDV]])
230 // CHECK:  ret void
231 
232 // CHECK-LABEL: test_precond
233 void test_precond() {
234   char a = 0; char i;
235   #pragma omp target
236   #pragma omp teams
237   #pragma omp distribute simd linear(i)
238   for(i = a; i < 10; ++i);
239 }
240 
241 // a is passed as a parameter to the outlined functions
242 // CHECK:  define {{.*}}void @.omp_outlined.{{.*}}(i32* noalias [[GBL_TIDP:%.+]], i32* noalias [[BND_TID:%.+]], i8* dereferenceable({{[0-9]+}}) [[APARM:%.+]])
243 // CHECK:  store i8* [[APARM]], i8** [[APTRADDR:%.+]]
244 // ..many loads of %0..
245 // CHECK:  [[A2:%.+]] = load i8*, i8** [[APTRADDR]]
246 // CHECK:  [[AVAL0:%.+]] = load i8, i8* [[A2]]
247 // CHECK:  store i8 [[AVAL0]], i8* [[CAP_EXPR:%.+]],
248 // CHECK:  [[AVAL1:%.+]] = load i8, i8* [[CAP_EXPR]]
249 // CHECK:  load i8, i8* [[CAP_EXPR]]
250 // CHECK:  [[AVAL2:%.+]] = load i8, i8* [[CAP_EXPR]]
251 // CHECK:  [[ACONV:%.+]] = sext i8 [[AVAL2]] to i32
252 // CHECK:  [[ACMP:%.+]] = icmp slt i32 [[ACONV]], 10
253 // CHECK:  br i1 [[ACMP]], label %[[PRECOND_THEN:.+]], label %[[PRECOND_END:.+]]
254 // CHECK:  [[PRECOND_THEN]]
255 // CHECK:  call void @__kmpc_for_static_init_4
256 // CHECK:  call void @__kmpc_for_static_fini
257 // CHECK:  [[PRECOND_END]]
258 
259 // no templates for now, as these require special handling in target regions and/or declare target
260 
261 // HCHECK-LABEL: fint
262 // HCHECK: call {{.*}}i32 {{.+}}ftemplate
263 // HCHECK: ret i32
264 
265 // HCHECK: load i16, i16*
266 // HCHECK: store i16 %
267 // HCHECK: call i32 @__tgt_target_teams(
268 // HCHECK: call void @__kmpc_for_static_init_4(
269 template <typename T>
270 T ftemplate() {
271   short aa = 0;
272 
273 #pragma omp target
274 #pragma omp teams
275 #pragma omp distribute simd dist_schedule(static, aa)
276   for (int i = 0; i < 100; i++) {
277   }
278   return T();
279 }
280 
281 int fint(void) { return ftemplate<int>(); }
282 
283 #endif
284 
285 // CHECK: !{!"llvm.loop.vectorize.width", i32 8}
286 // CHECK: !{!"llvm.loop.vectorize.enable", i1 true}
287 // CHECK: !{!"llvm.loop.vectorize.width", i32 32}
288