LGTM
Unfortunately, GetRange is not really monotone, so I removed the test.
The counterexample is Range(1, 2) <= SignedSmall Union Range(1e+10, inf),
but
Range(1, 2) <=/= Range(1e+10, inf).
IIUC, this one would also be fixed if we treated number bitsets as proper
ranges. Because then SignedSmall \/ Range(1e+10, inf) would result in
Range(-2^30, inf).
https://codereview.chromium.org/723023002/
--
--
v8-dev mailing list
[email protected]
http://groups.google.com/group/v8-dev
---
You received this message because you are subscribed to the Google Groups "v8-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
