Enum INode 

pub enum INode {
    Const(IType, u32),
    Param(u16, IType),
    Bin(BinOp, IId, IId),
    Un(UnOp, IId),
    Cmp(CmpOp, IId, IId),
    Select(IId, IId, IId),
    Bitcast(IType, IId),
    Load(u16, IId),
    State(u32, u16),
    LoopOut(u32, u16),
    Tok,
    LoadRw(u16, IId, IId),
    Store(u16, IId, IId, IId),
}

A node.

Variants

Const(IType, u32)

Constant (bits; bool is 0/1).

Param(u16, IType)

Function input.

Bin(BinOp, IId, IId)

Binary op.

Un(UnOp, IId)

Unary op.

Cmp(CmpOp, IId, IId)

Comparison.

Select(IId, IId, IId)

if c { a } else { b } (both sides evaluated).

Bitcast(IType, IId)

Reinterpret bits as another 32-bit type.

Load(u16, IId)

buf[index] from a read-only buffer (index is u32).

State(u32, u16)

State k of loop l, inside its body.

LoopOut(u32, u16)

Final state k of loop l, after it.

Tok

The initial effect token (u32, value 0).

LoadRw(u16, IId, IId)

buf[index] from a scratch buffer, as of effect token tok.

Store(u16, IId, IId, IId)

buf[index] = value on a scratch buffer after effect token tok; yields the next token.

Trait Implementations

impl Clone for INode

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for INode

impl Debug for INode

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

Formats the value using the given formatter.

impl Eq for INode

impl Hash for INode

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for INode

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for INode