Skip to content

[EVM][CVP] Disable narrowing of div and rem instructions #912

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
Draft
wants to merge 1 commit into
base: main
Choose a base branch
from
Draft

[EVM][CVP] Disable narrowing of div and rem instructions #912

wants to merge 1 commit into from

Conversation

@vladimirradosavljevic
Copy link
Contributor

This is not profitable for us, since it will introduce more instructions.

@vladimirradosavljevic
[EVM][CVP] Disable narrowing of div and rem instructions
97c95cb 
This is not profitable for us, since it will introduce
more instructions.

Signed-off-by: Vladimir Radosavljevic <[email protected]>
@codecov
Copy link

codecov bot commented Oct 3, 2025

Codecov Report

❌ Patch coverage is 66.66667% with 2 lines in your changes missing coverage. Please review.
✅ Project coverage is 30.91%. Comparing base (0d19eb1) to head (97c95cb).

Files with missing lines Patch % Lines
...b/Transforms/Scalar/CorrelatedValuePropagation.cpp 66.66% 1 Missing and 1 partial ⚠️
Additional details and impacted files 
@@            Coverage Diff             @@
##             main     #912      +/-   ##
==========================================
- Coverage   30.91%   30.91%   -0.01%     
==========================================
  Files        2430     2430              
  Lines      806276   806282       +6     
  Branches   176487   176489       +2     
==========================================
  Hits       249277   249277              
- Misses     513109   513122      +13     
+ Partials    43890    43883       -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
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
Copy link

github-actions bot commented Oct 3, 2025

📊 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: 97c95cbf20fb050dc286bb9b02496fa98af5b73c
  • 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

