CLaSH.Normalize.Util

Utility functions used by the normalisation transformations

Documentation

alreadyInlined :: TmName -> NormalizeMonad Bool

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

commitNewInlined :: NormRewrite

Move the names of inlined functions collected during a traversal into the permanent inlined function cache

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

Determine if a term is closed

isConstant :: Term -> Bool

Determine if a term represents a constant

getWrappedF :: (Fresh m, Functor m) => Term -> m (Maybe Term)

Get the "Wrapped" function out of a normalized Term. Returns Nothing if the normalized term is not actually a wrapper.

callGraph

Arguments

:: [TmName]

List of functions that should not be inspected

-> HashMap TmName 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