From 45b2c25efb842e43a1d7d8bd34fd004480b42691 Mon Sep 17 00:00:00 2001 From: Pekka Jaaskelainen Date: Fri, 22 Feb 2013 12:03:07 +0000 Subject: 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 --- docs/LangRef.rst | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'docs') diff --git a/docs/LangRef.rst b/docs/LangRef.rst index c86309029e..84680df731 100644 --- a/docs/LangRef.rst +++ b/docs/LangRef.rst @@ -2537,11 +2537,17 @@ guaranteed to be separate for each loop. The loop-level metadata is prefixed 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 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -- cgit v1.2.3-18-g5258