StgCmmClosure

Contents

• LambdaFormInfo
• ClosureInfo
  • Inspection
  • Labels
  • Predicates
• InfoTables

Synopsis

• type DynTag = Int
• tagForCon :: DataCon -> DynTag
• isSmallFamily :: Int -> Bool
• type ConTagZ = Int
• dataConTagZ :: DataCon -> ConTagZ
• isVoidRep :: PrimRep -> Bool
• isGcPtrRep :: PrimRep -> Bool
• addIdReps :: [Id] -> [(PrimRep, Id)]
• addArgReps :: [StgArg] -> [(PrimRep, StgArg)]
• argPrimRep :: StgArg -> PrimRep
• data LambdaFormInfo
• data StandardFormInfo
• mkLFThunk :: Type -> TopLevelFlag -> [Id] -> UpdateFlag -> LambdaFormInfo
• mkLFReEntrant :: TopLevelFlag -> [Id] -> [Id] -> ArgDescr -> LambdaFormInfo
• mkConLFInfo :: DataCon -> LambdaFormInfo
• mkSelectorLFInfo :: Id -> Int -> Bool -> LambdaFormInfo
• mkApLFInfo :: Id -> UpdateFlag -> Arity -> LambdaFormInfo
• mkLFImported :: Id -> LambdaFormInfo
• mkLFArgument :: Id -> LambdaFormInfo
• mkLFLetNoEscape :: LambdaFormInfo
• mkLFBlackHole :: LambdaFormInfo
• lfDynTag :: LambdaFormInfo -> DynTag
• maybeIsLFCon :: LambdaFormInfo -> Maybe DataCon
• isLFThunk :: LambdaFormInfo -> Bool
• isLFReEntrant :: LambdaFormInfo -> Bool
• lfUpdatable :: LambdaFormInfo -> Bool
• nodeMustPointToIt :: LambdaFormInfo -> Bool
• data CallMethod
  • = EnterIt
  • | JumpToIt
  • | ReturnIt
  • | SlowCall
  • | DirectEntry CLabel Int
• getCallMethod :: DynFlags -> Name -> CafInfo -> LambdaFormInfo -> Int -> CallMethod
• isKnownFun :: LambdaFormInfo -> Bool
• funTag :: ClosureInfo -> DynTag
• tagForArity :: Int -> DynTag
• data ClosureInfo
• mkClosureInfo :: Bool -> Id -> LambdaFormInfo -> Int -> Int -> C_SRT -> String -> ClosureInfo
• mkCmmInfo :: ClosureInfo -> CmmInfoTable
• closureLFInfo :: ClosureInfo -> LambdaFormInfo
• closureName :: ClosureInfo -> Name
• closureInfoLabel :: ClosureInfo -> CLabel
• staticClosureLabel :: Platform -> ClosureInfo -> CLabel
• closureRednCountsLabel :: Platform -> ClosureInfo -> CLabel
• closureSlowEntryLabel :: Platform -> ClosureInfo -> CLabel
• closureLocalEntryLabel :: Platform -> ClosureInfo -> CLabel
• closureUpdReqd :: ClosureInfo -> Bool
• closureSingleEntry :: ClosureInfo -> Bool
• closureReEntrant :: ClosureInfo -> Bool
• closureFunInfo :: ClosureInfo -> Maybe (Int, ArgDescr)
• isToplevClosure :: ClosureInfo -> Bool
• blackHoleOnEntry :: ClosureInfo -> Bool
• isStaticClosure :: ClosureInfo -> Bool
• mkDataConInfoTable :: DataCon -> Bool -> Int -> Int -> CmmInfoTable
• cafBlackHoleInfoTable :: CmmInfoTable
• staticClosureNeedsLink :: CmmInfoTable -> Bool

Documentation

LambdaFormInfo

ClosureInfo

Inspection

Labels

Predicates

InfoTables