diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2019-04-23 18:00:17 +0000 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-04-23 18:00:17 +0000 |
| commit | f945429fed52bc7c182d5b38469a41ab5eea03a2 (patch) | |
| tree | 889515937f2a75eb3cc36a63202bf45c8e583c27 /libcxx/www | |
| parent | 4a52397965b7fdd168cc0f96f82e859b6139ce4f (diff) | |
| download | bcm5719-llvm-f945429fed52bc7c182d5b38469a41ab5eea03a2.tar.gz bcm5719-llvm-f945429fed52bc7c182d5b38469a41ab5eea03a2.zip | |
[ConstantRange] Add urem support
Add urem support to ConstantRange, so we can handle in in LVI. This
is an approximate implementation that tries to capture the most useful
conditions: If the LHS is always strictly smaller than the RHS, then
the urem is a no-op and the result is the same as the LHS range.
Otherwise the lower bound is zero and the upper bound is
min(LHSMax, RHSMax - 1).
Differential Revision: https://reviews.llvm.org/D60952
llvm-svn: 359019
Diffstat (limited to 'libcxx/www')
0 files changed, 0 insertions, 0 deletions
