1 // RUN: %clang_cc1 -verify -fopenmp=libiomp5 -x c++ -triple x86_64-apple-darwin10 -emit-llvm %s -o - | FileCheck %s 2 // RUN: %clang_cc1 -fopenmp=libiomp5 -x c++ -std=c++11 -triple x86_64-apple-darwin10 -emit-pch -o %t %s 3 // RUN: %clang_cc1 -fopenmp=libiomp5 -x c++ -triple x86_64-apple-darwin10 -std=c++11 -include-pch %t -verify %s -emit-llvm -o - | FileCheck --check-prefix=CHECK %s 4 // expected-no-diagnostics 5 #ifndef HEADER 6 #define HEADER 7 8 void fn1(); 9 void fn2(); 10 void fn3(); 11 void fn4(); 12 void fn5(); 13 void fn6(); 14 15 int Arg; 16 17 // CHECK-LABEL: define void @{{.+}}gtid_test 18 void gtid_test() { 19 // CHECK: call void {{.+}} @__kmpc_fork_call(%{{.+}}* @{{.+}}, i{{.+}} 1, {{.+}}* [[GTID_TEST_REGION1:@.+]] to void 20 #pragma omp parallel 21 #pragma omp task if (false) 22 gtid_test(); 23 // CHECK: ret void 24 } 25 26 // CHECK: define internal void [[GTID_TEST_REGION1]](i32* [[GTID_PARAM:%.+]], i 27 // CHECK: store i32* [[GTID_PARAM]], i32** [[GTID_ADDR_REF:%.+]], 28 // CHECK: [[GTID_ADDR:%.+]] = load i32*, i32** [[GTID_ADDR_REF]] 29 // CHECK: [[GTID:%.+]] = load i32, i32* [[GTID_ADDR]] 30 // CHECK: [[ORIG_TASK_PTR:%.+]] = call i8* @__kmpc_omp_task_alloc( 31 // CHECK: [[TASK_PTR:%.+]] = bitcast i8* [[ORIG_TASK_PTR]] to 32 // CHECK: call void @__kmpc_omp_task_begin_if0(%{{.+}}* @{{.+}}, i{{.+}} [[GTID]], i8* [[ORIG_TASK_PTR]]) 33 // CHECK: call i32 [[GTID_TEST_REGION2:@.+]](i32 [[GTID]], %{{.+}}* [[TASK_PTR]]) 34 // CHECK: call void @__kmpc_omp_task_complete_if0(%{{.+}}* @{{.+}}, i{{.+}} [[GTID]], i8* [[ORIG_TASK_PTR]]) 35 // CHECK: ret void 36 37 // CHECK: define internal i32 [[GTID_TEST_REGION2]]( 38 // CHECK: call void @{{.+}}gtid_test 39 // CHECK: ret i32 40 41 template <typename T> 42 int tmain(T Arg) { 43 #pragma omp task if (true) 44 fn1(); 45 #pragma omp task if (false) 46 fn2(); 47 #pragma omp task if (Arg) 48 fn3(); 49 return 0; 50 } 51 52 // CHECK-LABEL: @main 53 int main() { 54 // CHECK: [[GTID:%.+]] = call i32 @__kmpc_global_thread_num( 55 // CHECK: [[ORIG_TASK_PTR:%.+]] = call i8* @__kmpc_omp_task_alloc({{[^,]+}}, i32 [[GTID]], i32 1, i64 32, i64 1, i32 (i32, i8*)* bitcast (i32 (i32, %{{[^*]+}}*)* [[CAP_FN4:[^ ]+]] to i32 (i32, i8*)*)) 56 // CHECK: call i32 @__kmpc_omp_task(%{{.+}}* @{{.+}}, i32 [[GTID]], i8* [[ORIG_TASK_PTR]]) 57 #pragma omp task if (true) 58 fn4(); 59 // CHECK: [[ORIG_TASK_PTR:%.+]] = call i8* @__kmpc_omp_task_alloc( 60 // CHECK: [[TASK_PTR:%.+]] = bitcast i8* [[ORIG_TASK_PTR]] to 61 // CHECK: call void @__kmpc_omp_task_begin_if0(%{{.+}}* @{{.+}}, i{{.+}} [[GTID]], i8* [[ORIG_TASK_PTR]]) 62 // CHECK: call i32 [[CAP_FN5:@.+]](i32 [[GTID]], %{{.+}}* [[TASK_PTR]]) 63 // CHECK: call void @__kmpc_omp_task_complete_if0(%{{.+}}* @{{.+}}, i{{.+}} [[GTID]], i8* [[ORIG_TASK_PTR]]) 64 #pragma omp task if (false) 65 fn5(); 66 67 // CHECK: [[ORIG_TASK_PTR:%.+]] = call i8* @__kmpc_omp_task_alloc({{[^,]+}}, i32 [[GTID]], i32 1, i64 32, i64 1, i32 (i32, i8*)* bitcast (i32 (i32, %{{[^*]+}}*)* [[CAP_FN6:[^ ]+]] to i32 (i32, i8*)*)) 68 // CHECK: [[TASK_PTR:%.+]] = bitcast i8* [[ORIG_TASK_PTR]] to 69 // CHECK: br i1 %{{.+}}, label %[[OMP_THEN:.+]], label %[[OMP_ELSE:.+]] 70 // CHECK: [[OMP_THEN]] 71 // CHECK: call i32 @__kmpc_omp_task(%{{.+}}* @{{.+}}, i32 [[GTID]], i8* [[ORIG_TASK_PTR]]) 72 // CHECK: br label %[[OMP_END:.+]] 73 // CHECK: [[OMP_ELSE]] 74 // CHECK: call void @__kmpc_omp_task_begin_if0(%{{.+}}* @{{.+}}, i{{.+}} [[GTID]], i8* [[ORIG_TASK_PTR]]) 75 // CHECK: call i32 [[CAP_FN6:@.+]](i32 [[GTID]], %{{.+}}* [[TASK_PTR]]) 76 // CHECK: call void @__kmpc_omp_task_complete_if0(%{{.+}}* @{{.+}}, i{{.+}} [[GTID]], i8* [[ORIG_TASK_PTR]]) 77 // CHECK: br label %[[OMP_END]] 78 // CHECK: [[OMP_END]] 79 #pragma omp task if (Arg) 80 fn6(); 81 // CHECK: = call {{.*}}i{{.+}} @{{.+}}tmain 82 return tmain(Arg); 83 } 84 85 // CHECK: define internal i32 [[CAP_FN4]] 86 // CHECK: call void @{{.+}}fn4 87 // CHECK: ret i32 88 89 // CHECK: define internal i32 [[CAP_FN5]] 90 // CHECK: call void @{{.+}}fn5 91 // CHECK: ret i32 92 93 // CHECK: define internal i32 [[CAP_FN6]] 94 // CHECK: call void @{{.+}}fn6 95 // CHECK: ret i32 96 97 // CHECK-LABEL: define {{.+}} @{{.+}}tmain 98 // CHECK: [[GTID:%.+]] = call i32 @__kmpc_global_thread_num( 99 // CHECK: [[ORIG_TASK_PTR:%.+]] = call i8* @__kmpc_omp_task_alloc(%{{[^,]+}}, i32 [[GTID]], i32 1, i64 32, i64 1, i32 (i32, i8*)* bitcast (i32 (i32, %{{[^*]+}}*)* [[CAP_FN1:[^ ]+]] to i32 (i32, i8*)*)) 100 // CHECK: call i32 @__kmpc_omp_task(%{{.+}}* @{{.+}}, i32 [[GTID]], i8* [[ORIG_TASK_PTR]]) 101 102 // CHECK: [[ORIG_TASK_PTR:%.+]] = call i8* @__kmpc_omp_task_alloc( 103 // CHECK: [[TASK_PTR:%.+]] = bitcast i8* [[ORIG_TASK_PTR]] to 104 // CHECK: call void @__kmpc_omp_task_begin_if0(%{{.+}}* @{{.+}}, i{{.+}} [[GTID]], i8* [[ORIG_TASK_PTR]]) 105 // CHECK: call i32 [[CAP_FN2:@.+]](i32 [[GTID]], %{{.+}}* [[TASK_PTR]]) 106 // CHECK: call void @__kmpc_omp_task_complete_if0(%{{.+}}* @{{.+}}, i{{.+}} [[GTID]], i8* [[ORIG_TASK_PTR]]) 107 108 // CHECK: [[ORIG_TASK_PTR:%.+]] = call i8* @__kmpc_omp_task_alloc(%{{[^,]+}}, i32 [[GTID]], i32 1, i64 32, i64 1, i32 (i32, i8*)* bitcast (i32 (i32, %{{[^*]+}}*)* [[CAP_FN3:[^ ]+]] to i32 (i32, i8*)*)) 109 // CHECK: [[TASK_PTR:%.+]] = bitcast i8* [[ORIG_TASK_PTR]] to 110 // CHECK: br i1 %{{.+}}, label %[[OMP_THEN:.+]], label %[[OMP_ELSE:.+]] 111 // CHECK: [[OMP_THEN]] 112 // CHECK: call i32 @__kmpc_omp_task(%{{.+}}* @{{.+}}, i32 [[GTID]], i8* [[ORIG_TASK_PTR]]) 113 // CHECK: br label %[[OMP_END:.+]] 114 // CHECK: [[OMP_ELSE]] 115 // CHECK: call void @__kmpc_omp_task_begin_if0(%{{.+}}* @{{.+}}, i{{.+}} [[GTID]], i8* [[ORIG_TASK_PTR]]) 116 // CHECK: call i32 [[CAP_FN3:@.+]](i32 [[GTID]], %{{.+}}* [[TASK_PTR]]) 117 // CHECK: call void @__kmpc_omp_task_complete_if0(%{{.+}}* @{{.+}}, i{{.+}} [[GTID]], i8* [[ORIG_TASK_PTR]]) 118 // CHECK: br label %[[OMP_END]] 119 // CHECK: [[OMP_END]] 120 121 // CHECK: define internal i32 [[CAP_FN1]] 122 // CHECK: call void @{{.+}}fn1 123 // CHECK: ret i32 124 125 // CHECK: define internal i32 [[CAP_FN2]] 126 // CHECK: call void @{{.+}}fn2 127 // CHECK: ret i32 128 129 // CHECK: define internal i32 [[CAP_FN3]] 130 // CHECK: call void @{{.+}}fn3 131 // CHECK: ret i32 132 133 #endif 134