Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / a16b27cfdaadf4ff6f6acc2fc277b171c228cf11 / . / clang / test / OpenMP / parallel_if_codegen.cpp
blob: 87dcf1dde943c70e05d4e70c8bbf3d59c584f34d [file] [log] [blame]
Alexey Bataev2a6de8c2016-12-20 12:10:05 +0000[diff] [blame]1// RUN: %clang_cc1 -verify -fopenmp -fopenmp-version=45 -x c++ -triple %itanium_abi_triple -emit-llvm %s -o - | FileCheck %s
2// RUN: %clang_cc1 -fopenmp -fopenmp-version=45 -x c++ -std=c++11 -triple %itanium_abi_triple -emit-pch -o %t %s
Mandeep Singh Granga16b27c2017-07-17 17:31:44 +0000[diff] [blame^]3// RUN: %clang_cc1 -fopenmp -fopenmp-version=45 -x c++ -triple %itanium_abi_triple -std=c++11 -include-pch %t -verify %s -emit-llvm -o - | FileCheck %s
Alexey Bataevd74d0602014-10-13 06:02:40 +0000[diff] [blame]4// expected-no-diagnostics
5#ifndef HEADER
6#define HEADER
7
8void fn1();
9void fn2();
10void fn3();
11void fn4();
12void fn5();
13void fn6();
14
15int Arg;
16
David Blaikieea3e51d2015-06-29 17:29:50 +0000[diff] [blame]17// CHECK-LABEL: define {{.*}}void @{{.+}}gtid_test
Alexey Bataevd74d0602014-10-13 06:02:40 +0000[diff] [blame]18void gtid_test() {
Alexey Bataev2377fe92015-09-10 08:12:02 +0000[diff] [blame]19// CHECK: call {{.*}}void {{.+}} @__kmpc_fork_call(%{{.+}}* @{{.+}}, i{{.+}} 0, {{.+}}* [[GTID_TEST_REGION1:@.+]] to void
Alexey Bataevd74d0602014-10-13 06:02:40 +0000[diff] [blame]20#pragma omp parallel
Alexey Bataev7371aa32015-09-03 08:45:56 +0000[diff] [blame]21#pragma omp parallel if (parallel: false)
Alexey Bataevd74d0602014-10-13 06:02:40 +0000[diff] [blame]22 gtid_test();
23// CHECK: ret void
24}
25
Alexey Bataev2377fe92015-09-10 08:12:02 +0000[diff] [blame]26// CHECK: define internal {{.*}}void [[GTID_TEST_REGION1]](i{{.+}}* noalias [[GTID_PARAM:%.+]], i32* noalias
Alexey Bataevd74d0602014-10-13 06:02:40 +0000[diff] [blame]27// CHECK: store i{{[0-9]+}}* [[GTID_PARAM]], i{{[0-9]+}}** [[GTID_ADDR_REF:%.+]],
David Blaikiea953f282015-02-27 21:19:58 +0000[diff] [blame]28// CHECK: [[GTID_ADDR:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[GTID_ADDR_REF]]
29// CHECK: [[GTID:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[GTID_ADDR]]
David Blaikieea3e51d2015-06-29 17:29:50 +0000[diff] [blame]30// CHECK: call {{.*}}void @__kmpc_serialized_parallel(%{{.+}}* @{{.+}}, i{{.+}} [[GTID]])
David Blaikiea953f282015-02-27 21:19:58 +0000[diff] [blame]31// CHECK: [[GTID_ADDR:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[GTID_ADDR_REF]]
Alexey Bataevd74d0602014-10-13 06:02:40 +0000[diff] [blame]32// CHECK: call void [[GTID_TEST_REGION2:@.+]](i{{[0-9]+}}* [[GTID_ADDR]]
David Blaikieea3e51d2015-06-29 17:29:50 +0000[diff] [blame]33// CHECK: call {{.*}}void @__kmpc_end_serialized_parallel(%{{.+}}* @{{.+}}, i{{.+}} [[GTID]])
Alexey Bataevd74d0602014-10-13 06:02:40 +0000[diff] [blame]34// CHECK: ret void
35
David Blaikieea3e51d2015-06-29 17:29:50 +0000[diff] [blame]36// CHECK: define internal {{.*}}void [[GTID_TEST_REGION2]](
37// CHECK: call {{.*}}void @{{.+}}gtid_test
Alexey Bataevd74d0602014-10-13 06:02:40 +0000[diff] [blame]38// CHECK: ret void
39
40template <typename T>
41int tmain(T Arg) {
42#pragma omp parallel if (true)
43 fn1();
44#pragma omp parallel if (false)
45 fn2();
Alexey Bataev7371aa32015-09-03 08:45:56 +0000[diff] [blame]46#pragma omp parallel if (parallel: Arg)
Alexey Bataevd74d0602014-10-13 06:02:40 +0000[diff] [blame]47 fn3();
48 return 0;
49}
50
51// CHECK-LABEL: define {{.*}}i{{[0-9]+}} @main()
52int main() {
David Blaikieea3e51d2015-06-29 17:29:50 +0000[diff] [blame]53// CHECK: [[GTID:%.+]] = call {{.*}}i32 @__kmpc_global_thread_num(
Alexey Bataev2377fe92015-09-10 08:12:02 +0000[diff] [blame]54// CHECK: call {{.*}}void {{.+}} @__kmpc_fork_call(%{{.+}}* @{{.+}}, i{{.+}} 0, void {{.+}}* [[CAP_FN4:@.+]] to void
Alexey Bataevd74d0602014-10-13 06:02:40 +0000[diff] [blame]55#pragma omp parallel if (true)
56 fn4();
David Blaikieea3e51d2015-06-29 17:29:50 +0000[diff] [blame]57// CHECK: call {{.*}}void @__kmpc_serialized_parallel(%{{.+}}* @{{.+}}, i32 [[GTID]])
Alexey Bataevd74d0602014-10-13 06:02:40 +0000[diff] [blame]58// CHECK: store i32 [[GTID]], i32* [[GTID_ADDR:%.+]],
59// CHECK: call void [[CAP_FN5:@.+]](i32* [[GTID_ADDR]],
David Blaikieea3e51d2015-06-29 17:29:50 +0000[diff] [blame]60// CHECK: call {{.*}}void @__kmpc_end_serialized_parallel(%{{.+}}* @{{.+}}, i32 [[GTID]])
Alexey Bataevd74d0602014-10-13 06:02:40 +0000[diff] [blame]61#pragma omp parallel if (false)
62 fn5();
63
64// CHECK: br i1 %{{.+}}, label %[[OMP_THEN:.+]], label %[[OMP_ELSE:.+]]
65// CHECK: [[OMP_THEN]]
Alexey Bataev2377fe92015-09-10 08:12:02 +0000[diff] [blame]66// CHECK: call {{.*}}void {{.+}} @__kmpc_fork_call(%{{.+}}* @{{.+}}, i{{.+}} 0, void {{.+}}* [[CAP_FN6:@.+]] to void
Alexey Bataevd74d0602014-10-13 06:02:40 +0000[diff] [blame]67// CHECK: br label %[[OMP_END:.+]]
68// CHECK: [[OMP_ELSE]]
David Blaikieea3e51d2015-06-29 17:29:50 +0000[diff] [blame]69// CHECK: call {{.*}}void @__kmpc_serialized_parallel(%{{.+}}* @{{.+}}, i32 [[GTID]])
Alexey Bataevd74d0602014-10-13 06:02:40 +0000[diff] [blame]70// CHECK: store i32 [[GTID]], i32* [[GTID_ADDR:%.+]],
71// CHECK: call void [[CAP_FN6]](i32* [[GTID_ADDR]],
David Blaikieea3e51d2015-06-29 17:29:50 +0000[diff] [blame]72// CHECK: call {{.*}}void @__kmpc_end_serialized_parallel(%{{.+}}* @{{.+}}, i32 [[GTID]])
Alexey Bataevd74d0602014-10-13 06:02:40 +0000[diff] [blame]73// CHECK: br label %[[OMP_END]]
74// CHECK: [[OMP_END]]
75#pragma omp parallel if (Arg)
76 fn6();
Ulrich Weigand799c3d32014-10-13 13:49:39 +0000[diff] [blame]77 // CHECK: = call {{.*}}i{{.+}} @{{.+}}tmain
Alexey Bataevd74d0602014-10-13 06:02:40 +0000[diff] [blame]78 return tmain(Arg);
79}
80
David Blaikieea3e51d2015-06-29 17:29:50 +0000[diff] [blame]81// CHECK: define internal {{.*}}void [[CAP_FN4]]
82// CHECK: call {{.*}}void @{{.+}}fn4
Alexey Bataevd74d0602014-10-13 06:02:40 +0000[diff] [blame]83// CHECK: ret void
84
David Blaikieea3e51d2015-06-29 17:29:50 +0000[diff] [blame]85// CHECK: define internal {{.*}}void [[CAP_FN5]]
86// CHECK: call {{.*}}void @{{.+}}fn5
Alexey Bataevd74d0602014-10-13 06:02:40 +0000[diff] [blame]87// CHECK: ret void
88
David Blaikieea3e51d2015-06-29 17:29:50 +0000[diff] [blame]89// CHECK: define internal {{.*}}void [[CAP_FN6]]
90// CHECK: call {{.*}}void @{{.+}}fn6
Alexey Bataevd74d0602014-10-13 06:02:40 +0000[diff] [blame]91// CHECK: ret void
92
93// CHECK-LABEL: define {{.+}} @{{.+}}tmain
David Blaikieea3e51d2015-06-29 17:29:50 +0000[diff] [blame]94// CHECK: [[GTID:%.+]] = call {{.*}}i32 @__kmpc_global_thread_num(
Alexey Bataev2377fe92015-09-10 08:12:02 +0000[diff] [blame]95// CHECK: call {{.*}}void {{.+}} @__kmpc_fork_call(%{{.+}}* @{{.+}}, i{{.+}} 0, void {{.+}}* [[CAP_FN1:@.+]] to void
David Blaikieea3e51d2015-06-29 17:29:50 +0000[diff] [blame]96// CHECK: call {{.*}}void @__kmpc_serialized_parallel(%{{.+}}* @{{.+}}, i32 [[GTID]])
Alexey Bataevd74d0602014-10-13 06:02:40 +0000[diff] [blame]97// CHECK: store i32 [[GTID]], i32* [[GTID_ADDR:%.+]],
98// CHECK: call void [[CAP_FN2:@.+]](i32* [[GTID_ADDR]],
David Blaikieea3e51d2015-06-29 17:29:50 +0000[diff] [blame]99// CHECK: call {{.*}}void @__kmpc_end_serialized_parallel(%{{.+}}* @{{.+}}, i32 [[GTID]])
Alexey Bataevd74d0602014-10-13 06:02:40 +0000[diff] [blame]100// CHECK: br i1 %{{.+}}, label %[[OMP_THEN:.+]], label %[[OMP_ELSE:.+]]
101// CHECK: [[OMP_THEN]]
Alexey Bataev2377fe92015-09-10 08:12:02 +0000[diff] [blame]102// CHECK: call {{.*}}void {{.+}} @__kmpc_fork_call(%{{.+}}* @{{.+}}, i{{.+}} 0, void {{.+}}* [[CAP_FN3:@.+]] to void
Alexey Bataevd74d0602014-10-13 06:02:40 +0000[diff] [blame]103// CHECK: br label %[[OMP_END:.+]]
104// CHECK: [[OMP_ELSE]]
David Blaikieea3e51d2015-06-29 17:29:50 +0000[diff] [blame]105// CHECK: call {{.*}}void @__kmpc_serialized_parallel(%{{.+}}* @{{.+}}, i32 [[GTID]])
Alexey Bataevd74d0602014-10-13 06:02:40 +0000[diff] [blame]106// CHECK: store i32 [[GTID]], i32* [[GTID_ADDR:%.+]],
107// CHECK: call void [[CAP_FN3]](i32* [[GTID_ADDR]],
David Blaikieea3e51d2015-06-29 17:29:50 +0000[diff] [blame]108// CHECK: call {{.*}}void @__kmpc_end_serialized_parallel(%{{.+}}* @{{.+}}, i32 [[GTID]])
Alexey Bataevd74d0602014-10-13 06:02:40 +0000[diff] [blame]109// CHECK: br label %[[OMP_END]]
110// CHECK: [[OMP_END]]
111
David Blaikieea3e51d2015-06-29 17:29:50 +0000[diff] [blame]112// CHECK: define internal {{.*}}void [[CAP_FN1]]
113// CHECK: call {{.*}}void @{{.+}}fn1
Alexey Bataevd74d0602014-10-13 06:02:40 +0000[diff] [blame]114// CHECK: ret void
115
David Blaikieea3e51d2015-06-29 17:29:50 +0000[diff] [blame]116// CHECK: define internal {{.*}}void [[CAP_FN2]]
117// CHECK: call {{.*}}void @{{.+}}fn2
Alexey Bataevd74d0602014-10-13 06:02:40 +0000[diff] [blame]118// CHECK: ret void
119
David Blaikieea3e51d2015-06-29 17:29:50 +0000[diff] [blame]120// CHECK: define internal {{.*}}void [[CAP_FN3]]
121// CHECK: call {{.*}}void @{{.+}}fn3
Alexey Bataevd74d0602014-10-13 06:02:40 +0000[diff] [blame]122// CHECK: ret void
123
124#endif