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

[Emanuel Peter]

On Wed, 17 Sep 2025 19:53:18 GMT, Vladimir Ivanov <vlivanov at openjdk.org> wrote:

>> Why don't we put RF edges somewhere else, so they don't look like derived oops?  I was thinking they could go in the monitor area, or if that causes problems, we introduce a new area.
>
> It's solely an implementation limitation. As of now, the only structure imposed on safepoint inputs relates to debug info (represented as JVMState). The rest is adhoc and there are many conflicting use cases introduced over time. The proper way to address it is to introduce proper structure for non-debug inputs, but it requires significant engineering effort to properly handle it across the whole compilation pipeline. For now, I just work-around it by performing additional transformation to avoid conflicts with existing functionality.

Maybe we should do that effort soon, otherwise we just keep heaping up tech dept :/

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

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