1// RUN: fir-opt --character-conversion %s | FileCheck %s 2 3func.func @char_convert() { 4 %1 = fir.undefined i32 5 %2 = fir.undefined !fir.ref<!fir.char<1>> 6 %3 = fir.undefined !fir.ref<!fir.array<?x!fir.char<2,?>>> 7 fir.char_convert %2 for %1 to %3 : !fir.ref<!fir.char<1>>, i32, !fir.ref<!fir.array<?x!fir.char<2,?>>> 8 return 9} 10 11// CHECK-LABEL: func @char_convert() { 12// CHECK: %[[VAL_0:.*]] = fir.undefined i32 13// CHECK: %[[VAL_1:.*]] = fir.undefined !fir.ref<!fir.char<1>> 14// CHECK: %[[VAL_2:.*]] = fir.undefined !fir.ref<!fir.array<?x!fir.char<2,?>>> 15// CHECK: %[[VAL_3:.*]] = arith.constant 0 : index 16// CHECK: %[[VAL_4:.*]] = arith.constant 1 : index 17// CHECK: %[[VAL_5:.*]] = fir.convert %[[VAL_0]] : (i32) -> index 18// CHECK: %[[VAL_6:.*]] = arith.subi %[[VAL_5]], %[[VAL_4]] : index 19// CHECK: fir.do_loop %[[VAL_7:.*]] = %[[VAL_3]] to %[[VAL_6]] step %[[VAL_4]] { 20// CHECK: %[[VAL_8:.*]] = fir.convert %[[VAL_1]] : (!fir.ref<!fir.char<1>>) -> !fir.ref<!fir.array<?xi8>> 21// CHECK: %[[VAL_9:.*]] = fir.convert %[[VAL_2]] : (!fir.ref<!fir.array<?x!fir.char<2,?>>>) -> !fir.ref<!fir.array<?xi16>> 22// CHECK: %[[VAL_10:.*]] = fir.coordinate_of %[[VAL_8]], %[[VAL_7]] : (!fir.ref<!fir.array<?xi8>>, index) -> !fir.ref<i8> 23// CHECK: %[[VAL_11:.*]] = fir.coordinate_of %[[VAL_9]], %[[VAL_7]] : (!fir.ref<!fir.array<?xi16>>, index) -> !fir.ref<i16> 24// CHECK: %[[VAL_12:.*]] = fir.load %[[VAL_10]] : !fir.ref<i8> 25// CHECK: %[[VAL_13:.*]] = arith.extui %[[VAL_12]] : i8 to i16 26// CHECK: fir.store %[[VAL_13]] to %[[VAL_11]] : !fir.ref<i16> 27// CHECK: } 28// CHECK: return 29// CHECK: } 30