From d6a9af6fd3de106e509eff11f840aa194236aac1 Mon Sep 17 00:00:00 2001 From: Adam Nemet Date: Mon, 11 May 2015 08:30:28 +0000 Subject: [PATCH] [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 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@236977 91177308-0d34-0410-b5e6-96231b3b80d8 --- docs/LangRef.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/LangRef.rst b/docs/LangRef.rst index 231aba8bdef..24765870dbf 100644 --- a/docs/LangRef.rst +++ b/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