flang/test/Lower/HLFIR/concat.f90

   1 ! Test lowering of character concatenation to HLFIR
   2 ! RUN: bbc -emit-fir -hlfir -o - %s 2>&1 | FileCheck %s
   3
   4 subroutine concat(c1, c2, c3)
   5   character(*) :: c1, c2, c3
   6   c1 = c2 // c3
   7 end subroutine
   8 ! CHECK-LABEL: func.func @_QPconcat
   9 ! CHECK:  hlfir.declare {{.*}}c1
  10 ! CHECK:  %[[VAL_5:.*]]:2 = fir.unboxchar %{{.*}} : (!fir.boxchar<1>) -> (!fir.ref<!fir.char<1,?>>, index)
  11 ! CHECK:  %[[VAL_6:.*]]:2 = hlfir.declare {{.*}}c2
  12 ! CHECK:  %[[VAL_7:.*]]:2 = fir.unboxchar %{{.*}} : (!fir.boxchar<1>) -> (!fir.ref<!fir.char<1,?>>, index)
  13 ! CHECK:  %[[VAL_8:.*]]:2 = hlfir.declare {{.*}}c3
  14 ! CHECK:  %[[VAL_9:.*]] = arith.addi %[[VAL_5]]#1, %[[VAL_7]]#1 : index
  15 ! CHECK:  %[[VAL_10:.*]] = hlfir.concat %[[VAL_6]]#0, %[[VAL_8]]#0 len %[[VAL_9]] : (!fir.boxchar<1>, !fir.boxchar<1>, index) -> !hlfir.expr<!fir.char<1,?>>
  16
  17 subroutine concat_2(c1, c2, c3)
  18   character(*) :: c1(100)
  19   character :: c2(100)*10, c3(100)*20
  20   c1(1) = c2(1) // c3(1)
  21 end subroutine
  22 ! CHECK-LABEL: func.func @_QPconcat_2
  23 ! CHECK:  %[[VAL_9:.*]] = arith.constant 10 : index
  24 ! CHECK:  %[[VAL_13:.*]]:2 = hlfir.declare %{{.*}}c2
  25 ! CHECK:  %[[VAL_15:.*]] = arith.constant 20 : index
  26 ! CHECK:  %[[VAL_19:.*]]:2 = hlfir.declare {{.*}}c3
  27 ! CHECK:  %[[VAL_21:.*]] = hlfir.designate %[[VAL_13]]#0 (%{{.*}})  typeparams %[[VAL_9]] : (!fir.ref<!fir.array<100x!fir.char<1,10>>>, index, index) -> !fir.ref<!fir.char<1,10>>
  28 ! CHECK:  %[[VAL_23:.*]] = hlfir.designate %[[VAL_19]]#0 (%{{.*}})  typeparams %[[VAL_15]] : (!fir.ref<!fir.array<100x!fir.char<1,20>>>, index, index) -> !fir.ref<!fir.char<1,20>>
  29 ! CHECK:  %[[VAL_24:.*]] = arith.addi %[[VAL_9]], %[[VAL_15]] : index
  30 ! CHECK:  %[[VAL_25:.*]] = hlfir.concat %[[VAL_21]], %[[VAL_23]] len %[[VAL_24]] : (!fir.ref<!fir.char<1,10>>, !fir.ref<!fir.char<1,20>>, index) -> !hlfir.expr<!fir.char<1,30>>
  31
  32 subroutine concat3(c1, c2, c3, c4)
  33   character(*) :: c1, c2, c3, c4
  34   c1 = c2 // c3 // c4
  35 end subroutine
  36 ! CHECK-LABEL: func.func @_QPconcat3
  37 ! CHECK:  hlfir.declare {{.*}}c1
  38 ! CHECK:  %[[VAL_5:.*]]:2 = fir.unboxchar %{{.*}}
  39 ! CHECK:  %[[VAL_6:.*]]:2 = hlfir.declare {{.*}}c2
  40 ! CHECK:  %[[VAL_7:.*]]:2 = fir.unboxchar %{{.*}}
  41 ! CHECK:  %[[VAL_8:.*]]:2 = hlfir.declare {{.*}}c3
  42 ! CHECK:  %[[VAL_9:.*]]:2 = fir.unboxchar %{{.*}}
  43 ! CHECK:  %[[VAL_10:.*]]:2 = hlfir.declare {{.*}}c4
  44 ! CHECK:  %[[VAL_11:.*]] = arith.addi %[[VAL_5]]#1, %[[VAL_7]]#1 : index
  45 ! CHECK:  %[[VAL_12:.*]] = hlfir.concat %[[VAL_6]]#0, %[[VAL_8]]#0 len %[[VAL_11]] : (!fir.boxchar<1>, !fir.boxchar<1>, index) -> !hlfir.expr<!fir.char<1,?>>
  46 ! CHECK:  %[[VAL_13:.*]] = arith.addi %[[VAL_11]], %[[VAL_9]]#1 : index
  47 ! CHECK:  %[[VAL_14:.*]] = hlfir.concat %[[VAL_12]], %[[VAL_10]]#0 len %[[VAL_13]] : (!hlfir.expr<!fir.char<1,?>>, !fir.boxchar<1>, index) -> !hlfir.expr<!fir.char<1,?>>