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

[Jatin Bhateja]

On Fri, 12 Apr 2024 03:57:10 GMT, Jatin Bhateja <jbhateja at openjdk.org> wrote:

> - 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

Graph shape describing the problem.
![image](https://github.com/openjdk/jdk/assets/59989778/beb2c8f3-42d0-4015-bcab-5aa05540d793)

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

PR Comment: https://git.openjdk.org/jdk/pull/18749#issuecomment-2050927571