ExceptionRegion modeling issues and proposed improvements

[Adam Sotona]

From: Maurizio Cimadamore <maurizio.cimadamore at oracle.com>


>  What I don't get is why block 27 gets to be reused. In fact, if we end up in block 27, there's no exit - and we go straight to block 1, which will enter again. Is this correct?

Yes, it is a the while(true) loop, where you re-enter the region, but the branch instruction is outside the try block.

> If we wanted to exit the region from block 27, then we'd also need to split, as we might need to exit either %1 or %5 from there, no?

block 27 is the exception handler of the outer try region(s), so no need to exit it (them)


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/babylon-dev/attachments/20241009/9a57b4e4/attachment-0001.htm>