babylon
babylon copied to clipboard
openjdk
https://openjdk.org/projects/babylon
In this patch: - lifting of shifts, instanceof, stack ops - fixes of types resolution and conversions in generator - enabled stack for conditional branches - fixed lift to survive...
Lowering of SwitchExpressionOp --------- ### Progress - [ ] Change must not contain extraneous whitespace ### Reviewing Using git Checkout this PR locally: \ `$ git fetch https://git.openjdk.org/babylon.git pull/45/head:pull/45` \...
Given a set of reflectable methods that form a call graph, we can create a code model that is a module operation containing the functions in that graph where invocation...
Hi, this is mainly an experiment, I wanted to play around with the API and see how an alternative SSA construction algorithm can be implemented. There are a few notable...
This patch starts work on model `Verifier` and implements following verifications: - operands declaration dominance - `BranchOp` reference arguments matching target block parameters (simple matching by `TypeKind` with erased `int`...
Babylon Java Triton example translates Java source code with Java Triton API into code model by code reflection. In this PR, we traverse the given code model and output Triton...
Support primitives in patterns --------- ### Progress - [x] Change must not contain extraneous whitespace ### Issue * [JDK-8337162](https://bugs.openjdk.org/browse/JDK-8337162): Support primitives in patterns (**Task** - P4) ### Reviewing Using git...
Experiments with Administrative Normal Form (A-Normal Form; ANF) transformations in the code model. See https://github.com/igraves/babylon-anf for additional code using these changes. --------- ### Progress - [x] Change must not contain...
Minor stability fixes of BytecodeGenerator and BytecodeLift --------- ### Progress - [x] Change must not contain extraneous whitespace ### Reviewing Using git Checkout this PR locally: \ `$ git fetch...