Index: docs/LangRef.rst
===================================================================
--- docs/LangRef.rst
+++ docs/LangRef.rst
@@ -5691,8 +5691,8 @@
 
 ::
 
-      <result> = load [volatile] <ty>, <ty>* <pointer>[, align <alignment>][, !nontemporal !<index>][, !invariant.load !<index>][, !nonnull !<index>][, !dereferenceable !<index>][, !dereferenceable_or_null !<index>]
-      <result> = load atomic [volatile] <ty>* <pointer> [singlethread] <ordering>, align <alignment>
+      <result> = load [volatile] <ty>, <ty>* <pointer>[, align <alignment>][, !nontemporal !<index>][, !invariant.load !<index>][, !invariant.group !<index>][, !nonnull !<index>][, !dereferenceable !<index>][, !dereferenceable_or_null !<index>]
+      <result> = load atomic [volatile] <ty>* <pointer> [singlethread] <ordering>, align <alignment> [, !invariant.group !<index>]
       !<index> = !{ i32 1 }
 
 Overview:
@@ -5748,11 +5748,18 @@
 but it does imply that once the location is known dereferenceable
 its value is henceforth unchanging.
 
+The optional ``!invariant.group`` metadata must reference a 
+single metadata name ``<index>`` corresponding to a metadata node with
+no entries. The existence of the ``!invariant.group`` metadata on the 
+instruction tells the optimizer that every load and store to the same pointer
+value, that has the same ``<index>`` loads or stores the same value 
+(but see the ``@llvm.invariant.group.barrier()`` intrinsic which affects when two pointers are considered the same).
+
 The optional ``!nonnull`` metadata must reference a single
 metadata name ``<index>`` corresponding to a metadata node with no
 entries. The existence of the ``!nonnull`` metadata on the
 instruction tells the optimizer that the value loaded is known to
-never be null.  This is analogous to the ''nonnull'' attribute
+never be null.  This is analogous to the ``nonnull`` attribute
 on parameters and return values.  This metadata can only be applied
 to loads of a pointer type.
 
@@ -5805,8 +5812,8 @@
 
 ::
 
-      store [volatile] <ty> <value>, <ty>* <pointer>[, align <alignment>][, !nontemporal !<index>]        ; yields void
-      store atomic [volatile] <ty> <value>, <ty>* <pointer> [singlethread] <ordering>, align <alignment>  ; yields void
+      store [volatile] <ty> <value>, <ty>* <pointer>[, align <alignment>][, !nontemporal !<index>][, !invariant.group !<index>]        ; yields void
+      store atomic [volatile] <ty> <value>, <ty>* <pointer> [singlethread] <ordering>, align <alignment> [, !invariant.group !<index>] ; yields void
 
 Overview:
 """""""""
@@ -5853,6 +5860,14 @@
 instructions to save cache bandwidth, such as the MOVNT instruction on
 x86.
 
+The optional ``!invariant.group`` metadata must reference a 
+single metadata name ``<index>`` corresponding to a metadata node with
+no entries. The existence of the ``!invariant.group`` metadata on the 
+instruction tells the optimizer that every load and store to the same pointer
+value, that has the same ``<index>`` loads or stores the same value 
+(but see the ``@llvm.invariant.group.barrier()`` intrinsic which affects when two 
+pointers are considered the same).
+
 Semantics:
 """"""""""
 
@@ -10140,6 +10155,36 @@
 This class of intrinsics is designed to be generic and has no specific
 purpose.
 
+'``llvm.invariant.group.barrier``' Intrinsic
+^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+
+Syntax:
+"""""""
+
+::
+
+      declare i8* @llvm.invariant.group.barrier(i8* nocapture <ptr>)
+
+Overview:
+"""""""""
+
+The '``llvm.invariant.group.barrier``' intrinsic can be used when an invariant established by !invariant.group 
+metadata no longer holds, to obtain a new pointer value that does not carry the invariant information.
+
+
+Arguments:
+""""""""""
+
+The ``llvm.invariant.group.barrier`` takes only one argument, which is
+the pointer to the memory for which the invariant.group no longer holds.
+
+Semantics:
+""""""""""
+
+Returns another pointer that aliases it's argument but which is considered different 
+for the purposes of ``load``/``store`` !invariant.group metadata.
+
+
 '``llvm.var.annotation``' Intrinsic
 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^