xref: /llvm-project/llvm/test/Analysis/RegionInfo/infinite_loop_2.ll (revision 50153213c80286c6c91da4612aaf234cc6438c63)
1; REQUIRES: asserts
2; RUN: opt -passes='print<regions>' -disable-output < %s
3; RUN: opt < %s -passes='print<regions>' -stats 2>&1 | FileCheck -check-prefix=STAT %s
4; RUN: opt -passes='print<regions>' -print-region-style=bb < %s 2>&1 | FileCheck -check-prefix=BBIT %s
5; RUN: opt -passes='print<regions>' -print-region-style=rn < %s 2>&1 | FileCheck -check-prefix=RNIT %s
6
7define void @normal_condition() nounwind {
8"0":
9	br label %"1"
10"1":
11	br i1 1, label %"2", label %"3"
12"2":
13	br label %"5"
14"5":
15	br i1 1, label %"11", label %"12"
16"11":
17        br label %"6"
18"12":
19        br label %"6"
20"6":
21        br label %"2"
22"3":
23	br label %"4"
24"4":
25	ret void
26}
27; CHECK-NOT: =>
28; CHECK: [0] 0 => <Function Return>
29; CHECK-NOT: [1]
30; STAT: 1 region - The # of regions
31
32; BBIT:  0, 1, 2, 5, 11, 6, 12, 3, 4,
33
34; RNIT: 0, 1, 2, 5, 11, 6, 12, 3, 4,
35