[llvm] ed53de2 - [LangRef] lifetime intrinsics: don't use word 'offset'

Juneyoung Lee via llvm-commits llvm-commits at lists.llvm.org
Thu Mar 4 19:53:27 PST 2021


Author: Juneyoung Lee
Date: 2021-03-05T12:53:13+09:00
New Revision: ed53de25f8bebaeb63b6abe8156ce12009f133f6

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

LOG: [LangRef] lifetime intrinsics: don't use word 'offset'

from Philip's comments

Added: 
    

Modified: 
    llvm/docs/LangRef.rst

Removed: 
    


################################################################################
diff  --git a/llvm/docs/LangRef.rst b/llvm/docs/LangRef.rst
index be8e6da356a5..0805f8a1c3bf 100644
--- a/llvm/docs/LangRef.rst
+++ b/llvm/docs/LangRef.rst
@@ -18073,8 +18073,8 @@ to the object.
 Semantics:
 """"""""""
 
-If ``ptr`` is a stack-allocated object and its offset is zero, the object is
-initially marked as dead.
+If ``ptr`` is a stack-allocated object and it points to the first byte of
+the object, the object is initially marked as dead.
 After '``llvm.lifetime.start``', the stack object that ``ptr`` points is marked
 as alive and has an uninitialized value.
 The stack object is marked as dead when either
@@ -18086,9 +18086,9 @@ After :ref:`llvm.lifetime.end <int_lifeend>` is called,
 The second '``llvm.lifetime.start``' call marks the object as alive, but it
 does not change the address of the object.
 
-If ``ptr`` is a non-stack-allocated object, its offset is non-zero or it is
-a stack object that is already alive, it simply fills all bytes of the object
-with ``poison``.
+If ``ptr`` is a non-stack-allocated object, it does not point to the first
+byte of the object or it is a stack object that is already alive, it simply
+fills all bytes of the object with ``poison``.
 
 
 .. _int_lifeend:
@@ -18119,12 +18119,13 @@ to the object.
 Semantics:
 """"""""""
 
-If ``ptr`` is a stack-allocated object and its offset is zero, the object is
-dead.
+If ``ptr`` is a stack-allocated object and it points to the first byte of the
+object, the object is dead.
 Calling ``llvm.lifetime.end`` on an already dead alloca is no-op.
 
-If ``ptr`` is a non-stack-allocated object or its offset is non-zero,
-it is equivalent to simply filling all bytes of the object with ``poison``.
+If ``ptr`` is a non-stack-allocated object or it does not point to the first
+byte of the object, it is equivalent to simply filling all bytes of the object
+with ``poison``.
 
 
 '``llvm.invariant.start``' Intrinsic


        


More information about the llvm-commits mailing list