|
| 1 | +!===----------------------------------------------------------------------===! |
| 2 | +! This directory can be used to add Integration tests involving multiple |
| 3 | +! stages of the compiler (for eg. from Fortran to LLVM IR). It should not |
| 4 | +! contain executable tests. We should only add tests here sparingly and only |
| 5 | +! if there is no other way to test. Repeat this message in each test that is |
| 6 | +! added to this directory and sub-directories. |
| 7 | +!===----------------------------------------------------------------------===! |
| 8 | + |
| 9 | +!RUN: %flang_fc1 -emit-llvm -fopenmp %s -o - | FileCheck %s |
| 10 | + |
| 11 | +!CHECK: define void @_QQmain() { |
| 12 | +!CHECK: %[[VAL_1:.*]] = alloca { float, float }, align 8 |
| 13 | +!CHECK: %[[VAL_2:.*]] = alloca { float, float }, align 8 |
| 14 | +!CHECK: %[[VAL_3:.*]] = alloca { float, float }, align 8 |
| 15 | +!CHECK: %[[X_NEW_VAL:.*]] = alloca { float, float }, align 8 |
| 16 | +!CHECK: %[[VAL_4:.*]] = alloca { float, float }, i64 1, align 8 |
| 17 | +!CHECK: %[[VAL_5:.*]] = alloca { float, float }, i64 1, align 8 |
| 18 | +!CHECK: store { float, float } { float 2.000000e+00, float 2.000000e+00 }, ptr %[[VAL_4]], align 4 |
| 19 | +!CHECK: br label %entry |
| 20 | + |
| 21 | +program main |
| 22 | + complex*8 ia, ib |
| 23 | + ia = (2, 2) |
| 24 | + |
| 25 | +!CHECK: entry: |
| 26 | +!CHECK: call void @llvm.lifetime.start.p0(i64 8, ptr %[[VAL_3]]) |
| 27 | +!CHECK: call void @__atomic_load(i64 8, ptr %[[VAL_4]], ptr %[[VAL_3]], i32 0) |
| 28 | +!CHECK: %[[VAL_6:.*]] = load { float, float }, ptr %[[VAL_3]], align 8 |
| 29 | +!CHECK: call void @llvm.lifetime.end.p0(i64 8, ptr %[[VAL_3]]) |
| 30 | +!CHECK: br label %.atomic.cont |
| 31 | + |
| 32 | + |
| 33 | +!CHECK: .atomic.cont |
| 34 | +!CHECK: %[[VAL_7:.*]] = phi { float, float } [ %[[VAL_6]], %entry ], [ {{.*}}, %.atomic.cont ] |
| 35 | +!CHECK: %[[VAL_8:.*]] = extractvalue { float, float } %[[VAL_7]], 0 |
| 36 | +!CHECK: %[[VAL_9:.*]] = extractvalue { float, float } %[[VAL_7]], 1 |
| 37 | +!CHECK: %[[VAL_10:.*]] = fadd contract float %[[VAL_8]], 1.000000e+00 |
| 38 | +!CHECK: %[[VAL_11:.*]] = fadd contract float %[[VAL_9]], 1.000000e+00 |
| 39 | +!CHECK: %[[VAL_12:.*]] = insertvalue { float, float } undef, float %[[VAL_10]], 0 |
| 40 | +!CHECK: %[[VAL_13:.*]] = insertvalue { float, float } %[[VAL_12]], float %[[VAL_11]], 1 |
| 41 | +!CHECK: store { float, float } %[[VAL_13]], ptr %[[X_NEW_VAL]], align 4 |
| 42 | +!CHECK: %[[VAL_14:.*]] = load { float, float }, ptr %[[X_NEW_VAL]], align 4 |
| 43 | +!CHECK: call void @llvm.lifetime.start.p0(i64 8, ptr %[[VAL_1]]) |
| 44 | +!CHECK: store { float, float } %[[VAL_7]], ptr %[[VAL_1]], align 8 |
| 45 | +!CHECK: call void @llvm.lifetime.start.p0(i64 8, ptr %[[VAL_2]]) |
| 46 | +!CHECK: store { float, float } %[[VAL_14]], ptr %[[VAL_2]], align 8 |
| 47 | +!CHECK: %[[VAL_15:.*]] = call zeroext i1 @__atomic_compare_exchange(i64 8, ptr %[[VAL_4]], ptr %[[VAL_1]], ptr %[[VAL_2]], i32 0, i32 0) |
| 48 | +!CHECK: call void @llvm.lifetime.end.p0(i64 8, ptr %[[VAL_2]]) |
| 49 | +!CHECK: %[[VAL_16:.*]] = load { float, float }, ptr %[[VAL_1]], align 8 |
| 50 | +!CHECK: %[[VAL_17:.*]] = insertvalue { { float, float }, i1 } poison, { float, float } %[[VAL_16]], 0 |
| 51 | +!CHECK: %[[VAL_18:.*]] = insertvalue { { float, float }, i1 } %[[VAL_17]], i1 %[[VAL_15]], 1 |
| 52 | +!CHECK: %[[VAL_19:.*]] = extractvalue { { float, float }, i1 } %[[VAL_18]], 0 |
| 53 | +!CHECK: %[[VAL_20:.*]] = extractvalue { { float, float }, i1 } %[[VAL_18]], 1 |
| 54 | +!CHECK: br i1 %[[VAL_20]], label %.atomic.exit, label %.atomic.cont |
| 55 | + !$omp atomic update |
| 56 | + ia = ia + (1, 1) |
| 57 | + !$omp end atomic |
| 58 | + print *, ia |
| 59 | +end program main |
0 commit comments