[PATCH] D11399: invariant.group and invariant.group.barrier docs

[Piotr Padlewski via llvm-commits]

Prazek added inline comments.

================
Comment at: docs/LangRef.rst:4430
@@ +4429,3 @@
+the optimizer that every ``load`` and ``store`` to the same pointer operand 
+within the same invariant group, can be assume to load or store the same bit 
+value (but see the ``llvm.invariant.group.barrier`` intrinsic which affects 
----------------
nlewycky wrote:
> nlewycky wrote:
> > "can be assume" --> "can be assumed"
> What does it mean to be assumed to store the same bit value? In the case of loads I think it means that the load must return the same value. Is the store stating that the store must be storing the same value, that is the value operand of the two stores is bit equivalent?
I don't understand what you are saying. It means that 2 stores with the same invariant.group and same operand must store the same value


http://reviews.llvm.org/D11399