[mlir][int-range] Limit xor int range inference to i1 (#116968)
[llvm-project.git] / llvm / test / Analysis / PostDominators / pr6047_a.ll
blobd9ce4be3d9b7a05806d7aa5e7ffaa290c887f9e1
1 ; RUN: opt < %s -passes='print<postdomtree>' 2>&1 | FileCheck %s
2 define internal void @f(i1 %arg) {
3 entry:
4   br i1 %arg, label %bb35, label %bb3.i
6 bb3.i:
7   br label %bb3.i
9 bb35.loopexit3:
10   br label %bb35
12 bb35:
13   ret void
16 ;CHECK:Inorder PostDominator Tree:
17 ;CHECK-NEXT:  [1]  <<exit node>>
18 ;CHECK-NEXT:    [2] %bb35
19 ;CHECK-NEXT:      [3] %bb35.loopexit3
20 ;CHECK-NEXT:    [2] %entry
21 ;CHECK-NEXT:    [2] %bb3.i