xref: /llvm-project/llvm/test/Analysis/RegionInfo/infinite_loop_3.ll (revision 50153213c80286c6c91da4612aaf234cc6438c63)
1; REQUIRES: asserts
2
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
7
8define void @normal_condition() nounwind {
9"0":
10	br label %"7"
11"7":
12	br i1 1, label %"1", label %"8"
13"1":
14	br i1 1, label %"2", label %"3"
15"2":
16	br label %"5"
17"5":
18	br i1 1, label %"11", label %"12"
19"11":
20        br label %"6"
21"12":
22        br label %"6"
23"6":
24        br label %"2"
25"8":
26	br label %"9"
27"9":
28	br i1 1, label %"13", label %"14"
29"13":
30        br label %"10"
31"14":
32        br label %"10"
33"10":
34        br label %"8"
35"3":
36	br label %"4"
37"4":
38	ret void
39}
40; CHECK-NOT: =>
41; CHECK:[0] 0 => <Function Return>
42; CHECK-NOT:  [1]
43; STAT: 1 region - The # of regions
44
45; BBIT: 0, 7, 1, 2, 5, 11, 6, 12, 3, 4, 8, 9, 13, 10, 14,
46
47; RNIT: 0, 7, 1, 2, 5, 11, 6, 12, 3, 4, 8, 9, 13, 10, 14,
48