[X86] Add a DAG combine to turn (and (bitcast (vXi1 (concat_vectors (vYi1 setcc)...
authorCraig Topper <craig.topper@intel.com>
Mon, 28 Oct 2019 18:10:49 +0000 (11:10 -0700)
committerCraig Topper <craig.topper@intel.com>
Mon, 28 Oct 2019 18:27:01 +0000 (11:27 -0700)
commit3da269a2489f156462fca74311842d761151393f
tree9dd51543e74026276ff668170942518e38ff70cc
parent8aa0a785c423ebea84876b71f7b735bee96a0292
[X86] Add a DAG combine to turn (and (bitcast (vXi1 (concat_vectors (vYi1 setcc), undef,))), C) into (bitcast (vXi1 (concat_vectors (vYi1 setcc), zero,)))

The legalization of v2i1->i2 or v4i1->i4 bitcasts followed by a setcc can create an and after the bitcast. If we're lucky enough that the input to the bitcast is a concat_vectors where the first operand is a setcc that can natively 0 all the upper bits of ak-register, then we should replace the other operands of the concat_vectors with zero in order to remove the AND.

With the AND removed we might be able to use a kortest on the result.

Differential Revision: https://reviews.llvm.org/D69205
llvm/lib/Target/X86/X86ISelLowering.cpp
llvm/test/CodeGen/X86/movmsk-cmp.ll
llvm/test/CodeGen/X86/vector-compare-all_of.ll
llvm/test/CodeGen/X86/vector-compare-any_of.ll
llvm/test/CodeGen/X86/vector-reduce-and-bool.ll
llvm/test/CodeGen/X86/vector-reduce-or-bool.ll