StgCmmClosure

Contents

• LambdaFormInfo
• Used by other modules
• ClosureInfo
  • Inspection
  • Labels
  • Predicates
• InfoTables

Synopsis

• type DynTag = Int
• tagForCon :: DynFlags -> DataCon -> DynTag
• isSmallFamily :: DynFlags -> Int -> Bool
• type ConTagZ = Int
• dataConTagZ :: DataCon -> ConTagZ
• idPrimRep :: Id -> PrimRep
• isVoidRep :: PrimRep -> Bool
• isGcPtrRep :: PrimRep -> Bool
• addIdReps :: [NonVoid Id] -> [NonVoid (PrimRep, Id)]
• addArgReps :: [NonVoid StgArg] -> [NonVoid (PrimRep, StgArg)]
• argPrimRep :: StgArg -> PrimRep
• newtype NonVoid a = NonVoid a
• fromNonVoid :: NonVoid a -> a
• nonVoidIds :: [Id] -> [NonVoid Id]
• nonVoidStgArgs :: [StgArg] -> [NonVoid StgArg]
• assertNonVoidIds :: [Id] -> [NonVoid Id]
• assertNonVoidStgArgs :: [StgArg] -> [NonVoid StgArg]
• 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
• mkLFStringLit :: LambdaFormInfo
• lfDynTag :: DynFlags -> LambdaFormInfo -> DynTag
• maybeIsLFCon :: LambdaFormInfo -> Maybe DataCon
• isLFThunk :: LambdaFormInfo -> Bool
• isLFReEntrant :: LambdaFormInfo -> Bool
• lfUpdatable :: LambdaFormInfo -> Bool
• data CgLoc
  • = CmmLoc CmmExpr
  • | LneLoc BlockId [LocalReg]
• type SelfLoopInfo = (Id, BlockId, [LocalReg])
• data CallMethod
  • = EnterIt
  • | JumpToIt BlockId [LocalReg]
  • | ReturnIt
  • | SlowCall
  • | DirectEntry CLabel RepArity
• nodeMustPointToIt :: DynFlags -> LambdaFormInfo -> Bool
• isKnownFun :: LambdaFormInfo -> Bool
• funTag :: DynFlags -> ClosureInfo -> DynTag
• tagForArity :: DynFlags -> RepArity -> DynTag
• getCallMethod :: DynFlags -> Name -> Id -> LambdaFormInfo -> RepArity -> RepArity -> CgLoc -> Maybe SelfLoopInfo -> CallMethod
• data ClosureInfo
• mkClosureInfo :: DynFlags -> Bool -> Id -> LambdaFormInfo -> Int -> Int -> String -> ClosureInfo
• mkCmmInfo :: ClosureInfo -> CmmInfoTable
• closureLFInfo :: ClosureInfo -> LambdaFormInfo
• closureName :: ClosureInfo -> Name
• closureInfoLabel :: ClosureInfo -> CLabel
• staticClosureLabel :: ClosureInfo -> CLabel
• closureSlowEntryLabel :: ClosureInfo -> CLabel
• closureLocalEntryLabel :: DynFlags -> ClosureInfo -> CLabel
• closureUpdReqd :: ClosureInfo -> Bool
• closureSingleEntry :: ClosureInfo -> Bool
• closureReEntrant :: ClosureInfo -> Bool
• closureFunInfo :: ClosureInfo -> Maybe (RepArity, ArgDescr)
• isToplevClosure :: ClosureInfo -> Bool
• blackHoleOnEntry :: ClosureInfo -> Bool
• isStaticClosure :: ClosureInfo -> Bool
• mkDataConInfoTable :: DynFlags -> DataCon -> Bool -> Int -> Int -> CmmInfoTable
• cafBlackHoleInfoTable :: CmmInfoTable
• indStaticInfoTable :: CmmInfoTable
• staticClosureNeedsLink :: Bool -> CmmInfoTable -> Bool

Documentation

LambdaFormInfo

Used by other modules

ClosureInfo

Inspection

Labels

Predicates

InfoTables