On Wed, 25 Feb 2026 15:43:01 GMT, Quan Anh Mai <[email protected]> wrote:
> Hi,
>
> value class MyValue {
> MyValue other;
> }
>
> A cyclic field is not aggressively scalarized, so when we obtain an object of
> `MyValue`, the field `other` stays as a `LoadP`. When we go `getfield` from a
> `MyValue`, we obtain the `LoadP` into the state map. We have
> `InlineTypeNode::adjust_scalarization_depth` but it only has its effect if
> the field is already an `InlineTypeNode`. We need to add a case to scalarize
> if the obtained field is an oop.
>
> Many thanks to @TobiHartmann for the test case.
>
> Please kindly review, thanks a lot.
This pull request has now been integrated.
Changeset: c7a9b210
Author: Quan Anh Mai <[email protected]>
URL:
https://git.openjdk.org/valhalla/commit/c7a9b210342f3a759a891881ba8516c3f68fb0cf
Stats: 71 lines in 3 files changed: 71 ins; 0 del; 0 mod
8378686: [lworld] C2 fails with assert(_gvn.type(n) == TypePtr::NULL_PTR)
failed: must be a null constant
Reviewed-by: thartmann
-------------
PR: https://git.openjdk.org/valhalla/pull/2166
