CLaSH.Normalize.Util

Utility functions used by the normalisation transformations

Documentation

alreadyInlined :: TmName -> NormalizeMonad (Maybe Int)

Determine if a function is already inlined in the context of the NetlistMonad

addNewInline :: TmName -> NormalizeMonad ()

specializeNorm :: Bool -> NormRewrite

Specialize under the Normalization Monad

isClosed :: (Functor m, Fresh m) => HashMap TyConName TyCon -> Term -> m Bool

Determine if a term is closed

isConstant :: Term -> Bool

Determine if a term represents a constant

callGraph

Arguments

:: [TmName]

List of functions that should not be inspected

-> HashMap TmName (Type, Term)

Global binders

-> TmName

Root of the call graph

-> [(TmName, [TmName])]

Create a call graph for a set of global binders, given a root

recursiveComponents

Arguments

:: [(TmName, [TmName])]

(calling function,[called function

)]

-> [[TmName]]

Determine the sets of recursive components given the edges of a callgraph

lambdaDropPrep :: HashMap TmName (Type, Term) -> TmName -> HashMap TmName (Type, Term)

lambdaDrop

Arguments

:: HashMap TmName (Type, Term)

Original Binders

-> HashMap TmName [TmName]

Dependency Graph

-> [TmName]

Recursive block

-> (TmName, (Type, Term))

Lambda-dropped Binders

dominator

Arguments

:: HashMap TmName [TmName]

Dependency Graph

-> [TmName]

Recursive block

-> Gr TmName TmName

Recursive block dominator

blockSink

Arguments

:: HashMap TmName (Type, Term)

Original Binders

-> Gr TmName TmName

Recursive block dominator

-> LNode TmName

Recursive block dominator root

-> (TmName, (Type, Term))

Block sank binder