38 lines · plain
1! Test calls with POINTER dummy arguments on the callee side.2! RUN: bbc -emit-fir %s -o - | FileCheck %s3 4! CHECK-LABEL: func @_QPchar_assumed(5! CHECK-SAME: %[[arg0:.*]]: !fir.ref<!fir.box<!fir.ptr<!fir.char<1,?>>>>{{.*}}6subroutine char_assumed(a)7 integer :: n8 character(len=*), pointer :: a9 ! CHECK: %[[argLoad:.*]] = fir.load %[[arg0]] : !fir.ref<!fir.box<!fir.ptr<!fir.char<1,?>>>>10 ! CHECK: %[[argLen:.*]] = fir.box_elesize %[[argLoad]] : (!fir.box<!fir.ptr<!fir.char<1,?>>>) -> index11 12 n = len(a)13 ! CHECK: %[[argLenCast:.*]] = fir.convert %[[argLen]] : (index) -> i3214 ! CHECK: fir.store %[[argLenCast]] to %{{.*}} : !fir.ref<i32>15end subroutine16 17! CHECK-LABEL: func @_QPchar_assumed_optional(18! CHECK-SAME: %[[arg0:.*]]: !fir.ref<!fir.box<!fir.ptr<!fir.char<1,?>>>>{{.*}}19subroutine char_assumed_optional(a)20 integer :: n21 character(len=*), pointer, optional :: a22 ! CHECK: %[[argPresent:.*]] = fir.is_present %[[arg0]] : (!fir.ref<!fir.box<!fir.ptr<!fir.char<1,?>>>>) -> i123 ! CHECK: %[[argLen:.*]] = fir.if %[[argPresent]] -> (index) {24 ! CHECK: %[[argLoad:.*]] = fir.load %[[arg0]] : !fir.ref<!fir.box<!fir.ptr<!fir.char<1,?>>>>25 ! CHECK: %[[argLoadLen:.*]] = fir.box_elesize %[[argLoad]] : (!fir.box<!fir.ptr<!fir.char<1,?>>>) -> index26 ! CHECK: fir.result %[[argLoadLen]] : index27 ! CHECK: } else {28 ! CHECK: %[[undef:.*]] = fir.undefined index29 ! CHECK: fir.result %[[undef]] : index30 ! CHECK: }31 32 if (present(a)) then33 n = len(a)34 ! CHECK: %[[argLenCast:.*]] = fir.convert %[[argLen]] : (index) -> i3235 ! CHECK: fir.store %[[argLenCast]] to %{{.*}} : !fir.ref<i32>36 endif37end subroutine38