solc version: 0.8.25-seqbench.2024.2.14+commit.a2cabcb9.mod.Linux.g++
# Default sequence from solc 0.8.24 with the big loop replaced with replaced
# with a looping each component individually.
Kamil Śliwak cameel
cameel
/ solc-seqbench-2024-02-26-sequence-small-loops.md
Created
February 26, 2024 12:54
solc-seqbench report 2024-02-26 sequence: small loops
cameel
/ solc-seqbench-2024-02-26-sequence-always-ssa-min.md
Created
February 26, 2024 12:45
solc-seqbench report 2024-02-26 sequence: always-ssa-min
cameel
/ solc-seqbench-2024-02-26-sequence-single-pass.md
Created
February 26, 2024 12:44
solc-seqbench report 2024-02-26 sequence: single-pass
cameel
/ solc-seqbench-2024-02-26-sequence-default.md
Last active
February 26, 2024 13:06
solc-seqbench report 2024-02-26 sequence: default
cameel
/ solc-seqbench-intro-and-initial-results.md
Last active
February 21, 2024 14:16
solc-seqbench intro and initial results
https://github.com/cameel/solc-seqbench
- Define inputs
- optimizer sequences
- contracts
- sequences of external calls with parameters
cameel
/ single-pass.txt
Last active
February 21, 2024 14:18
solc-seqbench single-pass/deposit_contract/soltest-input 0.8.25-seqbench.2024.2.14+commit.a2cabcb9
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Default sequence from solc 0.8.24 with only a single iteration of the main loop | |
| dhfoDgvulfnTUtnIf # None of these can make stack problems worse | |
| xa[r]EscLM # Turn into SSA and simplify | |
| cCTUtTOntnfDIul # Perform structural simplification | |
| Lcul # Simplify again | |
| Vcul [j] # Reverse SSA | |
| # should have good "compilability" property here. |
cameel
/ always-ssa-min.txt
Created
February 21, 2024 13:50
solc-seqbench always-ssa-min/deposit_contract/soltest-input solc 0.8.25-seqbench.2024.2.14+commit.a2cabcb9
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Default sequence from solc 0.8.24 adjusted to stay in SSA form instead of reversing it in each cycle. | |
| # Minimal version - only removes the `Vcul [j]` bit. | |
| dhfoDgvulfnTUtnIf # None of these can make stack problems worse | |
| [ | |
| xa[r]EscLM # Turn into SSA and simplify | |
| cCTUtTOntnfDIul # Perform structural simplification | |
| Lcul # Simplify again | |
| # should have good "compilability" property here. |