Safe Haskell	None
Language	Haskell2010

SMRep

Contents

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

Synopsis

type WordOff = Int
type ByteOff = Int
wordsToBytes :: Num a => DynFlags -> a -> a
bytesToWordsRoundUp :: DynFlags -> ByteOff -> WordOff
roundUpToWords :: DynFlags -> ByteOff -> ByteOff
roundUpTo :: ByteOff -> ByteOff -> ByteOff
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
data SMRep
- = HeapRep IsStatic !WordOff !WordOff ClosureTypeInfo
- | ArrayPtrsRep !WordOff !WordOff
- | SmallArrayPtrsRep !WordOff
- | ArrayWordsRep !WordOff
- | StackRep Liveness
- | RTSRep Int SMRep
type IsStatic = Bool
data ClosureTypeInfo
- = Constr ConTagZ ConstrDescription
- | Fun FunArity ArgDescr
- | Thunk
- | ThunkSelector SelectorOffset
- | BlackHole
- | IndStatic
data ArgDescr
- = ArgSpec !Int
- | ArgGen Liveness
type Liveness = [Bool]
type ConstrDescription = [Word8]
mkHeapRep :: DynFlags -> IsStatic -> WordOff -> WordOff -> ClosureTypeInfo -> SMRep
blackHoleRep :: SMRep
indStaticRep :: SMRep
mkStackRep :: [Bool] -> SMRep
mkRTSRep :: Int -> SMRep -> SMRep
arrPtrsRep :: DynFlags -> WordOff -> SMRep
smallArrPtrsRep :: WordOff -> SMRep
arrWordsRep :: DynFlags -> ByteOff -> SMRep
isStaticRep :: SMRep -> IsStatic
isConRep :: SMRep -> Bool
isThunkRep :: SMRep -> Bool
isFunRep :: SMRep -> Bool
isStaticNoCafCon :: SMRep -> Bool
isStackRep :: SMRep -> Bool
heapClosureSizeW :: DynFlags -> SMRep -> WordOff
fixedHdrSizeW :: DynFlags -> WordOff
arrWordsHdrSize :: DynFlags -> ByteOff
arrWordsHdrSizeW :: DynFlags -> WordOff
arrPtrsHdrSize :: DynFlags -> ByteOff
arrPtrsHdrSizeW :: DynFlags -> WordOff
profHdrSize :: DynFlags -> WordOff
thunkHdrSize :: DynFlags -> WordOff
nonHdrSize :: DynFlags -> SMRep -> ByteOff
nonHdrSizeW :: SMRep -> WordOff
smallArrPtrsHdrSize :: DynFlags -> ByteOff
smallArrPtrsHdrSizeW :: DynFlags -> WordOff
hdrSize :: DynFlags -> SMRep -> ByteOff
hdrSizeW :: DynFlags -> SMRep -> WordOff
fixedHdrSize :: DynFlags -> ByteOff
rtsClosureType :: SMRep -> Int
rET_SMALL :: Int
rET_BIG :: Int
aRG_GEN :: Int
aRG_GEN_BIG :: Int
card :: DynFlags -> Int -> Int
cardRoundUp :: DynFlags -> Int -> Int
cardTableSizeB :: DynFlags -> Int -> ByteOff
cardTableSizeW :: DynFlags -> Int -> WordOff
pprWord8String :: [Word8] -> SDoc
stringToWord8s :: String -> [Word8]

Words and bytes

type WordOff = Int Source #

Word offset, or word count

type ByteOff = Int Source #

Byte offset, or byte count

wordsToBytes :: Num a => DynFlags -> a -> a Source #

Convert the given number of words to a number of bytes.

This function morally has type WordOff -> ByteOff, but uses Num a to allow for overloading.

bytesToWordsRoundUp :: DynFlags -> ByteOff -> WordOff Source #

First round the given byte count up to a multiple of the machine's word size and then convert the result to words.

roundUpToWords :: DynFlags -> ByteOff -> ByteOff Source #

Round up the given byte count to the next byte count that's a multiple of the machine's word size.

roundUpTo :: ByteOff -> ByteOff -> ByteOff Source #

Round up base to a multiple of size.

data StgWord Source #

Instances

Eq StgWord Source #
Instance details Defined in SMRep Methods (==) :: StgWord -> StgWord -> Bool # (/=) :: StgWord -> StgWord -> Bool #
Bits StgWord Source #
Instance details Defined in SMRep Methods (.&.) :: StgWord -> StgWord -> StgWord # (.\|.) :: StgWord -> StgWord -> StgWord # xor :: StgWord -> StgWord -> StgWord # complement :: StgWord -> StgWord # shift :: StgWord -> Int -> StgWord # rotate :: StgWord -> Int -> StgWord # zeroBits :: StgWord # bit :: Int -> StgWord # setBit :: StgWord -> Int -> StgWord # clearBit :: StgWord -> Int -> StgWord # complementBit :: StgWord -> Int -> StgWord # testBit :: StgWord -> Int -> Bool # bitSizeMaybe :: StgWord -> Maybe Int # bitSize :: StgWord -> Int # isSigned :: StgWord -> Bool # shiftL :: StgWord -> Int -> StgWord # unsafeShiftL :: StgWord -> Int -> StgWord # shiftR :: StgWord -> Int -> StgWord # unsafeShiftR :: StgWord -> Int -> StgWord # rotateL :: StgWord -> Int -> StgWord # rotateR :: StgWord -> Int -> StgWord # popCount :: StgWord -> Int #
Outputable StgWord Source #
Instance details Defined in SMRep Methods ppr :: StgWord -> SDoc # pprPrec :: Rational -> StgWord -> SDoc #

fromStgWord :: StgWord -> Integer Source #

toStgWord :: DynFlags -> Integer -> StgWord Source #

data StgHalfWord Source #

Instances

Eq StgHalfWord Source #
Instance details Defined in SMRep Methods (==) :: StgHalfWord -> StgHalfWord -> Bool # (/=) :: StgHalfWord -> StgHalfWord -> Bool #
Outputable StgHalfWord Source #
Instance details Defined in SMRep Methods ppr :: StgHalfWord -> SDoc # pprPrec :: Rational -> StgHalfWord -> SDoc #

fromStgHalfWord :: StgHalfWord -> Integer Source #

toStgHalfWord :: DynFlags -> Integer -> StgHalfWord Source #

hALF_WORD_SIZE :: DynFlags -> ByteOff Source #

hALF_WORD_SIZE_IN_BITS :: DynFlags -> Int 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
ArrayPtrsRep !WordOff !WordOff
SmallArrayPtrsRep !WordOff
ArrayWordsRep !WordOff
StackRep Liveness
RTSRep Int SMRep

Instances

Outputable SMRep Source #
Instance details Defined in SMRep Methods ppr :: SMRep -> SDoc # pprPrec :: Rational -> SMRep -> SDoc #

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. Constructors do not have a static variant; see Note [static constructors]

data ClosureTypeInfo Source #

Constructors

Constr ConTagZ ConstrDescription
Fun FunArity ArgDescr
Thunk
ThunkSelector SelectorOffset
BlackHole
IndStatic

Instances

Outputable ClosureTypeInfo Source #
Instance details Defined in SMRep Methods ppr :: ClosureTypeInfo -> SDoc # pprPrec :: Rational -> ClosureTypeInfo -> SDoc #