[PATCH] D60952: [ConstantRange] Add urem support

Roman Lebedev via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Tue Apr 23 07:50:38 PDT 2019


lebedev.ri accepted this revision.
lebedev.ri added a comment.
This revision is now accepted and ready to land.

LG other than exhaustive test suggestion.

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?


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

https://reviews.llvm.org/D60952





More information about the llvm-commits mailing list