ghc-9.6.0.20230128: The GHC API
Safe HaskellSafe-Inferred
LanguageHaskell2010

GHC.CmmToAsm.Reg.Linear.JoinToTargets

Description

Handles joining of a jump instruction to its targets.

Synopsis

Documentation

joinToTargets Source #

Arguments

:: (FR freeRegs, Instruction instr) 
=> BlockMap RegSet

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

-> BlockId

id of the current block

-> instr

branch instr on the end of the source block.

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