flang/test/Fir/simplify-region-lite-after-inliner.fir

   1 // RUN: tco %s | FileCheck %s
   2
   3
   4 // In flang pipeline, the inliner calls createCanonicalizerPass with the region
   5 // simplification disabled. The inliner pass does canonicalization even if
   6 // no inlining happens. After canonicalization, FIR lite region simplification
   7 // must be called to get rid of unreachable regions.
   8 // This code exposes the need to run SimplifyRegionLitePass after the inliner is
   9 // called with FIR pipeline.
  10
  11
  12 func.func @repro(%arg0: i8, %arg1: i8) {
  13   %c34_i8 = arith.constant 34 : i8
  14   %c-1_i8 = arith.constant -1 : i8
  15   %2 = arith.xori %c34_i8, %c-1_i8 : i8
  16   %3 = arith.andi %arg0, %c34_i8 : i8
  17   %4 = arith.andi %arg1, %2 : i8
  18   %5 = arith.ori %3, %4 : i8
  19   %c34_i8_0 = arith.constant 34 : i8
  20   %7 = arith.andi %arg0, %c34_i8_0 : i8
  21   %c-35_i8 = arith.constant -35 : i8
  22   %9 = arith.andi %arg1, %c-35_i8 : i8
  23   %10 = arith.ori %7, %9 : i8
  24   %11 = arith.cmpi ne, %5, %10 : i8
  25   cf.cond_br %11, ^bb1, ^bb2
  26 ^bb1:  // pred: ^bb0
  27   %13 = func.call @foo() : () -> none
  28   cf.br ^bb2
  29 ^bb2:  // pred: ^bb0, ^bb2
  30   return
  31 }
  32 func.func private @foo() -> none
  33
  34
  35 // CHECK: define void @repro(i8 %0, i8 %1)
  36 //   CHECK-NEXT  ret void