diff options
author | Alon Zakai <azakai@google.com> | 2023-05-30 17:07:28 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-05-30 17:07:28 -0700 |
commit | 3b0b011b36797388a379da85b11e55830906cf0d (patch) | |
tree | 0d4a3110a8fe9304130fc012e330a870088890b0 /scripts/fuzz_opt.py | |
parent | 26ad3ffc326d54f893eee3f1d520b8f4c1cbfe11 (diff) | |
download | binaryen-3b0b011b36797388a379da85b11e55830906cf0d.tar.gz binaryen-3b0b011b36797388a379da85b11e55830906cf0d.tar.bz2 binaryen-3b0b011b36797388a379da85b11e55830906cf0d.zip |
StackIR: Remove nops (#5746)
No nop instruction is necessary in wasm, so in StackIR we can simply
remove them all.
Fixes #5745
Diffstat (limited to 'scripts/fuzz_opt.py')
-rwxr-xr-x | scripts/fuzz_opt.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/fuzz_opt.py b/scripts/fuzz_opt.py index 18bd95828..3039e2bd8 100755 --- a/scripts/fuzz_opt.py +++ b/scripts/fuzz_opt.py @@ -1527,6 +1527,8 @@ opt_choices = [ ("--optimize-instructions",), ("--optimize-stack-ir",), ("--generate-stack-ir", "--optimize-stack-ir",), + # the full lifecycle of stack IR: generate, optimize, and write (and read) + ("--generate-stack-ir", "--optimize-stack-ir", "--roundtrip"), ("--pick-load-signs",), ("--precompute",), ("--precompute-propagate",), |