From 1c882c09fdf14317943235f60b6d1008c09aeefc Mon Sep 17 00:00:00 2001 From: Alon Zakai Date: Mon, 10 May 2021 15:08:52 -0700 Subject: Fuzz with maximal inlining some of the time (#3871) --- scripts/fuzz_opt.py | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'scripts') 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 -- cgit v1.2.3