Safe Haskell	None
Language	Haskell2010

GHCi.ResolvedBCO

Synopsis

data ResolvedBCO
- = ResolvedBCO {
  - resolvedBCOIsLE :: !Bool
  - resolvedBCOArity :: !Int
  - resolvedBCOInstrs :: !(BCOByteArray Word16)
  - resolvedBCOBitmap :: !(BCOByteArray Word)
  - resolvedBCOLits :: !(BCOByteArray Word)
  - resolvedBCOPtrs :: !(SmallArray ResolvedBCOPtr)
  }
- | ResolvedStaticCon {
  - resolvedBCOIsLE :: !Bool
  - resolvedStaticConInfoPtr :: !(RemotePtr StgInfoTable)
  - resolvedStaticConArity :: !Word
  - resolvedStaticConLits :: !(BCOByteArray Word)
  - resolvedStaticConPtrs :: !(SmallArray ResolvedBCOPtr)
  - resolvedStaticConIsUnlifted :: !Bool
  }
data ResolvedBCOPtr
- = ResolvedBCORef !Int
- | ResolvedBCOPtr !(RemoteRef HValue)
- | ResolvedBCOStaticPtr !(RemotePtr ())
- | ResolvedBCOPtrBCO ResolvedBCO
- | ResolvedBCOPtrBreakArray !(RemoteRef BreakArray)
- | ResolvedStaticConRef !Int
- | ResolvedUnliftedStaticConRef !Int
isLittleEndian :: Bool
data BCOByteArray a = BCOByteArray {
- getBCOByteArray :: !ByteArray#
}
mkBCOByteArray :: UArray Int a -> BCOByteArray a

Documentation

data ResolvedBCO Source #

A ResolvedBCO is one in which all the Name references have been resolved to actual addresses or RemoteHValues.

Constructors

ResolvedBCO
Fields resolvedBCOIsLE :: !Bool resolvedBCOArity :: !Int resolvedBCOInstrs :: !(BCOByteArray Word16) insns resolvedBCOBitmap :: !(BCOByteArray Word) bitmap resolvedBCOLits :: !(BCOByteArray Word) non-ptrs - subword sized entries still take up a full (host) word resolvedBCOPtrs :: !(SmallArray ResolvedBCOPtr) ptrs
ResolvedStaticCon	A resolved static constructor See Note [Static constructors in Bytecode]
Fields resolvedBCOIsLE :: !Bool resolvedStaticConInfoPtr :: !(RemotePtr StgInfoTable) resolvedStaticConArity :: !Word how many words are used for the payload of the static constructor (size of ptrs and (packed) non-ptrs combined) resolvedStaticConLits :: !(BCOByteArray Word) Notably, sub-word non-ptr arguments and padding have already been packed into full words, and this array only stores the full final words to write as the constructor payload. This is opposed to what we do for BCO literals, where we keep sub-word literals as full words. For static constructors, the layout must match exactly what the NCG also expects, so we must pack sub-words accordingly for compatibility between interpreted and compiled code. resolvedStaticConPtrs :: !(SmallArray ResolvedBCOPtr) resolvedStaticConIsUnlifted :: !Bool

Instances

Instances details

Binary ResolvedBCO Source #

The Binary instance for ResolvedBCOs.

Note, that we do encode the endianness, however there is no support for mixed endianness setups. This is primarily to ensure that ghc and iserv share the same endianness.

Instance details

Defined in GHCi.ResolvedBCO

Methods

put :: ResolvedBCO -> Put Source #

get :: Get ResolvedBCO Source #

putList :: [ResolvedBCO] -> Put Source #

Generic ResolvedBCO Source #

Instance details

Defined in GHCi.ResolvedBCO

Associated Types

type Rep ResolvedBCO

Instance details

Defined in GHCi.ResolvedBCO

Methods

from :: ResolvedBCO -> Rep ResolvedBCO x Source #

to :: Rep ResolvedBCO x -> ResolvedBCO Source #

Show ResolvedBCO Source #

Instance details

Defined in GHCi.ResolvedBCO

Methods

showsPrec :: Int -> ResolvedBCO -> ShowS Source #

show :: ResolvedBCO -> String Source #

showList :: [ResolvedBCO] -> ShowS Source #

type Rep ResolvedBCO Source #

Instance details

Defined in GHCi.ResolvedBCO

data ResolvedBCOPtr Source #

Constructors

