[llvm] 5eccd71 - [VPlan] Add assertion ensuring Plan's UF matches BestUF (NFC).

[Florian Hahn via llvm-commits]

Author: Florian Hahn
Date: 2025-03-27T19:29:55Z
New Revision: 5eccd71ce4f852c7b2f06ecd1976d9e34040fcaa

URL: https://github.com/llvm/llvm-project/commit/5eccd71ce4f852c7b2f06ecd1976d9e34040fcaa
DIFF: https://github.com/llvm/llvm-project/commit/5eccd71ce4f852c7b2f06ecd1976d9e34040fcaa.diff

LOG: [VPlan] Add assertion ensuring Plan's UF matches BestUF (NFC).

Added: 
    

Modified: 
    llvm/lib/Transforms/Vectorize/VPlanTransforms.cpp

Removed: 
    


################################################################################
diff  --git a/llvm/lib/Transforms/Vectorize/VPlanTransforms.cpp b/llvm/lib/Transforms/Vectorize/VPlanTransforms.cpp
index e14522f4db5e4..a445e7d867344 100644
--- a/llvm/lib/Transforms/Vectorize/VPlanTransforms.cpp
+++ b/llvm/lib/Transforms/Vectorize/VPlanTransforms.cpp
@@ -1154,7 +1154,7 @@ void VPlanTransforms::optimizeForVFAndUF(VPlan &Plan, ElementCount BestVF,
   Term->eraseFromParent();
 
   Plan.setVF(BestVF);
-  Plan.setUF(BestUF);
+  assert(Plan.getUF() == BestUF && "BestUF must match the Plan's UF");
   // TODO: Further simplifications are possible
   //      1. Replace inductions with constants.
   //      2. Replace vector loop region with VPBasicBlock.