diff options
author | Alon Zakai <azakai@google.com> | 2023-03-29 13:51:16 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-03-29 13:51:16 -0700 |
commit | 1343476a53c6b7a7b955e8e44971bc520fd937d5 (patch) | |
tree | 1086f765e629e2025f56e1c7c09256b33100d9c2 | |
parent | b9b5f162ca8bf5b899ff0f0351491d7d403d7ed9 (diff) | |
download | binaryen-1343476a53c6b7a7b955e8e44971bc520fd937d5.tar.gz binaryen-1343476a53c6b7a7b955e8e44971bc520fd937d5.tar.bz2 binaryen-1343476a53c6b7a7b955e8e44971bc520fd937d5.zip |
Fuzz partial-inlining-ifs (#5600)
-rwxr-xr-x | scripts/fuzz_opt.py | 4 |
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] |