[DSE,MSSA] Treat passed by value args as invisible to caller.
authorFlorian Hahn <flo@fhahn.com>
Tue, 23 Jun 2020 07:58:51 +0000 (08:58 +0100)
committerFlorian Hahn <flo@fhahn.com>
Tue, 23 Jun 2020 07:58:51 +0000 (08:58 +0100)
commita822ec75cc6044eae8dd99d1b78c1a7eb9ad40d7
treee6ea8e105613f8a8391f0986cf3182dd383ef285
parent5eca1d5e0d22a2a578370fdc780cd4003e28ad61
[DSE,MSSA] Treat passed by value args as invisible to caller.

This updates the MemorySSA backed implementation to treat arguments
passed by value similar to allocas: in they are assumed to be invisible
in the caller. This is similar to how they are treated in legacy DSE.

Reviewers: efriedma, asbirlea, george.burgess.iv

Reviewed By: efriedma

Differential Revision: https://reviews.llvm.org/D82222
llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp