From: Eddie Hung <eddie@fpgeh.com>
Date: Wed, 15 Jan 2020 22:36:05 +0000 (-0800)
Subject: abc9: aAdd test to check $_NOT_s are absorbed
X-Git-Tag: working-ls180~864^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5918ede9bd7568d5a5156f20fdc4ce215d4968f8;p=yosys.git

abc9: aAdd test to check $_NOT_s are absorbed
---

diff --git a/tests/techmap/abc9.ys b/tests/techmap/abc9.ys
index 20f263da8..62b5dfef6 100644
--- a/tests/techmap/abc9.ys
+++ b/tests/techmap/abc9.ys
@@ -38,3 +38,15 @@ abc9 -lut 4
 design -load gold
 scratchpad -copy abc9.script.flow3 abc9.script
 abc9 -lut 4
+
+
+design -reset
+read_verilog -icells <<EOT
+module top(input a, b, output o);
+assign o = ~(a & b);
+endmodule
+EOT
+abc9 -lut 4
+clean
+select -assert-count 1 t:$lut
+select -assert-none t:$lut t:* %D