File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -8041,10 +8041,10 @@ inlined call.
80418041^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
80428042
80438043The ``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.
80488048
80498049This follows the same form as :ref:`range metadata <range-metadata>`,
80508050except the field entries must be of type `i32`. The interpretation is
You can’t perform that action at this time.
0 commit comments