[code-reflection] RFR: Experiment: Alternative SSA construction algorithm

[Hannes Greule]

On Mon, 21 Oct 2024 21:49:22 GMT, Paul Sandoz <psandoz at openjdk.org> wrote:

> Yes, see [here](https://github.com/openjdk/jdk/blob/master/test/jdk/java/lang/invoke/VarHandles/VarHandleTestAccessByte.java#L24)

Thanks, I adjusted some tests where it seems to make sense to test both variants accordingly. Let me know if there's anything else to do there. The current tests all pass, only one needed changes due to different numbering (I wonder why we don't have a block 0 anymore?). 


> Ok. For some wider context i am wondering if it is possible to place all the transform logic within `OpTransformer`. What's missing is the code to transform an input body into output operations added to a block builder. `OpTransformer` should only use public APIs. This may make the transformation seem less special, its just a particular composition of traversal and building with some booking between input and output code items. (Further, `CopyContext` is a terrible name!)

That sounds interesting and might be worth further investigation.

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

PR Comment: https://git.openjdk.org/babylon/pull/214#issuecomment-2435657889