From dc18bf1969e3550a629ffa4722ad40758fc32535 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marcelina=20Ko=C5=9Bcielnicka?= <mwk@0x04.net>
Date: Wed, 29 Jul 2020 10:00:01 +0200
Subject: opt_expr: Fix handling of $_XNOR_ cells with A = B.

Fixes #2311.
---
 tests/opt/bug2311.ys | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 tests/opt/bug2311.ys

(limited to 'tests/opt')

diff --git a/tests/opt/bug2311.ys b/tests/opt/bug2311.ys
new file mode 100644
index 000000000..455147cd3
--- /dev/null
+++ b/tests/opt/bug2311.ys
@@ -0,0 +1,14 @@
+read_verilog -icells << EOT
+
+module top(...);
+
+input A;
+output Y;
+
+$_XNOR_ x (.A(A), .B(A), .Y(Y));
+
+endmodule
+
+EOT
+
+equiv_opt -assert opt_expr
-- 
cgit v1.2.3