pub struct MaterializeOpsVisitor<B> { /* private fields */ }
decode
only.Expand description
A visitor that materializes whole Op
s as it decodes the bytecode stream.
Implementations§
Source§impl<B> MaterializeOpsVisitor<B>
impl<B> MaterializeOpsVisitor<B>
Trait Implementations§
Source§impl<B: Default> Default for MaterializeOpsVisitor<B>
impl<B: Default> Default for MaterializeOpsVisitor<B>
Source§fn default() -> MaterializeOpsVisitor<B>
fn default() -> MaterializeOpsVisitor<B>
Source§impl<B: BytecodeStream> ExtendedOpVisitor for MaterializeOpsVisitor<B>
impl<B: BytecodeStream> ExtendedOpVisitor for MaterializeOpsVisitor<B>
Source§fn call_indirect_host(&mut self, sig: u8) -> Self::Return
fn call_indirect_host(&mut self, sig: u8) -> Self::Return
A special opcode to use an indirect function call to reenter the host from the interpreter.
This is used to implement host intrinsics such as memory.grow
for example where that needs to reenter the host from the
interpreter.
The sig
immediate here is the Nth signature in the
for_each_host_signature!
macro below. The 0th “argument”, in
register x0, is the function pointer that’s being called and all
further arguments follow after that in registers.
Source§impl<B: BytecodeStream> OpVisitor for MaterializeOpsVisitor<B>
impl<B: BytecodeStream> OpVisitor for MaterializeOpsVisitor<B>
Source§fn call(&mut self, offset: PcRelOffset) -> Self::Return
fn call(&mut self, offset: PcRelOffset) -> Self::Return
Transfer control to the PC at the given offset and set the lr
register to the PC just after this instruction.
Source§fn call_indirect(&mut self, reg: XReg) -> Self::Return
fn call_indirect(&mut self, reg: XReg) -> Self::Return
Transfer control to the PC in reg
and set lr
to the PC just
after this instruction.
Source§fn jump(&mut self, offset: PcRelOffset) -> Self::Return
fn jump(&mut self, offset: PcRelOffset) -> Self::Return
Unconditionally transfer control to the PC at the given offset.
Source§fn br_if(&mut self, cond: XReg, offset: PcRelOffset) -> Self::Return
fn br_if(&mut self, cond: XReg, offset: PcRelOffset) -> Self::Return
Conditionally transfer control to the given PC offset if cond
contains a non-zero value.
Source§fn br_if_not(&mut self, cond: XReg, offset: PcRelOffset) -> Self::Return
fn br_if_not(&mut self, cond: XReg, offset: PcRelOffset) -> Self::Return
Conditionally transfer control to the given PC offset if cond
contains a zero value.
Source§fn br_if_xeq32(&mut self, a: XReg, b: XReg, offset: PcRelOffset) -> Self::Return
fn br_if_xeq32(&mut self, a: XReg, b: XReg, offset: PcRelOffset) -> Self::Return
Branch if a == b
.
Source§fn br_if_xneq32(
&mut self,
a: XReg,
b: XReg,
offset: PcRelOffset,
) -> Self::Return
fn br_if_xneq32( &mut self, a: XReg, b: XReg, offset: PcRelOffset, ) -> Self::Return
Branch if a !=
b.
Source§fn br_if_xslt32(
&mut self,
a: XReg,
b: XReg,
offset: PcRelOffset,
) -> Self::Return
fn br_if_xslt32( &mut self, a: XReg, b: XReg, offset: PcRelOffset, ) -> Self::Return
Branch if signed a < b
.
Source§fn br_if_xslteq32(
&mut self,
a: XReg,
b: XReg,
offset: PcRelOffset,
) -> Self::Return
fn br_if_xslteq32( &mut self, a: XReg, b: XReg, offset: PcRelOffset, ) -> Self::Return
Branch if signed a <= b
.
Source§fn br_if_xult32(
&mut self,
a: XReg,
b: XReg,
offset: PcRelOffset,
) -> Self::Return
fn br_if_xult32( &mut self, a: XReg, b: XReg, offset: PcRelOffset, ) -> Self::Return
Branch if unsigned a < b
.
Source§fn br_if_xulteq32(
&mut self,
a: XReg,
b: XReg,
offset: PcRelOffset,
) -> Self::Return
fn br_if_xulteq32( &mut self, a: XReg, b: XReg, offset: PcRelOffset, ) -> Self::Return
Branch if unsigned a <= b
.
Source§fn br_if_xeq64(&mut self, a: XReg, b: XReg, offset: PcRelOffset) -> Self::Return
fn br_if_xeq64(&mut self, a: XReg, b: XReg, offset: PcRelOffset) -> Self::Return
Branch if a == b
.
Source§fn br_if_xneq64(
&mut self,
a: XReg,
b: XReg,
offset: PcRelOffset,
) -> Self::Return
fn br_if_xneq64( &mut self, a: XReg, b: XReg, offset: PcRelOffset, ) -> Self::Return
Branch if a !=
b.
Source§fn br_if_xslt64(
&mut self,
a: XReg,
b: XReg,
offset: PcRelOffset,
) -> Self::Return
fn br_if_xslt64( &mut self, a: XReg, b: XReg, offset: PcRelOffset, ) -> Self::Return
Branch if signed a < b
.
Source§fn br_if_xslteq64(
&mut self,
a: XReg,
b: XReg,
offset: PcRelOffset,
) -> Self::Return
fn br_if_xslteq64( &mut self, a: XReg, b: XReg, offset: PcRelOffset, ) -> Self::Return
Branch if signed a <= b
.
Source§fn br_if_xult64(
&mut self,
a: XReg,
b: XReg,
offset: PcRelOffset,
) -> Self::Return
fn br_if_xult64( &mut self, a: XReg, b: XReg, offset: PcRelOffset, ) -> Self::Return
Branch if unsigned a < b
.
Source§fn br_if_xulteq64(
&mut self,
a: XReg,
b: XReg,
offset: PcRelOffset,
) -> Self::Return
fn br_if_xulteq64( &mut self, a: XReg, b: XReg, offset: PcRelOffset, ) -> Self::Return
Branch if unsigned a <= b
.
Source§fn br_table32(&mut self, idx: XReg, amt: u32) -> Self::Return
fn br_table32(&mut self, idx: XReg, amt: u32) -> Self::Return
Branch to the label indicated by idx
.
After this instruction are amt
instances of PcRelOffset
and the idx
selects which one will be branched to. The value
of idx
is clamped to amt - 1
(e.g. the last offset is the
“default” one.
Source§fn xadd32(&mut self, operands: BinaryOperands<XReg>) -> Self::Return
fn xadd32(&mut self, operands: BinaryOperands<XReg>) -> Self::Return
32-bit wrapping addition: low32(dst) = low32(src1) + low32(src2)
.
The upper 32-bits of dst
are unmodified.
Source§fn xadd64(&mut self, operands: BinaryOperands<XReg>) -> Self::Return
fn xadd64(&mut self, operands: BinaryOperands<XReg>) -> Self::Return
64-bit wrapping addition: dst = src1 + src2
.
Source§fn xslteq64(&mut self, operands: BinaryOperands<XReg>) -> Self::Return
fn xslteq64(&mut self, operands: BinaryOperands<XReg>) -> Self::Return
64-bit signed less-than-equal.
Source§fn xult64(&mut self, operands: BinaryOperands<XReg>) -> Self::Return
fn xult64(&mut self, operands: BinaryOperands<XReg>) -> Self::Return
64-bit unsigned less-than.
Source§fn xulteq64(&mut self, operands: BinaryOperands<XReg>) -> Self::Return
fn xulteq64(&mut self, operands: BinaryOperands<XReg>) -> Self::Return
64-bit unsigned less-than-equal.
Source§fn xslteq32(&mut self, operands: BinaryOperands<XReg>) -> Self::Return
fn xslteq32(&mut self, operands: BinaryOperands<XReg>) -> Self::Return
32-bit signed less-than-equal.
Source§fn xult32(&mut self, operands: BinaryOperands<XReg>) -> Self::Return
fn xult32(&mut self, operands: BinaryOperands<XReg>) -> Self::Return
32-bit unsigned less-than.
Source§fn xulteq32(&mut self, operands: BinaryOperands<XReg>) -> Self::Return
fn xulteq32(&mut self, operands: BinaryOperands<XReg>) -> Self::Return
32-bit unsigned less-than-equal.
Source§fn load32_u_offset8(&mut self, dst: XReg, ptr: XReg, offset: i8) -> Self::Return
fn load32_u_offset8(&mut self, dst: XReg, ptr: XReg, offset: i8) -> Self::Return
dst = zero_extend(load32(ptr + offset8))
Source§fn load32_s_offset8(&mut self, dst: XReg, ptr: XReg, offset: i8) -> Self::Return
fn load32_s_offset8(&mut self, dst: XReg, ptr: XReg, offset: i8) -> Self::Return
dst = sign_extend(load32(ptr + offset8))
Source§fn load64_offset8(&mut self, dst: XReg, ptr: XReg, offset: i8) -> Self::Return
fn load64_offset8(&mut self, dst: XReg, ptr: XReg, offset: i8) -> Self::Return
dst = load64(ptr + offset8)
Source§fn load32_u_offset64(
&mut self,
dst: XReg,
ptr: XReg,
offset: i64,
) -> Self::Return
fn load32_u_offset64( &mut self, dst: XReg, ptr: XReg, offset: i64, ) -> Self::Return
dst = zero_extend(load32(ptr + offset64))
Source§fn load32_s_offset64(
&mut self,
dst: XReg,
ptr: XReg,
offset: i64,
) -> Self::Return
fn load32_s_offset64( &mut self, dst: XReg, ptr: XReg, offset: i64, ) -> Self::Return
dst = sign_extend(load32(ptr + offset64))
Source§fn load64_offset64(&mut self, dst: XReg, ptr: XReg, offset: i64) -> Self::Return
fn load64_offset64(&mut self, dst: XReg, ptr: XReg, offset: i64) -> Self::Return
dst = load64(ptr + offset64)
Source§fn store32_offset8(&mut self, ptr: XReg, offset: i8, src: XReg) -> Self::Return
fn store32_offset8(&mut self, ptr: XReg, offset: i8, src: XReg) -> Self::Return
*(ptr + sign_extend(offset8)) = low32(src)
Source§fn store64_offset8(&mut self, ptr: XReg, offset: i8, src: XReg) -> Self::Return
fn store64_offset8(&mut self, ptr: XReg, offset: i8, src: XReg) -> Self::Return
*(ptr + sign_extend(offset8)) = src
Source§fn store32_offset64(
&mut self,
ptr: XReg,
offset: i64,
src: XReg,
) -> Self::Return
fn store32_offset64( &mut self, ptr: XReg, offset: i64, src: XReg, ) -> Self::Return
*(ptr + sign_extend(offset64)) = low32(src)
Source§fn store64_offset64(
&mut self,
ptr: XReg,
offset: i64,
src: XReg,
) -> Self::Return
fn store64_offset64( &mut self, ptr: XReg, offset: i64, src: XReg, ) -> Self::Return
*(ptr + sign_extend(offset64)) = src
Source§fn push_frame(&mut self) -> Self::Return
fn push_frame(&mut self) -> Self::Return
push lr; push fp; fp = sp
Source§fn xpush32_many(&mut self, srcs: RegSet<XReg>) -> Self::Return
fn xpush32_many(&mut self, srcs: RegSet<XReg>) -> Self::Return
for src in srcs { xpush32 src }
Source§fn xpush64_many(&mut self, srcs: RegSet<XReg>) -> Self::Return
fn xpush64_many(&mut self, srcs: RegSet<XReg>) -> Self::Return
for src in srcs { xpush64 src }
Source§fn xpop32_many(&mut self, dsts: RegSet<XReg>) -> Self::Return
fn xpop32_many(&mut self, dsts: RegSet<XReg>) -> Self::Return
for dst in dsts.rev() { xpop32 dst }
Source§fn xpop64_many(&mut self, dsts: RegSet<XReg>) -> Self::Return
fn xpop64_many(&mut self, dsts: RegSet<XReg>) -> Self::Return
for dst in dsts.rev() { xpop64 dst }
Source§fn bitcast_int_from_float_32(&mut self, dst: XReg, src: FReg) -> Self::Return
fn bitcast_int_from_float_32(&mut self, dst: XReg, src: FReg) -> Self::Return
low32(dst) = bitcast low32(src) as i32
Source§fn bitcast_int_from_float_64(&mut self, dst: XReg, src: FReg) -> Self::Return
fn bitcast_int_from_float_64(&mut self, dst: XReg, src: FReg) -> Self::Return
dst = bitcast src as i64
Source§fn bitcast_float_from_int_32(&mut self, dst: FReg, src: XReg) -> Self::Return
fn bitcast_float_from_int_32(&mut self, dst: FReg, src: XReg) -> Self::Return
low32(dst) = bitcast low32(src) as f32
Source§fn bitcast_float_from_int_64(&mut self, dst: FReg, src: XReg) -> Self::Return
fn bitcast_float_from_int_64(&mut self, dst: FReg, src: XReg) -> Self::Return
dst = bitcast src as f64
Source§fn stack_alloc32(&mut self, amt: u32) -> Self::Return
fn stack_alloc32(&mut self, amt: u32) -> Self::Return
sp = sp.checked_sub(amt)
Source§fn stack_free32(&mut self, amt: u32) -> Self::Return
fn stack_free32(&mut self, amt: u32) -> Self::Return
sp = sp + amt