On Fri, 3 Oct 2025 14:22:23 GMT, Frederic Parain <[email protected]> wrote:
>> src/hotspot/share/oops/markWord.hpp line 310:
>>
>>> 308: bool must_be_preserved() const {
>>> 309: return (!is_unlocked() || !has_no_hash() ||
>>> 310: (EnableValhalla && (is_larval_state() || is_inline_type() ||
>>> is_flat_array() || is_null_free_array())));
>>
>> Doesn't `is_inline_type` imply `is_larval_state`? (edit: other way around)
>
> The other way around, `is_larval_state` implies `is_inline_type` because only
> value classes instances can be in a larval state.
I don't know. I was decoding bits in my notebook yesterday. Would rather have
them spelled out explicitly in case larval_state goes away or the bits change.
-------------
PR Review Comment:
https://git.openjdk.org/valhalla/pull/1655#discussion_r2402134809
