diff options
| author | Simon Pilgrim <llvm-dev@redking.me.uk> | 2016-12-06 17:00:47 +0000 |
|---|---|---|
| committer | Simon Pilgrim <llvm-dev@redking.me.uk> | 2016-12-06 17:00:47 +0000 |
| commit | 4a2979ce12da345e98b8d96be30eb4e0efa9efb7 (patch) | |
| tree | 82d9da15c145edfc2dfb490a85e825d08ce2e728 /llvm/test/CodeGen/X86/known-bits-vector.ll | |
| parent | d4435e331a2b9b918b15ca0a22f5339585870692 (diff) | |
| download | bcm5719-llvm-4a2979ce12da345e98b8d96be30eb4e0efa9efb7.tar.gz bcm5719-llvm-4a2979ce12da345e98b8d96be30eb4e0efa9efb7.zip | |
[X86][SSE] Add knownbits test demonstrating demandedelts not ignoring undef shuffle elements
llvm-svn: 288825
Diffstat (limited to 'llvm/test/CodeGen/X86/known-bits-vector.ll')
| -rw-r--r-- | llvm/test/CodeGen/X86/known-bits-vector.ll | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/llvm/test/CodeGen/X86/known-bits-vector.ll b/llvm/test/CodeGen/X86/known-bits-vector.ll index 872890e76d7..e5e4fcf8338 100644 --- a/llvm/test/CodeGen/X86/known-bits-vector.ll +++ b/llvm/test/CodeGen/X86/known-bits-vector.ll @@ -70,6 +70,27 @@ define <4 x i32> @knownbits_mask_shuffle_sext(<8 x i16> %a0) nounwind { ret <4 x i32> %3 } +define <4 x i32> @knownbits_mask_shuffle_shuffle_sext(<8 x i16> %a0) nounwind { +; X32-LABEL: knownbits_mask_shuffle_shuffle_sext: +; X32: # BB#0: +; X32-NEXT: vpand {{\.LCPI.*}}, %xmm0, %xmm0 +; X32-NEXT: vpshufd {{.*#+}} xmm0 = xmm0[2,3,0,1] +; X32-NEXT: vpmovsxwd %xmm0, %xmm0 +; X32-NEXT: retl +; +; X64-LABEL: knownbits_mask_shuffle_shuffle_sext: +; X64: # BB#0: +; X64-NEXT: vpand {{.*}}(%rip), %xmm0, %xmm0 +; X64-NEXT: vpshufd {{.*#+}} xmm0 = xmm0[2,3,0,1] +; X64-NEXT: vpmovsxwd %xmm0, %xmm0 +; X64-NEXT: retq + %1 = and <8 x i16> %a0, <i16 -1, i16 -1, i16 -1, i16 -1, i16 15, i16 15, i16 15, i16 15> + %2 = shufflevector <8 x i16> %1, <8 x i16> undef, <8 x i32> <i32 4, i32 5, i32 6, i32 7, i32 undef, i32 undef, i32 undef, i32 undef> + %3 = shufflevector <8 x i16> %2, <8 x i16> undef, <4 x i32> <i32 0, i32 1, i32 2, i32 3> + %4 = sext <4 x i16> %3 to <4 x i32> + ret <4 x i32> %4 +} + define <4 x float> @knownbits_mask_shuffle_uitofp(<4 x i32> %a0) nounwind { ; X32-LABEL: knownbits_mask_shuffle_uitofp: ; X32: # BB#0: |
