[code-reflection] RFR: Bytecode round 9

Adam Sotona asotona at openjdk.org
Fri Jul 26 06:56:14 UTC 2024


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`

`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

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

Commit messages:
 - removed obsolete BytecodeGenerator::conversion
 - removed debug output
 - BytecodeLift fixes of code branching with deep stack and unitialized frame objects
 - fixed LocalsTypeMapper to track uninitialized types
 - fixed LocalsTypeMapper and lambdas lifting
 - fixed generating of non-String concats
 - lifting concats

Changes: https://git.openjdk.org/babylon/pull/192/files
  Webrev: https://webrevs.openjdk.org/?repo=babylon&pr=192&range=00
  Stats: 231 lines in 5 files changed: 131 ins; 78 del; 22 mod
  Patch: https://git.openjdk.org/babylon/pull/192.diff
  Fetch: git fetch https://git.openjdk.org/babylon.git pull/192/head:pull/192

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


More information about the babylon-dev mailing list