sdk/pkg/dart2bytecode at 5190320af8197d27449b857a9ebb7655bc487e50 - sdk

Files

T

Chloe Stefantsova 5190320af8 [cfe] Produce synthetic assignments in for-in loops in output form

In the new variable encoding, variables exist either in the internal
form (InternalLocalVariable, InternalSyntheticVariable, etc) or in the
output form, which is passed to the backends. Normally, type inference
is the mechanism that consumes the variables in the internal forma and
produces the variables in the output form. However, some expressions are
produced before type inference (in the BodyBuilder) and will never be
processed by type inference. Synthetic assignments in for-in loops is an
example of such expressions.

This CL modifies the expression generators used by the BodyBuilder, so
that the synthetic assignments are produced directly in the output form,
since they will not be touched by type inference.

This change makes the `loop.dart`, `switch.dart`,
`instance_creation.dart`, `asserts.dart`, `field_initializers.dart`,
`optional_params.dart`, `bootstrapping.dart`, `ffi.dart`, and
`invisible.dart` tests of the bytecode generator to pass, so it can be
removed from the excluded tests when the closure-context-lowering
experiment is enabled.

Part of https://github.com/dart-lang/sdk/issues/61572

Change-Id: I8d828b7da8e33c6e9fa6bfdda1f201bcdfad9ac4
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/487840
Reviewed-by: Alexander Markov <alexmarkov@google.com>
Reviewed-by: Johnni Winther <johnniwinther@google.com>
Commit-Queue: Chloe Stefantsova <cstefantsova@google.com>

2026-03-16 03:50:37 -07:00

bin

[vm,dyn_modules] Pass additional libraries to the BytecodeGenerator.

2026-02-06 06:13:22 -08:00

docs

[vm,dyn_modules] Recognize the vm:invisible pragma.

2026-03-09 10:16:02 -07:00

lib

[cfe,vm,dart2bytecode] Rename Variable into BaseVariable, ExpressionVariable into Variable

2026-03-13 05:42:05 -07:00

test

[cfe] Produce synthetic assignments in for-in loops in output form