Module tvix_eval::opcode

This module implements the instruction set running on the abstract machine implemented by tvix.

Structs

• CodeIdx
  Index of an instruction in the current code chunk.
• ConstantIdx
  Index of a constant in the current code chunk.
• Count
  Provided count for an instruction (could represent e.g. a number of elements).
• JumpOffset
  Offset by which an instruction pointer should change in a jump.
• Position
  Position is used to represent where to capture an upvalue from.
• StackIdx
  Index of a value in the runtime stack. This is an offset relative to the VM value stack_base of the CallFrame containing the opcode which contains this StackIdx.
• UpvalueIdx
  Index of an upvalue within a closure’s bound-variable upvalue list. This is an absolute index into the Upvalues of the CallFrame containing the opcode which contains this UpvalueIdx.

Enums

• Op
  Op represents all instructions in the Tvix abstract machine.
• OpArg

Constants

• _ASSERT_SMALL_OP 🔒