Enum CellExpression

pub enum CellExpression {
    Deref(CellRef),
    DoubleDeref(CellRef, i16),
    Immediate(BigInt),
    BinOp {
        op: CellOperator,
        a: CellRef,
        b: DerefOrImmediate,
    },
}

The expression representing a cell in the casm memory.

Variants

Deref(CellRef)

DoubleDeref(CellRef, i16)

Represents an expression of the form [[cell_ref] + offset].

Immediate(BigInt)

BinOp

Represents an expression of the form [cell_ref] + [cell_ref] or [cell_ref] + imm.

If op is CellOperator::Div, b must not be zero.

Fields

op: CellOperator

a: CellRef

b: DerefOrImmediate

Implementations

impl CellExpression

pub fn from_res_operand(operand: ResOperand) -> Self

pub fn to_deref(&self) -> Option<CellRef>

Extract the cell reference from the cell expression.

pub fn to_deref_or_immediate(&self) -> Option<DerefOrImmediate>

Extract a deref or immediate from the cell expression.

pub fn to_deref_with_offset(&self) -> Option<(CellRef, i32)>

Given [ref] + offset returns ([ref], offset).

pub fn to_buffer(&self, required_slack: i16) -> Option<CellExpression>

Returns the reference as a buffer with at least required_slack next cells that can be written as an instruction offset.

Trait Implementations

impl ApplyApChange for CellExpression

fn apply_known_ap_change(self, ap_change: usize) -> Option<Self>

Attempts to apply ap change, fail on overflow only.

fn can_apply_unknown(&self) -> bool

Can unknown ap change be applied.

fn apply_ap_change(self, ap_change: ApChange) -> Result<Self, ApChangeError>

Attempts to apply ap change.

fn unchecked_apply_known_ap_change(self, ap_change: usize) -> Self

Same as Self::apply_known_ap_change but unchecked.

impl Clone for CellExpression

fn clone(&self) -> CellExpression

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CellExpression

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

Formats the value using the given formatter.

impl Display for CellExpression

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

Formats the value using the given formatter.

impl PartialEq for CellExpression

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for CellExpression

impl StructuralPartialEq for CellExpression