From be971a09231643850874f30abb7a52af3fe50dce Mon Sep 17 00:00:00 2001
From: Yann Herklotz <ymherklotz@gmail.com>
Date: Sat, 1 Dec 2018 16:47:41 +0000
Subject: Add more code generation for expressions

---
 src/Test/VeriFuzz/CodeGen.hs | 40 ++++++++++++++++++++++++++++++++++++++++
 1 file changed, 40 insertions(+)

(limited to 'src/Test')

diff --git a/src/Test/VeriFuzz/CodeGen.hs b/src/Test/VeriFuzz/CodeGen.hs
index 4e4fb8c..3cc6063 100644
--- a/src/Test/VeriFuzz/CodeGen.hs
+++ b/src/Test/VeriFuzz/CodeGen.hs
@@ -5,6 +5,7 @@ module Test.VeriFuzz.CodeGen where
 import           Control.Lens
 import           Data.Text                     (Text)
 import qualified Data.Text                     as T
+import qualified Data.Text.IO                  as T
 import           Test.VeriFuzz.Internal.Shared
 import           Test.VeriFuzz.VerilogAST
 
@@ -18,3 +19,42 @@ genDescription desc =
 
 genModuleDecl :: ModuleDecl -> Text
 genModuleDecl mod =
+  "module " <> mod ^. moduleId . getIdentifier
+  <> "(\n" <> ports <> "\n);\nendomodule"
+  where
+    ports = sep ",\n" $ genPort <$> mod ^. modPorts
+
+genPort :: Port -> Text
+genPort port =
+  "  " <> dir <> " " <> name
+  where
+    dir = genPortDir $ port ^. portDir
+    name = port ^. portName . getIdentifier
+
+genPortDir :: PortDir -> Text
+genPortDir Input  = "input"
+genPortDir Output = "output"
+genPortDir InOut  = "inout"
+
+genModuleItem :: ModuleItem -> Text
+genModuleItem (Assign assign) = genContAssign assign
+
+genContAssign :: ContAssign -> Text
+genContAssign assign =
+  "  assign " <> name <> " = " <> expr <> ";\n"
+  where
+    name = assign ^. contAssignNetLVal . getIdentifier
+    expr = genExpr $ assign ^. contAssignExpr
+
+genExpr :: Expression -> Text
+genExpr (OpExpr exprRhs bin exprLhs) =
+  genExpr exprRhs <> genBinaryOperator bin <> genExpr exprLhs
+genExpr _ = "TODO"
+
+genBinaryOperator :: BinaryOperator -> Text
+genBinaryOperator BinAnd = " & "
+genBinaryOperator BinOr  = " | "
+genBinaryOperator BinXor = " ^ "
+
+render :: Text -> IO ()
+render = T.putStrLn
-- 
cgit