RFR: 8354282: C2: more crashes in compiled code because of dependency on removed range check CastIIs

[Roland Westrelin]

On Mon, 14 Apr 2025 11:50:27 GMT, Quan Anh Mai <qamai at openjdk.org> wrote:

> If a `CastII` that does not narrow its input has its type being a constant, do you think GVN should transform it into a constant, or such nodes should return the bottom type so that it is not folded into a floating `ConNode`?

The current patch constant folds the `CastII` in that case. I could write a test case where that's an issue (it causes an out of bound load to float above the range check it depends on). I'm working on an update to the patch to address this.

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

PR Comment: https://git.openjdk.org/jdk/pull/24575#issuecomment-2826920388