Enum cairo_lang_sierra::extensions::lib_func::SierraApChange

pub enum SierraApChange {
    Unknown,
    Known {
        new_vars_only: bool,
    },
    BranchAlign,
}

Describes the effect on the ap register in a given libfunc branch.

Variants

Unknown

The libfunc changes ap in an unknown way.

Known

Fields

new_vars_only: bool

true if all the new stack cells created by the libfunc are its output variables (as described in OutputVarReferenceInfo::NewTempVar in BranchSignature::vars).

The libfunc changes ap in a known (during compilation) way.

BranchAlign

The lib func is branch_align. The ap change is known during compilation.

Trait Implementations

impl Clone for SierraApChange

fn clone(&self) -> SierraApChange

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SierraApChange

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

Formats the value using the given formatter.

impl PartialEq for SierraApChange

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl Eq for SierraApChange

impl StructuralEq for SierraApChange

impl StructuralPartialEq for SierraApChange