[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