JDK-8334647 : C2: CastII added by PhaseIdealLoop::add_template_assertion_predicate() should have control
  • Type: Bug
  • Component: hotspot
  • Sub-Component: compiler
  • Affected Version: 24
  • Priority: P4
  • Status: Resolved
  • Resolution: Fixed
  • Submitted: 2024-06-20
  • Updated: 2024-08-16
  • Resolved: 2024-07-25
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 24
24 b09Fixed
Related Reports
Relates :  
JDK-8338485 - C2: assert(bt == T_INT && _base == Int) failed: Not an Int
Description
PhaseIdealLoop::add_template_assertion_predicate() creates a new CastII but doesn't set its control. I think it's good practice for all CastII that narrow the type of their input to have their control set.
Comments
Changeset: f61a5059 Branch: master Author: Roland Westrelin <roland@openjdk.org> Date: 2024-07-25 15:45:41 +0000 URL: https://git.openjdk.org/jdk/commit/f61a50598958e928e9a4d81130b077cd6eaf876a
25-07-2024
A pull request was submitted for review. Branch: master URL: https://git.openjdk.org/jdk/pull/19808 Date: 2024-06-20 14:51:08 +0000
09-07-2024
ILW = Missing control of CastII nodes could lead to broken graph, not observed so far, disable compilation of affected method = MLM = P4
21-06-2024