RFR: 8329555: Crash in intrinsifying heap-based MemorySegment Vector store/loads

Jatin Bhateja jbhateja at openjdk.org
Fri Apr 12 04:01:05 UTC 2024


- Problem is related to bi-morphic inlining of ms.unsafeBase() in presence of multiple receiver type profiles (OfFloat, OfByte) which results into formation of an abstract type phi node at JVM state convergence points.
- Due to this, for mismatched memory segment access, inline expander is unable to infer the element type of array wrapped within the memory segment and this results into an assertion failure while computing the source lane count.
- For non-masked mismatched memory segment vector read/write accesses, intrinsification can continue with unknown backing storage type and compiler can skip inserting explicit reinterpretation IR after loading from or before storing to backing storage which is mandatory for semantic correctness of big-endian memory layout.
- For vector write access, this may prevent value forwarding, which may result into subsequent redundant loads, but preventing intensification failure will offset that cost.

Kindly review and share your feedback.

Best Regards,
Jatin

-------------

Commit messages:
 - 8329555: Crash in intrinsifying heap-based MemorySegment Vector store/loads

Changes: https://git.openjdk.org/jdk/pull/18749/files
  Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=18749&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8329555
  Stats: 74 lines in 2 files changed: 73 ins; 0 del; 1 mod
  Patch: https://git.openjdk.org/jdk/pull/18749.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/18749/head:pull/18749

PR: https://git.openjdk.org/jdk/pull/18749


More information about the hotspot-compiler-dev mailing list