[PATCH] D93888: [GVN] If zext X == N or sext X == N, then X == trunc N.

[Chenguang Wang via Phabricator via llvm-commits]

wecing added a comment.

> For NewGVN and IPSCCP PredicateInfo would have to handle it, and I'm pretty sure we want to avoid that.

@nikic Would you mind explaining why? If there is a good reason we cannot do this in NewGVN then D93850 <https://reviews.llvm.org/D93850> might be the best we could do.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D93888