Enum rune_ssa::Value

pub enum Value {
    Input(usize),
    Const(ConstId),
    Phi(Phi),
    Not(Assign),
    Add(Assign, Assign),
    Sub(Assign, Assign),
    Div(Assign, Assign),
    Mul(Assign, Assign),
    CmpLt(Assign, Assign),
    CmpLte(Assign, Assign),
    CmpEq(Assign, Assign),
    CmpGt(Assign, Assign),
    CmpGte(Assign, Assign),
}

A single abstract machine instruction.

Variants

Input

A numerated input.

Tuple Fields of Input

0: usize

Const

An instruction to load a constant as a value.

Tuple Fields of Const

0: ConstId

Phi

A phony use node, indicating what assignments flow into this.

Tuple Fields of Phi

0: Phi

Not

Compute !arg.

Tuple Fields of Not

0: Assign

Add

Compute lhs + rhs.

Tuple Fields of Add

0: Assign1: Assign

Sub

Compute lhs - rhs.

Tuple Fields of Sub

0: Assign1: Assign

Div

Compute lhs / rhs.

Tuple Fields of Div

0: Assign1: Assign

Mul

Compute lhs * rhs.

Tuple Fields of Mul

0: Assign1: Assign

CmpLt

Compare if lhs < rhs.

Tuple Fields of CmpLt

0: Assign1: Assign

CmpLte

Compare if lhs <= rhs.

Tuple Fields of CmpLte

0: Assign1: Assign

CmpEq

Compare if lhs == rhs.

Tuple Fields of CmpEq

0: Assign1: Assign

CmpGt

Compare if lhs > rhs.

Tuple Fields of CmpGt

0: Assign1: Assign

CmpGte

Compare if lhs >= rhs.

Tuple Fields of CmpGte

0: Assign1: Assign

Implementations

impl Value

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

Dump diagnostical information on an instruction.

Trait Implementations

impl Clone for Value

fn clone(&self) -> Value

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Value

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

Formats the value using the given formatter.