[PATCH] D94002: [LangRef] Make lifetime intrinsic's semantics consistent with StackColoring's comment

[Juneyoung Lee via Phabricator via llvm-commits]

aqjune created this revision.
aqjune added reviewers: jdoerfert, lebedev.ri, nikic, efriedma, nhaehnle.
aqjune requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

This patch is the first update to LangRef by describing lifetime intrinsics' behavior
by following the description of MIR's LIFETIME_START/LIFETIME_END markers
at StackColoring.cpp (https://github.com/llvm/llvm-project/blob/eb44682d671d66e422b02595a636050582a4d84a/llvm/lib/CodeGen/StackColoring.cpp#L163).

This patch has no syntactic constraint or verifier update.
It only describes the full effect when the lifetime's pointer is in expected form.
In cases where the pointer isn't syntactically understandable, I left the description from the pre-existing text
with additionally saying that the behavior is implementation-defined.
But, making the semantics diverging depending on implementation isn't good, so let's move towards having one consistent semantics.

In order to make terms explicit, I added 'Object Lifetime' subsection.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D94002

Files:
  llvm/docs/LangRef.rst

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D94002.314307.patch
Type: text/x-patch
Size: 5663 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210104/e542b41c/attachment.bin>