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

Tue Jan 20 20:05:06 UTC 2026

On Fri, 16 Jan 2026 23:57:25 GMT, Quan Anh Mai <qamai at openjdk.org> wrote:

> Moving this assert into check_escape_status will make it harder to reuse a LocalEA across multiple calls of find_previous_store. This is useful, for example, when the load is from a memory Phi, and we try to follow the Phi inputs to find the stored value along different paths of the merge.

Do I get it right that it's something for a future enhancement? Because I don't see where multiple `find_previous_store` can share a `LocalEA` now. In the future , we can look into enhancing `LocalEA` with incremental analysis capabilities, but for now I'm more concerned with the noise introduced by `has_not_escaped` caching in `find_previous_store`.

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

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