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

[Florian Hahn 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
+
+target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
+target triple = "x86_64-unknown-linux-gnu"
+
+; CHECK-LABEL: @pr66616(
+; CHECK: vector.body
+define void @pr66616() {
+entry:
+  br label %for.body
+
+for.cond5.preheader:                              ; preds = %for.body
+  br label %while.body.i
+
+for.body:                                         ; preds = %for.body, %entry
----------------
fhahn wrote:

Can you update the block & value names to be more descriptive, e.g. `loop.1`, `loop.2` for the 2 different loop blocks, `iv.X` for the loop inductions and so on.

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