From: William D. Jones <thor0505@comcast.net>
Date: Tue, 17 Nov 2020 18:01:57 +0000 (-0500)
Subject: machxo2: Add test/arch/machxo2 directory (test does not pass).
X-Git-Tag: working-ls180~71
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9cb0bae1b27928202fa9ce6d494f7f6aaa36563a;p=yosys.git

machxo2: Add test/arch/machxo2 directory (test does not pass).
---

diff --git a/Makefile b/Makefile
index 1f255a5ea..50f4f52b7 100644
--- a/Makefile
+++ b/Makefile
@@ -810,6 +810,7 @@ test: $(TARGETS) $(EXTRA_TARGETS)
 	+cd tests/arch/ice40 && bash run-test.sh $(SEEDOPT)
 	+cd tests/arch/xilinx && bash run-test.sh $(SEEDOPT)
 	+cd tests/arch/ecp5 && bash run-test.sh $(SEEDOPT)
+	+cd tests/arch/machxo2 && bash run-test.sh $(SEEDOPT)
 	+cd tests/arch/efinix && bash run-test.sh $(SEEDOPT)
 	+cd tests/arch/anlogic && bash run-test.sh $(SEEDOPT)
 	+cd tests/arch/gowin && bash run-test.sh $(SEEDOPT)
diff --git a/tests/arch/machxo2/.gitignore b/tests/arch/machxo2/.gitignore
new file mode 100644
index 000000000..1d329c933
--- /dev/null
+++ b/tests/arch/machxo2/.gitignore
@@ -0,0 +1,2 @@
+*.log
+/run-test.mk
diff --git a/tests/arch/machxo2/logic.ys b/tests/arch/machxo2/logic.ys
new file mode 100644
index 000000000..c5d2fb08e
--- /dev/null
+++ b/tests/arch/machxo2/logic.ys
@@ -0,0 +1,8 @@
+read_verilog ../common/logic.v
+hierarchy -top top
+proc
+equiv_opt -assert -map +/machxo2/cells_sim.v synth_machxo2 # equivalency check
+design -load postopt # load the post-opt design (otherwise equiv_opt loads the pre-opt design)
+cd top # Constrain all select calls below inside the top module
+select -assert-count 9 t:LUT4
+select -assert-none t:LUT4 %% t:* %D
diff --git a/tests/arch/machxo2/run-test.sh b/tests/arch/machxo2/run-test.sh
new file mode 100644
index 000000000..4be4b70ae
--- /dev/null
+++ b/tests/arch/machxo2/run-test.sh
@@ -0,0 +1,4 @@
+#!/usr/bin/env bash
+set -eu
+source ../../gen-tests-makefile.sh
+run_tests --yosys-scripts --bash --yosys-args "-w 'Yosys has only limited support for tri-state logic at the moment.'"