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