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

[Juneyoung Lee via Phabricator via llvm-commits]

aqjune added a comment.

I wonder whether the suggested specification looks okay or there are use cases of these intrinsics that I’m not aware of.

For the well-formedness of intrinsics, I want to write a validation algorithm for this at Verifier.cpp, but the algorithm is expensive.
For each lifetime.start we need to traverse CFG to check reachability to other lifetime.starts without visiting lifetime.end.
The time complexity will be O(N E) where N = # of lifetime.start, E = # of edges in CFG.
Is it allowed to have such expensive check in Verifier?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D93376