RFR: 8334228: C2 SuperWord: fix JDK-24 regression in VPointer::cmp_for_sort after JDK-8325155 [v2]
Emanuel Peter
epeter at openjdk.org
Thu Jun 13 18:58:49 UTC 2024
> 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.
Emanuel Peter has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains three additional commits since the last revision:
- Merge branch 'master' into JDK-8334228-bad-offset-sorting
- widen the fix
- JDK-8334228
-------------
Changes:
- all: https://git.openjdk.org/jdk/pull/19696/files
- new: https://git.openjdk.org/jdk/pull/19696/files/676b86ff..03658959
Webrevs:
- full: https://webrevs.openjdk.org/?repo=jdk&pr=19696&range=01
- incr: https://webrevs.openjdk.org/?repo=jdk&pr=19696&range=00-01
Stats: 207 lines in 14 files changed: 153 ins; 18 del; 36 mod
Patch: https://git.openjdk.org/jdk/pull/19696.diff
Fetch: git fetch https://git.openjdk.org/jdk.git pull/19696/head:pull/19696
PR: https://git.openjdk.org/jdk/pull/19696
More information about the hotspot-compiler-dev
mailing list