JDK-8330158 : C2: Loop strip mining uses ABS with min int
  • Type: Bug
  • Component: hotspot
  • Sub-Component: compiler
  • Affected Version: 21,22,23
  • Priority: P4
  • Status: Resolved
  • Resolution: Fixed
  • Submitted: 2024-04-12
  • Updated: 2024-05-06
  • Resolved: 2024-04-29
The Version table provides details related to the release that this issue/RFE will be addressed.

Unresolved : Release in which this issue/RFE will be addressed.
Resolved: Release in which this issue/RFE has been resolved.
Fixed : Release in which this issue/RFE has been fixed. The release containing this fix may be available for download as an Early Access Release or a General Availability Release.

To download the current JDK release, click here.
JDK 23
23 b21Fixed
Related Reports
Blocks :  
JDK-8328934 - Assert that ABS input and output are legal
Description
JDK-8328934 exposes more problems with ABS in loop strip mining.

$ make images test TEST=compiler/c2/MinValueStrideCountedLoop.java

#  Internal Error (/Users/shipilev/Work/shipilev-jdk/src/hotspot/share/opto/loopnode.cpp:2355), pid=78229, tid=27907
#  Error: ABS: argument should not allow overflow

Fixing that simple one exposes the next one:

#  Internal Error (/Users/shipilev/Work/shipilev-jdk/src/hotspot/share/opto/loopnode.cpp:2965), pid=32195, tid=27139
#  Error: ABS: argument should not allow overflow
Comments
Changeset: c615c18e Author: Roland Westrelin <roland@openjdk.org> Date: 2024-04-29 07:36:14 +0000 URL: https://git.openjdk.org/jdk/commit/c615c18e9f92dc9fdc2db512fbd47fd255f7fe86
29-04-2024
A pull request was submitted for review. URL: https://git.openjdk.org/jdk/pull/18813 Date: 2024-04-17 10:45:04 +0000
17-04-2024
ILW = Overflow assertion in ABS, probably edge-case and no failure observed that could be traced back to this, possibly disable compilation of affected method = MLM = P4
15-04-2024
Roland, can you take a look at this? You fixed other overflows recently.
12-04-2024