Enum Node 

pub enum Node {
    Input {
        name: String,
        noundef: bool,
        range: Option<(String, String)>,
    },
    Sym(String),
    Lit(Lit),
    CExpr(CFun, Vec<NodeId>),
    Pred(PFun, Vec<NodeId>),
    Inst(Inst),
}

One node of the arena.

Variants

Input

An input (a register the source reads without defining it, or a function parameter). Its attributes are the source’s declaration; each program’s own are Body::params.

Fields

name: String

Its name (without %).

noundef: bool

The source’s noundef: it is never poison (passing poison is the caller’s undefined behavior).

range: Option<(String, String)>

The source’s range(ty lo, hi): outside [lo, hi), wrapping, it is poison to the source.

Sym(String)

A symbolic constant (C, C1): some value, the same in source and target, never poison.

Lit(Lit)

A literal.

CExpr(CFun, Vec<NodeId>)

A constant expression.

Pred(PFun, Vec<NodeId>)

A predicate of the precondition (a boolean, not a value).

Inst(Inst)

An instruction.

Trait Implementations

impl Clone for Node

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Node

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

Formats the value using the given formatter.