30 lines · plain
1// RUN: fir-opt --character-conversion %s | FileCheck %s2 3func.func @char_convert() {4 %1 = fir.undefined i325 %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 return9}10 11// CHECK-LABEL: func @char_convert() {12// CHECK: %[[VAL_0:.*]] = fir.undefined i3213// 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 : index16// CHECK: %[[VAL_4:.*]] = arith.constant 1 : index17// CHECK: %[[VAL_5:.*]] = fir.convert %[[VAL_0]] : (i32) -> index18// CHECK: %[[VAL_6:.*]] = arith.subi %[[VAL_5]], %[[VAL_4]] : index19// 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 i1626// CHECK: fir.store %[[VAL_13]] to %[[VAL_11]] : !fir.ref<i16>27// CHECK: }28// CHECK: return29// CHECK: }30