85 lines · plain
1! RUN: %flang_fc1 -emit-hlfir -fopenmp %s -o - | FileCheck %s2 3subroutine knownShape(array)4 integer :: array(10)5 6 !$omp task depend(in: array(2:8))7 !$omp end task8end subroutine9 10! CHECK-LABEL: func.func @_QPknownshape(11! CHECK-SAME: %[[VAL_0:[0-9]+|[a-zA-Z$._-][a-zA-Z0-9$._-]*]]: !fir.ref<!fir.array<10xi32>> {fir.bindc_name = "array"}) {12! CHECK: %[[VAL_1:.*]] = fir.dummy_scope : !fir.dscope13! CHECK: %[[VAL_2:.*]] = arith.constant 10 : index14! CHECK: %[[VAL_3:.*]] = fir.shape %[[VAL_2]] : (index) -> !fir.shape<1>15! CHECK: %[[VAL_4:.*]]:2 = hlfir.declare %[[VAL_0]](%[[VAL_3]]) dummy_scope %[[VAL_1]] arg {{[0-9]+}} {uniq_name = "_QFknownshapeEarray"} : (!fir.ref<!fir.array<10xi32>>, !fir.shape<1>, !fir.dscope) -> (!fir.ref<!fir.array<10xi32>>, !fir.ref<!fir.array<10xi32>>)16! CHECK: %[[VAL_5:.*]] = arith.constant 2 : index17! CHECK: %[[VAL_6:.*]] = arith.constant 8 : index18! CHECK: %[[VAL_7:.*]] = arith.constant 1 : index19! CHECK: %[[VAL_8:.*]] = arith.constant 7 : index20! CHECK: %[[VAL_9:.*]] = fir.shape %[[VAL_8]] : (index) -> !fir.shape<1>21! CHECK: %[[VAL_10:.*]] = hlfir.designate %[[VAL_4]]#0 (%[[VAL_5]]:%[[VAL_6]]:%[[VAL_7]]) shape %[[VAL_9]] : (!fir.ref<!fir.array<10xi32>>, index, index, index, !fir.shape<1>) -> !fir.ref<!fir.array<7xi32>>22! CHECK: omp.task depend(taskdependin -> %[[VAL_10]] : !fir.ref<!fir.array<7xi32>>) {23! CHECK: omp.terminator24! CHECK: }25! CHECK: return26! CHECK: }27 28 29subroutine assumedShape(array)30 integer :: array(:)31 32 !$omp task depend(in: array(2:8:2))33 !$omp end task34end subroutine35 36! CHECK-LABEL: func.func @_QPassumedshape(37! CHECK-SAME: %[[VAL_0:[0-9]+|[a-zA-Z$._-][a-zA-Z0-9$._-]*]]: !fir.box<!fir.array<?xi32>> {fir.bindc_name = "array"}) {38! CHECK: %[[VAL_1:.*]] = fir.dummy_scope : !fir.dscope39! CHECK: %[[VAL_2:.*]]:2 = hlfir.declare %[[VAL_0]] dummy_scope %[[VAL_1]] arg {{[0-9]+}} {uniq_name = "_QFassumedshapeEarray"} : (!fir.box<!fir.array<?xi32>>, !fir.dscope) -> (!fir.box<!fir.array<?xi32>>, !fir.box<!fir.array<?xi32>>)40! CHECK: %[[VAL_3:.*]] = arith.constant 2 : index41! CHECK: %[[VAL_4:.*]] = arith.constant 8 : index42! CHECK: %[[VAL_5:.*]] = arith.constant 2 : index43! CHECK: %[[VAL_6:.*]] = arith.constant 4 : index44! CHECK: %[[VAL_7:.*]] = fir.shape %[[VAL_6]] : (index) -> !fir.shape<1>45! CHECK: %[[VAL_8:.*]] = hlfir.designate %[[VAL_2]]#0 (%[[VAL_3]]:%[[VAL_4]]:%[[VAL_5]]) shape %[[VAL_7]] : (!fir.box<!fir.array<?xi32>>, index, index, index, !fir.shape<1>) -> !fir.box<!fir.array<4xi32>>46! CHECK: %[[VAL_9:.*]] = fir.box_addr %[[VAL_8]] : (!fir.box<!fir.array<4xi32>>) -> !fir.ref<!fir.array<4xi32>>47! CHECK: omp.task depend(taskdependin -> %[[VAL_9]] : !fir.ref<!fir.array<4xi32>>) {48! CHECK: omp.terminator49! CHECK: }50! CHECK: return51! CHECK: }52 53subroutine vectorSubscriptArraySection(array, indices)54 integer :: array(:)55 integer :: indices(:)56 57 !$omp task depend (in: array(indices))58 !$omp end task59end subroutine60! CHECK-LABEL: func.func @_QPvectorsubscriptarraysection(61! CHECK-SAME: %[[VAL_0:[0-9]+|[a-zA-Z$._-][a-zA-Z0-9$._-]*]]: !fir.box<!fir.array<?xi32>> {fir.bindc_name = "array"},62! CHECK-SAME: %[[VAL_1:[0-9]+|[a-zA-Z$._-][a-zA-Z0-9$._-]*]]: !fir.box<!fir.array<?xi32>> {fir.bindc_name = "indices"}) {63! CHECK: %[[VAL_2:.*]] = fir.dummy_scope : !fir.dscope64! CHECK: %[[VAL_3:.*]]:2 = hlfir.declare %[[VAL_0]] dummy_scope %[[VAL_2]] arg {{[0-9]+}} {uniq_name = "_QFvectorsubscriptarraysectionEarray"} : (!fir.box<!fir.array<?xi32>>, !fir.dscope) -> (!fir.box<!fir.array<?xi32>>, !fir.box<!fir.array<?xi32>>)65! CHECK: %[[VAL_4:.*]]:2 = hlfir.declare %[[VAL_1]] dummy_scope %[[VAL_2]] arg {{[0-9]+}} {uniq_name = "_QFvectorsubscriptarraysectionEindices"} : (!fir.box<!fir.array<?xi32>>, !fir.dscope) -> (!fir.box<!fir.array<?xi32>>, !fir.box<!fir.array<?xi32>>)66! CHECK: %[[VAL_5:.*]] = arith.constant 0 : index67! CHECK: %[[VAL_6:.*]]:3 = fir.box_dims %[[VAL_4]]#0, %[[VAL_5]] : (!fir.box<!fir.array<?xi32>>, index) -> (index, index, index)68! CHECK: %[[VAL_7:.*]] = fir.shape %[[VAL_6]]#1 : (index) -> !fir.shape<1>69! CHECK: %[[VAL_8:.*]] = hlfir.elemental %[[VAL_7]] unordered : (!fir.shape<1>) -> !hlfir.expr<?xi64> {70! CHECK: ^bb0(%[[VAL_9:.*]]: index):71! CHECK: %[[VAL_10:.*]] = hlfir.designate %[[VAL_4]]#0 (%[[VAL_9]]) : (!fir.box<!fir.array<?xi32>>, index) -> !fir.ref<i32>72! CHECK: %[[VAL_11:.*]] = fir.load %[[VAL_10]] : !fir.ref<i32>73! CHECK: %[[VAL_12:.*]] = fir.convert %[[VAL_11]] : (i32) -> i6474! CHECK: hlfir.yield_element %[[VAL_12]] : i6475! CHECK: }76! CHECK: %[[VAL_13:.*]] = arith.constant 1 : index77! CHECK: %[[VAL_14:.*]] = hlfir.apply %[[VAL_8]], %[[VAL_13]] : (!hlfir.expr<?xi64>, index) -> i6478! CHECK: %[[VAL_15:.*]] = hlfir.designate %[[VAL_3]]#0 (%[[VAL_14]]) : (!fir.box<!fir.array<?xi32>>, i64) -> !fir.ref<i32>79! CHECK: omp.task depend(taskdependin -> %[[VAL_15]] : !fir.ref<i32>) {80! CHECK: omp.terminator81! CHECK: }82! CHECK: hlfir.destroy %[[VAL_8]] : !hlfir.expr<?xi64>83! CHECK: return84! CHECK: }85