Module encode

Available on crate feature encode only.

Encoding support for pulley bytecode.

Functions

• bitcast_float_from_int_32
  low32(dst) = bitcast low32(src) as f32
• bitcast_float_from_int_64
  dst = bitcast src as f64
• bitcast_int_from_float_32
  low32(dst) = bitcast low32(src) as i32
• bitcast_int_from_float_64
  dst = bitcast src as i64
• br_if
  Conditionally transfer control to the given PC offset if cond contains a non-zero value.
• br_if_not
  Conditionally transfer control to the given PC offset if cond contains a zero value.
• br_if_xeq32
  Branch if a == b.
• br_if_xneq32
  Branch if a != b.
• br_if_xslt32
  Branch if signed a < b.
• br_if_xslteq32
  Branch if signed a <= b.
• br_if_xult32
  Branch if unsigned a < b.
• br_if_xulteq32
  Branch if unsigned a <= b.
• call
  Transfer control to the PC at the given offset and set the lr register to the PC just after this instruction.
• fmov
  Move between f registers.
• get_sp
  Copy the special sp stack pointer register into an x register.
• jump
  Unconditionally transfer control to the PC at the given offset.
• load64
  dst = load64(ptr)
• load32_s
  dst = sign_extend(load32(ptr))
• load32_s_offset8
  dst = sign_extend(load32(ptr + offset8))
• load32_s_offset64
  dst = sign_extend(load32(ptr + offset64))
• load32_u
  dst = zero_extend(load32(ptr))
• load32_u_offset8
  dst = zero_extend(load32(ptr + offset8))
• load32_u_offset64
  dst = zero_extend(load32(ptr + offset64))
• load64_offset8
  dst = load64(ptr + offset8)
• load64_offset64
  dst = load64(ptr + offset64)
• nop
  Do nothing.
• pop_frame
  sp = fp; pop fp; pop lr
• push_frame
  push lr; push fp; fp = sp
• ret
  Transfer control the address in the lr register.
• store32
  *ptr = low32(src)
• store64
  *ptr = src
• store32_offset8
  *(ptr + sign_extend(offset8)) = low32(src)
• store32_offset64
  *(ptr + sign_extend(offset64)) = low32(src)
• store64_offset8
  *(ptr + sign_extend(offset8)) = src
• store64_offset64
  *(ptr + sign_extend(offset64)) = src
• trap
  Raise a trap.
• vmov
  Move between v registers.
• 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.
• xpop32
  *dst = *sp; sp -= 4
• xpop64
  *dst = *sp; sp -= 8
• xpop32_many
  for dst in dsts.rev() { xpop32 dst }
• xpop64_many
  for dst in dsts.rev() { xpop64 dst }
• xpush32
  *sp = low32(src); sp += 4
• xpush64
  *sp = src; sp += 8
• xpush32_many
  for src in srcs { xpush32 src }
• xpush64_many
  for src in srcs { xpush64 src }
• 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.