JDK-8277382 : make c1 BlockMerger use IR::verify only when necessary
  • Type: Enhancement
  • Component: hotspot
  • Sub-Component: compiler
  • Affected Version: 18
  • Priority: P4
  • Status: Resolved
  • Resolution: Fixed
  • Submitted: 2021-11-18
  • Updated: 2021-11-29
  • Resolved: 2021-11-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 18
18 masterFixed
Related Reports
Blocks :  
JDK-8258603 - c1 IR::verify is expensive
Description
IR::Verify is not a cheap operation, but in many places in BlockMerger, it is run where demonstrably no change has taken place, or straight out being run multiple times after each other. Let's reduce usage to the minimum that still covers the verification that does need to happen
Comments
Changeset: c3a7f2f4 Author: Ludvig Janiuk <ludvig.j.janiuk@oracle.com> Committer: Tobias Hartmann <thartmann@openjdk.org> Date: 2021-11-29 06:41:55 +0000 URL: https://git.openjdk.java.net/jdk/commit/c3a7f2f4bce9170c1630e01eebd4fcd174b44964
29-11-2021