RFR: 8374755: ML-KEM's 12-bit decompression uses incorrect assertions [v3]

Ferenc Rakoczi duke at openjdk.org
Mon Jan 19 14:02:02 UTC 2026


On Thu, 15 Jan 2026 14:31:58 GMT, Andrew Dinn <adinn at openjdk.org> wrote:

>> src/hotspot/cpu/aarch64/stubGenerator_aarch64.cpp line 6280:
>> 
>>> 6278:     vs_st2_post(vs_front(vs_front(vb)), __ T8H, parsed);
>>> 6279: 
>>> 6280:     __ BIND(L_end);
>> 
>> This is a substantial change, not a mere matter of "incorrect assertions". Perhaps this PR needs a more appropriate title.
>
> Also, the description in the JIRA and the opening comment in this PR should mention that the intrinsic can be simplified in response to the stricter preconditions maintained by the Java client.

Done.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/29141#discussion_r2704886149


More information about the hotspot-compiler-dev mailing list