Module op

Pulley bytecode operations with their operands.

Structs

• BitcastFloatFromInt32
  low32(dst) = bitcast low32(src) as f32
• BitcastFloatFromInt64
  dst = bitcast src as f64
• BitcastIntFromFloat32
  low32(dst) = bitcast low32(src) as i32
• BitcastIntFromFloat64
  dst = bitcast src as i64
• BrIf
  Conditionally transfer control to the given PC offset if cond contains a non-zero value.
• BrIfNot
  Conditionally transfer control to the given PC offset if cond contains a zero value.
• BrIfXeq32
  Branch if a == b.
• BrIfXeq64
  Branch if a == b.
• BrIfXneq32
  Branch if a != b.
• BrIfXneq64
  Branch if a != b.
• BrIfXslt32
  Branch if signed a < b.
• BrIfXslt64
  Branch if signed a < b.
• BrIfXslteq32
  Branch if signed a <= b.
• BrIfXslteq64
  Branch if signed a <= b.
• BrIfXult32
  Branch if unsigned a < b.
• BrIfXult64
  Branch if unsigned a < b.
• BrIfXulteq32
  Branch if unsigned a <= b.
• BrIfXulteq64
  Branch if unsigned a <= b.
• BrTable32
  Branch to the label indicated by idx.
• Call
  Transfer control to the PC at the given offset and set the lr register to the PC just after this instruction.
• CallIndirect
  Transfer control to the PC in reg and set lr to the PC just after this instruction.
• CallIndirectHost
  A special opcode to use an indirect function call to reenter the host from the interpreter.
• Fmov
  Move between f registers.
• Jump
  Unconditionally transfer control to the PC at the given offset.
• Load64
  dst = load64(ptr)
• Load32S
  dst = sign_extend(load32(ptr))
• Load32SOffset8
  dst = sign_extend(load32(ptr + offset8))
• Load32SOffset64
  dst = sign_extend(load32(ptr + offset64))
• Load32U
  dst = zero_extend(load32(ptr))
• Load32UOffset8
  dst = zero_extend(load32(ptr + offset8))
• Load32UOffset64
  dst = zero_extend(load32(ptr + offset64))
• Load64Offset8
  dst = load64(ptr + offset8)
• Load64Offset64
  dst = load64(ptr + offset64)
• MaterializeOpsVisitordecode
  A visitor that materializes whole Ops as it decodes the bytecode stream.
• Nop
  Do nothing.
• PopFrame
  sp = fp; pop fp; pop lr
• PushFrame
  push lr; push fp; fp = sp
• Ret
  Transfer control the address in the lr register.
• StackAlloc32
  sp = sp.checked_sub(amt)
• StackFree32
  sp = sp + amt
• Store32
  *ptr = low32(src)
• Store64
  *ptr = src
• Store32SOffset8
  *(ptr + sign_extend(offset8)) = low32(src)
• Store32SOffset64
  *(ptr + sign_extend(offset64)) = low32(src)
• Store64Offset8
  *(ptr + sign_extend(offset8)) = src
• Store64Offset64
  *(ptr + sign_extend(offset64)) = src
• Trap
  Raise a trap.
• Vmov
  Move between v registers.
• XPop32
  *dst = *sp; sp -= 4
• XPop64
  *dst = *sp; sp -= 8
• XPop32Many
  for dst in dsts.rev() { xpop32 dst }
• XPop64Many
  for dst in dsts.rev() { xpop64 dst }
• XPush32
  *sp = low32(src); sp = sp.checked_add(4)
• XPush64
  *sp = src; sp = sp.checked_add(8)
• XPush32Many
  for src in srcs { xpush32 src }
• XPush64Many
  for src in srcs { xpush64 src }
• Xadd32
  32-bit wrapping addition: low32(dst) = low32(src1) + low32(src2).
• Xadd64
  64-bit wrapping addition: dst = src1 + src2.
• Xconst8
  Set dst = sign_extend(imm8).
• Xconst16
  Set dst = sign_extend(imm16).
• Xconst32
  Set dst = sign_extend(imm32).
• Xconst64
  Set dst = imm64.
• Xeq32
  32-bit equality.
• Xeq64
  64-bit equality.
• Xmov
  Move between x registers.
• Xneq32
  32-bit inequality.
• Xneq64
  64-bit inequality.
• Xslt32
  32-bit signed less-than.
• Xslt64
  64-bit signed less-than.
• Xslteq32
  32-bit signed less-than-equal.
• Xslteq64
  64-bit signed less-than-equal.
• Xult32
  32-bit unsigned less-than.
• Xult64
  64-bit unsigned less-than.
• Xulteq32
  32-bit unsigned less-than-equal.
• Xulteq64
  64-bit unsigned less-than-equal.

Enums

• ExtendedOp
  An extended operation/instruction.
• Op
  A complete, materialized operation/instruction.