Skip to content

[CGP] Fix missing sign extension for base offset in optimizeMemoryInst #909

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

[CGP] Fix missing sign extension for base offset in optimizeMemoryInst #909

wants to merge 1 commit into from

Conversation

vladimirradosavljevic
Copy link
Contributor

No description provided.

@github-actions GitHub Actions
Copy link 

Results for: evm ir-llvm EVMInterpreter
╔═╡ Size (-%) ╞═══════════════════════╡ All E +M3B3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═════════════════════╡ All E +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═══════════════════════╡ All E +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═══════════════════════╡ All E +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═══════════════════════╡ All E +MzB3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═════════════════════╡ All E +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═══════════════════════╡ All E +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═══════════════════════╡ All E +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═══════════════════════╡ All Y +M3B3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═════════════════════╡ All Y +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═══════════════════════╡ All Y +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═══════════════════════╡ All Y +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═══════════════════════╡ All Y +MzB3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═════════════════════╡ All Y +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═══════════════════════╡ All Y +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═══════════════════════╡ All Y +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═════════════════╡ Real life E +M3B3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═══════════════╡ Real life E +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═════════════════╡ Real life E +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═════════════════╡ Real life E +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═════════════════╡ Real life E +MzB3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═══════════════╡ Real life E +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═════════════════╡ Real life E +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═════════════════╡ Real life E +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═════════════════╡ Real life Y +M3B3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═══════════════╡ Real life Y +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═════════════════╡ Real life Y +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═════════════════╡ Real life Y +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═════════════════╡ Real life Y +MzB3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═══════════════╡ Real life Y +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═════════════════╡ Real life Y +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═════════════════╡ Real life Y +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╚═════════════════════════════════════════════════════╝

@github-actions GitHub Actions
Copy link 

