GHC.StgToCmm.Types

Documentation

data CgInfos

Codegen-generated Id infos, to be passed to downstream via interfaces.

This stuff is for optimization purposes only, they're not compulsory.

• When CafInfo of an imported Id is not known it's safe to treat it as CAFFY.
• When LambdaFormInfo of an imported Id is not known it's safe to treat it as `LFUnknown True` (which just says "it could be anything" and we do slow entry).

See also Note [Conveying CAF-info and LFInfo between modules] above.

Constructors

CgInfos

Fields

• cgNonCafs :: !NonCaffySet

  Exported Non-CAFFY closures in the current module. Everything else is either not exported of CAFFY.

• cgLFInfos :: !ModuleLFInfos

  LambdaFormInfos of exported closures in the current module.

• cgIPEStub :: !CStub

  The C stub which is used for IPE information

data LambdaFormInfo

Information about an identifier, from the code generator's point of view. Every identifier is bound to a LambdaFormInfo in the environment, which gives the code generator enough info to be able to tail call or return that identifier.

Constructors

LFReEntrant !TopLevelFlag !RepArity !Bool !ArgDescr

LFThunk !TopLevelFlag !Bool !Bool !StandardFormInfo !Bool

LFCon !DataCon

LFUnknown !Bool

LFUnlifted

LFLetNoEscape

Instances

Outputable LambdaFormInfo

Defined in GHC.StgToCmm.Types

Methods

ppr :: LambdaFormInfo -> SDoc

type ModuleLFInfos = NameEnv LambdaFormInfo

Maps names in the current module to their LambdaFormInfos

type Liveness = [Bool]

We represent liveness bitmaps as a Bitmap (whose internal representation really is a bitmap). These are pinned onto case return vectors to indicate the state of the stack for the garbage collector.

In the compiled program, liveness bitmaps that fit inside a single word (StgWord) are stored as a single word, while larger bitmaps are stored as a pointer to an array of words.

data ArgDescr

An ArgDescr describes the argument pattern of a function

Constructors

ArgSpec !Int

ArgGen Liveness

ArgUnknown

Instances

Eq ArgDescr

Defined in GHC.StgToCmm.Types

Methods

(==) :: ArgDescr -> ArgDescr -> Bool

(/=) :: ArgDescr -> ArgDescr -> Bool

Outputable ArgDescr

Defined in GHC.StgToCmm.Types

Methods

ppr :: ArgDescr -> SDoc

data StandardFormInfo

StandardFormInfo tells whether this thunk has one of a small number of standard forms

Constructors

NonStandardThunk

SelectorThunk !WordOff

ApThunk !RepArity

Instances

Eq StandardFormInfo

Defined in GHC.StgToCmm.Types

Methods

(==) :: StandardFormInfo -> StandardFormInfo -> Bool

(/=) :: StandardFormInfo -> StandardFormInfo -> Bool

Outputable StandardFormInfo

Defined in GHC.StgToCmm.Types

Methods

ppr :: StandardFormInfo -> SDoc

type WordOff = Int

Word offset, or word count

type DoSCCProfiling = Bool

type DoExtDynRefs = Bool