cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge pull request #10974 from ethereum/disable-reasoning-simplifier-fuzzing

Browse Source 
Optimiser fuzzer: Disable  reasoning based simplifier runs.
This commit is contained in:
Bhargava Shastry 2021-02-18 11:55:19 +01:00 committed by GitHub
commit 5c6633f975
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
test/libyul/YulOptimizerTestCommon.cpp
View File

@ -390,10 +390,16 @@ string YulOptimizerTestCommon::randomOptimiserStep(unsigned _seed)
if (count == idx) if (count == idx)
{ {
string optimiserStep = step.first; string optimiserStep = step.first;
// Do not fuzz mainFunction or wordSizeTransform // Do not fuzz mainFunction and wordSizeTransform
// because they do not preserve yul code semantics. // because they do not preserve yul code semantics.
if (optimiserStep == "mainFunction" || optimiserStep == "wordSizeTransform") // Do not fuzz reasoning based simplifier because
// "Fullsuite" is fuzzed roughly three times more frequently than // it can sometimes drain memory.
if (
optimiserStep == "mainFunction" ||
optimiserStep == "wordSizeTransform" ||
optimiserStep == "reasoningBasedSimplifier"
)
// "Fullsuite" is fuzzed roughly four times more frequently than
// other steps because of the filtering in place above. // other steps because of the filtering in place above.
return "fullSuite"; return "fullSuite";
else else