[llvm] [LoopVersioning] Add a check to see if the input loop is in LCSSA form (PR #116443)
Florian Hahn via llvm-commits
llvm-commits at lists.llvm.org
Mon Dec 9 10:22:21 PST 2024
================
@@ -278,6 +279,9 @@ bool runImpl(LoopInfo *LI, LoopAccessInfoManager &LAIs, DominatorTree *DT,
if (!LAI.hasConvergentOp() &&
(LAI.getNumRuntimePointerChecks() ||
!LAI.getPSE().getPredicate().isAlwaysTrue())) {
+ if (!L->isLCSSAForm(*DT))
+ llvm::formLCSSARecursively(*L, *DT, LI, SE);
----------------
fhahn wrote:
```suggestion
formLCSSARecursively(*L, *DT, LI, SE);
```
https://github.com/llvm/llvm-project/pull/116443
More information about the llvm-commits
mailing list