[InstCombine] Signed saturation tests. NFC
[llvm-complete.git] / test / Transforms / JumpThreading / 2011-04-14-InfLoop.ll
blob0323723a3a858fba2dc4230303fa7b7c0d596278
1 ; RUN: opt -jump-threading < %s
2 ; <rdar://problem/9284786>
4 %0 = type <{ i64, i16, i64, i8, i8 }>
6 @g_338 = external global %0, align 8
8 define void @func_1() nounwind ssp {
9 entry:
10   ret void
12 for.cond1177:
13   %inc1187 = add nsw i32 0, 1
14   %cmp1179 = icmp slt i32 %inc1187, 5
15   br i1 %cmp1179, label %for.cond1177, label %land.rhs1320
17 land.rhs1320:
18   %tmp1324 = load volatile i64, i64* getelementptr inbounds (%0, %0* @g_338, i64 0, i32 2), align 1
19   br label %if.end.i
21 if.end.i:
22   %tobool.pr.i = phi i1 [ false, %if.end.i ], [ false, %land.rhs1320 ]
23   br i1 %tobool.pr.i, label %return, label %if.end.i
25 return:
26   ret void