[compiler] carry Python containers through dynamic if/for/while/ifexp - #874

Merged

coderfeli merged 21 commits into

mainfrom

xudoyuan/dyn-cf-list-carry

Jul 30, 2026

Commits on Jul 24, 2026

[compiler] carry Python containers through dynamic if/for/while/ifexp

xudoyuan
and
claude
committed
[tests] move dynamic control-flow list-carry e2e test to tests/system

xudoyuan
and
claude
committed
[tests] align list-carry e2e test with tests/system conventions

xudoyuan
and
claude
committed
[compiler] unify container carry with protocol.py; add dict support

xudoyuan
and
claude
committed
[tests] cover dict / tuple / SimpleNamespace and nested mixed containers

xudoyuan
and
claude
committed
Keep scalar promotion in the control-flow layer, not in extract_to_ir_values

xudoyuan
and
claude
committed
Promote bare scalars up front in _explode_states, not via except

xudoyuan
and
claude
committed
Add dict/tuple/SimpleNamespace/nested e2e cases for dynamic control flow

xudoyuan
and
claude
committed
Treat carried states as one pytree; drop per-name counts/exemplars

xudoyuan
and
claude
committed
Trim carried-state helper docs, drop redundant list(), name the mismatched var

xudoyuan
and
claude
committed
Discard unused flat types in the for dispatcher

xudoyuan
and
claude
committed
Fix bare-scalar carry regression and dict key-order miscompile

xudoyuan
and
claude
committed
Support reordered dict/namespace keys in branch outputs

xudoyuan
and
claude
committed
Add bare-float carry regression test

xudoyuan
and
claude
committed
Promote bare scalars nested inside carried containers, not just top-level

xudoyuan
and
claude
committed
Add e2e deep mixed-nesting carry (dict/list/tuple) rewriting all leaves

xudoyuan
and
claude
committed
Fix e2e buffer_ops access for current API

xudoyuan
and
claude
committed
Store e2e results via Out[i] instead of buffer_ops

xudoyuan
and
claude
committed
Inline the one-line _promote_scalars wrapper

xudoyuan
and
claude
committed

Commits on Jul 25, 2026

Wrap raw ir.Value carried state back into a DSL numeric

xudoyuan
and
claude
committed

Commits on Jul 30, 2026

Merge branch 'main' into xudoyuan/dyn-cf-list-carry
xudoyuan
authored