[llvm] [LV] Invalidate SCEV values in the scalar loop after loop vectorization (PR #69886)

[Florian Hahn via llvm-commits]

https://github.com/fhahn commented:

Thanks for investigating this!

Could you provide more context about the failure in the description? form the issue, it looks like the crash is `bool llvm::ScalarEvolution::isLoopEntryGuardedByCond(const Loop *, ICmpInst::Predicate, const SCEV *, const SCEV *): Assertion `isAvailableAtLoopEntry(LHS, L) && "LHS is not available at Loop Entry"`, correct?

In that case, is it possible that we kept around some invalid block & loop dispositions?

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