[PATCH] D142625: [IR][doc] Alignment is always set in memory for load/store/alloca/cmpxchg/atomicrmw.

[Guillaume Chatelet via Phabricator via llvm-commits]

gchatelet created this revision.
gchatelet added a reviewer: efriedma.
Herald added a subscriber: jdoerfert.
Herald added a project: All.
gchatelet requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

Context https://reviews.llvm.org/D142459#4081179


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D142625

Files:
  llvm/docs/LangRef.rst


Index: llvm/docs/LangRef.rst
===================================================================
--- llvm/docs/LangRef.rst
+++ llvm/docs/LangRef.rst
@@ -10083,6 +10083,8 @@
 alignment may not be greater than ``1 << 32``. If not specified, or if
 zero, the target can choose to align the allocation on any convenient
 boundary compatible with the type.
+Note that if the ``align`` argument is optional in the textual IR format,
+it is always defined in memory.
 
 '``type``' may be any sized type.
 
@@ -10176,6 +10178,8 @@
 address space. Access of the high bytes can interfere with debugging
 tools, so should not be accessed if the function has the
 ``sanitize_thread`` or ``sanitize_address`` attributes.
+Note that if the ``align`` argument is optional in the textual IR format,
+it is always defined in memory.
 
 The optional ``!nontemporal`` metadata must reference a single
 metadata name ``<nontemp_node>`` corresponding to a metadata node with one
@@ -10316,6 +10320,8 @@
 data race is not allowed. Storing to the extra bytes is not allowed
 even in situations where a data race is known to not exist if the
 function has the ``sanitize_address`` attribute.
+Note that if the ``align`` argument is optional in the textual IR format,
+it is always defined in memory.
 
 The optional ``!nontemporal`` metadata must reference a single metadata
 name ``<nontemp_node>`` corresponding to a metadata node with one ``i32`` entry
@@ -10455,6 +10461,8 @@
 size of the '<value>' type. Note that this default alignment assumption is
 different from the alignment used for the load/store instructions when align
 isn't specified.
+Note that if the ``align`` argument is optional in the textual IR format,
+it is always defined in memory.
 
 The pointer passed into cmpxchg must have alignment greater than or
 equal to the size in memory of the operand.
@@ -10556,6 +10564,8 @@
 size of the '<value>' type. Note that this default alignment assumption is
 different from the alignment used for the load/store instructions when align
 isn't specified.
+Note that if the ``align`` argument is optional in the textual IR format,
+it is always defined in memory.
 
 A ``atomicrmw`` instruction can also take an optional
 ":ref:`syncscope <syncscope>`" argument.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D142625.492422.patch
Type: text/x-patch
Size: 2255 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230126/f9522c9e/attachment.bin>