RFC: Partial Escape Analysis in HotSpot C2

[Liu, Xin]

hi, Vladimir,
> You should show that your implementation can rematirealize an object
at any escape site.

My understanding is I suppose to 'materialize' an object at any escape site.

'rematerialize' refers to 'create an scalar-replaced object on heap' in
deoptimization. It's for interpreter as if the object was created in the
first place. It doesn't apply to an escaped object because it's marked
'GlobalEscaped' in C2 EA.


Okay. I will try this idea!

thanks,
--lx




On 10/11/22 3:12 PM, Vladimir Kozlov wrote:
> Also in your test there should be no merge at safepoint2 because `obj` is "not alive" (not referenced) anymore.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_0xB9D934C61E047B0D.asc
Type: application/pgp-keys
Size: 3675 bytes
Desc: OpenPGP public key
URL: <https://mail.openjdk.org/pipermail/hotspot-compiler-dev/attachments/20221012/4b2cebaf/OpenPGP_0xB9D934C61E047B0D.asc>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_signature
Type: application/pgp-signature
Size: 665 bytes
Desc: OpenPGP digital signature
URL: <https://mail.openjdk.org/pipermail/hotspot-compiler-dev/attachments/20221012/4b2cebaf/OpenPGP_signature.sig>