xref: /llvm-project/llvm/test/Analysis/RegionInfo/condition_complicated_2.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 void @compress() nounwind {
9end33:
10  br i1 1, label %end124, label %lor.lhs.false95
11
12lor.lhs.false95:
13  br i1 1, label %then107, label %end172
14
15then107:
16  br i1 1, label %end124, label %then113
17
18then113:
19  br label %end124
20
21end124:
22  br label %exit
23
24end172:
25  br label %exit
26
27
28exit:
29  unreachable
30
31
32}
33; CHECK-NOT: =>
34; CHECK: [0] end33 => <Function Return>
35; CHECK-NEXT:      [1] end33 => exit
36; CHECK-NEXT:   [2] then107 => end124
37
38; STAT: 3 region - The # of regions
39
40; BBIT: end33, end124, exit, lor.lhs.false95, then107, then113, end172,
41; BBIT: end33, end124, lor.lhs.false95, then107, then113, end172,
42; BBIT: then107, then113,
43
44; RNIT: end33 => exit, exit,
45; RNIT: end33, end124, lor.lhs.false95, then107 => end124, end172,
46; RNIT: then107, then113,
47