[PATCH] D63439: Wordsmith the semantics of invariant.load

[Phabricator via llvm-commits]

This revision was automatically updated to reflect the committed changes.
Closed by commit rGb9e9e2eef18c: Wordsmith the semantics of invariant.load (authored by Evgeniy Brevnov <ybrevnov at azul.com>).
Herald added a subscriber: jdoerfert.

Changed prior to commit:
  https://reviews.llvm.org/D63439?vs=205099&id=339453#toc

Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D63439/new/

https://reviews.llvm.org/D63439

Files:
  llvm/docs/LangRef.rst


Index: llvm/docs/LangRef.rst
===================================================================
--- llvm/docs/LangRef.rst
+++ llvm/docs/LangRef.rst
@@ -9639,10 +9639,10 @@
 The optional ``!invariant.load`` metadata must reference a single
 metadata name ``<empty_node>`` corresponding to a metadata node with no
 entries. If a load instruction tagged with the ``!invariant.load``
-metadata is executed, the optimizer may assume the memory location
-referenced by the load contains the same value at all points in the
-program where the memory location is known to be dereferenceable;
-otherwise, the behavior is undefined.
+metadata is executed, the memory location referenced by the load has
+to contain the same value at all points in the program where the
+memory location is dereferenceable; otherwise, the behavior is
+undefined.
 
 The optional ``!invariant.group`` metadata must reference a single metadata name
  ``<empty_node>`` corresponding to a metadata node with no entries.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D63439.339453.patch
Type: text/x-patch
Size: 989 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210422/5dcc9273/attachment.bin>