Enum View 

#[non_exhaustive]
pub enum View {
    Const(BitVec),
    Sym(SymbolId),
    Un(UnOp, Expr),
    Bin(BinOp, Expr, Expr),
    Cmp(CmpOp, Expr, Expr),
    Zext(Expr),
    Sext(Expr),
    Extract {
        lo: u16,
        src: Expr,
    },
    Concat {
        hi: Expr,
        lo: Expr,
    },
    Select {
        cond: Expr,
        then: Expr,
        els: Expr,
    },
    Fp {
        op: FpOp,
        format: FpFormat,
        args: FpArgs,
    },
    Ext {
        op: ExtId,
        output: u8,
        args: ExtArgs,
    },
}

A read-only view of one node.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Const(BitVec)

A constant.

Sym(SymbolId)

A symbol.

Un(UnOp, Expr)

A unary operator.

Bin(BinOp, Expr, Expr)

A binary operator.

Cmp(CmpOp, Expr, Expr)

A comparison (1-bit result).

Zext(Expr)

Zero extension to the node’s width.

Sext(Expr)

Sign extension to the node’s width.

Extract

Bits [lo, lo + W) of src, where W is the node’s width.

Fields

lo: u16

First extracted bit.

src: Expr

The operand.

Concat

hi in the high bits and lo in the low bits.

Fields

hi: Expr

The high part.

lo: Expr

The low part.

Select

cond ? then : els with a 1-bit condition.

Fields

cond: Expr

The condition.

then: Expr

The value when the condition is 1.

els: Expr

The value when the condition is 0.

Fp

A floating-point operation (see fp).

Fields

op: FpOp

The operation.

format: FpFormat

The format of its floating-point operands (for a conversion from an integer, of its result).

args: FpArgs

The operands.

Ext

Output output of an extension call (see ext).

Fields

op: ExtId

The operation, in the context’s registry.

output: u8

Which output.

args: ExtArgs

The arguments.

Trait Implementations

impl Clone for View

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 View

impl Debug for View

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

Formats the value using the given formatter.

impl Eq for View

impl PartialEq for View

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for View