From b9e9e2eef18c80b2ee98fb4a5c00ce29bb105728 Mon Sep 17 00:00:00 2001 From: Evgeniy Brevnov Date: Thu, 22 Apr 2021 10:04:49 +0700 Subject: [PATCH] Wordsmith the semantics of invariant.load Don't phrase the semantics in terms of the optimizer. Instead have a more straightforward execution based semantic. Reviewed By: ebrevnov Differential Revision: https://reviews.llvm.org/D63439 --- llvm/docs/LangRef.rst | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/llvm/docs/LangRef.rst b/llvm/docs/LangRef.rst index 9d00f4c..e6760f8 100644 --- a/llvm/docs/LangRef.rst +++ b/llvm/docs/LangRef.rst @@ -9639,10 +9639,10 @@ as the ``MOVNT`` instruction on x86. The optional ``!invariant.load`` metadata must reference a single metadata name ```` 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 ```` corresponding to a metadata node with no entries. -- 2.7.4