Bad assert in OuterStripMinedLoopNode::transform_to_counted_loop?

[Matthias Ernst]

Hi, I've come across an assertion tripping in JDK debug builds (24, latest,
not 23) in combination with new foreign memory apis. Product builds seem to
be functioning ok:

#  Internal Error (src/hotspot/share/opto/loopnode.cpp:3196), pid=27, tid=44
#  Error: assert(!loop->_body.contains(in)) failed


I've been able to narrow it down somewhat, repro code/data as well as crash
logs can be found here:
https://github.com/mernst-github/repro/tree/main/loopnode-assertion (this
was originally a standard `quicksort` on top of a MemorySegment).

I have not been able to discover anything more systematic. Small changes to
the input data, or using a heap array instead of a MemorySegment make the
issue go away.

Cheers
Matthias
(PS: lmk if this is not an opportune place to report such an issue)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/hotspot-compiler-dev/attachments/20241231/f7bf7f7d/attachment-0001.htm>