Copyright	(C) 2012-2016 University of Twente 2017 Google Inc. 2022 QBayLogic B.V.
License	BSD2 (see the file LICENSE)
Maintainer	QBayLogic B.V. <devops@qbaylogic.com>
Safe Haskell	None
Language	Haskell2010

Clash.Normalize.Types

Description

Types used in Normalize modules

Synopsis

Documentation

State of the NormalizeMonad

Constructors

Fields

_normalized :: BindingMap
Global binders
_specialisationCache :: Map (Id, Int, Either Term Type) Id
Cache of previously specialized functions:
- Key: (name of the original function, argument position, specialized term/type)
- Elem: (name of specialized function,type of specialized function)
_specialisationHistory :: VarEnv Int
Cache of how many times a function was specialized
_inlineHistory :: VarEnv (VarEnv Int)
Cache of function where inlining took place:
- Key: function where inlining took place
- Elem: (functions which were inlined, number of times inlined)
_primitiveArgs :: Map Text (Set Int)
Cache for looking up constantness of blackbox arguments
_recursiveComponents :: VarEnv Bool
Map telling whether a components is recursively defined.
NB: there are only no mutually-recursive component, only self-recursive ones.

State monad that stores specialisation and inlining information

RewriteSession with extra Normalisation information

A Transform action in the context of the RewriteMonad and NormalizeMonad

Description of a Term in terms of the type "components" the Term has.

Is used as a performance/size metric.

Constructors

TermClassification
Fields _function :: !Int Number of functions _primitive :: !Int Number of primitives _selection :: !Int Number of selections/multiplexers

Instances details

Show TermClassification Source #
Instance details Defined in Clash.Normalize.Types Methods showsPrec :: Int -> TermClassification -> ShowS # show :: TermClassification -> String # showList :: [TermClassification] -> ShowS #