diff options
| -rw-r--r-- | docs/AliasAnalysis.html | 9 | ||||
| -rw-r--r-- | include/llvm/Analysis/AliasAnalysis.h | 5 |
2 files changed, 9 insertions, 5 deletions
diff --git a/docs/AliasAnalysis.html b/docs/AliasAnalysis.html index ad598c22d6..8fbb29f818 100644 --- a/docs/AliasAnalysis.html +++ b/docs/AliasAnalysis.html @@ -188,7 +188,8 @@ that the accesses alias.</p> <div class="doc_text"> <p>The <tt>alias</tt> method is the primary interface used to determine whether or not two memory objects alias each other. It takes two memory objects as -input and returns MustAlias, MayAlias, or NoAlias as appropriate.</p> +input and returns MustAlias, PartialAlias, MayAlias, or NoAlias as +appropriate.</p> <p>Like all <tt>AliasAnalysis</tt> interfaces, the <tt>alias</tt> method requires that either the two pointer values be defined within the same function, or at @@ -215,8 +216,10 @@ and reallocation.</p> dependencies are ignored.</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 -location, return MayAlias.</p> +same object.</p> + +<p>The PartialAlias response is used when the two memory objects are known +to be overlapping in some way, but do not start at the same address.</p> <p>The MustAlias response may only be returned if the two memory objects are guaranteed to always start at exactly the same location. A MustAlias response diff --git a/include/llvm/Analysis/AliasAnalysis.h b/include/llvm/Analysis/AliasAnalysis.h index 167371b6b2..c218e057f0 100644 --- a/include/llvm/Analysis/AliasAnalysis.h +++ b/include/llvm/Analysis/AliasAnalysis.h @@ -150,8 +150,9 @@ public: /// enum AliasResult { NoAlias = 0, ///< No dependencies. - MayAlias = 1, ///< Anything goes. - MustAlias = 2 ///< Pointers are equal. + MayAlias, ///< Anything goes. + PartialAlias, ///< Pointers differ, but pointees overlap. + MustAlias ///< Pointers are equal. }; /// alias - The main low level interface to the alias analysis implementation. |