mirror of https://github.com/zachjs/sv2v.git
45 lines
1.7 KiB
Haskell
45 lines
1.7 KiB
Haskell
|
{- sv2v
|
||
|
|
- Author: Zachary Snow <zach@zachjs.com>
|
||
|
|
-
|
||
|
|
- Template converter for ModuleItem transformations
|
||
|
|
-
|
||
|
|
- Also has coverage for ModuleItems inside of generate blocks
|
||
|
|
-}
|
||
|
|
|
||
|
|
module Convert.Template.ModuleItem (moduleItemConverter) where
|
||
|
|
|
||
|
|
import Data.Maybe
|
||
|
|
import Language.SystemVerilog.AST
|
||
|
|
|
||
|
|
type Converter = ModuleItem -> ModuleItem
|
||
|
|
|
||
|
|
moduleItemConverter :: Converter -> ([Module] -> [Module])
|
||
|
|
moduleItemConverter f = convert f
|
||
|
|
|
||
|
|
convert :: Converter -> [Module] -> [Module]
|
||
|
|
convert f modules = map (convertModule f) modules
|
||
|
|
|
||
|
|
convertModule :: Converter -> Module -> Module
|
||
|
|
convertModule f (Module name ports items) =
|
||
|
|
Module name ports $ map (convertModuleItem f) items
|
||
|
|
|
||
|
|
convertModuleItem :: Converter -> ModuleItem -> ModuleItem
|
||
|
|
convertModuleItem f (Generate items) = f $ Generate $ map (convertGenItem f) items
|
||
|
|
convertModuleItem f other = f other
|
||
|
|
|
||
|
|
convertGenItem :: Converter -> GenItem -> GenItem
|
||
|
|
convertGenItem f item = convertGenItem' item
|
||
|
|
where
|
||
|
|
convertGenItem' :: GenItem -> GenItem
|
||
|
|
convertGenItem' (GenBlock x items) = GenBlock x $ map convertGenItem' items
|
||
|
|
convertGenItem' (GenFor a b c d items) = GenFor a b c d $ map convertGenItem' items
|
||
|
|
convertGenItem' (GenIf e i1 i2) = GenIf e (convertGenItem' i1) (convertGenItem' i2)
|
||
|
|
convertGenItem' (GenNull) = GenNull
|
||
|
|
convertGenItem' (GenModuleItem moduleItem) = GenModuleItem $ f moduleItem
|
||
|
|
convertGenItem' (GenCase e cases def) = GenCase e cases' def'
|
||
|
|
where
|
||
|
|
cases' = zip (map fst cases) (map (convertGenItem' . snd) cases)
|
||
|
|
def' = if def == Nothing
|
||
|
|
then Nothing
|
||
|
|
else Just $ convertGenItem' $ fromJust def
|