================ @@ -10359,6 +10357,8 @@ LoopVectorizeResult LoopVectorizePass::runImpl( } } + assert(!Changed || !verifyFunction(F, &dbgs())); ---------------- artagnon wrote: Sorry about this; fixed now. https://github.com/llvm/llvm-project/pull/91470