HORIZON HASKELLDocslts/ghc-9.14.xb2f3bfd2026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · b2f3bfd · 2026-10-11

Moduleghc-9.14.1GHC2021

GHC.CmmToAsm.Reg.Linear.JoinToTargets

Handles joining of a jump instruction to its targets.

  • 1 value
  • Packageghc-9.14.1
  • Exports1
  • LanguageGHC2021
  • LicenceBSD-3-Clause
  • SourceJoinToTargets.hs
valuejoinToTargets
  1. :: (FR freeRegs, Instruction instr)
  2. => BlockMap (UniqSet RegWithFormat)

    maps the unique of the blockid to the set of vregs that are known to be live on the entry to each block.

  3. -> BlockId

    id of the current block

  4. -> instr

    branch instr on the end of the source block.

  5. -> RegM freeRegs ([NatBasicBlock instr], instr)
#

For a jump instruction at the end of a block, generate fixup code so its vregs are in the correct regs for its destination.