Decision-tree match compiler#9992

Draft

jaredramirez wants to merge 11 commits into

mainfrom

decision-tree-match-compiler

Commits on Jul 7, 2026

docs: implementation plan for decision-tree match compiler

jaredramirez
authored and
lukewilliamboswell
committed
test: baseline cross-engine conformance corpus for match lowering

jaredramirez
authored and
lukewilliamboswell
committed
feat: match_tree decision-tree construction (shared match compiler, part 1)

jaredramirez
authored and
lukewilliamboswell
committed
feat: match_tree LIR emission + solved_lir_lower integration (flagged)

jaredramirez
authored and
lukewilliamboswell
committed
feat: default match lowering to the decision tree

jaredramirez
authored and
lukewilliamboswell
committed
feat: lower lir_lower matches through match_tree

jaredramirez
authored and
lukewilliamboswell
committed
refactor: delete the per-branch match chains and the migration toggle

jaredramirez
authored and
lukewilliamboswell
committed
docs: document decision-tree match lowering and the sharing invariant

jaredramirez
authored and
lukewilliamboswell
committed
chore: satisfy repo lints; record match-compiler measurements

jaredramirez
authored and
lukewilliamboswell
committed
fix: adapt decision-tree match lowering to guarded store borrows

lukewilliamboswell
and
claude
committed
Merge branch 'main' into decision-tree-match-compiler
lukewilliamboswell
authored