[llvm] [VPlan] Use SCEV to prove non-aliasing for stores at different offsets. (PR #170347)

[Ramkumar Ramachandra via llvm-commits]

================
@@ -4309,8 +4374,8 @@ canSinkStoreWithNoAliasCheck(ArrayRef<VPReplicateRecipe *> StoresToSink) {
 
   VPBasicBlock *FirstBB = StoresToSink.front()->getParent();
   VPBasicBlock *LastBB = StoresToSink.back()->getParent();
-  return canHoistOrSinkWithNoAliasCheck(*StoreLoc, FirstBB, LastBB,
-                                        /*CheckReads=*/true, &StoresToSinkSet);
+  SinkStoreInfo Info(StoresToSinkSet, *StoresToSink[0], SE, L, TypeInfo);
----------------
artagnon wrote:

```suggestion
  SinkStoreInfo SinkInfo(StoresToSinkSet, *StoresToSink[0], SE, L, TypeInfo);
```

to clearly distinguish from TypeInfo?

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