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

[Nikita Popov via llvm-commits]

================
@@ -0,0 +1,35 @@
+; RUN: opt -passes="require<scalar-evolution>,print<scalar-evolution>,loop-vectorize" --verify-scev --verify-scev-strict -S < %s | FileCheck %s
----------------
nikic wrote:

The `require<scalar-evolution>` here is redundant.

Also, do not add `-verify-scev-strict` to tests. Failures reported by this option are usually spurious.

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