[mlir][LLVM] `LLVMTypeConverter`: Tighten materialization checks (#116532)
[llvm-project.git] / llvm / test / Analysis / RegionInfo / condition_simple.ll
blobb6cbb9ca21e9ce8f15e7e8111aaf03eb660c17cf
1 ; REQUIRES: asserts
3 ; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s
4 ; RUN: opt < %s -passes='print<regions>' -stats 2>&1 | FileCheck -check-prefix=STAT %s
5 ; RUN: opt -passes='print<regions>' -print-region-style=bb < %s 2>&1 | FileCheck -check-prefix=BBIT %s
6 ; RUN: opt -passes='print<regions>' -print-region-style=rn < %s 2>&1 | FileCheck -check-prefix=RNIT %s
8 define void @normal_condition() nounwind {
9 "0":
10         br label %"1"
11 "1":
12         br i1 1, label %"2", label %"3"
13 "2":
14         br label %"4"
15 "3":
16         br label %"4"
17 "4":
18         ret void
21 ; CHECK-NOT: =>
22 ; CHECK: [0] 0 => <Function Return>
23 ; CHECK-NEXT: [1] 1 => 4
24 ; STAT: 2 region - The # of regions
26 ; BBIT: 0, 1, 2, 4, 3,
27 ; BBIT: 1, 2, 3,
29 ; RNIT: 0, 1 => 4, 4,
30 ; RNIT: 1, 2, 3,