diff options
author | Andrea Di Biagio <Andrea_DiBiagio@sn.scee.net> | 2013-12-27 20:20:28 +0000 |
---|---|---|
committer | Andrea Di Biagio <Andrea_DiBiagio@sn.scee.net> | 2013-12-27 20:20:28 +0000 |
commit | b2f47c6a3455a9d265e21c8ab1ca81657ff577a0 (patch) | |
tree | cfaadbd40840df2293deec78b068ce832fafb91f /test/CodeGen/X86/vselect.ll | |
parent | bd75475bfcbf81c0f6e3a67511c16704c7da8b7a (diff) | |
download | llvm-b2f47c6a3455a9d265e21c8ab1ca81657ff577a0.tar.gz llvm-b2f47c6a3455a9d265e21c8ab1ca81657ff577a0.tar.bz2 llvm-b2f47c6a3455a9d265e21c8ab1ca81657ff577a0.tar.xz |
Teach DAGCombiner how to fold a SIGN_EXTEND_INREG of a BUILD_VECTOR of
ConstantSDNodes (or UNDEFs) into a simple BUILD_VECTOR.
For example, given the following sequence of dag nodes:
i32 C = Constant<1>
v4i32 V = BUILD_VECTOR C, C, C, C
v4i32 Result = SIGN_EXTEND_INREG V, ValueType:v4i1
The SIGN_EXTEND_INREG node can be folded into a build_vector since
the vector in input is a BUILD_VECTOR of constants.
The optimized sequence is:
i32 C = Constant<-1>
v4i32 Result = BUILD_VECTOR C, C, C, C
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@198084 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CodeGen/X86/vselect.ll')
-rw-r--r-- | test/CodeGen/X86/vselect.ll | 133 |
1 files changed, 133 insertions, 0 deletions
diff --git a/test/CodeGen/X86/vselect.ll b/test/CodeGen/X86/vselect.ll new file mode 100644 index 0000000000..af8c310618 --- /dev/null +++ b/test/CodeGen/X86/vselect.ll @@ -0,0 +1,133 @@ +; RUN: llc -march=x86-64 -mcpu=corei7 -mattr=-sse4.1 < %s | FileCheck %s + +; Verify that we don't emit packed vector shifts instructions if the +; condition used by the vector select is a vector of constants. + + +define <4 x float> @test1(<4 x float> %a, <4 x float> %b) { + %1 = select <4 x i1> <i1 true, i1 false, i1 true, i1 false>, <4 x float> %a, <4 x float> %b + ret <4 x float> %1 +} +; CHECK-LABEL: test1 +; CHECK-NOT: psllw +; CHECK-NOT: psraw +; CHECK: ret + + +define <4 x float> @test2(<4 x float> %a, <4 x float> %b) { + %1 = select <4 x i1> <i1 true, i1 true, i1 false, i1 false>, <4 x float> %a, <4 x float> %b + ret <4 x float> %1 +} +; CHECK-LABEL: test2 +; CHECK-NOT: psllw +; CHECK-NOT: psraw +; CHECK: ret + + +define <4 x float> @test3(<4 x float> %a, <4 x float> %b) { + %1 = select <4 x i1> <i1 false, i1 false, i1 true, i1 true>, <4 x float> %a, <4 x float> %b + ret <4 x float> %1 +} +; CHECK-LABEL: test3 +; CHECK-NOT: psllw +; CHECK-NOT: psraw +; CHECK: ret + + +define <4 x float> @test4(<4 x float> %a, <4 x float> %b) { + %1 = select <4 x i1> <i1 false, i1 false, i1 false, i1 false>, <4 x float> %a, <4 x float> %b + ret <4 x float> %1 +} +; CHECK-LABEL: test4 +; CHECK-NOT: psllw +; CHECK-NOT: psraw +; CHECK: movaps %xmm1, %xmm0 +; CHECK: ret + + +define <4 x float> @test5(<4 x float> %a, <4 x float> %b) { + %1 = select <4 x i1> <i1 true, i1 true, i1 true, i1 true>, <4 x float> %a, <4 x float> %b + ret <4 x float> %1 +} +; CHECK-LABEL: test5 +; CHECK-NOT: psllw +; CHECK-NOT: psraw +; CHECK: ret + + +define <8 x i16> @test6(<8 x i16> %a, <8 x i16> %b) { + %1 = select <8 x i1> <i1 true, i1 false, i1 true, i1 false, i1 true, i1 false, i1 true, i1 false>, <8 x i16> %a, <8 x i16> %a + ret <8 x i16> %1 +} +; CHECK-LABEL: test6 +; CHECK-NOT: psllw +; CHECK-NOT: psraw +; CHECK: ret + + +define <8 x i16> @test7(<8 x i16> %a, <8 x i16> %b) { + %1 = select <8 x i1> <i1 true, i1 true, i1 true, i1 true, i1 false, i1 false, i1 false, i1 false>, <8 x i16> %a, <8 x i16> %b + ret <8 x i16> %1 +} +; CHECK-LABEL: test7 +; CHECK-NOT: psllw +; CHECK-NOT: psraw +; CHECK: ret + + +define <8 x i16> @test8(<8 x i16> %a, <8 x i16> %b) { + %1 = select <8 x i1> <i1 false, i1 false, i1 false, i1 false, i1 true, i1 true, i1 true, i1 true>, <8 x i16> %a, <8 x i16> %b + ret <8 x i16> %1 +} +; CHECK-LABEL: test8 +; CHECK-NOT: psllw +; CHECK-NOT: psraw +; CHECK: ret + +define <8 x i16> @test9(<8 x i16> %a, <8 x i16> %b) { + %1 = select <8 x i1> <i1 false, i1 false, i1 false, i1 false, i1 false, i1 false, i1 false, i1 false>, <8 x i16> %a, <8 x i16> %b + ret <8 x i16> %1 +} +; CHECK-LABEL: test9 +; CHECK-NOT: psllw +; CHECK-NOT: psraw +; CHECK: movaps %xmm1, %xmm0 +; CHECK-NEXT: ret + +define <8 x i16> @test10(<8 x i16> %a, <8 x i16> %b) { + %1 = select <8 x i1> <i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true, i1 true>, <8 x i16> %a, <8 x i16> %b + ret <8 x i16> %1 +} +; CHECK-LABEL: test10 +; CHECK-NOT: psllw +; CHECK-NOT: psraw +; CHECK: ret + +define <8 x i16> @test11(<8 x i16> %a, <8 x i16> %b) { + %1 = select <8 x i1> <i1 false, i1 true, i1 true, i1 false, i1 undef, i1 true, i1 true, i1 undef>, <8 x i16> %a, <8 x i16> %b + ret <8 x i16> %1 +} +; CHECK-LABEL: test11 +; CHECK-NOT: psllw +; CHECK-NOT: psraw +; CHECK: ret + +define <8 x i16> @test12(<8 x i16> %a, <8 x i16> %b) { + %1 = select <8 x i1> <i1 false, i1 false, i1 undef, i1 false, i1 false, i1 false, i1 false, i1 undef>, <8 x i16> %a, <8 x i16> %b + ret <8 x i16> %1 +} +; CHECK-LABEL: test12 +; CHECK-NOT: psllw +; CHECK-NOT: psraw +; CHECK: ret + +define <8 x i16> @test13(<8 x i16> %a, <8 x i16> %b) { + %1 = select <8 x i1> <i1 undef, i1 undef, i1 undef, i1 undef, i1 undef, i1 undef, i1 undef, i1 undef>, <8 x i16> %a, <8 x i16> %b + ret <8 x i16> %1 +} +; CHECK-LABEL: test13 +; CHECK-NOT: psllw +; CHECK-NOT: psraw +; CHECK: ret + + |