[InstCombine] Signed saturation tests. NFC
[llvm-complete.git] / test / Analysis / RegionInfo / infinite_loop_5_a.ll
blobbf56add87ac1125b7c35dec24e1b10a02d1110fc
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 label %"8"
14 "3":
15     br label %"4"
16 "4":
17     ret void
20 ; CHECK:      Region tree:
21 ; CHECK-NEXT: [0] 0 => <Function Return>
22 ; CHECK-NEXT: End region tree