[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / pr33396.ll
blobb2053a4ea33db509edeafa79eab2296da712e834
1 ; Make sure we don't crash because we have stale loop infos.
2 ; REQUIRES: asserts
3 ; RUN: llc -o /dev/null -verify-loop-info %s
5 target triple = "x86_64-unknown-linux-gnu"
7 @global = external global [2 x i8], align 2
8 @global.1 = external global [2 x i8], align 2
10 define void @patatino(i8 %tinky) {
11 bb:
12   br label %bb1
14 bb1:
15   br i1 icmp ne (i8* getelementptr ([2 x i8], [2 x i8]* @global.1, i64 0, i64 1),
16                  i8* getelementptr ([2 x i8], [2 x i8]* @global, i64 0, i64 1)), label %bb2, label %bb3
18 bb2:
19   br label %bb3
21 bb3:
22   %tmp = phi i32 [ 60, %bb2 ],
23                  [ sdiv (i32 60, i32 zext (i1 icmp eq (i8* getelementptr ([2 x i8], [2 x i8]* @global.1, i64 0, i64 1),
24                                            i8* getelementptr ([2 x i8], [2 x i8]* @global, i64 0, i64 1)) to i32)), %bb1 ]
25   %tmp4 = icmp slt i8 %tinky, -4
26   br label %bb1