[code-reflection] Integrated: Bytecode round 9

[Adam Sotona]

On Mon, 22 Jul 2024 17:21:01 GMT, Adam Sotona <asotona at openjdk.org> wrote:

> Bytecode round 9 contains following improvements:
> - `String` (and non-`String`) concats are lifted to `CoreOp.ConcatOp`
> - `LocalsTypeMapper` is fixed to use instruction index as a key (instead of the instruction identity)
> - `LocalsTypeMapper` newly calculates types of uninitialized stack map frame entries and provides that info to `BytecodeLift`
> - `BytecodeLift` is fixed to handle deep stacks correctly while branching + tests added
> - Oboslete `BytecodeGenerator::conversion` method is replaced by direct call of `CodeBuilder::conversion`
> - LocalTypeMapper performs iterative correction of int stack map frame entries to support byte, boolean, short and char types
> 
> `TestSmallCorpus` is not experiencing any first-lift exceptions after the above changes, however we cannot yet say that all the lifted models are correct.
> 
> Please review.
> 
> Thanks,
> Adam

This pull request has now been integrated.

Changeset: bf2ee69c
Author:    Adam Sotona <asotona at openjdk.org>
URL:       https://git.openjdk.org/babylon/commit/bf2ee69c0e14d78b207c51cf96aaaf95a7d7aa83
Stats:     859 lines in 7 files changed: 545 ins; 187 del; 127 mod

Bytecode round 9

Reviewed-by: psandoz

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

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