Struct BlockRef 

pub struct BlockRef<'str, 'ctx, R = ModuleView<'ctx, 'str>> {
    pub id: BlockId,
    /* private fields */
}

Fields

id: BlockId

Implementations

impl<'s, 'ctx: 's, 'str: 'ctx, R> BlockRef<'str, 'ctx, R>

where R: QCodeView<'ctx, 'str>,

pub fn successors(&'s self) -> impl Iterator<Item = (EdgeId, BlockId)> + 's

Iterates over outgoing (edge_id, successor_block_id) pairs.

Routed through its QCodeView (this block’s incident edge set and each edge’s endpoints) rather than the jstd graph traits, so it reads correctly when the owning function is checked out. On the module path it yields exactly what Node::children did: the same incident-edge set, filtered to edges leaving this block.

pub fn predecessors(&'s self) -> impl Iterator<Item = (EdgeId, BlockId)> + 's

Iterates over incoming (edge_id, predecessor_block_id) pairs. See successors for the routing rationale.

pub fn name(&'s self) -> Option<&'ctx str>

pub fn address(&'s self) -> Option<u64>

Returns the machine address of this block, if it has one.

pub fn comment(&'s self) -> Option<&'ctx str>

pub fn params( &'s self, ) -> impl Iterator<Item = BlockParamRef<'str, 'ctx, R>> + 's

Iterates over this block’s parameters in declaration order.

pub fn num_params(&'s self) -> usize

Returns the number of parameters declared on this block.

pub fn instructions(&'s self) -> InstructionIter<'str, 'ctx, R>

Iterates over the instructions in this block

pub fn iter(&'s self) -> InstructionIter<'str, 'ctx, R>

Iterates over the instructions in this block alias for instructions()

pub fn instruction_ids(&'s self) -> Vec<InstructionId>

pub fn instruction_count(&'s self) -> usize

How many instructions this block holds.

Separate from instruction_ids because that qualifies every id into a fresh Vec, and a caller that wants only the count should not allocate for it — the JIT reads this per block execution.

pub fn is_empty(&'s self) -> bool

Does this block have any instructions?

pub fn is_terminated(&'s self) -> bool

Does this block finish with a terminator instruction?

pub fn parent(&'s self) -> Option<FunctionRef<'str, 'ctx, R>>

pub fn function(&'s self) -> Option<FunctionRef<'str, 'ctx, R>>

impl<'str, 'ctx, R> BlockRef<'str, 'ctx, R>

pub fn new(view: R, id: BlockId) -> Self

pub fn id(&self) -> ValueId

impl<'str, 'ctx> BlockRef<'str, 'ctx>

pub fn from_id(ctx: &'ctx Context<'str>, id: BlockId) -> Self

Trait Implementations

impl<'str, 'ctx, R: Clone> Clone for BlockRef<'str, 'ctx, R>

fn clone(&self) -> BlockRef<'str, 'ctx, R>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'str, 'ctx, R: Copy> Copy for BlockRef<'str, 'ctx, R>

impl<'str: 'ctx, 'ctx, R> Display for BlockRef<'str, 'ctx, R>

where R: QCodeView<'ctx, 'str>,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'str, 'ctx, R> From<BlockRef<'str, 'ctx, R>> for ValueRef<'str, 'ctx, R>

fn from(bb_ref: BlockRef<'str, 'ctx, R>) -> Self

Converts to this type from the input type.

impl<'str: 'ctx, 'ctx, R> IntoIterator for &BlockRef<'str, 'ctx, R>

where R: QCodeView<'ctx, 'str>,

type Item = InstructionRef<'str, 'ctx, R>

The type of the elements being iterated over.

type IntoIter = InstructionIter<'str, 'ctx, R>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl<'str: 'ctx, 'ctx, R> Named for BlockRef<'str, 'ctx, R>

where R: QCodeView<'ctx, 'str>,

fn name(&self) -> Option<&str>

impl<'str: 'ctx, 'ctx, R> Value<'str, 'ctx> for BlockRef<'str, 'ctx, R>

where R: QCodeView<'ctx, 'str>,

fn id(&self) -> ValueId

The context-unique identifier for this value.

fn size(&self) -> usize

The size of this value’s output in bytes, or 0 for non-data values (terminators, blocks, functions).

impl<'s, 'ctx: 's, 'str: 'ctx> WithCtx<'s, 'ctx, 'str> for BlockRef<'str, 'ctx>

fn ctx(&'s self) -> &'ctx Context<'str>