convert always_comb assignments

[sv2nmigen.git] / absyn.py

diff --git a/absyn.py b/absyn.py
index ba356d5b1e5ed2020a9f142cba31f40221221330..ecd3846516ddf89e773c7b3bdb20754cf52e5e8b 100644 (file)
--- a/absyn.py
+++ b/absyn.py
@@ -50,6 +50,7 @@ class Absyn:
         self.outputfile = None
         self.assign = []
         self.ports = []
+        self.wires = []
 
     def open(self):
         if(self.outputfile is None):
@@ -64,7 +65,9 @@ class Absyn:
         p = list(p)
         if(p[1] == "assign"):
             self.printpy(p[4])
-            # m.d.comb += [l.eq(r)]
+
+    def assign3(self, left, op, right):
+        return Assignment(left, op, right)
 
     def indent(self, count):
         if(indent_debug):
@@ -83,6 +86,12 @@ class Absyn:
         self.ports += [port]
         return port
 
+    def isPort(self, name):
+        for p in self.ports:
+            if(str(p.name) == str(name)):
+                return True
+        return False
+
     def initFunc(self, ports, params):
         params = [Leaf(token.LPAR, '('), Leaf(
             token.NAME, "self")] + [Leaf(token.RPAR, ')')]
@@ -116,22 +125,31 @@ class Absyn:
         stmts.children.append(Leaf(token.STRING, "m = Module()"))
         stmts.children.append(self.nl())
 
+        for w in self.wires:
+            wirename = w[0]
+            hasdims = (len(w) >= 4)
+            stmts.children.append(self.indent(2))
+            stmts.children.append(Leaf(token.STRING, wirename))
+            stmts.children.append(Leaf(token.STRING, " = Signal("))
+            if(hasdims):
+                stmts.children.append(Leaf(token.STRING, str(w[3])))
+            stmts.children.append(Leaf(token.STRING, ")"))
+            stmts.children.append(self.nl())
+
         for a in self.assign:
             stmts.children.append(self.indent(2))
             # m.d.sync += self.left.eq(right)
-            stmts.children.append(Leaf(token.STRING, "m.d.comb += self."))
+            stmts.children.append(Leaf(token.STRING, "m.d.comb += "))
+            if(self.isPort(a.left)):
+                stmts.children.append(Leaf(token.STRING, "self."))
             stmts.children.append(Leaf(token.STRING, a.left))
-            stmts.children.append(Leaf(token.STRING, ".eq(self."))
+            stmts.children.append(Leaf(token.STRING, ".eq("))
+            if(self.isPort(a.right)):
+                stmts.children.append(Leaf(token.STRING, "self."))
             stmts.children.append(Leaf(token.STRING, a.right))
             stmts.children.append(Leaf(token.STRING, ")"))
             stmts.children.append(self.nl())
 
-        # for a in self.assign:
-        #
-            #
-            #ports = a[8]
-        #
-
         stmts.children.append(self.indent(2))
         stmts.children.append(Leaf(token.STRING, "return m"))
         stmts.children.append(self.nl())
@@ -162,6 +180,14 @@ class Absyn:
         self.printpy(str(clsdecl))
         return clsdecl
 
+    def module_item_2(self, signaltype, dims, mlist):
+        if(signaltype == "wire"):
+            for m in mlist:
+                if(dims):
+                    self.wires.append(m+dims)
+                else:
+                    self.wires.append(m)
+
     def appendComments(self, data):
         self.open()
         self.outputfile.write(data)
@@ -171,5 +197,10 @@ class Absyn:
 
     # combinatorical assign
     def cont_assign_1(self, p):
-        # print("#ASSIGN:BROKEN"+str(list(p)))
         self.assign += [Assignment(p[1], p[2], p[3])]
+
+    def always_comb(self, p3, p1):
+        print("always_comb")
+        slist = p3[6]
+        for s in slist.statements:
+            self.assign += [s]