[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / PowerPC / rlwimi2.ll
blob4474ddf759df4e2995dddfe8a2a8da5f76eddb58
1 ; All of these ands and shifts should be folded into rlwimi's
2 ; RUN: llc -verify-machineinstrs < %s -mtriple=ppc32-- -o %t
3 ; RUN: grep rlwimi %t | count 4
4 ; RUN: not grep srwi %t
5 ; RUN: not grep slwi %t
7 define i16 @test1(i32 %srcA, i32 %srcB, i32 %alpha) nounwind {
8 entry:
9         %tmp.1 = shl i32 %srcA, 15              ; <i32> [#uses=1]
10         %tmp.4 = and i32 %tmp.1, 32505856               ; <i32> [#uses=1]
11         %tmp.6 = and i32 %srcA, 31775           ; <i32> [#uses=1]
12         %tmp.7 = or i32 %tmp.4, %tmp.6          ; <i32> [#uses=1]
13         %tmp.9 = shl i32 %srcB, 15              ; <i32> [#uses=1]
14         %tmp.12 = and i32 %tmp.9, 32505856              ; <i32> [#uses=1]
15         %tmp.14 = and i32 %srcB, 31775          ; <i32> [#uses=1]
16         %tmp.15 = or i32 %tmp.12, %tmp.14               ; <i32> [#uses=1]
17         %tmp.18 = mul i32 %tmp.7, %alpha                ; <i32> [#uses=1]
18         %tmp.20 = sub i32 32, %alpha            ; <i32> [#uses=1]
19         %tmp.22 = mul i32 %tmp.15, %tmp.20              ; <i32> [#uses=1]
20         %tmp.23 = add i32 %tmp.22, %tmp.18              ; <i32> [#uses=2]
21         %tmp.27 = lshr i32 %tmp.23, 5           ; <i32> [#uses=1]
22         %tmp.28 = trunc i32 %tmp.27 to i16              ; <i16> [#uses=1]
23         %tmp.29 = and i16 %tmp.28, 31775                ; <i16> [#uses=1]
24         %tmp.33 = lshr i32 %tmp.23, 20          ; <i32> [#uses=1]
25         %tmp.34 = trunc i32 %tmp.33 to i16              ; <i16> [#uses=1]
26         %tmp.35 = and i16 %tmp.34, 992          ; <i16> [#uses=1]
27         %tmp.36 = or i16 %tmp.29, %tmp.35               ; <i16> [#uses=1]
28         ret i16 %tmp.36