[llvm] [LoopVectorize] Call verifyFunction behind EXPENSIVE_CHECKS (PR #216448)
Florian Hahn via llvm-commits
llvm-commits at lists.llvm.org
Sat Aug 22 05:34:43 PDT 2026
================
@@ -8380,7 +8380,9 @@ bool LoopVectorizePass::processLoop(Loop *L) {
assert(DT->verify(DominatorTree::VerificationLevel::Fast) &&
"DT not preserved correctly");
+#ifdef EXPENSIVE_CHECKS
assert(!verifyFunction(*F, &dbgs()));
+#endif
----------------
fhahn wrote:
Maybe we can still keep a `verifyFunction` call at the end of the pass, to not completely disable it for most builds?
https://github.com/llvm/llvm-project/pull/216448
More information about the llvm-commits
mailing list