[CoroSplit] Remove lifetime marker checks for subranges of allocas

[NewSigma]

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

[llvmbot]

@llvm/pr-subscribers-coroutines

Author: Weibo He (NewSigma)

Changes

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

---

Full diff: https://github.com/llvm/llvm-project/pull/152886.diff

1 Files Affected:

• (modified) llvm/lib/Transforms/Coroutines/SpillUtils.cpp (-5)

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);

[llvmbot]

@llvm/pr-subscribers-llvm-transforms

Author: Weibo He (NewSigma)

Changes

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

---

Full diff: https://github.com/llvm/llvm-project/pull/152886.diff

1 Files Affected:

• (modified) llvm/lib/Transforms/Coroutines/SpillUtils.cpp (-5)

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);

[nikic]

LGTM