llvm/test/Transforms/InstCombine, branch masterhttp://llvm.orghttps://git.amat.us/llvm/atom/test/Transforms/InstCombine?h=master2013-05-12T00:07:05ZInstCombine: Flip the order of two urem transforms2013-05-12T00:07:05ZDavid Majnemerdavid.majnemer@gmail.com2013-05-12T00:07:05Zurn:sha1:fa49d7d6e4384381e4307a0d2495e6e5b15821e3
There are two transforms in visitUrem that conflict with each other.
*) One, if a divisor is a power of two, subtracts one from the divisor
and turns it into a bitwise-and.
*) The other unwraps both operands if they are surrounded by zext
instructions.
Flipping the order allows the subtraction to go beneath the sign
extension.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@181668 91177308-0d34-0410-b5e6-96231b3b80d8
InstCombine: Turn urem to bitwise-and more often2013-05-11T09:01:28ZDavid Majnemerdavid.majnemer@gmail.com2013-05-11T09:01:28Zurn:sha1:a8ccefc0a31c868c79cfc028e2a957269de5aba6
Use isKnownToBeAPowerOfTwo in visitUrem so that we may more aggressively
fold away urem instructions.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@181661 91177308-0d34-0410-b5e6-96231b3b80d8
InstCombine: Don't claim to be able to evaluate any shl in a zexted type.2013-05-10T16:26:37ZBenjamin Kramerbenny.kra@googlemail.com2013-05-10T16:26:37Zurn:sha1:7159a307b9a0a53f9a33e416d24b9308ef547d97
The shift amount may be larger than the type leading to undefined behavior.
Limit the transform to constant shift amounts. While there update the bits to
clear in the result which may enable additional optimizations.
PR15959.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@181604 91177308-0d34-0410-b5e6-96231b3b80d8
InstCombine: Verify the type before transforming uitofp into select.2013-05-10T09:16:52ZBenjamin Kramerbenny.kra@googlemail.com2013-05-10T09:16:52Zurn:sha1:51dab6e3945a6d06a713869967ced3a8f9fb6294
PR15952.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@181586 91177308-0d34-0410-b5e6-96231b3b80d8
InstCombine: Don't just copy known bits from the first operand of an srem.2013-05-09T16:32:32ZBenjamin Kramerbenny.kra@googlemail.com2013-05-09T16:32:32Zurn:sha1:a6ff92a975f2d6ef6a0db7aeaee3ee9fd046307a
That's obviously wrong. Conservatively restrict it to the sign bit, which
matches the original intention of this analysis. Fixes PR15940.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@181518 91177308-0d34-0410-b5e6-96231b3b80d8
InstCombine: (X ^ signbit) + C -> X + (signbit ^ C)2013-05-06T21:21:31ZDavid Majnemerdavid.majnemer@gmail.com2013-05-06T21:21:31Zurn:sha1:8ec23cb07e22198a720c4e151241059cca215c08
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@181249 91177308-0d34-0410-b5e6-96231b3b80d8
Test results verified using FileCheck rather than grep | count2013-05-06T18:45:16ZJean-Luc Dupratjduprat@apple.com2013-05-06T18:45:16Zurn:sha1:0aa2b8800c105fdb8635935aba317584ea677e66
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@181234 91177308-0d34-0410-b5e6-96231b3b80d8
Fix add4.ll test cmdline so that it passes2013-05-06T17:18:47ZJean-Luc Dupratjduprat@apple.com2013-05-06T17:18:47Zurn:sha1:81fa2abc8551d65a1085fd0df196531093e57472
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@181219 91177308-0d34-0410-b5e6-96231b3b80d8
Provide InstCombines for the following 3 cases:2013-05-06T16:55:50ZJean-Luc Dupratjduprat@apple.com2013-05-06T16:55:50Zurn:sha1:c5cf6e536598a3b1e30fce616b771d66a071a54c
A * (1 - (uitofp i1 C)) -> select C, 0, A
B * (uitofp i1 C) -> select C, B, 0
select C, 0, A + select C, B, 0 -> select C, B, A
These come up in code that has been hand-optimized from a select to a linear blend,
on platforms where that may have mattered. We want to undo such changes
with the following transform:
A*(1 - uitofp i1 C) + B*(uitofp i1 C) -> select C, A, B
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@181216 91177308-0d34-0410-b5e6-96231b3b80d8
Revert r164763 because it introduces new shuffles.2013-05-06T02:39:09ZNadav Rotemnrotem@apple.com2013-05-06T02:39:09Zurn:sha1:4ee312bac138a18c39353d4736eb5921532f9624
Thanks Nick Lewycky for pointing this out.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@181177 91177308-0d34-0410-b5e6-96231b3b80d8