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

Draft

abmcar wants to merge 23 commits into

DTVMStack:mainfrom

abmcar:feat/cgir-peephole-pr

Commits on Apr 26, 2026

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

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

abmcar
and
claude
committed
style(tools): clean up peephole CI test wrappers

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

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

abmcar
and
claude
committed
ci: trigger rebuild
abmcar
committed
feat(compiler): add carry-dead analysis and synthesized rewrite rules

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

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

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

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

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

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

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

abmcar
and
claude
committed
ci(compiler): widen dmir_rewrite p95 share budget to 1.25%

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

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

abmcar
and
claude
committed
docs(compiler): add change document for peephole optimization system

abmcar
and
claude
committed
fix(compiler): address review findings in peephole optimization system

abmcar
and
claude
committed
fix(compiler): address codex review feedback for peephole system

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

abmcar
and
claude
committed
ci: retrigger after upstream boost CDN 502 (flake)
abmcar
committed

Commits on Apr 28, 2026

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

abmcar
and
claude
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

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 23 commits into
DTVMStack:mainfrom
abmcar:feat/cgir-peephole-pr

Commits on Apr 26, 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)

Commits on Apr 28, 2026

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