ResolvedBCORef !Int	reference to the Nth BCO in the current set of BCOs and lifted static constructors
ResolvedBCOPtr !(RemoteRef HValue)	reference to a previously created BCO
ResolvedBCOStaticPtr !(RemotePtr ())	reference to a static ptr
ResolvedBCOPtrBCO ResolvedBCO	a nested BCO
ResolvedBCOPtrBreakArray !(RemoteRef BreakArray)	Resolves to the MutableArray# inside the BreakArray
ResolvedStaticConRef !Int	reference to the Nth static constructor in the current set of BCOs and lifted static constructors
ResolvedUnliftedStaticConRef !Int	reference to the Nth unlifted static constructor in the current set of exclusively unlifted static constructors

Instances

Instances details

Binary ResolvedBCOPtr Source #

Instance details

Defined in GHCi.ResolvedBCO

Methods

put :: ResolvedBCOPtr -> Put Source #

get :: Get ResolvedBCOPtr Source #

putList :: [ResolvedBCOPtr] -> Put Source #

Generic ResolvedBCOPtr Source #

Instance details

Defined in GHCi.ResolvedBCO

Associated Types

type Rep ResolvedBCOPtr

Instance details

Defined in GHCi.ResolvedBCO

type Rep ResolvedBCOPtr = D1 ('MetaData "ResolvedBCOPtr" "GHCi.ResolvedBCO" "ghci-10.0.0.20260917-0599" 'False) ((C1 ('MetaCons "ResolvedBCORef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int)) :+: (C1 ('MetaCons "ResolvedBCOPtr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (RemoteRef HValue))) :+: C1 ('MetaCons "ResolvedBCOStaticPtr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (RemotePtr ()))))) :+: ((C1 ('MetaCons "ResolvedBCOPtrBCO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ResolvedBCO)) :+: C1 ('MetaCons "ResolvedBCOPtrBreakArray" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (RemoteRef BreakArray)))) :+: (C1 ('MetaCons "ResolvedStaticConRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int)) :+: C1 ('MetaCons "ResolvedUnliftedStaticConRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int)))))

Methods

from :: ResolvedBCOPtr -> Rep ResolvedBCOPtr x Source #

to :: Rep ResolvedBCOPtr x -> ResolvedBCOPtr Source #

Show ResolvedBCOPtr Source #

Instance details

Defined in GHCi.ResolvedBCO

Methods

showsPrec :: Int -> ResolvedBCOPtr -> ShowS Source #

show :: ResolvedBCOPtr -> String Source #

showList :: [ResolvedBCOPtr] -> ShowS Source #

type Rep ResolvedBCOPtr Source #

Instance details

Defined in GHCi.ResolvedBCO

type Rep ResolvedBCOPtr = D1 ('MetaData "ResolvedBCOPtr" "GHCi.ResolvedBCO" "ghci-10.0.0.20260917-0599" 'False) ((C1 ('MetaCons "ResolvedBCORef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int)) :+: (C1 ('MetaCons "ResolvedBCOPtr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (RemoteRef HValue))) :+: C1 ('MetaCons "ResolvedBCOStaticPtr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (RemotePtr ()))))) :+: ((C1 ('MetaCons "ResolvedBCOPtrBCO" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ResolvedBCO)) :+: C1 ('MetaCons "ResolvedBCOPtrBreakArray" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (RemoteRef BreakArray)))) :+: (C1 ('MetaCons "ResolvedStaticConRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int)) :+: C1 ('MetaCons "ResolvedUnliftedStaticConRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Int)))))

isLittleEndian :: Bool Source #

data BCOByteArray a Source #

Wrapper for a ByteArray#. The phantom type tells what elements are stored in the ByteArray#. Creating a ByteArray# can be achieved using UArray's API, where the underlying ByteArray# can be unpacked.

Constructors

BCOByteArray
Fields getBCOByteArray :: !ByteArray#

Instances

Instances details

Binary (BCOByteArray Word16) Source #
Instance details Defined in GHCi.ResolvedBCO Methods put :: BCOByteArray Word16 -> Put Source # get :: Get (BCOByteArray Word16) Source # putList :: [BCOByteArray Word16] -> Put Source #
Binary (BCOByteArray Word) Source #
Instance details Defined in GHCi.ResolvedBCO Methods put :: BCOByteArray Word -> Put Source # get :: Get (BCOByteArray Word) Source # putList :: [BCOByteArray Word] -> Put Source #
Show (BCOByteArray Word16) Source #
Instance details Defined in GHCi.ResolvedBCO Methods showsPrec :: Int -> BCOByteArray Word16 -> ShowS Source # show :: BCOByteArray Word16 -> String Source # showList :: [BCOByteArray Word16] -> ShowS Source #
Show (BCOByteArray Word) Source #
Instance details Defined in GHCi.ResolvedBCO Methods showsPrec :: Int -> BCOByteArray Word -> ShowS Source # show :: BCOByteArray Word -> String Source # showList :: [BCOByteArray Word] -> ShowS Source #

mkBCOByteArray :: UArray Int a -> BCOByteArray a Source #