[llvm] Add the 'initializes' attribute langref and support (PR #84803)
Haopeng Liu via llvm-commits
llvm-commits at lists.llvm.org
Thu May 9 07:57:19 PDT 2024
================
@@ -1621,6 +1621,26 @@ Currently, only the following parameter attributes are defined:
``readonly`` or a ``memory`` attribute that does not contain
``argmem: write``.
+``initializes((Lo1, Hi1), ...)``
+ This attribute indicates that the function initializes the ranges of the
+ pointer parameter's memory, ``[%p+LoN, %p+HiN)``. Initialization of memory
+ means the first memory access is a non-volatile, non-atomic write. The
+ write must happen before the function returns. If the function unwinds,
+ the write may not happen.
+
+ This attribute only holds for the memory accessed via this pointer
+ parameter. Other arbitrary accesses to the same memory via other pointers
+ are allowed.
+
+ The ``writable`` or ``dereferenceable`` attribute does not imply the
----------------
haopliu wrote:
Done!
https://github.com/llvm/llvm-project/pull/84803
More information about the llvm-commits
mailing list