RFR: 8373495: C2: Aggressively fold loads from objects that have not escaped [v16]

[Quan Anh Mai]

On Tue, 13 Jan 2026 09:50:23 GMT, Roberto Castañeda Lozano <rcastanedalo at openjdk.org> wrote:

>> That seems reasonable. I added an early return case when the base that is accessed is not an oop.
>
> Thanks! Could the early return case be hoisted to `MemNode::find_previous_store` so that we avoid constructing `local_ea`? Or is there any case where `base` is not an OOP and `find_previous_store` would still find something useful?

Constructing a local variable is cheap. I think it is better to modify `Unique_Node_List` to be more C++ idiomatic (i.e. not allocating on default construction). However, it should be a separate issue.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/28812#discussion_r2685701147