[code-reflection] Integrated: Aggregated work on Verifier and BytecodeLift deconstruction
Adam Sotona
asotona at openjdk.org
Fri Nov 8 08:29:19 UTC 2024
On Fri, 18 Oct 2024 10:06:38 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`.
This pull request has now been integrated.
Changeset: 86dfc369
Author: Adam Sotona <asotona at openjdk.org>
URL: https://git.openjdk.org/babylon/commit/86dfc369acd6d140a9a8dc6ba05a3664cf8eb8ea
Stats: 3017 lines in 13 files changed: 1582 ins; 1215 del; 220 mod
Aggregated work on Verifier and BytecodeLift deconstruction
Reviewed-by: psandoz
-------------
PR: https://git.openjdk.org/babylon/pull/258
More information about the babylon-dev
mailing list