Safe Haskell	None
Language	Haskell2010

ByteCodeTypes

Description

Bytecode assembler types

Synopsis

Documentation

data CompiledByteCode Source

Constructors

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

Instances

Outputable CompiledByteCode
Methods ppr :: CompiledByteCode -> SDoc Source pprPrec :: Rational -> CompiledByteCode -> SDoc Source

newtype FFIInfo Source

Constructors

FFIInfo (RemotePtr C_ffi_cif)

Instances

Show FFIInfo
Methods showsPrec :: Int -> FFIInfo -> ShowS Source show :: FFIInfo -> String Source showList :: [FFIInfo] -> ShowS Source

data UnlinkedBCO Source

Constructors

UnlinkedBCO
Fields unlinkedBCOName :: Name unlinkedBCOArity :: Int unlinkedBCOInstrs :: UArray Int Word16 unlinkedBCOBitmap :: UArray Int Word unlinkedBCOLits :: SizedSeq BCONPtr unlinkedBCOPtrs :: SizedSeq BCOPtr

Instances

Outputable UnlinkedBCO
Methods ppr :: UnlinkedBCO -> SDoc Source pprPrec :: Rational -> UnlinkedBCO -> SDoc Source

data BCOPtr Source

Constructors

BCOPtrName Name
BCOPtrPrimOp PrimOp
BCOPtrBCO UnlinkedBCO
BCOPtrBreakArray

data BCONPtr Source

Constructors

BCONPtrWord Word
BCONPtrLbl FastString
BCONPtrItbl Name
BCONPtrStr ByteString

type ItblEnv = NameEnv (Name, ItblPtr) Source

newtype ItblPtr Source

Constructors

ItblPtr (RemotePtr StgInfoTable)

Instances

Show ItblPtr
Methods showsPrec :: Int -> ItblPtr -> ShowS Source show :: ItblPtr -> String Source showList :: [ItblPtr] -> ShowS Source

data CgBreakInfo Source

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

Constructors

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

Instances

Outputable CgBreakInfo
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