[llvm-branch-commits] [llvm] [DSE] Make DSE eliminate stores to objects with a sized dead_on_return (PR #173694)

[Aiden Grossman via llvm-branch-commits]

================
@@ -965,6 +965,7 @@ struct DSEState {
   // Keep track of all of the objects that are invisible to the caller after
   // the function returns.
   DenseMap<const Value *, bool> InvisibleToCallerAfterRet;
+  DenseMap<const Value *, uint64_t> InvisibleToCallerAfterRetBounded;
----------------
boomanaiden154 wrote:

Done.

I don't think it should be strictly necessary for correctness (we would just be seeing if values exist in the map that we will never see again), but good to add either way.

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