RFR: 8140584: nmethod::oops_do_marking_epilogue always runs verification code
Thomas Schatzl
thomas.schatzl at oracle.com
Tue Nov 10 10:29:48 UTC 2015
On Mon, 2015-11-09 at 10:34 +0100, Stefan Karlsson wrote:
> Hi Vladimir,
>
> What do you think about this version:
> http://cr.openjdk.java.net/~stefank/8140584/webrev.02/
> http://cr.openjdk.java.net/~stefank/8140584/webrev.02.delta/
>
> Thanks,
> StefanK
in relocInfo_x86.cpp, line 70 and 77: shouldn't these asserts be
guarantees too?
Also, the assert in NativeInstruction::verify_data64_sethi() in
relocInfo_sparc.cpp needs to be a guarantee, as it is called by
Relocation::pd_set_data_value().
I also grepped the code for more "verify_only" parameters, and they also
use asserts instead of guarantees.
Like Relocation::pd_set_data_value() in relocInfo_aarch64.cpp,
relocInfo_ppc.cpp, in PhaseIdealLoop::build_and_optimize() in
loopnode.cpp.
Although I think the one in PhaseIdealLoop::build_and_optimize() is not
executed via nmethod::oops_do_marking_epilogue().
Thanks,
Thomas
More information about the hotspot-dev
mailing list