Skip to content
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

[InstCombine] Fix miscompile on GEP+load to icmp fold #628

Closed
wants to merge 2 commits into from
Closed

[InstCombine] Fix miscompile on GEP+load to icmp fold #628

wants to merge 2 commits into from

Conversation

vladimirradosavljevic
Copy link
Contributor

No description provided.

@vladimirradosavljevic
[InstCombine] Add pre-commit test for Fix miscompile on GEP+load to i…
b410b31 
…cmp fold

Add test where for folding GEP+load to icmp
(uint64_t)-1 is used instead of
-1 that is represented in 256 bits.

Signed-off-by: Vladimir Radosavljevic <vr@matterlabs.dev>
@vladimirradosavljevic
[InstCombine] Fix miscompile on GEP+load to icmp fold
95a8b42 
When constructing mask, use -1 that is
represented in 256 bits instead of
(uint64_t)-1 value.

Signed-off-by: Vladimir Radosavljevic <vr@matterlabs.dev>
@github-actions GitHub Actions
Copy link

Benchmark results:

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

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

╔═╡ Size (-%) ╞═════╡ EVMInterpreter M3B3 ╞═╗
║ Mean                                0.000 ║
║ Best                                0.000 ║
║ Worst                               0.000 ║
║ Total                                 NaN ║
╠═╡ Cycles (-%) ╞═══╡ EVMInterpreter M3B3 ╞═╣
║ Mean                                0.000 ║
║ Best                                0.000 ║
║ Worst                               0.000 ║
║ Total                               0.000 ║
╠═╡ Ergs (-%) ╞═════╡ EVMInterpreter M3B3 ╞═╣
║ Mean                                0.000 ║
║ Best                                0.000 ║
║ Worst                               0.000 ║
║ Total                               0.000 ║
╠═╡ Ergs/gas ╞══════╡ EVMInterpreter M3B3 ╞═╣
║ ADD                                66.750 ║
║ MUL                                38.850 ║
║ SUB                                66.750 ║
║ DIV                                47.250 ║
║ SDIV                               64.050 ║
║ MOD                                46.050 ║
║ SMOD                               61.650 ║
║ ADDMOD                             35.656 ║
║ MULMOD                             35.656 ║
║ EXP                                 8.838 ║
║ SIGNEXTEND                         44.850 ║
║ LT                                 70.750 ║
║ GT                                 70.750 ║
║ SLT                                94.750 ║
║ SGT                                92.750 ║
║ EQ                                 70.750 ║
║ ISZERO                             62.417 ║
║ AND                                64.750 ║
║ OR                                 66.750 ║
║ XOR                                66.750 ║
║ NOT                                58.417 ║
║ BYTE                               74.750 ║
║ SHL                                72.750 ║
║ SHR                                70.750 ║
║ SAR                                88.750 ║
║ SGT                                92.750 ║
║ SHA3                               28.647 ║
║ ADDRESS                            90.000 ║
║ BALANCE                            73.585 ║
║ ORIGIN                           1381.562 ║
║ CALLER                             90.000 ║
║ CALLVALUE                          90.000 ║
║ CALLDATALOAD                       60.750 ║
║ CALLDATASIZE                       90.125 ║
║ CALLDATACOPY                       70.200 ║
║ CODESIZE                           90.625 ║
║ CODECOPY                          145.226 ║
║ GASPRICE                         1384.188 ║
║ EXTCODESIZE                         5.107 ║
║ EXTCODECOPY                         5.199 ║
║ RETURNDATASIZE                     85.500 ║
║ RETURNDATACOPY                     54.444 ║
║ EXTCODEHASH                         8.342 ║
║ BLOCKHASH                         243.719 ║
║ COINBASE                         1384.562 ║
║ TIMESTAMP                        1381.562 ║
║ NUMBER                           1381.562 ║
║ PREVRANDAO                       1381.562 ║
║ GASLIMIT                         1387.562 ║
║ CHAINID                          1381.562 ║
║ SELFBALANCE                       653.250 ║
║ BASEFEE                          1378.562 ║
║ POP                                77.625 ║
║ MLOAD                              77.637 ║
║ MSTORE                             81.402 ║
║ MSTORE8                            87.363 ║
║ SLOAD                              27.086 ║
║ SSTORE                              9.059 ║
║ JUMP                               35.778 ║
║ JUMPI                              31.545 ║
║ PC                                 90.500 ║
║ MSIZE                              97.000 ║
║ GAS                                84.500 ║
║ JUMPDEST                          120.000 ║
║ PUSH0                              87.500 ║
║ PUSH1                              66.083 ║
║ PUSH2                              69.500 ║
║ PUSH4                              72.333 ║
║ PUSH5                              73.750 ║
║ PUSH6                              75.167 ║
║ PUSH7                              76.583 ║
║ PUSH8                              78.000 ║
║ PUSH9                              79.417 ║
║ PUSH10                             80.833 ║
║ PUSH11                             82.250 ║
║ PUSH12                             83.667 ║
║ PUSH13                             85.083 ║
║ PUSH14                             86.500 ║
║ PUSH15                             87.917 ║
║ PUSH16                             89.333 ║
║ PUSH17                             90.750 ║
║ PUSH18                             92.167 ║
║ PUSH19                             93.583 ║
║ PUSH20                             95.000 ║
║ PUSH21                             96.417 ║
║ PUSH22                             97.833 ║
║ PUSH23                             99.250 ║
║ PUSH24                            100.667 ║
║ PUSH25                            102.083 ║
║ PUSH26                            103.500 ║
║ PUSH27                            104.917 ║
║ PUSH28                            106.333 ║
║ PUSH29                            107.750 ║
║ PUSH30                            109.167 ║
║ PUSH31                            110.583 ║
║ PUSH32                            110.000 ║
║ DUP1                               60.417 ║
║ DUP2                               64.417 ║
║ DUP3                               64.417 ║
║ DUP4                               64.417 ║
║ DUP5                               64.417 ║
║ DUP6                               64.417 ║
║ DUP7                               64.417 ║
║ DUP8                               64.417 ║
║ DUP9                               62.417 ║
║ DUP10                              64.417 ║
║ DUP11                              64.417 ║
║ DUP12                              64.417 ║
║ DUP13                              64.417 ║
║ DUP14                              64.417 ║
║ DUP15                              64.417 ║
║ DUP16                              64.417 ║
║ SWAP1                              65.083 ║
║ SWAP2                              65.083 ║
║ SWAP3                              65.083 ║
║ SWAP4                              65.083 ║
║ SWAP5                              65.083 ║
║ SWAP6                              65.083 ║
║ SWAP7                              65.083 ║
║ SWAP8                              65.083 ║
║ SWAP9                              65.083 ║
║ SWAP10                             65.083 ║
║ SWAP11                             65.083 ║
║ SWAP12                             65.083 ║
║ SWAP13                             65.083 ║
║ SWAP14                             65.083 ║
║ SWAP15                             65.083 ║
║ SWAP16                             63.083 ║
║ CALL                               63.065 ║
║ STATICCALL                         63.028 ║
║ DELEGATECALL                       62.071 ║
║ CREATE                              5.507 ║
║ CREATE2                             7.770 ║
║ RETURN                              1.000 ║
║ REVERT                              1.000 ║
╠═╡ Ergs/gas (-%) ╞═╡ EVMInterpreter M3B3 ╞═╣
╚═══════════════════════════════════════════╝

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

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

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

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

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

@vladimirradosavljevic
Copy link
Contributor Author

Closing in favor of #630.

@vladimirradosavljevic vladimirradosavljevic deleted the fix_gep_load_to_icmp branch June 19, 2024 13:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@akiramenai akiramenai Awaiting requested review from akiramenai

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

Successfully merging this pull request may close these issues.
1 participant
@vladimirradosavljevic