[LangRef] mention that the lifetime intrinsics' description in LangRef isn't everything
authorJuneyoung Lee <aqjune@gmail.com>
Tue, 9 Mar 2021 02:33:31 +0000 (11:33 +0900)
committerJuneyoung Lee <aqjune@gmail.com>
Tue, 9 Mar 2021 02:33:36 +0000 (11:33 +0900)
commit3d6183661d3a2d1e39468a51ebf4cef5bd0a2ed8
tree31dd958ce2d7b6e99e991791503a8589ed400856
parentc5c6f187a32d4273175443ff396872d54ce71a6b
[LangRef] mention that the lifetime intrinsics' description in LangRef isn't everything

This is a minor patch that addresses concerns about lifetime in D94002.

We need to mention that what's written in LangRef isn't everything about lifetime.start/end
and its semantics depends on the stack coloring algorithm's pattern matching of a stack pointer.

If the stack coloring algorithm cannot conclude that a pointer is a stack-allocated object, the pointer is conservatively
considered as a non-stack one because stack coloring won't take this lifetime into account while assigning addresses.

A reference from alloca to lifetime.start/end is added as well.

Differential Revision: https://reviews.llvm.org/D98112
llvm/docs/LangRef.rst