JDK-8211518 : C2 should optimize if diamonds that feed into Phis merging the same value
  • Type: Enhancement
  • Component: hotspot
  • Sub-Component: compiler
  • Affected Version: 12,20
  • Priority: P4
  • Status: In Progress
  • Resolution: Unresolved
  • Submitted: 2018-10-03
  • Updated: 2022-12-22
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.
Other
tbdUnresolved
Related Reports
Relates :  
JDK-8210215 - C2 should optimize trichotomy calculations
Relates :  
JDK-8275202 - C2: optimize out more redundant conditions
Description
C2 should optimize the following code shape:

       If
      /  \
   Proj  Proj
     \    /  [...]
      \  /   /
      Region1
       |
       |  x x  y
        \ | | /
          Phi 

This optimization was added with JDK-8210215 for regions with 2 and 3 inputs but should be extended/replaced for the general case. See discussion in:
http://mail.openjdk.java.net/pipermail/hotspot-compiler-dev/2018-October/030834.html