[PATCH] D60952: [ConstantRange] Add urem support

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

In D60952#1475582 <https://reviews.llvm.org/D60952#1475582>, @lebedev.ri wrote:

> Even in the cases where we can't test that exhaustive test produces identical results,
>  we should be able to at least test that `ConstantRange` is conservatively correct,
>  in the sense that `ConstantRange` returns a superset of the exhaustive test, no?


Yup. I've extended TestUnsignedBinOpExhaustive to support checking correctness only and used it here.


Repository:
  rL LLVM

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

https://reviews.llvm.org/D60952