[llvm] [LAA] Improve code in findForkedSCEVs (NFC) (PR #140384)
Ramkumar Ramachandra via llvm-commits
llvm-commits at lists.llvm.org
Mon May 19 11:19:37 PDT 2025
================
@@ -999,24 +999,17 @@ static void findForkedSCEVs(
break;
}
- // Find the pointer type we need to extend to.
- Type *IntPtrTy = SE->getEffectiveSCEVType(
- SE->getSCEV(GEP->getPointerOperand())->getType());
-
- // Find the size of the type being pointed to. We only have a single
- // index term (guarded above) so we don't need to index into arrays or
- // structures, just get the size of the scalar value.
- const SCEV *Size = SE->getSizeOfExpr(IntPtrTy, SourceTy);
-
- // Scale up the offsets by the size of the type, then add to the bases.
- const SCEV *Scaled1 = SE->getMulExpr(
- Size, SE->getTruncateOrSignExtend(get<0>(OffsetScevs[0]), IntPtrTy));
- const SCEV *Scaled2 = SE->getMulExpr(
- Size, SE->getTruncateOrSignExtend(get<0>(OffsetScevs[1]), IntPtrTy));
- ScevList.emplace_back(SE->getAddExpr(get<0>(BaseScevs[0]), Scaled1),
- NeedsFreeze);
- ScevList.emplace_back(SE->getAddExpr(get<0>(BaseScevs[1]), Scaled2),
- NeedsFreeze);
+ Type *PtrTy = GEP->getPointerOperandType();
----------------
artagnon wrote:
Shouldn't be an issue, as SCEV internally calls getEffectiveType() on every Type that's passed to it, which resolves to the index type for the DL for a pointer.
https://github.com/llvm/llvm-project/pull/140384
More information about the llvm-commits
mailing list