| 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> |
| Jean Perier | c373eeb | 2023-01-17 10:22:33 | [diff] [blame] | 36 | |
| 37 | func.func @array_expr_move(%arg0: !fir.ref<!fir.array<10xi32>>, %must_free: i1) { |
| 38 | %0 = hlfir.as_expr %arg0 move %must_free : (!fir.ref<!fir.array<10xi32>>, i1) -> !hlfir.expr<10xi32> |
| 39 | return |
| 40 | } |
| 41 | // CHECK-LABEL: func.func @array_expr_move( |
| 42 | // CHECK-SAME: %[[VAL_0:.*]]: !fir.ref<!fir.array<10xi32>>, |
| 43 | // CHECK-SAME: %[[VAL_1:.*]]: i1) { |
| 44 | // CHECK: hlfir.as_expr %[[VAL_0]] move %[[VAL_1]] : (!fir.ref<!fir.array<10xi32>>, i1) -> !hlfir.expr<10xi32> |
