128 lines · cpp
1// RUN: %clang_cc1 -verify -triple x86_64-apple-darwin10 -fopenmp -fexceptions -fcxx-exceptions -x c++ -emit-llvm %s -o - | FileCheck %s2// RUN: %clang_cc1 -verify -triple x86_64-apple-darwin10 -fopenmp -fexceptions -fcxx-exceptions -x c++ -emit-llvm -std=c++98 %s -o - | FileCheck %s3// RUN: %clang_cc1 -verify -triple x86_64-apple-darwin10 -fopenmp -fexceptions -fcxx-exceptions -x c++ -emit-llvm -std=c++11 %s -o - | FileCheck %s4// RUN: %clang_cc1 -verify -triple x86_64-apple-darwin10 -fopenmp -fexceptions -fcxx-exceptions -debug-info-kind=line-tables-only -x c++ -emit-llvm %s -o - | FileCheck %s --check-prefix=TERM_DEBUG5 6// RUN: %clang_cc1 -verify -triple x86_64-apple-darwin10 -fopenmp-simd -fexceptions -fcxx-exceptions -x c++ -emit-llvm %s -o - | FileCheck --check-prefix SIMD-ONLY0 %s7// RUN: %clang_cc1 -verify -triple x86_64-apple-darwin10 -fopenmp-simd -fexceptions -fcxx-exceptions -x c++ -emit-llvm -std=c++98 %s -o - | FileCheck --check-prefix SIMD-ONLY0 %s8// RUN: %clang_cc1 -verify -triple x86_64-apple-darwin10 -fopenmp-simd -fexceptions -fcxx-exceptions -x c++ -emit-llvm -std=c++11 %s -o - | FileCheck --check-prefix SIMD-ONLY0 %s9// RUN: %clang_cc1 -verify -triple x86_64-apple-darwin10 -fopenmp-simd -fexceptions -fcxx-exceptions -debug-info-kind=line-tables-only -x c++ -emit-llvm %s -o - | FileCheck --check-prefix SIMD-ONLY0 %s10// SIMD-ONLY0-NOT: {{__kmpc|__tgt}}11// expected-no-diagnostics12 13int a;14int b;15 16struct St {17 unsigned long field;18 St() {}19 ~St() {}20 int &get() { return a; }21};22 23// CHECK-LABEL: parallel_atomic_ewc24void parallel_atomic_ewc() {25 St s;26#pragma omp parallel27 {28 // CHECK: invoke void @_ZN2StC1Ev(ptr {{[^,]*}} [[TEMP_ST_ADDR:%.+]])29 // CHECK: [[SCALAR_ADDR:%.+]] = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZN2St3getEv(ptr {{[^,]*}} [[TEMP_ST_ADDR]])30 // CHECK: [[SCALAR_VAL:%.+]] = load atomic i32, ptr [[SCALAR_ADDR]] monotonic, align 431 // CHECK: store i32 [[SCALAR_VAL]], ptr @b32 // CHECK98: invoke void @_ZN2StD1Ev(ptr {{[^,]*}} [[TEMP_ST_ADDR]])33 // CHECK11: call void @_ZN2StD1Ev(ptr {{[^,]*}} [[TEMP_ST_ADDR]])34#pragma omp atomic read35 b = St().get();36 // CHECK-DAG: invoke void @_ZN2StC1Ev(ptr {{[^,]*}} [[TEMP_ST_ADDR:%.+]])37 // CHECK-DAG: [[SCALAR_ADDR:%.+]] = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZN2St3getEv(ptr {{[^,]*}} [[TEMP_ST_ADDR]])38 // CHECK-DAG: [[B_VAL:%.+]] = load i32, ptr @b39 // CHECK: store atomic i32 [[B_VAL]], ptr [[SCALAR_ADDR]] monotonic, align 440 // CHECK: {{invoke|call}} void @_ZN2StD1Ev(ptr {{[^,]*}} [[TEMP_ST_ADDR]])41#pragma omp atomic write42 St().get() = b;43 // CHECK: invoke void @_ZN2StC1Ev(ptr {{[^,]*}} [[TEMP_ST_ADDR:%.+]])44 // CHECK: [[SCALAR_ADDR:%.+]] = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZN2St3getEv(ptr {{[^,]*}} [[TEMP_ST_ADDR]])45 // CHECK: [[B_VAL:%.+]] = load i32, ptr @b46 // CHECK: [[OLD_VAL:%.+]] = load atomic i32, ptr [[SCALAR_ADDR]] monotonic, align 447 // CHECK: br label %[[OMP_UPDATE:.+]]48 // CHECK: [[OMP_UPDATE]]49 // CHECK: [[OLD_PHI_VAL:%.+]] = phi i32 [ [[OLD_VAL]], %{{.+}} ], [ [[NEW_OLD_VAL:%.+]], %[[OMP_UPDATE]] ]50 // CHECK: [[NEW_VAL:%.+]] = srem i32 [[OLD_PHI_VAL]], [[B_VAL]]51 // CHECK: store i32 [[NEW_VAL]], ptr [[TEMP:%.+]],52 // CHECK: [[NEW_VAL:%.+]] = load i32, ptr [[TEMP]],53 // CHECK: [[RES:%.+]] = cmpxchg ptr [[SCALAR_ADDR]], i32 [[OLD_PHI_VAL]], i32 [[NEW_VAL]] monotonic monotonic, align 454 // CHECK: [[NEW_OLD_VAL]] = extractvalue { i32, i1 } [[RES]], 055 // CHECK: [[COND:%.+]] = extractvalue { i32, i1 } [[RES]], 156 // CHECK: br i1 [[COND]], label %[[OMP_DONE:.+]], label %[[OMP_UPDATE]]57 // CHECK: [[OMP_DONE]]58 // CHECK: {{invoke|call}} void @_ZN2StD1Ev(ptr {{[^,]*}} [[TEMP_ST_ADDR]])59#pragma omp atomic60 St().get() %= b;61#pragma omp atomic hint(6)62 s.field++;63 // CHECK: invoke void @_ZN2StC1Ev(ptr {{[^,]*}} [[TEMP_ST_ADDR:%.+]])64 // CHECK: [[SCALAR_ADDR:%.+]] = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZN2St3getEv(ptr {{[^,]*}} [[TEMP_ST_ADDR]])65 // CHECK: [[B_VAL:%.+]] = load i32, ptr @b66 // CHECK: [[OLD_VAL:%.+]] = load atomic i32, ptr [[SCALAR_ADDR]] monotonic, align 467 // CHECK: br label %[[OMP_UPDATE:.+]]68 // CHECK: [[OMP_UPDATE]]69 // CHECK: [[OLD_PHI_VAL:%.+]] = phi i32 [ [[OLD_VAL]], %{{.+}} ], [ [[NEW_OLD_VAL:%.+]], %[[OMP_UPDATE]] ]70 // CHECK: [[NEW_CALC_VAL:%.+]] = srem i32 [[OLD_PHI_VAL]], [[B_VAL]]71 // CHECK: store i32 [[NEW_CALC_VAL]], ptr [[TEMP:%.+]],72 // CHECK: [[NEW_VAL:%.+]] = load i32, ptr [[TEMP]],73 // CHECK: [[RES:%.+]] = cmpxchg ptr [[SCALAR_ADDR]], i32 [[OLD_PHI_VAL]], i32 [[NEW_VAL]] monotonic monotonic, align 474 // CHECK: [[NEW_OLD_VAL]] = extractvalue { i32, i1 } [[RES]], 075 // CHECK: [[COND:%.+]] = extractvalue { i32, i1 } [[RES]], 176 // CHECK: br i1 [[COND]], label %[[OMP_DONE:.+]], label %[[OMP_UPDATE]]77 // CHECK: [[OMP_DONE]]78 // CHECK: store i32 [[NEW_CALC_VAL]], ptr @a,79 // CHECK: {{invoke|call}} void @_ZN2StD1Ev(ptr {{[^,]*}} [[TEMP_ST_ADDR]])80#pragma omp atomic capture81 a = St().get() %= b;82 }83}84 85int &foo() { extern void mayThrow(); mayThrow(); return a; }86 87// TERM_DEBUG-LABEL: parallel_atomic88void parallel_atomic() {89#pragma omp parallel90 {91#pragma omp atomic read92 // TERM_DEBUG-NOT: __kmpc_global_thread_num93 // TERM_DEBUG: invoke {{.*}}foo{{.*}}()94 // TERM_DEBUG: unwind label %[[TERM_LPAD:.+]],95 // TERM_DEBUG: load atomic i32, ptr @{{.+}} monotonic, align 4, !dbg [[READ_LOC:![0-9]+]]96 foo() = a;97#pragma omp atomic write98 // TERM_DEBUG-NOT: __kmpc_global_thread_num99 // TERM_DEBUG: invoke {{.*}}foo{{.*}}()100 // TERM_DEBUG: unwind label %[[TERM_LPAD:.+]],101 // TERM_DEBUG-NOT: __kmpc_global_thread_num102 // TERM_DEBUG: store atomic i32 {{%.+}}, ptr @{{.+}} monotonic, align 4, !dbg [[WRITE_LOC:![0-9]+]]103 a = foo();104#pragma omp atomic update105 // TERM_DEBUG-NOT: __kmpc_global_thread_num106 // TERM_DEBUG: invoke {{.*}}foo{{.*}}()107 // TERM_DEBUG: unwind label %[[TERM_LPAD:.+]],108 // TERM_DEBUG-NOT: __kmpc_global_thread_num109 // TERM_DEBUG: atomicrmw add ptr @{{.+}}, i32 %{{.+}} monotonic, align 4, !dbg [[UPDATE_LOC:![0-9]+]]110 a += foo();111#pragma omp atomic capture112 // TERM_DEBUG-NOT: __kmpc_global_thread_num113 // TERM_DEBUG: invoke {{.*}}foo{{.*}}()114 // TERM_DEBUG: unwind label %[[TERM_LPAD:.+]],115 // TERM_DEBUG-NOT: __kmpc_global_thread_num116 // TERM_DEBUG: [[OLD_VAL:%.+]] = atomicrmw add ptr @{{.+}}, i32 %{{.+}} monotonic, align 4, !dbg [[CAPTURE_LOC:![0-9]+]]117 // TERM_DEBUG: store i32 [[OLD_VAL]], ptr @b,118 {b = a; a += foo(); }119 }120 // TERM_DEBUG: [[TERM_LPAD]]121 // TERM_DEBUG: call void @__clang_call_terminate122 // TERM_DEBUG: unreachable123}124// TERM_DEBUG-DAG: [[READ_LOC]] = !DILocation(line: [[@LINE-28]],125// TERM_DEBUG-DAG: [[WRITE_LOC]] = !DILocation(line: [[@LINE-22]],126// TERM_DEBUG-DAG: [[UPDATE_LOC]] = !DILocation(line: [[@LINE-16]],127// TERM_DEBUG-DAG: [[CAPTURE_LOC]] = !DILocation(line: [[@LINE-9]],128