diff options
| author | Adam Nemet <anemet@apple.com> | 2015-05-11 08:30:28 +0000 |
|---|---|---|
| committer | Adam Nemet <anemet@apple.com> | 2015-05-11 08:30:28 +0000 |
| commit | 0a8416fdefb0d023b9b591b04de302d4dbb7c555 (patch) | |
| tree | 4b2c2cf5d365e31107d3d2e5386caa61e206a95a /llvm/docs/LangRef.rst | |
| parent | 89ec7234680d8aa7e5a2e2f405fb339c933a2a1d (diff) | |
| download | bcm5719-llvm-0a8416fdefb0d023b9b591b04de302d4dbb7c555.tar.gz bcm5719-llvm-0a8416fdefb0d023b9b591b04de302d4dbb7c555.zip | |
[Docs] Fix scoped noalias example
Summary:
As far as I understand the entire point of this example is to show that
if noalias is not a superset/equal to the alias.scope list on a scope
domain then load could reference locations that the store is not known
to not-alias i.e may alias.
Reviewers: hfinkel
Reviewed By: hfinkel
Subscribers: llvm-commits
Differential Revision: http://reviews.llvm.org/D9598
llvm-svn: 236977
Diffstat (limited to 'llvm/docs/LangRef.rst')
| -rw-r--r-- | llvm/docs/LangRef.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/llvm/docs/LangRef.rst b/llvm/docs/LangRef.rst index 231aba8bdef..24765870dbf 100644 --- a/llvm/docs/LangRef.rst +++ b/llvm/docs/LangRef.rst @@ -3423,7 +3423,7 @@ For example, %2 = load float, float* %c, align 4, !alias.scope !5 store float %2, float* %arrayidx.i2, align 4, !noalias !6 - ; These two instructions don't alias (for domain !0, the set of scopes in + ; These two instructions may alias (for domain !0, the set of scopes in ; the !noalias list is not a superset of, or equal to, the scopes in the ; !alias.scope list): %2 = load float, float* %c, align 4, !alias.scope !6 |
