| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
GHC.ByteCode.Types
Description
Bytecode assembler types
Synopsis
- data CompiledByteCode = CompiledByteCode {}
- seqCompiledByteCode :: CompiledByteCode -> ()
- newtype FFIInfo = FFIInfo (RemotePtr C_ffi_cif)
- newtype RegBitmap = RegBitmap {}
- data NativeCallType
- data NativeCallInfo = NativeCallInfo {}
- voidTupleReturnInfo :: NativeCallInfo
- voidPrimCallInfo :: NativeCallInfo
- newtype ByteOff = ByteOff Int
- newtype WordOff = WordOff Int
- newtype HalfWord = HalfWord Word
- data UnlinkedBCO = UnlinkedBCO {
- unlinkedBCOName :: !Name
- unlinkedBCOArity :: !Int
- unlinkedBCOInstrs :: !(UArray Int Word16)
- unlinkedBCOBitmap :: !(UArray Int Word64)
- unlinkedBCOLits :: !(SizedSeq BCONPtr)
- unlinkedBCOPtrs :: !(SizedSeq BCOPtr)
- data BCOPtr
- data BCONPtr
- type ItblEnv = NameEnv (Name, ItblPtr)
- newtype ItblPtr = ItblPtr (RemotePtr StgInfoTable)
- type AddrEnv = NameEnv (Name, AddrPtr)
- newtype AddrPtr = AddrPtr (RemotePtr ())
- data CgBreakInfo = CgBreakInfo {
- cgb_tyvars :: ![IfaceTvBndr]
- cgb_vars :: ![Maybe (IfaceIdBndr, Word)]
- cgb_resty :: !IfaceType
- 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
- modBreaks_module :: RemotePtr ModuleName
- type BreakIndex = Int
- emptyModBreaks :: ModBreaks
- data CCostCentre
Documentation
data CompiledByteCode Source #
Constructors
| CompiledByteCode | |
Instances
| Outputable CompiledByteCode Source # | |
Defined in GHC.ByteCode.Types Methods ppr :: CompiledByteCode -> SDoc Source # | |
seqCompiledByteCode :: CompiledByteCode -> () Source #
Constructors
| RegBitmap | |
Fields | |
Instances
data NativeCallType Source #
Constructors
| NativePrimCall | |
| NativeTupleReturn |
Instances
| Eq NativeCallType Source # | |
Defined in GHC.ByteCode.Types Methods (==) :: NativeCallType -> NativeCallType -> Bool # (/=) :: NativeCallType -> NativeCallType -> Bool # | |
data NativeCallInfo Source #
Constructors
| NativeCallInfo | |
Fields | |
Instances
| Outputable NativeCallInfo Source # | |
Defined in GHC.ByteCode.Types Methods ppr :: NativeCallInfo -> SDoc Source # | |
Instances
| Enum ByteOff Source # | |
Defined in GHC.ByteCode.Types Methods succ :: ByteOff -> ByteOff Source # pred :: ByteOff -> ByteOff Source # toEnum :: Int -> ByteOff Source # fromEnum :: ByteOff -> Int Source # enumFrom :: ByteOff -> [ByteOff] Source # enumFromThen :: ByteOff -> ByteOff -> [ByteOff] Source # enumFromTo :: ByteOff -> ByteOff -> [ByteOff] Source # enumFromThenTo :: ByteOff -> ByteOff -> ByteOff -> [ByteOff] Source # | |
| Num ByteOff Source # | |
Defined in GHC.ByteCode.Types | |
| Integral ByteOff Source # | |
Defined in GHC.ByteCode.Types Methods quot :: ByteOff -> ByteOff -> ByteOff Source # rem :: ByteOff -> ByteOff -> ByteOff Source # div :: ByteOff -> ByteOff -> ByteOff Source # mod :: ByteOff -> ByteOff -> ByteOff Source # quotRem :: ByteOff -> ByteOff -> (ByteOff, ByteOff) Source # | |
| Real ByteOff Source # | |
Defined in GHC.ByteCode.Types Methods toRational :: ByteOff -> Rational Source # | |
| Show ByteOff Source # | |
| Outputable ByteOff Source # | |
| Eq ByteOff Source # | |
| Ord ByteOff Source # | |
Instances
| Enum WordOff Source # | |
Defined in GHC.ByteCode.Types Methods succ :: WordOff -> WordOff Source # pred :: WordOff -> WordOff Source # toEnum :: Int -> WordOff Source # fromEnum :: WordOff -> Int Source # enumFrom :: WordOff -> [WordOff] Source # enumFromThen :: WordOff -> WordOff -> [WordOff] Source # enumFromTo :: WordOff -> WordOff -> [WordOff] Source # enumFromThenTo :: WordOff -> WordOff -> WordOff -> [WordOff] Source # | |
| Num WordOff Source # | |
Defined in GHC.ByteCode.Types | |
| Integral WordOff Source # | |
Defined in GHC.ByteCode.Types Methods quot :: WordOff -> WordOff -> WordOff Source # rem :: WordOff -> WordOff -> WordOff Source # div :: WordOff -> WordOff -> WordOff Source # mod :: WordOff -> WordOff -> WordOff Source # quotRem :: WordOff -> WordOff -> (WordOff, WordOff) Source # | |
| Real WordOff Source # | |
Defined in GHC.ByteCode.Types Methods toRational :: WordOff -> Rational Source # | |
| Show WordOff Source # | |
| Outputable WordOff Source # | |
| Eq WordOff Source # | |
| Ord WordOff Source # | |
Instances
data UnlinkedBCO Source #
Constructors
| UnlinkedBCO | |
Fields
| |
Instances
| NFData UnlinkedBCO Source # | |
Defined in GHC.ByteCode.Types Methods rnf :: UnlinkedBCO -> () Source # | |
| Outputable UnlinkedBCO Source # | |
Defined in GHC.ByteCode.Types Methods ppr :: UnlinkedBCO -> SDoc Source # | |
Constructors
| BCOPtrName !Name | |
| BCOPtrPrimOp !PrimOp | |
| BCOPtrBCO !UnlinkedBCO | |
| BCOPtrBreakArray |
Constructors
| BCONPtrWord !Word | |
| BCONPtrLbl !FastString | |
| BCONPtrItbl !Name | |
| BCONPtrAddr !Name | A reference to a top-level string literal; see Note [Generating code for top-level string literal bindings] in GHC.StgToByteCode. |
| BCONPtrStr !ByteString | Only used internally in the assembler in an intermediate representation; should never appear in a fully-assembled UnlinkedBCO. Also see Note [Allocating string literals] in GHC.ByteCode.Asm. |
Constructors
| ItblPtr (RemotePtr StgInfoTable) |
data CgBreakInfo Source #
Information about a breakpoint that we know at code-generation time
In order to be used, this needs to be hydrated relative to the current HscEnv by
hydrateCgBreakInfo. Everything here can be fully forced and that's critical for
preventing space leaks (see #22530)
Constructors
| CgBreakInfo | |
Fields
| |
Instances
| Outputable CgBreakInfo Source # | |
Defined in GHC.ByteCode.Types Methods ppr :: CgBreakInfo -> SDoc Source # | |
All the information about the breakpoints for a module
Constructors
| ModBreaks | |
Fields
| |
type BreakIndex = Int Source #
Breakpoint index
emptyModBreaks :: ModBreaks Source #
Construct an empty ModBreaks
data CCostCentre Source #
C CostCentre type