ClosureInfo

Synopsis

• data ClosureInfo
  • = ClosureInfo {
    • closureName :: !Name
    • closureLFInfo :: !LambdaFormInfo
    • closureSMRep :: !SMRep
    • closureSRT :: !C_SRT
    • closureType :: !Type
    • closureDescr :: !String
    • closureInfLcl :: Bool
    }
  • | ConInfo {
    • closureCon :: !DataCon
    • closureSMRep :: !SMRep
    }
• data LambdaFormInfo
  • = LFReEntrant TopLevelFlag !Int !Bool ArgDescr
  • | LFCon DataCon
  • | LFThunk TopLevelFlag !Bool !Bool StandardFormInfo !Bool
  • | LFUnknown !Bool
  • | LFLetNoEscape !Int
  • | LFBlackHole
• data StandardFormInfo
  • = NonStandardThunk
  • | SelectorThunk WordOff
  • | ApThunk Int
• data SMRep
• data ArgDescr
  • = ArgSpec !StgHalfWord
  • | ArgGen Liveness
• type Liveness = [Bool]
• data C_SRT
  • = NoC_SRT
  • | C_SRT !CLabel !WordOff !StgHalfWord
• needsSRT :: C_SRT -> Bool
• mkLFThunk :: Type -> TopLevelFlag -> [Var] -> UpdateFlag -> LambdaFormInfo
• mkLFReEntrant :: TopLevelFlag -> [Id] -> [Id] -> ArgDescr -> LambdaFormInfo
• mkConLFInfo :: DataCon -> LambdaFormInfo
• mkSelectorLFInfo :: Id -> WordOff -> Bool -> LambdaFormInfo
• mkApLFInfo :: Id -> UpdateFlag -> Int -> LambdaFormInfo
• mkLFImported :: Id -> LambdaFormInfo
• mkLFArgument :: Id -> LambdaFormInfo
• mkLFLetNoEscape :: Int -> LambdaFormInfo
• mkClosureInfo :: Bool -> Id -> LambdaFormInfo -> Int -> Int -> C_SRT -> String -> ClosureInfo
• mkConInfo :: Bool -> DataCon -> Int -> Int -> ClosureInfo
• maybeIsLFCon :: LambdaFormInfo -> Maybe DataCon
• closureSize :: ClosureInfo -> WordOff
• type ConTagZ = Int
• dataConTagZ :: DataCon -> ConTagZ
• infoTableLabelFromCI :: ClosureInfo -> CLabel
• entryLabelFromCI :: ClosureInfo -> CLabel
• closureLabelFromCI :: ClosureInfo -> CLabel
• isLFThunk :: LambdaFormInfo -> Bool
• closureUpdReqd :: ClosureInfo -> Bool
• closureNeedsUpdSpace :: ClosureInfo -> Bool
• closureIsThunk :: ClosureInfo -> Bool
• closureSingleEntry :: ClosureInfo -> Bool
• closureReEntrant :: ClosureInfo -> Bool
• isConstrClosure_maybe :: ClosureInfo -> Maybe DataCon
• closureFunInfo :: ClosureInfo -> Maybe (Int, ArgDescr)
• isKnownFun :: LambdaFormInfo -> Bool
• funTag :: ClosureInfo -> Int
• funTagLFInfo :: LambdaFormInfo -> Int
• tagForArity :: Int -> Maybe Int
• clHasCafRefs :: ClosureInfo -> CafInfo
• enterIdLabel :: Name -> CafInfo -> CLabel
• enterLocalIdLabel :: Name -> CafInfo -> CLabel
• enterReturnPtLabel :: Unique -> CLabel
• nodeMustPointToIt :: LambdaFormInfo -> Bool
• data CallMethod
  • = EnterIt
  • | JumpToIt CLabel
  • | ReturnIt
  • | ReturnCon DataCon
  • | SlowCall
  • | DirectEntry CLabel Int
• getCallMethod :: DynFlags -> Name -> CafInfo -> LambdaFormInfo -> Int -> CallMethod
• blackHoleOnEntry :: ClosureInfo -> Bool
• staticClosureRequired :: Name -> StgBinderInfo -> LambdaFormInfo -> Bool
• isToplevClosure :: ClosureInfo -> Bool
• closureValDescr, closureTypeDescr :: ClosureInfo -> String
• isStaticClosure :: ClosureInfo -> Bool
• cafBlackHoleClosureInfo :: ClosureInfo -> ClosureInfo
• staticClosureNeedsLink :: ClosureInfo -> Bool
• data CgRep
  • = VoidArg
  • | PtrArg
  • | NonPtrArg
  • | LongArg
  • | FloatArg
  • | DoubleArg
• nonVoidArg :: CgRep -> Bool
• argMachRep :: CgRep -> CmmType
• primRepToCgRep :: PrimRep -> CgRep
• isFollowableArg :: CgRep -> Bool
• isVoidArg :: CgRep -> Bool
• isFloatingArg :: CgRep -> Bool
• is64BitArg :: CgRep -> Bool
• separateByPtrFollowness :: [(CgRep, a)] -> ([(CgRep, a)], [(CgRep, a)])
• cgRepSizeW :: CgRep -> ByteOff
• cgRepSizeB :: CgRep -> ByteOff
• retAddrSizeW :: WordOff
• typeCgRep :: Type -> CgRep
• idCgRep :: Id -> CgRep
• tyConCgRep :: TyCon -> CgRep

Documentation