Moduleghc-9.10.3GHC2021

GHC.Cmm.DebugBlock

4 types
6 values

Packageghc-9.10.3
Exports10
LanguageGHC2021
LicenceBSD-3-Clause
SourceDebugBlock.hs

datadata DebugBlock

Debug information about a block of code. Ticks scope over nested blocks.

Constructors

DebugBlock
- dblProcedure :: !Label
  Entry label of containing proc
- dblLabel :: !Label
  Hoopl label
- dblCLabel :: !CLabel
  Output label
- dblHasInfoTbl :: !Bool
  Has an info table?
- dblParent :: !Maybe DebugBlock
  The parent of this proc. See Note [Splitting DebugBlocks]
- dblTicks :: ![CmmTickish]
  Ticks defined in this block
- dblSourceTick :: !Maybe CmmTickish
  Best source tick covering block
- dblPosition :: !Maybe Int
  Output position relative to other blocks. Nothing means the block was optimized out
- dblUnwind :: [UnwindPoint]
- dblBlocks :: ![DebugBlock]
  Nested blocks

Instances1OutputableP

OutputableP Platform DebugBlockDefined in ghc-9.10.3 · GHC.Cmm.DebugBlock

valuecmmDebugGen :: ModLocation -> RawCmmGroup -> [DebugBlock]

Extract debug data from a group of procedures. We will prefer source notes that come from the given module (presumably the module that we are currently compiling).

valuecmmDebugLabels :: (i -> Bool) -> GenCmmGroup d g (ListGraph i) -> [Label]

valuecmmDebugLink

:: [Label]
-> LabelMap [UnwindPoint]
-> [DebugBlock]
-> [DebugBlock]

Sets position and unwind table fields in the debug block tree according to native generated code.

valuedebugToMap :: [DebugBlock] -> LabelMap DebugBlock

Converts debug blocks into a label map for easier lookups

Unwinding information

5 declarations

typetype UnwindTable = Map GlobalReg (Maybe UnwindExpr)

Maps registers to expressions that yield their "old" values further up the stack. Most interesting for the stack pointer Sp, but might be useful to document saved registers, too. Note that a register's value will be Nothing when the register's previous value cannot be reconstructed.

datadata UnwindPoint

A label associated with an UnwindTable

Constructors

UnwindPoint !CLabel !UnwindTable

Instances1OutputableP

OutputableP Platform UnwindPointDefined in ghc-9.10.3 · GHC.Cmm.DebugBlock

datadata UnwindExpr

Expressions, used for unwind information

Constructors

UwConst !Int
literal value
UwReg !GlobalRegUse !Int
register plus offset
UwDeref UnwindExpr
pointer dereferencing
UwLabel CLabel
UwPlus UnwindExpr UnwindExpr
UwMinus UnwindExpr UnwindExpr
UwTimes UnwindExpr UnwindExpr

Instances2Eq, OutputableP

Eq UnwindExprDefined in ghc-9.10.3 · GHC.Cmm.DebugBlock
OutputableP Platform UnwindExprDefined in ghc-9.10.3 · GHC.Cmm.DebugBlock

valuetoUnwindExpr :: Platform -> CmmExpr -> UnwindExpr

Conversion of Cmm expressions to unwind expressions. We check for unsupported operator usages and simplify the expression as far as possible.

valuepprUnwindTable :: IsLine doc => Platform -> UnwindTable -> doc