diff options
author | Pekka Jaaskelainen <pekka.jaaskelainen@tut.fi> | 2013-02-22 12:03:07 +0000 |
---|---|---|
committer | Pekka Jaaskelainen <pekka.jaaskelainen@tut.fi> | 2013-02-22 12:03:07 +0000 |
commit | 45b2c25efb842e43a1d7d8bd34fd004480b42691 (patch) | |
tree | c76761a08c6fe04ea56811342bdcb76e3395e5b1 /docs | |
parent | 890dc926808587a193d705b89163b5a0c64444d9 (diff) | |
download | external_llvm-45b2c25efb842e43a1d7d8bd34fd004480b42691.zip external_llvm-45b2c25efb842e43a1d7d8bd34fd004480b42691.tar.gz external_llvm-45b2c25efb842e43a1d7d8bd34fd004480b42691.tar.bz2 |
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
Diffstat (limited to 'docs')
-rw-r--r-- | docs/LangRef.rst | 8 |
1 files changed, 7 insertions, 1 deletions
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 @@ 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 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |