60 lines · plain
1! Test handling of intrinsics and BIND(C) functions returning CHARACTER(1).2! This is a special case because characters are always returned3! or handled in memory otherwise.4 5! RUN: bbc -emit-hlfir -o - %s | FileCheck %s6 7subroutine scalar_char(c, i)8 character(1) :: c9 integer(8) :: i10 c = char(i)11end subroutine12! CHECK-LABEL: func.func @_QPscalar_char(13! CHECK: %[[VAL_2:.*]] = fir.alloca !fir.char<1>14! CHECK: %[[VAL_4:.*]] = fir.convert %{{.*}}#0 : (!fir.ref<!fir.char<1,?>>) -> !fir.ref<!fir.char<1>>15! CHECK: %[[VAL_5:.*]]:2 = hlfir.declare %[[VAL_4]] typeparams %{{.*}} {{.*}}Ec16! CHECK: %[[VAL_6:.*]]:2 = hlfir.declare %{{.*}} {{.*}}Ei17! CHECK: %[[VAL_7:.*]] = fir.load %[[VAL_6]]#0 : !fir.ref<i64>18! CHECK: %[[VAL_8:.*]] = fir.convert %[[VAL_7]] : (i64) -> i819! CHECK: %[[VAL_9:.*]] = fir.undefined !fir.char<1>20! CHECK: %[[VAL_10:.*]] = fir.insert_value %[[VAL_9]], %[[VAL_8]], [0 : index] : (!fir.char<1>, i8) -> !fir.char<1>21! CHECK: fir.store %[[VAL_10]] to %[[VAL_2]] : !fir.ref<!fir.char<1>>22! CHECK: %[[VAL_11:.*]] = arith.constant false23! CHECK: %[[VAL_12:.*]] = hlfir.as_expr %[[VAL_2]] move %[[VAL_11]] : (!fir.ref<!fir.char<1>>, i1) -> !hlfir.expr<!fir.char<1>>24! CHECK: hlfir.assign %[[VAL_12]] to %[[VAL_5]]#0 : !hlfir.expr<!fir.char<1>>, !fir.ref<!fir.char<1>>25 26subroutine scalar_bindc(c)27 character(1) :: c28 interface29 character(1) function bar() bind(c)30 end function31 end interface32 c = bar()33end subroutine34! CHECK-LABEL: func.func @_QPscalar_bindc(35! CHECK: %[[VAL_1:.*]] = fir.alloca !fir.char<1>36! CHECK: %[[VAL_3:.*]] = fir.convert %{{.*}}#0 : (!fir.ref<!fir.char<1,?>>) -> !fir.ref<!fir.char<1>>37! CHECK: %[[VAL_4:.*]]:2 = hlfir.declare %[[VAL_3]] typeparams %{{.*}} {{.*}}Ec38! CHECK: %[[VAL_5:.*]] = fir.call @bar() proc_attrs<bind_c> fastmath<contract> : () -> !fir.char<1>39! CHECK: fir.store %[[VAL_5]] to %[[VAL_1]] : !fir.ref<!fir.char<1>>40! CHECK: %[[VAL_6:.*]] = arith.constant false41! CHECK: %[[VAL_7:.*]] = hlfir.as_expr %[[VAL_1]] move %[[VAL_6]] : (!fir.ref<!fir.char<1>>, i1) -> !hlfir.expr<!fir.char<1>>42! CHECK: hlfir.assign %[[VAL_7]] to %[[VAL_4]]#0 : !hlfir.expr<!fir.char<1>>, !fir.ref<!fir.char<1>>43 44subroutine array_char(c, i)45 character(1) :: c(100)46 integer(8) :: i(100)47 c = char(i)48end subroutine49! CHECK-LABEL: func.func @_QParray_char(50! CHECK: %[[VAL_2:.*]] = fir.alloca !fir.char<1>51! CHECK: %[[VAL_13:.*]] = hlfir.elemental %{{.*}} typeparams %{{.*}} : (!fir.shape<1>, index) -> !hlfir.expr<100x!fir.char<1>> {52! CHECK: ^bb0(%[[VAL_14:.*]]: index):53! CHECK: %[[VAL_19:.*]] = fir.insert_value {{.*}} -> !fir.char<1>54! CHECK: fir.store %[[VAL_19]] to %[[VAL_2]] : !fir.ref<!fir.char<1>>55! CHECK: %[[VAL_20:.*]] = arith.constant false56! CHECK: %[[VAL_21:.*]] = hlfir.as_expr %[[VAL_2]] move %[[VAL_20]] : (!fir.ref<!fir.char<1>>, i1) -> !hlfir.expr<!fir.char<1>>57! CHECK: hlfir.yield_element %[[VAL_21]] : !hlfir.expr<!fir.char<1>>58! CHECK: }59! CHECK: hlfir.assign %[[VAL_13]] to %{{.*}} : !hlfir.expr<100x!fir.char<1>>, !fir.ref<!fir.array<100x!fir.char<1>>>60