FloatIn: an IR-level replacement for pushDeclarationsDownTheInnerScope - #151

Merged

Unisay merged 7 commits into

mainfrom

issue-136/float-in

Jul 3, 2026

Commits on Jul 3, 2026

feat: FloatIn pass (unwired) + unit spec
Unisay
committed
6c4ceec
feat: wire float-in into the IR pipeline
Unisay
committed
5f8c608
refactor: delete the superseded pushDeclarationsDownTheInnerScope
Unisay
committed
d6e5f76
test: share the spec helpers duplicated across IR pass specs
Unisay
committed
d8e7368
test: make the Golden.FloatIn eval oracle observe the evaluation policy
Unisay
committed
416919f
fix: rewrite FloatIn bottom-up, making one pass complete and idempotent
Unisay
committed
32275f5
Potential fix for pull request finding

Unisay
and
Copilot
authored
ee43868