[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Analysis / RegionInfo / infinite_loop_5_c.ll
blob0508d0a45bda56c0d6db2faec3e9b353cf7efb60
1 ; RUN: opt -regions -analyze < %s | FileCheck %s
3 define void @normal_condition() nounwind {
4 "0":
5     br label %"7"
6 "7":
7     br i1 1, label %"1", label %"8"
8 "1":
9     br i1 1, label %"6", label %"3"
10 "6":
11     br label %"8"
12 "8":
13     br i1 1, label %"8", label %"7"
14 "3":
15     br label %"4"
16 "4":
17     ret void
20 ; CHECK:      [0] 0 => <Function Return>
21 ; CHECK-NEXT:   [1] 7 => 3
22 ; CHECK-NEXT:     [2] 8 => 7