[LLVM][LoopVectorize] Add assert to verify BBFreq is never zero

dev-priyanshu15 · dev-priyanshu15 · commit 40adbfc939e4 · 2025-12-15T00:37:18.000+05:30
diff --git a/llvm/lib/Transforms/Vectorize/LoopVectorize.cpp b/llvm/lib/Transforms/Vectorize/LoopVectorize.cpp
@@ -2907,6 +2907,7 @@ uint64_t LoopVectorizationCostModel::getPredBlockCostDivisor(
   uint64_t BBFreq = getBFI().getBlockFreq(BB).getFrequency();
   assert(HeaderFreq >= BBFreq &&
          "Header has smaller block freq than dominated BB?");
+  assert(BBFreq != 0 && "BlockFrequencyInfo should never return zero frequency");
   return std::round((double)HeaderFreq / BBFreq);
 }
 

Original file line number	Diff line number	Diff line change
`@@ -2907,6 +2907,7 @@ uint64_t LoopVectorizationCostModel::getPredBlockCostDivisor(`
`2907`	`2907`	`uint64_t BBFreq = getBFI().getBlockFreq(BB).getFrequency();`
`2908`	`2908`	`assert(HeaderFreq >= BBFreq &&`
`2909`	`2909`	`"Header has smaller block freq than dominated BB?");`
	`2910`	`+ assert(BBFreq != 0 && "BlockFrequencyInfo should never return zero frequency");`
`2910`	`2911`	`return std::round((double)HeaderFreq / BBFreq);`
`2911`	`2912`	`}`
`2912`	`2913`