1*67e74705SXin Li // RUN: %clang_cc1 -verify -fopenmp -x c++ -emit-llvm -triple x86_64-unknown-unknown -fexceptions -fcxx-exceptions -o - %s | FileCheck %s
2*67e74705SXin Li // RUN: %clang_cc1 -fopenmp -x c++ -std=c++11 -fexceptions -fcxx-exceptions -triple x86_64-unknown-unknown -emit-pch -o %t %s
3*67e74705SXin Li // RUN: %clang_cc1 -fopenmp -x c++ -std=c++11 -include-pch %t -fsyntax-only -verify %s -triple x86_64-unknown-unknown -fexceptions -fcxx-exceptions -emit-llvm -o - | FileCheck %s
4*67e74705SXin Li // expected-no-diagnostics
5*67e74705SXin Li // REQUIRES: x86-registered-target
6*67e74705SXin Li #ifndef HEADER
7*67e74705SXin Li #define HEADER
8*67e74705SXin Li // CHECK: [[IMPLICIT_BARRIER_SECTIONS_LOC:@.+]] = private unnamed_addr constant %{{.+}} { i32 0, i32 194, i32 0, i32 0, i8*
9*67e74705SXin Li // CHECK-LABEL: foo
foo()10*67e74705SXin Li void foo() {};
11*67e74705SXin Li // CHECK-LABEL: bar
bar()12*67e74705SXin Li void bar() {};
13*67e74705SXin Li
14*67e74705SXin Li template <class T>
tmain()15*67e74705SXin Li T tmain() {
16*67e74705SXin Li #pragma omp parallel
17*67e74705SXin Li #pragma omp sections
18*67e74705SXin Li {
19*67e74705SXin Li foo();
20*67e74705SXin Li }
21*67e74705SXin Li return T();
22*67e74705SXin Li }
23*67e74705SXin Li
24*67e74705SXin Li // CHECK-LABEL: @main
main()25*67e74705SXin Li int main() {
26*67e74705SXin Li float l = 0.0; // Used as a base point in checks.
27*67e74705SXin Li // CHECK: [[GTID:%.+]] = call{{.*}} i32 @__kmpc_global_thread_num({{.*}})
28*67e74705SXin Li // CHECK: store float
29*67e74705SXin Li #pragma omp sections
30*67e74705SXin Li {
31*67e74705SXin Li // CHECK: store i32 0, i32* [[LB_PTR:%.+]],
32*67e74705SXin Li // CHECK: store i32 1, i32* [[UB_PTR:%.+]],
33*67e74705SXin Li // CHECK: call void @__kmpc_for_static_init_4(%{{.+}}* @{{.+}}, i32 [[GTID]], i32 34, i32* [[IS_LAST_PTR:%.+]], i32* [[LB_PTR]], i32* [[UB_PTR]], i32* [[STRIDE_PTR:%.+]], i32 1, i32 1)
34*67e74705SXin Li // <<UB = min(UB, GlobalUB);>>
35*67e74705SXin Li // CHECK: [[UB:%.+]] = load i32, i32* [[UB_PTR]]
36*67e74705SXin Li // CHECK: [[CMP:%.+]] = icmp slt i32 [[UB]], 1
37*67e74705SXin Li // CHECK: [[MIN_UB_GLOBALUB:%.+]] = select i1 [[CMP]], i32 [[UB]], i32 1
38*67e74705SXin Li // CHECK: store i32 [[MIN_UB_GLOBALUB]], i32* [[UB_PTR]]
39*67e74705SXin Li // <<IV = LB;>>
40*67e74705SXin Li // CHECK: [[LB:%.+]] = load i32, i32* [[LB_PTR]]
41*67e74705SXin Li // CHECK: store i32 [[LB]], i32* [[IV_PTR:%.+]]
42*67e74705SXin Li // CHECK: br label %[[INNER_FOR_COND:.+]]
43*67e74705SXin Li // CHECK: [[INNER_FOR_COND]]
44*67e74705SXin Li // <<IV <= UB?>>
45*67e74705SXin Li // CHECK: [[IV:%.+]] = load i32, i32* [[IV_PTR]]
46*67e74705SXin Li // CHECK: [[UB:%.+]] = load i32, i32* [[UB_PTR]]
47*67e74705SXin Li // CHECK: [[CMP:%.+]] = icmp sle i32 [[IV]], [[UB]]
48*67e74705SXin Li // CHECK: br i1 [[CMP]], label %[[INNER_LOOP_BODY:.+]], label %[[INNER_LOOP_END:.+]]
49*67e74705SXin Li // CHECK: [[INNER_LOOP_BODY]]
50*67e74705SXin Li // <<TRUE>> - > <BODY>
51*67e74705SXin Li // CHECK: [[IV:%.+]] = load i32, i32* [[IV_PTR]]
52*67e74705SXin Li // CHECK: switch i32 [[IV]], label %[[SECTIONS_EXIT:.+]] [
53*67e74705SXin Li // CHECK-NEXT: i32 0, label %[[SECTIONS_CASE0:.+]]
54*67e74705SXin Li // CHECK-NEXT: i32 1, label %[[SECTIONS_CASE1:.+]]
55*67e74705SXin Li #pragma omp section
56*67e74705SXin Li // CHECK: [[SECTIONS_CASE0]]
57*67e74705SXin Li // CHECK-NEXT: invoke void @{{.*}}foo{{.*}}()
58*67e74705SXin Li // CHECK: br label %[[SECTIONS_EXIT]]
59*67e74705SXin Li foo();
60*67e74705SXin Li #pragma omp section
61*67e74705SXin Li // CHECK: [[SECTIONS_CASE1]]
62*67e74705SXin Li // CHECK-NEXT: invoke void @{{.*}}bar{{.*}}()
63*67e74705SXin Li // CHECK: br label %[[SECTIONS_EXIT]]
64*67e74705SXin Li bar();
65*67e74705SXin Li // CHECK: [[SECTIONS_EXIT]]
66*67e74705SXin Li // <<++IV;>>
67*67e74705SXin Li // CHECK: [[IV:%.+]] = load i32, i32* [[IV_PTR]]
68*67e74705SXin Li // CHECK-NEXT: [[INC:%.+]] = add nsw i32 [[IV]], 1
69*67e74705SXin Li // CHECK-NEXT: store i32 [[INC]], i32* [[IV_PTR]]
70*67e74705SXin Li // CHECK-NEXT: br label %[[INNER_FOR_COND]]
71*67e74705SXin Li // CHECK: [[INNER_LOOP_END]]
72*67e74705SXin Li }
73*67e74705SXin Li // CHECK: call void @__kmpc_for_static_fini(%{{.+}}* @{{.+}}, i32 [[GTID]])
74*67e74705SXin Li // CHECK: call void @__kmpc_barrier(%{{.+}}* [[IMPLICIT_BARRIER_SECTIONS_LOC]],
75*67e74705SXin Li #pragma omp sections nowait
76*67e74705SXin Li {
77*67e74705SXin Li foo();
78*67e74705SXin Li #pragma omp section
79*67e74705SXin Li bar();
80*67e74705SXin Li }
81*67e74705SXin Li // CHECK-NOT: __kmpc_cancel_barrier
82*67e74705SXin Li return tmain<int>();
83*67e74705SXin Li }
84*67e74705SXin Li
85*67e74705SXin Li // CHECK-LABEL: tmain
86*67e74705SXin Li // CHECK: call void {{.*}} @__kmpc_fork_call(
87*67e74705SXin Li // CHECK-NOT: __kmpc_global_thread_num
88*67e74705SXin Li // CHECK: call void @__kmpc_for_static_init_4(
89*67e74705SXin Li // CHECK: invoke void @{{.*}}foo{{.*}}()
90*67e74705SXin Li // CHECK-NEXT: unwind label %[[TERM_LPAD:.+]]
91*67e74705SXin Li // CHECK: call void @__kmpc_for_static_fini(
92*67e74705SXin Li // CHECK: call void @__kmpc_barrier(%{{.+}}* [[IMPLICIT_BARRIER_SECTIONS_LOC]],
93*67e74705SXin Li // CHECK: ret
94*67e74705SXin Li // CHECK: [[TERM_LPAD]]
95*67e74705SXin Li // CHECK: call void @__clang_call_terminate(i8*
96*67e74705SXin Li // CHECK-NEXT: unreachable
97*67e74705SXin Li
98*67e74705SXin Li #endif
99