feat(compiler): add EVMRangeAnalyzer dataflow pass for stack value ranges - #493

Merged

zoowii merged 23 commits into

DTVMStack:mainfrom

abmcar:perf/value-range-cfg-join

May 15, 2026

Commits on May 11, 2026

refactor(evm): extract EVMValueRange enum and prepare for analyzer plumbing

abmcar
and
claude
committed
feat(compiler): EVMRangeAnalyzer dataflow pass for stack-slot value ranges

abmcar
and
claude
committed
feat(evm): plumb EVMRangeAnalyzer entry ranges into stackPop consumer

abmcar
and
claude
committed
style(evm): clang-format wrap on Phase 3 comment

abmcar
and
claude
committed
fix(test): add setRange stub to MockOperand for visitor template
abmcar
committed
fix(compiler): correct EVMRangeAnalyzer SDIV/SMOD range transfer for signed sign mismatch

abmcar
and
claude
committed
fix(compiler): widen host-context opcode range classifications (TIMESTAMP/NUMBER/GASLIMIT/CHAINID)

abmcar
and
claude
committed
test(compiler): EVMRangeAnalyzer white-box unit suite

abmcar
and
claude
committed
refactor(compiler): tighten EVMRangeAnalyzer defensive paths and consolidate docs

abmcar
and
claude
committed
perf(compiler): plumb EVMRangeAnalyzer ranges into lifted-block entry operands

abmcar
and
claude
committed

Commits on May 12, 2026

Commits on May 13, 2026

refactor(compiler): clean up EVMRangeAnalyzer per /simplify review

abmcar
and
claude
committed