JDK-8324752 : C2 Superword: remove SuperWordRTDepCheck
  • Type: Sub-task
  • Component: hotspot
  • Sub-Component: compiler
  • Affected Version: 23
  • Priority: P4
  • Status: Resolved
  • Resolution: Fixed
  • Submitted: 2024-01-26
  • Updated: 2024-01-30
  • Resolved: 2024-01-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 masterFixed
Related Reports
Relates :  
Description
SuperWordRTDepCheck is a debug-only flag, which detects if there are arrays in the same slice that have different bases, i.e. may be different arrays. This could be the basis for alias-analysis.

We should do aliasing-analysis properly in a future RFE (JDK-8324751). If we can prove (statically or with a runtime-check) that two arrays are different, then this removes edges from the dependency graph, and may allow vectorization that would otherwise not be possible.
Comments
Changeset: 525c0cd0 Author: Emanuel Peter <epeter@openjdk.org> Date: 2024-01-29 06:54:50 +0000 URL: https://git.openjdk.org/jdk/commit/525c0cd09f98c3a9965cf20d2ac3b306a938a910
29-01-2024

A pull request was submitted for review. URL: https://git.openjdk.org/jdk/pull/17585 Date: 2024-01-26 10:11:29 +0000
26-01-2024