[code-reflection] Integrated: Computes the VarOp's result type from its operand type, if not overridden
Paul Sandoz
psandoz at openjdk.org
Tue Jun 18 18:09:27 UTC 2024
On Mon, 17 Jun 2024 21:55:25 GMT, Paul Sandoz <psandoz at openjdk.org> wrote:
> It's currently hard to apply a simple retyping transformation to a code model since the variable operation, `VarOp`, fixes its result type when copying. `VarOp` now supports a fixed result type only when the init operand's type, `T` say, is not equal to the value type of the VarOp's result type, `U` say for `Var<U>`.
>
> This works but we might need to revisit and remove any notion of a fixed result type when copying. (We can behave differently when constructing from an externalized operation.)
>
> Also renamed some methods and added some helper methods.
This pull request has now been integrated.
Changeset: fbe81534
Author: Paul Sandoz <psandoz at openjdk.org>
URL: https://git.openjdk.org/babylon/commit/fbe81534cebee2b10011b305b34bc0b2509ade1b
Stats: 142 lines in 8 files changed: 100 ins; 13 del; 29 mod
Computes the VarOp's result type from its operand type, if not overridden
-------------
PR: https://git.openjdk.org/babylon/pull/148
More information about the babylon-dev
mailing list