llvm-project

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
37