blob: 55e24c03ffcc6e108eb7f8cca84e4dcf76fcdf9f [file] [log] [blame]
Alexey Bataev617db5f2017-12-04 15:38:33 +00001// 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
Alexey Bataeva8a9153a2017-12-29 18:07:07 +00009// 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
Alexey Bataev617db5f2017-12-04 15:38:33 +000017// 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
Alexey Bataeva8a9153a2017-12-29 18:07:07 +000027// 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
Alexey Bataev617db5f2017-12-04 15:38:33 +000037// expected-no-diagnostics
38#ifndef HEADER
39#define HEADER
40
Alexey Bataeva4fa0b82018-04-16 17:59:34 +000041// CHECK-DAG: %struct.ident_t = type { i32, i32, i32, i32, i8* }
Alexey Bataev617db5f2017-12-04 15:38:33 +000042// CHECK-DAG: [[STR:@.+]] = private unnamed_addr constant [23 x i8] c";unknown;unknown;0;0;;\00"
Mike Ricee1ca7b62018-08-29 15:45:11 +000043// 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) }
Alexey Bataev617db5f2017-12-04 15:38:33 +000045
46// CHECK-LABEL: define {{.*void}} @{{.*}}without_schedule_clause{{.*}}(float* {{.+}}, float* {{.+}}, float* {{.+}}, float* {{.+}})
47void 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]]
Alexey Bataeva4fa0b82018-04-16 17:59:34 +000071// 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)
Alexey Bataev617db5f2017-12-04 15:38:33 +000072// 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]]:
Alexey Bataeva4fa0b82018-04-16 17:59:34 +0000105// CHECK: call void @__kmpc_for_static_fini(%struct.ident_t* [[DEF_LOC_DISTRIBUTE_0]], i32 [[GBL_TIDV]])
Alexey Bataev617db5f2017-12-04 15:38:33 +0000106// CHECK: ret void
107
108
109// CHECK-LABEL: define {{.*void}} @{{.*}}static_not_chunked{{.*}}(float* {{.+}}, float* {{.+}}, float* {{.+}}, float* {{.+}})
110void 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]]
Alexey Bataeva4fa0b82018-04-16 17:59:34 +0000133// 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)
Alexey Bataev617db5f2017-12-04 15:38:33 +0000134// 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]]:
Alexey Bataeva4fa0b82018-04-16 17:59:34 +0000167// CHECK: call void @__kmpc_for_static_fini(%struct.ident_t* [[DEF_LOC_DISTRIBUTE_0]], i32 [[GBL_TIDV]])
Alexey Bataev617db5f2017-12-04 15:38:33 +0000168// CHECK: ret void
169
170
171// CHECK-LABEL: define {{.*void}} @{{.*}}static_chunked{{.*}}(float* {{.+}}, float* {{.+}}, float* {{.+}}, float* {{.+}})
172void 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]]
Alexey Bataeva4fa0b82018-04-16 17:59:34 +0000195// 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)
Alexey Bataev617db5f2017-12-04 15:38:33 +0000196// 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]]:
Alexey Bataeva4fa0b82018-04-16 17:59:34 +0000229// CHECK: call void @__kmpc_for_static_fini(%struct.ident_t* [[DEF_LOC_DISTRIBUTE_0]], i32 [[GBL_TIDV]])
Alexey Bataev617db5f2017-12-04 15:38:33 +0000230// CHECK: ret void
231
232// CHECK-LABEL: test_precond
233void 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(
269template <typename T>
270T 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
281int 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}