[PATCH] D89548: [SCEV] Prove implications of different type via truncation

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev reopened this revision.
mkazantsev added a comment.
This revision is now accepted and ready to land.

The underlying patch D89381 <https://reviews.llvm.org/D89381> was reverted again, and nothing will work without it. Reopenning until this has beeen resolved.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D89548