aboutsummaryrefslogtreecommitdiffstats
path: root/lib/Analysis/InstructionSimplify.cpp
Commit message (Expand)AuthorAgeFilesLines
...
* Revert r153521 as it's causing large regressions on the nightly testers.Chad Rosier2012-03-281-15/+0
* Reapply r153423; the original commit was fine. The failing test, distray, had Chad Rosier2012-03-271-0/+15
* Revert r153423 as this is causing failures on our internal nightly testers.Chad Rosier2012-03-261-15/+0
* Use the new range metadata in computeMaskedBits and add a new optimization toRafael Espindola2012-03-261-0/+15
* Teach instsimplify how to simplify comparisons of pointers which areChandler Carruth2012-03-251-1/+45
* Switch the pointer-difference simplification logic to only work withChandler Carruth2012-03-251-1/+1
* Try to harden the recursive simplification still further. This is againChandler Carruth2012-03-241-7/+8
* Don't add the instruction about to be RAUW'ed and erased to theChandler Carruth2012-03-241-2/+4
* Refactor the interface to recursively simplifying instructions to be tadChandler Carruth2012-03-241-47/+71
* Teach instsimplify to gracefully degrade in the presence of instructionsChandler Carruth2012-03-211-0/+6
* Type sizes and fields offsets inside structs are unsigned. This is a highlyDuncan Sands2012-03-151-4/+2
* Generalize the "trunc(ptrtoint(x)) - trunc(ptrtoint(y)) ->Duncan Sands2012-03-131-14/+34
* Uniformize the InstructionSimplify interface by ensuring that all routinesDuncan Sands2012-03-131-336/+277
* Fix regression from r151466: an we can't replace uses of an instruction reach...Eli Friedman2012-03-131-3/+7
* Address some review comments from Duncan. This moves the iterativeChandler Carruth2012-03-131-32/+23
* Teach instsimplify how to constant fold pointer differences.Chandler Carruth2012-03-121-0/+122
* As Duncan pointed out, pointers tend not to be in floating point format...for...Bill Wendling2012-03-101-6/+6
* Make this transformation slightly less agressive and more correct.Bill Wendling2012-03-101-8/+18
* Refactor some methods to look through bitcasts and GEPs on pointers intoChandler Carruth2012-03-101-25/+3
* Reinstate the optimization from r151449 with a fix to not turn 'gep %x' intoNick Lewycky2012-02-261-11/+51
* Don't call dominates on unreachable instructions.Rafael Espindola2012-02-261-1/+2
* Roll these back to r151448 until I figure out how they're breakingNick Lewycky2012-02-251-42/+10
* An argument and a local identified object (eg. a noalias call) could turn outNick Lewycky2012-02-251-12/+13
* Fix five-letter typo in comment.Nick Lewycky2012-02-251-1/+1
* Teach instsimplify to be more aggressive when analyzing comparisons of pointersNick Lewycky2012-02-251-10/+41
* fix PR12075, a regression in a recent transform I added. In unreachable code...Chris Lattner2012-02-241-4/+18
* fold comparisons of gep'd alloca points with null to false,Chris Lattner2012-02-201-4/+21
* Fix a rather nasty regression from r150690: LHS != RHS does not imply LHS->st...Eli Friedman2012-02-181-1/+2
* Revert "InstSimplify: Strip pointer casts early."Benjamin Kramer2012-02-161-6/+5
* InstSimplify: Strip pointer casts early.Benjamin Kramer2012-02-161-5/+6
* InstSimplify: Ignore pointer casts when constant folding compares between poi...Benjamin Kramer2012-02-161-2/+5
* Fix PR11948: the result type of an icmp may be a vector of boolean -Duncan Sands2012-02-101-0/+5
* Convert assert(0) to llvm_unreachableCraig Topper2012-02-071-6/+3
* PatternMatch: Introduce a matcher for instructions with the "exact" bit. Use ...Benjamin Kramer2012-01-011-10/+5
* Add support for vectors of pointers.Nadav Rotem2011-12-051-2/+5
* Propagate TargetLibraryInfo throughout ConstantFolding.cpp and Chad Rosier2011-12-011-217/+307
* Make use of "getScalarType()". No functionality change.Nick Lewycky2011-12-011-8/+3
* Fix code to match comment. Fixes PR11340, a regression from r143209.Eli Friedman2011-11-081-1/+1
* Teach instsimplify to simplify calls to undef.Dan Gohman2011-11-041-0/+11
* Reapply commit 143214 with a fix: m_ICmp doesn't match conditionsDuncan Sands2011-10-301-29/+65
* Revert r143214; it's breaking a bunch of stuff.Eli Friedman2011-10-291-45/+29
* The expression icmp eq (select (icmp eq x, 0), 1, x), 0 folds to false.Duncan Sands2011-10-281-29/+45
* Fold icmp ugt (udiv X, Y), X to false. Spotted by my super-optimizerDuncan Sands2011-10-281-0/+12
* Reapply commit 143028 with a fix: the problem was casting a ConstantExpr MulDuncan Sands2011-10-271-2/+3
* The maximum power of 2 dividing a power of 2 is itself. This occursDuncan Sands2011-10-261-0/+9
* InstSimplify: Don't try to replace an extractvalue/insertvalue pair with the ...Benjamin Kramer2011-09-051-1/+2
* Add some simple insertvalue simplifications, for the purpose of cleaningDuncan Sands2011-09-051-0/+36
* Revert r137781; I agree with Duncan's comment that the situation in question ...Eli Friedman2011-08-171-5/+4
* Extend the undef ^ undef idiom once more. No testcase: I can't figure out ho...Eli Friedman2011-08-161-4/+5
* Fix what seems an obvious typo. Patch by Ivan Krasin. ProblemDuncan Sands2011-08-041-1/+1