| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
SMRep
Contents
- data StgWord
- fromStgWord :: StgWord -> Integer
- toStgWord :: DynFlags -> Integer -> StgWord
- data StgHalfWord
- fromStgHalfWord :: StgHalfWord -> Integer
- toStgHalfWord :: DynFlags -> Integer -> StgHalfWord
- hALF_WORD_SIZE :: DynFlags -> ByteOff
- hALF_WORD_SIZE_IN_BITS :: DynFlags -> Int
- type WordOff = Int
- type ByteOff = Int
- roundUpToWords :: DynFlags -> ByteOff -> ByteOff
- data SMRep
- type IsStatic = Bool
- data ClosureTypeInfo
- = Constr ConstrTag ConstrDescription
- | Fun FunArity ArgDescr
- | Thunk
- | ThunkSelector SelectorOffset
- | BlackHole
- | IndStatic
- data ArgDescr
- type Liveness = [Bool]
- type ConstrDescription = [Word8]
- mkHeapRep :: DynFlags -> IsStatic -> WordOff -> WordOff -> ClosureTypeInfo -> SMRep
- blackHoleRep :: SMRep
- indStaticRep :: SMRep
- mkStackRep :: [Bool] -> SMRep
- mkRTSRep :: Int -> SMRep -> SMRep
- isStaticRep :: SMRep -> IsStatic
- isConRep :: SMRep -> Bool
- isThunkRep :: SMRep -> Bool
- isFunRep :: SMRep -> Bool
- isStaticNoCafCon :: SMRep -> Bool
- isStackRep :: SMRep -> Bool
- heapClosureSize :: DynFlags -> SMRep -> WordOff
- fixedHdrSize :: DynFlags -> WordOff
- arrWordsHdrSize :: DynFlags -> ByteOff
- arrPtrsHdrSize :: DynFlags -> ByteOff
- profHdrSize :: DynFlags -> WordOff
- thunkHdrSize :: DynFlags -> WordOff
- nonHdrSize :: SMRep -> WordOff
- rtsClosureType :: SMRep -> Int
- rET_SMALL :: Int
- rET_BIG :: Int
- aRG_GEN :: Int
- aRG_GEN_BIG :: Int
- pprWord8String :: [Word8] -> SDoc
- stringToWord8s :: String -> [Word8]
Words and bytes
fromStgWord :: StgWord -> Integer Source
data StgHalfWord Source
Instances
toStgHalfWord :: DynFlags -> Integer -> StgHalfWord Source
hALF_WORD_SIZE :: DynFlags -> ByteOff Source
roundUpToWords :: DynFlags -> ByteOff -> ByteOff Source
Closure repesentation
A description of the layout of a closure. Corresponds directly to the closure types in includesrtsstorage/ClosureTypes.h.
Instances
True = This is a static closure. Affects how we garbage-collect it. Static closure have an extra static link field at the end.
data ClosureTypeInfo Source
Constructors
| Constr ConstrTag ConstrDescription | |
| Fun FunArity ArgDescr | |
| Thunk | |
| ThunkSelector SelectorOffset | |
| BlackHole | |
| IndStatic |
Instances
type ConstrDescription = [Word8] Source
Construction
mkStackRep :: [Bool] -> SMRep Source
Predicates
isStaticRep :: SMRep -> IsStatic Source
isThunkRep :: SMRep -> Bool Source
isStaticNoCafCon :: SMRep -> Bool Source
isStackRep :: SMRep -> Bool Source
Size-related things
heapClosureSize :: DynFlags -> SMRep -> WordOff Source
fixedHdrSize :: DynFlags -> WordOff Source
Size of a closure header (StgHeader in includesrtsstorage/Closures.h)
arrWordsHdrSize :: DynFlags -> ByteOff Source
arrPtrsHdrSize :: DynFlags -> ByteOff Source
profHdrSize :: DynFlags -> WordOff Source
Size of the profiling part of a closure header (StgProfHeader in includesrtsstorage/Closures.h)
thunkHdrSize :: DynFlags -> WordOff Source
nonHdrSize :: SMRep -> WordOff Source
RTS closure types
rtsClosureType :: SMRep -> Int Source
Derives the RTS closure type from an SMRep
aRG_GEN_BIG :: Int Source
Operations over [Word8] strings that don't belong here
pprWord8String :: [Word8] -> SDoc Source
stringToWord8s :: String -> [Word8] Source