Struct rune_ssa::Block

pub struct Block { /* fields omitted */ }

A block containing a sequence of assignments.

A block carries a definition of its entry. The entry is the sequence of input variables the block expects.

Implementations

impl Block

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

The name of the block.

pub fn read(&self, var: Var) -> Result<Assign, Error>

Read the given variable, looking it up recursively in ancestor blocks and memoizing as needed.

pub fn assign(&self, var: Var, to_read: Var) -> Result<(), Error>

Assign a variable.

pub fn input(&self) -> Result<Var, Error>

Define an input into the block.

pub fn id(&self) -> BlockId

Get the identifier of the block.

pub fn dump(&self) -> BlockDump<'_>

Perform a diagnostical dump of a block.

pub fn unit(&self) -> Result<Var, Error>

Define a unit.

pub fn assign_unit(&self, id: Var) -> Result<(), Error>

Assign a unit.

pub fn constant(&self, constant: Constant) -> Result<Var, Error>

Define a constant.

pub fn assign_constant(&self, id: Var, constant: Constant) -> Result<(), Error>

Assign a constant.

pub fn not(&self, a: Var) -> Result<Var, Error>

Compute !arg.

pub fn assign_not(&self, id: Var, a: Var) -> Result<(), Error>

Compute !arg.

pub fn add(&self, a: Var, b: Var) -> Result<Var, Error>

Compute lhs + rhs.

pub fn assign_add(&self, id: Var, a: Var, b: Var) -> Result<(), Error>

Compute lhs + rhs.

pub fn sub(&self, a: Var, b: Var) -> Result<Var, Error>

Compute lhs - rhs.

pub fn assign_sub(&self, id: Var, a: Var, b: Var) -> Result<(), Error>

Compute lhs - rhs.

pub fn div(&self, a: Var, b: Var) -> Result<Var, Error>

Compute lhs / rhs.

pub fn assign_div(&self, id: Var, a: Var, b: Var) -> Result<(), Error>

Compute lhs / rhs.

pub fn mul(&self, a: Var, b: Var) -> Result<Var, Error>

Compute lhs * rhs.

pub fn assign_mul(&self, id: Var, a: Var, b: Var) -> Result<(), Error>

Compute lhs * rhs.

pub fn cmp_lt(&self, a: Var, b: Var) -> Result<Var, Error>

Compare if lhs < rhs.

pub fn assign_cmp_lt(&self, id: Var, a: Var, b: Var) -> Result<(), Error>

Compare if lhs < rhs.

pub fn cmp_lte(&self, a: Var, b: Var) -> Result<Var, Error>

Compare if lhs <= rhs.

pub fn assign_cmp_lte(&self, id: Var, a: Var, b: Var) -> Result<(), Error>

Compare if lhs <= rhs.

pub fn cmp_eq(&self, a: Var, b: Var) -> Result<Var, Error>

Compare if lhs == rhs.

pub fn assign_cmp_eq(&self, id: Var, a: Var, b: Var) -> Result<(), Error>

Compare if lhs == rhs.

pub fn cmp_gt(&self, a: Var, b: Var) -> Result<Var, Error>

Compare if lhs > rhs.

pub fn assign_cmp_gt(&self, id: Var, a: Var, b: Var) -> Result<(), Error>

Compare if lhs > rhs.

pub fn cmp_gte(&self, a: Var, b: Var) -> Result<Var, Error>

Compare if lhs >= rhs.

pub fn assign_cmp_gte(&self, id: Var, a: Var, b: Var) -> Result<(), Error>

Compare if lhs >= rhs.

pub fn jump(&self, block: &Block) -> Result<(), Error>

Perform an unconditional jump to the given block with the specified inputs.

pub fn jump_if(
    &self,
    condition: Var,
    then_block: &Block,
    else_block: &Block
) -> Result<(), Error>

Perform a conditional jump to the given block with the specified inputs if the given condition is true.

pub fn return_unit(&self) -> Result<(), Error>

Return from this the procedure this block belongs to.

pub fn return_(&self, var: Var) -> Result<(), Error>

Return from this the procedure this block belongs to.

Trait Implementations

impl Clone for Block

fn clone(&self) -> Block

Returns a copy of the value.

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

Performs copy-assignment from source.