1 | // RUN: %clang_cc1 -verify -fopenmp -triple x86_64-unknown-unknown -emit-llvm %s -o - | FileCheck %s |
2 | // RUN: %clang_cc1 -fopenmp -triple x86_64-unknown-unknown -emit-pch -o %t %s |
3 | // RUN: %clang_cc1 -fopenmp -triple x86_64-unknown-unknown -include-pch %t -verify %s -emit-llvm -o - | FileCheck %s |
4 | |
5 | // RUN: %clang_cc1 -verify -fopenmp-simd -triple x86_64-unknown-unknown -emit-llvm %s -o - | FileCheck --check-prefix SIMD-ONLY0 %s |
6 | // RUN: %clang_cc1 -fopenmp-simd -triple x86_64-unknown-unknown -emit-pch -o %t %s |
7 | // RUN: %clang_cc1 -fopenmp-simd -triple x86_64-unknown-unknown -include-pch %t -verify %s -emit-llvm -o - | FileCheck --check-prefix SIMD-ONLY0 %s |
8 | // SIMD-ONLY0-NOT: {{__kmpc|__tgt}} |
9 | // expected-no-diagnostics |
10 | |
11 | #ifndef HEADER |
12 | #define HEADER |
13 | |
14 | // CHECK: [[KMP_DIM:%.+]] = type { i64, i64, i64 } |
15 | extern int n; |
16 | int a[10], b[10], c[10], d[10]; |
17 | void foo(); |
18 | |
19 | // CHECK-LABEL: @main() |
20 | int main() { |
21 | int i; |
22 | // CHECK: [[DIMS:%.+]] = alloca [1 x [[KMP_DIM]]], |
23 | // CHECK: [[GTID:%.+]] = call i32 @__kmpc_global_thread_num([[IDENT:%.+]]) |
24 | // CHECK: icmp |
25 | // CHECK-NEXT: br i1 % |
26 | // CHECK: [[CAST:%.+]] = bitcast [1 x [[KMP_DIM]]]* [[DIMS]] to i8* |
27 | // CHECK: call void @llvm.memset.p0i8.i64(i8* align 8 [[CAST]], i8 0, i64 24, i1 false) |
28 | // CHECK: [[DIM:%.+]] = getelementptr inbounds [1 x [[KMP_DIM]]], [1 x [[KMP_DIM]]]* [[DIMS]], i64 0, i64 0 |
29 | // CHECK: getelementptr inbounds [[KMP_DIM]], [[KMP_DIM]]* [[DIM]], i32 0, i32 1 |
30 | // CHECK: store i64 %{{.+}}, i64* % |
31 | // CHECK: getelementptr inbounds [[KMP_DIM]], [[KMP_DIM]]* [[DIM]], i32 0, i32 2 |
32 | // CHECK: store i64 1, i64* % |
33 | // CHECK: [[DIM:%.+]] = getelementptr inbounds [1 x [[KMP_DIM]]], [1 x [[KMP_DIM]]]* [[DIMS]], i64 0, i64 0 |
34 | // CHECK: [[CAST:%.+]] = bitcast [[KMP_DIM]]* [[DIM]] to i8* |
35 | // CHECK: call void @__kmpc_doacross_init([[IDENT]], i32 [[GTID]], i32 1, i8* [[CAST]]) |
36 | // CHECK: call void @__kmpc_for_static_init_4(%struct.ident_t* @{{.+}}, i32 [[GTID]], i32 33, i32* %{{.+}}, i32* %{{.+}}, i32* %{{.+}}, i32* %{{.+}}, i32 1, i32 1) |
37 | #pragma omp for ordered(1) |
38 | for (i = 0; i < n; ++i) { |
39 | a[i] = b[i] + 1; |
40 | foo(); |
41 | // CHECK: call void [[FOO:.+]]( |
42 | // CHECK: load i32, i32* [[I:%.+]], |
43 | // CHECK-NEXT: sub nsw i32 %{{.+}}, 0 |
44 | // CHECK-NEXT: sdiv i32 %{{.+}}, 1 |
45 | // CHECK-NEXT: sext i32 %{{.+}} to i64 |
46 | // CHECK-NEXT: [[TMP:%.+]] = getelementptr inbounds [1 x i64], [1 x i64]* [[CNT:%.+]], i64 0, i64 0 |
47 | // CHECK-NEXT: store i64 %{{.+}}, i64* [[TMP]], |
48 | // CHECK-NEXT: [[TMP:%.+]] = getelementptr inbounds [1 x i64], [1 x i64]* [[CNT]], i64 0, i64 0 |
49 | // CHECK-NEXT: call void @__kmpc_doacross_post([[IDENT]], i32 [[GTID]], i64* [[TMP]]) |
50 | #pragma omp ordered depend(source) |
51 | c[i] = c[i] + 1; |
52 | foo(); |
53 | // CHECK: call void [[FOO]] |
54 | // CHECK: load i32, i32* [[I]], |
55 | // CHECK-NEXT: sub nsw i32 %{{.+}}, 2 |
56 | // CHECK-NEXT: sub nsw i32 %{{.+}}, 0 |
57 | // CHECK-NEXT: sdiv i32 %{{.+}}, 1 |
58 | // CHECK-NEXT: sext i32 %{{.+}} to i64 |
59 | // CHECK-NEXT: [[TMP:%.+]] = getelementptr inbounds [1 x i64], [1 x i64]* [[CNT:%.+]], i64 0, i64 0 |
60 | // CHECK-NEXT: store i64 %{{.+}}, i64* [[TMP]], |
61 | // CHECK-NEXT: [[TMP:%.+]] = getelementptr inbounds [1 x i64], [1 x i64]* [[CNT]], i64 0, i64 0 |
62 | // CHECK-NEXT: call void @__kmpc_doacross_wait([[IDENT]], i32 [[GTID]], i64* [[TMP]]) |
63 | #pragma omp ordered depend(sink : i - 2) |
64 | d[i] = a[i - 2]; |
65 | } |
66 | // CHECK: call void @__kmpc_for_static_fini( |
67 | // CHECK: call void @__kmpc_doacross_fini([[IDENT]], i32 [[GTID]]) |
68 | // CHECK: ret i32 0 |
69 | return 0; |
70 | } |
71 | #endif // HEADER |
72 | |