Skip to content

perf(evm): propagate MSTORE stride through fused precheck - #578

Merged
zoowii merged 2 commits into
DTVMStack:mainfrom
ECNUyhy:codex/evm-mstore-stride-precheck
Jul 29, 2026
Merged

perf(evm): propagate MSTORE stride through fused precheck #578
zoowii merged 2 commits into
DTVMStack:mainfrom
ECNUyhy:codex/evm-mstore-stride-precheck

Conversation

@ECNUyhy

@ECNUyhy ECNUyhy commented Jul 25, 2026

Copy link
Copy Markdown
Contributor

1. Does this PR affect any open issues?(Y/N) and add issue references (e.g. "fix #123", "re #123".):

  • N
  • Y

2. What is the scope of this PR (e.g. component or file name):

3. Provide a description of the PR(e.g. more details, effects, motivations or doc link):

  • Affects user behaviors
  • Contains CI/CD configuration changes
  • Contains documentation changes
  • Contains experimental features
  • Performance regression: Consumes more CPU
  • Performance regression: Consumes more Memory
  • Other

4. Are there any breaking changes?(Y/N) and describe the breaking changes(e.g. more details, motivations or doc link):

  • N
  • Y

5. Are there test cases for these changes?(Y/N) select and add more details, references or doc links:

  • Unit test
  • Integration test
  • Benchmark (add benchmark stats below)
  • Manual test (add detailed scripts or steps below)
  • Other

6. Release note

None

@github-actions

github-actions Bot commented Jul 25, 2026

Copy link
Copy Markdown

⚡ Performance Regression Check Results

✅ Performance Check Passed (interpreter)

Performance Benchmark Results (threshold: 25%)

