feat: resolve Solidity jump patterns
#375Comparing
dani/sound-solidity-jumps-v2
(5e39ea4
) withmain
(bd333d0
)+55%
- Improvement
- 4
- Regression
- 5
- Untouched
- 62
Benchmarks
71 total
onchain_lm_v2/compile/translate
crates/revmc-cli/benches/bench.rs::benches::bench::onchain_lm_v2-52%
36.1 ms74.8 ms
usdc_proxy/compile/translate
crates/revmc-cli/benches/bench.rs::benches::bench::usdc_proxy-30%
5.8 ms8.3 ms
fiat_token/compile/translate
crates/revmc-cli/benches/bench.rs::benches::bench::fiat_token-28%
58.6 ms81.7 ms
curve_stableswap/compile/translate
crates/revmc-cli/benches/bench.rs::benches::bench::curve_stableswap-24%
11.6 ms15.2 ms
univ2_router/compile/translate
crates/revmc-cli/benches/bench.rs::benches::bench::univ2_router-14%
53.6 ms62.1 ms
burntpix/compile/jit
crates/revmc-cli/benches/bench.rs::benches::bench::burntpix×23
10,669.6 ms455.2 ms
burntpix/compile/translate
crates/revmc-cli/benches/bench.rs::benches::bench::burntpix×4.6
83 ms18.2 ms
erc20_transfer/compile/jit
crates/revmc-cli/benches/bench.rs::benches::bench::erc20_transfer×2.1
936.4 ms449.5 ms
weth/compile/jit
crates/revmc-cli/benches/bench.rs::benches::bench::weth+43%
471.2 ms330.4 ms
weth/compile/translate
crates/revmc-cli/benches/bench.rs::benches::bench::weth+6%
8.1 ms7.6 ms
airdrop/rt/interpreter
crates/revmc-cli/benches/bench.rs::benches::bench::airdrop+1%
22 µs21.7 µs
uniswap_v2_pair/rt/interpreter
crates/revmc-cli/benches/bench.rs::benches::bench::uniswap_v2_pair+1%
23.5 µs23.3 µs
weth/rt/jit
crates/revmc-cli/benches/bench.rs::benches::bench::weth+1%
32.1 µs31.7 µs
univ2_router/rt/jit
crates/revmc-cli/benches/bench.rs::benches::bench::univ2_router+1%
22.7 µs22.6 µs
eip2935/rt/jit
crates/revmc-cli/benches/bench.rs::benches::bench::eip2935+1%
19.9 µs19.8 µs
fiat_token/rt/interpreter
crates/revmc-cli/benches/bench.rs::benches::bench::fiat_token+1%
21.7 µs21.6 µs
usdc_proxy/rt/jit
crates/revmc-cli/benches/bench.rs::benches::bench::usdc_proxy0%
23.6 µs23.5 µs
fiat_token/rt/jit
crates/revmc-cli/benches/bench.rs::benches::bench::fiat_token0%
20.1 µs20 µs
bswap64/rt/jit
crates/revmc-cli/benches/bench.rs::benches::bench::bswap640%
20.2 µs20.1 µs
eip2935/rt/interpreter
crates/revmc-cli/benches/bench.rs::benches::bench::eip29350%
20.4 µs20.3 µs
bswap64_opt/rt/jit
crates/revmc-cli/benches/bench.rs::benches::bench::bswap64_opt0%
20.4 µs20.4 µs
uniswap_v2_pair/rt/jit
crates/revmc-cli/benches/bench.rs::benches::bench::uniswap_v2_pair0%
20.9 µs20.8 µs
factorial/rt/jit
crates/revmc-cli/benches/bench.rs::benches::bench::factorial0%
35.2 µs35 µs
erc20_transfer/compile/translate
crates/revmc-cli/benches/bench.rs::benches::bench::erc20_transfer0%
9.4 ms9.4 ms
univ2_router/rt/interpreter
crates/revmc-cli/benches/bench.rs::benches::bench::univ2_router0%
25.8 µs25.7 µs
Commits
Click on a commit to change the comparison rangeBase
main
bd333d0
-79.39%
test: keep opaque jump reachable
f375eac
10 days ago
by DaniPopes+0.19%
Merge branch 'dani/const-jumpi' into dani/sound-solidity-jumps-v2
7bd42f3
10 days ago
by DaniPopes+12.47%
Merge branch 'dani/const-jumpi' into dani/sound-solidity-jumps-v2
34638a1
10 days ago
by DaniPopes-0.03%
fix: invalidate suspect jumpi conditions
ab69ba9
10 days ago
by DaniPopes+0.24%
Merge remote-tracking branch 'origin/main' into dani/sound-solidity-jumps-v2
c224a0a
4 days ago
by DaniPopes+36.9%
perf: avoid redundant jump analysis
f2ee2c8
4 days ago
by DaniPopes+4.6%
perf: more fast paths
e8b84b9
4 days ago
by DaniPopes+71.46%
fix: retry unsplit block analysis
2704930
4 days ago
by DaniPopes-0.25%
fix: skip fallthrough join dedup
c3969f0
3 days ago
by DaniPopes+0.2%
Merge branch 'main' into dani/sound-solidity-jumps-v2
9e80341
3 days ago
by DaniPopes-0.14%
Merge remote-tracking branch 'origin' into dani/sound-solidity-jumps-v2
39bcf21
15 hours ago
by DaniPopes+8.39%
test: cover dedup fallthrough constants
5e39ea4
3 hours ago
by DaniPopes