RFR: 8290892: C2: Intrinsify Reference.reachabilityFence [v19]

[Emanuel Peter]

On Fri, 7 Nov 2025 07:09:37 GMT, Vladimir Ivanov <vlivanov at openjdk.org> wrote:

>>> is_significant_sfpt() encodes a white list consisting of cases which can be safely ignored when it comes to reachability tracking. An overlooked case is a missed optimization opportunity.
>> 
>> Sounds good. Can you add a code comment for that, please?
>> 
>> Ok, I'm fine with keeping the name. But it might make sense to link to where the "significance" term is defined. Because otherwise it is a concept without any clear definition, and hard for the reader to understand. You have to infer the definition from the usage, and that often leads to unclear definitions that shift over time, and eventually the concept even is incoherent. A clear definition can also help if we have a bug: we can clearly see what we missed and what we might have to do to fix it.
>
> Ok, I got rid of "significant" in favor of "interfering" (new name is `is_interfering_sfpt_candidate`).

Nice! `is_interfering_sfpt_candidate` is definitively a big improvement :)

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

PR Review Comment: https://git.openjdk.org/jdk/pull/25315#discussion_r2502634482