Integrated: 8256730: Code that uses Object.checkIndex() range checks doesn't optimize well

[Roland Westrelin]

On Fri, 20 Nov 2020 09:42:03 GMT, Roland Westrelin <roland at openjdk.org> wrote:

> This was reported by Paul with the vector API. There are 2 issues:
> 
> - CastII nodes (added by Objects.checkIndex()) gets in the way of the
>   pattern matching performed by range check elimination
> 
> - By transforming (CastII (AddI x y)) into (AddI (CastII x) (CastII y))
>   some CastII can be eliminated which improves address computation code.

This pull request has now been integrated.

Changeset: d93293f3
Author:    Roland Westrelin <roland at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/d93293f3
Stats:     554 lines in 7 files changed: 324 ins; 220 del; 10 mod

8256730: Code that uses Object.checkIndex() range checks doesn't optimize well

Reviewed-by: vlivanov, thartmann

-------------

PR: https://git.openjdk.java.net/jdk/pull/1342