llvm/test/Transforms/InstSimplify, branch release_30 http://llvm.org https://git.amat.us/llvm/atom/test/Transforms/InstSimplify?h=release_30 2011-09-05T18:16:19Z InstSimplify: Don't try to replace an extractvalue/insertvalue pair with the original value if types don't match. 2011-09-05T18:16:19Z Benjamin Kramer benny.kra@googlemail.com 2011-09-05T18:16:19Z urn:sha1:ae707bd5594e52a8b385760f99ff58aa8fede948 Fixes clang selfhost. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@139120 91177308-0d34-0410-b5e6-96231b3b80d8 Add some simple insertvalue simplifications, for the purpose of cleaning 2011-09-05T06:52:48Z Duncan Sands baldrick@free.fr 2011-09-05T06:52:48Z urn:sha1:dabc2806726a286b00313419fac8461ebe0f774c up do-nothing exception handling code produced by dragonegg. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@139113 91177308-0d34-0410-b5e6-96231b3b80d8 Remove bogus test: for all possible inputs of %X, the 'sub nsw' is guaranteed 2011-07-19T08:22:57Z Nick Lewycky nicholas@mxc.ca 2011-07-19T08:22:57Z urn:sha1:bb2518c71671cf7962f8b5e9ab0f0eec9784a2c1 to perform a signed wrap. Don't rely on any particular handling of that case. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@135471 91177308-0d34-0410-b5e6-96231b3b80d8 Improve constant folding of undef for cmp and select operators. 2011-07-01T01:03:43Z Dan Gohman gohman@apple.com 2011-07-01T01:03:43Z urn:sha1:68c0dbc14fb7599987fb3e27be4e12c1ac36535e git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@134223 91177308-0d34-0410-b5e6-96231b3b80d8 Improve constant folding of undef for binary operators. 2011-07-01T00:42:17Z Dan Gohman gohman@apple.com 2011-07-01T00:42:17Z urn:sha1:30cb6dda5ae441f27edef302cbb33936fbafba6d git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@134221 91177308-0d34-0410-b5e6-96231b3b80d8 The comparision "max(x,y)==x" is equivalent to "x>=y". Since the max is 2011-05-07T16:56:49Z Duncan Sands baldrick@free.fr 2011-05-07T16:56:49Z urn:sha1:e864b5b840c58d0b04324082ec94a7156743ed60 often expressed as "x >= y ? x : y", there is a good chance we can extract the existing "x >= y" from it and use that as a replacement for "max(x,y)==x". git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@131049 91177308-0d34-0410-b5e6-96231b3b80d8 Add variations on: max(x,y) >= min(x,z) folds to true. This isn't that common, 2011-05-04T16:05:05Z Duncan Sands baldrick@free.fr 2011-05-04T16:05:05Z urn:sha1:8140ad32ce45281ed2bc4f6ca388a6ed9f806550 but according to my super-optimizer there are only two missed simplifications of -instsimplify kind when compiling bzip2, and this is one of them. It amuses me to have bzip2 be perfectly optimized as far as instsimplify goes! git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@130840 91177308-0d34-0410-b5e6-96231b3b80d8 Implement some basic simplifications involving min/max, for example 2011-05-03T19:53:10Z Duncan Sands baldrick@free.fr 2011-05-03T19:53:10Z urn:sha1:ad20681cdeaf72383891b153b925624aa585be4d max(a,b) >= a -> true. According to my super-optimizer, these are by far the most common simplifications (of the -instsimplify kind) that occur in the testsuite and aren't caught by -std-compile-opts. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@130780 91177308-0d34-0410-b5e6-96231b3b80d8 Move some rem transforms out of instcombine and into instsimplify. 2011-05-02T16:27:02Z Duncan Sands baldrick@free.fr 2011-05-02T16:27:02Z urn:sha1:f24ed77d2416b66178d8ff1d807858dfab37ca18 This automagically provides a transform noticed by my super-optimizer as occurring quite often: "rem x, (select cond, x, 1)" -> 0. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@130694 91177308-0d34-0410-b5e6-96231b3b80d8 Teach ComputeMaskedBits about sub nsw. 2011-03-12T17:18:11Z Benjamin Kramer benny.kra@googlemail.com 2011-03-12T17:18:11Z urn:sha1:14b2a59301e9e4065c7b9b07a0c68462b6037a4f git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@127548 91177308-0d34-0410-b5e6-96231b3b80d8