@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 / 1553 / 1571
viaIR 🟩🟩🟩🟩🟩🟩🟩🟩🟩🟩 208 / 208 / 208 🟥🟥🟥🟥🟥🟥🟥🟥🟥⬜ 1571 / 1553 / 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
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 16.64s / 21.15s / -4.52s / -21% 📉 2.80s / 3.30s / -0.49s / -15% 📉 2 / 3
viaIR 17.53s / 62.17s / -44.64s / -72% 📉 2.92s / 3.59s / -0.67s / -19% 📉 2 / 3
lil-web3 default 3.03s / 2.54s / +0.48s / +19% 📈 0.18s / 0.17s / +0.01s / +3% ➖ 0 / 0
viaIR 2.51s / 11.62s / -9.11s / -78% 📉 0.19s / 0.18s / +0.01s / +5% 📈 1 / 1
maple-erc20 default 2.44s / 2.05s / +0.39s / +19% 📈 0.24s / 0.23s / +0.01s / +4% ➖ 0 / 0
viaIR 2.14s / 5.53s / -3.39s / -61% 📉 0.23s / 0.22s / +0.01s / +5% ➖ 0 / 0
diamonds default 2.16s / 1.07s / +1.09s / +101% 📈 0.55s / 0.54s / +0.01s / +2% ➖ 0 / 0
viaIR 1.81s / 2.94s / -1.12s / -38% 📉 0.54s / 0.55s / -0.01s / -3% ➖ 0 / 0
rollcall default 2.88s / 3.01s / -0.13s / -4% ➖ 0.17s / 0.19s / -0.02s / -10% 📉 0 / 2
viaIR 2.57s / 10.62s / -8.05s / -76% 📉 0.18s / 0.17s / +0.01s / +7% 📈 1 / 2
playpen default 2.75s / 1.95s / +0.81s / +41% 📈 0.19s / 0.19s / -0.00s / -2% ➖ 0 / 6
viaIR 2.24s / 7.62s / -5.38s / -71% 📉 0.20s / 0.20s / +0.00s / +1% ➖ 0 / 6
solmate default 8.99s / 5.73s / +3.26s / +57% 📈 0.15s / 0.14s / +0.01s / +7% 📈 2 / 7
viaIR 5.28s / 32.90s / -27.62s / -84% 📉 0.15s / 0.14s / +0.00s / +2% ➖ 4 / 9
prb-math default 6.45s / 6.92s / -0.47s / -7% 📉 0.22s / 0.21s / +0.01s / +4% ➖ 0 / 0
viaIR 7.72s / 31.79s / -24.07s / -76% 📉 0.21s / 0.21s / +0.00s / +1% ➖ 0 / 0
solady default 22.08s / 26.56s / -4.48s / -17% 📉 0.70s / 0.72s / -0.01s / -2% ➖ 19 / 21
viaIR 20.64s / 160.21s / -139.57s / -87% 📉 0.74s / 0.72s / +0.02s / +2% ➖ 25 / 22
unix default 2.28s / 1.52s / +0.76s / +50% 📈 0.17s / 0.16s / +0.01s / +4% ➖ 0 / 1
viaIR 1.91s / 4.25s / -2.34s / -55% 📉 0.16s / 0.55s / -0.39s / -71% 📉 0 / 0
foundry-upgrades default 1.16s / 0.91s / +0.25s / +28% 📈 0.15s / 0.14s / +0.01s / +5% ➖ 0 / 0
viaIR 0.96s / 2.45s / -1.49s / -61% 📉 0.15s / 0.14s / +0.01s / +7% 📈 0 / 0
art-gobblers default 7.97s / 4.64s / +3.33s / +72% 📈 0.59s / 0.67s / -0.08s / -12% 📉 1 / 19
viaIR 5.91s / 22.37s / -16.46s / -74% 📉 0.58s / 0.65s / -0.08s / -12% 📉 1 / 22
lens-core default 103.87s / 10.70s / +93.17s / +871% 📈 3.63s / 13.40s / -9.77s / -73% 📉 85 / 0
viaIR 70.54s / 448.71s / -378.17s / -84% 📉 3.62s / 448.92s / -445.30s / -99% 📉 83 / 0
balance-snapshot default 2.06s / 0.89s / +1.17s / +131% 📈 0.13s / 0.12s / +0.00s / +3% ➖ 0 / 0
viaIR 1.70s / 2.57s / -0.87s / -34% 📉 0.13s / 0.12s / +0.01s / +4% ➖ 0 / 0
diamond-foundry default 3.30s / 2.40s / +0.90s / +37% 📈 0.16s / 0.15s / +0.01s / +7% 📈 0 / 1
viaIR 2.42s / 7.08s / -4.65s / -66% 📉 0.16s / 0.15s / +0.01s / +6% 📈 0 / 0
forge-std default 10.86s / 8.25s / +2.61s / +32% 📈 0.55s / 0.47s / +0.08s / +16% 📈 7 / 7
viaIR 7.55s / 40.01s / -32.46s / -81% 📉 0.38s / 1.13s / -0.75s / -66% 📉 8 / 8
tokenlon default 18.73s / 19.91s / -1.18s / -6% 📉 0.32s / 0.33s / -0.01s / -4% ➖ 10 / 26
viaIR 12.31s / 102.10s / -89.78s / -88% 📉 0.31s / 0.33s / -0.02s / -5% ➖ 12 / 28
uniswap-v4 default 22.64s / 18.26s / +4.38s / +24% 📈 2.77s / 2.72s / +0.05s / +2% ➖ 4 / 33
viaIR 16.05s / 106.51s / -90.47s / -85% 📉 2.76s / 2.76s / -0.01s / -0% ➖ 7 / 35
beefy default 16.99s / 21.02s / -4.03s / -19% 📉 0.63s / 0.64s / -0.01s / -2% ➖ 14 / 27
viaIR 14.23s / 103.07s / -88.84s / -86% 📉 0.65s / 0.63s / +0.02s / +3% ➖ 16 / 26
gov-of-venice default 5.13s / 3.61s / +1.52s / +42% 📈 0.45s / 0.53s / -0.09s / -16% 📉 2 / 10
viaIR 3.48s / 23.95s / -20.46s / -85% 📉 0.47s / 0.51s / -0.05s / -9% 📉 2 / 10
lens-v3 default 74.53s / 49.61s / +24.91s / +50% 📈 0.61s / 0.63s / -0.02s / -3% ➖ 32 / 60
viaIR 45.22s / 10.30s / +34.92s / +339% 📈 0.62s / 12.02s / -11.40s / -95% 📉 33 / 0
morpho-blue default 9.64s / 11.61s / -1.97s / -17% 📉 0.22s / 0.22s / +0.00s / +0% ➖ 6 / 34
viaIR 7.83s / 64.63s / -56.80s / -88% 📉 0.22s / 0.22s / -0.00s / -1% ➖ 9 / 33
aave-v3 default 214.43s / 116.85s / +97.59s / +84% 📈 1.64s / 1.75s / -0.11s / -7% 📉 82 / 164
viaIR 126.78s / 950.46s / -823.68s / -87% 📉 1.68s / 1.66s / +0.02s / +1% ➖ 84 / 164

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

Reviewers

No reviews

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