Enum pulley_interpreter::op::Op

pub enum Op {
    Ret(Ret),
    Call(Call),
    Jump(Jump),
    BrIf(BrIf),
    BrIfNot(BrIfNot),
    BrIfXeq32(BrIfXeq32),
    BrIfXneq32(BrIfXneq32),
    BrIfXslt32(BrIfXslt32),
    BrIfXslteq32(BrIfXslteq32),
    BrIfXult32(BrIfXult32),
    BrIfXulteq32(BrIfXulteq32),
    Xmov(Xmov),
    Fmov(Fmov),
    Vmov(Vmov),
    Xconst8(Xconst8),
    Xconst16(Xconst16),
    Xconst32(Xconst32),
    Xconst64(Xconst64),
    Xadd32(Xadd32),
    Xadd64(Xadd64),
    Xeq64(Xeq64),
    Xneq64(Xneq64),
    Xslt64(Xslt64),
    Xslteq64(Xslteq64),
    Xult64(Xult64),
    Xulteq64(Xulteq64),
    Xeq32(Xeq32),
    Xneq32(Xneq32),
    Xslt32(Xslt32),
    Xslteq32(Xslteq32),
    Xult32(Xult32),
    Xulteq32(Xulteq32),
    Load32U(Load32U),
    Load32S(Load32S),
    Load64(Load64),
    Load32UOffset8(Load32UOffset8),
    Load32SOffset8(Load32SOffset8),
    Load64Offset8(Load64Offset8),
    Store32(Store32),
    Store64(Store64),
    Store32SOffset8(Store32SOffset8),
    Store64Offset8(Store64Offset8),
    BitcastIntFromFloat32(BitcastIntFromFloat32),
    BitcastIntFromFloat64(BitcastIntFromFloat64),
    BitcastFloatFromInt32(BitcastFloatFromInt32),
    BitcastFloatFromInt64(BitcastFloatFromInt64),
    ExtendedOp(ExtendedOp),
}

A complete, materialized operation/instruction.

This type is useful for debugging, writing tests, etc… but is not actually ever used by the interpreter, encoder, or decoder, all of which avoid materializing ops.

Variants

Ret(Ret)

Transfer control the address in the lr register.

Call(Call)

Transfer control to the PC at the given offset and set the lr register to the PC just after this instruction.

Jump(Jump)

Unconditionally transfer control to the PC at the given offset.

BrIf(BrIf)

Conditionally transfer control to the given PC offset if cond contains a non-zero value.

BrIfNot(BrIfNot)

Conditionally transfer control to the given PC offset if cond contains a zero value.

BrIfXeq32(BrIfXeq32)

Branch if a == b.

BrIfXneq32(BrIfXneq32)

Branch if a != b.

BrIfXslt32(BrIfXslt32)

Branch if signed a < b.

BrIfXslteq32(BrIfXslteq32)

Branch if signed a <= b.

BrIfXult32(BrIfXult32)

Branch if unsigned a < b.

BrIfXulteq32(BrIfXulteq32)

Branch if unsigned a <= b.

Xmov(Xmov)

Move between x registers.

Fmov(Fmov)

Move between f registers.

Vmov(Vmov)

Move between v registers.

Xconst8(Xconst8)

Set dst = zero_extend(imm8).

Xconst16(Xconst16)

Set dst = zero_extend(imm16).

Xconst32(Xconst32)

Set dst = zero_extend(imm32).

Xconst64(Xconst64)

Set dst = imm64.

Xadd32(Xadd32)

32-bit wrapping addition: low32(dst) = low32(src1) + low32(src2).

The upper 32-bits of dst are unmodified.

Xadd64(Xadd64)

64-bit wrapping addition: dst = src1 + src2.

Xeq64(Xeq64)

64-bit equality.

Xneq64(Xneq64)

64-bit inequality.

Xslt64(Xslt64)

64-bit signed less-than.

Xslteq64(Xslteq64)

64-bit signed less-than-equal.

Xult64(Xult64)

64-bit unsigned less-than.

Xulteq64(Xulteq64)

64-bit unsigned less-than-equal.

Xeq32(Xeq32)

32-bit equality.

