[llvm] [DSE] Fix non-determinism due to address reuse (PR #84943)

[Florian Hahn via llvm-commits]

================
@@ -2221,7 +2226,7 @@ static bool eliminateDeadStores(Function &F, AliasAnalysis &AA, MemorySSA &MSSA,
           continue;
         LLVM_DEBUG(dbgs() << "DSE: Remove Dead Store:\n  DEAD: " << *DeadI
                           << "\n  KILLER: " << *KillingI << '\n');
-        State.deleteDeadInstruction(DeadI);
+        State.deleteDeadInstruction(DeadI, &Deleted);
----------------
fhahn wrote:

Would it be possible to check if all uses in the loop pass Deleted, e.g. add an assert that checks if we add as many elements to `SkipStore` as we do to `Deleted` after the loop?

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