@@ -18073,8 +18073,8 @@ to the object.
18073
18073
Semantics:
18074
18074
""""""""""
18075
18075
18076
- If ``ptr`` is a stack-allocated object and its offset is zero, the object is
18077
- initially marked as dead.
18076
+ If ``ptr`` is a stack-allocated object and it points to the first byte of
18077
+ the object, the object is initially marked as dead.
18078
18078
After '``llvm.lifetime.start``', the stack object that ``ptr`` points is marked
18079
18079
as alive and has an uninitialized value.
18080
18080
The stack object is marked as dead when either
@@ -18086,9 +18086,9 @@ After :ref:`llvm.lifetime.end <int_lifeend>` is called,
18086
18086
The second '``llvm.lifetime.start``' call marks the object as alive, but it
18087
18087
does not change the address of the object.
18088
18088
18089
- If ``ptr`` is a non-stack-allocated object, its offset is non-zero or it is
18090
- a stack object that is already alive, it simply fills all bytes of the object
18091
- with ``poison``.
18089
+ If ``ptr`` is a non-stack-allocated object, it does not point to the first
18090
+ byte of the object or it is a stack object that is already alive, it simply
18091
+ fills all bytes of the object with ``poison``.
18092
18092
18093
18093
18094
18094
.. _int_lifeend:
@@ -18119,12 +18119,13 @@ to the object.
18119
18119
Semantics:
18120
18120
""""""""""
18121
18121
18122
- If ``ptr`` is a stack-allocated object and its offset is zero, the object is
18123
- dead.
18122
+ If ``ptr`` is a stack-allocated object and it points to the first byte of the
18123
+ object, the object is dead.
18124
18124
Calling ``llvm.lifetime.end`` on an already dead alloca is no-op.
18125
18125
18126
- If ``ptr`` is a non-stack-allocated object or its offset is non-zero,
18127
- it is equivalent to simply filling all bytes of the object with ``poison``.
18126
+ If ``ptr`` is a non-stack-allocated object or it does not point to the first
18127
+ byte of the object, it is equivalent to simply filling all bytes of the object
18128
+ with ``poison``.
18128
18129
18129
18130
18130
18131
'``llvm.invariant.start``' Intrinsic
0 commit comments