Struct bytecode::stackless_control_flow_graph::StacklessControlFlowGraph

pub struct StacklessControlFlowGraph { /* private fields */ }

Implementations

impl StacklessControlFlowGraph

pub fn new_forward(code: &[Bytecode]) -> Self

pub fn new_backward(code: &[Bytecode], from_all_blocks: bool) -> Self

If from_all_blocks is false, perform backward analysis only from blocks that may exit. If from_all_blocks is true, perform backward analysis from all blocks.

impl StacklessControlFlowGraph

pub fn successors(&self, block_id: BlockId) -> &Vec<BlockId>

pub fn content(&self, block_id: BlockId) -> &BlockContent

pub fn blocks(&self) -> Vec<BlockId>

pub fn entry_block(&self) -> BlockId

pub fn exit_block(&self) -> BlockId

pub fn instr_indexes( &self, block_id: BlockId ) -> Option<Box<dyn DoubleEndedIterator<Item = CodeOffset>>>

pub fn num_blocks(&self) -> u16

pub fn is_dummmy(&self, block_id: BlockId) -> bool

pub fn display(&self)