JDK-8366531 : Add vector size checks for IRNode.VECTOR_REINTERPRET
  • Type: Enhancement
  • Component: hotspot
  • Sub-Component: compiler
  • Affected Version: 26
  • Priority: P4
  • Status: Open
  • Resolution: Unresolved
  • Submitted: 2025-09-01
  • Updated: 2025-09-01
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-8329077 - C2 SuperWord: Add MoveD2L, MoveL2D, MoveF2I, MoveI2F
Relates :  
JDK-8366532 - Add vector size checks for IRNode.STORE_VECTOR
Description
Expand IRNode.VECTOR_REINTERPRET to assert vector sizes, as suggested by [~epeter] in https://github.com/openjdk/jdk/pull/26457#discussion_r2313298675

Ideal output for VectorReinterpret seems to follow a similar pattern to LoadVector...etc with regards to the vector size. So seems like a similar solution could be implemented:

```
 1306  VectorReinterpret  === _ 1307  [[ 1286 ]]  #vectory<I,8> !orig=1179,979,[846],[738],[646],[145] !jvms: TestCompatibleUseDefTypeSize::test7 @ bci:13 (line 427)
```