[llvm] r175888 - Made it more explicit that the self-referential llvm.loop identifier metadata

[Pekka Jaaskelainen]

Author: pjaaskel
Date: Fri Feb 22 06:03:07 2013
New Revision: 175888

URL: http://llvm.org/viewvc/llvm-project?rev=175888&view=rev
Log:
Made it more explicit that the self-referential llvm.loop identifier metadata 
should be unique for each loop.


Modified:
    llvm/trunk/docs/LangRef.rst

Modified: llvm/trunk/docs/LangRef.rst
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/docs/LangRef.rst?rev=175888&r1=175887&r2=175888&view=diff
==============================================================================
--- llvm/trunk/docs/LangRef.rst (original)
+++ llvm/trunk/docs/LangRef.rst Fri Feb 22 06:03:07 2013
@@ -2537,11 +2537,17 @@ guaranteed to be separate for each loop.
 with ``llvm.loop``.
 
 The loop identifier metadata is implemented using a metadata that refers to
-itself as follows:
+itself to avoid merging it with any other identifier metadata, e.g., 
+during module linkage or function inlining. That is, each loop should refer 
+to their own identification metadata even if they reside in separate functions. 
+The following example contains loop identifier metadata for two separate loop 
+constructs:
 
 .. code-block:: llvm
 
     !0 = metadata !{ metadata !0 }
+    !1 = metadata !{ metadata !1 }
+
 
 '``llvm.loop.parallel``' Metadata
 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^