Made it more explicit that the self-referential llvm.loop identifier metadata
should be unique for each loop.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@175888 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/docs/LangRef.rst b/docs/LangRef.rst
index c863090..84680df 100644
--- a/docs/LangRef.rst
+++ b/docs/LangRef.rst
@@ -2537,11 +2537,17 @@
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
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^