RFR: AESCrypt.implEncryptBlock/AESCrypt.implDecryptBlock intrinsics assume non null inputs

Roland Westrelin rwestrel at redhat.com
Fri Oct 20 11:57:31 UTC 2017


http://cr.openjdk.java.net/~roland/shenandoah/aesintrinsicsnonnull/webrev.00/

Some intrinsics don't null check some of their inputs because they are
known to never be null by the implementor. The compiler has no way of
knowing they are not null and that can sometimes cause problem when
there's a shenandoah barrier on that input (the compiler transforms the
IR and sees a memory access to a null object). This change let the
compiler know some inputs are not null for AES intrinsics. That should
fix a failure in verification code that Aleksey encountered.

This is the fix for 10. The fix for 9/8u will be somewhat different. Not
sure if I prepare it for 9/8u right away or we wait for backports for
that.

Roland.


More information about the shenandoah-dev mailing list