[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / vec_shift.ll
blob66cf8a9c3dc64500616814ae6b23beb4f103833b
1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2 ; RUN: llc < %s -mtriple=i686-unknown -mattr=+sse2 | FileCheck %s --check-prefix=X32
3 ; RUN: llc < %s -mtriple=x86_64-unknown -mattr=+sse2 | FileCheck %s --check-prefix=X64
5 define <2 x i64> @t1(<2 x i64> %b1, <2 x i64> %c) nounwind  {
6 ; X32-LABEL: t1:
7 ; X32:       # %bb.0: # %entry
8 ; X32-NEXT:    psllw %xmm1, %xmm0
9 ; X32-NEXT:    retl
11 ; X64-LABEL: t1:
12 ; X64:       # %bb.0: # %entry
13 ; X64-NEXT:    psllw %xmm1, %xmm0
14 ; X64-NEXT:    retq
15 entry:
16         %tmp6 = bitcast <2 x i64> %c to <8 x i16>               ; <<8 x i16>> [#uses=1]
17         %tmp8 = bitcast <2 x i64> %b1 to <8 x i16>              ; <<8 x i16>> [#uses=1]
18         %tmp9 = tail call <8 x i16> @llvm.x86.sse2.psll.w( <8 x i16> %tmp8, <8 x i16> %tmp6 ) nounwind readnone                 ; <<8 x i16>> [#uses=1]
19         %tmp10 = bitcast <8 x i16> %tmp9 to <2 x i64>           ; <<2 x i64>> [#uses=1]
20         ret <2 x i64> %tmp10
23 define <2 x i64> @t3(<2 x i64> %b1, i32 %c) nounwind  {
24 ; X32-LABEL: t3:
25 ; X32:       # %bb.0: # %entry
26 ; X32-NEXT:    movd {{.*#+}} xmm1 = mem[0],zero,zero,zero
27 ; X32-NEXT:    psraw %xmm1, %xmm0
28 ; X32-NEXT:    retl
30 ; X64-LABEL: t3:
31 ; X64:       # %bb.0: # %entry
32 ; X64-NEXT:    movd %edi, %xmm1
33 ; X64-NEXT:    psraw %xmm1, %xmm0
34 ; X64-NEXT:    retq
35 entry:
36         %tmp2 = bitcast <2 x i64> %b1 to <8 x i16>              ; <<8 x i16>> [#uses=1]
37         %tmp4 = insertelement <4 x i32> undef, i32 %c, i32 0            ; <<4 x i32>> [#uses=1]
38         %tmp8 = bitcast <4 x i32> %tmp4 to <8 x i16>            ; <<8 x i16>> [#uses=1]
39         %tmp9 = tail call <8 x i16> @llvm.x86.sse2.psra.w( <8 x i16> %tmp2, <8 x i16> %tmp8 )           ; <<8 x i16>> [#uses=1]
40         %tmp11 = bitcast <8 x i16> %tmp9 to <2 x i64>           ; <<2 x i64>> [#uses=1]
41         ret <2 x i64> %tmp11
44 declare <8 x i16> @llvm.x86.sse2.psra.w(<8 x i16>, <8 x i16>) nounwind readnone
46 define <2 x i64> @t2(<2 x i64> %b1, <2 x i64> %c) nounwind  {
47 ; X32-LABEL: t2:
48 ; X32:       # %bb.0: # %entry
49 ; X32-NEXT:    psrlq %xmm1, %xmm0
50 ; X32-NEXT:    retl
52 ; X64-LABEL: t2:
53 ; X64:       # %bb.0: # %entry
54 ; X64-NEXT:    psrlq %xmm1, %xmm0
55 ; X64-NEXT:    retq
56 entry:
57         %tmp9 = tail call <2 x i64> @llvm.x86.sse2.psrl.q( <2 x i64> %b1, <2 x i64> %c ) nounwind readnone              ; <<2 x i64>> [#uses=1]
58         ret <2 x i64> %tmp9
61 declare <2 x i64> @llvm.x86.sse2.psrl.q(<2 x i64>, <2 x i64>) nounwind readnone
63 declare <8 x i16> @llvm.x86.sse2.psll.w(<8 x i16>, <8 x i16>) nounwind readnone