Documentation

Fields

• _normalized :: BindingMap

  Global binders

• _specialisationCache :: Map (TmOccName, 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 TmOccName Int

  Cache of how many times a function was specialized

• _specialisationLimit :: !Int

  Number of time a function f can be specialized

• _inlineHistory :: HashMap TmOccName (HashMap TmOccName 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

• _inlineFunctionLimit :: !Word

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

• _inlineConstantLimit :: !Word

  Size of a constant below which it is always inlined; 0 = no limit

• _primitives :: PrimMap BlackBoxTemplate

  Primitive Definitions

• _recursiveComponents :: HashMap TmOccName Bool

  Map telling whether a components is recursively defined.

  NB: there are only no mutually-recursive component, only self-recursive ones.

Fields

• _function :: !Int

  Number of functions

• _primitive :: !Int

  Number of primitives

• _selection :: !Int

  Number of selections/multiplexers