Preventing bugs with register usage and ABI compliance in hand-written assembly

Astigeevich, Evgeny eastig at amazon.co.uk
Wed May 22 20:59:27 UTC 2024


Hello,

I’d like to discuss what options we have to prevent bugs like  https://bugs.openjdk.org/browse/JDK-8324874 “AArch64: crypto pmull based CRC32/CRC32C intrinsics clobber V8-V15 registers”.

I am thinking about something like:

“
{
    ABIVerifier abi_verifier(masm);
    …
    Some assembly code
} // When we leave the block abi_verifier will check ABI compliance
“

An alternative way might to enable ABI verification via StubCodeMark.

Kind regrads,
Evgeny Astigeevich



Amazon Development Centre (London) Ltd. Registered in England and Wales with registration number 04543232 with its registered office at 1 Principal Place, Worship Street, London EC2A 2FA, United Kingdom.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/compiler-dev/attachments/20240522/526da159/attachment.htm>


More information about the compiler-dev mailing list