[PATCH] D93376: [LangRef] Clarify the semantics of lifetime intrinsics

[Ralf via Phabricator via llvm-commits]

RalfJung added a comment.

> Two allocas with disjoint lifetimes should be able to be overlapped.

Ah, that makes it very tricky... to also support ptrtoint mobility, alloca really needs to "see ahead" and determine which stack slots have disjoint lifetimes and which do not. Then it can immediately "reserve" some memory that does not overlap with stack slots with non-disjoint lifetime.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D93376/new/

https://reviews.llvm.org/D93376