summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlon Zakai <azakai@google.com>2023-03-29 13:51:16 -0700
committerGitHub <noreply@github.com>2023-03-29 13:51:16 -0700
commit1343476a53c6b7a7b955e8e44971bc520fd937d5 (patch)
tree1086f765e629e2025f56e1c7c09256b33100d9c2
parentb9b5f162ca8bf5b899ff0f0351491d7d403d7ed9 (diff)
downloadbinaryen-1343476a53c6b7a7b955e8e44971bc520fd937d5.tar.gz
binaryen-1343476a53c6b7a7b955e8e44971bc520fd937d5.tar.bz2
binaryen-1343476a53c6b7a7b955e8e44971bc520fd937d5.zip
Fuzz partial-inlining-ifs (#5600)
-rwxr-xr-xscripts/fuzz_opt.py4
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/fuzz_opt.py b/scripts/fuzz_opt.py
index 5fe946341..bb472c302 100755
--- a/scripts/fuzz_opt.py
+++ b/scripts/fuzz_opt.py
@@ -1516,6 +1516,10 @@ def randomize_opt_flags():
# wasm limitation on function body size which is 128K)
if random.random() < 0.5:
ret += ['-fimfs=99999999']
+ # the default for partial-inlining-ifs is 0, so also test with a realistic
+ # value (the same used in j2wasm atm)
+ if random.random() < 0.5:
+ ret += ['-pii=4']
# test both closed and open world
if CLOSED_WORLD:
ret += [CLOSED_WORLD_FLAG]