1 // RUN: %clang_cc1 -verify -triple x86_64-apple-darwin10 -fopenmp -fexceptions -fcxx-exceptions -x c++ -emit-llvm %s -o - | FileCheck %s 2 // 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 3 // expected-no-diagnostics 4 5 int a; 6 int b; 7 8 struct St { 9 St() {} 10 ~St() {} 11 int &get() { return a; } 12 }; 13 14 // CHECK-LABEL: parallel_atomic_ewc 15 void parallel_atomic_ewc() { 16 #pragma omp parallel 17 { 18 // CHECK: invoke void @_ZN2StC1Ev(%struct.St* [[TEMP_ST_ADDR:%.+]]) 19 // CHECK: [[SCALAR_ADDR:%.+]] = invoke dereferenceable(4) i32* @_ZN2St3getEv(%struct.St* [[TEMP_ST_ADDR]]) 20 // CHECK: [[SCALAR_VAL:%.+]] = load atomic i32, i32* [[SCALAR_ADDR]] monotonic 21 // CHECK: store i32 [[SCALAR_VAL]], i32* @b 22 // CHECK: invoke void @_ZN2StD1Ev(%struct.St* [[TEMP_ST_ADDR]]) 23 #pragma omp atomic read 24 b = St().get(); 25 // CHECK-DAG: invoke void @_ZN2StC1Ev(%struct.St* [[TEMP_ST_ADDR:%.+]]) 26 // CHECK-DAG: [[SCALAR_ADDR:%.+]] = invoke dereferenceable(4) i32* @_ZN2St3getEv(%struct.St* [[TEMP_ST_ADDR]]) 27 // CHECK-DAG: [[B_VAL:%.+]] = load i32, i32* @b 28 // CHECK: store atomic i32 [[B_VAL]], i32* [[SCALAR_ADDR]] monotonic 29 // CHECK: invoke void @_ZN2StD1Ev(%struct.St* [[TEMP_ST_ADDR]]) 30 #pragma omp atomic write 31 St().get() = b; 32 // CHECK: invoke void @_ZN2StC1Ev(%struct.St* [[TEMP_ST_ADDR:%.+]]) 33 // CHECK: [[SCALAR_ADDR:%.+]] = invoke dereferenceable(4) i32* @_ZN2St3getEv(%struct.St* [[TEMP_ST_ADDR]]) 34 // CHECK: [[B_VAL:%.+]] = load i32, i32* @b 35 // CHECK: [[OLD_VAL:%.+]] = load atomic i32, i32* [[SCALAR_ADDR]] monotonic, 36 // CHECK: br label %[[OMP_UPDATE:.+]] 37 // CHECK: [[OMP_UPDATE]] 38 // CHECK: [[OLD_PHI_VAL:%.+]] = phi i32 [ [[OLD_VAL]], %{{.+}} ], [ [[NEW_OLD_VAL:%.+]], %[[OMP_UPDATE]] ] 39 // CHECK: [[NEW_VAL:%.+]] = srem i32 [[OLD_PHI_VAL]], [[B_VAL]] 40 // CHECK: store i32 [[NEW_VAL]], i32* [[TEMP:%.+]], 41 // CHECK: [[NEW_VAL:%.+]] = load i32, i32* [[TEMP]], 42 // CHECK: [[RES:%.+]] = cmpxchg i32* [[SCALAR_ADDR]], i32 [[OLD_PHI_VAL]], i32 [[NEW_VAL]] monotonic monotonic 43 // CHECK: [[NEW_OLD_VAL]] = extractvalue { i32, i1 } [[RES]], 0 44 // CHECK: [[COND:%.+]] = extractvalue { i32, i1 } [[RES]], 1 45 // CHECK: br i1 [[COND]], label %[[OMP_DONE:.+]], label %[[OMP_UPDATE]] 46 // CHECK: [[OMP_DONE]] 47 // CHECK: invoke void @_ZN2StD1Ev(%struct.St* [[TEMP_ST_ADDR]]) 48 #pragma omp atomic 49 St().get() %= b; 50 // CHECK: invoke void @_ZN2StC1Ev(%struct.St* [[TEMP_ST_ADDR:%.+]]) 51 // CHECK: [[SCALAR_ADDR:%.+]] = invoke dereferenceable(4) i32* @_ZN2St3getEv(%struct.St* [[TEMP_ST_ADDR]]) 52 // CHECK: [[B_VAL:%.+]] = load i32, i32* @b 53 // CHECK: [[OLD_VAL:%.+]] = load atomic i32, i32* [[SCALAR_ADDR]] monotonic, 54 // CHECK: br label %[[OMP_UPDATE:.+]] 55 // CHECK: [[OMP_UPDATE]] 56 // CHECK: [[OLD_PHI_VAL:%.+]] = phi i32 [ [[OLD_VAL]], %{{.+}} ], [ [[NEW_OLD_VAL:%.+]], %[[OMP_UPDATE]] ] 57 // CHECK: [[NEW_CALC_VAL:%.+]] = srem i32 [[OLD_PHI_VAL]], [[B_VAL]] 58 // CHECK: store i32 [[NEW_CALC_VAL]], i32* [[TEMP:%.+]], 59 // CHECK: [[NEW_VAL:%.+]] = load i32, i32* [[TEMP]], 60 // CHECK: [[RES:%.+]] = cmpxchg i32* [[SCALAR_ADDR]], i32 [[OLD_PHI_VAL]], i32 [[NEW_VAL]] monotonic monotonic 61 // CHECK: [[NEW_OLD_VAL]] = extractvalue { i32, i1 } [[RES]], 0 62 // CHECK: [[COND:%.+]] = extractvalue { i32, i1 } [[RES]], 1 63 // CHECK: br i1 [[COND]], label %[[OMP_DONE:.+]], label %[[OMP_UPDATE]] 64 // CHECK: [[OMP_DONE]] 65 // CHECK: store i32 [[NEW_CALC_VAL]], i32* @a, 66 // CHECK: invoke void @_ZN2StD1Ev(%struct.St* [[TEMP_ST_ADDR]]) 67 #pragma omp atomic capture 68 a = St().get() %= b; 69 } 70 } 71 72 int &foo() { return a; } 73 74 // TERM_DEBUG-LABEL: parallel_atomic 75 void parallel_atomic() { 76 #pragma omp parallel 77 { 78 #pragma omp atomic read 79 // TERM_DEBUG-NOT: __kmpc_global_thread_num 80 // TERM_DEBUG: invoke {{.*}}foo{{.*}}() 81 // TERM_DEBUG: unwind label %[[TERM_LPAD:.+]], 82 // TERM_DEBUG: load atomic i32, i32* @{{.+}} monotonic, {{.*}}!dbg [[READ_LOC:![0-9]+]] 83 foo() = a; 84 #pragma omp atomic write 85 // TERM_DEBUG-NOT: __kmpc_global_thread_num 86 // TERM_DEBUG: invoke {{.*}}foo{{.*}}() 87 // TERM_DEBUG: unwind label %[[TERM_LPAD:.+]], 88 // TERM_DEBUG-NOT: __kmpc_global_thread_num 89 // TERM_DEBUG: store atomic i32 {{%.+}}, i32* @{{.+}} monotonic, {{.*}}!dbg [[WRITE_LOC:![0-9]+]] 90 a = foo(); 91 #pragma omp atomic update 92 // TERM_DEBUG-NOT: __kmpc_global_thread_num 93 // TERM_DEBUG: invoke {{.*}}foo{{.*}}() 94 // TERM_DEBUG: unwind label %[[TERM_LPAD:.+]], 95 // TERM_DEBUG-NOT: __kmpc_global_thread_num 96 // TERM_DEBUG: atomicrmw add i32* @{{.+}}, i32 %{{.+}} monotonic, {{.*}}!dbg [[UPDATE_LOC:![0-9]+]] 97 a += foo(); 98 #pragma omp atomic capture 99 // TERM_DEBUG-NOT: __kmpc_global_thread_num 100 // TERM_DEBUG: invoke {{.*}}foo{{.*}}() 101 // TERM_DEBUG: unwind label %[[TERM_LPAD:.+]], 102 // TERM_DEBUG-NOT: __kmpc_global_thread_num 103 // TERM_DEBUG: [[OLD_VAL:%.+]] = atomicrmw add i32* @{{.+}}, i32 %{{.+}} monotonic, {{.*}}!dbg [[CAPTURE_LOC:![0-9]+]] 104 // TERM_DEBUG: store i32 [[OLD_VAL]], i32* @b, 105 {b = a; a += foo(); } 106 } 107 // TERM_DEBUG: [[TERM_LPAD]] 108 // TERM_DEBUG: call void @__clang_call_terminate 109 // TERM_DEBUG: unreachable 110 } 111 // TERM_DEBUG-DAG: [[READ_LOC]] = !DILocation(line: [[@LINE-33]], 112 // TERM_DEBUG-DAG: [[WRITE_LOC]] = !DILocation(line: [[@LINE-28]], 113 // TERM_DEBUG-DAG: [[UPDATE_LOC]] = !DILocation(line: [[@LINE-22]], 114 // TERM_DEBUG-DAG: [[CAPTURE_LOC]] = !DILocation(line: [[@LINE-16]], 115