Xneq32(Xneq32)

32-bit inequality.

Xslt32(Xslt32)

32-bit signed less-than.

Xslteq32(Xslteq32)

32-bit signed less-than-equal.

Xult32(Xult32)

32-bit unsigned less-than.

Xulteq32(Xulteq32)

32-bit unsigned less-than-equal.

Load32U(Load32U)

dst = zero_extend(load32(ptr))

Load32S(Load32S)

dst = sign_extend(load32(ptr))

Load64(Load64)

dst = load64(ptr)

Load32UOffset8(Load32UOffset8)

dst = zero_extend(load32(ptr + offset8))

Load32SOffset8(Load32SOffset8)

dst = sign_extend(load32(ptr + offset8))

Load64Offset8(Load64Offset8)

dst = load64(ptr + offset8)

Store32(Store32)

*ptr = low32(src)

Store64(Store64)

*ptr = src

Store32SOffset8(Store32SOffset8)

*(ptr + sign_extend(offset8)) = low32(src)

Store64Offset8(Store64Offset8)

*(ptr + sign_extend(offset8)) = src

BitcastIntFromFloat32(BitcastIntFromFloat32)

low32(dst) = bitcast low32(src) as i32

BitcastIntFromFloat64(BitcastIntFromFloat64)

dst = bitcast src as i64

BitcastFloatFromInt32(BitcastFloatFromInt32)

low32(dst) = bitcast low32(src) as f32

BitcastFloatFromInt64(BitcastFloatFromInt64)

dst = bitcast src as f64

ExtendedOp(ExtendedOp)

An extended operation/instruction.

Implementations

impl Op

pub fn encode<E>(&self, into: &mut E)

where E: Extend<u8>,

Available on crate feature encode only.

Encode this op into the given sink.

Trait Implementations

impl<'arbitrary> Arbitrary<'arbitrary> for Op

