InstCombine: Be more agressive optimizing 'udiv' instrs with 'select' denoms
authorDavid Majnemer <david.majnemer@gmail.com>
Sat, 29 Jun 2013 08:40:07 +0000 (08:40 +0000)
committerDavid Majnemer <david.majnemer@gmail.com>
Sat, 29 Jun 2013 08:40:07 +0000 (08:40 +0000)
commit797227eea6113f242d34d4f100611b7d8172888a
treef6961658e60b8070807dc1d18c2de3fa652baab1
parent32d1e730237cd925cddaec6af67d85204080301d
InstCombine: Be more agressive optimizing 'udiv' instrs with 'select' denoms

Real world code sometimes has the denominator of a 'udiv' be a
'select'.  LLVM can handle such cases but only when the 'select'
operands are symmetric in structure (both select operands are a constant
power of two or a left shift, etc.).  This falls apart if we are dealt a
'udiv' where the code is not symetric or if the select operands lead us
to more select instructions.

Instead, we should treat the LHS and each select operand as a distinct
divide operation and try to optimize them independently.  If we can
to simplify each operation, then we can replace the 'udiv' with, say, a
'lshr' that has a new select with a bunch of new operands for the
select.

llvm-svn: 185257
llvm/lib/Transforms/InstCombine/InstCombineMulDivRem.cpp
llvm/test/Transforms/InstCombine/div-shift.ll