Safe Haskell	None
Language	Haskell98

SMRep

Contents

Words and bytes
Closure repesentation
Operations over [Word8] strings that don't belong here

Synopsis

Words and bytes

data StgWord Source

Instances

Eq StgWord
Bits StgWord
Outputable StgWord

fromStgWord :: StgWord -> Integer Source

toStgWord :: DynFlags -> Integer -> StgWord Source

data StgHalfWord Source

Instances

Eq StgHalfWord
Outputable StgHalfWord

fromStgHalfWord :: StgHalfWord -> Integer Source

toStgHalfWord :: DynFlags -> Integer -> StgHalfWord Source

hALF_WORD_SIZE :: DynFlags -> ByteOff Source

hALF_WORD_SIZE_IN_BITS :: DynFlags -> Int Source

type WordOff = Int Source

type ByteOff = Int Source

roundUpToWords :: DynFlags -> ByteOff -> ByteOff Source

Closure repesentation

data SMRep Source

A description of the layout of a closure. Corresponds directly to the closure types in includesrtsstorage/ClosureTypes.h.

Constructors

HeapRep IsStatic !WordOff !WordOff ClosureTypeInfo
StackRep Liveness
RTSRep Int SMRep

Instances

Outputable SMRep

type IsStatic = Bool Source

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

Outputable ClosureTypeInfo

data ArgDescr Source

Constructors

ArgSpec !Int
ArgGen Liveness

Instances

Outputable ArgDescr

type Liveness = [Bool]Source

type ConstrDescription = [Word8]Source

Construction

mkHeapRep :: DynFlags -> IsStatic -> WordOff -> WordOff -> ClosureTypeInfo -> SMRep Source

blackHoleRep :: SMRep Source

indStaticRep :: SMRep Source

mkStackRep :: [Bool] -> SMRep Source

mkRTSRep :: Int -> SMRep -> SMRep Source

Predicates

isStaticRep :: SMRep -> IsStatic Source

isConRep :: SMRep -> Bool Source

isThunkRep :: SMRep -> Bool Source

isFunRep :: 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

rET_SMALL :: Int Source

rET_BIG :: Int Source

aRG_GEN :: Int Source

aRG_GEN_BIG :: Int Source

Operations over [Word8] strings that don't belong here

pprWord8String :: [Word8] -> SDoc Source

stringToWord8s :: String -> [Word8]Source