summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorAlon Zakai <azakai@google.com>2021-05-10 15:08:52 -0700
committerGitHub <noreply@github.com>2021-05-10 15:08:52 -0700
commit1c882c09fdf14317943235f60b6d1008c09aeefc (patch)
tree8f7b4557c43b836da81cc9f0108310ebb2fc4ee5 /scripts
parent08e0a3cdc5303f6906bb807de3ad9ed9e2cbdb51 (diff)
downloadbinaryen-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-xscripts/fuzz_opt.py8
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