RFR (S): 8223171: Redundant nmethod dependencies for effectively final methods
vladimir.x.ivanov at oracle.com
Wed May 1 16:52:16 UTC 2019
> Does this allow us to assert !uniqm->can_be_statically_bound() in
In general, no. It doesn't hold for final methods: dependency is still
needed when context is broad enough, since an overriding method can be
loaded in a different part of the hierarchy (under the same context
In case of the adjusted checks it's safe, since context == method holder
when actual_receiver->is_final() == true.
if (!callee->is_final_method() && !callee->is_private() &&
I refactored the patch a bit:
>> Moreover, C2 does add dependencies for private methods.
I take it back. Earlier checks handle private methods. Only methods on
final classes get redundant dependencies.
More information about the hotspot-compiler-dev