tree bb0583dc4255afebe7d2ef1cf8272d8760a2e1b7
parent 93ccb8eb52f7e7474afaa782fcc6c52bd8c1494b
author Nikita Popov <nikita.ppv@gmail.com> 1593718540 +0200
committer Nikita Popov <nikita.ppv@gmail.com> 1593853380 +0200

[InstSimplify] Simplify comparison between zext(x) and sext(x)

This is picking up a loose thread from D69006: We can simplify
(zext x) ule (sext x) and (zext x) sge (sext x) to true, with
various permutations. Oddly, SCEV knows about this identity,
but nothing on the IR level does.

Differential Revision: https://reviews.llvm.org/D83081