1*a1425019SValentin Clement! RUN: bbc -emit-fir -use-alloc-runtime %s -o - | FileCheck %s 2*a1425019SValentin Clement 3*a1425019SValentin Clement! Test lowering of allocatables using runtime for allocate/deallocate statements. 4*a1425019SValentin Clement! CHECK-LABEL: _QPpointer_runtime( 5*a1425019SValentin Clementsubroutine pointer_runtime(n) 6*a1425019SValentin Clement integer :: n 7*a1425019SValentin Clement character(:), pointer :: scalar, array(:) 8*a1425019SValentin Clement ! CHECK-DAG: %[[sBoxAddr:.*]] = fir.alloca !fir.box<!fir.ptr<!fir.char<1,?>>> {{{.*}}uniq_name = "_QFpointer_runtimeEscalar"} 9*a1425019SValentin Clement ! CHECK-DAG: %[[sNullAddr:.*]] = fir.zero_bits !fir.ptr<!fir.char<1,?>> 10*a1425019SValentin Clement ! CHECK-DAG: %[[sInitBox:.*]] = fir.embox %[[sNullAddr]] typeparams %c0{{.*}} : (!fir.ptr<!fir.char<1,?>>, index) -> !fir.box<!fir.ptr<!fir.char<1,?>>> 11*a1425019SValentin Clement ! CHECK-DAG: fir.store %[[sInitBox]] to %[[sBoxAddr]] : !fir.ref<!fir.box<!fir.ptr<!fir.char<1,?>>>> 12*a1425019SValentin Clement 13*a1425019SValentin Clement ! CHECK-DAG: %[[aBoxAddr:.*]] = fir.alloca !fir.box<!fir.ptr<!fir.array<?x!fir.char<1,?>>>> {{{.*}}uniq_name = "_QFpointer_runtimeEarray"} 14*a1425019SValentin Clement ! CHECK-DAG: %[[aNullAddr:.*]] = fir.zero_bits !fir.ptr<!fir.array<?x!fir.char<1,?>>> 15*a1425019SValentin Clement ! CHECK-DAG: %[[aNullShape:.*]] = fir.shape %c0{{.*}} : (index) -> !fir.shape<1> 16*a1425019SValentin Clement ! CHECK-DAG: %[[aInitBox:.*]] = fir.embox %[[aNullAddr]](%[[aNullShape]]) typeparams %c0{{.*}} : (!fir.ptr<!fir.array<?x!fir.char<1,?>>>, !fir.shape<1>, index) -> !fir.box<!fir.ptr<!fir.array<?x!fir.char<1,?>>>> 17*a1425019SValentin Clement ! CHECK-DAG: fir.store %[[aInitBox]] to %[[aBoxAddr]] : !fir.ref<!fir.box<!fir.ptr<!fir.array<?x!fir.char<1,?>>>>> 18*a1425019SValentin Clement 19*a1425019SValentin Clement allocate(character(10):: scalar, array(30)) 20*a1425019SValentin Clement ! CHECK-DAG: %[[sBoxCast1:.*]] = fir.convert %[[sBoxAddr]] : (!fir.ref<!fir.box<!fir.ptr<!fir.char<1,?>>>>) -> !fir.ref<!fir.box<none>> 21*a1425019SValentin Clement ! CHECK-DAG: %[[ten1:.*]] = fir.convert %c10{{.*}} : (i32) -> i64 22*a1425019SValentin Clement ! CHECK: fir.call @{{.*}}PointerNullifyCharacter(%[[sBoxCast1]], %[[ten1]], %c1{{.*}}, %c0{{.*}}, %c0{{.*}}) 23*a1425019SValentin Clement ! CHECK-NOT: PointerSetBounds 24*a1425019SValentin Clement ! CHECK: %[[sBoxCast2:.*]] = fir.convert %[[sBoxAddr]] : (!fir.ref<!fir.box<!fir.ptr<!fir.char<1,?>>>>) -> !fir.ref<!fir.box<none>> 25*a1425019SValentin Clement ! CHECK: fir.call @{{.*}}PointerAllocate(%[[sBoxCast2]] 26*a1425019SValentin Clement 27*a1425019SValentin Clement ! CHECK-DAG: %[[aBoxCast1:.*]] = fir.convert %[[aBoxAddr]] : (!fir.ref<!fir.box<!fir.ptr<!fir.array<?x!fir.char<1,?>>>>>) -> !fir.ref<!fir.box<none>> 28*a1425019SValentin Clement ! CHECK-DAG: %[[ten2:.*]] = fir.convert %c10{{.*}} : (i32) -> i64 29*a1425019SValentin Clement ! CHECK: fir.call @{{.*}}PointerNullifyCharacter(%[[aBoxCast1]], %[[ten2]], %c1{{.*}}, %c1{{.*}}, %c0{{.*}}) 30*a1425019SValentin Clement ! CHECK: %[[aBoxCast2:.*]] = fir.convert %[[aBoxAddr]] : (!fir.ref<!fir.box<!fir.ptr<!fir.array<?x!fir.char<1,?>>>>>) -> !fir.ref<!fir.box<none>> 31*a1425019SValentin Clement ! CHECK: fir.call @{{.*}}PointerSetBounds(%[[aBoxCast2]] 32*a1425019SValentin Clement ! CHECK: %[[aBoxCast3:.*]] = fir.convert %[[aBoxAddr]] : (!fir.ref<!fir.box<!fir.ptr<!fir.array<?x!fir.char<1,?>>>>>) -> !fir.ref<!fir.box<none>> 33*a1425019SValentin Clement ! CHECK: fir.call @{{.*}}PointerAllocate(%[[aBoxCast3]] 34*a1425019SValentin Clement 35*a1425019SValentin Clement deallocate(scalar, array) 36*a1425019SValentin Clement ! CHECK: %[[sBoxCast3:.*]] = fir.convert %[[sBoxAddr]] : (!fir.ref<!fir.box<!fir.ptr<!fir.char<1,?>>>>) -> !fir.ref<!fir.box<none>> 37*a1425019SValentin Clement ! CHECK: fir.call @{{.*}}PointerDeallocate(%[[sBoxCast3]] 38*a1425019SValentin Clement ! CHECK: %[[aBoxCast4:.*]] = fir.convert %[[aBoxAddr]] : (!fir.ref<!fir.box<!fir.ptr<!fir.array<?x!fir.char<1,?>>>>>) -> !fir.ref<!fir.box<none>> 39*a1425019SValentin Clement ! CHECK: fir.call @{{.*}}PointerDeallocate(%[[aBoxCast4]] 40*a1425019SValentin Clement 41*a1425019SValentin Clement ! only testing that the correct length is set in the descriptor. 42*a1425019SValentin Clement allocate(character(n):: scalar, array(40)) 43*a1425019SValentin Clement ! CHECK: %[[n:.*]] = fir.load %arg0 : !fir.ref<i32> 44*a1425019SValentin Clement ! CHECK-DAG: %[[ncast1:.*]] = fir.convert %[[n]] : (i32) -> i64 45*a1425019SValentin Clement ! CHECK-DAG: %[[sBoxCast4:.*]] = fir.convert %[[sBoxAddr]] : (!fir.ref<!fir.box<!fir.ptr<!fir.char<1,?>>>>) -> !fir.ref<!fir.box<none>> 46*a1425019SValentin Clement ! CHECK: fir.call @{{.*}}PointerNullifyCharacter(%[[sBoxCast4]], %[[ncast1]], %c1{{.*}}, %c0{{.*}}, %c0{{.*}}) 47*a1425019SValentin Clement ! CHECK-DAG: %[[ncast2:.*]] = fir.convert %[[n]] : (i32) -> i64 48*a1425019SValentin Clement ! CHECK-DAG: %[[aBoxCast5:.*]] = fir.convert %[[aBoxAddr]] : (!fir.ref<!fir.box<!fir.ptr<!fir.array<?x!fir.char<1,?>>>>>) -> !fir.ref<!fir.box<none>> 49*a1425019SValentin Clement ! CHECK: fir.call @{{.*}}PointerNullifyCharacter(%[[aBoxCast5]], %[[ncast2]], %c1{{.*}}, %c1{{.*}}, %c0{{.*}}) 50*a1425019SValentin Clementend subroutine 51