[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / pr2585.ll
blob415164c87447cbe329020609fe7e4ea74a1ff1af
1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2 ; RUN: llc < %s -mtriple=i686-unknown-unknown -mattr=+sse2 | FileCheck %s --check-prefix=X32
3 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+sse2 | FileCheck %s --check-prefix=X64
5 @0 = external constant <4 x i32>                ; <<4 x i32>*>:0 [#uses=1]
6 @1 = external constant <4 x i16>                ; <<4 x i16>*>:1 [#uses=1]
8 define internal void @PR2585() {
9 ; X32-LABEL: PR2585:
10 ; X32:       # %bb.0:
11 ; X32-NEXT:    pshuflw {{.*#+}} xmm0 = mem[0,2,2,3,4,5,6,7]
12 ; X32-NEXT:    pshufhw {{.*#+}} xmm0 = xmm0[0,1,2,3,4,6,6,7]
13 ; X32-NEXT:    pshufd {{.*#+}} xmm0 = xmm0[0,2,2,3]
14 ; X32-NEXT:    movq %xmm0, __unnamed_2
15 ; X32-NEXT:    retl
17 ; X64-LABEL: PR2585:
18 ; X64:       # %bb.0:
19 ; X64-NEXT:    pshuflw {{.*#+}} xmm0 = mem[0,2,2,3,4,5,6,7]
20 ; X64-NEXT:    pshufhw {{.*#+}} xmm0 = xmm0[0,1,2,3,4,6,6,7]
21 ; X64-NEXT:    pshufd {{.*#+}} xmm0 = xmm0[0,2,2,3]
22 ; X64-NEXT:    movq %xmm0, {{.*}}(%rip)
23 ; X64-NEXT:    retq
24         load <4 x i32>, <4 x i32>* @0, align 16         ; <<4 x i32>>:1 [#uses=1]
25         bitcast <4 x i32> %1 to <8 x i16>               ; <<8 x i16>>:2 [#uses=1]
26         shufflevector <8 x i16> %2, <8 x i16> undef, <8 x i32> < i32 0, i32 2, i32 4, i32 6, i32 undef, i32 undef, i32 undef, i32 undef >               ; <<8 x i16>>:3 [#uses=1]
27         bitcast <8 x i16> %3 to <2 x i64>               ; <<2 x i64>>:4 [#uses=1]
28         extractelement <2 x i64> %4, i32 0              ; <i64>:5 [#uses=1]
29         bitcast i64 %5 to <4 x i16>             ; <<4 x i16>>:6 [#uses=1]
30         store <4 x i16> %6, <4 x i16>* @1, align 8
31         ret void