RFR(S): 8215265: C2: range check elimination may allow illegal out of bound access

Roland Westrelin rwestrel at redhat.com
Mon Dec 17 13:06:01 UTC 2018


Hi Tobias,

Thanks for looking at this.

> but like this, you may unnecessarily increase the number of iterations
> of the pre-loop, right?

Right. By one iteration. The other way of doing this would to change the
limit computation to something like:

(loop - limit + scale - 1) /scale

but then we would need to worry about loop - limit + scale - 1
overflowing I think.

Roland.


More information about the hotspot-compiler-dev mailing list