Clash.Normalize

Turn CoreHW terms into normalized CoreHW Terms

Documentation

runNormalization

Arguments

:: ClashEnv

-> Supply

UniqueSupply

-> BindingMap

Global Binders

-> (CustomReprs -> TyConMap -> Type -> State HWMap (Maybe (Either String FilteredHWType)))

Hardcoded Type -> HWType translator

-> Evaluator

Hardcoded evaluator for partial evaluation

-> Evaluator

Hardcoded evaluator for WHNF (old evaluator)

-> VarEnv Bool

Map telling whether a components is part of a recursive group

-> [Id]

topEntities

-> NormalizeSession a

NormalizeSession to run

-> IO a

Run a NormalizeSession in a given environment

normalize :: [Id] -> NormalizeSession BindingMap

normalize' :: Id -> NormalizeSession ([Id], (Id, Binding Term))

checkNonRecursive

Arguments

:: BindingMap

List of normalized binders

-> BindingMap

Check whether the normalized bindings are non-recursive. Errors when one of the components is recursive.

cleanupGraph :: Id -> BindingMap -> NormalizeSession BindingMap

Perform general "clean up" of the normalized (non-recursive) function hierarchy. This includes:

• Inlining functions that simply "wrap" another function

data CallTree

A tree of identifiers and their bindings, with branches containing additional bindings which are used. See Clash.Driver.Types.Binding.

Constructors

CLeaf (Id, Binding Term)

CBranch (Id, Binding Term) [CallTree]

mkCallTree

Arguments

:: [Id]

Visited

-> BindingMap

Global binders

-> Id

Root of the call graph

-> Maybe CallTree

stripArgs :: [Id] -> [Id] -> [Either Term Type] -> Maybe [Either Term Type]

flattenNode :: CallTree -> NormalizeSession (Either CallTree ((Id, Term), [CallTree]))

flattenCallTree :: CallTree -> NormalizeSession CallTree

callTreeToList :: [Id] -> CallTree -> ([Id], [(Id, Binding Term)])