CLaSH.Normalize.Types

Types used in Normalize modules

Documentation

data NormalizeState

State of the NormalizeMonad

Constructors

NormalizeState

Fields

• _normalized :: HashMap TmName (Type, SrcSpan, Term)

  Global binders

• _specialisationCache :: Map (TmName, Int, Either Term Type) (TmName, Type)

  Cache of previously specialised functions:

  • Key: (name of the original function, argument position, specialised term/type)
  • Elem: (name of specialised function,type of specialised function)
• _specialisationHistory :: HashMap TmName Int

  Cache of how many times a function was specialized

• _specialisationLimit :: !Int

  Number of time a function f can be specialized

• _inlineHistory :: HashMap TmName (HashMap TmName Int)

  Cache of function where inlining took place:

  • Key: function where inlining took place
  • Elem: (functions which were inlined, number of times inlined)
• _inlineLimit :: !Int

  Number of times a function f can be inlined in a function g

• _inlineBelow :: !Int

  Size of a function below which it is always inlined if it is not recursive

• _primitives :: PrimMap BlackBoxTemplate

  Primitive Definitions

• _recursiveComponents :: HashMap TmName Bool

  Map telling whether a components is part of a recursive group

specialisationLimit :: Lens' NormalizeState Int

specialisationHistory :: Lens' NormalizeState (HashMap TmName Int)

specialisationCache :: Lens' NormalizeState (Map (TmName, Int, Either Term Type) (TmName, Type))

recursiveComponents :: Lens' NormalizeState (HashMap TmName Bool)

primitives :: Lens' NormalizeState (PrimMap BlackBoxTemplate)

normalized :: Lens' NormalizeState (HashMap TmName (Type, SrcSpan, Term))

inlineLimit :: Lens' NormalizeState Int

inlineHistory :: Lens' NormalizeState (HashMap TmName (HashMap TmName Int))

inlineBelow :: Lens' NormalizeState Int

type NormalizeMonad = State NormalizeState

State monad that stores specialisation and inlining information

type NormalizeSession = RewriteMonad NormalizeState

RewriteSession with extra Normalisation information

type NormRewrite = Rewrite NormalizeState

A Transform action in the context of the RewriteMonad and NormalizeMonad