RFR: 8334228: C2 SuperWord: fix JDK-24 regression in VPointer::cmp_for_sort after JDK-8325155
Vladimir Kozlov
kvn at openjdk.org
Thu Jun 13 15:05:12 UTC 2024
On Thu, 13 Jun 2024 13:05:40 GMT, Emanuel Peter <epeter at openjdk.org> wrote:
> This is a small regression from https://git.openjdk.org/jdk/pull/18822.
>
> An overflow in the subtraction between the offsets means that the offsets are not correctly sorted. This has no correctness impact, but hit a verification assert that checked if the offsets were correctly sorted.
>
> I now removed the subtractions, and replaced it with two comparisons.
>
> Just out of an abundance of caution, I also converted all other subtractions into comparisons - even though I could probably make an argument that the values would be guaranteed in ranges that would not underflow the subtraction.
Good.
-------------
Marked as reviewed by kvn (Reviewer).
PR Review: https://git.openjdk.org/jdk/pull/19696#pullrequestreview-2116071495
More information about the hotspot-compiler-dev
mailing list