RFR: 8323274: C2: array load may float above range check [v3]

[Roland Westrelin]

On Wed, 7 Feb 2024 08:57:20 GMT, Emanuel Peter <epeter at openjdk.org> wrote:

> For my case 3: could we verify that the relevant array access nodes are already pinned?

I don't think we can. If an array access is always within bounds, then the range check optimizes away. The array access is then not pinned and could be dependent on a regular if. So there are non pinned array accesses that are dependent on an if. I hope to change that with JDK-8324976

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

PR Review Comment: https://git.openjdk.org/jdk/pull/17635#discussion_r1481456556