From 8333a83cef48c8ee08086ba5c4d0962ad7d814cc Mon Sep 17 00:00:00 2001 From: "Emil J. Tywoniak" Date: Wed, 27 Aug 2025 11:29:57 +0200 Subject: [PATCH] opt_dff: more explicit testing, typo --- tests/opt/opt_dff-simplify.ys | 19 +++++++++++++++++-- 1 file changed, 17 insertions(+), 2 deletions(-) diff --git a/tests/opt/opt_dff-simplify.ys b/tests/opt/opt_dff-simplify.ys index a803c2475..699bfe065 100644 --- a/tests/opt/opt_dff-simplify.ys +++ b/tests/opt/opt_dff-simplify.ys @@ -1,9 +1,17 @@ -# 5287 issue +# 5279 issue # Check only for complimentary patterns elimination -read_rtlil opt_dff-simplify.il +read_rtlil opt_dff-simplify.il + +select -assert-count 0 t:$adffe +select -assert-count 1 t:$adff +select -assert-count 0 t:$ne + opt_dff +select -assert-count 1 t:$adffe +select -assert-count 0 t:$adff + select -assert-count 8 t:$ne r:A_WIDTH=3 %i select -assert-count 5 t:$ne r:A_WIDTH=2 %i @@ -37,7 +45,14 @@ EOT cd test proc + +select -assert-count 0 t:$dffe +select -assert-count 1 t:$dff +select -assert-count 0 t:$ne + opt_dff +select -assert-count 1 t:$dffe +select -assert-count 0 t:$dff select -assert-count 1 t:$ne r:A_WIDTH=2 %i select -assert-none t:$ne r:A_WIDTH=3 %i