Safe Haskell | None |
---|---|
Language | Haskell2010 |
- 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 :: [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
- lfDynTag :: DynFlags -> LambdaFormInfo -> DynTag
- maybeIsLFCon :: LambdaFormInfo -> Maybe DataCon
- isLFThunk :: LambdaFormInfo -> Bool
- isLFReEntrant :: LambdaFormInfo -> Bool
- lfUpdatable :: LambdaFormInfo -> Bool
- data CgLoc
- type SelfLoopInfo = (Id, BlockId, [LocalReg])
- data CallMethod
- 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
dataConTagZ :: DataCon -> ConTagZ Source #
isGcPtrRep :: PrimRep -> Bool Source #
argPrimRep :: StgArg -> PrimRep Source #
LambdaFormInfo
data LambdaFormInfo Source #
data StandardFormInfo Source #
mkLFThunk :: Type -> TopLevelFlag -> [Id] -> UpdateFlag -> LambdaFormInfo Source #
mkLFReEntrant :: TopLevelFlag -> [Id] -> [Id] -> ArgDescr -> LambdaFormInfo Source #
mkConLFInfo :: DataCon -> LambdaFormInfo Source #
mkSelectorLFInfo :: Id -> Int -> Bool -> LambdaFormInfo Source #
mkApLFInfo :: Id -> UpdateFlag -> Arity -> LambdaFormInfo Source #
mkLFImported :: Id -> LambdaFormInfo Source #
mkLFArgument :: Id -> LambdaFormInfo Source #
isLFThunk :: LambdaFormInfo -> Bool Source #
isLFReEntrant :: LambdaFormInfo -> Bool Source #
lfUpdatable :: LambdaFormInfo -> Bool Source #
Used by other modules
data CallMethod Source #
nodeMustPointToIt :: DynFlags -> LambdaFormInfo -> Bool Source #
isKnownFun :: LambdaFormInfo -> Bool Source #
getCallMethod :: DynFlags -> Name -> Id -> LambdaFormInfo -> RepArity -> RepArity -> CgLoc -> Maybe SelfLoopInfo -> CallMethod Source #
ClosureInfo
data ClosureInfo Source #
mkClosureInfo :: DynFlags -> Bool -> Id -> LambdaFormInfo -> Int -> Int -> String -> ClosureInfo Source #
mkCmmInfo :: ClosureInfo -> CmmInfoTable Source #
Convert from ClosureInfo
to CmmInfoTable
.
Inspection
closureName :: ClosureInfo -> Name Source #
Labels
closureInfoLabel :: ClosureInfo -> CLabel Source #
closureLocalEntryLabel :: DynFlags -> ClosureInfo -> CLabel Source #
Predicates
closureUpdReqd :: ClosureInfo -> Bool Source #
closureSingleEntry :: ClosureInfo -> Bool Source #
closureReEntrant :: ClosureInfo -> Bool Source #
closureFunInfo :: ClosureInfo -> Maybe (RepArity, ArgDescr) Source #
isToplevClosure :: ClosureInfo -> Bool Source #
blackHoleOnEntry :: ClosureInfo -> Bool Source #
isStaticClosure :: ClosureInfo -> Bool Source #
InfoTables
mkDataConInfoTable :: DynFlags -> DataCon -> Bool -> Int -> Int -> CmmInfoTable Source #
staticClosureNeedsLink :: Bool -> CmmInfoTable -> Bool Source #