[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