1*4d95f74bSJonathon Penix! Test calls with POINTER dummy arguments on the callee side. 2*4d95f74bSJonathon Penix! RUN: bbc -emit-fir %s -o - | FileCheck %s 3*4d95f74bSJonathon Penix 4*4d95f74bSJonathon Penix! CHECK-LABEL: func @_QPchar_assumed( 5*4d95f74bSJonathon Penix! CHECK-SAME: %[[arg0:.*]]: !fir.ref<!fir.box<!fir.ptr<!fir.char<1,?>>>>{{.*}} 6*4d95f74bSJonathon Penixsubroutine char_assumed(a) 7*4d95f74bSJonathon Penix integer :: n 8*4d95f74bSJonathon Penix character(len=*), pointer :: a 9*4d95f74bSJonathon Penix ! CHECK: %[[argLoad:.*]] = fir.load %[[arg0]] : !fir.ref<!fir.box<!fir.ptr<!fir.char<1,?>>>> 10*4d95f74bSJonathon Penix ! CHECK: %[[argLen:.*]] = fir.box_elesize %[[argLoad]] : (!fir.box<!fir.ptr<!fir.char<1,?>>>) -> index 11*4d95f74bSJonathon Penix 12*4d95f74bSJonathon Penix n = len(a) 13*4d95f74bSJonathon Penix ! CHECK: %[[argLenCast:.*]] = fir.convert %[[argLen]] : (index) -> i32 14*4d95f74bSJonathon Penix ! CHECK: fir.store %[[argLenCast]] to %{{.*}} : !fir.ref<i32> 15*4d95f74bSJonathon Penixend subroutine 16*4d95f74bSJonathon Penix 17*4d95f74bSJonathon Penix! CHECK-LABEL: func @_QPchar_assumed_optional( 18*4d95f74bSJonathon Penix! CHECK-SAME: %[[arg0:.*]]: !fir.ref<!fir.box<!fir.ptr<!fir.char<1,?>>>>{{.*}} 19*4d95f74bSJonathon Penixsubroutine char_assumed_optional(a) 20*4d95f74bSJonathon Penix integer :: n 21*4d95f74bSJonathon Penix character(len=*), pointer, optional :: a 22*4d95f74bSJonathon Penix ! CHECK: %[[argPresent:.*]] = fir.is_present %[[arg0]] : (!fir.ref<!fir.box<!fir.ptr<!fir.char<1,?>>>>) -> i1 23*4d95f74bSJonathon Penix ! CHECK: %[[argLen:.*]] = fir.if %[[argPresent]] -> (index) { 24*4d95f74bSJonathon Penix ! CHECK: %[[argLoad:.*]] = fir.load %[[arg0]] : !fir.ref<!fir.box<!fir.ptr<!fir.char<1,?>>>> 25*4d95f74bSJonathon Penix ! CHECK: %[[argLoadLen:.*]] = fir.box_elesize %[[argLoad]] : (!fir.box<!fir.ptr<!fir.char<1,?>>>) -> index 26*4d95f74bSJonathon Penix ! CHECK: fir.result %[[argLoadLen]] : index 27*4d95f74bSJonathon Penix ! CHECK: } else { 28*4d95f74bSJonathon Penix ! CHECK: %[[undef:.*]] = fir.undefined index 29*4d95f74bSJonathon Penix ! CHECK: fir.result %[[undef]] : index 30*4d95f74bSJonathon Penix ! CHECK: } 31*4d95f74bSJonathon Penix 32*4d95f74bSJonathon Penix if (present(a)) then 33*4d95f74bSJonathon Penix n = len(a) 34*4d95f74bSJonathon Penix ! CHECK: %[[argLenCast:.*]] = fir.convert %[[argLen]] : (index) -> i32 35*4d95f74bSJonathon Penix ! CHECK: fir.store %[[argLenCast]] to %{{.*}} : !fir.ref<i32> 36*4d95f74bSJonathon Penix endif 37*4d95f74bSJonathon Penixend subroutine 38