[PATCH] D149510: [ValueTracking] add UGT/UGE and SGT/SGE in `isImpliedCondOperands`

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

Could you please also add some negative tests, e.g. where for unsigned predicate the `nuw` is missing? To make sure the correct implication check is done.


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

https://reviews.llvm.org/D149510