[llvm] Reapply "[coro][CoroSplit] Use `llvm.lifetime.end` to compute putting objects on the frame vs the stack (#90265) (PR #91372)
Alan Zhao via llvm-commits
llvm-commits at lists.llvm.org
Mon May 13 13:20:50 PDT 2024
================
@@ -130,14 +130,35 @@ static const Loop *getOutermostLoop(const LoopInfo *LI, const BasicBlock *BB) {
return L ? L->getOutermostLoop() : nullptr;
}
-bool llvm::isPotentiallyReachableFromMany(
- SmallVectorImpl<BasicBlock *> &Worklist, const BasicBlock *StopBB,
- const SmallPtrSetImpl<BasicBlock *> *ExclusionSet, const DominatorTree *DT,
- const LoopInfo *LI) {
- // When the stop block is unreachable, it's dominated from everywhere,
+template <class T, bool IsMany>
+static bool isReachableImpl(SmallVectorImpl<BasicBlock *> &Worklist,
+ const T *StopBBOrSet,
+ const SmallPtrSetImpl<BasicBlock *> *ExclusionSet,
+ const DominatorTree *DT, const LoopInfo *LI) {
+ const BasicBlock *StopBB;
+ const SmallPtrSetImpl<const BasicBlock *> *StopSet;
+
+ // SmallPtrSetImpl is incompatible with LLVM's casting functions.
+ if constexpr (IsMany)
+ StopSet =
+ static_cast<const SmallPtrSetImpl<const BasicBlock *> *>(StopBBOrSet);
+ else
+ StopBB = static_cast<const BasicBlock *>(StopBBOrSet);
----------------
alanzhao1 wrote:
This PR uses `SingleEntrySet` now.
https://github.com/llvm/llvm-project/pull/91372
More information about the llvm-commits
mailing list