[llvm] [LoopVectorize] Allow Early-Exit Loop Vectorization with EVL (PR #130918)

Florian Hahn via llvm-commits llvm-commits at lists.llvm.org
Wed Mar 12 03:17:28 PDT 2025


================
@@ -4092,8 +4094,9 @@ LoopVectorizationCostModel::computeMaxVF(ElementCount UserVF, unsigned UserIC) {
     // uncountable exits whilst also ensuring the symbolic maximum and known
     // back-edge taken count remain identical for loops with countable exits.
     const SCEV *BackedgeTakenCount = PSE.getSymbolicMaxBackedgeTakenCount();
-    assert(BackedgeTakenCount == PSE.getBackedgeTakenCount() &&
-           "Invalid loop count");
+    assert(Legal->hasUncountableEarlyExit() ||
----------------
fhahn wrote:

Comment above needs updating?

https://github.com/llvm/llvm-project/pull/130918


More information about the llvm-commits mailing list