Re: [lworld] RFR: 8384364: [lworld] C2: assert(cloned_flat_array_check->req() == 3) failed: unexpected number of inputs for FlatArrayCheck

[Tobias Hartmann]

On Wed, 13 May 2026 07:53:47 GMT, Roland Westrelin <rol...@openjdk.org> wrote:

> During loop unswitching `set_flat_array_check_inputs()` merges all
> flat array checks into single new `FlatArrayCheck` node. That code
> doesn't work if a `FlatArrayCheck` node has more than one
> `ArrayOrKlass` input. (that is it's the result of a previous pass of
> loop unswitching).
> 
> ---------
> - [x] I confirm that I make this contribution in accordance with the [OpenJDK 
> Interim AI Policy](https://openjdk.org/legal/ai).

Thanks for working on this Roland! The fix looks good to me. I'll run some 
sanity testing and report back once it passed.

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

Marked as reviewed by thartmann (Committer).

PR Review: 
https://git.openjdk.org/valhalla/pull/2430#pullrequestreview-4279843714