[PATCH] D82222: [DSE, MSSA] Treat passed by value args as invisible to caller.

[Eli Friedman via Phabricator via llvm-commits]

efriedma added inline comments.


================
Comment at: llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp:1584
+        State.InvisibleToCallerBeforeRet.insert(&AI);
+        State.InvisibleToCallerAfterRet.insert(&AI);
+      }
----------------
For inalloca and preallocated, the argument has the same address in the caller and the callee.  So if I'm understanding correctly, InvisibleToCallerBeforeRet should only apply specifically to byval.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D82222/new/

https://reviews.llvm.org/D82222