[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / invalid-shift-immediate.ll
blob05802660f060b8099886cb34cdc023df548abe29
1 ; RUN: llc < %s
2 ; PR2098
4 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
5 target triple = "i386-apple-darwin8"
7 define void @foo(i32 %x) {
8 entry:
9         %x_addr = alloca i32            ; <i32*> [#uses=2]
10         %"alloca point" = bitcast i32 0 to i32          ; <i32> [#uses=0]
11         store i32 %x, i32* %x_addr
12         %tmp = load i32, i32* %x_addr, align 4          ; <i32> [#uses=1]
13         %tmp1 = ashr i32 %tmp, -2               ; <i32> [#uses=1]
14         %tmp2 = and i32 %tmp1, 1                ; <i32> [#uses=1]
15         %tmp23 = trunc i32 %tmp2 to i8          ; <i8> [#uses=1]
16         %toBool = icmp ne i8 %tmp23, 0          ; <i1> [#uses=1]
17         br i1 %toBool, label %bb, label %bb5
19 bb:             ; preds = %entry
20         %tmp4 = call i32 (...) @bar( ) nounwind                 ; <i32> [#uses=0]
21         br label %bb5
23 bb5:            ; preds = %bb, %entry
24         br label %return
26 return:         ; preds = %bb5
27         ret void
30 declare i32 @bar(...)