aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis
AgeCommit message (Expand)Author
2012-03-10As Duncan pointed out, pointers tend not to be in floating point format...for...Bill Wendling
2012-03-10Make this transformation slightly less agressive and more correct.Bill Wendling
2012-03-10Refactor some methods to look through bitcasts and GEPs on pointers intoChandler Carruth
2012-03-09Factor out the analysis of addition and subtraction in ComputeMaskedBits. ReuseNick Lewycky
2012-03-09Undo a previous restriction on the inline cost calculation which NickChandler Carruth
2012-03-08Taken into account Duncan's comments for r149481 dated by 2nd Feb 2012:Stepan Dyatkovskiy
2012-03-08Rotate two of the functions used to count bonuses for the inline costChandler Carruth
2012-03-07No functionality change. Type::isSized() can be expensive, so avoid calling itNick Lewycky
2012-03-05A few more cases of missing masking in ComputeMaskedBits; found by inspection.Eli Friedman
2012-03-05Make sure we don't return bits outside the mask in ComputeMaskedBits. PR12189.Eli Friedman
2012-03-02LVI: Recognize the form instcombine canonicalizes range checks into when form...Benjamin Kramer
2012-02-27Duncan pointed out that if the alignment isn't explicitly specified, it defau...Eli Friedman
2012-02-27Teach BasicAA about the LLVM IR rules that allow reading past the end of an o...Eli Friedman
2012-02-27Fix this assert. IP can point to an instruction with strange dominanceRafael Espindola
2012-02-26Don't call dominates on unreachable instructions. Should fix the dragoneggRafael Espindola
2012-02-26And update the comment...Rafael Espindola
2012-02-26Enable the assert that got all this dominator work started.Rafael Espindola
2012-02-26Change the implementation of dominates(inst, inst) to one based on what theRafael Espindola
2012-02-26Reinstate the optimization from r151449 with a fix to not turn 'gep %x' intoNick Lewycky
2012-02-26Don't call dominates on unreachable instructions.Rafael Espindola
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-25Fix five-letter typo in comment.Nick Lewycky
2012-02-25Teach instsimplify to be more aggressive when analyzing comparisons of pointersNick Lewycky
2012-02-25Move isKnownNonNull from private implementation detail of BasicAA to a publicNick Lewycky
2012-02-24fix PR12075, a regression in a recent transform I added. In unreachable code...Chris Lattner
2012-02-23Fix typo.Rafael Espindola
2012-02-22Remove extra semi-colons.Chad Rosier
2012-02-22Improve comment. Thanks for Andrew for the suggestion.Rafael Espindola
2012-02-22Semantically revert 151015. Add a comment on why we should be able to assertRafael Espindola
2012-02-21s/the the/the/Rafael Espindola
2012-02-21Use more idiomatic assert.Rafael Espindola
2012-02-21Avoid warning on non assert builds.Rafael Espindola
2012-02-21It turns out that with the current scev organization ReuseOrCreateCast cannotRafael Espindola
2012-02-20Make this a bit prettier and more obvious when a derived type isn'tEric Christopher
2012-02-20If a derived type is also a composite type, print that informationEric Christopher
2012-02-20Add support for runtime languages on our forward declarations.Eric Christopher
2012-02-20fold comparisons of gep'd alloca points with null to false,Chris Lattner
2012-02-18Temporarily disable this assert. Looks like it found a similar issue whenRafael Espindola
2012-02-18Don't skip debug instructions when looking for the insertion point ofRafael Espindola
2012-02-18Fix a rather nasty regression from r150690: LHS != RHS does not imply LHS->st...Eli Friedman
2012-02-17Remove a comment about an alternative approach that wouldn'tDan Gohman
2012-02-17Typo in variable name.Eric Christopher
2012-02-16Revert "InstSimplify: Strip pointer casts early."Benjamin Kramer
2012-02-16InstSimplify: Strip pointer casts early.Benjamin Kramer
2012-02-16InstSimplify: Ignore pointer casts when constant folding compares between poi...Benjamin Kramer
2012-02-10Have AliasSet::aliasesUnknownInst use pointer TBAA info when availableHal Finkel
2012-02-10Fix PR11948: the result type of an icmp may be a vector of boolean -Duncan Sands
2012-02-08Add support for a temporary forward decl type. We want this so weEric Christopher
2012-02-08Remove tabs.Devang Patel