Enum Relocation

pub enum Relocation {
    RelativeStatementId(StatementIdx),
    SegmentStart(u32),
    ConstStart(u32, ConcreteTypeId),
    CircuitStart(ConcreteTypeId),
    EndOfProgram,
}

Variants

RelativeStatementId(StatementIdx)

Adds program_offset(StatementIdx) and subtracts the program offset of the casm instruction that is being relocated.

SegmentStart(u32)

Adds the offset of the constant segment with this id.

ConstStart(u32, ConcreteTypeId)

Adds the offset of the constant value in the const segments.

CircuitStart(ConcreteTypeId)

Adds the offset of the circuit with the given type.

EndOfProgram

Adds the offset between the current statement index and the end of the program code segment (which includes the const segment at its end).

Implementations

impl Relocation

pub fn apply( &self, instruction_offset: CodeOffset, statement_offsets: &[CodeOffset], consts_info: &ConstsInfo, instruction: &mut Instruction, )

Trait Implementations

impl Debug for Relocation

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

Formats the value using the given formatter.

impl PartialEq for Relocation

fn eq(&self, other: &Relocation) -> 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 Relocation

impl StructuralPartialEq for Relocation