llvm/test/Transforms/InstSimplify, branch release_29 http://llvm.org https://git.amat.us/llvm/atom/test/Transforms/InstSimplify?h=release_29 2011-03-05T05:19:11Z Thread comparisons over udiv/sdiv/ashr/lshr exact and lshr nuw/nsw whenever 2011-03-05T05:19:11Z Nick Lewycky nicholas@mxc.ca 2011-03-05T05:19:11Z urn: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 Revert broken srem logic from r126991. 2011-03-04T19:26:08Z Nick Lewycky nicholas@mxc.ca 2011-03-04T19:26:08Z urn: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 comparisons 2011-03-04T10:06:52Z Nick Lewycky nicholas@mxc.ca 2011-03-04T10:06:52Z urn: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 form 2011-03-04T07:00:57Z Nick Lewycky nicholas@mxc.ca 2011-03-04T07:00:57Z urn: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 Optimize "icmp pred (urem X, Y), Y" --> true/false depending on pred. There's 2011-03-01T08:15:50Z Nick Lewycky nicholas@mxc.ca 2011-03-01T08:15:50Z urn: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 Teach instsimplify that X+Y>=X+Z is the same as Y>=Z if neither side overflows, 2011-02-13T17:15:40Z Duncan Sands baldrick@free.fr 2011-02-13T17:15:40Z urn:sha1:52fb846578714d14bbde9b28884a6a8729217677 plus some variations of this. According to my auto-simplifier this occurs a lot but usually in combination with max/min idioms. Because max/min aren't handled yet this unfortunately doesn't have much effect in the testsuite. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@125462 91177308-0d34-0410-b5e6-96231b3b80d8 Teach instsimplify some tricks about exact/nuw/nsw shifts. 2011-02-09T17:15:04Z Chris Lattner sabre@nondot.org 2011-02-09T17:15:04Z urn:sha1:81a0dc911586c77421c2255aa417dc9b350b9e20 improve interfaces to instsimplify to take this info. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@125196 91177308-0d34-0410-b5e6-96231b3b80d8 teach instsimplify to transform (X / Y) * Y to X 2011-02-06T22:05:31Z Chris Lattner sabre@nondot.org 2011-02-06T22:05:31Z urn:sha1:c6ee9181a51fdfa3c07e1e53695681c55aa98ce4 when the div is an exact udiv. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@124994 91177308-0d34-0410-b5e6-96231b3b80d8 rename test. 2011-02-06T21:59:10Z Chris Lattner sabre@nondot.org 2011-02-06T21:59:10Z urn:sha1:c35a44d3d73a429e59fb3044ee723db0511862f2 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@124993 91177308-0d34-0410-b5e6-96231b3b80d8 Improve threading of comparisons over select instructions (spotted by my 2011-02-03T09:37:39Z Duncan Sands baldrick@free.fr 2011-02-03T09:37:39Z urn:sha1:50ca4d37f7f3b460c6441eb5ad14625a7d86b5d9 auto-simplifier). This has a big impact on Ada code, but not much else. Unfortunately the impact is mostly negative! This is due to PR9004 (aka SCCP failing to resolve conditional branch conditions in the destination blocks of the branch), in which simple correlated expressions are not resolved but complicated ones are, so simplifying has a bad effect! git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@124788 91177308-0d34-0410-b5e6-96231b3b80d8