feat(compiler): add peephole optimization system for dMIR and x86 CgIR - #439

Closed

abmcar wants to merge 26 commits into

DTVMStack:mainfrom

abmcar:feat/cgir-peephole-pr

Commits on Jun 9, 2026

feat(compiler): add peephole optimization system for dMIR and x86 CgIR

authored and
t
committed
test(compiler): add missing test scripts and expected files for peephole CI

authored and
t
committed
style(tools): clean up peephole CI test wrappers

authored and
t
committed
fix(ci): pass --format evm --mode multipass to dtvm in timing collection

authored and
t
committed
fix(ci): make timing collection non-blocking in peephole validation job

authored and
t
committed
ci: trigger rebuild

abmcar
authored and
t
committed
feat(compiler): add carry-dead analysis and synthesized rewrite rules

authored and
t
committed
test(compiler): update adc/sbb boundary tests for carry-dead analysis

authored and
t
committed
test(compiler): add fuzz tests and coverage for synthesized rewrite rules

authored and
t
committed
style(test): fix clang-format violation in dmir validation tests

authored and
t
committed
feat(compiler): add select folding, mul-pow2 strength reduction, and icmp-borrow carry-dead

authored and
t
committed
fix(compiler): fix add(x,0) fold, RewriteCache memoization, and naming

authored and
t
committed
ci(compiler): update dmir_rewrite timing budget for 70-rule pass

authored and
t
committed
perf(compiler): fold MOVZX32rr8+SUBREG_TO_REG into MOVZX64rr8 in x86 peephole

authored and
t
committed
ci(compiler): widen dmir_rewrite p95 share budget to 1.25%

authored and
t
committed
feat(compiler): add MultiWordAdd/Sub atomic instructions to eliminate U256 ADD/SUB barriers

authored and
t
committed
fix(compiler): fix exponential MVerifier traversal and dead ValueDep in handleMStore

authored and
t
committed
docs(compiler): add change document for peephole optimization system

authored and
t
committed
fix(compiler): address review findings in peephole optimization system

authored and
t
committed
fix(compiler): address codex review feedback for peephole system

authored and
t
committed
fix(compiler): add hasOneNonDBGUse guard to fold-setcc-test-jne rule

authored and
t
committed
ci: retrigger after upstream boost CDN 502 (flake)

abmcar
authored and
t
committed
ci: retrigger after upstream boost CDN sourceforge timeout (flake)

authored and
t
committed
feat(compiler): bring dMIR synth tooling + shadow-audit pass from peephole-rule-expansion

t
and
claude
committed
fix(evm): avoid double intrinsic gas deduction in tests
abmcar
committed

Commits on Jun 22, 2026

docs: strip phase labels, task codes and LoC from peephole docs

abmcar
and
claude
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

feat(compiler): add peephole optimization system for dMIR and x86 CgIR - #439

feat(compiler): add peephole optimization system for dMIR and x86 CgIR#439
abmcar wants to merge 26 commits into
DTVMStack:mainfrom
abmcar:feat/cgir-peephole-pr

Commits on Jun 9, 2026

feat(compiler): add peephole optimization system for dMIR and x86 CgIR

test(compiler): add missing test scripts and expected files for peephole CI

style(tools): clean up peephole CI test wrappers

fix(ci): pass --format evm --mode multipass to dtvm in timing collection

fix(ci): make timing collection non-blocking in peephole validation job

ci: trigger rebuild

feat(compiler): add carry-dead analysis and synthesized rewrite rules

test(compiler): update adc/sbb boundary tests for carry-dead analysis

test(compiler): add fuzz tests and coverage for synthesized rewrite rules

style(test): fix clang-format violation in dmir validation tests

feat(compiler): add select folding, mul-pow2 strength reduction, and icmp-borrow carry-dead

fix(compiler): fix add(x,0) fold, RewriteCache memoization, and naming

ci(compiler): update dmir_rewrite timing budget for 70-rule pass

perf(compiler): fold MOVZX32rr8+SUBREG_TO_REG into MOVZX64rr8 in x86 peephole

ci(compiler): widen dmir_rewrite p95 share budget to 1.25%

feat(compiler): add MultiWordAdd/Sub atomic instructions to eliminate U256 ADD/SUB barriers

fix(compiler): fix exponential MVerifier traversal and dead ValueDep in handleMStore

docs(compiler): add change document for peephole optimization system

fix(compiler): address review findings in peephole optimization system

fix(compiler): address codex review feedback for peephole system

fix(compiler): add hasOneNonDBGUse guard to fold-setcc-test-jne rule

ci: retrigger after upstream boost CDN 502 (flake)

ci: retrigger after upstream boost CDN sourceforge timeout (flake)

feat(compiler): bring dMIR synth tooling + shadow-audit pass from peephole-rule-expansion

fix(evm): avoid double intrinsic gas deduction in tests

Commits on Jun 22, 2026

docs: strip phase labels, task codes and LoC from peephole docs