From: Florent Kermarrec <florent@enjoy-digital.fr>
Date: Fri, 24 Apr 2015 10:00:46 +0000 (+0200)
Subject: migen/test: rename asic_syntax to test_syntax and simplify
X-Git-Tag: 24jan2021_ls180~2099^2~80
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=61c3efc5f5a9931b4c6ab3cb87d8414b31c447a0;p=litex.git

migen/test: rename asic_syntax to test_syntax and simplify
---

diff --git a/migen/test/asic_syntax.py b/migen/test/asic_syntax.py
deleted file mode 100644
index cf137638..00000000
--- a/migen/test/asic_syntax.py
+++ /dev/null
@@ -1,58 +0,0 @@
-import unittest
-import subprocess
-import os
-
-from migen.fhdl.std import *
-from migen.fhdl.verilog import convert
-
-
-# Create a module with some combinatorial, some sequential, and some simple assigns
-class ThingBlock(Module):
-    def __init__(self):
-        x = [Signal(8) for y in range(10)]
-        y = [Signal(8) for z in range(10)]
-        en = Signal()
-        a = Signal()
-        b = Signal()
-        z = Signal()
-        as_src = Signal(16);
-        as_tgt1 = Signal(16);
-        as_tgt2 = Signal(16);
-        self.io = {a, b, z, en, as_src, as_tgt1, as_tgt2}
-
-        self.comb += If(a, z.eq(b))
-        self.comb += as_tgt1.eq(as_src)
-        self.comb += as_tgt2.eq(100)
-        for xi in x:
-            self.io.add(xi)
-        for xi in range(1, len(x)):
-            self.comb += If(en, y[xi].eq(x[xi-1])).Else(y[xi].eq(x[xi]))
-            self.sync += x[xi].eq(y[xi])
-
-
-# Create unit test to build module, run Verilator and check for errors
-class TestThingBlock(unittest.TestCase):
-    def test_mode_true(self):
-        filename = "test_module_true.v"
-        t = ThingBlock()
-        with open(filename, "w") as fh:
-            fh.write("/* verilator lint_off WIDTH */\n")
-            fh.write(str(convert(t, t.io, name="test_module",
-                                 asic_syntax=True)))
-
-        subprocess.check_call("verilator --lint-only " + filename,
-                              stdout=subprocess.DEVNULL,
-                              stderr=subprocess.DEVNULL, shell=True)
-        os.unlink(filename)
-
-    def test_mode_false(self):
-        filename = "test_module_false.v"
-        t = ThingBlock()
-        with open(filename, "w") as fh:
-            fh.write(str(convert(t, t.io, name="test_module")))
-
-        with self.assertRaises(subprocess.CalledProcessError):
-            subprocess.check_call("verilator --lint-only " + filename,
-                                  stdout=subprocess.DEVNULL,
-                                  stderr=subprocess.DEVNULL, shell=True)
-        os.unlink(filename)
diff --git a/migen/test/test_syntax.py b/migen/test/test_syntax.py
new file mode 100644
index 00000000..5f531085
--- /dev/null
+++ b/migen/test/test_syntax.py
@@ -0,0 +1,60 @@
+import unittest
+import subprocess
+import os
+
+from migen.fhdl.std import *
+from migen.fhdl.verilog import convert
+
+
+# Create a module with some combinatorial, some sequential, and some simple
+# assigns
+class SyntaxModule(Module):
+    def __init__(self):
+        x = [Signal(8) for y in range(10)]
+        y = [Signal(8) for z in range(10)]
+        en = Signal()
+        a = Signal()
+        b = Signal()
+        z = Signal()
+        as_src = Signal(16);
+        as_tgt1 = Signal(16);
+        as_tgt2 = Signal(16);
+        self.io = {a, b, z, en, as_src, as_tgt1, as_tgt2}
+
+        self.comb += If(a, z.eq(b))
+        self.comb += as_tgt1.eq(as_src)
+        self.comb += as_tgt2.eq(100)
+        for xi in x:
+            self.io.add(xi)
+        for xi in range(1, len(x)):
+            self.comb += If(en, y[xi].eq(x[xi-1])).Else(y[xi].eq(x[xi]))
+            self.sync += x[xi].eq(y[xi])
+
+
+# Create unit test to build module, run Verilator and check for errors
+class SyntaxCase(unittest.TestCase):
+    def base_test(self, name, asic_syntax, options=[]):
+        filename = "test_module_{}.v".format(name)
+        t = SyntaxModule()
+        c = convert(t, t.io, name="test_module", asic_syntax=asic_syntax)
+        f = open(filename, "w")
+        f.write(str(c))
+        f.close()
+        subprocess.check_call("verilator --lint-only " + " ".join(options) + " " + filename,
+                              stdout=subprocess.DEVNULL,
+                              stderr=subprocess.DEVNULL, shell=True)
+        os.unlink(filename)
+
+    def test_generic_syntax(self):
+        options = [
+            "-Wno-WIDTH",
+            "-Wno-COMBDLY",
+            "-Wno-INITIALDLY"
+        ]
+        self.base_test("generic", False, options)
+
+    def test_asic_syntax(self):
+        options = [
+            "-Wno-WIDTH",  # XXX should we improve ASIC backend to remove this?
+        ]
+        self.base_test("asic", True, options)