[PATCH] D18799: [Docs] Try to clarify the concept of domains for noalias scope

[Adam Nemet via llvm-commits]

This revision was automatically updated to reflect the committed changes.
Closed by commit rL267647: [Docs] Try to clarify the concept of domains for noalias scope (authored by anemet).

Changed prior to commit:
  http://reviews.llvm.org/D18799?vs=52716&id=55147#toc

Repository:
  rL LLVM

http://reviews.llvm.org/D18799

Files:
  llvm/trunk/docs/LangRef.rst

Index: llvm/trunk/docs/LangRef.rst
===================================================================
--- llvm/trunk/docs/LangRef.rst
+++ llvm/trunk/docs/LangRef.rst
@@ -4412,12 +4412,20 @@
 ``noalias`` metadata can specifically be specified not to alias with some other
 collection of memory access instructions that carry ``alias.scope`` metadata.
 Each type of metadata specifies a list of scopes where each scope has an id and
-a domain. When evaluating an aliasing query, if for some domain, the set
+a domain.
+
+When evaluating an aliasing query, if for some domain, the set
 of scopes with that domain in one instruction's ``alias.scope`` list is a
 subset of (or equal to) the set of scopes for that domain in another
 instruction's ``noalias`` list, then the two memory accesses are assumed not to
 alias.
 
+Because scopes in one domain don't affect scopes in other domains, separate
+domains can be used to compose multiple independent noalias sets.  This is
+used for example during inlining.  As the noalias function parameters are
+turned into noalias scope metadata, a new domain is used every time the
+function is inlined.
+
 The metadata identifying each domain is itself a list containing one or two
 entries. The first entry is the name of the domain. Note that if the name is a
 string then it can be combined across functions and translation units. A


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D18799.55147.patch
Type: text/x-patch
Size: 1375 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160427/966fc397/attachment.bin>