Results for: eravm ir-llvm zk_evm
╔═╡ Size (-%) ╞════════════╡ EVMInterpreter Y +M3B3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                           NaN ║
╠═╡ Cycles (-%) ╞══════════╡ EVMInterpreter Y +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞════════════╡ EVMInterpreter Y +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞════════════╡ EVMInterpreter Y +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs/gas ╞═════════════╡ EVMInterpreter Y +M3B3 ╞═╣
║ ADD                                          29.417 ║
║ MUL                                          17.650 ║
║ SUB                                          29.417 ║
║ DIV                                          20.050 ║
║ SDIV                                         38.050 ║
║ MOD                                          20.050 ║
║ SMOD                                         34.450 ║
║ ADDMOD                                       17.156 ║
║ MULMOD                                       17.156 ║
║ EXP                                           6.871 ║
║ SIGNEXTEND                                   20.050 ║
║ LT                                           33.417 ║
║ GT                                           33.417 ║
║ SLT                                          55.417 ║
║ SGT                                          55.417 ║
║ EQ                                           33.417 ║
║ ISZERO                                       29.083 ║
║ AND                                          29.417 ║
║ OR                                           29.417 ║
║ XOR                                          29.417 ║
║ NOT                                          25.083 ║
║ BYTE                                         39.417 ║
║ SHL                                          35.417 ║
║ SHR                                          35.417 ║
║ SAR                                          53.417 ║
║ SGT                                          55.417 ║
║ SHA3                                         22.212 ║
║ ADDRESS                                      43.625 ║
║ BALANCE                                      21.071 ║
║ ORIGIN                                      117.656 ║
║ CALLER                                       43.625 ║
║ CALLVALUE                                    43.625 ║
║ CALLDATALOAD                                 35.417 ║
║ CALLDATASIZE                                 44.125 ║
║ CALLDATACOPY                                 59.072 ║
║ CODESIZE                                     44.125 ║
║ CODECOPY                                     68.097 ║
║ GASPRICE                                    117.562 ║
║ EXTCODESIZE                                   1.293 ║
║ EXTCODECOPY                                   2.618 ║
║ RETURNDATASIZE                               46.500 ║
║ RETURNDATACOPY                               87.667 ║
║ EXTCODEHASH                                   4.351 ║
║ BLOCKHASH                                   238.119 ║
║ COINBASE                                    117.562 ║
║ TIMESTAMP                                   117.375 ║
║ NUMBER                                      117.375 ║
║ PREVRANDAO                                   44.125 ║
║ GASLIMIT                                    117.562 ║
║ CHAINID                                     117.188 ║
║ SELFBALANCE                                 636.375 ║
║ BASEFEE                                     117.375 ║
║ POP                                          41.125 ║
║ MLOAD                                        43.171 ║
║ MSTORE                                       54.752 ║
║ MSTORE8                                      64.206 ║
║ SLOAD                                        16.229 ║
║ SSTORE                                        3.944 ║
║ JUMP                                         14.333 ║
║ JUMPI                                        15.636 ║
║ PC                                           47.125 ║
║ MSIZE                                        47.625 ║
║ GAS                                          44.125 ║
║ JUMPDEST                                     63.250 ║
║ PUSH0                                        44.125 ║
║ PUSH1                                        36.500 ║
║ PUSH2                                        37.250 ║
║ PUSH4                                        38.750 ║
║ PUSH5                                        39.500 ║
║ PUSH6                                        40.250 ║
║ PUSH7                                        41.000 ║
║ PUSH8                                        41.750 ║
║ PUSH9                                        42.500 ║
║ PUSH10                                       43.250 ║
║ PUSH11                                       44.000 ║
║ PUSH12                                       44.750 ║
║ PUSH13                                       45.500 ║
║ PUSH14                                       46.250 ║
║ PUSH15                                       47.000 ║
║ PUSH16                                       47.750 ║
║ PUSH17                                       48.500 ║
║ PUSH18                                       49.250 ║
║ PUSH19                                       50.000 ║
║ PUSH20                                       50.750 ║
║ PUSH21                                       51.500 ║
║ PUSH22                                       52.250 ║
║ PUSH23                                       53.000 ║
║ PUSH24                                       53.750 ║
║ PUSH25                                       54.500 ║
║ PUSH26                                       55.250 ║
║ PUSH27                                       56.000 ║
║ PUSH28                                       56.750 ║
║ PUSH29                                       57.500 ║
║ PUSH30                                       58.250 ║
║ PUSH31                                       59.000 ║
║ PUSH32                                       59.750 ║
║ DUP1                                         31.417 ║
║ DUP2                                         37.750 ║
║ DUP3                                         37.750 ║
║ DUP4                                         37.750 ║
║ DUP5                                         37.750 ║
║ DUP6                                         37.750 ║
║ DUP7                                         37.750 ║
║ DUP8                                         37.750 ║
║ DUP9                                         37.750 ║
║ DUP10                                        37.750 ║
║ DUP11                                        37.750 ║
║ DUP12                                        37.750 ║
║ DUP13                                        37.750 ║
║ DUP14                                        37.750 ║
║ DUP15                                        37.750 ║
║ DUP16                                        37.750 ║
║ SWAP1                                        33.750 ║
║ SWAP2                                        33.750 ║
║ SWAP3                                        33.750 ║
║ SWAP4                                        33.750 ║
║ SWAP5                                        33.750 ║
║ SWAP6                                        33.750 ║
║ SWAP7                                        33.750 ║
║ SWAP8                                        33.750 ║
║ SWAP9                                        33.750 ║
║ SWAP10                                       33.750 ║
║ SWAP11                                       33.750 ║
║ SWAP12                                       33.750 ║
║ SWAP13                                       33.750 ║
║ SWAP14                                       33.750 ║
║ SWAP15                                       33.750 ║
║ SWAP16                                       33.750 ║
║ CALL                                          0.000 ║
║ STATICCALL                                    0.000 ║
║ DELEGATECALL                                  4.046 ║
║ CREATE                                        2.723 ║
║ CREATE2                                       3.838 ║
║ RETURN                                         -inf ║
║ REVERT                                         -inf ║
╠═╡ Ergs/gas (-%) ╞════════╡ EVMInterpreter Y +M3B3 ╞═╣
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞════════════╡ EVMInterpreter Y +MzB3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                           NaN ║
╠═╡ Cycles (-%) ╞══════════╡ EVMInterpreter Y +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞════════════╡ EVMInterpreter Y +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞════════════╡ EVMInterpreter Y +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═══════════════════════╡ All E +M3B3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═════════════════════╡ All E +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═══════════════════════╡ All E +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═══════════════════════╡ All E +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═══════════════════════╡ All E +MzB3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═════════════════════╡ All E +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═══════════════════════╡ All E +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═══════════════════════╡ All E +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═══════════════════════╡ All V +M3B3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═════════════════════╡ All V +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═══════════════════════╡ All V +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═══════════════════════╡ All V +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                           NaN ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═══════════════════════╡ All V +MzB3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═════════════════════╡ All V +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═══════════════════════╡ All V +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═══════════════════════╡ All V +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                           NaN ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═══════════════════════╡ All Y +M3B3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═════════════════════╡ All Y +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═══════════════════════╡ All Y +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═══════════════════════╡ All Y +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═══════════════════════╡ All Y +MzB3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═════════════════════╡ All Y +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═══════════════════════╡ All Y +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═══════════════════════╡ All Y +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞════════╡ Precompiles NoCodegen M3B3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞══════╡ Precompiles NoCodegen M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞════════╡ Precompiles NoCodegen M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞════════╡ Precompiles NoCodegen M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                           NaN ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞════════╡ Precompiles NoCodegen MzB3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞══════╡ Precompiles NoCodegen MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞════════╡ Precompiles NoCodegen MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞════════╡ Precompiles NoCodegen MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                           NaN ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═════════════════╡ Real life E +M3B3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═══════════════╡ Real life E +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═════════════════╡ Real life E +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═════════════════╡ Real life E +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                           NaN ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═════════════════╡ Real life E +MzB3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═══════════════╡ Real life E +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═════════════════╡ Real life E +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═════════════════╡ Real life E +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                           NaN ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═════════════════╡ Real life V +M3B3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═══════════════╡ Real life V +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═════════════════╡ Real life V +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═════════════════╡ Real life V +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                           NaN ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═════════════════╡ Real life V +MzB3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═══════════════╡ Real life V +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═════════════════╡ Real life V +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═════════════════╡ Real life V +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                           NaN ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═════════════════╡ Real life Y +M3B3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═══════════════╡ Real life Y +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═════════════════╡ Real life Y +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═════════════════╡ Real life Y +M3B3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                           NaN ║
╚═════════════════════════════════════════════════════╝

