import qualified Control.Monad.Trans.State as State
import qualified Data.Monoid as Monoid
import Data.Accessor
+import Debug.Trace
-- ForSyDe
import qualified ForSyDe.Backend.VHDL.AST as AST
case (Map.lookup (varToString f) globalNameTable) of
Just (arg_count, builder) ->
if length valargs == arg_count then
- case builder of
- Left funBuilder -> do
- let sigs = map (varToVHDLExpr.exprToVar) valargs
- func <- funBuilder bndr sigs
- let src_wform = AST.Wform [AST.WformElem func Nothing]
- let dst_name = AST.NSimple (mkVHDLExtId (varToString bndr))
- let assign = dst_name AST.:<==: (AST.ConWforms [] src_wform Nothing)
- return [AST.CSSASm assign]
- Right genBuilder -> do
- let sigs = map exprToVar valargs
- let signature = Maybe.fromMaybe
- (error $ "Using function '" ++ (varToString (head sigs)) ++ "' without signature? This should not happen!")
- (Map.lookup (head sigs) signatures)
- let arg = tail sigs
- genSm <- genBuilder signature (arg ++ [bndr])
- return [AST.CSGSm genSm]
+ builder bndr f valargs
else
error $ "VHDL.mkConcSm Incorrect number of arguments to builtin function: " ++ pprString f ++ " Args: " ++ pprString valargs
Nothing -> error $ "Using function from another module that is not a known builtin: " ++ pprString f
label = "comp_ins_" ++ varToString bndr
-- Add a clk port if we have state
--clk_port = Maybe.fromJust $ mkAssocElem (Just $ mkVHDLExtId "clk") "clk"
- clk_port = Maybe.fromJust $ mkAssocElem (Just $ mkVHDLExtId "clk") "clk"
+ --clk_port = Maybe.fromJust $ mkAssocElem (Just $ mkVHDLExtId "clk") "clk"
--portmaps = mkAssocElems sigs args res signature ++ (if hasState hsfunc then [clk_port] else [])
- portmaps = clk_port : mkAssocElems args bndr signature
+ portmaps = mkAssocElems args bndr signature
in
return [mkComponentInst label entity_id portmaps]
details -> error $ "Calling unsupported function " ++ pprString f ++ " with GlobalIdDetails " ++ pprString details