Invariant.group and mustalias docs fixes
authorPiotr Padlewski <piotr.padlewski@gmail.com>
Wed, 12 Apr 2017 07:59:35 +0000 (07:59 +0000)
committerPiotr Padlewski <piotr.padlewski@gmail.com>
Wed, 12 Apr 2017 07:59:35 +0000 (07:59 +0000)
commitf8486e31ca228075d4174a10a4c850efc015e77b
tree0f794df0345f04bd26dc2a945e4b0503f1ccee0a
parent927d8e610ab8d86ca007255db1dfffa4886ad659
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

llvm-svn: 300033
llvm/docs/AliasAnalysis.rst
llvm/docs/LangRef.rst