|
| 1 | +! RUN: bbc -emit-hlfir --polymorphic-type -I nowhere %s -o - | FileCheck %s |
| 2 | + |
| 3 | +! Test allocatable return. |
| 4 | +! Allocatable arrays must have default runtime lbounds after the return. |
| 5 | + |
| 6 | +function test_alloc_return_scalar |
| 7 | + real, allocatable :: test_alloc_return_scalar |
| 8 | + allocate(test_alloc_return_scalar) |
| 9 | +end function test_alloc_return_scalar |
| 10 | +! CHECK-LABEL: func.func @_QPtest_alloc_return_scalar() -> !fir.box<!fir.heap<f32>> { |
| 11 | +! CHECK: %[[VAL_0:.*]] = fir.alloca !fir.box<!fir.heap<f32>> {bindc_name = "test_alloc_return_scalar", uniq_name = "_QFtest_alloc_return_scalarEtest_alloc_return_scalar"} |
| 12 | +! CHECK: %[[VAL_3:.*]]:2 = hlfir.declare %[[VAL_0]] {fortran_attrs = #fir.var_attrs<allocatable>, uniq_name = "_QFtest_alloc_return_scalarEtest_alloc_return_scalar"} : (!fir.ref<!fir.box<!fir.heap<f32>>>) -> (!fir.ref<!fir.box<!fir.heap<f32>>>, !fir.ref<!fir.box<!fir.heap<f32>>>) |
| 13 | +! CHECK: %[[VAL_6:.*]] = fir.load %[[VAL_3]]#1 : !fir.ref<!fir.box<!fir.heap<f32>>> |
| 14 | +! CHECK: return %[[VAL_6]] : !fir.box<!fir.heap<f32>> |
| 15 | +! CHECK: } |
| 16 | + |
| 17 | +function test_alloc_return_array |
| 18 | + real, allocatable :: test_alloc_return_array(:) |
| 19 | + allocate(test_alloc_return_array(7:8)) |
| 20 | +end function test_alloc_return_array |
| 21 | +! CHECK-LABEL: func.func @_QPtest_alloc_return_array() -> !fir.box<!fir.heap<!fir.array<?xf32>>> { |
| 22 | +! CHECK: %[[VAL_0:.*]] = fir.alloca !fir.box<!fir.heap<!fir.array<?xf32>>> {bindc_name = "test_alloc_return_array", uniq_name = "_QFtest_alloc_return_arrayEtest_alloc_return_array"} |
| 23 | +! CHECK: %[[VAL_5:.*]]:2 = hlfir.declare %[[VAL_0]] {fortran_attrs = #fir.var_attrs<allocatable>, uniq_name = "_QFtest_alloc_return_arrayEtest_alloc_return_array"} : (!fir.ref<!fir.box<!fir.heap<!fir.array<?xf32>>>>) -> (!fir.ref<!fir.box<!fir.heap<!fir.array<?xf32>>>>, !fir.ref<!fir.box<!fir.heap<!fir.array<?xf32>>>>) |
| 24 | +! CHECK: %[[VAL_19:.*]] = fir.load %[[VAL_5]]#1 : !fir.ref<!fir.box<!fir.heap<!fir.array<?xf32>>>> |
| 25 | +! CHECK: %[[VAL_20:.*]] = arith.constant 1 : index |
| 26 | +! CHECK: %[[VAL_21:.*]] = fir.shift %[[VAL_20]] : (index) -> !fir.shift<1> |
| 27 | +! CHECK: %[[VAL_22:.*]] = fir.rebox %[[VAL_19]](%[[VAL_21]]) : (!fir.box<!fir.heap<!fir.array<?xf32>>>, !fir.shift<1>) -> !fir.box<!fir.heap<!fir.array<?xf32>>> |
| 28 | +! CHECK: return %[[VAL_22]] : !fir.box<!fir.heap<!fir.array<?xf32>>> |
| 29 | +! CHECK: } |
| 30 | + |
| 31 | +function test_alloc_return_char_scalar |
| 32 | + character(3), allocatable :: test_alloc_return_char_scalar |
| 33 | + allocate(test_alloc_return_char_scalar) |
| 34 | +end function test_alloc_return_char_scalar |
| 35 | +! CHECK-LABEL: func.func @_QPtest_alloc_return_char_scalar() -> !fir.box<!fir.heap<!fir.char<1,3>>> { |
| 36 | +! CHECK: %[[VAL_0:.*]] = fir.alloca !fir.box<!fir.heap<!fir.char<1,3>>> {bindc_name = "test_alloc_return_char_scalar", uniq_name = "_QFtest_alloc_return_char_scalarEtest_alloc_return_char_scalar"} |
| 37 | +! CHECK: %[[VAL_1:.*]] = arith.constant 3 : index |
| 38 | +! CHECK: %[[VAL_4:.*]]:2 = hlfir.declare %[[VAL_0]] typeparams %[[VAL_1]] {fortran_attrs = #fir.var_attrs<allocatable>, uniq_name = "_QFtest_alloc_return_char_scalarEtest_alloc_return_char_scalar"} : (!fir.ref<!fir.box<!fir.heap<!fir.char<1,3>>>>, index) -> (!fir.ref<!fir.box<!fir.heap<!fir.char<1,3>>>>, !fir.ref<!fir.box<!fir.heap<!fir.char<1,3>>>>) |
| 39 | +! CHECK: %[[VAL_7:.*]] = fir.load %[[VAL_4]]#1 : !fir.ref<!fir.box<!fir.heap<!fir.char<1,3>>>> |
| 40 | +! CHECK: return %[[VAL_7]] : !fir.box<!fir.heap<!fir.char<1,3>>> |
| 41 | +! CHECK: } |
| 42 | + |
| 43 | +function test_alloc_return_char_array |
| 44 | + character(3), allocatable :: test_alloc_return_char_array(:) |
| 45 | + allocate(test_alloc_return_char_array(7:8)) |
| 46 | +end function test_alloc_return_char_array |
| 47 | +! CHECK-LABEL: func.func @_QPtest_alloc_return_char_array() -> !fir.box<!fir.heap<!fir.array<?x!fir.char<1,3>>>> { |
| 48 | +! CHECK: %[[VAL_0:.*]] = fir.alloca !fir.box<!fir.heap<!fir.array<?x!fir.char<1,3>>>> {bindc_name = "test_alloc_return_char_array", uniq_name = "_QFtest_alloc_return_char_arrayEtest_alloc_return_char_array"} |
| 49 | +! CHECK: %[[VAL_1:.*]] = arith.constant 3 : index |
| 50 | +! CHECK: %[[VAL_6:.*]]:2 = hlfir.declare %[[VAL_0]] typeparams %[[VAL_1]] {fortran_attrs = #fir.var_attrs<allocatable>, uniq_name = "_QFtest_alloc_return_char_arrayEtest_alloc_return_char_array"} : (!fir.ref<!fir.box<!fir.heap<!fir.array<?x!fir.char<1,3>>>>>, index) -> (!fir.ref<!fir.box<!fir.heap<!fir.array<?x!fir.char<1,3>>>>>, !fir.ref<!fir.box<!fir.heap<!fir.array<?x!fir.char<1,3>>>>>) |
| 51 | +! CHECK: %[[VAL_20:.*]] = fir.load %[[VAL_6]]#1 : !fir.ref<!fir.box<!fir.heap<!fir.array<?x!fir.char<1,3>>>>> |
| 52 | +! CHECK: %[[VAL_21:.*]] = arith.constant 1 : index |
| 53 | +! CHECK: %[[VAL_22:.*]] = fir.shift %[[VAL_21]] : (index) -> !fir.shift<1> |
| 54 | +! CHECK: %[[VAL_23:.*]] = fir.rebox %[[VAL_20]](%[[VAL_22]]) : (!fir.box<!fir.heap<!fir.array<?x!fir.char<1,3>>>>, !fir.shift<1>) -> !fir.box<!fir.heap<!fir.array<?x!fir.char<1,3>>>> |
| 55 | +! CHECK: return %[[VAL_23]] : !fir.box<!fir.heap<!fir.array<?x!fir.char<1,3>>>> |
| 56 | +! CHECK: } |
| 57 | + |
| 58 | +function test_alloc_return_poly_scalar |
| 59 | + type t |
| 60 | + end type t |
| 61 | + class(*), allocatable :: test_alloc_return_poly_scalar |
| 62 | + allocate(t :: test_alloc_return_poly_scalar) |
| 63 | +end function test_alloc_return_poly_scalar |
| 64 | +! CHECK-LABEL: func.func @_QPtest_alloc_return_poly_scalar() -> !fir.class<!fir.heap<none>> { |
| 65 | +! CHECK: %[[VAL_0:.*]] = fir.alloca !fir.class<!fir.heap<none>> {bindc_name = "test_alloc_return_poly_scalar", uniq_name = "_QFtest_alloc_return_poly_scalarEtest_alloc_return_poly_scalar"} |
| 66 | +! CHECK: %[[VAL_3:.*]]:2 = hlfir.declare %[[VAL_0]] {fortran_attrs = #fir.var_attrs<allocatable>, uniq_name = "_QFtest_alloc_return_poly_scalarEtest_alloc_return_poly_scalar"} : (!fir.ref<!fir.class<!fir.heap<none>>>) -> (!fir.ref<!fir.class<!fir.heap<none>>>, !fir.ref<!fir.class<!fir.heap<none>>>) |
| 67 | +! CHECK: %[[VAL_17:.*]] = fir.load %[[VAL_3]]#1 : !fir.ref<!fir.class<!fir.heap<none>>> |
| 68 | +! CHECK: return %[[VAL_17]] : !fir.class<!fir.heap<none>> |
| 69 | +! CHECK: } |
| 70 | + |
| 71 | +function test_alloc_return_poly_array |
| 72 | + type t |
| 73 | + end type t |
| 74 | + class(*), allocatable :: test_alloc_return_poly_array(:) |
| 75 | + allocate(t :: test_alloc_return_poly_array(7:8)) |
| 76 | +end function test_alloc_return_poly_array |
| 77 | +! CHECK-LABEL: func.func @_QPtest_alloc_return_poly_array() -> !fir.class<!fir.heap<!fir.array<?xnone>>> { |
| 78 | +! CHECK: %[[VAL_0:.*]] = fir.alloca !fir.class<!fir.heap<!fir.array<?xnone>>> {bindc_name = "test_alloc_return_poly_array", uniq_name = "_QFtest_alloc_return_poly_arrayEtest_alloc_return_poly_array"} |
| 79 | +! CHECK: %[[VAL_5:.*]]:2 = hlfir.declare %[[VAL_0]] {fortran_attrs = #fir.var_attrs<allocatable>, uniq_name = "_QFtest_alloc_return_poly_arrayEtest_alloc_return_poly_array"} : (!fir.ref<!fir.class<!fir.heap<!fir.array<?xnone>>>>) -> (!fir.ref<!fir.class<!fir.heap<!fir.array<?xnone>>>>, !fir.ref<!fir.class<!fir.heap<!fir.array<?xnone>>>>) |
| 80 | +! CHECK: %[[VAL_26:.*]] = fir.load %[[VAL_5]]#1 : !fir.ref<!fir.class<!fir.heap<!fir.array<?xnone>>>> |
| 81 | +! CHECK: %[[VAL_27:.*]] = arith.constant 1 : index |
| 82 | +! CHECK: %[[VAL_28:.*]] = fir.shift %[[VAL_27]] : (index) -> !fir.shift<1> |
| 83 | +! CHECK: %[[VAL_29:.*]] = fir.rebox %[[VAL_26]](%[[VAL_28]]) : (!fir.class<!fir.heap<!fir.array<?xnone>>>, !fir.shift<1>) -> !fir.class<!fir.heap<!fir.array<?xnone>>> |
| 84 | +! CHECK: return %[[VAL_29]] : !fir.class<!fir.heap<!fir.array<?xnone>>> |
| 85 | +! CHECK: } |
0 commit comments