superacli 1.1.6 → 1.1.8

package/ref-monty/crates/monty/src/bytecode/mod.rs

@@ -1,24 +0,0 @@
-//! Bytecode VM module for Monty.
-//!
-//! This module contains the bytecode representation, compiler, and virtual machine
-//! for executing Python code. The bytecode VM replaces the tree-walking interpreter
-//! with a stack-based execution model.
-//!
-//! # Module Structure
-//!
-//! - `op` - Opcode enum definitions
-//! - `code` - Code object containing bytecode and metadata
-//! - `builder` - CodeBuilder for emitting bytecode during compilation
-//! - `compiler` - AST to bytecode compiler
-//! - `vm` - Virtual machine for bytecode execution
-
-mod builder;
-mod code;
-mod compiler;
-mod op;
-mod vm;
-
-pub use code::Code;
-pub use compiler::Compiler;
-pub(crate) use vm::CallResult;
-pub use vm::{FrameExit, VM, VMSnapshot};

package/ref-monty/crates/monty/src/bytecode/op.rs

@@ -1,617 +0,0 @@
-//! Opcode definitions for the bytecode VM.
-//!
-//! Bytecode is stored as raw `Vec<u8>` for cache efficiency. The `Opcode` enum is a pure
-//! discriminant with no data - operands are fetched separately from the byte stream.
-//!
-//! # Operand Encoding
-//!
-//! - No suffix, 0 bytes: `BinaryAdd`, `Pop`, `LoadNone`
-//! - No suffix, 1 byte (u8/i8): `LoadLocal`, `StoreLocal`, `LoadSmallInt`
-//! - `W` suffix, 2 bytes (u16/i16): `LoadLocalW`, `Jump`, `LoadConst`
-//! - Compound (multiple operands): `CallFunctionKw` (u8 + u8), `MakeClosure` (u16 + u8)
-
-use strum::FromRepr;
-
-/// Opcode discriminant - just identifies the instruction type.
-///
-/// Operands (if any) follow in the bytecode stream and are fetched separately.
-/// With `#[repr(u8)]`, each opcode is exactly 1 byte. Uses `strum::FromRepr` for
-/// efficient byte-to-opcode conversion (bounds check + transmute).
-///
-/// Opcode bytes are part of Monty's serialized `Code` format, so existing values
-/// must remain stable across releases. Append new opcodes to the end of the enum
-/// instead of inserting them into the middle.
-#[repr(u8)]
-#[derive(Debug, Clone, Copy, PartialEq, Eq, FromRepr)]
-pub enum Opcode {
-    // === Stack Operations (no operand) ===
-    /// Discard top of stack.
-    Pop,
-    /// Duplicate top of stack.
-    Dup,
-    /// Swap top two: [a, b] -> [b, a].
-    Rot2,
-    /// Rotate top three: [a, b, c] -> [c, a, b].
-    Rot3,
-
-    // === Constants & Literals ===
-    /// Push constant from pool. Operand: u16 const_id.
-    LoadConst,
-    /// Push None.
-    LoadNone,
-    /// Push True.
-    LoadTrue,
-    /// Push False.
-    LoadFalse,
-    /// Push small integer (-128 to 127). Operand: i8.
-    LoadSmallInt,
-
-    // === Variables ===
-    // Specialized no-operand versions for common slots (hot path)
-    /// Push local slot 0 (often 'self').
-    LoadLocal0,
-    /// Push local slot 1.
-    LoadLocal1,
-    /// Push local slot 2.
-    LoadLocal2,
-    /// Push local slot 3.
-    LoadLocal3,
-    // General versions with operand
-    /// Push local variable. Operand: u8 slot.
-    LoadLocal,
-    /// Push local (wide, slot > 255). Operand: u16 slot.
-    LoadLocalW,
-    /// Pop and store to local. Operand: u8 slot.
-    StoreLocal,
-    /// Store local (wide). Operand: u16 slot.
-    StoreLocalW,
-    /// Push from global namespace. Operand: u16 slot.
-    LoadGlobal,
-    /// Store to global. Operand: u16 slot.
-    StoreGlobal,
-    /// Load from closure cell. Operand: u16 slot.
-    LoadCell,
-    /// Store to closure cell. Operand: u16 slot.
-    StoreCell,
-    /// Delete local variable. Operand: u8 slot.
-    DeleteLocal,
-    /// Load local in call context: pushes `ExtFunction(name_id)` for undefined names
-    /// instead of yielding `NameLookup`. Operands: u8 slot, u16 name_id.
-    ///
-    /// Used when compiling function calls like `foo()` where `foo` is `LocalUnassigned`.
-    /// If the variable is defined, behaves identically to `LoadLocal`.
-    /// If undefined, pushes an `ExtFunction` value so execution continues to `CallFunction`,
-    /// which naturally yields `FunctionCall` instead of `NameLookup`.
-    /// The name_id is encoded in the operand to avoid namespace lookup ambiguity.
-    LoadLocalCallable,
-    /// Wide variant of `LoadLocalCallable`. Operands: u16 slot, u16 name_id.
-    LoadLocalCallableW,
-    /// Load global in call context: pushes `ExtFunction(name_id)` for undefined names
-    /// instead of yielding `NameLookup`. Operands: u16 slot, u16 name_id.
-    ///
-    /// Used when compiling function calls like `foo()` where `foo` is a global.
-    /// If the variable is defined, behaves identically to `LoadGlobal`.
-    /// If undefined, pushes an `ExtFunction` value so execution continues to `CallFunction`,
-    /// which naturally yields `FunctionCall` instead of `NameLookup`.
-    /// The name_id is encoded in the operand because global and local slot indices
-    /// belong to different namespaces — using the current frame's local_names would
-    /// return the wrong name when called from inside a function.
-    LoadGlobalCallable,
-
-    // === Binary Operations (no operand) ===
-    /// Add: a + b.
-    BinaryAdd,
-    /// Subtract: a - b.
-    BinarySub,
-    /// Multiply: a * b.
-    BinaryMul,
-    /// Divide: a / b.
-    BinaryDiv,
-    /// Floor divide: a // b.
-    BinaryFloorDiv,
-    /// Modulo: a % b.
-    BinaryMod,
-    /// Power: a ** b.
-    BinaryPow,
-    /// Bitwise AND: a & b.
-    BinaryAnd,
-    /// Bitwise OR: a | b.
-    BinaryOr,
-    /// Bitwise XOR: a ^ b.
-    BinaryXor,
-    /// Left shift: a << b.
-    BinaryLShift,
-    /// Right shift: a >> b.
-    BinaryRShift,
-    /// Matrix multiply: a @ b.
-    BinaryMatMul,
-
-    // === Comparison Operations (no operand) ===
-    /// Equal: a == b.
-    CompareEq,
-    /// Not equal: a != b.
-    CompareNe,
-    /// Less than: a < b.
-    CompareLt,
-    /// Less than or equal: a <= b.
-    CompareLe,
-    /// Greater than: a > b.
-    CompareGt,
-    /// Greater than or equal: a >= b.
-    CompareGe,
-    /// Identity: a is b.
-    CompareIs,
-    /// Not identity: a is not b.
-    CompareIsNot,
-    /// Membership: a in b.
-    CompareIn,
-    /// Not membership: a not in b.
-    CompareNotIn,
-    /// Modulo equality: a % b == k (operand: u16 constant index for k).
-    ///
-    /// This is an optimization for patterns like `x % 3 == 0` which are common
-    /// in Python code. Pops b then a, computes `a % b`, then compares with k.
-    CompareModEq,
-
-    // === Unary Operations (no operand) ===
-    /// Logical not: not a.
-    UnaryNot,
-    /// Negation: -a.
-    UnaryNeg,
-    /// Positive: +a.
-    UnaryPos,
-    /// Bitwise invert: ~a.
-    UnaryInvert,
-
-    // === In-place Operations (no operand) ===
-    /// In-place add: a += b.
-    InplaceAdd,
-    /// In-place subtract: a -= b.
-    InplaceSub,
-    /// In-place multiply: a *= b.
-    InplaceMul,
-    /// In-place divide: a /= b.
-    InplaceDiv,
-    /// In-place floor divide: a //= b.
-    InplaceFloorDiv,
-    /// In-place modulo: a %= b.
-    InplaceMod,
-    /// In-place power: a **= b.
-    InplacePow,
-    /// In-place bitwise AND: a &= b.
-    InplaceAnd,
-    /// In-place bitwise OR: a |= b.
-    InplaceOr,
-    /// In-place bitwise XOR: a ^= b.
-    InplaceXor,
-    /// In-place left shift: a <<= b.
-    InplaceLShift,
-    /// In-place right shift: a >>= b.
-    InplaceRShift,
-
-    // === Collection Building ===
-    /// Pop n items, build list. Operand: u16 count.
-    BuildList,
-    /// Pop n items, build tuple. Operand: u16 count.
-    BuildTuple,
-    /// Pop 2n items (k/v pairs), build dict. Operand: u16 count.
-    BuildDict,
-    /// Pop n items, build set. Operand: u16 count.
-    BuildSet,
-    /// Format a value for f-string interpolation. Operand: u8 flags.
-    ///
-    /// Flags encoding:
-    /// - bits 0-1: conversion (0=none, 1=str, 2=repr, 3=ascii)
-    /// - bit 2: has format spec on stack (pop fmt_spec first, then value)
-    /// - bit 3: has static format spec (operand includes u16 const_id after flags)
-    ///
-    /// Pops the value (and optionally format spec), pushes the formatted string.
-    FormatValue,
-    /// Pop n parts, concatenate for f-string. Operand: u16 count.
-    BuildFString,
-    /// Build a slice object from stack values. No operand.
-    ///
-    /// Pops 3 values from stack: step, stop, start (TOS order).
-    /// Each value can be None (for default) or an integer.
-    /// Creates a `HeapData::Slice` and pushes a `Value::Ref` to it.
-    BuildSlice,
-    /// Pop iterable, pop list, extend list with iterable items.
-    ///
-    /// Used for `*args` unpacking: builds a list of positional args,
-    /// then extends it with unpacked iterables.
-    ListExtend,
-    /// Pop TOS (list), push tuple containing the same elements.
-    ///
-    /// Used after building the args list to create the final args tuple
-    /// for `CallFunctionEx`.
-    ListToTuple,
-    /// Pop mapping, pop dict, update dict with mapping. Operand: u16 func_name_id.
-    ///
-    /// Used for `**kwargs` unpacking. The func_name_id is used for error messages
-    /// when the mapping contains non-string keys.
-    DictMerge,
-
-    // === Comprehension Building ===
-    /// Append TOS to list for comprehension. Operand: u8 depth (number of iterators).
-    ///
-    /// Stack: [..., list, iter1, ..., iterN, value] -> [..., list, iter1, ..., iterN]
-    /// Pops value (TOS), appends to list at stack position (len - 2 - depth).
-    /// Depth equals the number of nested iterators (generators) in the comprehension.
-    ListAppend,
-    /// Add TOS to set for comprehension. Operand: u8 depth (number of iterators).
-    ///
-    /// Stack: [..., set, iter1, ..., iterN, value] -> [..., set, iter1, ..., iterN]
-    /// Pops value (TOS), adds to set at stack position (len - 2 - depth).
-    /// May raise TypeError if value is unhashable.
-    SetAdd,
-    /// Set dict[key] = value for comprehension. Operand: u8 depth (number of iterators).
-    ///
-    /// Stack: [..., dict, iter1, ..., iterN, key, value] -> [..., dict, iter1, ..., iterN]
-    /// Pops value (TOS) and key (TOS-1), sets dict[key] = value.
-    /// Dict is at stack position (len - 3 - depth).
-    /// May raise TypeError if key is unhashable.
-    DictSetItem,
-
-    // === Subscript & Attribute ===
-    /// a[b]: pop index, pop obj, push result.
-    BinarySubscr,
-    /// a[b] = c: pop value, pop index, pop obj.
-    StoreSubscr,
-    // NOTE: DeleteSubscr removed - `del` statement not supported by parser
-    /// Pop obj, push obj.attr. Operand: u16 name_id.
-    LoadAttr,
-    /// Pop module, push module.attr for `from ... import`. Operand: u16 name_id.
-    ///
-    /// Like `LoadAttr` but raises `ImportError` instead of `AttributeError`
-    /// when the attribute is not found. Used for `from module import name`.
-    LoadAttrImport,
-    /// Pop value, pop obj, set obj.attr. Operand: u16 name_id.
-    StoreAttr,
-    // NOTE: DeleteAttr removed - `del` statement not supported by parser
-
-    // === Function Calls ===
-    /// Call TOS with n positional args. Operand: u8 arg_count.
-    CallFunction,
-    /// Call a builtin function directly. Operands: u8 builtin_id, u8 arg_count.
-    ///
-    /// The builtin_id is the discriminant of `BuiltinsFunctions` (via `FromRepr`).
-    /// This is an optimization over `LoadConst + CallFunction` that avoids:
-    /// - Constant pool lookup
-    /// - Pushing/popping the callable on the stack
-    /// - Runtime type dispatch in call_function
-    CallBuiltinFunction,
-    /// Call a builtin type constructor directly. Operands: u8 type_id, u8 arg_count.
-    ///
-    /// The type_id is the discriminant of `BuiltinsTypes` (via `FromRepr`).
-    /// This is an optimization for type constructors like `list()`, `int()`, `str()`.
-    CallBuiltinType,
-    /// Call with positional and keyword args.
-    ///
-    /// Operands: u8 pos_count, u8 kw_count, then kw_count u16 name indices.
-    ///
-    /// Stack: [callable, pos_args..., kw_values...]
-    /// After the two count bytes, there are kw_count little-endian u16 values,
-    /// each being a StringId index for the corresponding keyword argument name.
-    CallFunctionKw,
-    /// Call attribute on object. Operands: u16 name_id, u8 arg_count.
-    ///
-    /// This is used for both method calls (`obj.method(args)`) and module
-    /// attribute calls (`module.func(args)`). The attribute is looked up
-    /// on the object and called with the given arguments.
-    CallAttr,
-    /// Call attribute with keyword args. Operands: u16 name_id, u8 pos_count, u8 kw_count, then kw_count u16 name indices.
-    ///
-    /// Stack: [obj, pos_args..., kw_values...]
-    /// After the operands, there are kw_count little-endian u16 values,
-    /// each being a StringId index for the corresponding keyword argument name.
-    CallAttrKw,
-    /// Call a defined function with *args tuple and **kwargs dict. Operand: u8 flags.
-    ///
-    /// Flags:
-    /// - bit 0: has kwargs dict on stack
-    ///
-    /// Stack layout (bottom to top):
-    /// - callable
-    /// - args tuple
-    /// - kwargs dict (if flag bit 0 set)
-    ///
-    /// Used for calls with `*args` and/or `**kwargs` unpacking.
-    CallFunctionExtended,
-    /// Call attribute with *args tuple and **kwargs dict. Operands: u16 name_id, u8 flags.
-    ///
-    /// Flags:
-    /// - bit 0: has kwargs dict on stack
-    ///
-    /// Stack layout (bottom to top):
-    /// - receiver object
-    /// - args tuple
-    /// - kwargs dict (if flag bit 0 set)
-    ///
-    /// Used for method calls with `*args` and/or `**kwargs` unpacking.
-    CallAttrExtended,
-
-    // === Control Flow ===
-    /// Unconditional relative jump. Operand: i16 offset.
-    Jump,
-    /// Jump if TOS truthy, always pop. Operand: i16 offset.
-    JumpIfTrue,
-    /// Jump if TOS falsy, always pop. Operand: i16 offset.
-    JumpIfFalse,
-    /// Jump if TOS truthy (keep), else pop. Operand: i16 offset.
-    JumpIfTrueOrPop,
-    /// Jump if TOS falsy (keep), else pop. Operand: i16 offset.
-    JumpIfFalseOrPop,
-
-    // === Iteration ===
-    /// Convert TOS to iterator.
-    GetIter,
-    /// Advance iterator or jump to end. Operand: i16 offset.
-    ForIter,
-
-    // === Function Definition ===
-    /// Create function object. Operand: u16 func_id.
-    MakeFunction,
-    /// Create closure. Operands: u16 func_id, u8 cell_count.
-    MakeClosure,
-
-    // === Exception Handling ===
-    // Note: No SetupTry/PopExceptHandler - we use static exception_table
-    /// Raise TOS as exception.
-    Raise,
-    // NOTE: RaiseFrom removed - `raise ... from ...` not supported by parser
-    /// Re-raise current exception (bare `raise`).
-    Reraise,
-    /// Clear current_exception when exiting except block.
-    ClearException,
-    /// Check if exception matches type for except clause.
-    ///
-    /// Stack: [..., exception, exc_type] -> [..., exception, bool]
-    /// Validates that exc_type is a valid exception type (ExcType or tuple of ExcTypes).
-    /// If invalid, raises TypeError. If valid, pushes True if exception matches, else False.
-    CheckExcMatch,
-
-    // === Return ===
-    /// Return TOS from function.
-    ReturnValue,
-
-    // === Async/Await ===
-    /// Await the TOS value.
-    ///
-    /// Handles `ExternalFuture`, `Coroutine`, and `GatherFuture` awaitables.
-    /// For `ExternalFuture`: if resolved, pushes result; if pending, blocks task.
-    /// For `Coroutine`: validates state is `New`, then starts execution.
-    /// For `GatherFuture`: spawns all coroutines as tasks and blocks until completion.
-    ///
-    /// Raises `TypeError` if TOS is not awaitable.
-    /// Raises `RuntimeError` if coroutine/future has already been awaited.
-    Await,
-
-    // === Unpacking ===
-    /// Unpack TOS into n values. Operand: u8 count.
-    UnpackSequence,
-    /// Unpack with *rest. Operands: u8 before, u8 after.
-    UnpackEx,
-
-    // === Special ===
-    /// No operation (for patching/alignment).
-    Nop,
-
-    // === Module Operations ===
-    /// Load a built-in module onto the stack. Operand: u8 module_id.
-    ///
-    /// The module_id maps to `BuiltinModule` (0=sys, 1=typing).
-    /// Creates the module on the heap and pushes a `Value::Ref` to it.
-    LoadModule,
-    /// Raises `ModuleNotFoundError` at runtime. Operand: u16 constant index for module name.
-    ///
-    /// This opcode is emitted when the compiler encounters an import of an unknown module.
-    /// Instead of failing at compile time, the error is deferred to runtime so that
-    /// imports inside `if TYPE_CHECKING:` blocks or other non-executed code paths
-    /// don't cause errors.
-    ///
-    /// The operand is an index into the constant pool where the module name string is stored.
-    RaiseImportError,
-    /// Duplicate the top two stack values, preserving order: `[a, b] -> [a, b, a, b]`.
-    ///
-    /// Appended at the end to preserve the serialized byte values of all older opcodes.
-    Dup2,
-    /// Delete global variable (set to Undefined). Operand: u16 slot.
-    ///
-    /// Appended at the end to preserve the serialized byte values of all older opcodes.
-    DeleteGlobal,
-
-    /// Pop a mapping, silently merge into the dict at `depth`. Operand: u8 depth.
-    ///
-    /// Used for `**expr` unpack inside dict literals, where later keys overwrite earlier ones
-    /// (unlike `DictMerge` which raises `TypeError` on duplicate keys).
-    ///
-    /// Stack: [..., dict, iter1, ..., iterN, mapping] -> [..., dict, iter1, ..., iterN]
-    /// Pops mapping (TOS), merges into dict at stack position `len - 2 - depth`.
-    /// Raises `TypeError` if `mapping` is not a dict.
-    DictUpdate,
-    /// Pop an iterable, add all items to set at `depth`. Operand: u8 depth.
-    ///
-    /// Used for `*expr` unpack inside set literals (e.g., `{*a, 1}`).
-    /// Follows the same depth convention as `ListAppend`/`SetAdd`.
-    ///
-    /// Stack: [..., set, iter1, ..., iterN, iterable] -> [..., set, iter1, ..., iterN]
-    /// Pops iterable (TOS), adds each item to set at stack position `len - 2 - depth`.
-    /// Raises `TypeError` if iterable is not iterable.
-    SetExtend,
-}
-
-impl TryFrom<u8> for Opcode {
-    type Error = InvalidOpcodeError;
-
-    fn try_from(byte: u8) -> Result<Self, Self::Error> {
-        Self::from_repr(byte).ok_or(InvalidOpcodeError(byte))
-    }
-}
-
-impl Opcode {
-    /// Returns the stack effect of this opcode (positive = push, negative = pop).
-    ///
-    /// Some opcodes have variable effects (e.g., `BuildList` depends on its operand).
-    /// For those, this returns `None` and the caller must compute the effect.
-    ///
-    /// For opcodes that have known, fixed stack effects, returns `Some(i16)`.
-    #[must_use]
-    pub const fn stack_effect(self) -> Option<i16> {
-        #![expect(clippy::allow_attributes, reason = "expect seems broken with enum_glob_use")]
-        #[allow(clippy::enum_glob_use, reason = "simplifies churn")]
-        use Opcode::*;
-        Some(match self {
-            // Stack operations
-            Pop => -1,
-            Dup => 1,
-            Dup2 => 2,
-            Rot2 | Rot3 => 0, // reorder, no net change
-
-            // Constants & Literals (all push 1)
-            LoadConst | LoadNone | LoadTrue | LoadFalse | LoadSmallInt => 1,
-
-            // Variables - loads push, stores pop
-            LoadLocal0 | LoadLocal1 | LoadLocal2 | LoadLocal3 => 1,
-            LoadLocal | LoadLocalW | LoadLocalCallable | LoadLocalCallableW | LoadGlobal | LoadGlobalCallable
-            | LoadCell => 1,
-            StoreLocal | StoreLocalW | StoreGlobal | StoreCell => -1,
-            DeleteLocal | DeleteGlobal => 0, // doesn't affect stack
-
-            // Binary operations: pop 2, push 1 = -1
-            BinaryAdd | BinarySub | BinaryMul | BinaryDiv | BinaryFloorDiv | BinaryMod | BinaryPow | BinaryAnd
-            | BinaryOr | BinaryXor | BinaryLShift | BinaryRShift | BinaryMatMul => -1,
-
-            // Comparisons: pop 2, push 1 = -1
-            CompareEq | CompareNe | CompareLt | CompareLe | CompareGt | CompareGe | CompareIs | CompareIsNot
-            | CompareIn | CompareNotIn | CompareModEq => -1,
-
-            // Unary operations: pop 1, push 1 = 0
-            UnaryNot | UnaryNeg | UnaryPos | UnaryInvert => 0,
-
-            // In-place operations: pop 1 (rhs), leave target on stack = -1
-            InplaceAdd | InplaceSub | InplaceMul | InplaceDiv | InplaceFloorDiv | InplaceMod | InplacePow
-            | InplaceAnd | InplaceOr | InplaceXor | InplaceLShift | InplaceRShift => -1,
-
-            // Collection building - depends on operand, return None
-            BuildList | BuildTuple | BuildDict | BuildSet | BuildFString => return None,
-            // FormatValue: pops 1 value (+ optional fmt_spec), pushes 1. Variable.
-            FormatValue => return None,
-            // BuildSlice: pop 3, push 1 = -2
-            BuildSlice => -2,
-            // ListExtend: pop 2 (iterable + list), push 1 (list) = -1
-            ListExtend => -1,
-            // ListToTuple: pop 1, push 1 = 0
-            ListToTuple => 0,
-            // DictMerge: pop 2, push 1 = -1
-            DictMerge => -1,
-
-            // Comprehension building - pops value, no push (stores in collection below)
-            ListAppend | SetAdd => -1,
-            DictSetItem => -2, // pops key and value
-
-            // Subscript & Attribute
-            BinarySubscr => -1,             // pop 2, push 1
-            StoreSubscr => -3,              // pop 3, push 0
-            LoadAttr | LoadAttrImport => 0, // pop 1, push 1
-            StoreAttr => -2,                // pop 2, push 0
-
-            // Function calls - depend on arg count
-            CallFunction | CallBuiltinFunction | CallBuiltinType | CallFunctionKw | CallAttr | CallAttrKw
-            | CallFunctionExtended | CallAttrExtended => return None,
-
-            // Control flow - no stack effect (jumps don't push/pop)
-            Jump => 0,
-            JumpIfTrue | JumpIfFalse => -1,                    // always pop condition
-            JumpIfTrueOrPop | JumpIfFalseOrPop => return None, // variable (0 or -1)
-
-            // Iteration
-            GetIter => 0,           // pop iterable, push iterator
-            ForIter => return None, // pushes value or jumps (variable)
-
-            // Async/await
-            Await => 0, // pop awaitable, push result
-
-            // Function definition - push 1 (the function/closure)
-            MakeFunction | MakeClosure => 1,
-
-            // Exception handling
-            Raise => -1,         // pop exception
-            Reraise => 0,        // no stack change (reads from exception_stack)
-            ClearException => 0, // clears exception_stack, no operand stack change
-            CheckExcMatch => 0,  // pop exc_type, push bool (net 0, but exc stays)
-
-            // Return
-            ReturnValue => -1,
-
-            // Unpacking - depends on operand
-            UnpackSequence | UnpackEx => return None,
-
-            // Dict/set literal extensions (PEP 448):
-            // DictUpdate: pop mapping, silently merge into dict below = -1
-            DictUpdate => -1,
-            // SetExtend: pop iterable, add all items to set below = -1
-            SetExtend => -1,
-
-            // Special
-            Nop => 0,
-
-            // Module
-            LoadModule => 1,       // push module
-            RaiseImportError => 0, // raises exception, no stack change before that
-        })
-    }
-}
-
-/// Error returned when attempting to convert an invalid byte to an Opcode.
-#[derive(Debug, Clone, Copy, PartialEq, Eq)]
-pub struct InvalidOpcodeError(pub u8);
-
-impl std::fmt::Display for InvalidOpcodeError {
-    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
-        write!(f, "invalid opcode byte: {}", self.0)
-    }
-}
-
-impl std::error::Error for InvalidOpcodeError {}
-
-#[cfg(test)]
-mod tests {
-    use super::*;
-
-    #[test]
-    fn test_opcode_roundtrip() {
-        // Verify that all opcodes from 0 to DeleteGlobal (last opcode) can be converted to u8 and back.
-        for byte in 0..=Opcode::DeleteGlobal as u8 {
-            let opcode = Opcode::try_from(byte).unwrap();
-            assert_eq!(opcode as u8, byte, "opcode {opcode:?} has wrong discriminant");
-        }
-    }
-
-    #[test]
-    fn test_serialized_opcode_values_remain_stable() {
-        // `RaiseImportError` was the tail opcode before `Dup2` was introduced. Keeping it at
-        // byte 110 preserves compatibility for serialized runners and snapshots compiled by
-        // older versions.
-        assert_eq!(Opcode::RaiseImportError as u8, 110);
-        assert_eq!(Opcode::Dup2 as u8, 111);
-        assert_eq!(Opcode::DeleteGlobal as u8, 112);
-        assert_eq!(Opcode::DictUpdate as u8, 113);
-        assert_eq!(Opcode::SetExtend as u8, 114);
-    }
-
-    #[test]
-    fn test_invalid_opcode() {
-        // Byte just after the last valid opcode should fail
-        let result = Opcode::try_from(Opcode::SetExtend as u8 + 1);
-        assert!(result.is_err());
-        // 255 should also fail
-        let result = Opcode::try_from(255u8);
-        assert!(result.is_err());
-    }
-
-    #[test]
-    fn test_opcode_size() {
-        // Verify opcode is 1 byte
-        assert_eq!(std::mem::size_of::<Opcode>(), 1);
-    }
-}