aboutsummaryrefslogtreecommitdiff
path: root/test/Transforms/InstSimplify
AgeCommit message (Expand)Author
2013-04-19ConstantFolding: ComputeMaskedBits wants the scalar size for vectors.Benjamin Kramer
2013-04-11Add missing colons to check lines.Benjamin Kramer
2013-03-18Check whether a pointer is non-null (isKnownNonNull) in isKnownNonZero.Manman Ren
2013-02-08[SimplifyLibCalls] Library call simplification doen't work if the call site Chad Rosier
2013-02-07Identify and simplify idempotent intrinsics. Test case included.Michael Ilseman
2013-02-05ConstantFolding: Fix a crash when encoutering a truncating inttoptr.Benjamin Kramer
2013-02-01Add a testcase for some past-the-end address subtleties.Dan Gohman
2013-02-01InstSimplify: stripAndComputeConstantOffsets can be called with vectors of po...Benjamin Kramer
2013-02-01Rewrite instsimplify's handling if icmp on pointer values to remove theDan Gohman
2013-01-31An alloca can be equal to an argument. It can't *alias* an alloca, but it couldDan Gohman
2012-12-30Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a Mod...Dmitri Gribenko
2012-12-28Teach instsimplify to use the constant folder where appropriate forChandler Carruth
2012-12-12Added a slew of SimplifyInstruction floating-point optimizations, many of whi...Michael Ilseman
2012-12-07Add support to ValueTracking for determining that a pointer is non-nullChandler Carruth
2012-11-27Fast-math test for SimplifyInstruction: fold multiply by 0Michael Ilseman
2012-11-16InstructionSimplify should be able to simplify A+B==B+A to 'true'Duncan Sands
2012-03-28Revert r153521 as it's causing large regressions on the nightly testers.Chad Rosier
2012-03-27Reapply r153423; the original commit was fine. The failing test, distray, had Chad Rosier
2012-03-26Revert r153423 as this is causing failures on our internal nightly testers.Chad Rosier
2012-03-26Use the new range metadata in computeMaskedBits and add a new optimization toRafael Espindola
2012-03-25Teach instsimplify how to simplify comparisons of pointers which areChandler Carruth
2012-03-25Switch the pointer-difference simplification logic to only work withChandler Carruth
2012-03-13Generalize the "trunc(ptrtoint(x)) - trunc(ptrtoint(y)) ->Duncan Sands
2012-03-12Teach instsimplify how to constant fold pointer differences.Chandler Carruth
2012-03-05Make sure we don't return bits outside the mask in ComputeMaskedBits. PR12189.Eli Friedman
2012-02-26Reinstate the optimization from r151449 with a fix to not turn 'gep %x' intoNick Lewycky
2012-02-25Roll these back to r151448 until I figure out how they're breakingNick Lewycky
2012-02-25An argument and a local identified object (eg. a noalias call) could turn outNick Lewycky
2012-02-25Teach instsimplify to be more aggressive when analyzing comparisons of pointersNick Lewycky
2012-02-24fix PR12075, a regression in a recent transform I added. In unreachable code...Chris Lattner
2012-02-20fold comparisons of gep'd alloca points with null to false,Chris Lattner
2012-02-18Fix a rather nasty regression from r150690: LHS != RHS does not imply LHS->st...Eli Friedman
2012-02-16InstSimplify: Ignore pointer casts when constant folding compares between poi...Benjamin Kramer
2012-02-16Replace all instances of dg.exp file with lit.local.cfg, since all tests are ...Eli Bendersky
2012-02-10Fix PR11948: the result type of an icmp may be a vector of boolean -Duncan Sands
2012-02-10Revert commit 149912 (lattner) and add a testcase that shows the problem (whichDuncan Sands
2011-12-05Add support for vectors of pointers.Nadav Rotem
2011-11-23Fix a crash in which a multiplication was being reported as being both negativeDuncan Sands
2011-11-08Fix code to match comment. Fixes PR11340, a regression from r143209.Eli Friedman
2011-11-04Add tests for existing InstSimplify features.Dan Gohman
2011-11-04Teach instsimplify to simplify calls to undef.Dan Gohman
2011-10-30Reapply commit 143214 with a fix: m_ICmp doesn't match conditionsDuncan Sands
2011-10-29Revert r143214; it's breaking a bunch of stuff.Eli Friedman
2011-10-28The expression icmp eq (select (icmp eq x, 0), 1, x), 0 folds to false.Duncan Sands
2011-10-28A shift of a power of two is a power of two or zero.Duncan Sands
2011-10-28Fold icmp ugt (udiv X, Y), X to false. Spotted by my super-optimizerDuncan Sands
2011-10-27Reapply commit 143028 with a fix: the problem was casting a ConstantExpr MulDuncan Sands
2011-10-27Revert Duncan's r143028 expression folding which appears to be the culpritBob Wilson
2011-10-26The maximum power of 2 dividing a power of 2 is itself. This occursDuncan Sands
2011-10-26My super-optimizer noticed that we weren't folding this expression toDuncan Sands