fn arbitrary(u: &mut Unstructured<'arbitrary>) -> Result<Self>

Generate an arbitrary value of Self from the given unstructured data.

fn arbitrary_take_rest(u: Unstructured<'arbitrary>) -> Result<Self>

Generate an arbitrary value of Self from the entirety of the given unstructured data.

fn size_hint(depth: usize) -> (usize, Option<usize>)

Get a size hint for how many bytes out of an Unstructured this type needs to construct itself.

impl Clone for Op

fn clone(&self) -> Op

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Op

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

Formats the value using the given formatter.

impl From<BitcastFloatFromInt32> for Op

fn from(op: BitcastFloatFromInt32) -> Self

Converts to this type from the input type.

impl From<BitcastFloatFromInt64> for Op

fn from(op: BitcastFloatFromInt64) -> Self

Converts to this type from the input type.

impl From<BitcastIntFromFloat32> for Op

fn from(op: BitcastIntFromFloat32) -> Self

Converts to this type from the input type.

impl From<BitcastIntFromFloat64> for Op

fn from(op: BitcastIntFromFloat64) -> Self

Converts to this type from the input type.

impl From<BrIf> for Op

fn from(op: BrIf) -> Self

Converts to this type from the input type.

impl From<BrIfNot> for Op

fn from(op: BrIfNot) -> Self

Converts to this type from the input type.

impl From<BrIfXeq32> for Op

fn from(op: BrIfXeq32) -> Self

Converts to this type from the input type.

impl From<BrIfXneq32> for Op

fn from(op: BrIfXneq32) -> Self

Converts to this type from the input type.

impl From<BrIfXslt32> for Op

fn from(op: BrIfXslt32) -> Self

Converts to this type from the input type.

impl From<BrIfXslteq32> for Op

fn from(op: BrIfXslteq32) -> Self

Converts to this type from the input type.

impl From<BrIfXult32> for Op

fn from(op: BrIfXult32) -> Self

Converts to this type from the input type.

impl From<BrIfXulteq32> for Op

fn from(op: BrIfXulteq32) -> Self

Converts to this type from the input type.

impl From<Call> for Op

fn from(op: Call) -> Self

Converts to this type from the input type.

impl From<ExtendedOp> for Op

fn from(op: ExtendedOp) -> Self

Converts to this type from the input type.

impl From<Fmov> for Op

fn from(op: Fmov) -> Self

Converts to this type from the input type.

impl From<GetSp> for Op

fn from(op: GetSp) -> Self

Converts to this type from the input type.

impl From<Jump> for Op

fn from(op: Jump) -> Self

Converts to this type from the input type.

impl From<Load32S> for Op

fn from(op: Load32S) -> Self

Converts to this type from the input type.

impl From<Load32SOffset8> for Op

fn from(op: Load32SOffset8) -> Self

Converts to this type from the input type.

impl From<Load32U> for Op

fn from(op: Load32U) -> Self

Converts to this type from the input type.

impl From<Load32UOffset8> for Op

fn from(op: Load32UOffset8) -> Self

Converts to this type from the input type.

impl From<Load64> for Op

fn from(op: Load64) -> Self

Converts to this type from the input type.

impl From<Load64Offset8> for Op

fn from(op: Load64Offset8) -> Self

Converts to this type from the input type.

impl From<Nop> for Op

fn from(op: Nop) -> Self

Converts to this type from the input type.

impl From<Ret> for Op

fn from(op: Ret) -> Self

Converts to this type from the input type.

impl From<Store32> for Op

fn from(op: Store32) -> Self

Converts to this type from the input type.

impl From<Store32SOffset8> for Op

fn from(op: Store32SOffset8) -> Self

Converts to this type from the input type.

impl From<Store64> for Op

fn from(op: Store64) -> Self

Converts to this type from the input type.

impl From<Store64Offset8> for Op

fn from(op: Store64Offset8) -> Self

Converts to this type from the input type.

impl From<Trap> for Op

fn from(op: Trap) -> Self

Converts to this type from the input type.

impl From<Vmov> for Op

fn from(op: Vmov) -> Self

Converts to this type from the input type.

impl From<Xadd32> for Op

fn from(op: Xadd32) -> Self

Converts to this type from the input type.

impl From<Xadd64> for Op

fn from(op: Xadd64) -> Self

Converts to this type from the input type.

impl From<Xconst16> for Op

fn from(op: Xconst16) -> Self

Converts to this type from the input type.

impl From<Xconst32> for Op

fn from(op: Xconst32) -> Self

Converts to this type from the input type.

impl From<Xconst64> for Op

fn from(op: Xconst64) -> Self

Converts to this type from the input type.

impl From<Xconst8> for Op

fn from(op: Xconst8) -> Self

Converts to this type from the input type.

impl From<Xeq32> for Op

fn from(op: Xeq32) -> Self

Converts to this type from the input type.

impl From<Xeq64> for Op

fn from(op: Xeq64) -> Self

Converts to this type from the input type.

impl From<Xmov> for Op

fn from(op: Xmov) -> Self

Converts to this type from the input type.

impl From<Xneq32> for Op

fn from(op: Xneq32) -> Self

Converts to this type from the input type.

impl From<Xneq64> for Op

fn from(op: Xneq64) -> Self

Converts to this type from the input type.

impl From<Xslt32> for Op

fn from(op: Xslt32) -> Self

Converts to this type from the input type.

impl From<Xslt64> for Op

fn from(op: Xslt64) -> Self

Converts to this type from the input type.

impl From<Xslteq32> for Op

fn from(op: Xslteq32) -> Self

Converts to this type from the input type.

impl From<Xslteq64> for Op

fn from(op: Xslteq64) -> Self

Converts to this type from the input type.

impl From<Xult32> for Op

fn from(op: Xult32) -> Self

Converts to this type from the input type.

impl From<Xult64> for Op

fn from(op: Xult64) -> Self

Converts to this type from the input type.

impl From<Xulteq32> for Op

fn from(op: Xulteq32) -> Self

Converts to this type from the input type.

impl From<Xulteq64> for Op

fn from(op: Xulteq64) -> Self

Converts to this type from the input type.

impl Hash for Op

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for Op

fn cmp(&self, other: &Op) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized + PartialOrd,

Restrict a value to a certain interval.

impl PartialEq for Op

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

fn partial_cmp(&self, other: &Op) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Copy for Op

impl Eq for Op

impl StructuralPartialEq for Op