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