[lworld] RFR: 8375196: [lworld] TestArrays triggers assert in LRG::set_num_regs [v2]

[Tobias Hartmann]

On Thu, 15 Jan 2026 07:06:34 GMT, Quan Anh Mai <qamai at openjdk.org> wrote:

>> Hi,
>> 
>> The issue is that `PhaseMacroExpand::value_from_mem_phi` does not take into consideration flat arrays, so it incorrectly returns the whole object for a load from one of its fields. This results in a byte `Phi` with an input being an `oop`, triggering the assert during `LRG::set_num_regs` because the size of a `Phi` and its input are different.
>> 
>> Please take a look and leave your reviews, thanks a lot.
>
> Quan Anh Mai has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Add reminder at LibraryCallKit::inline_newArray

Thanks!

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

Marked as reviewed by thartmann (Committer).

PR Review: https://git.openjdk.org/valhalla/pull/1909#pullrequestreview-3664430347