Pirama Arumuga Nainar | 3ea9e33 | 2015-04-08 08:57:32 -0700 | [diff] [blame] | 1 | // RUN: %clang_cc1 -verify -triple x86_64-apple-darwin10 -fopenmp=libiomp5 -x c++ -emit-llvm %s -o - | FileCheck %s |
| 2 | // RUN: %clang_cc1 -fopenmp=libiomp5 -x c++ -triple x86_64-apple-darwin10 -emit-pch -o %t %s |
| 3 | // RUN: %clang_cc1 -fopenmp=libiomp5 -x c++ -triple x86_64-apple-darwin10 -include-pch %t -verify %s -emit-llvm -o - | FileCheck %s |
| 4 | // expected-no-diagnostics |
| 5 | |
| 6 | #ifndef HEADER |
| 7 | #define HEADER |
| 8 | |
| 9 | // CHECK-DAG: [[IDENT_T:%.+]] = type { i32, i32, i32, i32, i8* } |
| 10 | // CHECK-DAG: [[STRUCT_SHAREDS:%.+]] = type { i8*, [[STRUCT_S:%.+]]* } |
| 11 | // CHECK-DAG: [[KMP_TASK_T:%.+]] = type { i8*, i32 (i32, i8*)*, i32, i32 (i32, i8*)* } |
| 12 | struct S { |
| 13 | int a; |
| 14 | S() : a(0) {} |
| 15 | S(const S &s) : a(s.a) {} |
| 16 | ~S() {} |
| 17 | }; |
| 18 | int a; |
| 19 | // CHECK-LABEL : @main |
| 20 | int main() { |
| 21 | // CHECK: [[B:%.+]] = alloca i8 |
| 22 | // CHECK: [[S:%.+]] = alloca [[STRUCT_S]] |
| 23 | char b; |
| 24 | S s; |
| 25 | // CHECK: [[GTID:%.+]] = call i32 @__kmpc_global_thread_num([[IDENT_T]]* @{{.+}}) |
| 26 | // CHECK: [[B_REF:%.+]] = getelementptr inbounds [[STRUCT_SHAREDS]], [[STRUCT_SHAREDS]]* [[CAPTURES:%.+]], i32 0, i32 0 |
| 27 | // CHECK: store i8* [[B]], i8** [[B_REF]] |
| 28 | // CHECK: [[S_REF:%.+]] = getelementptr inbounds [[STRUCT_SHAREDS]], [[STRUCT_SHAREDS]]* [[CAPTURES]], i32 0, i32 1 |
| 29 | // CHECK: store [[STRUCT_S]]* [[S]], [[STRUCT_S]]** [[S_REF]] |
| 30 | // CHECK: [[ORIG_TASK_PTR:%.+]] = call i8* @__kmpc_omp_task_alloc([[IDENT_T]]* @{{.+}}, i32 [[GTID]], i32 1, i64 32, i64 16, i32 (i32, i8*)* bitcast (i32 (i32, [[KMP_TASK_T]]{{.*}}*)* [[TASK_ENTRY1:@.+]] to i32 (i32, i8*)*)) |
| 31 | // CHECK: [[SHAREDS_REF_PTR:%.+]] = getelementptr inbounds [[KMP_TASK_T]], [[KMP_TASK_T]]* [[TASK_PTR:%.+]], i32 0, i32 0 |
| 32 | // CHECK: [[SHAREDS_REF:%.+]] = load i8*, i8** [[SHAREDS_REF_PTR]] |
| 33 | // CHECK: [[BITCAST:%.+]] = bitcast [[STRUCT_SHAREDS]]* [[CAPTURES]] to i8* |
| 34 | // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64(i8* [[SHAREDS_REF]], i8* [[BITCAST]], i64 16, i32 8, i1 false) |
| 35 | // CHECK: [[DESTRUCTORS_REF_PTR:%.+]] = getelementptr inbounds [[KMP_TASK_T]], [[KMP_TASK_T]]* [[TASK_PTR]], i32 0, i32 3 |
| 36 | // CHECK: store i32 (i32, i8*)* null, i32 (i32, i8*)** [[DESTRUCTORS_REF_PTR]] |
| 37 | // CHECK: call i32 @__kmpc_omp_task([[IDENT_T]]* @{{.+}}, i32 [[GTID]], i8* [[ORIG_TASK_PTR]]) |
| 38 | #pragma omp task shared(a, b, s) |
| 39 | { |
| 40 | a = 15; |
| 41 | b = a; |
| 42 | s.a = 10; |
| 43 | } |
| 44 | // CHECK: [[ORIG_TASK_PTR:%.+]] = call i8* @__kmpc_omp_task_alloc([[IDENT_T]]* @{{.+}}, i32 [[GTID]], i32 0, i64 32, i64 1, i32 (i32, i8*)* bitcast (i32 (i32, [[KMP_TASK_T]]{{.*}}*)* [[TASK_ENTRY2:@.+]] to i32 (i32, i8*)*)) |
| 45 | // CHECK: [[DESTRUCTORS_REF_PTR:%.+]] = getelementptr inbounds [[KMP_TASK_T]]{{.*}}* {{%.+}}, i32 0, i32 3 |
| 46 | // CHECK: store i32 (i32, i8*)* null, i32 (i32, i8*)** [[DESTRUCTORS_REF_PTR]] |
| 47 | // CHECK: call i32 @__kmpc_omp_task([[IDENT_T]]* @{{.+}}, i32 [[GTID]], i8* [[ORIG_TASK_PTR]]) |
| 48 | #pragma omp task untied |
| 49 | { |
| 50 | a = 1; |
| 51 | } |
| 52 | // CHECK: [[ORIG_TASK_PTR:%.+]] = call i8* @__kmpc_omp_task_alloc([[IDENT_T]]* @{{.+}}, i32 [[GTID]], i32 3, i64 32, i64 1, i32 (i32, i8*)* bitcast (i32 (i32, [[KMP_TASK_T]]{{.*}}*)* [[TASK_ENTRY3:@.+]] to i32 (i32, i8*)*)) |
| 53 | // CHECK: [[DESTRUCTORS_REF_PTR:%.+]] = getelementptr inbounds [[KMP_TASK_T]]{{.*}}* {{%.+}}, i32 0, i32 3 |
| 54 | // CHECK: store i32 (i32, i8*)* null, i32 (i32, i8*)** [[DESTRUCTORS_REF_PTR]] |
| 55 | // CHECK: call i32 @__kmpc_omp_task([[IDENT_T]]* @{{.+}}, i32 [[GTID]], i8* [[ORIG_TASK_PTR]]) |
| 56 | #pragma omp task final(true) |
| 57 | { |
| 58 | a = 2; |
| 59 | } |
| 60 | // CHECK: [[ORIG_TASK_PTR:%.+]] = call i8* @__kmpc_omp_task_alloc([[IDENT_T]]* @{{.+}}, i32 [[GTID]], i32 1, i64 32, i64 1, i32 (i32, i8*)* bitcast (i32 (i32, [[KMP_TASK_T]]{{.*}}*)* [[TASK_ENTRY4:@.+]] to i32 (i32, i8*)*)) |
| 61 | // CHECK: [[DESTRUCTORS_REF_PTR:%.+]] = getelementptr inbounds [[KMP_TASK_T]]{{.*}}* {{%.*}}, i32 0, i32 3 |
| 62 | // CHECK: store i32 (i32, i8*)* null, i32 (i32, i8*)** [[DESTRUCTORS_REF_PTR]] |
| 63 | // CHECK: call i32 @__kmpc_omp_task([[IDENT_T]]* @{{.+}}, i32 [[GTID]], i8* [[ORIG_TASK_PTR]]) |
| 64 | const bool flag = false; |
| 65 | #pragma omp task final(flag) |
| 66 | { |
| 67 | a = 3; |
| 68 | } |
| 69 | // CHECK: [[B_VAL:%.+]] = load i8, i8* [[B]] |
| 70 | // CHECK: [[CMP:%.+]] = icmp ne i8 [[B_VAL]], 0 |
| 71 | // CHECK: [[FINAL:%.+]] = select i1 [[CMP]], i32 2, i32 0 |
| 72 | // CHECK: [[FLAGS:%.+]] = or i32 [[FINAL]], 1 |
| 73 | // CHECK: [[ORIG_TASK_PTR:%.+]] = call i8* @__kmpc_omp_task_alloc([[IDENT_T]]* @{{.+}}, i32 [[GTID]], i32 [[FLAGS]], i64 32, i64 1, i32 (i32, i8*)* bitcast (i32 (i32, [[KMP_TASK_T]]{{.*}}*)* [[TASK_ENTRY5:@.+]] to i32 (i32, i8*)*)) |
| 74 | // CHECK: [[DESTRUCTORS_REF_PTR:%.+]] = getelementptr inbounds [[KMP_TASK_T]]{{.*}}* {{%.+}}, i32 0, i32 3 |
| 75 | // CHECK: store i32 (i32, i8*)* null, i32 (i32, i8*)** [[DESTRUCTORS_REF_PTR]] |
| 76 | // CHECK: call i32 @__kmpc_omp_task([[IDENT_T]]* @{{.+}}, i32 [[GTID]], i8* [[ORIG_TASK_PTR]]) |
| 77 | #pragma omp task final(b) |
| 78 | { |
| 79 | a = 4; |
| 80 | } |
| 81 | return a; |
| 82 | } |
| 83 | // CHECK: define internal i32 [[TASK_ENTRY1]](i32, [[KMP_TASK_T]]{{.*}}*) |
| 84 | // CHECK: store i32 15, i32* [[A_PTR:@.+]] |
| 85 | // CHECK: [[A_VAL:%.+]] = load i32, i32* [[A_PTR]] |
| 86 | // CHECK: [[A_VAL_I8:%.+]] = trunc i32 [[A_VAL]] to i8 |
| 87 | // CHECK: store i8 [[A_VAL_I8]], i8* %{{.+}} |
| 88 | // CHECK: store i32 10, i32* %{{.+}} |
| 89 | |
| 90 | // CHECK: define internal i32 [[TASK_ENTRY2]](i32, [[KMP_TASK_T]]{{.*}}*) |
| 91 | // CHECK: store i32 1, i32* [[A_PTR:@.+]] |
| 92 | |
| 93 | // CHECK: define internal i32 [[TASK_ENTRY3]](i32, [[KMP_TASK_T]]{{.*}}*) |
| 94 | // CHECK: store i32 2, i32* [[A_PTR:@.+]] |
| 95 | |
| 96 | // CHECK: define internal i32 [[TASK_ENTRY4]](i32, [[KMP_TASK_T]]{{.*}}*) |
| 97 | // CHECK: store i32 3, i32* [[A_PTR:@.+]] |
| 98 | |
| 99 | // CHECK: define internal i32 [[TASK_ENTRY5]](i32, [[KMP_TASK_T]]{{.*}}*) |
| 100 | // CHECK: store i32 4, i32* [[A_PTR:@.+]] |
| 101 | #endif |
| 102 | |