[llvm] 1d03d59 - Revert "add initialized attribute LangRef"

Haopeng Liu via llvm-commits llvm-commits at lists.llvm.org
Thu Feb 15 14:27:32 PST 2024


Author: Haopeng Liu
Date: 2024-02-15T22:23:54Z
New Revision: 1d03d59aff07d40420a08af13ee74fed9846d7d8

URL: https://github.com/llvm/llvm-project/commit/1d03d59aff07d40420a08af13ee74fed9846d7d8
DIFF: https://github.com/llvm/llvm-project/commit/1d03d59aff07d40420a08af13ee74fed9846d7d8.diff

LOG: Revert "add initialized attribute LangRef"

This reverts commit 69a96ae0e80f0e62c1f25a1c255a3f46ff7dc9e8.

Added: 
    

Modified: 
    llvm/docs/LangRef.rst

Removed: 
    


################################################################################
diff  --git a/llvm/docs/LangRef.rst b/llvm/docs/LangRef.rst
index 6f7a0fd3f7ba5a..fd2e3aacd0169c 100644
--- a/llvm/docs/LangRef.rst
+++ b/llvm/docs/LangRef.rst
@@ -1589,23 +1589,6 @@ Currently, only the following parameter attributes are defined:
     ``readonly`` or a ``memory`` attribute that does not contain
     ``argmem: write``.
 
-``initialized((Lo1,Hi1),...)``
-    This attribute is a list of const ranges in ascending order with no
-    overlapping or continuous. It indicates that the function initializes the
-    memory through the pointer argument, [%p+LoN, %p+HiN), and there is no read
-    before initialization in the function. (even though it may read before
-    initializating the memory that the pointer points to).
-
-    The ``writable`` or ``dereferenceable`` attribute does not imply
-    ``initialized`` attribute, however the ``initialized`` argument does imply
-    ``writable`` and ``dereferenceable`` in the specified spaces.
-
-    The ``initialized`` attribute can combine with ``writeonly`` attribute, but
-    cannot be combined with ``readnone``, ``readonly`` or a memory attribute
-    that does not contain ``argmem: write``.
-
-    [TODO: unwind]
-
 ``dead_on_unwind``
     At a high level, this attribute indicates that the pointer argument is dead
     if the call unwinds, in the sense that the caller will not depend on the


        


More information about the llvm-commits mailing list