Struct BlockCall 

pub struct BlockCall {
    pub block: Block,
    pub args: Vec<Reg>,
}

One arm of a terminator: where it goes, and what it takes with it.

The arguments are the values the target block’s parameters arrive as, so this is the edge on which a phi would otherwise sit. After allocation the parameters are physical registers and these arguments have become the moves that write them, which is the point at which MIR stops being in SSA form.

Fields

block: Block

The block it goes to.

args: Vec<Reg>

What its parameters arrive as, one for one.

Implementations

impl BlockCall

pub const fn to(block: Block) -> Self

A jump to that block carrying nothing.

pub fn with(block: Block, args: Vec<Reg>) -> Self

A jump to that block carrying those registers.

Trait Implementations

impl Clone for BlockCall

fn clone(&self) -> BlockCall

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BlockCall

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

Formats the value using the given formatter.

impl Eq for BlockCall

impl PartialEq for BlockCall

fn eq(&self, other: &BlockCall) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for BlockCall