Add a quick abc9 test

diff --git a/tests/techmap/abc9/abc9.v b/tests/techmap/abc9/abc9.v
new file mode 100644 (file)
index 0000000..2d9aea3
--- /dev/null
+++ b/tests/techmap/abc9/abc9.v
@@ -0,0 +1,6 @@
+module top(input [1:0] a, output [1:0] b, output c, output d, output e);
+assign b = a;
+assign c = ^a;
+assign d = ~c;
+assign e = d;
+endmodule

diff --git a/tests/techmap/abc9/abc9_runtest.sh b/tests/techmap/abc9/abc9_runtest.sh
new file mode 100644 (file)
index 0000000..2deaad7
--- /dev/null
+++ b/tests/techmap/abc9/abc9_runtest.sh
@@ -0,0 +1,5 @@
+#!/bin/bash
+
+set -ev
+
+../../../yosys -p 'abc9 -lut 4; check; select -assert-count 2 t:$lut; select -assert-none c:* t:$lut %n %i' abc9.v

diff --git a/tests/techmap/abc9/run-test.sh b/tests/techmap/abc9/run-test.sh
new file mode 100755 (executable)
index 0000000..e2fc11e
--- /dev/null
+++ b/tests/techmap/abc9/run-test.sh
@@ -0,0 +1,10 @@
+#!/bin/bash
+set -e
+for x in *_runtest.sh; do
+       echo "Running $x.."
+       if ! bash $x &> ${x%.sh}.log; then
+               tail ${x%.sh}.log
+               echo ERROR
+               exit 1
+       fi
+done

diff --git a/tests/techmap/run-test.sh b/tests/techmap/run-test.sh
index e2fc11e528724075d6ad4db36f0f95793fa9bbe0..129451e08c2db9e935c886f73af9ee3b4b1a385b 100755 (executable)
--- a/tests/techmap/run-test.sh
+++ b/tests/techmap/run-test.sh
@@ -8,3 +8,11 @@ for x in *_runtest.sh; do
                exit 1
        fi
 done
+
+for d in */; do
+    if [ -x $d/run-test.sh ]; then
+        cd $d
+        bash run-test.sh
+        cd ..
+    fi
+done