Enum Term 

pub enum Term {
    Jump(usize),
    Branch {
        cond: Src,
        then_blk: usize,
        else_blk: usize,
    },
    Return(Src),
}

A basic block’s terminator: where control goes after the block’s body runs.

Variants

Jump(usize)

Unconditional edge to block k.

Branch

Predicated edge: cond != 0 ? then_blk : else_blk.

Fields

cond: Src

then_blk: usize

else_blk: usize

Return(Src)

Return the value named by Src (over the block’s inputs + body vals).

Trait Implementations

impl Clone for Term

fn clone(&self) -> Term

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Term

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

Formats the value using the given formatter.