aboutsummaryrefslogtreecommitdiff
path: root/docs/AliasAnalysis.html
AgeCommit message (Collapse)Author
2010-08-30Update the descriptions of NoModRef and ModRef to be consistentDan Gohman
with the descriptions of Mod and Ref. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@112557 91177308-0d34-0410-b5e6-96231b3b80d8
2010-07-07Remove interprocedural-basic-aa and associated code. The AliasAnalysisDan Gohman
interface needs implementations to be consistent, so any code which wants to support different semantics must use a different interface. It's not currently worthwhile to add a new interface for this new concept. Document that AliasAnalysis doesn't support cross-function queries. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@107776 91177308-0d34-0410-b5e6-96231b3b80d8
2010-07-02Document that BasicAA respects noalias, while InterproceduralBasicAADan Gohman
does not. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@107546 91177308-0d34-0410-b5e6-96231b3b80d8
2010-07-02Describe which dependencies are relevant to noalias, and document howDan Gohman
AliasAnalyses have the choice to respect noalias. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@107544 91177308-0d34-0410-b5e6-96231b3b80d8
2010-07-02Reword the definition of the noalias attribute. The intention is forDan Gohman
the noalias argument on function attributes be usable to model the C99 restrict keyword on arguments, and to allow AliasAnalysis to consider a noalias-attributed argument to be an "identified object". To support this, refactor a new "based on" concept out of the current pointer aliasing "associated" concept. This "based on" concept is very similar to (though it is not identical with) the "based on" concept in C99. Also, reword the definition of NoAlias to more closely describe the concept that the optimizer uses. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@107495 91177308-0d34-0410-b5e6-96231b3b80d8
2010-06-28Add a blurb about -scev-aa.Dan Gohman
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@107080 91177308-0d34-0410-b5e6-96231b3b80d8
2010-06-24Document problems that I encountered when working on -scev-aa.Dan Gohman
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@106776 91177308-0d34-0410-b5e6-96231b3b80d8
2010-05-07Revert r103213. It broke several sections of live website.mike-m
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@103219 91177308-0d34-0410-b5e6-96231b3b80d8
2010-05-06Overhauled llvm/clang docs builds. Closes PR6613.mike-m
NOTE: 2nd part changeset for cfe trunk to follow. *** PRE-PATCH ISSUES ADDRESSED - clang api docs fail build from objdir - clang/llvm api docs collide in install PREFIX/ - clang/llvm main docs collide in install - clang/llvm main docs have full of hard coded destination assumptions and make use of absolute root in static html files; namely CommandGuide tools hard codes a website destination for cross references and some html cross references assume website root paths *** IMPROVEMENTS - bumped Doxygen from 1.4.x -> 1.6.3 - splits llvm/clang docs into 'main' and 'api' (doxygen) build trees - provide consistent, reliable doc builds for both main+api docs - support buid vs. install vs. website intentions - support objdir builds - document targets with 'make help' - correct clean and uninstall operations - use recursive dir delete only where absolutely necessary - added call function fn.RMRF which safeguards against botched 'rm -rf'; if any target (or any variable is evaluated) which attempts to remove any dirs which match a hard-coded 'safelist', a verbose error will be printed and make will error-stop. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@103213 91177308-0d34-0410-b5e6-96231b3b80d8
2010-03-01remove anders-aa from mainline, it isn't maintained and isChris Lattner
tantalyzing enough that people keep trying to use it. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97483 91177308-0d34-0410-b5e6-96231b3b80d8
2009-11-22Remove the AliasAnalysis::getMustAliases method, which is dead.Chris Lattner
The hasNoModRefInfoForCalls isn't worth it as a filter because basicaa provides m/r info and everything chains to it, so remove it. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89599 91177308-0d34-0410-b5e6-96231b3b80d8
2009-04-25Update docs to not mention gcse/loadvn and mention memdep andChris Lattner
new stuff. PR3924. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@70077 91177308-0d34-0410-b5e6-96231b3b80d8
2008-12-18Recommit this grammar fix that was backed out along with nocapture.Nick Lewycky
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@61189 91177308-0d34-0410-b5e6-96231b3b80d8
2008-12-16Temporarily revert r61019, r61030, and r61040. These were breaking LLVM ReleaseBill Wendling
builds. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@61094 91177308-0d34-0410-b5e6-96231b3b80d8
2008-12-15Introducing nocapture, a parameter attribute for pointers to indicate that theNick Lewycky
callee will not introduce any new aliases of that pointer. The attributes had all bits allocated already, so I decided to collapse alignment. Alignment was previously stored as a 16-bit integer from bits 16 to 32 of the attribute, but it was required to be a power of 2. Now it's stored in log2 encoded form in five bits from 16 to 21. That gives us 11 more bits of space. You may have already noticed that you only need four bits to encode a 16-bit power of two, so why five bits? Because the AsmParser accepted 32-bit alignments, even though we couldn't store them (they were silently discarded). Now we can store them in memory, but not in the bitcode. The bitcode format was already storing these as 64-bit VBR integers. So, the bitcode format stays the same, keeping the alignment values stored as 16 bit raw values. There's some hideous code in the reader and writer that deals with this, waiting to be ripped out the moment we run out of bits again and have to replace the parameter attributes table encoding. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@61019 91177308-0d34-0410-b5e6-96231b3b80d8
2008-12-14Clarify the meaning of the NoAlias response. The plan is to refer to this fromNick Lewycky
a future version of LangRef. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@61010 91177308-0d34-0410-b5e6-96231b3b80d8
2008-12-11Global replace of yellow W3C "valid HTML/CSS" icons with blue ones.Misha Brukman
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@60880 91177308-0d34-0410-b5e6-96231b3b80d8
2007-10-02Fix typo.Owen Anderson
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42521 91177308-0d34-0410-b5e6-96231b3b80d8
2007-10-02Mention memdep in the AA documentation.Owen Anderson
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42519 91177308-0d34-0410-b5e6-96231b3b80d8
2007-07-03note where to get steens-aa and ds-aaChris Lattner
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37850 91177308-0d34-0410-b5e6-96231b3b80d8
2007-03-30Various hopefully correct easy fixes.Duncan Sands
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@35506 91177308-0d34-0410-b5e6-96231b3b80d8
2006-03-14Changes docs for llvm.cs.uiuc.edu -> llvm.orgReid Spencer
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@26746 91177308-0d34-0410-b5e6-96231b3b80d8
2006-01-03update usage of -print-alias-setsChris Lattner
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@25061 91177308-0d34-0410-b5e6-96231b3b80d8
2004-09-06Remove extraneous blank lines.Misha Brukman
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@16205 91177308-0d34-0410-b5e6-96231b3b80d8
2004-07-28* Use the doc_code class for code listings to make it stand out from textMisha Brukman
* Wrap text in soft, comfortable <div>s and <p>s * Wrap lines at 80 cols git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@15311 91177308-0d34-0410-b5e6-96231b3b80d8
2004-07-27New functionalityChris Lattner
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@15266 91177308-0d34-0410-b5e6-96231b3b80d8
2004-07-01* `The' isn't necessary in front of LLVMMisha Brukman
* Wrap long line git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14530 91177308-0d34-0410-b5e6-96231b3b80d8
2004-06-28document new passChris Lattner
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14471 91177308-0d34-0410-b5e6-96231b3b80d8
2004-06-21Fix some broken linksChris Lattner
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14306 91177308-0d34-0410-b5e6-96231b3b80d8
2004-05-23Substantially expand and update the alias analysis documentation, includingChris Lattner
adding blurbs about all of the implementations we have git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@13669 91177308-0d34-0410-b5e6-96231b3b80d8
2004-05-12Fix grammar: remove `the' before LLVM.Misha Brukman
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@13496 91177308-0d34-0410-b5e6-96231b3b80d8
2004-01-15Put stylesheet after the title.Misha Brukman
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@10887 91177308-0d34-0410-b5e6-96231b3b80d8
2003-12-21Fix the URL to check the referrer for CSS conformity.Misha Brukman
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@10571 91177308-0d34-0410-b5e6-96231b3b80d8
2003-12-19Expand on the AliasSetTracker a bit, so I can remember this next time I come ↵Chris Lattner
back to it. :) git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@10537 91177308-0d34-0410-b5e6-96231b3b80d8
2003-12-17Fix the links to match our 'llvm' namespace in doxygen-generated docs.Misha Brukman
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@10504 91177308-0d34-0410-b5e6-96231b3b80d8
2003-12-17Since we are now in the 'llvm' namespace, the mangled C++ name of structsMisha Brukman
and hence the links, all change. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@10495 91177308-0d34-0410-b5e6-96231b3b80d8
2003-11-22Align the W3C images on the right side, bottom of page.Misha Brukman
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@10156 91177308-0d34-0410-b5e6-96231b3b80d8
2003-11-22This page now uses valid HTML 4.01 Strict and valid CSS.Misha Brukman
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@10152 91177308-0d34-0410-b5e6-96231b3b80d8
2003-11-21Made paragraph structure more consistent.Misha Brukman
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@10145 91177308-0d34-0410-b5e6-96231b3b80d8
2003-10-27Merged in RELEASE_1.John Criswell
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@9538 91177308-0d34-0410-b5e6-96231b3b80d8
2003-10-24This is now valid HTML 4.01 Strict.Misha Brukman
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@9475 91177308-0d34-0410-b5e6-96231b3b80d8
2003-10-23Really close the <li> tags.Misha Brukman
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@9396 91177308-0d34-0410-b5e6-96231b3b80d8
2003-10-23Remove extraneous comments.Misha Brukman
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@9395 91177308-0d34-0410-b5e6-96231b3b80d8
2003-10-23* Quote a value in <font> tag.Misha Brukman
* Let CVS figure out the last-modified-date for us git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@9394 91177308-0d34-0410-b5e6-96231b3b80d8
2003-10-22* Use UTF-8 instead of soon-to-be-extinct ISO-8859-1 ;)Misha Brukman
* Use stylesheets instead of explicit <font> tags * Stop using <ul> for spacing layout * Close <a> and <p> tags git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@9392 91177308-0d34-0410-b5e6-96231b3b80d8
2003-08-18Spell `necessary' correctly.Misha Brukman
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@7944 91177308-0d34-0410-b5e6-96231b3b80d8
2003-05-07Grammar fix: `of course' is separated from the sentences by commas on bothMisha Brukman
sides. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6019 91177308-0d34-0410-b5e6-96231b3b80d8
2003-03-04Initial checkin of AliasAnalysis docChris Lattner
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5696 91177308-0d34-0410-b5e6-96231b3b80d8
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2026-01-27 10:21:49 +0000