Safe Haskell	None
Language	GHC2021

GHC.ByteCode.Breakpoints

Contents

Internal Mod Breaks
- Internal breakpoint identifier
Operations
- Internal-level operations
- Source-level information operations
Utils

Description

Breakpoint information constructed during ByteCode generation.

Specifically, code-generation breakpoints are referred to as "internal breakpoints", the internal breakpoint data for a module is stored in InternalModBreaks, and is uniquely identified at runtime by an InternalBreakpointId.

See Note [ModBreaks vs InternalModBreaks] and Note [Breakpoint identifiers]

Synopsis

data InternalModBreaks = InternalModBreaks {
- imodBreaks_breakInfo :: !(IntMap CgBreakInfo)
- imodBreaks_modBreaks :: !ModBreaks
}
data CgBreakInfo = CgBreakInfo {
- cgb_tyvars :: ![IfaceTvBndr]
- cgb_vars :: ![Maybe (IfaceIdBndr, Word)]
- cgb_resty :: !IfaceType
- cgb_tick_id :: !BreakpointId
}
mkInternalModBreaks :: Module -> IntMap CgBreakInfo -> ModBreaks -> InternalModBreaks
imodBreaks_module :: InternalModBreaks -> Module
data InternalBreakpointId = InternalBreakpointId {
- ibi_info_mod :: !Module
- ibi_info_index :: !BreakInfoIndex
}
type BreakInfoIndex = Int
getInternalBreak :: InternalBreakpointId -> InternalModBreaks -> CgBreakInfo
getBreakLoc :: (Module -> IO ModBreaks) -> InternalBreakpointId -> InternalModBreaks -> IO SrcSpan
getBreakVars :: (Module -> IO ModBreaks) -> InternalBreakpointId -> InternalModBreaks -> IO [OccName]
getBreakDecls :: (Module -> IO ModBreaks) -> InternalBreakpointId -> InternalModBreaks -> IO [String]
getBreakCCS :: (Module -> IO ModBreaks) -> InternalBreakpointId -> InternalModBreaks -> IO (String, String)
getBreakSourceId :: InternalBreakpointId -> InternalModBreaks -> BreakpointId
seqInternalModBreaks :: InternalModBreaks -> ()

Internal Mod Breaks

data InternalModBreaks Source #

Internal mod breaks store the runtime-relevant information of breakpoints.

Importantly, it maps InternalBreakpointIds to CgBreakInfo.

InternalModBreaks are constructed during bytecode generation and stored in CompiledByteCode afterwards.

Constructors

InternalModBreaks

Fields

imodBreaks_breakInfo :: !(IntMap CgBreakInfo)
Access code-gen time information about a breakpoint, indexed by InternalBreakpointId.
imodBreaks_modBreaks :: !ModBreaks
Store the ModBreaks for this module
Recall Note [Breakpoint identifiers]: for some module A, an *occurrence* of a breakpoint in A may have been inlined from some breakpoint *defined* in module B.
This ModBreaks contains information regarding all the breakpoints defined in the module this InternalModBreaks corresponds to. It does not necessarily have information regarding all the breakpoint occurrences registered in imodBreaks_breakInfo. Some of those occurrences may refer breakpoints inlined from other modules.

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

cgb_tyvars :: ![IfaceTvBndr]
Type variables in scope at the breakpoint
cgb_vars :: ![Maybe (IfaceIdBndr, Word)]
cgb_resty :: !IfaceType
cgb_tick_id :: !BreakpointId
This field records the original breakpoint tick identifier for this internal breakpoint info. It is used to convert a breakpoint *occurrence* index (InternalBreakpointId) into a *definition* index (BreakpointId).
The modules of breakpoint occurrence and breakpoint definition are not necessarily the same: See Note [Breakpoint identifiers].

Instances

Instances details

Outputable CgBreakInfo Source #
Instance details Defined in GHC.ByteCode.Breakpoints Methods ppr :: CgBreakInfo -> SDoc Source #

mkInternalModBreaks :: Module -> IntMap CgBreakInfo -> ModBreaks -> InternalModBreaks Source #

Construct an InternalModBreaks.

INVARIANT: The given ModBreaks correspond to the same module as this InternalModBreaks module (the first argument) and its breakpoint infos (the IntMap CgBreakInfo argument)

imodBreaks_module :: InternalModBreaks -> Module Source #

Get the module to which these InternalModBreaks correspond

Internal breakpoint identifier

data InternalBreakpointId Source #

Internal breakpoint identifier

Indexes into the structures in the InternalModBreaks produced during ByteCode generation. See Note [Breakpoint identifiers]

Constructors

InternalBreakpointId
Fields ibi_info_mod :: !Module Breakpoint info module ibi_info_index :: !BreakInfoIndex Breakpoint info index

Instances

Instances details

NFData InternalBreakpointId Source #
Instance details Defined in GHC.ByteCode.Breakpoints Methods rnf :: InternalBreakpointId -> () Source #
Outputable InternalBreakpointId Source #
Instance details Defined in GHC.ByteCode.Breakpoints Methods ppr :: InternalBreakpointId -> SDoc Source #
Eq InternalBreakpointId Source #
Instance details Defined in GHC.ByteCode.Breakpoints Methods (==) :: InternalBreakpointId -> InternalBreakpointId -> Bool Source # (/=) :: InternalBreakpointId -> InternalBreakpointId -> Bool Source #
Ord InternalBreakpointId Source #
Instance details Defined in GHC.ByteCode.Breakpoints Methods compare :: InternalBreakpointId -> InternalBreakpointId -> Ordering Source # (<) :: InternalBreakpointId -> InternalBreakpointId -> Bool Source # (<=) :: InternalBreakpointId -> InternalBreakpointId -> Bool Source # (>) :: InternalBreakpointId -> InternalBreakpointId -> Bool Source # (>=) :: InternalBreakpointId -> InternalBreakpointId -> Bool Source # max :: InternalBreakpointId -> InternalBreakpointId -> InternalBreakpointId Source # min :: InternalBreakpointId -> InternalBreakpointId -> InternalBreakpointId Source #