[llvm] [RFC] IR: Define noalias.addrspace metadata (PR #102461)

[Artem Belevich via llvm-commits]

================
@@ -8015,6 +8015,42 @@ it will contain a list of ids, including the ids of the callsites in the
 full inline sequence, in order from the leaf-most call's id to the outermost
 inlined call.
 
+
+'``noalias.addrspace``' Metadata
+^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+
+The ``noalias.addrspace`` metadata is used to identify memory
+operations which cannot access a range of address spaces. It is
+attached to memory instructions, including :ref:`atomicrmw
+<i_atomicrmw>`, :ref:`cmpxchg <i_cmpxchg>`, and :ref:`call <i_call>`
+instructions.
+
+This follows the same form as :ref:`range metadata <_range-metadata>`,
+except the field entries must be of type `i32`. The interpretation is
+the same numeric address spaces as applied to IR values.
----------------
Artem-B wrote:

`range` does the job, but is a bit awkward if/when we need to specify individual address spaces.
Could it be just a list of i32, possibly with enforced order/uniqueness on the elements?



https://github.com/llvm/llvm-project/pull/102461