[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Analysis / RegionInfo / nested_loops.ll
blob5d47d792cd9247158bf085d35562690f6a220509
1 ; REQUIRES: asserts
2 ; RUN: opt -regions -analyze < %s | FileCheck %s
3 ; RUN: opt -regions -stats -disable-output < %s 2>&1 | FileCheck -check-prefix=STAT %s
5 ; RUN: opt -regions -print-region-style=bb  -analyze < %s 2>&1 | FileCheck -check-prefix=BBIT %s
6 ; RUN: opt -regions -print-region-style=rn  -analyze < %s 2>&1 | FileCheck -check-prefix=RNIT %s
8 ; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s
10 define internal fastcc zeroext i8 @handle_compress() nounwind {
11 entry:
12   br label %outer
14 outer:
15   br label %body
17 body:
18   br i1 1, label %exit172, label %end
20 exit172:
21   br i1 1, label %end, label %outer
23 end:
24   ret i8 1
26 ; CHECK-NOT: =>
27 ; CHECK: [0] entry => <Function Return>
28 ; CHECK-NEXT: [1] outer => end
30 ; STAT: 2 region - The # of regions
32 ; BBIT: entry, outer, body, exit172, end,
33 ; BBIT: outer, body, exit172,
35 ; RNIT: entry, outer => end, end,
36 ; RNIT: outer, body, exit172,