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

Thomas Stuefe stuefe at openjdk.org
Thu Mar 9 16:32:26 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

Looks good. "fast" is close enough for TBZ. 

You can adapt the comment now; remove the "clobbers condition flags".

Question, you are not concerned here with avoiding branches for the fast path? Is this less of a problem with arm64?

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

Marked as reviewed by stuefe (Committer).

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


More information about the lilliput-dev mailing list