╔═╡ Size (-%) ╞═════════════════╡ Real life Y +MzB3 ╞═╗
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Cycles (-%) ╞═══════════════╡ Real life Y +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠═╡ Ergs (-%) ╞═════════════════╡ Real life Y +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                         0.000 ║
╠══╡ Gas (-%) ╞═════════════════╡ Real life Y +MzB3 ╞═╣
║ Best                                          0.000 ║
║ Worst                                         0.000 ║
║ Total                                           NaN ║
╚═════════════════════════════════════════════════════╝

akiramenai
akiramenai reviewed Sep 30, 2025
View reviewed changes
@codecov Codecov
Copy link

codecov bot commented Sep 30, 2025 •
edited
Loading

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 30.91%. Comparing base (0d19eb1) to head (0bfbd3e).

Additional details and impacted files 
@@           Coverage Diff           @@
##             main     #909   +/-   ##
=======================================
  Coverage   30.91%   30.91%           
=======================================
  Files        2430     2430           
  Lines      806276   806276           
  Branches   176487   176487           
=======================================
+ Hits       249277   249295   +18     
+ Misses     513109   513084   -25     
- Partials    43890    43897    +7

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
  • 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

@github-actions GitHub Actions
Copy link

github-actions bot commented Sep 30, 2025 •
edited
Loading

📊 Excel Report Available

