Enum DebugLocationExpressionOp 

pub enum DebugLocationExpressionOp {
    ReadStack(u8),
    ReadMemory(u32),
    ReadLocal(i16),
    ConstU64(u64),
    ConstI64(i64),
    AddUnsigned(u64),
    Add,
    Sub,
    DerefBytes,
    FrameBaseAddress {
        base: DebugFrameBase,
        byte_offset: i64,
    },
}

An operation in a DebugLocationExpression.

Operations evaluate on a signed integer stack. Read operations push canonical field element values as integers, arithmetic operations transform those values, and the final integer is converted back to a field element. Invalid arithmetic or field conversions make the location unavailable rather than wrapping.

Variants

ReadStack(u8)

Push the value at this Miden operand-stack position (0 is the top).

ReadMemory(u32)

Push the value stored at this Miden memory element address.

ReadLocal(i16)

Push the value stored at this signed FMP-relative local offset.

ConstU64(u64)

Push an unsigned integer constant.

ConstI64(i64)

Push a signed integer constant.

AddUnsigned(u64)

Add an unsigned integer constant to the top value.

Add

Pop two values and push lhs + rhs.

Sub

Pop two values and push lhs - rhs.

DerefBytes

Interpret the top value as a Wasm byte address, convert it to a Miden element address, and push the value stored at that address.

FrameBaseAddress

Resolve and push a byte address relative to a runtime frame base.

Fields

base: DebugFrameBase

Resolved location containing the frame-base byte address.

byte_offset: i64

Byte offset from the base.

Trait Implementations

impl Clone for DebugLocationExpressionOp

fn clone(&self) -> DebugLocationExpressionOp

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for DebugLocationExpressionOp

impl Debug for DebugLocationExpressionOp

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

Formats the value using the given formatter.

impl Deserializable for DebugLocationExpressionOp

fn read_from<R: ByteReader>( source: &mut R, ) -> Result<Self, DeserializationError>

Reads a sequence of bytes from the provided source, attempts to deserialize these bytes into Self, and returns the result.

fn min_serialized_size() -> usize

Returns the minimum serialized size for one instance of this type.

fn read_from_bytes(bytes: &[u8]) -> Result<Self, DeserializationError>

Attempts to deserialize the provided bytes into Self and returns the result.

fn read_from_bytes_with_budget( bytes: &[u8], budget: usize, ) -> Result<Self, DeserializationError>

Deserializes Self from bytes with a byte budget limit.

impl Eq for DebugLocationExpressionOp

impl PartialEq for DebugLocationExpressionOp

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

Equality operator ==.

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

Inequality operator !=.

impl Serializable for DebugLocationExpressionOp

fn write_into<W: ByteWriter>(&self, target: &mut W)

Serializes self into bytes and writes these bytes into the target.

fn to_bytes(&self) -> Vec<u8>

Serializes self into a vector of bytes.

fn get_size_hint(&self) -> usize

Returns an estimate of how many bytes are needed to represent self.

impl StructuralPartialEq for DebugLocationExpressionOp