aboutsummaryrefslogtreecommitdiff
path: root/docs/AliasAnalysis.html
AgeCommit message (Collapse)Author
2012-06-20Sphinxify the AliasAnalysis document.Bill Wendling
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@158805 91177308-0d34-0410-b5e6-96231b3b80d8
2012-04-19[docs] Update HTML pages to refer to CSS in a way that works locally and ↵Daniel Dunbar
with Sphinx. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@155153 91177308-0d34-0410-b5e6-96231b3b80d8
2012-01-30basic-aa does support AliasAnalysis chaining now.Dan Gohman
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@149293 91177308-0d34-0410-b5e6-96231b3b80d8
2011-10-31docs/*.html: Appease W3C Checker to add "charset=utf-8".NAKAMURA Takumi
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@143348 91177308-0d34-0410-b5e6-96231b3b80d8
2011-05-24Update documentation: -basicaa does chaining these days.Dan Gohman
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@132010 91177308-0d34-0410-b5e6-96231b3b80d8
2011-04-21docs/llvm.css: Introduce cascading style <div> and <p> continued on ↵NAKAMURA Takumi
<h[2-5]>. For now, it is applied in AliasAnalysis.html and ReleaseNotes.html. <h2>Section Example</h2> <div> <!-- h2+div is applied --> <p>Section preamble.</p> <h3>Subsection Example</h3> <p> <!-- h3+p is applied --> Subsection body </p> <!-- End of section body --> </div> git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@129901 91177308-0d34-0410-b5e6-96231b3b80d8
2011-04-18docs: Use <Hn> as Heading elements instead of <DIV class="doc_foo">.NAKAMURA Takumi
H1 ... doc_title H2 ... doc_section H3 ... doc_subsection H4 ... doc_subsubsection git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@129736 91177308-0d34-0410-b5e6-96231b3b80d8
2011-04-09docs/*.html: Make W3C HTML 4.01 Strict more compliant.NAKAMURA Takumi
FIXME: The logo handling in ReleaseNotes.html git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@129208 91177308-0d34-0410-b5e6-96231b3b80d8
2011-04-09docs: Canonicalize URLs.NAKAMURA Takumi
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@129181 91177308-0d34-0410-b5e6-96231b3b80d8
2011-01-03Stub out a new updating interface to AliasAnalysis, allowing stateful ↵Owen Anderson
analyses to be informed when a pointer value has potentially become escaping. Implementations can choose to either fall back to conservative responses for that value, or may recompute their analysis to accomodate the change. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@122777 91177308-0d34-0410-b5e6-96231b3b80d8
2011-01-03We can count properly.Owen Anderson
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@122773 91177308-0d34-0410-b5e6-96231b3b80d8
2010-12-15Fix a typo that Bill spotted.Dan Gohman
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@121909 91177308-0d34-0410-b5e6-96231b3b80d8
2010-12-15Document some more AliasAnalysis infrastructure limitations.Dan Gohman
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@121874 91177308-0d34-0410-b5e6-96231b3b80d8
2010-12-10Introduce a new PartialAlias response for AliasAnalysis. For mostDan Gohman
AliasAnalysis consumers, PartialAlias will be treated as MayAlias. For AliasAnalysis chaining, MayAlias says "procede to the next analysis". PartialAlias will be used to indicate that the query should terminate, even though it didn't reach MustAlias or NoAlias. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@121507 91177308-0d34-0410-b5e6-96231b3b80d8
2010-11-15-basicaa is no longer the default.Dan Gohman
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@119163 91177308-0d34-0410-b5e6-96231b3b80d8
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