Benchmark Baseline (us) Current (us) Change Status
total/main/blake2b_huff/8415nulls 2.57 2.46 -4.4% PASS
total/main/blake2b_huff/empty 0.04 0.04 +1.6% PASS
total/main/blake2b_shifts/8415nulls 13.77 15.41 +11.9% PASS
total/main/sha1_divs/5311 8.34 8.29 -0.7% PASS
total/main/sha1_divs/empty 0.10 0.10 +2.3% PASS
total/main/sha1_shifts/5311 5.58 5.41 -3.0% PASS
total/main/sha1_shifts/empty 0.04 0.04 +0.4% PASS
total/main/snailtracer/benchmark 87.66 89.52 +2.1% PASS
total/main/structarray_alloc/nfts_rank 1.11 1.11 +0.3% PASS
total/main/swap_math/insufficient_liquidity 0.00 0.00 -0.9% PASS
total/main/swap_math/received 0.01 0.01 +2.2% PASS
total/main/swap_math/spent 0.01 0.01 +2.8% PASS
total/main/weierstrudel/1 0.31 0.31 -0.1% PASS
total/main/weierstrudel/15 3.50 3.44 -1.5% PASS
total/micro/JUMPDEST_n0/empty 2.63 2.64 +0.3% PASS
total/micro/jump_around/empty 0.12 0.11 -7.2% PASS
total/micro/loop_with_many_jumpdests/empty 69.79 69.95 +0.2% PASS
total/micro/memory_grow_mload/by1 0.17 0.18 +1.5% PASS
total/micro/memory_grow_mload/by16 0.19 0.19 -1.8% PASS
total/micro/memory_grow_mload/by32 0.12 0.11 -1.3% PASS
total/micro/memory_grow_mload/nogrow 0.09 0.09 +3.3% PASS
total/micro/memory_grow_mstore/by1 0.19 0.18 -3.9% PASS
total/micro/memory_grow_mstore/by16 0.11 0.11 -0.3% PASS
total/micro/memory_grow_mstore/by32 0.23 0.23 -1.8% PASS
total/micro/memory_grow_mstore/nogrow 0.19 0.18 -6.8% PASS
total/micro/signextend/one 0.26 0.26 +0.4% PASS
total/micro/signextend/zero 0.48 0.49 +2.2% PASS
total/synth/ADD/b0 2.30 2.31 +0.5% PASS
total/synth/ADD/b1 2.86 2.61 -8.9% PASS
total/synth/ADDRESS/a0 6.23 6.03 -3.2% PASS
total/synth/ADDRESS/a1 5.09 5.09 +0.0% PASS
total/synth/AND/b0 2.14 2.15 +0.2% PASS
total/synth/AND/b1 2.26 2.36 +4.5% PASS
total/synth/BYTE/b0 6.14 6.16 +0.3% PASS
total/synth/BYTE/b1 8.39 8.61 +2.7% PASS
total/synth/CALLDATASIZE/a0 5.33 5.24 -1.8% PASS
total/synth/CALLDATASIZE/a1 3.37 3.37 +0.1% PASS
total/synth/CALLER/a0 5.89 5.92 +0.5% PASS
total/synth/CALLER/a1 6.51 6.39 -1.7% PASS
total/synth/CALLVALUE/a0 3.51 3.31 -5.8% PASS
total/synth/CALLVALUE/a1 6.01 5.68 -5.4% PASS
total/synth/CODESIZE/a0 5.97 5.84 -2.1% PASS
total/synth/CODESIZE/a1 5.86 6.34 +8.3% PASS
total/synth/DUP1/d0 1.54 1.57 +1.6% PASS
total/synth/DUP1/d1 1.71 1.67 -2.4% PASS
total/synth/DUP10/d0 1.70 1.63 -4.3% PASS
total/synth/DUP10/d1 1.77 1.77 -0.3% PASS
total/synth/DUP11/d0 0.85 1.09 +28.8% PASS
total/synth/DUP11/d1 1.74 1.70 -2.0% PASS
total/synth/DUP12/d0 1.75 1.72 -1.6% PASS
total/synth/DUP12/d1 1.04 1.05 +1.1% PASS
total/synth/DUP13/d0 1.54 1.63 +5.5% PASS
total/synth/DUP13/d1 1.76 1.67 -5.1% PASS
total/synth/DUP14/d0 0.95 1.07 +13.0% PASS
total/synth/DUP14/d1 1.79 1.79 +0.0% PASS
total/synth/DUP15/d0 1.63 1.65 +1.2% PASS
total/synth/DUP15/d1 1.07 1.05 -1.5% PASS
total/synth/DUP16/d0 1.68 1.52 -8.8% PASS
total/synth/DUP16/d1 1.97 1.74 -12.0% PASS
total/synth/DUP2/d0 1.06 1.07 +0.0% PASS
total/synth/DUP2/d1 1.95 1.67 -14.6% PASS
total/synth/DUP3/d0 1.52 1.63 +7.6% PASS
total/synth/DUP3/d1 1.07 1.05 -1.5% PASS
total/synth/DUP4/d0 1.57 1.53 -3.1% PASS
total/synth/DUP4/d1 1.78 1.71 -3.9% PASS
total/synth/DUP5/d0 1.07 1.07 -0.1% PASS
total/synth/DUP5/d1 1.71 1.74 +1.3% PASS
total/synth/DUP6/d0 1.55 1.59 +2.3% PASS
total/synth/DUP6/d1 1.03 1.06 +2.4% PASS
total/synth/DUP7/d0 1.52 1.64 +8.3% PASS
total/synth/DUP7/d1 1.80 1.75 -2.5% PASS
total/synth/DUP8/d0 1.08 1.06 -1.4% PASS
total/synth/DUP8/d1 1.77 1.75 -0.9% PASS
total/synth/DUP9/d0 1.65 1.60 -3.1% PASS
total/synth/DUP9/d1 1.07 1.05 -1.4% PASS
total/synth/EQ/b0 4.53 4.54 +0.3% PASS
total/synth/EQ/b1 4.91 4.92 +0.3% PASS
total/synth/GAS/a0 3.85 3.85 +0.1% PASS
total/synth/GAS/a1 6.77 6.89 +1.9% PASS
total/synth/GT/b0 4.83 4.83 +0.0% PASS
total/synth/GT/b1 4.90 4.94 +0.8% PASS
total/synth/ISZERO/u0 7.08 7.07 -0.1% PASS
total/synth/JUMPDEST/n0 2.64 2.64 +0.1% PASS
total/synth/LT/b0 4.82 4.82 +0.1% PASS
total/synth/LT/b1 4.38 4.36 -0.4% PASS
total/synth/MSIZE/a0 5.44 5.39 -0.9% PASS
total/synth/MSIZE/a1 5.69 5.61 -1.4% PASS
total/synth/MUL/b0 5.60 5.59 -0.2% PASS
total/synth/MUL/b1 5.34 5.36 +0.4% PASS
total/synth/NOT/u0 1.99 1.91 -3.9% PASS
total/synth/OR/b0 2.13 2.18 +1.9% PASS
total/synth/OR/b1 1.76 1.75 -0.5% PASS
total/synth/PC/a0 5.46 5.59 +2.4% PASS
total/synth/PC/a1 3.46 3.46 +0.0% PASS
total/synth/PUSH1/p0 1.99 1.82 -8.8% PASS
total/synth/PUSH1/p1 1.64 1.63 -0.4% PASS
total/synth/PUSH10/p0 1.96 2.12 +8.1% PASS
total/synth/PUSH10/p1 1.64 1.64 -0.2% PASS
total/synth/PUSH11/p0 1.78 2.00 +12.7% PASS
total/synth/PUSH11/p1 2.05 2.03 -1.0% PASS
total/synth/PUSH12/p0 1.19 1.20 +0.4% PASS
total/synth/PUSH12/p1 2.06 2.05 -0.1% PASS
total/synth/PUSH13/p0 1.82 1.96 +8.1% PASS
total/synth/PUSH13/p1 1.65 1.64 -0.7% PASS
total/synth/PUSH14/p0 1.83 2.11 +15.3% PASS
total/synth/PUSH14/p1 1.99 2.04 +2.9% PASS
total/synth/PUSH15/p0 1.21 1.20 -1.3% PASS
total/synth/PUSH15/p1 2.21 2.14 -3.2% PASS
total/synth/PUSH16/p0 1.90 1.91 +0.9% PASS
total/synth/PUSH16/p1 1.64 1.64 +0.2% PASS
total/synth/PUSH17/p0 1.80 1.99 +10.5% PASS
total/synth/PUSH17/p1 2.09 1.94 -7.3% PASS
total/synth/PUSH18/p0 1.19 1.20 +0.6% PASS
total/synth/PUSH18/p1 2.05 1.94 -5.4% PASS
total/synth/PUSH19/p0 1.86 1.83 -1.8% PASS
total/synth/PUSH19/p1 1.67 1.64 -2.1% PASS
total/synth/PUSH2/p0 1.82 1.90 +4.7% PASS
total/synth/PUSH2/p1 2.19 2.05 -6.3% PASS
total/synth/PUSH20/p0 2.03 1.92 -5.3% PASS
total/synth/PUSH20/p1 1.95 2.10 +7.7% PASS
total/synth/PUSH21/p0 1.20 1.20 -0.0% PASS
total/synth/PUSH21/p1 2.12 2.09 -1.7% PASS
total/synth/PUSH22/p0 1.88 1.97 +4.9% PASS
total/synth/PUSH22/p1 1.64 1.64 -0.2% PASS
total/synth/PUSH23/p0 1.84 2.16 +17.3% PASS
total/synth/PUSH23/p1 2.24 2.02 -9.9% PASS
total/synth/PUSH24/p0 1.20 1.20 +0.1% PASS
total/synth/PUSH24/p1 2.13 1.85 -13.1% PASS
total/synth/PUSH25/p0 1.83 1.85 +1.1% PASS
total/synth/PUSH25/p1 1.64 1.64 -0.1% PASS
total/synth/PUSH26/p0 1.89 2.05 +8.3% PASS
total/synth/PUSH26/p1 2.13 2.16 +1.3% PASS
total/synth/PUSH27/p0 1.20 1.20 -0.2% PASS
total/synth/PUSH27/p1 2.15 1.90 -11.9% PASS
total/synth/PUSH28/p0 1.84 1.82 -1.0% PASS
total/synth/PUSH28/p1 1.67 1.66 -0.4% PASS
total/synth/PUSH29/p0 1.83 1.91 +4.5% PASS
total/synth/PUSH29/p1 2.16 1.97 -9.0% PASS
total/synth/PUSH3/p0 1.19 1.20 +0.1% PASS
total/synth/PUSH3/p1 2.12 1.99 -5.8% PASS
total/synth/PUSH30/p0 1.27 1.28 +0.8% PASS
total/synth/PUSH30/p1 2.15 1.92 -10.4% PASS
total/synth/PUSH31/p0 1.87 1.86 -0.5% PASS
total/synth/PUSH31/p1 1.67 1.47 -12.0% PASS
total/synth/PUSH32/p0 1.80 2.04 +13.3% PASS
total/synth/PUSH32/p1 2.38 2.03 -15.0% PASS
total/synth/PUSH4/p0 1.85 2.01 +8.3% PASS
total/synth/PUSH4/p1 1.64 1.63 -0.3% PASS
total/synth/PUSH5/p0 1.98 1.88 -5.2% PASS
total/synth/PUSH5/p1 1.98 2.06 +3.9% PASS
total/synth/PUSH6/p0 1.20 1.27 +6.1% PASS
total/synth/PUSH6/p1 1.99 2.02 +1.3% PASS
total/synth/PUSH7/p0 1.81 1.83 +1.0% PASS
total/synth/PUSH7/p1 1.65 1.63 -1.1% PASS
total/synth/PUSH8/p0 1.79 1.94 +8.5% PASS
total/synth/PUSH8/p1 2.08 2.06 -1.2% PASS
total/synth/PUSH9/p0 1.21 1.20 -1.3% PASS
total/synth/PUSH9/p1 1.99 2.02 +1.1% PASS
total/synth/RETURNDATASIZE/a0 3.61 3.37 -6.9% PASS
total/synth/RETURNDATASIZE/a1 5.77 5.88 +1.8% PASS
total/synth/SAR/b0 3.98 4.00 +0.5% PASS
total/synth/SAR/b1 7.83 7.29 -6.9% PASS
total/synth/SGT/b0 3.60 3.65 +1.3% PASS
total/synth/SGT/b1 3.39 3.38 -0.1% PASS
total/synth/SHL/b0 3.73 3.70 -0.8% PASS
total/synth/SHL/b1 1.85 1.85 -0.3% PASS
total/synth/SHR/b0 3.80 3.78 -0.4% PASS
total/synth/SHR/b1 3.20 3.26 +1.8% PASS
total/synth/SIGNEXTEND/b0 3.30 3.29 -0.3% PASS
total/synth/SIGNEXTEND/b1 6.46 6.70 +3.7% PASS
total/synth/SLT/b0 3.44 3.45 +0.2% PASS
total/synth/SLT/b1 3.80 3.73 -1.8% PASS
total/synth/SUB/b0 2.58 2.64 +2.4% PASS
total/synth/SUB/b1 2.68 2.69 +0.3% PASS
total/synth/SWAP1/s0 1.51 1.51 +0.5% PASS
total/synth/SWAP10/s0 1.52 1.52 +0.2% PASS
total/synth/SWAP11/s0 2.66 3.50 +31.7% PASS
total/synth/SWAP12/s0 2.61 2.78 +6.3% PASS
total/synth/SWAP13/s0 1.52 1.53 +0.3% PASS
total/synth/SWAP14/s0 2.63 3.55 +35.0% PASS
total/synth/SWAP15/s0 2.67 2.69 +0.9% PASS
total/synth/SWAP16/s0 1.53 1.53 +0.4% PASS
total/synth/SWAP2/s0 2.72 3.72 +36.7% PASS
total/synth/SWAP3/s0 2.65 2.63 -1.0% PASS
total/synth/SWAP4/s0 1.51 1.51 +0.4% PASS
total/synth/SWAP5/s0 2.65 3.52 +32.9% PASS
total/synth/SWAP6/s0 2.79 2.74 -1.8% PASS
total/synth/SWAP7/s0 1.52 1.53 +0.5% PASS
total/synth/SWAP8/s0 2.64 3.60 +36.2% PASS
total/synth/SWAP9/s0 2.61 2.58 -1.2% PASS
total/synth/XOR/b0 1.99 2.03 +2.4% PASS
total/synth/XOR/b1 2.18 2.19 +0.6% PASS
total/synth/loop_v1 8.77 8.66 -1.3% PASS
total/synth/loop_v2 8.64 9.02 +4.4% PASS

