From edc2b13ecc3c6e8aebf61d3569cd50ddd807fbc2 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 12 May 2020 21:19:23 +0100
Subject: Add for loops and events to reduction

---
 src/Verismith/Reduce.hs | 19 ++++++++++++++++++-
 1 file changed, 18 insertions(+), 1 deletion(-)

(limited to 'src/Verismith/Reduce.hs')

diff --git a/src/Verismith/Reduce.hs b/src/Verismith/Reduce.hs
index dde2c8b..6df398d 100644
--- a/src/Verismith/Reduce.hs
+++ b/src/Verismith/Reduce.hs
@@ -249,6 +249,7 @@ relevantModItem _ _ = False
 isAssign :: (Statement ReduceAnn) -> Bool
 isAssign (BlockAssign _) = True
 isAssign (NonBlockAssign _) = True
+isAssign (ForLoop _ _ _ _) = True
 isAssign _ = False
 
 lValName :: LVal -> [Identifier]
@@ -320,6 +321,18 @@ fixModInst (SourceInfo _ (Verilog decl)) (ModInst n g i) = case m of
       | otherwise = Nothing
 fixModInst _ a = a
 
+eventIdent :: Event -> [Identifier]
+eventIdent (EId i) = [i]
+eventIdent (EExpr e) =
+  case exprId e of
+    Nothing -> []
+    Just eid -> [eid]
+eventIdent EAll = []
+eventIdent (EPosEdge i) = [i]
+eventIdent (ENegEdge i) = [i]
+eventIdent (EOr e1 e2) = eventIdent e1 <> eventIdent e2
+eventIdent (EComb e1 e2) = eventIdent e1 <> eventIdent e2
+
 findActiveWires :: Identifier -> (SourceInfo ReduceAnn) -> [Identifier]
 findActiveWires t src =
   nub $
@@ -329,12 +342,16 @@ findActiveWires t src =
       <> fmap portToId o
       <> fmap paramToId p
       <> modinstwires
+      <> events
   where
     assignWires = m ^.. modItems . traverse . modContAssign . contAssignNetLVal
     assignStat =
       concatMap lValName $
         (allStat ^.. traverse . stmntBA . assignReg)
           <> (allStat ^.. traverse . stmntNBA . assignReg)
+          <> (allStat ^.. traverse . forAssign . assignReg)
+          <> (allStat ^.. traverse . forIncr . assignReg)
+    events = concatMap eventIdent $ (allStat ^.. traverse . statEvent)
     allStat = filter isAssign . concat $ fmap universe stat
     stat =
       (m ^.. modItems . traverse . _Initial)
@@ -405,7 +422,7 @@ halveModules srcInfo@(SourceInfo top _) =
     . addMod main
     <$> combine (infoSrc . _Wrapped) repl srcInfo
   where
-    repl = remove1 . filter (not . matchesModName (Identifier top))
+    repl = halve . filter (not . matchesModName (Identifier top))
     main = srcInfo ^. mainModule
 
 moduleBot :: (SourceInfo ReduceAnn) -> Bool
-- 
cgit