[code-reflection] RFR: Aggregated work on Verifier and BytecodeLift deconstruction [v7]

[Adam Sotona]

On Thu, 7 Nov 2024 16:35:42 GMT, Adam Sotona <asotona at openjdk.org> wrote:

>> This PR is aggregated continuation of work on `Verifier` #247 and new simplified and deconstructed implementation of `BytecodeLift`.
>> 
>> Work on `Verifier` revealed bugs in `BytecodeLift`.
>> Fixing of the bugs adds more complexity to already very complex `BytecodeLift`.
>> The goal of this PR is to deconstruct `BytecodeLift` to its bare bones  and re-introduce a kind of bytecode dialect:
>> - `UnresolvedType.Ref` and `UnresolvedType.Int` represent references and int with all its possible sub-types
>> - `SlotOp` is an intermediate model of local variables
>> - `SlotToVarTransformer` transforms `SlotOp` to `CoreOp.VarOp`
>> - `UnresolvedTypesTransformer` transforms `UnresolvedType.Ref` and `UnresolvedType.Int` to `JavaType`.
>
> Adam Sotona has updated the pull request incrementally with one additional commit since the last revision:
> 
>   BytecodeGenerator cleanup around unitialized variables + move of isDominatedBy to SlotToVarTransformer

Thank you for the review!

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

PR Comment: https://git.openjdk.org/babylon/pull/258#issuecomment-2464102643