flang/test/HLFIR/no_reassoc.fir

   1 // Test hlfir.no_reassoc operation parse, verify (no errors), and unparse.
   2
   3 // RUN: fir-opt %s | fir-opt | FileCheck %s
   4
   5 func.func @no_reassoc_value(%arg0: i32) {
   6   %0 = hlfir.no_reassoc %arg0 : i32
   7   return
   8 }
   9 // CHECK-LABEL: func.func @no_reassoc_value(
  10 // CHECK-SAME:    %[[VAL_0:.*]]: i32) {
  11 // CHECK:   hlfir.no_reassoc %[[VAL_0]] : i32
  12
  13 func.func @no_reassoc_var(%arg0: !fir.ref<i32>) {
  14   %0 = hlfir.no_reassoc %arg0 : !fir.ref<i32>
  15   return
  16 }
  17 // CHECK-LABEL: func.func @no_reassoc_var(
  18 // CHECK-SAME:    %[[VAL_0:.*]]: !fir.ref<i32>) {
  19 // CHECK:   hlfir.no_reassoc %[[VAL_0]] : !fir.ref<i32>
  20
  21 func.func @no_reassoc_expr(%arg0: !hlfir.expr<10xi32>) {
  22   %0 = hlfir.no_reassoc %arg0 : !hlfir.expr<10xi32>
  23   return
  24 }
  25 // CHECK-LABEL: func.func @no_reassoc_expr(
  26 // CHECK-SAME:    %[[VAL_0:.*]]: !hlfir.expr<10xi32>) {
  27 // CHECK:   hlfir.no_reassoc %[[VAL_0]] : !hlfir.expr<10xi32>