JDK-8306088 : C2 Superword: verify consistency of packset and my_pack
  • Type: Enhancement
  • Component: hotspot
  • Sub-Component: compiler
  • Affected Version: 21
  • Priority: P4
  • Status: Closed
  • Resolution: Duplicate
  • Submitted: 2023-04-17
  • Updated: 2023-06-05
  • Resolved: 2023-06-05
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
tbdResolved
Related Reports
Duplicate :  
JDK-8306302 - C2 Superword fix: use VectorMaskCmp and VectorBlend instead of CMoveVF/D
Relates :  
JDK-8304720 - SuperWord::schedule should rebuild C2-graph from SuperWord dependency-graph
Description
During the work of JDK-8304720 I noticed that "packset" and "my_pack" are not always consistent. I think that "merge_packs_to_cmove" does not properly maintain them.

I'd like to verify the consistency, and fix anything that is not consistent. I'm not sure if this could have lead to a bug, but it's in the way of other verifications that I'd like to do in my bug fixing.
Comments
I added the verification code in JDK-8306302, hence I close it as a duplicate.
24-05-2023
Draft PR: https://github.com/openjdk/jdk/pull/13493 Blocked by: JDK-8306302
24-04-2023