[lworld] RFR: 8334484: [lworld] new translation strategy for instance field initializers [v3]

[Vicente Romero]

On Mon, 31 Mar 2025 17:05:34 GMT, Vicente Romero <vromero at openjdk.org> wrote:

> It seems like there's few more cleanup opportunities now that we detect "early" strict field instance reads in `Resolve` (which make things a lot simpler).
> 
> Note: a possible different implementation tactic could be to add some info to JCIdent/JCFieldAccess, so that we can record that the accessed field was instance strict, and that access was "early" (or, we could create a special variable symbol to communicate this). This would eliminate the need for a map. And would also be a bit more precise when rewriting -- because we can only rewrite field accesses that have the special tree/symbol -- and leave the other in place.

I think that if we eliminate the map then we will need to traverse every constructor's body to extract the info already in the map

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

PR Comment: https://git.openjdk.org/valhalla/pull/1403#issuecomment-2766927133