Benchmarks measured for:

  • solx candidate version: solx, LLVM-based Solidity compiler for the EVM v0.1.3, LLVM revision: v1.0.2, LLVM build: 0bfbd3e2fec7e0103bc5f8d6e289564833ce3224
  • solx ToT version: solx, LLVM-based Solidity compiler for the EVM v0.1.3, LLVM revision: v1.0.2, LLVM build: 0d19eb1200af4d5a7d4bc855b6bd575aecce43f4
  • solx latest release version: solx, LLVM-based Solidity compiler for the EVM v0.1.2, LLVM revision: v1.0.2, LLVM build: aec023355f43d8ece02249360ba84e749fb5cb3f
  • solc version: 0.8.30

➡️ Download Excel Report

@vladimirradosavljevic
[CGP] Fix missing sign extension for base offset in optimizeMemoryInst
0bfbd3e 
If we have integers larger than 64-bit we need to
explicitly sign extend them, otherwise we will get
wrong zero extended values.

Signed-off-by: Vladimir Radosavljevic <[email protected]>
@github-actions GitHub Actions
Copy link

github-actions bot commented Oct 3, 2025

📊 evm compiler-tester excel report

Benchmarks measured for:

  • target machine: evm
  • toolchain: ir-llvm
  • environment: EVMInterpreter

➡️ Download Excel Report

@github-actions GitHub Actions
Copy link

github-actions bot commented Oct 3, 2025

📊 eravm compiler-tester excel report

Benchmarks measured for:

  • target machine: eravm
  • toolchain: ir-llvm
  • environment: zk_evm

➡️ Download Excel Report

@github-actions GitHub Actions
Copy link

github-actions bot commented Oct 3, 2025

Project Mode Compiled (solc / solx / Total) Passed (solc / solx / Total)
openzeppelin default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 382 / 382 / 382 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 316 / 316 / 318
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 382 / 382 / 382 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 316 / 316 / 318
lil-web3 default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 20 / 20 / 20 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 68 / 68 / 68
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 20 / 20 / 20 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 66 / 68 / 68
maple-erc20 default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 28 / 28 / 28 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 29 / 29 / 29
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 28 / 28 / 28 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 29 / 29 / 29
diamonds default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 17 / 17 / 17 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 1 / 1 / 1
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 17 / 17 / 17 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 1 / 1 / 1
rollcall default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 64 / 64 / 64 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 14 / 14 / 14
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 64 / 64 / 64 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 14 / 14 / 14
playpen default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 43 / 43 / 43 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 6 / 6 / 9
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 43 / 43 / 43 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 6 / 6 / 9
solmate default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 60 / 60 / 60 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 55 / 55 / 69
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 60 / 60 / 60 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 55 / 55 / 69
prb-math default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 106 / 106 / 106 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 323 / 323 / 323
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 106 / 106 / 106 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 323 / 323 / 323
solady default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 208 / 208 / 208 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 1571 / 1571 / 1571
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 208 / 208 / 208 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 1571 / 1571 / 1571
unix default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 21 / 21 / 21 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 2 / 2 / 3
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 21 / 21 / 21 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 0 / 2 / 0
foundry-upgrades default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 22 / 22 / 22 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 3 / 3 / 3
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 22 / 22 / 22 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 3 / 3 / 3
art-gobblers default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 56 / 56 / 56 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 127 / 127 / 127
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 56 / 56 / 56 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 121 / 121 / 127
lens-core default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 320 / 320 / 320 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 0 / 1876 / 0
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 320 / 320 / 320 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 0 / 1877 / 0
balance-snapshot default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 20 / 20 / 20 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 5 / 5 / 5
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 20 / 20 / 20 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 5 / 5 / 5
diamond-foundry default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 26 / 26 / 26 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 40 / 40 / 44
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 26 / 26 / 26 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 40 / 40 / 44
forge-std default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 50 / 50 / 50 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 186 / 186 / 194
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 50 / 50 / 50 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 186 / 186 / 194
tokenlon default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 121 / 121 / 121 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 53 / 53 / 67
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 121 / 121 / 121 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 53 / 53 / 67
uniswap-v4 default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 160 / 160 / 160 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 598 / 598 / 598
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 160 / 160 / 160 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 598 / 598 / 598
beefy default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 164 / 164 / 164 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 2 / 2 / 34
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 164 / 164 / 164 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 2 / 2 / 34
gov-of-venice default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 25 / 25 / 25 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 25 / 25 / 26
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 25 / 25 / 25 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 24 / 25 / 26
cicada default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 23 / 23 / 23 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 0 / 546 / 0
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 23 / 23 / 23 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 0 / 546 / 0
lens-v3 default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 240 / 240 / 240 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 662 / 662 / 663
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 240 / 240 / 240 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 0 / 662 / 0
morpho-blue default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 74 / 74 / 74 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 145 / 145 / 145
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 74 / 74 / 74 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 145 / 145 / 145
aave-v3 default 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 473 / 473 / 473 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 980 / 980 / 980
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 473 / 473 / 473 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 979 / 980 / 980

