aboutsummaryrefslogtreecommitdiff
path: root/lib/Transforms/Scalar/PredicateSimplifier.cpp
AgeCommit message (Expand)Author
2006-10-25Resurrect r1.25.Nick Lewycky
2006-10-25hide symbols properlyChris Lattner
2006-10-24Revert back to r1.21, which was the last revision of predsimplify thatChris Lattner
2006-10-23Remove the Backwards operation. Resolving now works at the time when aNick Lewycky
2006-10-22Fix similar missing optimization opportunity in XOR.Nick Lewycky
2006-10-22Whoops! Add missing NULL check.Nick Lewycky
2006-10-22Handle "if ((x|y) != 0)" for ints like we do for bools. Fixes missedNick Lewycky
2006-10-22AllocaInst can't return a null pointer. Fixes missed optimizationNick Lewycky
2006-10-12Replace custom dispatch code with two uses of InstVisitor. ImprovesNick Lewycky
2006-10-03Simplify logic further.Nick Lewycky
2006-10-03Simplify, now that predsimplify depends on break-crit-edges.Nick Lewycky
2006-10-03Move break-crit-edges before the predicate simplifier. Allows us toNick Lewycky
2006-09-28Eliminate ConstantBool::True and ConstantBool::False. Instead, provideChris Lattner
2006-09-23Style changes only. Remove dead code, fix a comment.Nick Lewycky
2006-09-21Don't rewrite ConstantExpr::get.Nick Lewycky
2006-09-20Once we're down to "setcc type constant1, constant2", at least come upNick Lewycky
2006-09-20Use a total ordering to compare instructions.Nick Lewycky
2006-09-18Walk down the dominator tree instead of the control flow graph. That meansNick Lewycky
2006-09-13Add some more consistency checks.Nick Lewycky
2006-09-13Fix unionSets so that it can merge correctly.Nick Lewycky
2006-09-13Erase dead instructions.Nick Lewycky
2006-09-11Skip the linear search if the answer is already known.Nick Lewycky
2006-09-10Replace EquivalenceClasses with a custom-built data structure. Many commonNick Lewycky
2006-09-02Improve handling of SelectInst.Nick Lewycky
2006-09-01Don't confuse canonicalize and lookup. Fixes predsimplify.reg4.ll. AlsoNick Lewycky
2006-08-31Properties where both Values weren't in the union (as being equal toNick Lewycky
2006-08-30Move to using the EquivalenceClass ADT. Removes SynSets.Nick Lewycky
2006-08-28Add PredicateSimplifier pass. Collapses equal variables into one formNick Lewycky