targetEdges

open override fun targetEdges(instruction: L2Instruction): List<L2PcOperand>

Extract the operands which are L2PcOperands. These are what lead to other L2BasicBlocks. They also carry an edge-specific array of slots, and edge-specific TypeRestrictions for registers.

Return

The List of target L2PcOperands that are operands of the given instruction. These may be reachable directly via a control flow change, or reachable only from some other mechanism like continuation reification and later resumption of a continuation.

Parameters

instruction

The L2Instruction to examine.