xref: /llvm-project/llvm/test/Analysis/RegionInfo/condition_complicated.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 internal fastcc zeroext i8 @handle_compress() nounwind {
9end165:
10  br i1 1, label %false239, label %true181
11
12true181:
13  br i1 1, label %then187, label %else232
14
15then187:
16  br label %end265
17
18else232:
19  br i1 1, label %false239, label %then245
20
21false239:
22  br i1 1, label %then245, label %else259
23
24then245:
25  br i1 1, label %then251, label %end253
26
27then251:
28  br label %end253
29
30end253:
31  br label %end265
32
33else259:
34  br label %end265
35
36end265:
37  br i1 1, label %then291, label %end298
38
39then291:
40  br label %end298
41
42end298:
43  ret i8 1
44}
45
46; CHECK-NOT: =>
47; CHECK: [0] end165 => <Function Return>
48; CHECK-NEXT: [1] end165 => end265
49; CHECK-NEXT: [2] then245 => end253
50; CHECK-NEXT: [1] end265 => end298
51
52; STAT: 4 region - The # of regions
53
54; BBIT: end165, false239, then245, then251, end253, end265, then291, end298, else259, true181, then187, else232,
55; BBIT: end165, false239, then245, then251, end253, else259, true181, then187, else232,
56; BBIT: then245, then251,
57; BBIT: end265, then291,
58
59; RNIT: end165 => end265, end265 => end298, end298,
60; RNIT: end165, false239, then245 => end253, end253, else259, true181, then187, else232,
61; RNIT: then245, then251,
62; RNIT: end265, then291,
63