aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/BasicAliasAnalysis.cpp
AgeCommit message (Expand)Author
2009-02-14Generalize some alias analysis logic from atomicDuncan Sands
2009-02-13BasicAA was making the assumption that a local allocation which hadn't escapedNick Lewycky
2009-02-05Refactor my previous change to maintain the distinction between AliasAnalysis...Owen Anderson
2009-02-04Finish making AliasAnalysis aware of the fact that most atomic intrinsics onl...Owen Anderson
2009-02-03Move isIdentifiedObject and isNoAliasCall into AliasAnalysis.cpp sinceDan Gohman
2009-01-30Fix a post-RA scheduling dependency bug.Dan Gohman
2009-01-18BasicAliasAnalysis and FunctionAttrs were bothDuncan Sands
2009-01-18add a commentGabor Greif
2009-01-12Rename getABITypeSize to getTypePaddedSize, asDuncan Sands
2009-01-12make tblgen autogenerate the nocapture intrinsics for Chris Lattner
2009-01-05When checking if an Argument escapes, check ifDuncan Sands
2008-12-19Resubmit support for the 'nocapture' attribute.Nick Lewycky
2008-12-16Temporarily revert r61019, r61030, and r61040. These were breaking LLVM ReleaseBill Wendling
2008-12-15Teach basicaa to use the nocapture attribute when possible. When theChris Lattner
2008-12-10Allow basicaa to walk through geps with identical indices in Chris Lattner
2008-12-09Teach BasicAA::getModRefInfo(CallSite, CallSite) someChris Lattner
2008-12-08Fix comment typo.Duncan Sands
2008-12-08Some minor optimizations for isObjectSmallerThan.Chris Lattner
2008-11-24Seriously strengthen the guarantee offered by noalias on a function's returnNick Lewycky
2008-11-24Extend the 'noalias' attribute to function return values. This is intended toNick Lewycky
2008-10-01Factorize code: remove variants of "strip offDuncan Sands
2008-09-23s/ParameterAttributes/Attributes/gDevang Patel
2008-09-04Tidy up several unbeseeming casts from pointer to intptr_t.Dan Gohman
2008-06-16simplify some code by using a helper function. This really reallyChris Lattner
2008-06-16move a bunch of predicates up into their own sectionChris Lattner
2008-06-16Other parts of this code treat noalias arguments as objects forChris Lattner
2008-06-16If we are checking to see if the result of a call aliases aChris Lattner
2008-06-16Refactor basicaa's main alias function somethin' fierce. Chris Lattner
2008-06-02Fixes PR2395. Looking for a constant in a GEP tail (when the first GEP Wojciech Matyjewicz
2008-05-13Clean up the use of static and anonymous namespaces. This turned upDan Gohman
2008-04-21Fix a "large integer implicitly truncated to unsigned type"Duncan Sands
2008-04-15Don't assume a tail call can't reference a byvalDale Johannesen
2008-03-20Restore isCFGOnly property of various analysis passes.Devang Patel
2008-03-19PassInfo keep tracks whether a pass is an analysis pass or not.Devang Patel
2008-02-19Fix a compiler warning.Duncan Sands
2008-02-19In addition to arguments passed to it, memcpy (and all other calls) can ModRe...Owen Anderson
2008-02-18don't bother calling getUnderlyingObject for non-pointers.Chris Lattner
2008-02-18Since we're not checking for the more general AllocationInst first, we need t...Owen Anderson
2008-02-18This check is not correct for mallocs, so exclude them earlier.Owen Anderson
2008-02-18Fix a comment, and a bug where we weren't applying the tail call logic in cas...Owen Anderson
2008-02-18Fix bugs that Chris noticed in my last patch.Owen Anderson
2008-02-18bitcasts of pointers are always pointers.Chris Lattner
2008-02-17Teach getModRefInfo that memcpy, memmove, and memset don't "capture" memory a...Owen Anderson
2008-01-24getUnderlyingObject can return null, handle this.Chris Lattner
2008-01-24Teach basicaa that 'byval' arguments define a new memory location thatChris Lattner
2007-12-29Remove attribution from file headers, per discussion on llvmdev.Chris Lattner
2007-12-13Make these loops follow GetGEPOperands() behavior.Wojciech Matyjewicz
2007-12-09Fix PR1782, patch by Wojtek Matyjewicz!Chris Lattner
2007-12-03Rather than having special rules like "intrinsics cannotDuncan Sands
2007-12-01Integrate the readonly/readnone logic more deeplyDuncan Sands