[PATCH] D60952: [ConstantRange] Add urem support

Roman Lebedev via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Mon Apr 22 11:01:10 PDT 2019

Previous message: [PATCH] D60973: [llvm-extract] Expose the group extraction feature of the BlockExtractor
Next message: [PATCH] D60952: [ConstantRange] Add urem support
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

lebedev.ri added a comment.

While i understand that you can't do a traditional exhaustive test that this produces *identical* results,
can't you at least test that the `ConstantRange::urem()` is still **always** //conservatively// correct?


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

https://reviews.llvm.org/D60952

Previous message: [PATCH] D60973: [llvm-extract] Expose the group extraction feature of the BlockExtractor
Next message: [PATCH] D60952: [ConstantRange] Add urem support
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list