1 // RUN: %clang_cc1 -verify -fopenmp -x c++ -emit-llvm %s -fexceptions -fcxx-exceptions -o - | FileCheck %s 2 // RUN: %clang_cc1 -fopenmp -x c++ -std=c++11 -triple x86_64-unknown-unknown -fexceptions -fcxx-exceptions -emit-pch -o %t %s 3 // RUN: %clang_cc1 -fopenmp -x c++ -triple x86_64-unknown-unknown -fexceptions -fcxx-exceptions -std=c++11 -include-pch %t -verify %s -emit-llvm -o - | FileCheck %s 4 // RUN: %clang_cc1 -verify -triple x86_64-apple-darwin10 -fopenmp -fexceptions -fcxx-exceptions -gline-tables-only -x c++ -emit-llvm %s -o - | FileCheck %s --check-prefix=TERM_DEBUG 5 // expected-no-diagnostics 6 // REQUIRES: x86-registered-target 7 #ifndef HEADER 8 #define HEADER 9 10 // CHECK: [[IDENT_T_TY:%.+]] = type { i32, i32, i32, i32, i8* } 11 // CHECK: [[UNNAMED_LOCK:@.+]] = common global [8 x i32] zeroinitializer 12 // CHECK: [[THE_NAME_LOCK:@.+]] = common global [8 x i32] zeroinitializer 13 14 // CHECK: define {{.*}}void [[FOO:@.+]]() 15 16 void foo() {} 17 18 // CHECK-LABEL: @main 19 // TERM_DEBUG-LABEL: @main 20 int main() { 21 // CHECK: [[A_ADDR:%.+]] = alloca i8 22 char a; 23 24 // CHECK: [[GTID:%.+]] = call {{.*}}i32 @__kmpc_global_thread_num([[IDENT_T_TY]]* [[DEFAULT_LOC:@.+]]) 25 // CHECK: call {{.*}}void @__kmpc_critical([[IDENT_T_TY]]* [[DEFAULT_LOC]], i32 [[GTID]], [8 x i32]* [[UNNAMED_LOCK]]) 26 // CHECK-NEXT: store i8 2, i8* [[A_ADDR]] 27 // CHECK-NEXT: call {{.*}}void @__kmpc_end_critical([[IDENT_T_TY]]* [[DEFAULT_LOC]], i32 [[GTID]], [8 x i32]* [[UNNAMED_LOCK]]) 28 #pragma omp critical 29 a = 2; 30 // CHECK: call {{.*}}void @__kmpc_critical([[IDENT_T_TY]]* [[DEFAULT_LOC]], i32 [[GTID]], [8 x i32]* [[THE_NAME_LOCK]]) 31 // CHECK-NEXT: invoke {{.*}}void [[FOO]]() 32 // CHECK: call {{.*}}void @__kmpc_end_critical([[IDENT_T_TY]]* [[DEFAULT_LOC]], i32 [[GTID]], [8 x i32]* [[THE_NAME_LOCK]]) 33 #pragma omp critical(the_name) 34 foo(); 35 // CHECK-NOT: call void @__kmpc_critical 36 // CHECK-NOT: call void @__kmpc_end_critical 37 return a; 38 } 39 40 struct S { 41 int a; 42 }; 43 // CHECK-LABEL: critical_ref 44 void critical_ref(S &s) { 45 // CHECK: [[S_ADDR:%.+]] = alloca %struct.S*, 46 // CHECK: [[S_REF:%.+]] = load %struct.S*, %struct.S** [[S_ADDR]], 47 // CHECK: [[S_A_REF:%.+]] = getelementptr inbounds %struct.S, %struct.S* [[S_REF]], i32 0, i32 0 48 ++s.a; 49 // CHECK: call void @__kmpc_critical( 50 #pragma omp critical 51 // CHECK: [[S_REF:%.+]] = load %struct.S*, %struct.S** [[S_ADDR]], 52 // CHECK: [[S_A_REF:%.+]] = getelementptr inbounds %struct.S, %struct.S* [[S_REF]], i32 0, i32 0 53 ++s.a; 54 // CHECK: call void @__kmpc_end_critical( 55 } 56 57 // CHECK-LABEL: parallel_critical 58 // TERM_DEBUG-LABEL: parallel_critical 59 void parallel_critical() { 60 #pragma omp parallel 61 #pragma omp critical 62 // TERM_DEBUG-NOT: __kmpc_global_thread_num 63 // TERM_DEBUG: call void @__kmpc_critical({{.+}}), !dbg [[DBG_LOC_START:![0-9]+]] 64 // TERM_DEBUG: invoke void {{.*}}foo{{.*}}() 65 // TERM_DEBUG: unwind label %[[TERM_LPAD:.+]], 66 // TERM_DEBUG-NOT: __kmpc_global_thread_num 67 // TERM_DEBUG: call void @__kmpc_end_critical({{.+}}), !dbg [[DBG_LOC_END:![0-9]+]] 68 // TERM_DEBUG: [[TERM_LPAD]] 69 // TERM_DEBUG: call void @__clang_call_terminate 70 // TERM_DEBUG: unreachable 71 foo(); 72 } 73 // TERM_DEBUG-DAG: [[DBG_LOC_START]] = !DILocation(line: [[@LINE-12]], 74 // TERM_DEBUG-DAG: [[DBG_LOC_END]] = !DILocation(line: [[@LINE-3]], 75 #endif 76