summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlon Zakai <azakai@google.com>2023-10-18 15:22:33 -0700
committerGitHub <noreply@github.com>2023-10-18 15:22:33 -0700
commitc170fe7893fc05147de455e36d0a36b356b3f3db (patch)
treec9857411e3a8a4501e72706b55d3fba4adfe1530
parent45f5bd2f440d6db5737947434cecdc4ffa37f567 (diff)
downloadbinaryen-c170fe7893fc05147de455e36d0a36b356b3f3db.tar.gz
binaryen-c170fe7893fc05147de455e36d0a36b356b3f3db.tar.bz2
binaryen-c170fe7893fc05147de455e36d0a36b356b3f3db.zip
Fuzzer: Add missing simplify-globals* passes (#6025)
-rwxr-xr-xscripts/fuzz_opt.py2
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/fuzz_opt.py b/scripts/fuzz_opt.py
index 9e7b59329..649535329 100755
--- a/scripts/fuzz_opt.py
+++ b/scripts/fuzz_opt.py
@@ -1554,6 +1554,8 @@ opt_choices = [
("--rse",),
("--signature-pruning",),
("--signature-refining",),
+ ("--simplify-globals",),
+ ("--simplify-globals-optimizing",),
("--simplify-locals",),
("--simplify-locals-nonesting",),
("--simplify-locals-nostructure",),