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 :: !(Either InternalBreakLoc 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
newtype InternalBreakLoc = InternalBreakLoc {
- internalBreakLoc :: BreakpointId
}
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
getBreakSourceMod :: InternalBreakpointId -> InternalModBreaks -> Module
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 :: !(Either InternalBreakLoc 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].
If there is no original tick identifier (that is, the breakpoint was created during code generation), we re-use the BreakpointId of something else. It would also be reasonable to have an Either something BreakpointId for cgb_tick_id, but currently we can always re-use a source-level BreakpointId. In the case of step-out, see Note [Debugger: Stepout internal break locs]

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 #

type BreakInfoIndex = Int Source #

Internal breakpoint info index

newtype InternalBreakLoc Source #

Breakpoints created during code generation don't have a source-level tick location. Instead, we re-use an existing one.

Constructors

InternalBreakLoc
Fields internalBreakLoc :: BreakpointId

Instances

Instances details

NFData InternalBreakLoc Source #
Instance details Defined in GHC.ByteCode.Breakpoints Methods rnf :: InternalBreakLoc -> () Source #
Outputable InternalBreakLoc Source #
Instance details Defined in GHC.ByteCode.Breakpoints Methods ppr :: InternalBreakLoc -> SDoc Source #
Eq InternalBreakLoc Source #
Instance details Defined in GHC.ByteCode.Breakpoints Methods (==) :: InternalBreakLoc -> InternalBreakLoc -> Bool Source # (/=) :: InternalBreakLoc -> InternalBreakLoc -> Bool Source #