[code-reflection] RFR: Remove bytecode dialect [v12]

Adam Sotona asotona at openjdk.org
Thu Feb 8 21:28:11 UTC 2024


On Thu, 8 Feb 2024 19:56:24 GMT, Adam Sotona <asotona at openjdk.org> wrote:

>> This patch re-implements `BytecodeLift` to lift from bytecode directly to the core dialect
>> and removes `BytecodeInstructionOps` with the bytecode dialect.
>> 
>> Implementation is complete up to the point of passing all current tests.
>> 
>> Please review.
>> 
>> Thanks,
>> Adam
>
> Adam Sotona has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Implemented skipping of unitialized blocks and dead code detection
>   + added tests for back jumps and dead code

Unfortunately not all blocks have been constructed in the previous implementation and there is no simple one-to-one mapping from Label to a Block. For example try block starts and exists must be chained and inserted to the right place, however their parameters are known later in the second pass (so some kind of traversals and repairs would be necessary). Also partial construction from stack maps and partially from block dependencies is not very deterministic.

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

PR Comment: https://git.openjdk.org/babylon/pull/16#issuecomment-1934957985


More information about the babylon-dev mailing list