Comment #2 on issue 1510 by [email protected]: Missing range analysis for
logical shift >>>
http://code.google.com/p/v8/issues/detail?id=1510
I'm wrong about some of the shift cases, specifically when the shift count
is or may be zero.
(-1) >>> 0 == 4294967295.
Since this is outside the analysis range [-2^31, 2^31-1), nothing useful
can be done for
Shr([a, b], unknown) = [0, 0xFFFFFFFF] if a<0
Shr([a, b], 0) = [0, 0xFFFFFFFF] if a<0
It would still be useful for k>=1
--
v8-dev mailing list
[email protected]
http://groups.google.com/group/v8-dev
