diff options
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 |