GHC.CmmToAsm.Monad

Does this jump always jump to a single destination and is shortcutable?

We use this to determine shortcutable instructions - See Note [What is shortcutting] Note that if we return a destination here we *most* support the relevant shortcutting in shortcutStatics for jump tables and shortcutJump for the instructions itself.

Replace references to blockIds with other destinations - used to update jump tables.

Change the jump destination(s) of an instruction.

Module is only for printing internal labels. See Note [Internal proc labels] in CLabel.

The list of block ids records the redirected jumps to allow us to update the CFG.

given the instruction sequence of a block, produce a list of the block's UnwindPoints See Note [What is this unwinding business?] in GHC.Cmm.DebugBlock and Note [Unwinding information in the NCG] in this module.

Turn the sequence of jcc l1; jmp l2 into jncc l2; <block_l1> when possible.

Stack offset for unwinding information

Having a CFG with additional information is essential for some operations. However we can't reconstruct all information once we generated instructions. So instead we update the CFG as we go.