| Jean Perier | cf73fae | 2022-12-07 13:43:29 | [diff] [blame^] | 1 | // Test hlfir.as_expr operation parse, verify (no errors), and unparse. |
| 2 | |
| 3 | // RUN: fir-opt %s | fir-opt | FileCheck %s |
| 4 | |
| 5 | func.func @char_expr(%arg0: !fir.boxchar<1>) { |
| 6 | %0 = hlfir.as_expr %arg0 : (!fir.boxchar<1>) -> !hlfir.expr<!fir.char<1,?>> |
| 7 | return |
| 8 | } |
| 9 | // CHECK-LABEL: func.func @char_expr( |
| 10 | // CHECK-SAME: %[[VAL_0:.*]]: !fir.boxchar<1>) { |
| 11 | // CHECK: hlfir.as_expr %[[VAL_0]] : (!fir.boxchar<1>) -> !hlfir.expr<!fir.char<1,?>> |
| 12 | |
| 13 | func.func @char_expr_2(%arg0: !fir.ref<!fir.char<1,10>>) { |
| 14 | %0 = hlfir.as_expr %arg0 : (!fir.ref<!fir.char<1,10>>) -> !hlfir.expr<!fir.char<1,10>> |
| 15 | return |
| 16 | } |
| 17 | // CHECK-LABEL: func.func @char_expr_2( |
| 18 | // CHECK-SAME: %[[VAL_0:.*]]: !fir.ref<!fir.char<1,10>>) { |
| 19 | // CHECK: hlfir.as_expr %[[VAL_0]] : (!fir.ref<!fir.char<1,10>>) -> !hlfir.expr<!fir.char<1,10>> |
| 20 | |
| 21 | func.func @array_expr(%arg0: !fir.box<!fir.array<?xi32>>) { |
| 22 | %0 = hlfir.as_expr %arg0 : (!fir.box<!fir.array<?xi32>>) -> !hlfir.expr<?xi32> |
| 23 | return |
| 24 | } |
| 25 | // CHECK-LABEL: func.func @array_expr( |
| 26 | // CHECK-SAME: %[[VAL_0:.*]]: !fir.box<!fir.array<?xi32>>) { |
| 27 | // CHECK: hlfir.as_expr %[[VAL_0]] : (!fir.box<!fir.array<?xi32>>) -> !hlfir.expr<?xi32> |
| 28 | |
| 29 | func.func @array_expr_2(%arg0: !fir.ref<!fir.array<10xi32>>) { |
| 30 | %0 = hlfir.as_expr %arg0 : (!fir.ref<!fir.array<10xi32>>) -> !hlfir.expr<10xi32> |
| 31 | return |
| 32 | } |
| 33 | // CHECK-LABEL: func.func @array_expr_2( |
| 34 | // CHECK-SAME: %[[VAL_0:.*]]: !fir.ref<!fir.array<10xi32>>) { |
| 35 | // CHECK: hlfir.as_expr %[[VAL_0]] : (!fir.ref<!fir.array<10xi32>>) -> !hlfir.expr<10xi32> |
