diff options
Diffstat (limited to 'scripts/fuzz_opt.py')
| -rwxr-xr-x | scripts/fuzz_opt.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/fuzz_opt.py b/scripts/fuzz_opt.py index a4adb7b79..4087abed1 100755 --- a/scripts/fuzz_opt.py +++ b/scripts/fuzz_opt.py @@ -1566,7 +1566,10 @@ opt_choices = [ ("--memory-packing",), ("--merge-blocks",), ('--merge-locals',), - ('--monomorphize',), + # test a few monomorphization levels, and also -always + ('--monomorphize', '--pass-arg=monomorphize-min-benefit@0'), + ('--monomorphize', '--pass-arg=monomorphize-min-benefit@50'), + ('--monomorphize', '--pass-arg=monomorphize-min-benefit@95'), ('--monomorphize-always',), ('--no-stack-ir',), ('--once-reduction',), |