From c44d24d9fd9baa47d68b5af6915d160417203d01 Mon Sep 17 00:00:00 2001 From: nella Date: Thu, 11 Jun 2026 01:08:36 +0200 Subject: [PATCH] Add missing -assert to equiv_opt calls. --- tests/arith_tree/arith_tree_42.ys | 14 ++++++------ tests/arith_tree/arith_tree_alu_macc_equiv.ys | 12 +++++----- tests/arith_tree/arith_tree_defaults.ys | 4 ++-- tests/arith_tree/arith_tree_equiv.ys | 22 +++++++++---------- tests/arith_tree/arith_tree_final_adder.ys | 8 +++---- tests/arith_tree/arith_tree_fma.ys | 12 +++++----- tests/arith_tree/arith_tree_signed_fma.ys | 14 ++++++------ 7 files changed, 43 insertions(+), 43 deletions(-) diff --git a/tests/arith_tree/arith_tree_42.ys b/tests/arith_tree/arith_tree_42.ys index 75951ab5e..f0657cde3 100644 --- a/tests/arith_tree/arith_tree_42.ys +++ b/tests/arith_tree/arith_tree_42.ys @@ -8,7 +8,7 @@ endmodule EOT hierarchy -auto-top proc -equiv_opt arith_tree -strategy 42 +equiv_opt -assert arith_tree -strategy 42 design -load postopt select -assert-count 2 t:$fa select -assert-count 1 t:$add @@ -26,7 +26,7 @@ endmodule EOT hierarchy -auto-top proc -equiv_opt arith_tree -strategy fa +equiv_opt -assert arith_tree -strategy fa design -load postopt select -assert-count 2 t:$fa select -assert-count 1 t:$add @@ -44,7 +44,7 @@ endmodule EOT hierarchy -auto-top proc -equiv_opt arith_tree -strategy 42 +equiv_opt -assert arith_tree -strategy 42 design -load postopt select -assert-count 6 t:$fa select -assert-count 1 t:$add @@ -63,7 +63,7 @@ endmodule EOT hierarchy -auto-top proc -equiv_opt arith_tree -strategy 42 +equiv_opt -assert arith_tree -strategy 42 design -load postopt select -assert-count 14 t:$fa select -assert-count 1 t:$add @@ -80,7 +80,7 @@ endmodule EOT hierarchy -auto-top proc -equiv_opt arith_tree -strategy 42 +equiv_opt -assert arith_tree -strategy 42 design -load postopt select -assert-count 3 t:$fa select -assert-count 1 t:$add @@ -97,7 +97,7 @@ endmodule EOT hierarchy -auto-top proc -equiv_opt arith_tree -strategy 42 +equiv_opt -assert arith_tree -strategy 42 design -load postopt select -assert-count 4 t:$fa select -assert-count 1 t:$add @@ -114,7 +114,7 @@ endmodule EOT hierarchy -auto-top proc -equiv_opt arith_tree -strategy 42 +equiv_opt -assert arith_tree -strategy 42 design -load postopt select -assert-count 5 t:$fa select -assert-count 1 t:$add diff --git a/tests/arith_tree/arith_tree_alu_macc_equiv.ys b/tests/arith_tree/arith_tree_alu_macc_equiv.ys index 95839d04f..165bf5975 100644 --- a/tests/arith_tree/arith_tree_alu_macc_equiv.ys +++ b/tests/arith_tree/arith_tree_alu_macc_equiv.ys @@ -10,7 +10,7 @@ hierarchy -auto-top proc alumacc opt -equiv_opt arith_tree +equiv_opt -assert arith_tree design -load postopt select -assert-count 1 t:$fa select -assert-count 1 t:$add @@ -28,7 +28,7 @@ hierarchy -auto-top proc alumacc opt -equiv_opt arith_tree +equiv_opt -assert arith_tree design -load postopt select -assert-count 2 t:$fa select -assert-count 1 t:$add @@ -46,7 +46,7 @@ hierarchy -auto-top proc alumacc opt -equiv_opt arith_tree +equiv_opt -assert arith_tree design -load postopt select -assert-count 6 t:$fa select -assert-count 1 t:$add @@ -64,7 +64,7 @@ hierarchy -auto-top proc alumacc opt -equiv_opt arith_tree +equiv_opt -assert arith_tree design -load postopt select -assert-count 2 t:$fa select -assert-count 1 t:$add @@ -82,7 +82,7 @@ hierarchy -auto-top proc alumacc opt -equiv_opt arith_tree +equiv_opt -assert arith_tree design -load postopt select -assert-min 1 t:$fa select -assert-count 1 t:$add @@ -100,7 +100,7 @@ hierarchy -auto-top proc alumacc opt -equiv_opt arith_tree +equiv_opt -assert arith_tree design -load postopt select -assert-min 1 t:$fa select -assert-count 1 t:$add diff --git a/tests/arith_tree/arith_tree_defaults.ys b/tests/arith_tree/arith_tree_defaults.ys index c5427c4e5..ee2903b72 100644 --- a/tests/arith_tree/arith_tree_defaults.ys +++ b/tests/arith_tree/arith_tree_defaults.ys @@ -49,7 +49,7 @@ endmodule EOT hierarchy -auto-top proc -equiv_opt arith_tree +equiv_opt -assert arith_tree design -load postopt select -assert-count 2 t:$fa select -assert-count 1 t:$add @@ -67,7 +67,7 @@ endmodule EOT hierarchy -auto-top proc -equiv_opt arith_tree +equiv_opt -assert arith_tree design -load postopt select -assert-count 2 t:$fa select -assert-count 1 t:$add diff --git a/tests/arith_tree/arith_tree_equiv.ys b/tests/arith_tree/arith_tree_equiv.ys index 9595d3070..81b2d5007 100644 --- a/tests/arith_tree/arith_tree_equiv.ys +++ b/tests/arith_tree/arith_tree_equiv.ys @@ -8,7 +8,7 @@ endmodule EOT hierarchy -auto-top proc -equiv_opt arith_tree +equiv_opt -assert arith_tree design -load postopt select -assert-count 1 t:$fa select -assert-count 1 t:$add @@ -24,7 +24,7 @@ endmodule EOT hierarchy -auto-top proc -equiv_opt arith_tree +equiv_opt -assert arith_tree design -load postopt select -assert-count 2 t:$fa select -assert-count 1 t:$add @@ -40,7 +40,7 @@ endmodule EOT hierarchy -auto-top proc -equiv_opt arith_tree +equiv_opt -assert arith_tree design -load postopt select -assert-count 3 t:$fa select -assert-count 1 t:$add @@ -56,7 +56,7 @@ endmodule EOT hierarchy -auto-top proc -equiv_opt arith_tree +equiv_opt -assert arith_tree design -load postopt select -assert-count 6 t:$fa select -assert-count 1 t:$add @@ -72,7 +72,7 @@ endmodule EOT hierarchy -auto-top proc -equiv_opt arith_tree +equiv_opt -assert arith_tree design -load postopt select -assert-count 2 t:$fa select -assert-count 1 t:$add @@ -90,7 +90,7 @@ endmodule EOT hierarchy -auto-top proc -equiv_opt arith_tree +equiv_opt -assert arith_tree design -load postopt select -assert-count 1 t:$fa select -assert-count 1 t:$add @@ -106,7 +106,7 @@ endmodule EOT hierarchy -auto-top proc -equiv_opt arith_tree +equiv_opt -assert arith_tree design -load postopt select -assert-count 2 t:$fa select -assert-count 1 t:$add @@ -122,7 +122,7 @@ endmodule EOT hierarchy -auto-top proc -equiv_opt arith_tree +equiv_opt -assert arith_tree design -load postopt select -assert-min 1 t:$fa select -assert-count 1 t:$add @@ -138,7 +138,7 @@ endmodule EOT hierarchy -auto-top proc -equiv_opt arith_tree +equiv_opt -assert arith_tree design -load postopt select -assert-min 1 t:$fa select -assert-count 1 t:$add @@ -154,7 +154,7 @@ endmodule EOT hierarchy -auto-top proc -equiv_opt arith_tree +equiv_opt -assert arith_tree design -load postopt select -assert-count 3 t:$fa select -assert-count 1 t:$add @@ -171,7 +171,7 @@ endmodule EOT hierarchy -auto-top proc -equiv_opt arith_tree +equiv_opt -assert arith_tree design -load postopt select -assert-count 2 t:$fa select -assert-count 1 t:$add diff --git a/tests/arith_tree/arith_tree_final_adder.ys b/tests/arith_tree/arith_tree_final_adder.ys index 6c6da792a..6bb960ae4 100644 --- a/tests/arith_tree/arith_tree_final_adder.ys +++ b/tests/arith_tree/arith_tree_final_adder.ys @@ -8,7 +8,7 @@ endmodule EOT hierarchy -auto-top proc -equiv_opt arith_tree -final auto +equiv_opt -assert arith_tree -final auto design -load postopt select -assert-count 1 t:$add select -assert-count 2 t:$fa @@ -26,7 +26,7 @@ endmodule EOT hierarchy -auto-top proc -equiv_opt arith_tree -final auto +equiv_opt -assert arith_tree -final auto design -load postopt select -assert-count 1 t:$add select -assert-count 2 t:$fa @@ -44,7 +44,7 @@ endmodule EOT hierarchy -auto-top proc -equiv_opt arith_tree +equiv_opt -assert arith_tree design -load postopt select -assert-count 1 t:$add select -assert-count 0 t:$add a:adder_arch %i @@ -61,7 +61,7 @@ endmodule EOT hierarchy -auto-top proc -equiv_opt arith_tree -final prefix +equiv_opt -assert arith_tree -final prefix design -load postopt select -assert-none t:$add select -assert-min 1 t:$_AND_ diff --git a/tests/arith_tree/arith_tree_fma.ys b/tests/arith_tree/arith_tree_fma.ys index 398e9cd8d..1528f0082 100644 --- a/tests/arith_tree/arith_tree_fma.ys +++ b/tests/arith_tree/arith_tree_fma.ys @@ -10,7 +10,7 @@ hierarchy -auto-top proc alumacc opt -equiv_opt arith_tree +equiv_opt -assert arith_tree design -load postopt select -assert-count 1 t:$macc t:$macc_v2 %u select -assert-count 0 t:$mul @@ -31,7 +31,7 @@ hierarchy -auto-top proc alumacc opt -equiv_opt arith_tree +equiv_opt -assert arith_tree design -load postopt select -assert-count 0 t:$macc t:$macc_v2 %u select -assert-count 0 t:$mul @@ -51,7 +51,7 @@ hierarchy -auto-top proc alumacc opt -equiv_opt arith_tree +equiv_opt -assert arith_tree design -load postopt select -assert-count 0 t:$macc t:$macc_v2 %u select -assert-count 0 t:$mul @@ -72,7 +72,7 @@ hierarchy -auto-top proc alumacc opt -equiv_opt arith_tree +equiv_opt -assert arith_tree design -load postopt select -assert-count 0 t:$macc t:$macc_v2 %u select -assert-count 0 t:$mul @@ -93,7 +93,7 @@ hierarchy -auto-top proc alumacc opt -equiv_opt arith_tree -no-fma +equiv_opt -assert arith_tree -no-fma design -load postopt select -assert-count 0 t:$fa select -assert-min 1 t:$macc t:$macc_v2 %u @@ -112,7 +112,7 @@ hierarchy -auto-top proc alumacc opt -equiv_opt arith_tree +equiv_opt -assert arith_tree design -load postopt select -assert-count 0 t:$macc t:$macc_v2 %u select -assert-count 0 t:$mul diff --git a/tests/arith_tree/arith_tree_signed_fma.ys b/tests/arith_tree/arith_tree_signed_fma.ys index 8a4e8b4ef..a12780fe4 100644 --- a/tests/arith_tree/arith_tree_signed_fma.ys +++ b/tests/arith_tree/arith_tree_signed_fma.ys @@ -11,7 +11,7 @@ hierarchy -auto-top proc alumacc opt -equiv_opt arith_tree +equiv_opt -assert arith_tree design -load postopt select -assert-count 0 t:$macc t:$macc_v2 %u select -assert-count 0 t:$mul @@ -30,7 +30,7 @@ hierarchy -auto-top proc alumacc opt -equiv_opt arith_tree +equiv_opt -assert arith_tree design -load postopt select -assert-count 1 t:$macc t:$macc_v2 %u select -assert-count 0 t:$mul @@ -49,7 +49,7 @@ hierarchy -auto-top proc alumacc opt -equiv_opt arith_tree +equiv_opt -assert arith_tree design -load postopt select -assert-count 0 t:$macc t:$macc_v2 %u select -assert-count 0 t:$mul @@ -69,7 +69,7 @@ hierarchy -auto-top proc alumacc opt -equiv_opt arith_tree +equiv_opt -assert arith_tree design -load postopt select -assert-count 0 t:$macc t:$macc_v2 %u select -assert-count 0 t:$mul @@ -89,7 +89,7 @@ hierarchy -auto-top proc alumacc opt -equiv_opt arith_tree +equiv_opt -assert arith_tree design -load postopt select -assert-count 0 t:$macc t:$macc_v2 %u select -assert-min 1 t:$fa @@ -108,7 +108,7 @@ hierarchy -auto-top proc alumacc opt -equiv_opt arith_tree +equiv_opt -assert arith_tree design -load postopt select -assert-count 0 t:$macc t:$macc_v2 %u select -assert-count 0 t:$mul @@ -128,7 +128,7 @@ hierarchy -auto-top proc alumacc opt -equiv_opt arith_tree -no-fma +equiv_opt -assert arith_tree -no-fma design -load postopt select -assert-count 0 t:$fa select -assert-min 1 t:$macc t:$macc_v2 %u