[llvm] [coro][CoroSplit] Use `llvm.lifetime.end` to compute putting objects on the frame vs the stack (PR #90265)

via llvm-commits llvm-commits at lists.llvm.org
Thu May 2 12:15:40 PDT 2024


================
@@ -96,6 +96,22 @@ bool isPotentiallyReachableFromMany(
     const SmallPtrSetImpl<BasicBlock *> *ExclusionSet,
     const DominatorTree *DT = nullptr, const LoopInfo *LI = nullptr);
 
+/// Determine whether there is at least one path from a block in
+/// 'Worklist' to a block in 'StopSet' without passing through any
+///  blocks in 'ExclusionSet', returning true if uncertain.
+///
+/// Determine whether there is a path from at least one block in Worklist to
----------------
zmodem wrote:

Maybe "is *potentially* a path", since the function is conservative?

https://github.com/llvm/llvm-project/pull/90265


More information about the llvm-commits mailing list