target Edges
open override fun targetEdges(instruction: L2Instruction): List<L2PcOperand>
Content copied to clipboard
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.