RFR(S): 8135069: C2 replaces range checks by unsigned comparison with -1
Vladimir Kozlov
vladimir.kozlov at oracle.com
Mon Sep 14 16:06:55 UTC 2015
Looks fine.
Thanks,
Vladimir
On 9/14/15 5:28 AM, Roland Westrelin wrote:
> http://cr.openjdk.java.net/~roland/8135069/webrev.00/
>
> Another corner case that’s not handled correctly by the code that folds 2 consecutive integer comparisons into a single unsigned comparison:
>
> i < 0 || i > -1 is folded as i >u -1. It should be i >=u 0. I refactored the code so it’s easier to relate the comments and the logic.
>
> Roland.
>
More information about the hotspot-compiler-dev
mailing list