1! Test handling of intrinsics and BIND(C) functions returning CHARACTER(1). 2! This is a special case because characters are always returned 3! or handled in memory otherwise. 4 5! RUN: bbc -emit-hlfir -o - %s | FileCheck %s 6 7subroutine scalar_char(c, i) 8 character(1) :: c 9 integer(8) :: i 10 c = char(i) 11end subroutine 12! 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 %{{.*}} {{.*}}Ec 16! CHECK: %[[VAL_6:.*]]:2 = hlfir.declare %{{.*}} {{.*}}Ei 17! CHECK: %[[VAL_7:.*]] = fir.load %[[VAL_6]]#0 : !fir.ref<i64> 18! CHECK: %[[VAL_8:.*]] = fir.convert %[[VAL_7]] : (i64) -> i8 19! 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 false 23! 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) :: c 28 interface 29 character(1) function bar() bind(c) 30 end function 31 end interface 32 c = bar() 33end subroutine 34! 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 %{{.*}} {{.*}}Ec 38! 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 false 41! 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 subroutine 49! 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 false 56! 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