[PATCH] D75462: [mem2reg] Enhance to ignore @llvm.assume(icmp ne null) uses.

Mon Mar 2 19:03:25 PST 2020

jdoerfert added subscribers: Tyker, lebedev.ri, jdoerfert.
jdoerfert requested changes to this revision.
jdoerfert added reviewers: lebedev.ri, fhahn, Tyker, jdoerfert.
jdoerfert added a comment.

While I see how this is generally useful, I fear the implementation goes in the wrong direction.
What I mean is that we are moving away from instruction-based encodings for assume, see for example D74209 <https://reviews.llvm.org/D74209>.
What we need here is basically D73832 <https://reviews.llvm.org/D73832>.

@Tyker @lebedev.ri Maybe lifetime markers are the second use case for the "drop users" interface (D73404 <https://reviews.llvm.org/D73404>).

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D75462