Tests: Rename some optimization tests

This commit is contained in:
Wilson Snyder 2025-10-25 10:57:39 -04:00
parent dd76a5b8ba
commit bd4743f420
6 changed files with 6 additions and 3 deletions

View File

@ -11,9 +11,11 @@ import vltest_bootstrap
test.scenarios('vlt')
test.top_filename = "t/t_balance_cats.v"
test.top_filename = "t/t_opt_balance_cats.v"
test.compile(verilator_flags2=["--stats", "-fno-func-opt"])
test.compile(verilator_flags2=[
"--stats", "-fno-func-opt", "-fno-func-opt-balance-cat", "-fno-func-opt-split-cat"
])
test.file_grep_not(test.stats, r'Optimizations, FuncOpt concat trees balances')
test.file_grep_not(test.stats, r'Optimizations, FuncOpt concat splits')

View File

@ -11,7 +11,7 @@ import vltest_bootstrap
test.scenarios('vlt')
test.top_filename = "t/t_balance_cats.v"
test.top_filename = "t/t_opt_balance_cats.v"
test.compile(verilator_flags2=[
"--stats", "--build", "--gate-stmts", "10000", "--expand-limit", "128", "--sc"

View File

@ -17,6 +17,7 @@ if test.vlt_all:
test.file_grep(test.stats, r'Optimizations, Lifetime assign deletions\s+(\d+)', 4)
test.file_grep(test.stats, r'Optimizations, Lifetime creset deletions\s+(\d+)', 1)
test.file_grep(test.stats, r'Optimizations, Lifetime constant prop\s+(\d+)', 5)
test.file_grep(test.stats, r'Optimizations, Lifetime postassign deletions\s+(\d+)', 1)
test.execute()