llvm/lib at 4eced19c505bb32dc210a18e87624f64d011894c - llvm

RPCS3/llvm

mirror of https://github.com/RPCS3/llvm.git synced 2025-01-25 20:14:26 +00:00

History

Juergen Ributzka 4eced19c50 SelectionDAG: Teach the legalizer to split SETCC if VSELECT needs splitting too.

The Type Legalizer recognizes that VSELECT needs to be split, because the type
is to wide for the given target. The same does not always apply to SETCC,
because less space is required to encode the result of a comparison. As a result
VSELECT is split and SETCC is unrolled into scalar comparisons.

This commit fixes the issue by checking for VSELECT-SETCC patterns in the DAG
Combiner. If a matching pattern is found, then the result mask of SETCC is
promoted to the expected vector mask type for the given target. This mask has
usually the same size as the VSELECT return type (except for Intel KNL). Now the
type legalizer will split both VSELECT and SETCC.

This allows the following X86 DAG Combine code to sucessfully detect the MIN/MAX
pattern. This fixes PR16695, PR17002, and <rdar://problem/14594431>.

Reviewed by Nadav

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@193676 91177308-0d34-0410-b5e6-96231b3b80d8

2013-10-30 05:48:18 +00:00

Analysis

SCEV: Make the final add of an inbounds GEP nuw if we know that the index is positive.

2013-10-28 07:30:06 +00:00

AsmParser

Revert r193251 : Use address-taken to disambiguate global variable and indirect memops.

2013-10-27 03:08:44 +00:00

Bitcode

Revert r193251 : Use address-taken to disambiguate global variable and indirect memops.

2013-10-27 03:08:44 +00:00

CodeGen

SelectionDAG: Teach the legalizer to split SETCC if VSELECT needs splitting too.