diff options
author | Piotr Padlewski <piotr.padlewski@gmail.com> | 2017-04-12 07:59:35 +0000 |
---|---|---|
committer | Piotr Padlewski <piotr.padlewski@gmail.com> | 2017-04-12 07:59:35 +0000 |
commit | 3512d22fea43d45b3851c7aad057a2853947345e (patch) | |
tree | 33ddccc3387183a47f6ea287a5c2688de9473d99 /docs/AliasAnalysis.rst | |
parent | ddfada260ad50e3a5ff18f61bed2fd9efadda8d1 (diff) |
Invariant.group and mustalias docs fixes
Summary:
Alias analysis would like to know that
invariant.group.barrier returns pointer that mustalias,
but this can't imply that we can replace one pointer with another
Reviewers: dberlin, sanjoy
Subscribers: llvm-commits, chandlerc, hfinkel, nlewycky, amharc
Differential Revision: https://reviews.llvm.org/D31758
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@300033 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs/AliasAnalysis.rst')
-rw-r--r-- | docs/AliasAnalysis.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/AliasAnalysis.rst b/docs/AliasAnalysis.rst index 02b749ffb91..e201333f300 100644 --- a/docs/AliasAnalysis.rst +++ b/docs/AliasAnalysis.rst @@ -136,7 +136,7 @@ be overlapping in some way, but do not start at the same address. 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 implies that the pointers compare equal. +response does not imply that the pointers compare equal. The ``getModRefInfo`` methods ----------------------------- |