[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / 2007-10-12-CoalesceExtSubReg.ll
blob6658536bd34fd7e17955de575be6b1cf97c7971b
1 ; RUN: llc < %s -mtriple=i686-- | not grep movb
3 define signext i16 @f(i32* %bp, i32* %ss)   {
4 entry:
5         br label %cond_next127
7 cond_next127:           ; preds = %cond_next391, %entry
8         %v.1 = phi i32 [ undef, %entry ], [ %tmp411, %cond_next391 ]            ; <i32> [#uses=1]
9         %tmp149 = mul i32 0, %v.1               ; <i32> [#uses=0]
10         %tmpss = load i32, i32* %ss, align 4            ; <i32> [#uses=1]
11         %tmpbp = load i32, i32* %bp, align 4            ; <i32> [#uses=2]
12         %tmp254 = and i32 %tmpss, 15            ; <i32> [#uses=1]
13         %tmp256 = and i32 %tmpbp, 15            ; <i32> [#uses=2]
14         br label %cond_next391
16 cond_next391:           ; preds = %cond_next127
17         %tmp393 = load i32, i32* %ss, align 4           ; <i32> [#uses=1]
18         %tmp395 = load i32, i32* %bp, align 4           ; <i32> [#uses=2]
19         %tmp396 = shl i32 %tmp393, %tmp395              ; <i32> [#uses=2]
20         %tmp398 = sub i32 32, %tmp256           ; <i32> [#uses=2]
21         %tmp399 = lshr i32 %tmp396, %tmp398             ; <i32> [#uses=1]
22         %tmp405 = lshr i32 %tmp396, 31          ; <i32> [#uses=1]
23         %tmp406 = add i32 %tmp405, -1           ; <i32> [#uses=1]
24         %tmp409 = lshr i32 %tmp406, %tmp398             ; <i32> [#uses=1]
25         %tmp411 = sub i32 %tmp399, %tmp409              ; <i32> [#uses=1]
26         %tmp422445 = add i32 %tmp254, 0         ; <i32> [#uses=1]
27         %tmp426447 = add i32 %tmp395, %tmp256           ; <i32> [#uses=1]
28         store i32 %tmp426447, i32* %bp, align 4
29         %tmp429448 = icmp ult i32 %tmp422445, 63                ; <i1> [#uses=1]
30         br i1 %tmp429448, label %cond_next127, label %UnifiedReturnBlock
32 UnifiedReturnBlock:             ; preds = %cond_next391
33         ret i16 0