JDK-8324751 : C2 SuperWord: Aliasing Analysis
  • Type: Enhancement
  • Component: hotspot
  • Sub-Component: compiler
  • Affected Version: 23
  • Priority: P4
  • Status: Open
  • Resolution: Unresolved
  • Submitted: 2024-01-26
  • Updated: 2024-03-21
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
Blocks :  
JDK-8315361 - C2 SuperWord: refactor out loop analysis into shared auto-vectorization facility VLoopAnalyzer
Relates :  
JDK-8324752 - C2 Superword: remove SuperWordRTDepCheck
Description
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
This is even more important for MemorySegment, where we only have a long as the memory address, and segments could overlap. So we need a general way to check aliasing.
21-03-2024