diff options
Diffstat (limited to 'scripts/fuzz_opt.py')
| -rwxr-xr-x | scripts/fuzz_opt.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/fuzz_opt.py b/scripts/fuzz_opt.py index 3e2d83e34..9ccdeb1e4 100755 --- a/scripts/fuzz_opt.py +++ b/scripts/fuzz_opt.py @@ -165,8 +165,13 @@ def randomize_fuzz_settings(): IMPORTANT_INITIAL_CONTENTS = [ + # Perenially-important passes os.path.join('lit', 'passes', 'optimize-instructions.wast'), os.path.join('passes', 'optimize-instructions_fuzz-exec.wast'), + + # Recently-added or modified passes. These can be added to and pruned + # frequently. + os.path.join('lit', 'passes', 'once-reduction.wast'), ] IMPORTANT_INITIAL_CONTENTS = [os.path.join(shared.get_test_dir('.'), t) for t in IMPORTANT_INITIAL_CONTENTS] @@ -1058,6 +1063,7 @@ opt_choices = [ ["--memory-packing"], ["--merge-blocks"], ['--merge-locals'], + ['--once-reduction'], ["--optimize-instructions"], ["--optimize-stack-ir"], ["--generate-stack-ir", "--optimize-stack-ir"], |