JDK-8359688 : C2 SuperWord: missing RCE with MemorySegment
  • Type: Enhancement
  • Component: hotspot
  • Sub-Component: compiler
  • Affected Version: 26
  • Priority: P4
  • Status: Open
  • Resolution: Unresolved
  • Submitted: 2025-06-16
  • Updated: 2025-08-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
Blocks :  
JDK-8365985 - C2 SuperWord: TestAliasingFuzzer.java IR rule checks for no multiversioning and check for load/store vectors
Relates :  
JDK-8360204 - C2 SuperWord: missing RCE with MemorySegment.getAtIndex
Relates :  
JDK-8324751 - C2 SuperWord: Aliasing Analysis runtime check
Relates :  
JDK-8348096 - C2 SuperWord: investigate failed RCE for MemorySegment test
Relates :  
JDK-8343536 - C2 SuperWord / MergeStores: investigate missing optimizations in MemorySegment examples
Relates :  
JDK-8331659 - C2 SuperWord: investigate failed vectorization in compiler/loopopts/superword/TestMemorySegment.java
Relates :  
JDK-8327209 - C2 MemorySegment: missing RCE and vectorization
Description
See the attached test. Issue could be with the negation of the iv.

I found this during work on JDK-8324751.
Please check if there are more cases in the test from JDK-8324751:
test/hotspot/jtreg/compiler/loopopts/superword/TestAliasingFuzzer.java 


NOTE: there is already a test integrated with JDK-8324751, just edit that one:
test/hotspot/jtreg/compiler/loopopts/superword/TestMemorySegment_8359688.java