[master] RFR: 8303813: [Lilliput] (AArch64) Use tbz instead of tst and br in load_klass()

Paul Hohensee phh at openjdk.org
Wed Mar 8 21:42:33 UTC 2023


On Wed, 8 Mar 2023 09:43:02 GMT, Roman Kennke <rkennke at openjdk.org> wrote:

> In the implementation of load_klass(), we have a test-and-branch idiom:
> 
> 
> tst(dst, markWord::monitor_value);
> br(Assembler::EQ, fast);
> 
> 
> We can make this better:
> 
> `tbz(dst, exact_log2(markWord::monitor_value), fast);
> `
> This is not only smaller and perhaps a little faster, it also has the advantage that it doesn't touch the condition flags. This is relevant in at least one place: in verify_oop() the condition flag is alive across the load_klass() call and one jtreg test (runtime/CheckUnhandledOops/TestVerifyOops.java) is failing because of that.
> 
> Testing:
>  - [x] tier1

src/hotspot/cpu/aarch64/macroAssembler_aarch64.cpp line 4266:

> 4264:   // Check if we can take the (common) fast path, if obj is unlocked.
> 4265:   ldr(dst, Address(src, oopDesc::mark_offset_in_bytes()));
> 4266:   tbz(dst, exact_log2(markWord::monitor_value), fast);

This is a bit fragile because monitor_value must be a power of 2 for it to work.

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

PR: https://git.openjdk.org/lilliput/pull/78


More information about the lilliput-dev mailing list