diff options
author | Alon Zakai <azakai@google.com> | 2021-05-10 15:08:52 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-10 15:08:52 -0700 |
commit | 1c882c09fdf14317943235f60b6d1008c09aeefc (patch) | |
tree | 8f7b4557c43b836da81cc9f0108310ebb2fc4ee5 /scripts | |
parent | 08e0a3cdc5303f6906bb807de3ad9ed9e2cbdb51 (diff) | |
download | binaryen-1c882c09fdf14317943235f60b6d1008c09aeefc.tar.gz binaryen-1c882c09fdf14317943235f60b6d1008c09aeefc.tar.bz2 binaryen-1c882c09fdf14317943235f60b6d1008c09aeefc.zip |
Fuzz with maximal inlining some of the time (#3871)
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/fuzz_opt.py | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/scripts/fuzz_opt.py b/scripts/fuzz_opt.py index 5caede369..5b67367f3 100755 --- a/scripts/fuzz_opt.py +++ b/scripts/fuzz_opt.py @@ -1055,6 +1055,14 @@ def randomize_opt_flags(): # possibly converge. don't do this very often as it can be slow. if random.random() < 0.05: ret += ['--converge'] + # possibly inline all the things as much as possible. inlining that much may + # be realistic in some cases (on GC benchmarks it is very helpful), but + # also, inlining so much allows other optimizations to kick in, which + # increases coverage + # (the specific number here doesn't matter, but it is far higher than the + # wasm limitation on function body size which is 128K) + if random.random() < 0.5: + ret += ['-fimfs=99999999'] assert ret.count('--flatten') <= 1 return ret |