[code-reflection] Integrated: Exception regions patch

[Adam Sotona]

On Thu, 17 Oct 2024 14:21:52 GMT, Adam Sotona <asotona at openjdk.org> wrote:

> Proposed partial change of the `exception.region.enter` and `exception.region.exit`, as discussed at https://mail.openjdk.org/pipermail/babylon-dev/2024-October/001674.html
> 
> Summary of the change:
> - `exception.region.enter` catch handler blocks appear in reverse order of the try/catch declaration to reflect natural nesting "outer first"
> - return typeof `exception.region.enter` is void
> - `exception.region.exit` does not refer to `exception.region.enter`, its first successor is end block and following successors are catch handler blocks in order as they appear in try/catch declaration (reverse to `exception.region.enter` order)
> - `Interpreter`, `BytecodeGenerator`, `BytecodeLift`, `ExtendedOp`, `NormalizeBlockTransformer` and tests are fixed
> - no change in the documentation is a part of this PR
> 
> Please review.
> 
> Thanks,
> Adam

This pull request has now been integrated.

Changeset: f928e7be
Author:    Adam Sotona <asotona at openjdk.org>
URL:       https://git.openjdk.org/babylon/commit/f928e7be46d569b2567015002ff1abd2b6fa7f7d
Stats:     169 lines in 9 files changed: 36 ins; 31 del; 102 mod

Exception regions patch

Reviewed-by: psandoz

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

PR: https://git.openjdk.org/babylon/pull/256