From 438bcc68c0859057e4d3f521d1c865d2a9d90e15 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Marcelina=20Ko=C5=9Bcielnicka?= Date: Fri, 11 Jun 2021 12:19:21 +0200 Subject: [PATCH] Add regression test for #2824. --- tests/opt/bug2824.ys | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 tests/opt/bug2824.ys diff --git a/tests/opt/bug2824.ys b/tests/opt/bug2824.ys new file mode 100644 index 000000000..9d0d1e9e5 --- /dev/null +++ b/tests/opt/bug2824.ys @@ -0,0 +1,7 @@ +read_verilog -icells << EOT +module top(input I, output O); +$pmux #(.WIDTH(1), .S_WIDTH(2)) m (.S({I, 1'b0}), .A(1'b0), .B({I, 1'b0}), .Y(O)); +endmodule +EOT + +equiv_opt -assert opt_muxtree -- 2.30.2