Optimize signed integer comparison
John Rose
john.r.rose at oracle.com
Fri Jul 18 22:16:11 UTC 2014
On Jul 18, 2014, at 2:58 PM, Vladimir Kozlov <vladimir.kozlov at oracle.com> wrote:
>>
>> Alternatively, and more powerfully, we could add bitfield tracking to the type system. Graal has this (based on type equations I sent them). If we were to do both range and bitfield tracking of the {-1,0,1} range of Cmp operations, we could express the type NE using the type assertion "(cmp&-2)!=0" which can be coded as "downMask!=0".
>
> It is out of scope of these changes. Should be filed separate RFE.
Already done as JDK-8001436; I linked the bugs FTR. — John
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.openjdk.java.net/pipermail/hotspot-compiler-dev/attachments/20140718/4b3b529c/attachment.html>
More information about the hotspot-compiler-dev
mailing list