[lworld] RFR: 8334484: [lworld] new translation strategy for instance field initializers
Vicente Romero
vromero at openjdk.org
Fri Mar 28 20:23:42 UTC 2025
On Fri, 28 Mar 2025 16:51:01 GMT, Dan Smith <dlsmith at openjdk.org> wrote:
> Based on the description, looks like the trigger for this treatment is being a strict field assigned to with nontrivial control flow.
>
> That's not an issue—we've got StackMapTable entries to manage those fields (and we _want_ to be exercising those StackMapTable entries, to ensure they're working properly).
>
> Where we need a proxy local is when a field is _read_ somewhere in the early construction phase. In that case, the generated `getfield` would always trigger a verifier error, and javac needs to translate to a local variable read instead.
ok my bad, I will update the implementation then, thanks
-------------
PR Comment: https://git.openjdk.org/valhalla/pull/1403#issuecomment-2762364040
More information about the valhalla-dev
mailing list