File tree 1 file changed +4
-4
lines changed
1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -8041,10 +8041,10 @@ inlined call.
8041
8041
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
8042
8042
8043
8043
The ``noalias.addrspace`` metadata is used to identify memory
8044
- operations which cannot access a range of address spaces. It is
8045
- attached to memory instructions, including :ref:`atomicrmw
8046
- <i_atomicrmw>`, :ref:`cmpxchg <i_cmpxchg>`, and :ref:`call <i_call>`
8047
- instructions.
8044
+ operations which cannot access objects allocated in a range of address
8045
+ spaces. It is attached to memory instructions, including
8046
+ :ref:`atomicrmw <i_atomicrmw>`, :ref:`cmpxchg <i_cmpxchg>`, and
8047
+ :ref:`call <i_call>` instructions.
8048
8048
8049
8049
This follows the same form as :ref:`range metadata <range-metadata>`,
8050
8050
except the field entries must be of type `i32`. The interpretation is
You can’t perform that action at this time.
0 commit comments