Summary: 194 benchmarks, 0 regressions


✅ Performance Check Passed (multipass)

Performance Benchmark Results (threshold: 25%)

Benchmark Baseline (us) Current (us) Change Status
total/main/blake2b_huff/8415nulls 1.26 1.34 +6.8% PASS
total/main/blake2b_huff/empty 0.02 0.02 -10.7% PASS
total/main/blake2b_shifts/8415nulls 4.32 4.30 -0.5% PASS
total/main/sha1_divs/5311 0.87 0.91 +4.0% PASS
total/main/sha1_divs/empty 0.01 0.01 -0.8% PASS
total/main/sha1_shifts/5311 0.77 0.78 +0.3% PASS
total/main/sha1_shifts/empty 0.01 0.01 -0.4% PASS
total/main/structarray_alloc/nfts_rank 0.26 0.26 +0.1% PASS
total/main/swap_math/insufficient_liquidity 0.00 0.00 -0.6% PASS
total/main/swap_math/received 0.01 0.01 -4.7% PASS
total/main/swap_math/spent 0.01 0.01 +0.6% PASS
total/main/weierstrudel/1 0.33 0.33 +0.2% PASS
total/main/weierstrudel/15 3.61 3.76 +4.1% PASS
total/micro/JUMPDEST_n0/empty 0.00 0.00 -0.0% PASS
total/micro/jump_around/empty 0.06 0.07 +6.4% PASS
total/micro/loop_with_many_jumpdests/empty 0.01 0.01 +0.1% PASS
total/micro/memory_grow_mload/by1 0.02 0.02 -1.9% PASS
total/micro/memory_grow_mload/by16 0.02 0.02 +0.8% PASS
total/micro/memory_grow_mload/by32 0.01 0.01 -3.2% PASS
total/micro/memory_grow_mload/nogrow 0.01 0.01 +0.2% PASS
total/micro/memory_grow_mstore/by1 0.12 0.02 -84.0% PASS
total/micro/memory_grow_mstore/by16 0.08 0.01 -85.6% PASS
total/micro/memory_grow_mstore/by32 0.17 0.02 -85.5% PASS
total/micro/memory_grow_mstore/nogrow 0.12 0.02 -85.3% PASS
total/micro/signextend/one 0.07 0.07 -2.3% PASS
total/micro/signextend/zero 0.18 0.18 +0.4% PASS
total/synth/ADD/b0 0.00 0.00 +0.1% PASS
total/synth/ADD/b1 0.00 0.00 -0.8% PASS
total/synth/ADDRESS/a0 0.23 0.22 -2.5% PASS
total/synth/ADDRESS/a1 0.15 0.15 -0.0% PASS
total/synth/AND/b0 0.00 0.00 +0.1% PASS
total/synth/AND/b1 0.00 0.00 -1.5% PASS
total/synth/BYTE/b0 0.00 0.00 -0.1% PASS
total/synth/BYTE/b1 0.00 0.00 -0.1% PASS
total/synth/CALLDATASIZE/a0 0.12 0.13 +3.0% PASS
total/synth/CALLDATASIZE/a1 0.07 0.07 -0.1% PASS
total/synth/CALLER/a0 0.22 0.22 -0.3% PASS
total/synth/CALLER/a1 0.23 0.22 -2.5% PASS
total/synth/CALLVALUE/a0 0.19 0.19 -0.3% PASS
total/synth/CALLVALUE/a1 0.28 0.29 +3.2% PASS
total/synth/CODESIZE/a0 0.13 0.12 -1.0% PASS
total/synth/CODESIZE/a1 0.12 0.12 +0.5% PASS
total/synth/DUP1/d0 0.00 0.00 +1.4% PASS
total/synth/DUP1/d1 0.00 0.00 +0.1% PASS
total/synth/DUP10/d0 0.00 0.00 +1.5% PASS
total/synth/DUP10/d1 0.00 0.00 +1.6% PASS
total/synth/DUP11/d0 0.00 0.00 -0.1% PASS
total/synth/DUP11/d1 0.00 0.00 -0.1% PASS
total/synth/DUP12/d0 0.00 0.00 -1.8% PASS
total/synth/DUP12/d1 0.00 0.00 +0.1% PASS
total/synth/DUP13/d0 0.00 0.00 -0.2% PASS
total/synth/DUP13/d1 0.00 0.00 -0.2% PASS
total/synth/DUP14/d0 0.00 0.00 -0.1% PASS
total/synth/DUP14/d1 0.00 0.00 -0.3% PASS
total/synth/DUP15/d0 0.00 0.00 -1.4% PASS
total/synth/DUP15/d1 0.00 0.00 +0.1% PASS
total/synth/DUP16/d0 0.00 0.00 +0.4% PASS
total/synth/DUP16/d1 0.00 0.00 -0.2% PASS
total/synth/DUP2/d0 0.00 0.00 -0.3% PASS
total/synth/DUP2/d1 0.00 0.00 +0.7% PASS
total/synth/DUP3/d0 0.00 0.00 +0.5% PASS
total/synth/DUP3/d1 0.00 0.00 +0.0% PASS
total/synth/DUP4/d0 0.00 0.00 -0.4% PASS
total/synth/DUP4/d1 0.00 0.00 -2.7% PASS
total/synth/DUP5/d0 0.00 0.00 -0.4% PASS
total/synth/DUP5/d1 0.00 0.00 -0.1% PASS
total/synth/DUP6/d0 0.00 0.00 -1.6% PASS
total/synth/DUP6/d1 0.00 0.00 +0.0% PASS
total/synth/DUP7/d0 0.00 0.00 -0.4% PASS
total/synth/DUP7/d1 0.00 0.00 +2.7% PASS
total/synth/DUP8/d0 0.00 0.00 +0.3% PASS
total/synth/DUP8/d1 0.00 0.00 -0.2% PASS
total/synth/DUP9/d0 0.00 0.00 +0.0% PASS
total/synth/DUP9/d1 0.00 0.00 -0.2% PASS
total/synth/EQ/b0 0.00 0.00 -1.0% PASS
total/synth/EQ/b1 0.00 0.00 +0.4% PASS
total/synth/GAS/a0 0.77 0.76 -0.1% PASS
total/synth/GAS/a1 0.93 0.91 -2.4% PASS
total/synth/GT/b0 0.00 0.00 -0.1% PASS
total/synth/GT/b1 0.00 0.00 -0.5% PASS
total/synth/ISZERO/u0 0.00 0.00 -0.8% PASS
total/synth/JUMPDEST/n0 0.00 0.00 -0.2% PASS
total/synth/LT/b0 0.00 0.00 +0.6% PASS
total/synth/LT/b1 0.00 0.00 +0.0% PASS
total/synth/MSIZE/a0 0.00 0.00 +0.4% PASS
total/synth/MSIZE/a1 0.00 0.00 +0.0% PASS
total/synth/MUL/b0 0.00 0.00 -0.4% PASS
total/synth/MUL/b1 0.00 0.00 +0.2% PASS
total/synth/NOT/u0 0.00 0.00 -0.7% PASS
total/synth/OR/b0 0.00 0.00 -1.1% PASS
total/synth/OR/b1 0.00 0.00 +0.6% PASS
total/synth/PC/a0 0.00 0.00 -0.2% PASS
total/synth/PC/a1 0.00 0.00 -0.2% PASS
total/synth/PUSH1/p0 0.00 0.00 +0.9% PASS
total/synth/PUSH1/p1 0.00 0.00 -0.7% PASS
total/synth/PUSH10/p0 0.00 0.00 -0.3% PASS
total/synth/PUSH10/p1 0.00 0.00 +2.4% PASS
total/synth/PUSH11/p0 0.00 0.00 +1.4% PASS
total/synth/PUSH11/p1 0.00 0.00 -2.1% PASS
total/synth/PUSH12/p0 0.00 0.00 +2.0% PASS
total/synth/PUSH12/p1 0.00 0.00 +1.3% PASS
total/synth/PUSH13/p0 0.00 0.00 -3.2% PASS
total/synth/PUSH13/p1 0.00 0.00 +0.5% PASS
total/synth/PUSH14/p0 0.00 0.00 +2.4% PASS
total/synth/PUSH14/p1 0.00 0.00 +2.8% PASS
total/synth/PUSH15/p0 0.00 0.00 +3.3% PASS
total/synth/PUSH15/p1 0.00 0.00 +0.2% PASS
total/synth/PUSH16/p0 0.00 0.00 +6.0% PASS
total/synth/PUSH16/p1 0.00 0.00 +1.4% PASS
total/synth/PUSH17/p0 0.00 0.00 +0.1% PASS
total/synth/PUSH17/p1 0.00 0.00 +4.4% PASS
total/synth/PUSH18/p0 0.00 0.00 +1.1% PASS
total/synth/PUSH18/p1 0.00 0.00 +7.9% PASS
total/synth/PUSH19/p0 0.00 0.00 -0.8% PASS
total/synth/PUSH19/p1 0.00 0.00 +0.1% PASS
total/synth/PUSH2/p0 0.00 0.00 -0.9% PASS
total/synth/PUSH2/p1 0.00 0.00 +2.4% PASS
total/synth/PUSH20/p0 0.00 0.00 -1.0% PASS
total/synth/PUSH20/p1 0.00 0.00 -3.4% PASS
total/synth/PUSH21/p0 0.00 0.00 -0.9% PASS
total/synth/PUSH21/p1 0.00 0.00 -0.9% PASS
total/synth/PUSH22/p0 1.67 1.72 +3.2% PASS
total/synth/PUSH22/p1 1.64 1.64 +0.5% PASS
total/synth/PUSH23/p0 1.70 1.66 -2.8% PASS
total/synth/PUSH23/p1 1.92 1.93 +0.9% PASS
total/synth/PUSH24/p0 1.20 1.20 -0.2% PASS
total/synth/PUSH24/p1 1.87 1.85 -1.1% PASS
total/synth/PUSH25/p0 1.67 1.68 +0.7% PASS
total/synth/PUSH25/p1 1.64 1.64 +0.2% PASS
total/synth/PUSH26/p0 1.66 1.73 +4.7% PASS
total/synth/PUSH26/p1 1.86 1.84 -0.9% PASS
total/synth/PUSH27/p0 1.21 1.20 -1.0% PASS
total/synth/PUSH27/p1 1.84 1.94 +5.6% PASS
total/synth/PUSH28/p0 1.68 1.72 +2.5% PASS
total/synth/PUSH28/p1 1.64 1.64 +0.2% PASS
total/synth/PUSH29/p0 1.67 1.77 +5.6% PASS
total/synth/PUSH29/p1 1.89 1.87 -1.1% PASS
total/synth/PUSH3/p0 0.00 0.00 -0.6% PASS
total/synth/PUSH3/p1 0.00 0.00 -2.5% PASS
total/synth/PUSH30/p0 1.29 1.28 -0.7% PASS
total/synth/PUSH30/p1 1.86 1.89 +1.4% PASS
total/synth/PUSH31/p0 1.69 1.68 -1.0% PASS
total/synth/PUSH31/p1 1.68 1.66 -1.2% PASS
total/synth/PUSH32/p0 1.66 1.66 -0.1% PASS
total/synth/PUSH32/p1 1.92 1.90 -1.0% PASS
total/synth/PUSH4/p0 0.00 0.00 -1.5% PASS
total/synth/PUSH4/p1 0.00 0.00 +1.5% PASS
total/synth/PUSH5/p0 0.00 0.00 -6.4% PASS
total/synth/PUSH5/p1 0.00 0.00 +0.8% PASS
total/synth/PUSH6/p0 0.00 0.00 +1.0% PASS
total/synth/PUSH6/p1 0.00 0.00 -2.0% PASS
total/synth/PUSH7/p0 0.00 0.00 +3.9% PASS
total/synth/PUSH7/p1 0.00 0.00 -0.5% PASS
total/synth/PUSH8/p0 0.00 0.00 -4.4% PASS
total/synth/PUSH8/p1 0.00 0.00 +3.1% PASS
total/synth/PUSH9/p0 0.00 0.00 -1.9% PASS
total/synth/PUSH9/p1 0.00 0.00 -6.3% PASS
total/synth/RETURNDATASIZE/a0 0.03 0.03 -0.0% PASS
total/synth/RETURNDATASIZE/a1 0.06 0.06 +6.1% PASS
total/synth/SAR/b0 0.00 0.00 +0.4% PASS
total/synth/SAR/b1 0.00 0.00 -0.0% PASS
total/synth/SGT/b0 0.00 0.00 +0.2% PASS
total/synth/SGT/b1 0.00 0.00 +0.9% PASS
total/synth/SHL/b0 0.00 0.00 -0.5% PASS
total/synth/SHL/b1 0.00 0.00 -0.4% PASS
total/synth/SHR/b0 0.00 0.00 +1.3% PASS
total/synth/SHR/b1 0.00 0.00 -0.9% PASS
total/synth/SIGNEXTEND/b0 0.00 0.00 -0.0% PASS
total/synth/SIGNEXTEND/b1 0.00 0.00 +0.7% PASS
total/synth/SLT/b0 0.00 0.00 +0.0% PASS
total/synth/SLT/b1 0.00 0.00 -1.9% PASS
total/synth/SUB/b0 0.00 0.00 +0.8% PASS
total/synth/SUB/b1 0.00 0.00 +0.2% PASS
total/synth/SWAP1/s0 0.00 0.00 +0.7% PASS
total/synth/SWAP10/s0 0.00 0.00 +1.0% PASS
total/synth/SWAP11/s0 0.00 0.00 -0.4% PASS
total/synth/SWAP12/s0 0.00 0.00 +0.1% PASS
total/synth/SWAP13/s0 0.00 0.00 -0.3% PASS
total/synth/SWAP14/s0 0.00 0.00 +0.3% PASS
total/synth/SWAP15/s0 0.00 0.00 -0.3% PASS
total/synth/SWAP16/s0 0.00 0.00 +0.3% PASS
total/synth/SWAP2/s0 0.00 0.00 -0.2% PASS
total/synth/SWAP3/s0 0.00 0.00 +0.6% PASS
total/synth/SWAP4/s0 0.00 0.00 -0.0% PASS
total/synth/SWAP5/s0 0.00 0.00 -3.0% PASS
total/synth/SWAP6/s0 0.00 0.00 -0.5% PASS
total/synth/SWAP7/s0 0.00 0.00 -1.7% PASS
total/synth/SWAP8/s0 0.00 0.00 +0.4% PASS
total/synth/SWAP9/s0 0.00 0.00 -0.8% PASS
total/synth/XOR/b0 0.00 0.00 -1.9% PASS
total/synth/XOR/b1 0.00 0.00 +0.7% PASS
total/synth/loop_v1 8.42 8.44 +0.3% PASS
total/synth/loop_v2 8.44 8.45 +0.1% PASS

Summary: 193 benchmarks, 0 regressions


ECNUyhy added 2 commits July 28, 2026 05:43
Forward the stride operand already recovered by the fused MSTORE and ADD macro-op into the linear memory precheck. Previously the precheck reused the unfused bytecode stack index, so the reduced logical stack skipped the shared range proof and left every MSTORE on the expand path.
Record the dynamic stride passed into linear memory prechecks and verify both the fused MSTORE macro-op and the existing MSTORE8 path preserve it. The focused regression fails when the fused path falls back to the stale unfused stack index.
@ECNUyhy
ECNUyhy force-pushed the codex/evm-mstore-stride-precheck branch from 77cbed5 to 88f6974 Compare July 28, 2026 06:15
@zoowii
zoowii merged commit 30d5339 into DTVMStack:main Jul 29, 2026
17 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants