1! RUN: bbc --use-desc-for-alloc=false %s -o - -emit-fir -hlfir=false | FileCheck %s 2 3! Simple character assignment tests 4! CHECK-LABEL: _QPassign1 5subroutine assign1(lhs, rhs) 6 character(*, 1) :: lhs, rhs 7 ! CHECK: %[[lhs:.*]]:2 = fir.unboxchar %arg0 8 ! CHECK: %[[rhs:.*]]:2 = fir.unboxchar %arg1 9 lhs = rhs 10 ! Compute minimum length 11 ! CHECK: %[[cmp_len:[0-9]+]] = arith.cmpi slt, %[[lhs:.*]]#1, %[[rhs:.*]]#1 12 ! CHECK-NEXT: %[[min_len:[0-9]+]] = arith.select %[[cmp_len]], %[[lhs]]#1, %[[rhs]]#1 13 14 ! Copy of rhs into lhs 15 ! CHECK: %[[count:.*]] = arith.muli %{{.*}}, %{{.*}} : i64 16 ! CHECK-DAG: %[[bug:.*]] = fir.convert %[[lhs]]#0 : (!fir.ref<!fir.char<1,?>>) -> !fir.ref<i8> 17 ! CHECK-DAG: %[[src:.*]] = fir.convert %[[rhs]]#0 : (!fir.ref<!fir.char<1,?>>) -> !fir.ref<i8> 18 ! CHECK: fir.call @llvm.memmove.p0.p0.i64(%{{.*}}, %[[src]], %[[count]], %false) {{.*}}: (!fir.ref<i8>, !fir.ref<i8>, i64, i1) -> () 19 20 ! Padding 21 ! CHECK-DAG: %[[blank:.*]] = fir.insert_value %{{.*}}, %c32{{.*}}, [0 : index] : (!fir.char<1>, i8) -> !fir.char<1> 22 ! CHECK: fir.do_loop %[[ij:.*]] = 23 ! CHECK-DAG: %[[lhs_cast:.*]] = fir.convert %[[lhs]]#0 24 ! CHECK: %[[lhs_addr:.*]] = fir.coordinate_of %[[lhs_cast]], %[[ij]] 25 ! CHECK: fir.store %[[blank]] to %[[lhs_addr]] 26 ! CHECK-NEXT: } 27end subroutine 28 29! Test substring assignment 30! CHECK-LABEL: _QPassign_substring1 31subroutine assign_substring1(str, rhs, lb, ub) 32 character(*, 1) :: rhs, str 33 integer(8) :: lb, ub 34 str(lb:ub) = rhs 35 ! CHECK-DAG: %[[lb:.*]] = fir.load %arg2 36 ! CHECK-DAG: %[[ub:.*]] = fir.load %arg3 37 ! CHECK-DAG: %[[str:.*]]:2 = fir.unboxchar %arg0 38 39 ! Compute substring offset 40 ! CHECK-DAG: %[[lbi:.*]] = fir.convert %[[lb]] : (i64) -> index 41 ! CHECK-DAG: %[[c1:.*]] = arith.constant 1 42 ! CHECK-DAG: %[[offset:.*]] = arith.subi %[[lbi]], %[[c1]] 43 ! CHECK-DAG: %[[str_cast:.*]] = fir.convert %[[str]]#0 44 ! CHECK-DAG: %[[str_addr:.*]] = fir.coordinate_of %[[str_cast]], %[[offset]] 45 ! CHECK-DAG: %[[lhs_addr:.*]] = fir.convert %[[str_addr]] 46 47 ! Compute substring length 48 ! CHECK-DAG: %[[ubi:.*]] = fir.convert %[[ub]] : (i64) -> index 49 ! CHECK-DAG: %[[diff:.*]] = arith.subi %[[ubi]], %[[lbi]] 50 ! CHECK-DAG: %[[pre_lhs_len:.*]] = arith.addi %[[diff]], %[[c1]] 51 ! CHECK-DAG: %[[c0:.*]] = arith.constant 0 52 ! CHECK-DAG: %[[cmp_len:.*]] = arith.cmpi slt, %[[pre_lhs_len]], %[[c0]] 53 54 ! CHECK-DAG: %[[lhs_len:.*]] = arith.select %[[cmp_len]], %[[c0]], %[[pre_lhs_len]] 55 56 ! The rest of the assignment is just as the one above, only test that the 57 ! substring is the one used as lhs. 58 ! ... 59 ! CHECK: fir.do_loop %arg4 = 60 ! CHECK: %[[lhs_addr3:.*]] = fir.convert %[[lhs_addr]] 61 ! CHECK: fir.coordinate_of %[[lhs_addr3]], %arg4 62 ! ... 63end subroutine 64 65! CHECK-LABEL: _QPassign_constant 66! CHECK-SAME: (%[[ARG:.*]]: 67subroutine assign_constant(lhs) 68 character(*, 1) :: lhs 69 ! CHECK: %[[lhs:.*]]:2 = fir.unboxchar %arg0 70 ! CHECK: %[[cst:.*]] = fir.address_of(@{{.*}}) : 71 lhs = "Hello World" 72 ! CHECK-DAG: %[[dst:.*]] = fir.convert %[[lhs]]#0 : (!fir.ref<!fir.char<1,?>>) -> !fir.ref<i8> 73 ! CHECK-DAG: %[[src:.*]] = fir.convert %[[cst]] : (!fir.ref<!fir.char<1,11>>) -> !fir.ref<i8> 74 ! CHECK-DAG: %[[count:.*]] = arith.muli %{{.*}}, %{{.*}} : i64 75 ! CHECK: fir.call @llvm.memmove.p0.p0.i64(%[[dst]], %[[src]], %[[count]], %false) {{.*}}: (!fir.ref<i8>, !fir.ref<i8>, i64, i1) -> () 76 77 ! Padding 78 ! CHECK-DAG: %[[blank:.*]] = fir.insert_value %{{.*}}, %c32{{.*}}, [0 : index] : (!fir.char<1>, i8) -> !fir.char<1> 79 ! CHECK: fir.do_loop %[[j:.*]] = %{{.*}} to %{{.*}} { 80 ! CHECK-DAG: %[[jhs_cast:.*]] = fir.convert %[[lhs]]#0 : (!fir.ref<!fir.char<1,?>>) -> !fir.ref<!fir.array<?x!fir.char<1>>> 81 ! CHECK: %[[jhs_addr:.*]] = fir.coordinate_of %[[jhs_cast]], %[[j]] 82 ! CHECK: fir.store %[[blank]] to %[[jhs_addr]] 83 ! CHECK: } 84end subroutine 85 86 ! CHECK: func @_QPassign_zero_size_array 87 subroutine assign_zero_size_array(n) 88 ! CHECK: %[[VAL_0:.*]] = fir.alloca !fir.heap<!fir.array<?x!fir.char<1,?>>> {uniq_name = "_QFassign_zero_size_arrayEa.addr"} 89 character(n), allocatable :: a(:) 90 ! CHECK: fir.store %{{.*}} to %[[VAL_0]] : !fir.ref<!fir.heap<!fir.array<?x!fir.char<1,?>>>> 91 ! CHECK: %{{.*}} = fir.load %[[VAL_0]] : !fir.ref<!fir.heap<!fir.array<?x!fir.char<1,?>>>> 92 ! CHECK: %[[VAL_1:.*]] = arith.cmpi ne, %{{.*}}, %c0{{.*}} : i64 93 ! CHECK: %[[VAL_2:.*]]:2 = fir.if %[[VAL_1]] -> (i1, !fir.heap<!fir.array<?x!fir.char<1,?>>>) { 94 ! CHECK: %{{.*}} = fir.if %{{.*}} -> (!fir.heap<!fir.array<?x!fir.char<1,?>>>) { 95 ! CHECK: %{{.*}} = fir.do_loop %{{.*}} = %c0{{.*}} to %{{.*}} step %c1{{.*}} unordered iter_args(%{{.*}} = %{{.*}}) -> (!fir.array<?x!fir.char<1,?>>) { 96 ! CHECK: fir.do_loop %[[ARG_0:.*]] = %{{.*}} to {{.*}} step %c1{{.*}} { 97 ! CHECK: %{{.*}} = fir.coordinate_of %{{.*}}, %[[ARG_0]] : (!fir.ref<!fir.array<?x!fir.char<1>>>, index) -> !fir.ref<!fir.char<1>> 98 ! CHECK: fir.if %[[VAL_2]]#0 { 99 ! CHECK: fir.if %[[VAL_1]] { 100 ! CHECK: fir.store %[[VAL_2]]#1 to %[[VAL_0]] : !fir.ref<!fir.heap<!fir.array<?x!fir.char<1,?>>>> 101 a = [character(n)::] 102 ! CHECK: return 103 end subroutine 104 105! CHECK-LABEL: fir.global linkonce @_QQclX48656C6C6F20576F726C64 106! CHECK: %[[lit:.*]] = fir.string_lit "Hello World"(11) : !fir.char<1,11> 107! CHECK: fir.has_value %[[lit]] : !fir.char<1,11> 108! CHECK: } 109