llvm/lib/Analysis, branch release_29http://llvm.orghttps://git.amat.us/llvm/atom/lib/Analysis?h=release_292011-03-07T01:50:10ZAdd more analysis of the sign bit of an srem instruction. If the LHS is negative2011-03-07T01:50:10ZNick Lewyckynicholas@mxc.ca2011-03-07T01:50:10Zurn:sha1:c14bc77315ac4867f16c1585181b41919339eb3c
then the result could go either way. If it's provably positive then so is the
srem. Fixes PR9343 #7!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@127146 91177308-0d34-0410-b5e6-96231b3b80d8
Thread comparisons over udiv/sdiv/ashr/lshr exact and lshr nuw/nsw whenever2011-03-05T05:19:11ZNick Lewyckynicholas@mxc.ca2011-03-05T05:19:11Zurn:sha1:58bfcdbcf6a7c1cac0187f7c6beb3afe9d8f5411
possible. This goes into instcombine and instsimplify because instsimplify
doesn't need to check hasOneUse since it returns (almost exclusively) constants.
This fixes PR9343 #4 #5 and #8!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@127064 91177308-0d34-0410-b5e6-96231b3b80d8
When decling to reuse existing expressions that involve casts, ignore2011-03-04T20:46:46ZDan Gohmangohman@apple.com2011-03-04T20:46:46Zurn:sha1:a7a841adb89efa6ad3b35e9d4bcccccfb8ca146a
bitcasts, which are really no-ops here. This fixes slowdowns on
MultiSource/Applications/aha and others.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@127031 91177308-0d34-0410-b5e6-96231b3b80d8
Revert broken srem logic from r126991.2011-03-04T19:26:08ZNick Lewyckynicholas@mxc.ca2011-03-04T19:26:08Zurn:sha1:e2ee753bc440d373717b8fd06c062d50f1005268
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@127021 91177308-0d34-0410-b5e6-96231b3b80d8
Fold "icmp pred (srem X, Y), Y" like we do for urem. Handle signed comparisons2011-03-04T10:06:52ZNick Lewyckynicholas@mxc.ca2011-03-04T10:06:52Zurn:sha1:786792784e898f29febb3e7270d54b0e21e3c904
in the urem case, though not the other way around. This is enough to get #3 from
PR9343!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@126991 91177308-0d34-0410-b5e6-96231b3b80d8
Teach instruction simplify to use constant ranges to solve problems of the form2011-03-04T07:00:57ZNick Lewyckynicholas@mxc.ca2011-03-04T07:00:57Zurn:sha1:3a73e343d02ba3a00adf03311183cc0ccc960978
"icmp pred %X, CI" and a number of examples where "%X = binop %Y, CI2".
Some of these cases (div and rem) used to make it through opt -O2, but the
others are probably now making code elsewhere redundant (probably instcombine).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@126988 91177308-0d34-0410-b5e6-96231b3b80d8
Remove DIFactory. Patch by Devang.2011-03-02T20:30:37ZDuncan Sandsbaldrick@free.fr2011-03-02T20:30:37Zurn:sha1:291bb70d9348f8e80ec53a4c17c0464c0c8441bf
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@126871 91177308-0d34-0410-b5e6-96231b3b80d8
Don't re-use existing addrec expansions if they contain casts.2011-03-02T01:34:10ZDan Gohmangohman@apple.com2011-03-02T01:34:10Zurn:sha1:0cbe91ba3bd84a5ef68a1d0de5df6e955690b0a4
This fixes PR9259.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@126812 91177308-0d34-0410-b5e6-96231b3b80d8
Today, the language front ends produces llvm.dbg.* intrinsics, used to encode arguments' debug info, in order any way, most of the times. However, if a front end mix-n-matches llvm.dbg.declare and llvm.dbg.value intrinsics to encode debug info for arguments then code generator needs a way to find argument order.2011-03-01T22:58:13ZDevang Pateldpatel@apple.com2011-03-01T22:58:13Zurn:sha1:e9e16c5f52c4a093f4de234d448cdebedab8938e
Use 8 bits from line number field to keep track of argument ordering while encoding debug info for an argument. That leaves 24 bit for line no, DebugLoc also allocates 24 bit for line numbers. If a function has more than 255 arguments then rest of the arguments will be ordered by llvm.dbg.* intrinsics' ordering in IR.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@126793 91177308-0d34-0410-b5e6-96231b3b80d8
Optimize "icmp pred (urem X, Y), Y" --> true/false depending on pred. There's2011-03-01T08:15:50ZNick Lewyckynicholas@mxc.ca2011-03-01T08:15:50Zurn:sha1:88cd0aadb2849a259e8656b0ff8439ef660db7c5
more work to do here, "icmp ult (urem X, 10), 11" doesn't optimize away yet.
Fixes example 3 from PR9343!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@126741 91177308-0d34-0410-b5e6-96231b3b80d8