diff options
Diffstat (limited to 'llvm/test/CodeGen/X86/vshift-1.ll')
| -rw-r--r-- | llvm/test/CodeGen/X86/vshift-1.ll | 104 | 
1 files changed, 87 insertions, 17 deletions
diff --git a/llvm/test/CodeGen/X86/vshift-1.ll b/llvm/test/CodeGen/X86/vshift-1.ll index b8a67676586..7ad5706592e 100644 --- a/llvm/test/CodeGen/X86/vshift-1.ll +++ b/llvm/test/CodeGen/X86/vshift-1.ll @@ -1,22 +1,49 @@ -; RUN: llc < %s -march=x86 -mattr=+sse2 | FileCheck %s +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py +; RUN: llc < %s -mtriple=i686-unknown -mattr=+sse2 | FileCheck %s --check-prefix=CHECK --check-prefix=X32 +; RUN: llc < %s -mtriple=x86_64-unknown -mattr=+sse2 | FileCheck %s --check-prefix=CHECK --check-prefix=X64  ; test vector shifts converted to proper SSE2 vector shifts when the shift  ; amounts are the same.  define void @shift1a(<2 x i64> %val, <2 x i64>* %dst) nounwind { +; X32-LABEL: shift1a: +; X32:       # BB#0: # %entry +; X32-NEXT:    movl {{[0-9]+}}(%esp), %eax +; X32-NEXT:    psllq $32, %xmm0 +; X32-NEXT:    movdqa %xmm0, (%eax) +; X32-NEXT:    retl +; +; X64-LABEL: shift1a: +; X64:       # BB#0: # %entry +; X64-NEXT:    psllq $32, %xmm0 +; X64-NEXT:    movdqa %xmm0, (%rdi) +; X64-NEXT:    retq  entry: -; CHECK-LABEL: shift1a: -; CHECK: psllq    %shl = shl <2 x i64> %val, < i64 32, i64 32 >    store <2 x i64> %shl, <2 x i64>* %dst    ret void  }  define void @shift1b(<2 x i64> %val, <2 x i64>* %dst, i64 %amt) nounwind { +; X32-LABEL: shift1b: +; X32:       # BB#0: # %entry +; X32-NEXT:    movl {{[0-9]+}}(%esp), %eax +; X32-NEXT:    movd {{.*#+}} xmm1 = mem[0],zero,zero,zero +; X32-NEXT:    pshufd {{.*#+}} xmm1 = xmm1[0,0,1,1] +; X32-NEXT:    movd {{.*#+}} xmm2 = mem[0],zero,zero,zero +; X32-NEXT:    pshufd {{.*#+}} xmm2 = xmm2[0,0,1,1] +; X32-NEXT:    punpckldq {{.*#+}} xmm2 = xmm2[0],xmm1[0],xmm2[1],xmm1[1] +; X32-NEXT:    psllq %xmm2, %xmm0 +; X32-NEXT:    movdqa %xmm0, (%eax) +; X32-NEXT:    retl +; +; X64-LABEL: shift1b: +; X64:       # BB#0: # %entry +; X64-NEXT:    movd %rsi, %xmm1 +; X64-NEXT:    psllq %xmm1, %xmm0 +; X64-NEXT:    movdqa %xmm0, (%rdi) +; X64-NEXT:    retq  entry: -; CHECK-LABEL: shift1b: -; CHECK: movd -; CHECK: psllq    %0 = insertelement <2 x i64> undef, i64 %amt, i32 0    %1 = insertelement <2 x i64> %0, i64 %amt, i32 1    %shl = shl <2 x i64> %val, %1 @@ -26,19 +53,40 @@ entry:  define void @shift2a(<4 x i32> %val, <4 x i32>* %dst) nounwind { +; X32-LABEL: shift2a: +; X32:       # BB#0: # %entry +; X32-NEXT:    movl {{[0-9]+}}(%esp), %eax +; X32-NEXT:    pslld $5, %xmm0 +; X32-NEXT:    movdqa %xmm0, (%eax) +; X32-NEXT:    retl +; +; X64-LABEL: shift2a: +; X64:       # BB#0: # %entry +; X64-NEXT:    pslld $5, %xmm0 +; X64-NEXT:    movdqa %xmm0, (%rdi) +; X64-NEXT:    retq  entry: -; CHECK-LABEL: shift2a: -; CHECK: pslld    %shl = shl <4 x i32> %val, < i32 5, i32 5, i32 5, i32 5 >    store <4 x i32> %shl, <4 x i32>* %dst    ret void  }  define void @shift2b(<4 x i32> %val, <4 x i32>* %dst, i32 %amt) nounwind { +; X32-LABEL: shift2b: +; X32:       # BB#0: # %entry +; X32-NEXT:    movl {{[0-9]+}}(%esp), %eax +; X32-NEXT:    movd {{.*#+}} xmm1 = mem[0],zero,zero,zero +; X32-NEXT:    pslld %xmm1, %xmm0 +; X32-NEXT:    movdqa %xmm0, (%eax) +; X32-NEXT:    retl +; +; X64-LABEL: shift2b: +; X64:       # BB#0: # %entry +; X64-NEXT:    movd %esi, %xmm1 +; X64-NEXT:    pslld %xmm1, %xmm0 +; X64-NEXT:    movdqa %xmm0, (%rdi) +; X64-NEXT:    retq  entry: -; CHECK-LABEL: shift2b: -; CHECK: movd -; CHECK: pslld    %0 = insertelement <4 x i32> undef, i32 %amt, i32 0    %1 = insertelement <4 x i32> %0, i32 %amt, i32 1    %2 = insertelement <4 x i32> %1, i32 %amt, i32 2 @@ -49,9 +97,19 @@ entry:  }  define void @shift3a(<8 x i16> %val, <8 x i16>* %dst) nounwind { +; X32-LABEL: shift3a: +; X32:       # BB#0: # %entry +; X32-NEXT:    movl {{[0-9]+}}(%esp), %eax +; X32-NEXT:    psllw $5, %xmm0 +; X32-NEXT:    movdqa %xmm0, (%eax) +; X32-NEXT:    retl +; +; X64-LABEL: shift3a: +; X64:       # BB#0: # %entry +; X64-NEXT:    psllw $5, %xmm0 +; X64-NEXT:    movdqa %xmm0, (%rdi) +; X64-NEXT:    retq  entry: -; CHECK-LABEL: shift3a: -; CHECK: psllw    %shl = shl <8 x i16> %val, < i16 5, i16 5, i16 5, i16 5, i16 5, i16 5, i16 5, i16 5 >    store <8 x i16> %shl, <8 x i16>* %dst    ret void @@ -59,11 +117,23 @@ entry:  ; Make sure the shift amount is properly zero extended.  define void @shift3b(<8 x i16> %val, <8 x i16>* %dst, i16 %amt) nounwind { +; X32-LABEL: shift3b: +; X32:       # BB#0: # %entry +; X32-NEXT:    movl {{[0-9]+}}(%esp), %eax +; X32-NEXT:    movzwl {{[0-9]+}}(%esp), %ecx +; X32-NEXT:    movd %ecx, %xmm1 +; X32-NEXT:    psllw %xmm1, %xmm0 +; X32-NEXT:    movdqa %xmm0, (%eax) +; X32-NEXT:    retl +; +; X64-LABEL: shift3b: +; X64:       # BB#0: # %entry +; X64-NEXT:    movzwl %si, %eax +; X64-NEXT:    movd %eax, %xmm1 +; X64-NEXT:    psllw %xmm1, %xmm0 +; X64-NEXT:    movdqa %xmm0, (%rdi) +; X64-NEXT:    retq  entry: -; CHECK-LABEL: shift3b: -; CHECK: movzwl -; CHECK: movd -; CHECK-NEXT: psllw    %0 = insertelement <8 x i16> undef, i16 %amt, i32 0    %1 = insertelement <8 x i16> %0, i16 %amt, i32 1    %2 = insertelement <8 x i16> %1, i16 %amt, i32 2  | 

