Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 87d948ecccffea9e9e37d0d053b246e2d6d6c47b / . / test / OpenMP / parallel_if_codegen.cpp
blob: 9ecf57211f85376a4b3ba1e89b372016f89df1b0 [file] [log] [blame]
Pirama Arumuga Nainarb6d69932015-07-01 12:25:36 -0700[diff] [blame]1// RUN: %clang_cc1 -verify -fopenmp -x c++ -triple %itanium_abi_triple -emit-llvm %s -o - | FileCheck %s
2// RUN: %clang_cc1 -fopenmp -x c++ -std=c++11 -triple %itanium_abi_triple -emit-pch -o %t %s
3// RUN: %clang_cc1 -fopenmp -x c++ -triple %itanium_abi_triple -std=c++11 -include-pch %t -verify %s -emit-llvm -o - | FileCheck --check-prefix=CHECK %s
Stephen Hines176edba2014-12-01 14:53:08 -0800[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
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800[diff] [blame^]17// CHECK-LABEL: define {{.*}}void @{{.+}}gtid_test
Stephen Hines176edba2014-12-01 14:53:08 -0800[diff] [blame]18void gtid_test() {
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800[diff] [blame^]19// CHECK: call {{.*}}void {{.+}} @__kmpc_fork_call(%{{.+}}* @{{.+}}, i{{.+}} 0, {{.+}}* [[GTID_TEST_REGION1:@.+]] to void
Stephen Hines176edba2014-12-01 14:53:08 -0800[diff] [blame]20#pragma omp parallel
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800[diff] [blame^]21#pragma omp parallel if (parallel: false)
Stephen Hines176edba2014-12-01 14:53:08 -0800[diff] [blame]22 gtid_test();
23// CHECK: ret void
24}
25
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800[diff] [blame^]26// CHECK: define internal {{.*}}void [[GTID_TEST_REGION1]](i{{.+}}* noalias [[GTID_PARAM:%.+]], i32* noalias
Stephen Hines176edba2014-12-01 14:53:08 -0800[diff] [blame]27// CHECK: store i{{[0-9]+}}* [[GTID_PARAM]], i{{[0-9]+}}** [[GTID_ADDR_REF:%.+]],
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -0700[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]]
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800[diff] [blame^]30// CHECK: call {{.*}}void @__kmpc_serialized_parallel(%{{.+}}* @{{.+}}, i{{.+}} [[GTID]])
Pirama Arumuga Nainar3ea9e332015-04-08 08:57:32 -0700[diff] [blame]31// CHECK: [[GTID_ADDR:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[GTID_ADDR_REF]]
Stephen Hines176edba2014-12-01 14:53:08 -0800[diff] [blame]32// CHECK: call void [[GTID_TEST_REGION2:@.+]](i{{[0-9]+}}* [[GTID_ADDR]]
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800[diff] [blame^]33// CHECK: call {{.*}}void @__kmpc_end_serialized_parallel(%{{.+}}* @{{.+}}, i{{.+}} [[GTID]])
Stephen Hines176edba2014-12-01 14:53:08 -0800[diff] [blame]34// CHECK: ret void
35
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800[diff] [blame^]36// CHECK: define internal {{.*}}void [[GTID_TEST_REGION2]](
37// CHECK: call {{.*}}void @{{.+}}gtid_test
Stephen Hines176edba2014-12-01 14:53:08 -0800[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();
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800[diff] [blame^]46#pragma omp parallel if (parallel: Arg)
Stephen Hines176edba2014-12-01 14:53:08 -0800[diff] [blame]47 fn3();
48 return 0;
49}
50
51// CHECK-LABEL: define {{.*}}i{{[0-9]+}} @main()
52int main() {
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800[diff] [blame^]53// CHECK: [[GTID:%.+]] = call {{.*}}i32 @__kmpc_global_thread_num(
54// CHECK: call {{.*}}void {{.+}} @__kmpc_fork_call(%{{.+}}* @{{.+}}, i{{.+}} 0, void {{.+}}* [[CAP_FN4:@.+]] to void
Stephen Hines176edba2014-12-01 14:53:08 -0800[diff] [blame]55#pragma omp parallel if (true)
56 fn4();
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800[diff] [blame^]57// CHECK: call {{.*}}void @__kmpc_serialized_parallel(%{{.+}}* @{{.+}}, i32 [[GTID]])
Stephen Hines176edba2014-12-01 14:53:08 -0800[diff] [blame]58// CHECK: store i32 [[GTID]], i32* [[GTID_ADDR:%.+]],
59// CHECK: call void [[CAP_FN5:@.+]](i32* [[GTID_ADDR]],
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800[diff] [blame^]60// CHECK: call {{.*}}void @__kmpc_end_serialized_parallel(%{{.+}}* @{{.+}}, i32 [[GTID]])
Stephen Hines176edba2014-12-01 14:53:08 -0800[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]]
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800[diff] [blame^]66// CHECK: call {{.*}}void {{.+}} @__kmpc_fork_call(%{{.+}}* @{{.+}}, i{{.+}} 0, void {{.+}}* [[CAP_FN6:@.+]] to void
Stephen Hines176edba2014-12-01 14:53:08 -0800[diff] [blame]67// CHECK: br label %[[OMP_END:.+]]
68// CHECK: [[OMP_ELSE]]
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800[diff] [blame^]69// CHECK: call {{.*}}void @__kmpc_serialized_parallel(%{{.+}}* @{{.+}}, i32 [[GTID]])
Stephen Hines176edba2014-12-01 14:53:08 -0800[diff] [blame]70// CHECK: store i32 [[GTID]], i32* [[GTID_ADDR:%.+]],
71// CHECK: call void [[CAP_FN6]](i32* [[GTID_ADDR]],
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800[diff] [blame^]72// CHECK: call {{.*}}void @__kmpc_end_serialized_parallel(%{{.+}}* @{{.+}}, i32 [[GTID]])
Stephen Hines176edba2014-12-01 14:53:08 -0800[diff] [blame]73// CHECK: br label %[[OMP_END]]
74// CHECK: [[OMP_END]]
75#pragma omp parallel if (Arg)
76 fn6();
77 // CHECK: = call {{.*}}i{{.+}} @{{.+}}tmain
78 return tmain(Arg);
79}
80
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800[diff] [blame^]81// CHECK: define internal {{.*}}void [[CAP_FN4]]
82// CHECK: call {{.*}}void @{{.+}}fn4
Stephen Hines176edba2014-12-01 14:53:08 -0800[diff] [blame]83// CHECK: ret void
84
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800[diff] [blame^]85// CHECK: define internal {{.*}}void [[CAP_FN5]]
86// CHECK: call {{.*}}void @{{.+}}fn5
Stephen Hines176edba2014-12-01 14:53:08 -0800[diff] [blame]87// CHECK: ret void
88
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800[diff] [blame^]89// CHECK: define internal {{.*}}void [[CAP_FN6]]
90// CHECK: call {{.*}}void @{{.+}}fn6
Stephen Hines176edba2014-12-01 14:53:08 -0800[diff] [blame]91// CHECK: ret void
92
93// CHECK-LABEL: define {{.+}} @{{.+}}tmain
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800[diff] [blame^]94// CHECK: [[GTID:%.+]] = call {{.*}}i32 @__kmpc_global_thread_num(
95// CHECK: call {{.*}}void {{.+}} @__kmpc_fork_call(%{{.+}}* @{{.+}}, i{{.+}} 0, void {{.+}}* [[CAP_FN1:@.+]] to void
96// CHECK: call {{.*}}void @__kmpc_serialized_parallel(%{{.+}}* @{{.+}}, i32 [[GTID]])
Stephen Hines176edba2014-12-01 14:53:08 -0800[diff] [blame]97// CHECK: store i32 [[GTID]], i32* [[GTID_ADDR:%.+]],
98// CHECK: call void [[CAP_FN2:@.+]](i32* [[GTID_ADDR]],
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800[diff] [blame^]99// CHECK: call {{.*}}void @__kmpc_end_serialized_parallel(%{{.+}}* @{{.+}}, i32 [[GTID]])
Stephen Hines176edba2014-12-01 14:53:08 -0800[diff] [blame]100// CHECK: br i1 %{{.+}}, label %[[OMP_THEN:.+]], label %[[OMP_ELSE:.+]]
101// CHECK: [[OMP_THEN]]
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800[diff] [blame^]102// CHECK: call {{.*}}void {{.+}} @__kmpc_fork_call(%{{.+}}* @{{.+}}, i{{.+}} 0, void {{.+}}* [[CAP_FN3:@.+]] to void
Stephen Hines176edba2014-12-01 14:53:08 -0800[diff] [blame]103// CHECK: br label %[[OMP_END:.+]]
104// CHECK: [[OMP_ELSE]]
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800[diff] [blame^]105// CHECK: call {{.*}}void @__kmpc_serialized_parallel(%{{.+}}* @{{.+}}, i32 [[GTID]])
Stephen Hines176edba2014-12-01 14:53:08 -0800[diff] [blame]106// CHECK: store i32 [[GTID]], i32* [[GTID_ADDR:%.+]],
107// CHECK: call void [[CAP_FN3]](i32* [[GTID_ADDR]],
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800[diff] [blame^]108// CHECK: call {{.*}}void @__kmpc_end_serialized_parallel(%{{.+}}* @{{.+}}, i32 [[GTID]])
Stephen Hines176edba2014-12-01 14:53:08 -0800[diff] [blame]109// CHECK: br label %[[OMP_END]]
110// CHECK: [[OMP_END]]
111
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800[diff] [blame^]112// CHECK: define internal {{.*}}void [[CAP_FN1]]
113// CHECK: call {{.*}}void @{{.+}}fn1
Stephen Hines176edba2014-12-01 14:53:08 -0800[diff] [blame]114// CHECK: ret void
115
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800[diff] [blame^]116// CHECK: define internal {{.*}}void [[CAP_FN2]]
117// CHECK: call {{.*}}void @{{.+}}fn2
Stephen Hines176edba2014-12-01 14:53:08 -0800[diff] [blame]118// CHECK: ret void
119
Pirama Arumuga Nainar87d948e2016-03-03 15:49:35 -0800[diff] [blame^]120// CHECK: define internal {{.*}}void [[CAP_FN3]]
121// CHECK: call {{.*}}void @{{.+}}fn3
Stephen Hines176edba2014-12-01 14:53:08 -0800[diff] [blame]122// CHECK: ret void
123
124#endif