[llvm] 13cd725 - [CoroSplit] Remove lifetime marker checks for subranges of allocas (#152886)

[via llvm-commits]

Author: Weibo He
Date: 2025-08-11T13:02:07+02:00
New Revision: 13cd72585702e7288804c387d7d9ac45328d2974

URL: https://github.com/llvm/llvm-project/commit/13cd72585702e7288804c387d7d9ac45328d2974
DIFF: https://github.com/llvm/llvm-project/commit/13cd72585702e7288804c387d7d9ac45328d2974.diff

LOG: [CoroSplit] Remove lifetime marker checks for subranges of allocas (#152886)

#150248 starts to drop size argument of lifetime markers. Then lifetime
markers cannot refer to subrange of allocas and we can remove this
check.

Added: 
    

Modified: 
    llvm/lib/Transforms/Coroutines/SpillUtils.cpp

Removed: 
    


################################################################################
diff  --git a/llvm/lib/Transforms/Coroutines/SpillUtils.cpp b/llvm/lib/Transforms/Coroutines/SpillUtils.cpp
index 4e717685555b5..d5d60a320b521 100644
--- a/llvm/lib/Transforms/Coroutines/SpillUtils.cpp
+++ b/llvm/lib/Transforms/Coroutines/SpillUtils.cpp
@@ -264,11 +264,6 @@ struct AllocaUseVisitor : PtrUseVisitor<AllocaUseVisitor> {
   }
 
   void visitIntrinsicInst(IntrinsicInst &II) {
-    // When we found the lifetime markers refers to a
-    // subrange of the original alloca, ignore the lifetime
-    // markers to avoid misleading the analysis.
-    if (!IsOffsetKnown || !Offset.isZero())
-      return Base::visitIntrinsicInst(II);
     switch (II.getIntrinsicID()) {
     default:
       return Base::visitIntrinsicInst(II);