Documentation

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

• _specialisationLimit :: !Int

  Number of time a function f can be 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)
• _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 :: CompiledPrimMap

  Primitive Definitions

• _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.

• _newInlineStrategy :: Bool

  Flattening stage should use the new (no-)inlining strategy

• _normalizeUltra :: Bool

  High-effort normalization session, trading performance improvement for potentially much longer compile times. Follows the opt_ultra flag.

• _inlineWFCacheLimit :: !Word

  At what size do we cache normalized work-free top-level binders.

Fields

• _function :: !Int

  Number of functions

• _primitive :: !Int

  Number of primitives

• _selection :: !Int

  Number of selections/multiplexers