@github-actions GitHub Actions
Copy link

github-actions bot commented Oct 3, 2025

Project Mode Compile (solx/solc/Δs/Δ%) Run (solx/solc/Δs/Δ%) Size warnings (solx/solc)
openzeppelin default 14.53s / 18.82s / -4.29s / -23% 📉 2.65s / 3.07s / -0.43s / -14% 📉 2 / 3
viaIR 15.71s / 62.15s / -46.44s / -75% 📉 2.66s / 3.37s / -0.71s / -21% 📉 2 / 3
lil-web3 default 2.75s / 2.44s / +0.31s / +13% 📈 0.17s / 0.16s / +0.01s / +6% 📈 0 / 0
viaIR 2.21s / 11.60s / -9.39s / -81% 📉 0.16s / 0.15s / +0.01s / +7% 📈 1 / 1
maple-erc20 default 2.40s / 1.90s / +0.51s / +27% 📈 0.20s / 0.20s / +0.00s / +1% ➖ 0 / 0
viaIR 1.88s / 5.51s / -3.63s / -66% 📉 0.21s / 0.20s / +0.01s / +3% ➖ 0 / 0
diamonds default 2.15s / 1.08s / +1.07s / +99% 📈 0.52s / 0.50s / +0.01s / +2% ➖ 0 / 0
viaIR 1.71s / 2.86s / -1.15s / -40% 📉 0.51s / 0.50s / +0.01s / +3% ➖ 0 / 0
rollcall default 2.88s / 2.90s / -0.02s / -1% ➖ 0.18s / 0.17s / +0.01s / +5% ➖ 0 / 2
viaIR 2.52s / 10.98s / -8.46s / -77% 📉 0.18s / 0.18s / +0.00s / +2% ➖ 1 / 2
playpen default 2.70s / 1.90s / +0.80s / +42% 📈 0.19s / 0.18s / +0.01s / +4% ➖ 0 / 6
viaIR 2.25s / 7.43s / -5.18s / -70% 📉 0.19s / 0.18s / +0.01s / +6% 📈 0 / 6
solmate default 9.06s / 5.78s / +3.28s / +57% 📈 0.15s / 0.14s / +0.01s / +5% ➖ 2 / 7
viaIR 5.31s / 32.93s / -27.62s / -84% 📉 0.15s / 0.14s / +0.00s / +2% ➖ 4 / 9
prb-math default 6.32s / 6.80s / -0.48s / -7% 📉 0.22s / 0.20s / +0.01s / +6% 📈 0 / 0
viaIR 7.77s / 31.70s / -23.93s / -75% 📉 0.22s / 0.21s / +0.01s / +3% ➖ 0 / 0
solady default 21.96s / 26.85s / -4.89s / -18% 📉 0.72s / 0.71s / +0.00s / +0% ➖ 19 / 21
viaIR 21.54s / 165.15s / -143.60s / -87% 📉 0.73s / 0.74s / -0.01s / -1% ➖ 25 / 22
unix default 2.61s / 1.64s / +0.97s / +59% 📈 0.20s / 0.20s / +0.00s / +1% ➖ 0 / 1
viaIR 2.13s / 4.57s / -2.45s / -53% 📉 0.21s / 0.61s / -0.39s / -65% 📉 0 / 0
foundry-upgrades default 1.30s / 0.99s / +0.31s / +31% 📈 0.19s / 0.17s / +0.01s / +9% 📈 0 / 0
viaIR 1.07s / 2.67s / -1.60s / -60% 📉 0.18s / 0.17s / +0.01s / +6% 📈 0 / 0
art-gobblers default 8.52s / 4.84s / +3.67s / +76% 📈 0.61s / 0.73s / -0.12s / -16% 📉 1 / 19
viaIR 6.43s / 26.33s / -19.89s / -76% 📉 0.62s / 0.69s / -0.07s / -10% 📉 1 / 22
lens-core default 105.99s / 11.22s / +94.77s / +845% 📈 3.79s / 13.89s / -10.10s / -73% 📉 85 / 0
viaIR 72.10s / 498.14s / -426.04s / -86% 📉 3.83s / 499.08s / -495.26s / -99% 📉 83 / 0
balance-snapshot default 2.25s / 0.93s / +1.32s / +142% 📈 0.14s / 0.14s / +0.00s / +1% ➖ 0 / 0
viaIR 1.84s / 2.91s / -1.07s / -37% 📉 0.15s / 0.14s / +0.01s / +5% 📈 0 / 0
diamond-foundry default 3.27s / 2.67s / +0.59s / +22% 📈 0.16s / 0.15s / +0.00s / +3% ➖ 0 / 1
viaIR 2.01s / 6.37s / -4.36s / -68% 📉 0.18s / 0.18s / +0.00s / +0% ➖ 0 / 0
forge-std default 10.31s / 8.56s / +1.75s / +20% 📈 0.44s / 0.50s / -0.05s / -10% 📉 7 / 7
viaIR 7.97s / 37.50s / -29.53s / -79% 📉 0.40s / 1.73s / -1.33s / -77% 📉 8 / 8
tokenlon default 18.67s / 19.99s / -1.32s / -7% 📉 0.32s / 0.33s / -0.02s / -5% ➖ 10 / 26
viaIR 12.40s / 98.25s / -85.86s / -87% 📉 0.32s / 0.32s / +0.00s / +1% ➖ 12 / 28
uniswap-v4 default 23.21s / 18.56s / +4.65s / +25% 📈 2.85s / 2.79s / +0.07s / +2% ➖ 4 / 33
viaIR 17.26s / 115.58s / -98.32s / -85% 📉 2.82s / 2.82s / +0.00s / +0% ➖ 7 / 35
beefy default 17.87s / 21.37s / -3.50s / -16% 📉 0.66s / 0.66s / +0.00s / +0% ➖ 14 / 27
viaIR 15.59s / 108.22s / -92.63s / -86% 📉 0.66s / 0.65s / +0.01s / +1% ➖ 16 / 26
gov-of-venice default 5.49s / 3.83s / +1.66s / +43% 📈 0.48s / 0.58s / -0.09s / -16% 📉 2 / 10
viaIR 3.59s / 26.24s / -22.66s / -86% 📉 0.48s / 0.56s / -0.08s / -14% 📉 2 / 10
lens-v3 default 77.44s / 55.46s / +21.98s / +40% 📈 0.61s / 0.72s / -0.11s / -15% 📉 32 / 60
viaIR 48.36s / 10.79s / +37.57s / +348% 📈 0.65s / 14.07s / -13.42s / -95% 📉 33 / 0
morpho-blue default 9.91s / 11.93s / -2.02s / -17% 📉 0.23s / 0.23s / -0.00s / -0% ➖ 6 / 34
viaIR 7.89s / 66.57s / -58.67s / -88% 📉 0.24s / 0.23s / +0.01s / +3% ➖ 9 / 33
aave-v3 default 228.89s / 121.73s / +107.16s / +88% 📈 1.73s / 1.80s / -0.07s / -4% ➖ 82 / 164
viaIR 133.02s / 1030.45s / -897.43s / -87% 📉 1.73s / 1.77s / -0.04s / -2% ➖ 84 / 164

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@akiramenai akiramenai akiramenai left review comments

@PavelKopyl PavelKopyl Awaiting requested review from PavelKopyl

At least 1 approving review is required to merge this pull request.

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@vladimirradosavljevic @akiramenai