Safe Haskell	None
Language	Haskell2010

ByteCodeTypes

Description

Bytecode assembler types

Synopsis

data CompiledByteCode = CompiledByteCode {
- bc_bcos :: [UnlinkedBCO]
- bc_itbls :: ItblEnv
- bc_ffis :: [FFIInfo]
- bc_strs :: [RemotePtr ()]
- bc_breaks :: Maybe ModBreaks
}
seqCompiledByteCode :: CompiledByteCode -> ()
newtype FFIInfo = FFIInfo (RemotePtr C_ffi_cif)
data UnlinkedBCO = UnlinkedBCO {
- unlinkedBCOName :: !Name
- unlinkedBCOArity :: !Int
- unlinkedBCOInstrs :: !(UArray Int Word16)
- unlinkedBCOBitmap :: !(UArray Int Word64)
- unlinkedBCOLits :: !(SizedSeq BCONPtr)
- unlinkedBCOPtrs :: !(SizedSeq BCOPtr)
}
data BCOPtr
- = BCOPtrName !Name
- | BCOPtrPrimOp !PrimOp
- | BCOPtrBCO !UnlinkedBCO
- | BCOPtrBreakArray
data BCONPtr
- = BCONPtrWord !Word
- | BCONPtrLbl !FastString
- | BCONPtrItbl !Name
- | BCONPtrStr !ByteString
type ItblEnv = NameEnv (Name, ItblPtr)
newtype ItblPtr = ItblPtr (RemotePtr StgInfoTable)
data CgBreakInfo = CgBreakInfo {
- cgb_vars :: [Maybe (Id, Word16)]
- cgb_resty :: Type
}
data ModBreaks = ModBreaks {
- modBreaks_flags :: ForeignRef BreakArray
- modBreaks_locs :: !(Array BreakIndex SrcSpan)
- modBreaks_vars :: !(Array BreakIndex [OccName])
- modBreaks_decls :: !(Array BreakIndex [String])
- modBreaks_ccs :: !(Array BreakIndex (RemotePtr CostCentre))
- modBreaks_breakInfo :: IntMap CgBreakInfo
}
type BreakIndex = Int
emptyModBreaks :: ModBreaks
data CCostCentre

Documentation

data CompiledByteCode Source #

Constructors

CompiledByteCode
Fields bc_bcos :: [UnlinkedBCO] bc_itbls :: ItblEnv bc_ffis :: [FFIInfo] bc_strs :: [RemotePtr ()] bc_breaks :: Maybe ModBreaks

Instances

Instances details

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

seqCompiledByteCode :: CompiledByteCode -> () Source #

newtype FFIInfo Source #

Constructors

FFIInfo (RemotePtr C_ffi_cif)

Instances

Instances details

Show FFIInfo Source #
Instance details Defined in ByteCodeTypes Methods showsPrec :: Int -> FFIInfo -> ShowS # show :: FFIInfo -> String # showList :: [FFIInfo] -> ShowS #
NFData FFIInfo Source #
Instance details Defined in ByteCodeTypes Methods rnf :: FFIInfo -> () #

data UnlinkedBCO Source #

Constructors

UnlinkedBCO
Fields unlinkedBCOName :: !Name unlinkedBCOArity :: !Int unlinkedBCOInstrs :: !(UArray Int Word16) unlinkedBCOBitmap :: !(UArray Int Word64) unlinkedBCOLits :: !(SizedSeq BCONPtr) unlinkedBCOPtrs :: !(SizedSeq BCOPtr)

Instances

Instances details

NFData UnlinkedBCO Source #
Instance details Defined in ByteCodeTypes Methods rnf :: UnlinkedBCO -> () #
Outputable UnlinkedBCO Source #
Instance details Defined in ByteCodeTypes Methods ppr :: UnlinkedBCO -> SDoc Source # pprPrec :: Rational -> UnlinkedBCO -> SDoc Source #

data BCOPtr Source #

Constructors

BCOPtrName !Name
BCOPtrPrimOp !PrimOp
BCOPtrBCO !UnlinkedBCO
BCOPtrBreakArray

Instances

Instances details

NFData BCOPtr Source #
Instance details Defined in ByteCodeTypes Methods rnf :: BCOPtr -> () #

data BCONPtr Source #

Constructors

BCONPtrWord !Word
BCONPtrLbl !FastString
BCONPtrItbl !Name
BCONPtrStr !ByteString

Instances

Instances details

NFData BCONPtr Source #
Instance details Defined in ByteCodeTypes Methods rnf :: BCONPtr -> () #

type ItblEnv = NameEnv (Name, ItblPtr) Source #

newtype ItblPtr Source #

Constructors

ItblPtr (RemotePtr StgInfoTable)

Instances

Instances details

Show ItblPtr Source #
Instance details Defined in ByteCodeTypes Methods showsPrec :: Int -> ItblPtr -> ShowS # show :: ItblPtr -> String # showList :: [ItblPtr] -> ShowS #
NFData ItblPtr Source #
Instance details Defined in ByteCodeTypes Methods rnf :: ItblPtr -> () #

data CgBreakInfo Source #

Information about a breakpoint that we know at code-generation time

Constructors

CgBreakInfo
Fields cgb_vars :: [Maybe (Id, Word16)] cgb_resty :: Type

Instances

Instances details

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

data ModBreaks Source #

All the information about the breakpoints for a module

Constructors

ModBreaks

Fields

modBreaks_flags :: ForeignRef BreakArray
The array of flags, one per breakpoint, indicating which breakpoints are enabled.
modBreaks_locs :: !(Array BreakIndex SrcSpan)
An array giving the source span of each breakpoint.
modBreaks_vars :: !(Array BreakIndex [OccName])
An array giving the names of the free variables at each breakpoint.
modBreaks_decls :: !(Array BreakIndex [String])
An array giving the names of the declarations enclosing each breakpoint.
modBreaks_ccs :: !(Array BreakIndex (RemotePtr CostCentre))
Array pointing to cost centre for each breakpoint
modBreaks_breakInfo :: IntMap CgBreakInfo
info about each breakpoint from the bytecode generator

type BreakIndex = Int Source #

Breakpoint index

emptyModBreaks :: ModBreaks Source #

Construct an empty ModBreaks

data CCostCentre Source #

C CostCentre type