[PATCH] D62342: [SelectionDAG] Enhance the simplification of `copyto` from `implicit-def`.

[Matt Arsenault via Phabricator via llvm-commits]

arsenm added a comment.

In D62342#1515284 <https://reviews.llvm.org/D62342#1515284>, @nhaehnle wrote:

> I don't think this is correct. If an IMPLICIT_DEF has multiple uses, then the correctness of the program may depend on all uses seeing the same value, even if that value is undefined.


I don't think this is a guaranteed property. This is the MIR equivalent of the poison/freeze question, but today implicit_def doesn't give you this


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D62342