Skip to content

ci: enforce change document declarations - #581

Closed
abmcar wants to merge 2 commits into
DTVMStack:mainfrom
abmcar:codex/change-doc-gate
Closed

ci: enforce change document declarations#581
abmcar wants to merge 2 commits into
DTVMStack:mainfrom
abmcar:codex/change-doc-gate

Conversation

@abmcar

@abmcar abmcar commented Jul 28, 2026

Copy link
Copy Markdown
Contributor

1. Does this PR affect any open issues?

  • N
  • Y

2. Scope

Development workflow, change-proposal policy, pull request template,
contribution tooling, and CI.

3. Description

This change requires every pull request to provide either a governing
change-document path or a specific N/A reason. It aligns the agent workflow
and change-proposal guide on a closed exemption set, broadens dev-workflow
beyond features, and defines the exact ProposedAcceptedImplemented
transition points.

The root cause was a contradictory entry policy: agent guidance let simple bug
fixes skip proposal work while docs/changes/README.md required Light documents
for bug fixes with design implications. The PR template and CI had no final
declaration check, so that contradiction could reach review without a signal.

The new validator checks declaration syntax, rejects placeholder exemptions,
and verifies a referenced document at the PR head. It deliberately does not
infer policy from src/**; reviewers retain control over explicit exemptions.

4. Breaking changes

  • N
  • Y

5. Tests

  • Unit test
  • Manual test
  • Integration test
  • Benchmark

Validation completed:

  • 12 validator and policy-wiring tests
  • generated skill mirror check
  • local validation of both Change doc and N/A forms
  • repository format check and YAML parse
  • git diff --check
  • CI-derived Release dtvmapi build
  • coordinated DTVMDotfiles release, drift, skill-state, and integration checks

dtvm_local_test.sh --auto selected multipass evmone unit and state tests for
the mixed tooling/CI paths, but its preflight stopped because the local evmone
binaries and EEST fixtures are not installed. No runtime source changed; the
missing suite is recorded in the change document.

6. Change document

Change doc: docs/changes/2026-07-28-enforce-change-document-declaration/README.md

7. Release note

None

Copilot AI review requested due to automatic review settings July 28, 2026 09:26

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.

# Conflicts:
#	docs/changes/README.md
Copilot AI review requested due to automatic review settings July 28, 2026 09:29

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.

@github-actions

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.45 2.59 +5.5% PASS
total/main/blake2b_huff/empty 0.04 0.04 +2.1% PASS
total/main/blake2b_shifts/8415nulls 13.99 13.91 -0.6% PASS
total/main/sha1_divs/5311 8.25 8.09 -1.9% PASS
total/main/sha1_divs/empty 0.10 0.10 -1.5% PASS
total/main/sha1_shifts/5311 5.36 5.49 +2.4% PASS
total/main/sha1_shifts/empty 0.04 0.04 +0.1% PASS
total/main/snailtracer/benchmark 93.93 93.18 -0.8% PASS
total/main/structarray_alloc/nfts_rank 1.10 1.11 +0.2% PASS
total/main/swap_math/insufficient_liquidity 0.00 0.00 +0.4% PASS
total/main/swap_math/received 0.01 0.01 +4.5% PASS
total/main/swap_math/spent 0.01 0.01 -2.6% PASS
total/main/weierstrudel/1 0.30 0.32 +7.9% PASS
total/main/weierstrudel/15 3.36 3.38 +0.4% PASS
total/micro/JUMPDEST_n0/empty 2.64 2.64 +0.1% PASS
total/micro/jump_around/empty 0.11 0.11 +1.1% PASS
total/micro/loop_with_many_jumpdests/empty 69.87 69.89 +0.0% PASS
total/micro/memory_grow_mload/by1 0.17 0.18 +5.3% PASS
total/micro/memory_grow_mload/by16 0.20 0.19 -5.1% PASS
total/micro/memory_grow_mload/by32 0.11 0.11 -0.2% PASS
total/micro/memory_grow_mload/nogrow 0.09 0.09 -0.1% PASS
total/micro/memory_grow_mstore/by1 0.19 0.19 +2.9% PASS
total/micro/memory_grow_mstore/by16 0.11 0.11 -0.1% PASS
total/micro/memory_grow_mstore/by32 0.24 0.23 -3.4% PASS
total/micro/memory_grow_mstore/nogrow 0.18 0.18 +1.3% PASS
total/micro/signextend/one 0.26 0.26 -0.1% PASS
total/micro/signextend/zero 0.50 0.52 +4.5% PASS
total/synth/ADD/b0 2.31 2.31 -0.0% PASS
total/synth/ADD/b1 2.58 2.66 +3.2% PASS
total/synth/ADDRESS/a0 5.92 6.28 +6.0% PASS
total/synth/ADDRESS/a1 5.11 5.11 -0.0% PASS
total/synth/AND/b0 2.15 2.15 +0.0% PASS
total/synth/AND/b1 2.25 2.28 +1.2% PASS
total/synth/BYTE/b0 6.15 6.15 +0.0% PASS
total/synth/BYTE/b1 8.24 8.16 -1.0% PASS
total/synth/CALLDATASIZE/a0 5.29 5.54 +4.7% PASS
total/synth/CALLDATASIZE/a1 3.37 3.38 +0.2% PASS
total/synth/CALLER/a0 5.93 5.85 -1.4% PASS
total/synth/CALLER/a1 6.26 6.18 -1.2% PASS
total/synth/CALLVALUE/a0 3.52 3.51 -0.2% PASS
total/synth/CALLVALUE/a1 5.84 5.79 -0.9% PASS
total/synth/CODESIZE/a0 5.97 5.93 -0.6% PASS
total/synth/CODESIZE/a1 6.07 6.12 +0.8% PASS
total/synth/DUP1/d0 1.53 1.52 -1.1% PASS
total/synth/DUP1/d1 1.89 1.69 -10.7% PASS
total/synth/DUP10/d0 1.62 1.52 -6.8% PASS
total/synth/DUP10/d1 1.93 1.73 -9.9% PASS
total/synth/DUP11/d0 1.08 1.09 +0.7% PASS
total/synth/DUP11/d1 1.87 1.72 -7.9% PASS
total/synth/DUP12/d0 1.58 1.62 +2.4% PASS
total/synth/DUP12/d1 1.07 1.06 -1.6% PASS
total/synth/DUP13/d0 1.63 1.61 -1.0% PASS
total/synth/DUP13/d1 1.72 1.68 -2.0% PASS
total/synth/DUP14/d0 1.09 1.09 -0.2% PASS
total/synth/DUP14/d1 1.93 1.96 +1.4% PASS
total/synth/DUP15/d0 1.58 1.53 -2.9% PASS
total/synth/DUP15/d1 1.07 1.04 -2.8% PASS
total/synth/DUP16/d0 1.78 1.66 -6.8% PASS
total/synth/DUP16/d1 1.70 1.75 +2.4% PASS
total/synth/DUP2/d0 1.06 1.06 -0.0% PASS
total/synth/DUP2/d1 1.79 1.90 +6.0% PASS
total/synth/DUP3/d0 1.55 1.67 +7.3% PASS
total/synth/DUP3/d1 1.07 1.07 -0.1% PASS
total/synth/DUP4/d0 1.62 1.63 +0.5% PASS
total/synth/DUP4/d1 2.00 1.73 -13.5% PASS
total/synth/DUP5/d0 1.07 1.07 -0.1% PASS
total/synth/DUP5/d1 1.93 1.71 -11.3% PASS
total/synth/DUP6/d0 1.54 1.64 +6.4% PASS
total/synth/DUP6/d1 1.07 1.04 -2.6% PASS
total/synth/DUP7/d0 1.67 1.73 +3.4% PASS
total/synth/DUP7/d1 1.78 1.96 +10.2% PASS
total/synth/DUP8/d0 1.08 1.08 +0.1% PASS
total/synth/DUP8/d1 1.78 1.76 -1.0% PASS
total/synth/DUP9/d0 1.64 1.54 -5.9% PASS
total/synth/DUP9/d1 1.07 1.07 -0.2% PASS
total/synth/EQ/b0 4.54 4.53 -0.3% PASS
total/synth/EQ/b1 4.92 4.81 -2.3% PASS
total/synth/GAS/a0 3.85 3.85 -0.0% PASS
total/synth/GAS/a1 6.71 7.01 +4.4% PASS
total/synth/GT/b0 4.79 4.82 +0.6% PASS
total/synth/GT/b1 4.91 4.88 -0.5% PASS
total/synth/ISZERO/u0 7.10 7.06 -0.5% PASS
total/synth/JUMPDEST/n0 2.66 2.64 -0.9% PASS
total/synth/LT/b0 4.84 4.81 -0.6% PASS
total/synth/LT/b1 4.39 4.38 -0.4% PASS
total/synth/MSIZE/a0 5.44 5.48 +0.7% PASS
total/synth/MSIZE/a1 5.65 5.45 -3.6% PASS
total/synth/MUL/b0 5.56 5.54 -0.2% PASS
total/synth/MUL/b1 5.37 5.35 -0.3% PASS
total/synth/NOT/u0 1.79 1.84 +2.3% PASS
total/synth/OR/b0 2.15 2.19 +2.1% PASS
total/synth/OR/b1 1.80 1.78 -1.1% PASS
total/synth/PC/a0 5.39 5.56 +3.2% PASS
total/synth/PC/a1 3.44 3.46 +0.4% PASS
total/synth/PUSH1/p0 1.78 1.83 +2.8% PASS
total/synth/PUSH1/p1 1.63 1.63 -0.2% PASS
total/synth/PUSH10/p0 1.90 1.90 +0.2% PASS
total/synth/PUSH10/p1 1.64 1.64 -0.2% PASS
total/synth/PUSH11/p0 1.79 1.83 +2.5% PASS
total/synth/PUSH11/p1 2.05 1.99 -2.9% PASS
total/synth/PUSH12/p0 1.20 1.20 +0.0% PASS
total/synth/PUSH12/p1 2.08 2.06 -0.8% PASS
total/synth/PUSH13/p0 1.88 1.90 +1.0% PASS
total/synth/PUSH13/p1 1.64 1.63 -0.4% PASS
total/synth/PUSH14/p0 2.03 1.87 -7.8% PASS
total/synth/PUSH14/p1 2.18 2.05 -5.9% PASS
total/synth/PUSH15/p0 1.20 1.21 +0.8% PASS
total/synth/PUSH15/p1 2.11 2.37 +12.3% PASS
total/synth/PUSH16/p0 2.00 1.89 -5.4% PASS
total/synth/PUSH16/p1 1.66 1.66 -0.0% PASS
total/synth/PUSH17/p0 1.92 1.84 -4.1% PASS
total/synth/PUSH17/p1 2.09 1.98 -5.1% PASS
total/synth/PUSH18/p0 1.19 1.20 +0.2% PASS
total/synth/PUSH18/p1 2.02 1.98 -1.9% PASS
total/synth/PUSH19/p0 1.85 1.82 -2.0% PASS
total/synth/PUSH19/p1 1.64 1.64 -0.1% PASS
total/synth/PUSH2/p0 2.02 1.89 -6.1% PASS
total/synth/PUSH2/p1 2.02 1.93 -4.4% PASS
total/synth/PUSH20/p0 1.92 1.82 -5.0% PASS
total/synth/PUSH20/p1 2.00 2.04 +2.1% PASS
total/synth/PUSH21/p0 1.20 1.20 +0.0% PASS
total/synth/PUSH21/p1 2.14 2.11 -1.4% PASS
total/synth/PUSH22/p0 1.85 1.93 +4.4% PASS
total/synth/PUSH22/p1 1.64 1.64 +0.2% PASS
total/synth/PUSH23/p0 1.85 1.80 -2.6% PASS
total/synth/PUSH23/p1 2.06 2.05 -0.2% PASS
total/synth/PUSH24/p0 1.20 1.20 -0.0% PASS
total/synth/PUSH24/p1 1.96 2.35 +20.1% PASS
total/synth/PUSH25/p0 1.86 1.86 +0.2% PASS
total/synth/PUSH25/p1 1.64 1.63 -0.1% PASS
total/synth/PUSH26/p0 1.77 1.95 +10.1% PASS
total/synth/PUSH26/p1 2.00 2.05 +2.5% PASS
total/synth/PUSH27/p0 1.20 1.20 +0.2% PASS
total/synth/PUSH27/p1 2.16 1.92 -11.4% PASS
total/synth/PUSH28/p0 1.95 1.93 -1.1% PASS
total/synth/PUSH28/p1 1.66 1.64 -1.1% PASS
total/synth/PUSH29/p0 1.81 1.84 +1.8% PASS
total/synth/PUSH29/p1 1.96 1.95 -0.8% PASS
total/synth/PUSH3/p0 1.20 1.19 -0.7% PASS
total/synth/PUSH3/p1 2.00 1.90 -4.8% PASS
total/synth/PUSH30/p0 1.28 1.25 -2.2% PASS
total/synth/PUSH30/p1 2.03 2.13 +4.9% PASS
total/synth/PUSH31/p0 1.81 1.87 +3.4% PASS
total/synth/PUSH31/p1 1.69 1.69 +0.3% PASS
total/synth/PUSH32/p0 2.02 1.89 -6.3% PASS
total/synth/PUSH32/p1 2.11 2.15 +2.1% PASS
total/synth/PUSH4/p0 1.79 1.91 +7.0% PASS
total/synth/PUSH4/p1 1.63 1.64 +0.4% PASS
total/synth/PUSH5/p0 1.91 1.82 -4.8% PASS
total/synth/PUSH5/p1 2.35 1.98 -15.9% PASS
total/synth/PUSH6/p0 1.19 1.20 +0.1% PASS
total/synth/PUSH6/p1 2.05 2.01 -2.1% PASS
total/synth/PUSH7/p0 1.84 1.89 +2.6% PASS
total/synth/PUSH7/p1 1.64 1.65 +0.9% PASS
total/synth/PUSH8/p0 1.80 1.83 +1.4% PASS
total/synth/PUSH8/p1 2.07 2.00 -3.1% PASS
total/synth/PUSH9/p0 1.20 1.19 -0.4% PASS
total/synth/PUSH9/p1 2.21 2.05 -7.4% PASS
total/synth/RETURNDATASIZE/a0 3.39 3.37 -0.7% PASS
total/synth/RETURNDATASIZE/a1 6.33 6.18 -2.4% PASS
total/synth/SAR/b0 3.98 3.98 +0.1% PASS
total/synth/SAR/b1 7.63 7.40 -3.0% PASS
total/synth/SGT/b0 3.62 3.60 -0.7% PASS
total/synth/SGT/b1 3.42 3.40 -0.6% PASS
total/synth/SHL/b0 3.61 3.65 +1.1% PASS
total/synth/SHL/b1 1.88 1.86 -0.9% PASS
total/synth/SHR/b0 3.81 3.81 +0.0% PASS
total/synth/SHR/b1 3.21 3.23 +0.8% PASS
total/synth/SIGNEXTEND/b0 3.28 3.29 +0.3% PASS
total/synth/SIGNEXTEND/b1 6.56 6.66 +1.5% PASS
total/synth/SLT/b0 3.44 3.44 -0.0% PASS
total/synth/SLT/b1 3.79 3.74 -1.2% PASS
total/synth/SUB/b0 2.71 2.70 -0.3% PASS
total/synth/SUB/b1 2.63 2.95 +12.2% PASS
total/synth/SWAP1/s0 1.51 1.51 +0.0% PASS
total/synth/SWAP10/s0 1.53 1.52 -0.5% PASS
total/synth/SWAP11/s0 2.75 2.72 -1.3% PASS
total/synth/SWAP12/s0 2.66 2.86 +7.5% PASS
total/synth/SWAP13/s0 1.53 1.53 -0.1% PASS
total/synth/SWAP14/s0 2.68 2.68 -0.1% PASS
total/synth/SWAP15/s0 2.67 2.78 +3.9% PASS
total/synth/SWAP16/s0 1.53 1.55 +1.4% PASS
total/synth/SWAP2/s0 2.65 2.63 -0.9% PASS
total/synth/SWAP3/s0 2.70 2.71 +0.2% PASS
total/synth/SWAP4/s0 1.51 1.51 -0.2% PASS
total/synth/SWAP5/s0 2.62 2.67 +2.0% PASS
total/synth/SWAP6/s0 2.66 2.68 +0.9% PASS
total/synth/SWAP7/s0 1.52 1.52 +0.2% PASS
total/synth/SWAP8/s0 2.81 2.63 -6.5% PASS
total/synth/SWAP9/s0 2.72 2.61 -3.9% PASS
total/synth/XOR/b0 2.00 1.98 -1.3% PASS
total/synth/XOR/b1 2.18 2.26 +3.3% PASS
total/synth/loop_v1 8.72 8.67 -0.5% PASS
total/synth/loop_v2 9.01 8.74 -3.0% 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.33 1.41 +6.3% PASS
total/main/blake2b_huff/empty 0.02 0.02 +4.7% PASS
total/main/blake2b_shifts/8415nulls 4.34 4.33 -0.2% PASS
total/main/sha1_divs/5311 0.89 0.88 -0.6% PASS
total/main/sha1_divs/empty 0.01 0.01 +4.3% PASS
total/main/sha1_shifts/5311 0.77 0.77 +0.2% PASS
total/main/sha1_shifts/empty 0.01 0.01 -0.4% PASS
total/main/structarray_alloc/nfts_rank 0.26 0.26 -0.3% PASS
total/main/swap_math/insufficient_liquidity 0.00 0.00 +0.6% PASS
total/main/swap_math/received 0.01 0.01 +0.9% PASS
total/main/swap_math/spent 0.01 0.01 -0.8% PASS
total/main/weierstrudel/1 0.33 0.32 -0.2% PASS
total/main/weierstrudel/15 3.62 3.69 +1.7% PASS
total/micro/JUMPDEST_n0/empty 0.00 0.00 +0.4% PASS
total/micro/jump_around/empty 0.08 0.07 -15.0% PASS
total/micro/loop_with_many_jumpdests/empty 0.01 0.01 +3.2% PASS
total/micro/memory_grow_mload/by1 0.02 0.02 +3.7% PASS
total/micro/memory_grow_mload/by16 0.02 0.02 +1.2% PASS
total/micro/memory_grow_mload/by32 0.01 0.01 -2.2% PASS
total/micro/memory_grow_mload/nogrow 0.01 0.01 +2.3% PASS
total/micro/memory_grow_mstore/by1 0.12 0.13 +2.0% PASS
total/micro/memory_grow_mstore/by16 0.08 0.08 +2.1% PASS
total/micro/memory_grow_mstore/by32 0.17 0.17 +2.5% PASS
total/micro/memory_grow_mstore/nogrow 0.12 0.12 +0.6% PASS
total/micro/signextend/one 0.08 0.08 +1.1% PASS
total/micro/signextend/zero 0.17 0.19 +8.4% PASS
total/synth/ADD/b0 0.00 0.00 +0.2% PASS
total/synth/ADD/b1 0.00 0.00 +0.2% PASS
total/synth/ADDRESS/a0 0.22 0.22 +0.8% PASS
total/synth/ADDRESS/a1 0.15 0.15 -0.2% PASS
total/synth/AND/b0 0.00 0.00 -0.1% PASS
total/synth/AND/b1 0.00 0.00 +3.1% PASS
total/synth/BYTE/b0 0.00 0.00 -0.4% PASS
total/synth/BYTE/b1 0.00 0.00 +0.5% PASS
total/synth/CALLDATASIZE/a0 0.12 0.12 +2.3% PASS
total/synth/CALLDATASIZE/a1 0.07 0.07 +0.0% PASS
total/synth/CALLER/a0 0.22 0.27 +24.2% PASS
total/synth/CALLER/a1 0.22 0.22 -1.7% PASS
total/synth/CALLVALUE/a0 0.19 0.19 -0.2% PASS
total/synth/CALLVALUE/a1 0.30 0.27 -7.3% PASS
total/synth/CODESIZE/a0 0.13 0.12 -6.4% PASS
total/synth/CODESIZE/a1 0.12 0.12 +2.0% PASS
total/synth/DUP1/d0 0.00 0.00 -2.5% PASS
total/synth/DUP1/d1 0.00 0.00 +3.0% PASS
total/synth/DUP10/d0 0.00 0.00 -0.1% PASS
total/synth/DUP10/d1 0.00 0.00 +0.4% PASS
total/synth/DUP11/d0 0.00 0.00 +0.1% PASS
total/synth/DUP11/d1 0.00 0.00 -1.0% PASS
total/synth/DUP12/d0 0.00 0.00 +0.8% PASS
total/synth/DUP12/d1 0.00 0.00 +0.3% PASS
total/synth/DUP13/d0 0.00 0.00 +0.6% PASS
total/synth/DUP13/d1 0.00 0.00 +0.7% PASS
total/synth/DUP14/d0 0.00 0.00 -0.1% PASS
total/synth/DUP14/d1 0.00 0.00 +1.1% PASS
total/synth/DUP15/d0 0.00 0.00 +1.5% PASS
total/synth/DUP15/d1 0.00 0.00 -0.1% PASS
total/synth/DUP16/d0 0.00 0.00 -0.2% PASS
total/synth/DUP16/d1 0.00 0.00 +0.1% PASS
total/synth/DUP2/d0 0.00 0.00 +0.5% PASS
total/synth/DUP2/d1 0.00 0.00 +0.3% PASS
total/synth/DUP3/d0 0.00 0.00 -0.6% PASS
total/synth/DUP3/d1 0.00 0.00 +0.1% PASS
total/synth/DUP4/d0 0.00 0.00 -1.3% PASS
total/synth/DUP4/d1 0.00 0.00 +0.1% PASS
total/synth/DUP5/d0 0.00 0.00 +0.6% PASS
total/synth/DUP5/d1 0.00 0.00 -0.2% PASS
total/synth/DUP6/d0 0.00 0.00 -0.2% PASS
total/synth/DUP6/d1 0.00 0.00 +0.4% PASS
total/synth/DUP7/d0 0.00 0.00 +1.1% PASS
total/synth/DUP7/d1 0.00 0.00 +0.6% PASS
total/synth/DUP8/d0 0.00 0.00 +0.7% PASS
total/synth/DUP8/d1 0.00 0.00 -0.6% PASS
total/synth/DUP9/d0 0.00 0.00 -0.6% PASS
total/synth/DUP9/d1 0.00 0.00 +0.3% PASS
total/synth/EQ/b0 0.00 0.00 +3.1% PASS
total/synth/EQ/b1 0.00 0.00 +0.9% PASS
total/synth/GAS/a0 0.77 0.77 +0.0% PASS
total/synth/GAS/a1 0.93 0.93 +0.1% PASS
total/synth/GT/b0 0.00 0.00 +0.9% PASS
total/synth/GT/b1 0.00 0.00 +1.2% PASS
total/synth/ISZERO/u0 0.00 0.00 +0.7% PASS
total/synth/JUMPDEST/n0 0.00 0.00 -0.5% PASS
total/synth/LT/b0 0.00 0.00 +0.3% PASS
total/synth/LT/b1 0.00 0.00 +0.3% PASS
total/synth/MSIZE/a0 0.00 0.00 +0.3% PASS
total/synth/MSIZE/a1 0.00 0.00 +3.6% PASS
total/synth/MUL/b0 0.00 0.00 -0.6% PASS
total/synth/MUL/b1 0.00 0.00 +0.7% PASS
total/synth/NOT/u0 0.00 0.00 -1.0% PASS
total/synth/OR/b0 0.00 0.00 +0.2% PASS
total/synth/OR/b1 0.00 0.00 -0.7% PASS
total/synth/PC/a0 0.00 0.00 +0.4% PASS
total/synth/PC/a1 0.00 0.00 +0.2% PASS
total/synth/PUSH1/p0 0.00 0.00 +0.5% PASS
total/synth/PUSH1/p1 0.00 0.00 +0.6% PASS
total/synth/PUSH10/p0 0.00 0.00 -2.6% PASS
total/synth/PUSH10/p1 0.00 0.00 +1.9% PASS
total/synth/PUSH11/p0 0.00 0.00 -0.8% PASS
total/synth/PUSH11/p1 0.00 0.00 +2.1% PASS
total/synth/PUSH12/p0 0.00 0.00 -1.3% PASS
total/synth/PUSH12/p1 0.00 0.00 +0.5% PASS
total/synth/PUSH13/p0 0.00 0.00 +2.0% PASS
total/synth/PUSH13/p1 0.00 0.00 -0.1% PASS
total/synth/PUSH14/p0 0.00 0.00 -3.9% PASS
total/synth/PUSH14/p1 0.00 0.00 -1.1% PASS
total/synth/PUSH15/p0 0.00 0.00 -1.5% PASS
total/synth/PUSH15/p1 0.00 0.00 +3.9% PASS
total/synth/PUSH16/p0 0.00 0.00 +4.2% PASS
total/synth/PUSH16/p1 0.00 0.00 -1.1% PASS
total/synth/PUSH17/p0 0.00 0.00 -0.9% PASS
total/synth/PUSH17/p1 0.00 0.00 +3.7% PASS
total/synth/PUSH18/p0 0.00 0.00 +0.9% PASS
total/synth/PUSH18/p1 0.00 0.00 +0.9% PASS
total/synth/PUSH19/p0 0.00 0.00 -4.8% PASS
total/synth/PUSH19/p1 0.00 0.00 -0.4% PASS
total/synth/PUSH2/p0 0.00 0.00 +1.3% PASS
total/synth/PUSH2/p1 0.00 0.00 -1.3% PASS
total/synth/PUSH20/p0 0.00 0.00 +0.4% PASS
total/synth/PUSH20/p1 0.00 0.00 +1.6% PASS
total/synth/PUSH21/p0 0.00 0.00 -0.1% PASS
total/synth/PUSH21/p1 0.00 0.00 +2.9% PASS
total/synth/PUSH22/p0 1.66 1.66 -0.3% PASS
total/synth/PUSH22/p1 1.64 1.64 -0.4% PASS
total/synth/PUSH23/p0 1.86 1.67 -10.4% PASS
total/synth/PUSH23/p1 1.96 1.91 -2.5% PASS
total/synth/PUSH24/p0 1.22 1.21 -0.5% PASS
total/synth/PUSH24/p1 1.90 1.89 -0.9% PASS
total/synth/PUSH25/p0 1.69 1.66 -2.0% PASS
total/synth/PUSH25/p1 1.64 1.63 -0.4% PASS
total/synth/PUSH26/p0 1.70 1.66 -2.1% PASS
total/synth/PUSH26/p1 1.88 1.87 -0.5% PASS
total/synth/PUSH27/p0 1.20 1.20 -0.2% PASS
total/synth/PUSH27/p1 1.86 1.90 +2.2% PASS
total/synth/PUSH28/p0 1.72 1.70 -1.1% PASS
total/synth/PUSH28/p1 1.66 1.66 +0.2% PASS
total/synth/PUSH29/p0 1.71 1.67 -2.3% PASS
total/synth/PUSH29/p1 1.85 1.92 +4.3% PASS
total/synth/PUSH3/p0 0.00 0.00 +0.1% PASS
total/synth/PUSH3/p1 0.00 0.00 +0.1% PASS
total/synth/PUSH30/p0 1.34 1.39 +3.8% PASS
total/synth/PUSH30/p1 1.93 2.01 +4.4% PASS
total/synth/PUSH31/p0 1.68 1.66 -1.1% PASS
total/synth/PUSH31/p1 1.69 1.69 -0.3% PASS
total/synth/PUSH32/p0 1.88 1.74 -7.8% PASS
total/synth/PUSH32/p1 2.04 1.91 -6.4% PASS
total/synth/PUSH4/p0 0.00 0.00 +2.5% PASS
total/synth/PUSH4/p1 0.00 0.00 -0.8% PASS
total/synth/PUSH5/p0 0.00 0.00 +0.8% PASS
total/synth/PUSH5/p1 0.00 0.00 +1.7% PASS
total/synth/PUSH6/p0 0.00 0.00 +1.0% PASS
total/synth/PUSH6/p1 0.00 0.00 +2.3% PASS
total/synth/PUSH7/p0 0.00 0.00 +0.4% PASS
total/synth/PUSH7/p1 0.00 0.00 +1.4% PASS
total/synth/PUSH8/p0 0.00 0.00 +0.8% PASS
total/synth/PUSH8/p1 0.00 0.00 +3.3% PASS
total/synth/PUSH9/p0 0.00 0.00 +0.3% PASS
total/synth/PUSH9/p1 0.00 0.00 +0.9% PASS
total/synth/RETURNDATASIZE/a0 0.03 0.03 +0.0% PASS
total/synth/RETURNDATASIZE/a1 0.06 0.06 -2.6% PASS
total/synth/SAR/b0 0.00 0.00 -0.0% PASS
total/synth/SAR/b1 0.00 0.00 -0.7% PASS
total/synth/SGT/b0 0.00 0.00 +0.4% PASS
total/synth/SGT/b1 0.00 0.00 -0.2% PASS
total/synth/SHL/b0 0.00 0.00 +0.1% PASS
total/synth/SHL/b1 0.00 0.00 +0.4% PASS
total/synth/SHR/b0 0.00 0.00 +0.7% 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.4% PASS
total/synth/SLT/b0 0.00 0.00 +0.2% PASS
total/synth/SLT/b1 0.00 0.00 -0.1% PASS
total/synth/SUB/b0 0.00 0.00 +1.0% PASS
total/synth/SUB/b1 0.00 0.00 +4.0% PASS
total/synth/SWAP1/s0 0.00 0.00 +1.1% PASS
total/synth/SWAP10/s0 0.00 0.00 -0.0% PASS
total/synth/SWAP11/s0 0.00 0.00 +0.4% PASS
total/synth/SWAP12/s0 0.00 0.00 -0.8% PASS
total/synth/SWAP13/s0 0.00 0.00 -0.0% PASS
total/synth/SWAP14/s0 0.00 0.00 +0.9% PASS
total/synth/SWAP15/s0 0.00 0.00 -0.6% PASS
total/synth/SWAP16/s0 0.00 0.00 +0.4% PASS
total/synth/SWAP2/s0 0.00 0.00 +0.6% PASS
total/synth/SWAP3/s0 0.00 0.00 +1.2% PASS
total/synth/SWAP4/s0 0.00 0.00 +0.5% PASS
total/synth/SWAP5/s0 0.00 0.00 -1.5% PASS
total/synth/SWAP6/s0 0.00 0.00 -0.3% PASS
total/synth/SWAP7/s0 0.00 0.00 -0.1% PASS
total/synth/SWAP8/s0 0.00 0.00 +0.2% PASS
total/synth/SWAP9/s0 0.00 0.00 +0.5% PASS
total/synth/XOR/b0 0.00 0.00 +0.8% PASS
total/synth/XOR/b1 0.00 0.00 -0.3% PASS
total/synth/loop_v1 8.41 8.53 +1.4% PASS
total/synth/loop_v2 8.46 8.47 +0.1% PASS

Summary: 193 benchmarks, 0 regressions


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