Clang Project

clang_source_code/test/OpenMP/ordered_doacross_codegen.c
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 }
15extern int n;
16int a[10], b[10], c[10], d[10];
17void foo();
18
19// CHECK-LABEL: @main()
20int 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