diff options
| -rw-r--r-- | docs/AliasAnalysis.html | 5 | ||||
| -rw-r--r-- | include/llvm/Analysis/Passes.h | 7 |
2 files changed, 8 insertions, 4 deletions
diff --git a/docs/AliasAnalysis.html b/docs/AliasAnalysis.html index 591694a983..8e6a7fd4d7 100644 --- a/docs/AliasAnalysis.html +++ b/docs/AliasAnalysis.html @@ -203,8 +203,9 @@ and reallocation.</p> <p>As an exception to this is with the <a href="LangRef.html#noalias"><tt>noalias</tt></a> keyword. AliasAnalysis -implementations may choose to ignore the "irrelevant" dependencies, provided -their clients do not need to be aware of these dependencies for correctness.</p> +implementations may choose to respect the <tt>noalias</tt> keyword and ignore +the "irrelevant" dependencies, provided their clients do not need to be aware +of these dependencies for correctness.</p> <p>The MayAlias response is used whenever the two pointers might refer to the same object. If the two memory objects overlap, but do not start at the same diff --git a/include/llvm/Analysis/Passes.h b/include/llvm/Analysis/Passes.h index a81cb8733f..1020e07e0e 100644 --- a/include/llvm/Analysis/Passes.h +++ b/include/llvm/Analysis/Passes.h @@ -67,7 +67,9 @@ namespace llvm { //===--------------------------------------------------------------------===// // // createBasicAliasAnalysisPass - This pass implements the default alias - // analysis. + // analysis. This analysis respects the noalias attribute, so it is not + // suitable for some interprocedural uses (see the discussion of noalias + // in AliasAnalysis.html for details). // ImmutablePass *createBasicAliasAnalysisPass(); @@ -75,7 +77,8 @@ namespace llvm { // // createInterproceduralBasicAliasAnalysisPass - This pass is similar to // baiscaa, except that it properly supports queries to values which live - // in different functions. + // in different functions. Unlike the regular BasicAliasAnalysis, this + // implementation does not respect the noalias attribute. // ImmutablePass *createInterproceduralBasicAliasAnalysisPass(); |