xref: /llvm-project/llvm/test/Analysis/RegionInfo/exit_in_condition.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 {
9entry:
10  br label %outer
11
12outer:
13  br label %body
14
15body:
16  br i1 1, label %body.i, label %if.end
17
18body.i:
19  br i1 1, label %end, label %if.end
20
21if.end:
22  br label %if.then64
23
24if.then64:
25  br label %outer
26
27end:
28  ret i8 1
29}
30; CHECK-NOT: =>
31; CHECK: [0] entry => <Function Return>
32; CHECK-NEXT: [1] outer => end
33; STAT: 2 region - The # of regions
34; STAT: 1 region - The # of simple regions
35
36; BBIT: entry, outer, body, body.i, end, if.end, if.then64,
37; BBIT: outer, body, body.i, if.end, if.then64,
38
39; RNIT: entry, outer => end, end,
40; RNIT: outer, body, body.i, if.end, if.then64,
41