test/OpenMP/parallel_sections_codegen.cpp

   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:      [[GTID_REF:%.+]] = load i32*, i32** [[GTID_REF_ADDR]],
  32 // CHECK:      [[GTID:%.+]] = load i32, i32* [[GTID_REF]],
  33 // 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 // <<UB = min(UB, GlobalUB);>>
  35 // CHECK:      [[UB:%.+]] = load i32, i32* [[UB_PTR]]
  36 // CHECK:      [[CMP:%.+]] = icmp slt i32 [[UB]], 1
  37 // CHECK:      [[MIN_UB_GLOBALUB:%.+]] = select i1 [[CMP]], i32 [[UB]], i32 1
  38 // CHECK:      store i32 [[MIN_UB_GLOBALUB]], i32* [[UB_PTR]]
  39 // <<IV = LB;>>
  40 // CHECK:      [[LB:%.+]] = load i32, i32* [[LB_PTR]]
  41 // CHECK:      store i32 [[LB]], i32* [[IV_PTR:%.+]]
  42 // CHECK:      br label %[[INNER_FOR_COND:.+]]
  43 // CHECK:      [[INNER_FOR_COND]]
  44 // <<IV <= UB?>>
  45 // CHECK:      [[IV:%.+]] = load i32, i32* [[IV_PTR]]
  46 // CHECK:      [[UB:%.+]] = load i32, i32* [[UB_PTR]]
  47 // CHECK:      [[CMP:%.+]] = icmp sle i32 [[IV]], [[UB]]
  48 // CHECK:      br i1 [[CMP]], label %[[INNER_LOOP_BODY:.+]], label %[[INNER_LOOP_END:.+]]
  49 // CHECK:      [[INNER_LOOP_BODY]]
  50 // <<TRUE>> - > <BODY>
  51 // CHECK:      [[IV:%.+]] = load i32, i32* [[IV_PTR]]
  52 // CHECK:      switch i32 [[IV]], label %[[SECTIONS_EXIT:.+]] [
  53 // CHECK-NEXT: i32 0, label %[[SECTIONS_CASE0:.+]]
  54 // CHECK-NEXT: i32 1, label %[[SECTIONS_CASE1:.+]]
  55 #pragma omp section
  56 // CHECK:      [[SECTIONS_CASE0]]
  57 // CHECK-NEXT: invoke void @{{.*}}foo{{.*}}()
  58 // CHECK:      br label %[[SECTIONS_EXIT]]
  59     foo();
  60 #pragma omp section
  61 // CHECK:      [[SECTIONS_CASE1]]
  62 // CHECK-NEXT: invoke void @{{.*}}bar{{.*}}()
  63 // CHECK:      br label %[[SECTIONS_EXIT]]
  64     bar();
  65 // CHECK:      [[SECTIONS_EXIT]]
  66 // <<++IV;>>
  67 // CHECK:      [[IV:%.+]] = load i32, i32* [[IV_PTR]]
  68 // CHECK-NEXT: [[INC:%.+]] = add nsw i32 [[IV]], 1
  69 // CHECK-NEXT: store i32 [[INC]], i32* [[IV_PTR]]
  70 // CHECK-NEXT: br label %[[INNER_FOR_COND]]
  71 // CHECK:      [[INNER_LOOP_END]]
  72   }
  73 // CHECK:      call void @__kmpc_for_static_fini(%{{.+}}* @{{.+}}, i32 [[GTID]])
  74   return tmain<int>();
  75 }
  76
  77 // CHECK-LABEL: tmain
  78 // CHECK:       call void {{.*}} @__kmpc_fork_call(
  79 // CHECK-NOT:   __kmpc_global_thread_num
  80 // CHECK:       call void @__kmpc_for_static_init_4(
  81 // CHECK:       invoke void @{{.*}}foo{{.*}}()
  82 // CHECK-NEXT:  unwind label %[[TERM_LPAD:.+]]
  83 // CHECK:       call void @__kmpc_for_static_fini(
  84 // CHECK-NEXT:  ret
  85 // CHECK:       [[TERM_LPAD]]
  86 // CHECK:       call void @__clang_call_terminate(i8*
  87 // CHECK-NEXT:  unreachable
  88
  89 #endif