SelectionDAG shuffle nodes do not allow operands with different numbers of
authorBob Wilson <bob.wilson@apple.com>
Wed, 27 Oct 2010 20:38:28 +0000 (20:38 +0000)
committerBob Wilson <bob.wilson@apple.com>
Wed, 27 Oct 2010 20:38:28 +0000 (20:38 +0000)
commitf20700ca773acb0d79ce69ad5834e00884ad31f0
tree41267bb74ec168bb6e867eb1503b074bb0668d72
parentbc82d8b84f6ae15985d1b01e720ed5c37d714012
SelectionDAG shuffle nodes do not allow operands with different numbers of
elements than the result vector type.  So, when an instruction like:

%8 = shufflevector <2 x float> %4, <2 x float> %7, <4 x i32> <i32 1, i32 0, i32 3, i32 2>

is translated to a DAG, each operand is changed to a concat_vectors node that appends 2 undef elements.  That is:

shuffle [a,b], [c,d] is changed to:
shuffle [a,b,u,u], [c,d,u,u]

That's probably the right thing for x86 but for NEON, we'd much rather have:

shuffle [a,b,c,d], undef

Teach the DAG combiner how to do that transformation for ARM.  Radar 8597007.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@117482 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Target/ARM/ARMISelLowering.cpp
test/CodeGen/ARM/vrev.ll