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

Optimiser fuzzer: Disable reasoning based simplifier runs.

Browse Source
This commit is contained in:
Bhargava Shastry 2021-02-18 10:48:49 +01:00
parent c812d928fd
commit 91b7d60301
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)
{
string optimiserStep = step.first;
// Do not fuzz mainFunction or wordSizeTransform
// Do not fuzz mainFunction and wordSizeTransform
// because they do not preserve yul code semantics.
if (optimiserStep == "mainFunction" || optimiserStep == "wordSizeTransform")
// "Fullsuite" is fuzzed roughly three times more frequently than
// Do not fuzz reasoning based simplifier because
// 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.
return "fullSuite";
else