Debug

ghc-8.4.3: The GHC API

Safe Haskell | None
Language | Haskell2010

Debug

Contents

- Unwinding information

Synopsis

- data DebugBlock = DebugBlock {
  - dblProcedure :: !Label
  - dblLabel :: !Label
  - dblCLabel :: !CLabel
  - dblHasInfoTbl :: !Bool
  - dblParent :: !(Maybe DebugBlock)
  - dblTicks :: ![CmmTickish]
  - dblSourceTick :: !(Maybe CmmTickish)
  - dblPosition :: !(Maybe Int)
  - dblUnwind :: [UnwindPoint]
  - dblBlocks :: ![DebugBlock]
  }
- dblIsEntry :: DebugBlock -> Bool
- cmmDebugGen :: ModLocation -> RawCmmGroup -> [DebugBlock]
- cmmDebugLabels :: (i -> Bool) -> GenCmmGroup d g (ListGraph i) -> [Label]
- cmmDebugLink :: [Label] -> LabelMap [UnwindPoint] -> [DebugBlock] -> [DebugBlock]
- debugToMap :: [DebugBlock] -> LabelMap DebugBlock
- type UnwindTable = Map GlobalReg (Maybe UnwindExpr)
- data UnwindPoint = UnwindPoint !CLabel !UnwindTable
- data UnwindExpr
  - = UwConst !Int
  - | UwReg !GlobalReg !Int
  - | UwDeref UnwindExpr
  - | UwLabel CLabel
  - | UwPlus UnwindExpr UnwindExpr
  - | UwMinus UnwindExpr UnwindExpr
  - | UwTimes UnwindExpr UnwindExpr
- toUnwindExpr :: CmmExpr -> UnwindExpr

# Documentation

data DebugBlock Source #

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

Constructors

DebugBlock |
Fields 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

Instances

Outputable DebugBlock Source # |
Instance details Defined in Debug Methods ppr :: DebugBlock -> SDoc Source # pprPrec :: Rational -> DebugBlock -> SDoc Source #

dblIsEntry :: DebugBlock -> Bool Source #

Is this the entry block?

cmmDebugGen :: ModLocation -> RawCmmGroup -> [DebugBlock] Source #

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).

cmmDebugLabels :: (i -> Bool) -> GenCmmGroup d g (ListGraph i) -> [Label] Source #

cmmDebugLink :: [Label] -> LabelMap [UnwindPoint] -> [DebugBlock] -> [DebugBlock] Source #

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

debugToMap :: [DebugBlock] -> LabelMap DebugBlock Source #

Converts debug blocks into a label map for easier lookups

# Unwinding information

type UnwindTable = Map GlobalReg (Maybe UnwindExpr) Source #

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.

data UnwindPoint Source #

A label associated with an `UnwindTable`

Constructors

UnwindPoint !CLabel !UnwindTable |

Instances

Outputable UnwindPoint Source # |
Instance details Defined in Debug Methods ppr :: UnwindPoint -> SDoc Source # pprPrec :: Rational -> UnwindPoint -> SDoc Source #

data UnwindExpr Source #

Expressions, used for unwind information

Constructors

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

Instances

Eq UnwindExpr Source # |
Instance details Defined in Debug Methods (==) :: UnwindExpr -> UnwindExpr -> Bool # (/=) :: UnwindExpr -> UnwindExpr -> Bool #
Outputable UnwindExpr Source # |
Instance details Defined in Debug Methods ppr :: UnwindExpr -> SDoc Source # pprPrec :: Rational -> UnwindExpr -> SDoc Source #

toUnwindExpr :: CmmExpr -> UnwindExpr Source #

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