41 lines · plain
1! Test lowering of of expressions as fir.box2! RUN: bbc -hlfir -o - %s 2>&1 --use-hlfir-intrinsic-ops=false | FileCheck %s3 4! CHECK-LABEL: func.func @_QPfoo(5! CHECK-SAME: %[[VAL_0:.*]]: !fir.ref<!fir.array<10xi32>>6subroutine foo(x)7 integer :: x(21:30)8 print *, x9! CHECK-DAG: %[[VAL_3:.*]] = arith.constant 21 : index10! CHECK-DAG: %[[VAL_4:.*]] = arith.constant 10 : index11! CHECK: %[[VAL_5:.*]] = fir.shape_shift %[[VAL_3]], %[[VAL_4]] : (index, index) -> !fir.shapeshift<1>12! CHECK: %[[VAL_6:.*]]:2 = hlfir.declare %[[VAL_0]](%[[VAL_5]]) dummy_scope %{{[0-9]+}} arg {{[0-9]+}} {uniq_name = "_QFfooEx"} : (!fir.ref<!fir.array<10xi32>>, !fir.shapeshift<1>, !fir.dscope) -> (!fir.box<!fir.array<10xi32>>, !fir.ref<!fir.array<10xi32>>)13! CHECK: fir.embox %[[VAL_6]]#1(%[[VAL_5]]) : (!fir.ref<!fir.array<10xi32>>, !fir.shapeshift<1>) -> !fir.box<!fir.array<10xi32>>14end subroutine15 16subroutine test_place_in_memory_and_embox()17 logical(8) :: a, b18 write(06), a.and.b19end subroutine20! CHECK-LABEL: func.func @_QPtest_place_in_memory_and_embox(21! CHECK: %[[TEMP:.*]] = fir.alloca !fir.logical<8>22! CHECK: %[[AND:.*]] = arith.andi {{.*}}23! CHECK: %[[CAST:.*]] = fir.convert %[[AND]] : (i1) -> !fir.logical<8>24! CHECK: fir.store %[[CAST]] to %[[TEMP]] : !fir.ref<!fir.logical<8>>25! CHECK: %[[BOX:.*]] = fir.embox %[[TEMP]] : (!fir.ref<!fir.logical<8>>) -> !fir.box<!fir.logical<8>>26! CHECK: %[[BOX_CAST:.*]] = fir.convert %[[BOX]] : (!fir.box<!fir.logical<8>>) -> !fir.box<none>27! CHECK: fir.call @_FortranAioOutputDescriptor(%{{.*}}, %[[BOX_CAST]])28 29! check we can box a trivial value30subroutine productMask(s, a)31 integer :: s32 integer :: a(:)33 s = product(a, mask=.true.)34endsubroutine35! CHECK-LABEL: func.func @_QPproductmask(36! CHECK: %[[TRUE:.*]] = arith.constant true37! CHECK: %[[ALLOC:.*]] = fir.alloca !fir.logical<4>38! CHECK: %[[TRUE_L4:.*]] = fir.convert %[[TRUE]] : (i1) -> !fir.logical<4>39! CHECK-NEXT: fir.store %[[TRUE_L4]] to %[[ALLOC]]40! CHECK-NEXT: %[[BOX:.*]] = fir.embox %[[ALLOC]] : (!fir.ref<!fir.logical<4>>) -> !fir.box<!fir.logical<4>>41