[InstCombine] Signed saturation patterns
[llvm-core.git] / test / CodeGen / X86 / 2010-03-04-Mul8Bug.ll
blob48e75e957248a8fc7129df2ad4205804718a39a4
1 ; RUN: llc < %s
2 ; PR6489
4 ; This test case produces a MUL8 instruction and then tries to read the result
5 ; from the AX register instead of AH/AL. That confuses live interval analysis.
7 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
8 target triple = "x86_64-apple-darwin10.0.0"
10 define void @func_56(i64 %p_57, i32*** %p_58) nounwind ssp {
11 for.end:
12   %conv49 = trunc i32 undef to i8                 ; <i8> [#uses=1]
13   %div.i = udiv i8 %conv49, 5                     ; <i8> [#uses=1]
14   %conv51 = zext i8 %div.i to i32                 ; <i32> [#uses=1]
15   %call55 = call i32 @qux(i32 undef, i32 -2) nounwind ; <i32> [#uses=1]
16   %rem.i = urem i32 %call55, -1                   ; <i32> [#uses=1]
17   %cmp57 = icmp uge i32 %conv51, %rem.i           ; <i1> [#uses=1]
18   %conv58 = zext i1 %cmp57 to i32                 ; <i32> [#uses=1]
19   %call85 = call i32 @func_35(i32*** undef, i32 undef, i32 %conv58, i32 1247, i32 0) nounwind ; <i32> [#uses=0]
20   ret void
23 declare i32 @func_35(i32***, i32, i32, i32, i32)
25 declare i32 @qux(i32, i32)