[llvm] 0ce45e4 - [LangRef] Clarify what "group" in invariant.group means. (#200552)

[via llvm-commits]

Author: Justin Lebar
Date: 2026-06-08T09:22:41-07:00
New Revision: 0ce45e443dce70e12593b11039e3f6e1411cc779

URL: https://github.com/llvm/llvm-project/commit/0ce45e443dce70e12593b11039e3f6e1411cc779
DIFF: https://github.com/llvm/llvm-project/commit/0ce45e443dce70e12593b11039e3f6e1411cc779.diff

LOG: [LangRef] Clarify what "group" in invariant.group means. (#200552)

Added: 
    

Modified: 
    llvm/docs/LangRef.rst

Removed: 
    


################################################################################
diff  --git a/llvm/docs/LangRef.rst b/llvm/docs/LangRef.rst
index 5e5ebdf80773f..474d6dfbabbf8 100644
--- a/llvm/docs/LangRef.rst
+++ b/llvm/docs/LangRef.rst
@@ -8635,6 +8635,10 @@ value (but see the ``llvm.launder.invariant.group`` intrinsic which affects
 when two pointers are considered the same). Pointers returned by bitcast or
 getelementptr with only zero indices are considered the same.
 
+Note that the metadata value in invariant.group carries no semantic value.
+Because it must have no entries, all invariant.group annotations in a module
+reference the same uniqued empty node.
+
 Examples:
 
 .. code-block:: llvm