BytecodeInterpreter.java

package org.perlonjava.backend.bytecode;

import org.perlonjava.runtime.operators.*;
import org.perlonjava.runtime.perlmodule.Universal;
import org.perlonjava.runtime.regex.RuntimeRegex;
import org.perlonjava.runtime.runtimetypes.*;

/**
 * Bytecode interpreter with switch-based dispatch and pure register architecture.
 *
 * Key design principles:
 * 1. Pure register machine (NO expression stack) - required for control flow correctness
 * 2. 3-address code format: rd = rs1 op rs2 (explicit register operands)
 * 3. Call same org.perlonjava.runtime.operators.* methods as compiler (100% code reuse)
 * 4. Share GlobalVariable maps with compiled code (same global state)
 * 5. Handle RuntimeControlFlowList for last/next/redo/goto/tail-call
 * 6. Switch-based dispatch (JVM optimizes to tableswitch - O(1) jump table)
 */
public class BytecodeInterpreter {

    // Debug flag for regex compilation (set at class load time)
    private static final boolean DEBUG_REGEX = System.getenv("DEBUG_REGEX") != null;

    static RuntimeScalar ensureMutableScalar(RuntimeBase val) {
        if (val instanceof RuntimeScalarReadOnly ro) {
            RuntimeScalar copy = new RuntimeScalar();
            copy.type = ro.type;
            copy.value = ro.value;
            return copy;
        }
        if (val instanceof ScalarSpecialVariable sv) {
            RuntimeScalar src = sv.getValueAsScalar();
            RuntimeScalar copy = new RuntimeScalar();
            copy.type = src.type;
            copy.value = src.value;
            return copy;
        }
        return (RuntimeScalar) val;
    }

    static boolean isImmutableProxy(RuntimeBase val) {
        return val instanceof RuntimeScalarReadOnly || val instanceof ScalarSpecialVariable;
    }

    /**
     * Execute interpreted bytecode.
     *
     * @param code        The InterpretedCode to execute
     * @param args        The arguments array (@_)
     * @param callContext The calling context (VOID/SCALAR/LIST/RUNTIME)
     * @return RuntimeList containing the result (may be RuntimeControlFlowList)
     */
    public static RuntimeList execute(InterpretedCode code, RuntimeArray args, int callContext) {
        return execute(code, args, callContext, null);
    }

    /**
     * Execute interpreted bytecode with subroutine name for stack traces.
     *
     * @param code           The InterpretedCode to execute
     * @param args           The arguments array (@_)
     * @param callContext    The calling context
     * @param subroutineName Subroutine name for stack traces (may be null)
     * @return RuntimeList containing the result (may be RuntimeControlFlowList)
     */
    public static RuntimeList execute(InterpretedCode code, RuntimeArray args, int callContext, String subroutineName) {
        // Track interpreter state for stack traces
        String framePackageName = code.packageName != null ? code.packageName : "main";
        String frameSubName = subroutineName != null ? subroutineName : (code.subName != null ? code.subName : "(eval)");
        InterpreterState.push(code, framePackageName, frameSubName);

        // Pure register file (NOT stack-based - matches compiler for control flow correctness)
        RuntimeBase[] registers = new RuntimeBase[code.maxRegisters];

        // Initialize special registers (same as compiler)
        registers[0] = code;           // $this (for closures - register 0)
        registers[1] = args;           // @_ (arguments - register 1)
        registers[2] = RuntimeScalarCache.getScalarInt(callContext); // wantarray (register 2)

        // Copy captured variables (closure support)
        if (code.capturedVars != null && code.capturedVars.length > 0) {
            System.arraycopy(code.capturedVars, 0, registers, 3, code.capturedVars.length);
        }

        int pc = 0;  // Program counter
        final int[] bytecode = code.bytecode;

        // Eval block exception handling: stack of catch PCs
        // When EVAL_TRY is executed, push the catch PC onto this stack
        // When exception occurs, pop from stack and jump to catch PC
        java.util.Stack<Integer> evalCatchStack = new java.util.Stack<>();

        // Labeled block stack for non-local last/next/redo handling.
        // When a function call returns a RuntimeControlFlowList, we check this stack
        // to see if the label matches an enclosing labeled block.
        java.util.Stack<int[]> labeledBlockStack = new java.util.Stack<>();
        // Each entry is [labelStringPoolIdx, exitPc]

        java.util.Stack<RegexState> regexStateStack = new java.util.Stack<>();

        // Record DVM level so the finally block can clean up everything pushed
        // by this subroutine (local variables AND regex state snapshot).
        int savedLocalLevel = DynamicVariableManager.getLocalLevel();
        RegexState.save();
        try {
        outer:
        while (true) {
        try {
            // Main dispatch loop - JVM JIT optimizes switch to tableswitch (O(1) jump)
            while (pc < bytecode.length) {
                // Update current PC for caller()/stack trace reporting.
                // This allows ExceptionFormatter to map pc->tokenIndex->line using code.errorUtil,
                // which also honors #line directives inside eval strings.
                InterpreterState.setCurrentPc(pc);
                int opcode = bytecode[pc++];

                switch (opcode) {
                    // =================================================================
                    // CONTROL FLOW
                    // =================================================================

                    case Opcodes.NOP:
                        // No operation
                        break;

                    case Opcodes.RETURN: {
                        // Return from subroutine: return rd
                        int retReg = bytecode[pc++];
                        RuntimeBase retVal = registers[retReg];

                        if (retVal == null) {
                            return new RuntimeList();
                        }
                        RuntimeList retList = retVal.getList();
                        RuntimeCode.materializeSpecialVarsInResult(retList);
                        return retList;
                    }

                    case Opcodes.GOTO: {
                        // Unconditional jump: pc = offset
                        int offset = readInt(bytecode, pc);
                        pc = offset;  // Registers persist across jump (unlike stack-based!)
                        break;
                    }

                    case Opcodes.LAST:
                    case Opcodes.NEXT:
                    case Opcodes.REDO: {
                        // Loop control: jump to target PC
                        // Format: opcode, target (absolute PC as int)
                        int target = readInt(bytecode, pc);
                        pc = target;
                        break;
                    }

                    case Opcodes.GOTO_IF_FALSE: {
                        // Conditional jump: if (!rs) pc = offset
                        int condReg = bytecode[pc++];
                        int target = readInt(bytecode, pc);
                        pc += 1;

                        // Convert to scalar if needed for boolean test
                        RuntimeBase condBase = registers[condReg];
                        RuntimeScalar cond = (condBase instanceof RuntimeScalar)
                            ? (RuntimeScalar) condBase
                            : condBase.scalar();

                        if (!cond.getBoolean()) {
                            pc = target;  // Jump - all registers stay valid!
                        }
                        break;
                    }

                    case Opcodes.GOTO_IF_TRUE: {
                        // Conditional jump: if (rs) pc = offset
                        int condReg = bytecode[pc++];
                        int target = readInt(bytecode, pc);
                        pc += 1;

                        // Convert to scalar if needed for boolean test
                        RuntimeBase condBase = registers[condReg];
                        RuntimeScalar cond = (condBase instanceof RuntimeScalar)
                            ? (RuntimeScalar) condBase
                            : condBase.scalar();

                        if (cond.getBoolean()) {
                            pc = target;
                        }
                        break;
                    }

                    // =================================================================
                    // REGISTER OPERATIONS
                    // =================================================================

                    case Opcodes.ALIAS: {
                        // Register alias: rd = rs (shares reference, does NOT copy value)
                        // Must unwrap RuntimeScalarReadOnly to prevent read-only values in variable registers
                        int dest = bytecode[pc++];
                        int src = bytecode[pc++];
                        RuntimeBase srcVal = registers[src];
                        registers[dest] = isImmutableProxy(srcVal) ? ensureMutableScalar(srcVal) : srcVal;
                        break;
                    }

                    case Opcodes.LOAD_CONST: {
                        // Load from constant pool: rd = constants[index]
                        int rd = bytecode[pc++];
                        int constIndex = bytecode[pc++];
                        registers[rd] = (RuntimeBase) code.constants[constIndex];
                        break;
                    }

                    case Opcodes.LOAD_INT: {
                        // Load integer: rd = immediate (create NEW mutable scalar, not cached)
                        int rd = bytecode[pc++];
                        int value = readInt(bytecode, pc);
                        pc += 1;
                        // Create NEW RuntimeScalar (mutable) instead of using cache
                        // This is needed for local variables that may be modified (++/--)
                        registers[rd] = new RuntimeScalar(value);
                        break;
                    }

                    case Opcodes.LOAD_STRING: {
                        // Load string: rd = new RuntimeScalar(stringPool[index])
                        int rd = bytecode[pc++];
                        int strIndex = bytecode[pc++];
                        registers[rd] = new RuntimeScalar(code.stringPool[strIndex]);
                        break;
                    }

                    case Opcodes.LOAD_VSTRING: {
                        // Load v-string literal with VSTRING type (e.g. v5.5.640)
                        // Mirrors JVM EmitLiteral isVString handling.
                        int rd = bytecode[pc++];
                        int strIndex = bytecode[pc++];
                        RuntimeScalar vs = new RuntimeScalar(code.stringPool[strIndex]);
                        vs.type = RuntimeScalarType.VSTRING;
                        registers[rd] = vs;
                        break;
                    }

                    case Opcodes.GLOB_OP: {
                        // File glob: ScalarGlobOperator.evaluate(globId, pattern, ctx)
                        // Mirrors JVM EmitOperator.handleGlobBuiltin.
                        int rd = bytecode[pc++];
                        int globId = bytecode[pc++];
                        int patternReg = bytecode[pc++];
                        int ctx = bytecode[pc++];
                        registers[rd] = ScalarGlobOperator.evaluate(globId, (RuntimeScalar) registers[patternReg], ctx);
                        break;
                    }

                    case Opcodes.LOAD_UNDEF: {
                        // Load undef: rd = new RuntimeScalar()
                        int rd = bytecode[pc++];
                        registers[rd] = new RuntimeScalar();
                        break;
                    }

                    case Opcodes.UNDEFINE_SCALAR: {
                        // Undefine variable in-place: rd.undefine()
                        int rd = bytecode[pc++];
                        if (isImmutableProxy(registers[rd])) {
                            registers[rd] = ensureMutableScalar(registers[rd]);
                        }
                        registers[rd].undefine();
                        break;
                    }

                    case Opcodes.MY_SCALAR: {
                        // Lexical scalar assignment: rd = new RuntimeScalar(); rd.set(rs)
                        int rd = bytecode[pc++];
                        int rs = bytecode[pc++];
                        RuntimeScalar newScalar = new RuntimeScalar();
                        registers[rs].addToScalar(newScalar);
                        registers[rd] = newScalar;
                        break;
                    }

                    // =================================================================
                    // VARIABLE ACCESS - GLOBAL
                    // =================================================================

                    case Opcodes.LOAD_GLOBAL_SCALAR: {
                        // Load global scalar: rd = GlobalVariable.getGlobalVariable(name)
                        int rd = bytecode[pc++];
                        int nameIdx = bytecode[pc++];
                        String name = code.stringPool[nameIdx];
                        // Uses SAME GlobalVariable as compiled code
                        registers[rd] = GlobalVariable.getGlobalVariable(name);
                        break;
                    }

                    case Opcodes.STORE_GLOBAL_SCALAR: {
                        // Store global scalar: GlobalVariable.getGlobalVariable(name).set(rs)
                        int nameIdx = bytecode[pc++];
                        int srcReg = bytecode[pc++];
                        String name = code.stringPool[nameIdx];

                        // Convert to scalar if needed
                        RuntimeBase value = registers[srcReg];
                        RuntimeScalar scalarValue = (value instanceof RuntimeScalar)
                            ? (RuntimeScalar) value
                            : value.scalar();

                        GlobalVariable.getGlobalVariable(name).set(scalarValue);
                        break;
                    }

                    case Opcodes.LOCAL_SCALAR_SAVE_LEVEL: {
                        // Superinstruction: save dynamic level BEFORE makeLocal, then localize.
                        // Atomically: levelReg = getLocalLevel(), rd = makeLocal(name).
                        // The pre-push level in levelReg is used by POP_LOCAL_LEVEL after the loop.
                        int rd = bytecode[pc++];
                        int levelReg = bytecode[pc++];
                        int nameIdx = bytecode[pc++];
                        String name = code.stringPool[nameIdx];

                        registers[levelReg] = new RuntimeScalar(DynamicVariableManager.getLocalLevel());
                        registers[rd] = GlobalRuntimeScalar.makeLocal(name);
                        break;
                    }

                    case Opcodes.POP_LOCAL_LEVEL: {
                        // Restore DynamicVariableManager to a previously saved local level.
                        // Matches JVM compiler's DynamicVariableManager.popToLocalLevel(savedLevel) call.
                        int rs = bytecode[pc++];
                        int savedLevel = ((RuntimeScalar) registers[rs]).getInt();
                        DynamicVariableManager.popToLocalLevel(savedLevel);
                        break;
                    }

                    case Opcodes.SAVE_REGEX_STATE: {
                        pc++;
                        regexStateStack.push(new RegexState());
                        break;
                    }

                    case Opcodes.RESTORE_REGEX_STATE: {
                        pc++;
                        if (!regexStateStack.isEmpty()) {
                            regexStateStack.pop().restore();
                        }
                        break;
                    }

                    case Opcodes.FOREACH_GLOBAL_NEXT_OR_EXIT: {
                        // Superinstruction: foreach loop step for a global loop variable (e.g. $_).
                        // Combines: hasNext check, next() into varReg, aliasGlobalVariable, conditional jump.
                        // Do-while layout: if hasNext jump to bodyTarget, else fall through to exit.
                        int rd = bytecode[pc++];
                        int iterReg = bytecode[pc++];
                        int nameIdx = bytecode[pc++];
                        int bodyTarget = readInt(bytecode, pc);
                        pc += 1;

                        String name = code.stringPool[nameIdx];
                        RuntimeScalar iterScalar = (RuntimeScalar) registers[iterReg];
                        @SuppressWarnings("unchecked")
                        java.util.Iterator<RuntimeScalar> iterator =
                            (java.util.Iterator<RuntimeScalar>) iterScalar.value;

                        if (iterator.hasNext()) {
                            RuntimeScalar element = iterator.next();
                            if (isImmutableProxy(element)) {
                                element = ensureMutableScalar(element);
                            }
                            registers[rd] = element;
                            GlobalVariable.aliasGlobalVariable(name, element);
                            pc = bodyTarget;  // ABSOLUTE jump back to body start
                        } else {
                            registers[rd] = new RuntimeScalar();
                        }
                        break;
                    }

                    case Opcodes.STORE_GLOBAL_ARRAY: {
                        // Store global array: GlobalVariable.getGlobalArray(name).setFromList(list)
                        int nameIdx = bytecode[pc++];
                        int srcReg = bytecode[pc++];
                        String name = code.stringPool[nameIdx];

                        RuntimeArray globalArray = GlobalVariable.getGlobalArray(name);
                        RuntimeBase value = registers[srcReg];

                        if (value == null) {
                            // Output disassembly around the error
                            String disasm = code.disassemble();
                            throw new PerlCompilerException("STORE_GLOBAL_ARRAY: Register r" + srcReg +
                                " is null when storing to @" + name + " at pc=" + (pc-3) + "\n\nDisassembly:\n" + disasm);
                        }

                        // Clear and populate the global array from the source
                        if (value instanceof RuntimeArray) {
                            globalArray.elements.clear();
                            globalArray.elements.addAll(((RuntimeArray) value).elements);
                        } else if (value instanceof RuntimeList) {
                            globalArray.setFromList((RuntimeList) value);
                        } else {
                            globalArray.setFromList(value.getList());
                        }
                        break;
                    }

                    case Opcodes.STORE_GLOBAL_HASH: {
                        // Store global hash: GlobalVariable.getGlobalHash(name).setFromList(list)
                        int nameIdx = bytecode[pc++];
                        int srcReg = bytecode[pc++];
                        String name = code.stringPool[nameIdx];

                        RuntimeHash globalHash = GlobalVariable.getGlobalHash(name);
                        RuntimeBase value = registers[srcReg];

                        // Clear and populate the global hash from the source
                        if (value instanceof RuntimeHash) {
                            globalHash.elements.clear();
                            globalHash.elements.putAll(((RuntimeHash) value).elements);
                        } else if (value instanceof RuntimeList) {
                            globalHash.setFromList((RuntimeList) value);
                        } else {
                            globalHash.setFromList(value.getList());
                        }
                        break;
                    }

                    case Opcodes.LOAD_GLOBAL_ARRAY: {
                        // Load global array: rd = GlobalVariable.getGlobalArray(name)
                        int rd = bytecode[pc++];
                        int nameIdx = bytecode[pc++];
                        String name = code.stringPool[nameIdx];
                        registers[rd] = GlobalVariable.getGlobalArray(name);
                        break;
                    }

                    case Opcodes.LOAD_GLOBAL_HASH: {
                        // Load global hash: rd = GlobalVariable.getGlobalHash(name)
                        int rd = bytecode[pc++];
                        int nameIdx = bytecode[pc++];
                        String name = code.stringPool[nameIdx];
                        registers[rd] = GlobalVariable.getGlobalHash(name);
                        break;
                    }

                    case Opcodes.LOAD_GLOBAL_CODE: {
                        // Load global code: rd = GlobalVariable.getGlobalCodeRef(name)
                        int rd = bytecode[pc++];
                        int nameIdx = bytecode[pc++];
                        String name = code.stringPool[nameIdx];
                        registers[rd] = GlobalVariable.getGlobalCodeRef(name);
                        break;
                    }

                    case Opcodes.STORE_GLOBAL_CODE: {
                        // Store global code: GlobalVariable.globalCodeRefs.put(name, codeRef)
                        int nameIdx = bytecode[pc++];
                        int codeReg = bytecode[pc++];
                        String name = code.stringPool[nameIdx];
                        RuntimeScalar codeRef = (RuntimeScalar) registers[codeReg];
                        // Store the code reference in the global namespace
                        GlobalVariable.globalCodeRefs.put(name, codeRef);
                        break;
                    }

                    case Opcodes.CREATE_CLOSURE:
                        // Create closure with captured variables
                        // Format: CREATE_CLOSURE rd template_idx num_captures reg1 reg2 ...
                        pc = OpcodeHandlerExtended.executeCreateClosure(bytecode, pc, registers, code);
                        break;

                    case Opcodes.SET_SCALAR: {
                        // Set scalar value: registers[rd] = registers[rs]
                        // Use addToScalar which properly handles special variables like $&
                        // addToScalar calls getValueAsScalar() for ScalarSpecialVariable
                        int rd = bytecode[pc++];
                        int rs = bytecode[pc++];
                        RuntimeBase rdVal = registers[rd];
                        RuntimeScalar rdScalar;
                        if (isImmutableProxy(rdVal)) {
                            rdScalar = new RuntimeScalar();
                            registers[rd] = rdScalar;
                        } else if (rdVal instanceof RuntimeScalar) {
                            rdScalar = (RuntimeScalar) rdVal;
                        } else {
                            rdScalar = rdVal.scalar();
                        }
                        registers[rs].addToScalar(rdScalar);
                        break;
                    }

                    // =================================================================
                    // ARITHMETIC OPERATORS
                    // =================================================================

                    case Opcodes.ADD_SCALAR: {
                        // Addition: rd = rs1 + rs2
                        int rd = bytecode[pc++];
                        int rs1 = bytecode[pc++];
                        int rs2 = bytecode[pc++];

                        // Convert to scalar if needed
                        RuntimeBase val1 = registers[rs1];
                        RuntimeBase val2 = registers[rs2];
                        RuntimeScalar s1 = (val1 instanceof RuntimeScalar) ? (RuntimeScalar) val1 : val1.scalar();
                        RuntimeScalar s2 = (val2 instanceof RuntimeScalar) ? (RuntimeScalar) val2 : val2.scalar();

                        // Calls SAME method as compiled code
                        registers[rd] = MathOperators.add(s1, s2);
                        break;
                    }

                    case Opcodes.SUB_SCALAR: {
                        // Subtraction: rd = rs1 - rs2
                        int rd = bytecode[pc++];
                        int rs1 = bytecode[pc++];
                        int rs2 = bytecode[pc++];

                        // Convert to scalar if needed
                        RuntimeBase val1 = registers[rs1];
                        RuntimeBase val2 = registers[rs2];
                        RuntimeScalar s1 = (val1 instanceof RuntimeScalar) ? (RuntimeScalar) val1 : val1.scalar();
                        RuntimeScalar s2 = (val2 instanceof RuntimeScalar) ? (RuntimeScalar) val2 : val2.scalar();

                        registers[rd] = MathOperators.subtract(s1, s2);
                        break;
                    }

                    case Opcodes.MUL_SCALAR: {
                        // Multiplication: rd = rs1 * rs2
                        int rd = bytecode[pc++];
                        int rs1 = bytecode[pc++];
                        int rs2 = bytecode[pc++];

                        // Convert to scalar if needed
                        RuntimeBase val1 = registers[rs1];
                        RuntimeBase val2 = registers[rs2];
                        RuntimeScalar s1 = (val1 instanceof RuntimeScalar) ? (RuntimeScalar) val1 : val1.scalar();
                        RuntimeScalar s2 = (val2 instanceof RuntimeScalar) ? (RuntimeScalar) val2 : val2.scalar();

                        registers[rd] = MathOperators.multiply(s1, s2);
                        break;
                    }

                    case Opcodes.DIV_SCALAR: {
                        // Division: rd = rs1 / rs2
                        int rd = bytecode[pc++];
                        int rs1 = bytecode[pc++];
                        int rs2 = bytecode[pc++];

                        // Convert to scalar if needed
                        RuntimeBase val1 = registers[rs1];
                        RuntimeBase val2 = registers[rs2];
                        RuntimeScalar s1 = (val1 instanceof RuntimeScalar) ? (RuntimeScalar) val1 : val1.scalar();
                        RuntimeScalar s2 = (val2 instanceof RuntimeScalar) ? (RuntimeScalar) val2 : val2.scalar();

                        registers[rd] = MathOperators.divide(s1, s2);
                        break;
                    }

                    case Opcodes.MOD_SCALAR: {
                        // Modulus: rd = rs1 % rs2
                        int rd = bytecode[pc++];
                        int rs1 = bytecode[pc++];
                        int rs2 = bytecode[pc++];

                        // Convert to scalar if needed
                        RuntimeBase val1 = registers[rs1];
                        RuntimeBase val2 = registers[rs2];
                        RuntimeScalar s1 = (val1 instanceof RuntimeScalar) ? (RuntimeScalar) val1 : val1.scalar();
                        RuntimeScalar s2 = (val2 instanceof RuntimeScalar) ? (RuntimeScalar) val2 : val2.scalar();

                        registers[rd] = MathOperators.modulus(s1, s2);
                        break;
                    }

                    case Opcodes.POW_SCALAR: {
                        // Exponentiation: rd = rs1 ** rs2
                        int rd = bytecode[pc++];
                        int rs1 = bytecode[pc++];
                        int rs2 = bytecode[pc++];

                        // Convert to scalar if needed
                        RuntimeBase val1 = registers[rs1];
                        RuntimeBase val2 = registers[rs2];
                        RuntimeScalar s1 = (val1 instanceof RuntimeScalar) ? (RuntimeScalar) val1 : val1.scalar();
                        RuntimeScalar s2 = (val2 instanceof RuntimeScalar) ? (RuntimeScalar) val2 : val2.scalar();

                        registers[rd] = MathOperators.pow(s1, s2);
                        break;
                    }

                    case Opcodes.NEG_SCALAR: {
                        // Negation: rd = -rs
                        int rd = bytecode[pc++];
                        int rs = bytecode[pc++];
                        registers[rd] = MathOperators.unaryMinus((RuntimeScalar) registers[rs]);
                        break;
                    }

                    // Specialized unboxed operations (rare optimizations)
                    case Opcodes.ADD_SCALAR_INT: {
                        // Addition with immediate: rd = rs + immediate
                        int rd = bytecode[pc++];
                        int rs = bytecode[pc++];
                        int immediate = readInt(bytecode, pc);
                        pc += 1;
                        // Calls specialized unboxed method (rare optimization)
                        registers[rd] = MathOperators.add(
                            (RuntimeScalar) registers[rs],
                            immediate  // primitive int, not RuntimeScalar
                        );
                        break;
                    }

                    // =================================================================
                    // STRING OPERATORS
                    // =================================================================

                    case Opcodes.CONCAT: {
                        // String concatenation: rd = rs1 . rs2
                        int rd = bytecode[pc++];
                        int rs1 = bytecode[pc++];
                        int rs2 = bytecode[pc++];
                        RuntimeBase concatLeft = registers[rs1];
                        RuntimeBase concatRight = registers[rs2];
                        registers[rd] = StringOperators.stringConcat(
                            concatLeft instanceof RuntimeScalar ? (RuntimeScalar) concatLeft : concatLeft.scalar(),
                            concatRight instanceof RuntimeScalar ? (RuntimeScalar) concatRight : concatRight.scalar()
                        );
                        break;
                    }

                    case Opcodes.REPEAT: {
                        // String/list repetition: rd = rs1 x rs2
                        int rd = bytecode[pc++];
                        int rs1 = bytecode[pc++];
                        int rs2 = bytecode[pc++];
                        RuntimeBase countVal = registers[rs2];
                        RuntimeScalar count = (countVal instanceof RuntimeScalar)
                            ? (RuntimeScalar) countVal
                            : ((RuntimeList) countVal).scalar();
                        registers[rd] = Operator.repeat(registers[rs1], count, 1);
                        break;
                    }

                    case Opcodes.LENGTH: {
                        // String length: rd = length(rs)
                        int rd = bytecode[pc++];
                        int rs = bytecode[pc++];
                        registers[rd] = StringOperators.length((RuntimeScalar) registers[rs]);
                        break;
                    }

                    // =================================================================
                    // COMPARISON AND LOGICAL OPERATORS (opcodes 31-39) - Delegated
                    // =================================================================

                    case Opcodes.COMPARE_NUM:
                    case Opcodes.COMPARE_STR:
                    case Opcodes.EQ_NUM:
                    case Opcodes.NE_NUM:
                    case Opcodes.LT_NUM:
                    case Opcodes.GT_NUM:
                    case Opcodes.LE_NUM:
                    case Opcodes.GE_NUM:
                    case Opcodes.EQ_STR:
                    case Opcodes.NE_STR:
                    case Opcodes.NOT:
                        pc = executeComparisons(opcode, bytecode, pc, registers);
                        break;

                    // =================================================================
                    // TYPE AND REFERENCE OPERATORS (opcodes 102-105) - Delegated
                    // =================================================================

                    case Opcodes.DEFINED:
                    case Opcodes.REF:
                    case Opcodes.BLESS:
                    case Opcodes.ISA:
                    case Opcodes.PROTOTYPE:
                    case Opcodes.QUOTE_REGEX:
                        pc = executeTypeOps(opcode, bytecode, pc, registers, code);
                        break;

                    // =================================================================
                    // ITERATOR OPERATIONS - For efficient foreach loops
                    // =================================================================

                    case Opcodes.ITERATOR_CREATE:
                        // Create iterator: rd = rs.iterator()
                        // Format: ITERATOR_CREATE rd rs
                        pc = OpcodeHandlerExtended.executeIteratorCreate(bytecode, pc, registers);
                        break;

                    case Opcodes.ITERATOR_HAS_NEXT:
                        // Check iterator: rd = iterator.hasNext()
                        // Format: ITERATOR_HAS_NEXT rd iterReg
                        pc = OpcodeHandlerExtended.executeIteratorHasNext(bytecode, pc, registers);
                        break;

                    case Opcodes.ITERATOR_NEXT:
                        // Get next element: rd = iterator.next()
                        // Format: ITERATOR_NEXT rd iterReg
                        pc = OpcodeHandlerExtended.executeIteratorNext(bytecode, pc, registers);
                        break;

                    case Opcodes.FOREACH_NEXT_OR_EXIT: {
                        // Superinstruction for foreach loops (do-while layout).
                        // Combines: hasNext check, next() call, and conditional jump to body.
                        // Format: FOREACH_NEXT_OR_EXIT rd, iterReg, bodyTarget
                        // If hasNext: rd = iterator.next(), jump to bodyTarget (backward)
                        // Else: fall through to exit (iterator exhausted)
                        int rd = bytecode[pc++];
                        int iterReg = bytecode[pc++];
                        int bodyTarget = readInt(bytecode, pc);  // Absolute target address
                        pc += 1;  // Skip the int we just read

                        RuntimeScalar iterScalar = (RuntimeScalar) registers[iterReg];
                        @SuppressWarnings("unchecked")
                        java.util.Iterator<RuntimeScalar> iterator =
                            (java.util.Iterator<RuntimeScalar>) iterScalar.value;

                        if (iterator.hasNext()) {
                            // Get next element and jump back to body
                            RuntimeScalar elem = iterator.next();
                            registers[rd] = (isImmutableProxy(elem)) ? ensureMutableScalar(elem) : elem;
                            pc = bodyTarget;  // ABSOLUTE jump back to body start
                        } else {
                            registers[rd] = new RuntimeScalar();
                        }
                        break;
                    }

                    // =================================================================
                    // COMPOUND ASSIGNMENT OPERATORS (with overload support)
                    // =================================================================

                    case Opcodes.SUBTRACT_ASSIGN:
                        // Compound assignment: rd -= rs
                        // Format: SUBTRACT_ASSIGN rd rs
                        pc = OpcodeHandlerExtended.executeSubtractAssign(bytecode, pc, registers);
                        break;

                    case Opcodes.MULTIPLY_ASSIGN:
                        // Compound assignment: rd *= rs
                        // Format: MULTIPLY_ASSIGN rd rs
                        pc = OpcodeHandlerExtended.executeMultiplyAssign(bytecode, pc, registers);
                        break;

                    case Opcodes.DIVIDE_ASSIGN:
                        // Compound assignment: rd /= rs
                        // Format: DIVIDE_ASSIGN rd rs
                        pc = OpcodeHandlerExtended.executeDivideAssign(bytecode, pc, registers);
                        break;

                    case Opcodes.MODULUS_ASSIGN:
                        // Compound assignment: rd %= rs
                        // Format: MODULUS_ASSIGN rd rs
                        pc = OpcodeHandlerExtended.executeModulusAssign(bytecode, pc, registers);
                        break;

                    case Opcodes.REPEAT_ASSIGN:
                        // Compound assignment: rd x= rs
                        // Format: REPEAT_ASSIGN rd rs
                        pc = OpcodeHandlerExtended.executeRepeatAssign(bytecode, pc, registers);
                        break;

                    case Opcodes.POW_ASSIGN:
                        // Compound assignment: rd **= rs
                        // Format: POW_ASSIGN rd rs
                        pc = OpcodeHandlerExtended.executePowAssign(bytecode, pc, registers);
                        break;

                    case Opcodes.LEFT_SHIFT_ASSIGN:
                        // Compound assignment: rd <<= rs
                        // Format: LEFT_SHIFT_ASSIGN rd rs
                        pc = OpcodeHandlerExtended.executeLeftShiftAssign(bytecode, pc, registers);
                        break;

                    case Opcodes.RIGHT_SHIFT_ASSIGN:
                        pc = OpcodeHandlerExtended.executeRightShiftAssign(bytecode, pc, registers);
                        break;

                    case Opcodes.INTEGER_LEFT_SHIFT_ASSIGN: {
                        int rd = bytecode[pc++];
                        int rs = bytecode[pc++];
                        RuntimeScalar s1 = (RuntimeScalar) registers[rd];
                        s1.set(BitwiseOperators.integerShiftLeft(s1, (RuntimeScalar) registers[rs]));
                        break;
                    }
                    case Opcodes.INTEGER_RIGHT_SHIFT_ASSIGN: {
                        int rd = bytecode[pc++];
                        int rs = bytecode[pc++];
                        RuntimeScalar s1 = (RuntimeScalar) registers[rd];
                        s1.set(BitwiseOperators.integerShiftRight(s1, (RuntimeScalar) registers[rs]));
                        break;
                    }
                    case Opcodes.INTEGER_DIV_ASSIGN: {
                        int rd = bytecode[pc++];
                        int rs = bytecode[pc++];
                        RuntimeScalar s1 = (RuntimeScalar) registers[rd];
                        s1.set(MathOperators.integerDivide(s1, (RuntimeScalar) registers[rs]));
                        break;
                    }
                    case Opcodes.INTEGER_MOD_ASSIGN: {
                        int rd = bytecode[pc++];
                        int rs = bytecode[pc++];
                        RuntimeScalar s1 = (RuntimeScalar) registers[rd];
                        s1.set(MathOperators.integerModulus(s1, (RuntimeScalar) registers[rs]));
                        break;
                    }

                    case Opcodes.LOGICAL_AND_ASSIGN:
                        // Compound assignment: rd &&= rs (short-circuit)
                        // Format: LOGICAL_AND_ASSIGN rd rs
                        pc = OpcodeHandlerExtended.executeLogicalAndAssign(bytecode, pc, registers);
                        break;

                    case Opcodes.LOGICAL_OR_ASSIGN:
                        // Compound assignment: rd ||= rs (short-circuit)
                        // Format: LOGICAL_OR_ASSIGN rd rs
                        pc = OpcodeHandlerExtended.executeLogicalOrAssign(bytecode, pc, registers);
                        break;

                    case Opcodes.DEFINED_OR_ASSIGN:
                        // Compound assignment: rd //= rs (short-circuit)
                        // Format: DEFINED_OR_ASSIGN rd rs
                        pc = OpcodeHandlerExtended.executeDefinedOrAssign(bytecode, pc, registers);
                        break;

                    // =================================================================
                    // SHIFT OPERATIONS
                    // =================================================================

                    case Opcodes.LEFT_SHIFT: {
                        // Left shift: rd = rs1 << rs2
                        int rd = bytecode[pc++];
                        int rs1 = bytecode[pc++];
                        int rs2 = bytecode[pc++];
                        RuntimeScalar s1 = (RuntimeScalar) registers[rs1];
                        RuntimeScalar s2 = (RuntimeScalar) registers[rs2];
                        registers[rd] = BitwiseOperators.shiftLeft(s1, s2);
                        break;
                    }

                    case Opcodes.RIGHT_SHIFT: {
                        // Right shift: rd = rs1 >> rs2
                        int rd = bytecode[pc++];
                        int rs1 = bytecode[pc++];
                        int rs2 = bytecode[pc++];
                        RuntimeScalar s1 = (RuntimeScalar) registers[rs1];
                        RuntimeScalar s2 = (RuntimeScalar) registers[rs2];
                        registers[rd] = BitwiseOperators.shiftRight(s1, s2);
                        break;
                    }

                    case Opcodes.INTEGER_LEFT_SHIFT: {
                        int rd = bytecode[pc++];
                        int rs1 = bytecode[pc++];
                        int rs2 = bytecode[pc++];
                        RuntimeScalar s1 = (registers[rs1] instanceof RuntimeScalar) ? (RuntimeScalar) registers[rs1] : registers[rs1].scalar();
                        RuntimeScalar s2 = (registers[rs2] instanceof RuntimeScalar) ? (RuntimeScalar) registers[rs2] : registers[rs2].scalar();
                        registers[rd] = BitwiseOperators.integerShiftLeft(s1, s2);
                        break;
                    }

                    case Opcodes.INTEGER_RIGHT_SHIFT: {
                        int rd = bytecode[pc++];
                        int rs1 = bytecode[pc++];
                        int rs2 = bytecode[pc++];
                        RuntimeScalar s1 = (registers[rs1] instanceof RuntimeScalar) ? (RuntimeScalar) registers[rs1] : registers[rs1].scalar();
                        RuntimeScalar s2 = (registers[rs2] instanceof RuntimeScalar) ? (RuntimeScalar) registers[rs2] : registers[rs2].scalar();
                        registers[rd] = BitwiseOperators.integerShiftRight(s1, s2);
                        break;
                    }

                    case Opcodes.INTEGER_DIV: {
                        int rd = bytecode[pc++];
                        int rs1 = bytecode[pc++];
                        int rs2 = bytecode[pc++];
                        RuntimeScalar s1 = (registers[rs1] instanceof RuntimeScalar) ? (RuntimeScalar) registers[rs1] : registers[rs1].scalar();
                        RuntimeScalar s2 = (registers[rs2] instanceof RuntimeScalar) ? (RuntimeScalar) registers[rs2] : registers[rs2].scalar();
                        registers[rd] = MathOperators.integerDivide(s1, s2);
                        break;
                    }

                    case Opcodes.INTEGER_MOD: {
                        int rd = bytecode[pc++];
                        int rs1 = bytecode[pc++];
                        int rs2 = bytecode[pc++];
                        RuntimeScalar s1 = (registers[rs1] instanceof RuntimeScalar) ? (RuntimeScalar) registers[rs1] : registers[rs1].scalar();
                        RuntimeScalar s2 = (registers[rs2] instanceof RuntimeScalar) ? (RuntimeScalar) registers[rs2] : registers[rs2].scalar();
                        registers[rd] = MathOperators.integerModulus(s1, s2);
                        break;
                    }

                    // =================================================================
                    // ARRAY OPERATIONS
                    // =================================================================

                    case Opcodes.ARRAY_GET: {
                        // Array element access: rd = array[index]
                        int rd = bytecode[pc++];
                        int arrayReg = bytecode[pc++];
                        int indexReg = bytecode[pc++];

                        RuntimeBase arrayBase = registers[arrayReg];
                        RuntimeScalar idx = (RuntimeScalar) registers[indexReg];

                        if (arrayBase instanceof RuntimeArray) {
                            RuntimeArray arr = (RuntimeArray) arrayBase;
                            registers[rd] = arr.get(idx.getInt());
                        } else if (arrayBase instanceof RuntimeList) {
                            RuntimeList list = (RuntimeList) arrayBase;
                            int index = idx.getInt();
                            if (index < 0) index = list.elements.size() + index;
                            registers[rd] = (index >= 0 && index < list.elements.size())
                                ? list.elements.get(index)
                                : new RuntimeScalar();
                        } else {
                            throw new RuntimeException("ARRAY_GET: register " + arrayReg + " contains " +
                                (arrayBase == null ? "null" : arrayBase.getClass().getName()) +
                                " instead of RuntimeArray or RuntimeList");
                        }
                        break;
                    }

                    case Opcodes.ARRAY_SET: {
                        // Array element store: array[index] = value
                        int arrayReg = bytecode[pc++];
                        int indexReg = bytecode[pc++];
                        int valueReg = bytecode[pc++];
                        RuntimeArray arr = (RuntimeArray) registers[arrayReg];
                        RuntimeScalar idx = (RuntimeScalar) registers[indexReg];
                        RuntimeBase valueBase = registers[valueReg];
                        RuntimeScalar val = (valueBase instanceof RuntimeScalar)
                                ? (RuntimeScalar) valueBase : valueBase.scalar();
                        arr.get(idx.getInt()).set(val);
                        break;
                    }

                    case Opcodes.ARRAY_PUSH: {
                        // Array push: push(@array, value)
                        int arrayReg = bytecode[pc++];
                        int valueReg = bytecode[pc++];
                        RuntimeArray arr = (RuntimeArray) registers[arrayReg];
                        RuntimeBase val = registers[valueReg];
                        arr.push(val);
                        break;
                    }

                    case Opcodes.ARRAY_POP: {
                        // Array pop: rd = pop(@array)
                        int rd = bytecode[pc++];
                        int arrayReg = bytecode[pc++];
                        RuntimeArray arr = (RuntimeArray) registers[arrayReg];
                        registers[rd] = RuntimeArray.pop(arr);
                        break;
                    }

                    case Opcodes.ARRAY_SHIFT: {
                        // Array shift: rd = shift(@array)
                        int rd = bytecode[pc++];
                        int arrayReg = bytecode[pc++];
                        RuntimeArray arr = (RuntimeArray) registers[arrayReg];
                        registers[rd] = RuntimeArray.shift(arr);
                        break;
                    }

                    case Opcodes.ARRAY_UNSHIFT: {
                        // Array unshift: unshift(@array, value)
                        int arrayReg = bytecode[pc++];
                        int valueReg = bytecode[pc++];
                        RuntimeArray arr = (RuntimeArray) registers[arrayReg];
                        RuntimeBase val = registers[valueReg];
                        RuntimeArray.unshift(arr, val);
                        break;
                    }

                    case Opcodes.ARRAY_SIZE: {
                        // Array size: rd = scalar(@array) or scalar(value)
                        // Use polymorphic scalar() method - arrays return size, scalars return themselves
                        // Special case for RuntimeList: return size, not last element
                        int rd = bytecode[pc++];
                        int operandReg = bytecode[pc++];
                        RuntimeBase operand = registers[operandReg];
                        if (operand instanceof RuntimeList) {
                            // For RuntimeList in list assignment context, return the count
                            registers[rd] = new RuntimeScalar(((RuntimeList) operand).size());
                        } else {
                            registers[rd] = operand.scalar();
                        }
                        break;
                    }

                    case Opcodes.SET_ARRAY_LAST_INDEX: {
                        int arrayReg = bytecode[pc++];
                        int valueReg = bytecode[pc++];
                        RuntimeArray.indexLastElem((RuntimeArray) registers[arrayReg])
                                .set(((RuntimeScalar) registers[valueReg]));
                        break;
                    }

                    case Opcodes.CREATE_ARRAY: {
                        // Create array reference from list: rd = new RuntimeArray(rs_list).createReference()
                        // Array literals always return references in Perl
                        int rd = bytecode[pc++];
                        int listReg = bytecode[pc++];

                        // Convert to list (polymorphic - works for PerlRange, RuntimeList, etc.)
                        RuntimeBase source = registers[listReg];
                        RuntimeArray array;
                        if (source instanceof RuntimeArray) {
                            // Already an array - pass through
                            array = (RuntimeArray) source;
                        } else {
                            // Convert to list, then to array (works for PerlRange, RuntimeList, etc.)
                            RuntimeList list = source.getList();
                            array = new RuntimeArray(list);
                        }

                        // Create reference (array literals always return references!)
                        registers[rd] = array.createReference();
                        break;
                    }

                    // =================================================================
                    // HASH OPERATIONS
                    // =================================================================

                    case Opcodes.HASH_GET: {
                        // Hash element access: rd = hash{key}
                        int rd = bytecode[pc++];
                        int hashReg = bytecode[pc++];
                        int keyReg = bytecode[pc++];
                        RuntimeHash hash = (RuntimeHash) registers[hashReg];
                        RuntimeScalar key = (RuntimeScalar) registers[keyReg];
                        // Uses RuntimeHash API directly
                        registers[rd] = hash.get(key);
                        break;
                    }

                    case Opcodes.HASH_SET: {
                        // Hash element store: hash{key} = value
                        // Must copy the value into a new scalar for the hash element,
                        // because the source register may be modified in-place later
                        // (e.g. $hash{k} = $fix; $fix = {} would clear $hash{k} otherwise)
                        // Uses addToScalar to properly resolve special variables ($1, $2, etc.)
                        int hashReg = bytecode[pc++];
                        int keyReg = bytecode[pc++];
                        int valueReg = bytecode[pc++];
                        RuntimeHash hash = (RuntimeHash) registers[hashReg];
                        RuntimeScalar key = (RuntimeScalar) registers[keyReg];
                        RuntimeBase valBase = registers[valueReg];
                        RuntimeScalar val = (valBase instanceof RuntimeScalar) ? (RuntimeScalar) valBase : valBase.scalar();
                        RuntimeScalar copy = new RuntimeScalar();
                        val.addToScalar(copy);
                        hash.put(key.toString(), copy);
                        break;
                    }

                    case Opcodes.HASH_EXISTS: {
                        // Check if hash key exists: rd = exists $hash{key}
                        int rd = bytecode[pc++];
                        int hashReg = bytecode[pc++];
                        int keyReg = bytecode[pc++];
                        RuntimeHash hash = (RuntimeHash) registers[hashReg];
                        RuntimeScalar key = (RuntimeScalar) registers[keyReg];
                        registers[rd] = hash.exists(key);
                        break;
                    }

                    case Opcodes.HASH_DELETE: {
                        // Delete hash key: rd = delete $hash{key}
                        int rd = bytecode[pc++];
                        int hashReg = bytecode[pc++];
                        int keyReg = bytecode[pc++];
                        RuntimeHash hash = (RuntimeHash) registers[hashReg];
                        RuntimeScalar key = (RuntimeScalar) registers[keyReg];
                        registers[rd] = hash.delete(key);
                        break;
                    }

                    case Opcodes.HASH_KEYS: {
                        // Get hash keys: rd = keys %hash
                        // Call .keys() on RuntimeBase so that scalars/undef throw the proper
                        // "Type of arg 1 to keys must be hash or array" Perl error.
                        int rd = bytecode[pc++];
                        int hashReg = bytecode[pc++];
                        registers[rd] = registers[hashReg].keys();
                        break;
                    }

                    case Opcodes.HASH_VALUES: {
                        // Get hash values: rd = values %hash
                        // Call .values() on RuntimeBase so that scalars/undef throw the proper
                        // "Type of arg 1 to values must be hash or array" Perl error.
                        int rd = bytecode[pc++];
                        int hashReg = bytecode[pc++];
                        registers[rd] = registers[hashReg].values();
                        break;
                    }

                    // =================================================================
                    // SUBROUTINE CALLS
                    // =================================================================

                    case Opcodes.CALL_SUB: {
                        // Call subroutine: rd = coderef->(args)
                        // May return RuntimeControlFlowList!
                        int rd = bytecode[pc++];
                        int coderefReg = bytecode[pc++];
                        int argsReg = bytecode[pc++];
                        int context = bytecode[pc++];

                        // Auto-convert coderef to scalar if needed
                        RuntimeBase codeRefBase = registers[coderefReg];
                        RuntimeScalar codeRef = (codeRefBase instanceof RuntimeScalar)
                                ? (RuntimeScalar) codeRefBase
                                : codeRefBase.scalar();
                        RuntimeBase argsBase = registers[argsReg];

                        RuntimeArray callArgs;
                        if (argsBase instanceof RuntimeArray) {
                            callArgs = (RuntimeArray) argsBase;
                        } else if (argsBase instanceof RuntimeList) {
                            callArgs = new RuntimeArray();
                            ((RuntimeList) argsBase).setArrayOfAlias(callArgs);
                        } else {
                            callArgs = new RuntimeArray((RuntimeScalar) argsBase);
                        }

                        RuntimeList result = RuntimeCode.apply(codeRef, "", callArgs, context);

                        // Convert to scalar if called in scalar context
                        if (context == RuntimeContextType.SCALAR) {
                            RuntimeBase scalarResult = result.scalar();
                            registers[rd] = (isImmutableProxy(scalarResult)) ? ensureMutableScalar(scalarResult) : scalarResult;
                        } else {
                            registers[rd] = result;
                        }

                        // Check for control flow (last/next/redo/goto/tail-call)
                        if (result.isNonLocalGoto()) {
                            RuntimeControlFlowList flow = (RuntimeControlFlowList) result;
                            // Check labeled block stack for a matching label
                            boolean handled = false;
                            for (int i = labeledBlockStack.size() - 1; i >= 0; i--) {
                                int[] entry = labeledBlockStack.get(i);
                                String blockLabel = code.stringPool[entry[0]];
                                if (flow.matchesLabel(blockLabel)) {
                                    // Pop entries down to and including the match
                                    while (labeledBlockStack.size() > i) {
                                        labeledBlockStack.pop();
                                    }
                                    pc = entry[1]; // jump to block exit
                                    handled = true;
                                    break;
                                }
                            }
                            if (!handled) {
                                return result;
                            }
                        }
                        break;
                    }

                    case Opcodes.CALL_METHOD: {
                        // Call method: rd = RuntimeCode.call(invocant, method, currentSub, args, context)
                        // May return RuntimeControlFlowList!
                        int rd = bytecode[pc++];
                        int invocantReg = bytecode[pc++];
                        int methodReg = bytecode[pc++];
                        int currentSubReg = bytecode[pc++];
                        int argsReg = bytecode[pc++];
                        int context = bytecode[pc++];

                        RuntimeScalar invocant = (RuntimeScalar) registers[invocantReg];
                        RuntimeScalar method = (RuntimeScalar) registers[methodReg];
                        RuntimeScalar currentSub = (RuntimeScalar) registers[currentSubReg];
                        RuntimeBase argsBase = registers[argsReg];

                        RuntimeArray callArgs;
                        if (argsBase instanceof RuntimeArray) {
                            callArgs = (RuntimeArray) argsBase;
                        } else if (argsBase instanceof RuntimeList) {
                            callArgs = new RuntimeArray();
                            ((RuntimeList) argsBase).setArrayOfAlias(callArgs);
                        } else {
                            callArgs = new RuntimeArray((RuntimeScalar) argsBase);
                        }

                        RuntimeList result = RuntimeCode.call(invocant, method, currentSub, callArgs, context);

                        // Convert to scalar if called in scalar context
                        if (context == RuntimeContextType.SCALAR) {
                            RuntimeBase scalarResult = result.scalar();
                            registers[rd] = (isImmutableProxy(scalarResult)) ? ensureMutableScalar(scalarResult) : scalarResult;
                        } else {
                            registers[rd] = result;
                        }

                        // Check for control flow (last/next/redo/goto/tail-call)
                        if (result.isNonLocalGoto()) {
                            RuntimeControlFlowList flow = (RuntimeControlFlowList) result;
                            boolean handled = false;
                            for (int i = labeledBlockStack.size() - 1; i >= 0; i--) {
                                int[] entry = labeledBlockStack.get(i);
                                String blockLabel = code.stringPool[entry[0]];
                                if (flow.matchesLabel(blockLabel)) {
                                    while (labeledBlockStack.size() > i) {
                                        labeledBlockStack.pop();
                                    }
                                    pc = entry[1];
                                    handled = true;
                                    break;
                                }
                            }
                            if (!handled) {
                                return result;
                            }
                        }
                        break;
                    }

                    // =================================================================
                    // CONTROL FLOW - SPECIAL (RuntimeControlFlowList)
                    // =================================================================

                    case Opcodes.CREATE_LAST: {
                        // Create LAST control flow: rd = RuntimeControlFlowList(LAST, label)
                        int rd = bytecode[pc++];
                        int labelIdx = bytecode[pc++];
                        String label = labelIdx == 255 ? null : code.stringPool[labelIdx];
                        registers[rd] = new RuntimeControlFlowList(
                            ControlFlowType.LAST, label,
                            code.sourceName, code.sourceLine
                        );
                        break;
                    }

                    case Opcodes.CREATE_NEXT: {
                        // Create NEXT control flow: rd = RuntimeControlFlowList(NEXT, label)
                        int rd = bytecode[pc++];
                        int labelIdx = bytecode[pc++];
                        String label = labelIdx == 255 ? null : code.stringPool[labelIdx];
                        registers[rd] = new RuntimeControlFlowList(
                            ControlFlowType.NEXT, label,
                            code.sourceName, code.sourceLine
                        );
                        break;
                    }

                    case Opcodes.CREATE_REDO: {
                        // Create REDO control flow: rd = RuntimeControlFlowList(REDO, label)
                        int rd = bytecode[pc++];
                        int labelIdx = bytecode[pc++];
                        String label = labelIdx == 255 ? null : code.stringPool[labelIdx];
                        registers[rd] = new RuntimeControlFlowList(
                            ControlFlowType.REDO, label,
                            code.sourceName, code.sourceLine
                        );
                        break;
                    }

                    case Opcodes.CREATE_GOTO: {
                        int rd = bytecode[pc++];
                        int labelIdx = bytecode[pc++];
                        String label = labelIdx == 255 ? null : code.stringPool[labelIdx];
                        registers[rd] = new RuntimeControlFlowList(
                            ControlFlowType.GOTO, label,
                            code.sourceName, code.sourceLine
                        );
                        break;
                    }

                    case Opcodes.IS_CONTROL_FLOW: {
                        // Check if value is control flow: rd = (rs instanceof RuntimeControlFlowList)
                        int rd = bytecode[pc++];
                        int rs = bytecode[pc++];
                        boolean isControlFlow = registers[rs] instanceof RuntimeControlFlowList;
                        registers[rd] = isControlFlow ?
                            RuntimeScalarCache.scalarTrue : RuntimeScalarCache.scalarFalse;
                        break;
                    }

                    // =================================================================
                    // MISCELLANEOUS
                    // =================================================================

                    case Opcodes.PRINT:
                        // Print to filehandle
                        // Format: PRINT contentReg filehandleReg
                        pc = OpcodeHandlerExtended.executePrint(bytecode, pc, registers);
                        break;

                    case Opcodes.SAY:
                        // Say to filehandle
                        // Format: SAY contentReg filehandleReg
                        pc = OpcodeHandlerExtended.executeSay(bytecode, pc, registers);
                        break;

                    // =================================================================
                    // SUPERINSTRUCTIONS - Eliminate ALIAS overhead
                    // =================================================================

                    case Opcodes.INC_REG: {
                        // Increment register in-place: r++
                        int rd = bytecode[pc++];
                        RuntimeBase incResult = MathOperators.add((RuntimeScalar) registers[rd], 1);
                        registers[rd] = (isImmutableProxy(incResult)) ? ensureMutableScalar(incResult) : incResult;
                        break;
                    }

                    case Opcodes.DEC_REG: {
                        // Decrement register in-place: r--
                        int rd = bytecode[pc++];
                        RuntimeBase decResult = MathOperators.subtract((RuntimeScalar) registers[rd], 1);
                        registers[rd] = (isImmutableProxy(decResult)) ? ensureMutableScalar(decResult) : decResult;
                        break;
                    }

                    case Opcodes.ADD_ASSIGN: {
                        // Add and assign: rd += rs (modifies rd in place)
                        int rd = bytecode[pc++];
                        int rs = bytecode[pc++];
                        if (isImmutableProxy(registers[rd])) {
                            registers[rd] = ensureMutableScalar(registers[rd]);
                        }
                        MathOperators.addAssign(
                            (RuntimeScalar) registers[rd],
                            (RuntimeScalar) registers[rs]
                        );
                        break;
                    }

                    case Opcodes.ADD_ASSIGN_INT: {
                        // Add immediate and assign: rd += imm (modifies rd in place)
                        int rd = bytecode[pc++];
                        int immediate = readInt(bytecode, pc);
                        pc += 1;
                        if (isImmutableProxy(registers[rd])) {
                            registers[rd] = ensureMutableScalar(registers[rd]);
                        }
                        RuntimeScalar result = MathOperators.add((RuntimeScalar) registers[rd], immediate);
                        ((RuntimeScalar) registers[rd]).set(result);
                        break;
                    }

                    case Opcodes.STRING_CONCAT_ASSIGN:
                        // String concatenation and assign: rd .= rs
                        // Format: STRING_CONCAT_ASSIGN rd rs
                        pc = OpcodeHandlerExtended.executeStringConcatAssign(bytecode, pc, registers);
                        break;

                    case Opcodes.BITWISE_AND_ASSIGN:
                        // Bitwise AND assignment: rd &= rs
                        // Format: BITWISE_AND_ASSIGN rd rs
                        pc = OpcodeHandlerExtended.executeBitwiseAndAssign(bytecode, pc, registers);
                        break;

                    case Opcodes.BITWISE_OR_ASSIGN:
                        // Bitwise OR assignment: rd |= rs
                        // Format: BITWISE_OR_ASSIGN rd rs
                        pc = OpcodeHandlerExtended.executeBitwiseOrAssign(bytecode, pc, registers);
                        break;

                    case Opcodes.BITWISE_XOR_ASSIGN:
                        // Bitwise XOR assignment: rd ^= rs
                        // Format: BITWISE_XOR_ASSIGN rd rs
                        pc = OpcodeHandlerExtended.executeBitwiseXorAssign(bytecode, pc, registers);
                        break;

                    case Opcodes.STRING_BITWISE_AND_ASSIGN:
                        // String bitwise AND assignment: rd &.= rs
                        // Format: STRING_BITWISE_AND_ASSIGN rd rs
                        pc = OpcodeHandlerExtended.executeStringBitwiseAndAssign(bytecode, pc, registers);
                        break;

                    case Opcodes.STRING_BITWISE_OR_ASSIGN:
                        // String bitwise OR assignment: rd |.= rs
                        // Format: STRING_BITWISE_OR_ASSIGN rd rs
                        pc = OpcodeHandlerExtended.executeStringBitwiseOrAssign(bytecode, pc, registers);
                        break;

                    case Opcodes.STRING_BITWISE_XOR_ASSIGN:
                        // String bitwise XOR assignment: rd ^.= rs
                        // Format: STRING_BITWISE_XOR_ASSIGN rd rs
                        pc = OpcodeHandlerExtended.executeStringBitwiseXorAssign(bytecode, pc, registers);
                        break;

                    case Opcodes.BITWISE_AND_BINARY:
                        // Numeric bitwise AND: rd = rs1 binary& rs2
                        // Format: BITWISE_AND_BINARY rd rs1 rs2
                        pc = OpcodeHandlerExtended.executeBitwiseAndBinary(bytecode, pc, registers);
                        break;

                    case Opcodes.BITWISE_OR_BINARY:
                        // Numeric bitwise OR: rd = rs1 binary| rs2
                        // Format: BITWISE_OR_BINARY rd rs1 rs2
                        pc = OpcodeHandlerExtended.executeBitwiseOrBinary(bytecode, pc, registers);
                        break;

                    case Opcodes.BITWISE_XOR_BINARY:
                        // Numeric bitwise XOR: rd = rs1 binary^ rs2
                        // Format: BITWISE_XOR_BINARY rd rs1 rs2
                        pc = OpcodeHandlerExtended.executeBitwiseXorBinary(bytecode, pc, registers);
                        break;

                    case Opcodes.STRING_BITWISE_AND:
                        // String bitwise AND: rd = rs1 &. rs2
                        // Format: STRING_BITWISE_AND rd rs1 rs2
                        pc = OpcodeHandlerExtended.executeStringBitwiseAnd(bytecode, pc, registers);
                        break;

                    case Opcodes.STRING_BITWISE_OR:
                        // String bitwise OR: rd = rs1 |. rs2
                        // Format: STRING_BITWISE_OR rd rs1 rs2
                        pc = OpcodeHandlerExtended.executeStringBitwiseOr(bytecode, pc, registers);
                        break;

                    case Opcodes.STRING_BITWISE_XOR:
                        // String bitwise XOR: rd = rs1 ^. rs2
                        // Format: STRING_BITWISE_XOR rd rs1 rs2
                        pc = OpcodeHandlerExtended.executeStringBitwiseXor(bytecode, pc, registers);
                        break;

                    case Opcodes.XOR_LOGICAL: {
                        int rd = bytecode[pc++];
                        int rs1 = bytecode[pc++];
                        int rs2 = bytecode[pc++];
                        registers[rd] = Operator.xor((RuntimeScalar) registers[rs1], (RuntimeScalar) registers[rs2]);
                        break;
                    }

                    case Opcodes.BITWISE_NOT_BINARY:
                        // Numeric bitwise NOT: rd = binary~ rs
                        // Format: BITWISE_NOT_BINARY rd rs
                        pc = OpcodeHandlerExtended.executeBitwiseNotBinary(bytecode, pc, registers);
                        break;

                    case Opcodes.BITWISE_NOT_STRING:
                        // String bitwise NOT: rd = ~. rs
                        // Format: BITWISE_NOT_STRING rd rs
                        pc = OpcodeHandlerExtended.executeBitwiseNotString(bytecode, pc, registers);
                        break;

                    // File test and stat operations
                    case Opcodes.STAT:
                        pc = OpcodeHandlerExtended.executeStat(bytecode, pc, registers);
                        break;

                    case Opcodes.LSTAT:
                        pc = OpcodeHandlerExtended.executeLstat(bytecode, pc, registers);
                        break;

                    case Opcodes.STAT_LASTHANDLE:
                        pc = OpcodeHandlerExtended.executeStatLastHandle(bytecode, pc, registers);
                        break;

                    case Opcodes.LSTAT_LASTHANDLE:
                        pc = OpcodeHandlerExtended.executeLstatLastHandle(bytecode, pc, registers);
                        break;

                    // File test operations (opcodes 190-216) - delegated to handler
                    case Opcodes.FILETEST_R:
                    case Opcodes.FILETEST_W:
                    case Opcodes.FILETEST_X:
                    case Opcodes.FILETEST_O:
                    case Opcodes.FILETEST_R_REAL:
                    case Opcodes.FILETEST_W_REAL:
                    case Opcodes.FILETEST_X_REAL:
                    case Opcodes.FILETEST_O_REAL:
                    case Opcodes.FILETEST_E:
                    case Opcodes.FILETEST_Z:
                    case Opcodes.FILETEST_S:
                    case Opcodes.FILETEST_F:
                    case Opcodes.FILETEST_D:
                    case Opcodes.FILETEST_L:
                    case Opcodes.FILETEST_P:
                    case Opcodes.FILETEST_S_UPPER:
                    case Opcodes.FILETEST_B:
                    case Opcodes.FILETEST_C:
                    case Opcodes.FILETEST_T:
                    case Opcodes.FILETEST_U:
                    case Opcodes.FILETEST_G:
                    case Opcodes.FILETEST_K:
                    case Opcodes.FILETEST_T_UPPER:
                    case Opcodes.FILETEST_B_UPPER:
                    case Opcodes.FILETEST_M:
                    case Opcodes.FILETEST_A:
                    case Opcodes.FILETEST_C_UPPER:
                        pc = OpcodeHandlerFileTest.executeFileTest(bytecode, pc, registers, opcode);
                        break;

                    case Opcodes.PUSH_LOCAL_VARIABLE: {
                        // Push variable to local stack: DynamicVariableManager.pushLocalVariable(rs)
                        int rs = bytecode[pc++];
                        DynamicVariableManager.pushLocalVariable(registers[rs]);
                        break;
                    }

                    case Opcodes.STORE_GLOB: {
                        // Store to glob: glob.set(value)
                        int globReg = bytecode[pc++];
                        int valueReg = bytecode[pc++];
                        ((RuntimeGlob) registers[globReg]).set((RuntimeScalar) registers[valueReg]);
                        break;
                    }

                    case Opcodes.OPEN:
                        // Open file: rd = IOOperator.open(ctx, args...)
                        // Format: OPEN rd ctx argsReg
                        pc = OpcodeHandlerExtended.executeOpen(bytecode, pc, registers);
                        break;

                    case Opcodes.READLINE:
                        // Read line from filehandle
                        // Format: READLINE rd fhReg ctx
                        pc = OpcodeHandlerExtended.executeReadline(bytecode, pc, registers);
                        break;

                    case Opcodes.MATCH_REGEX:
                        // Match regex
                        // Format: MATCH_REGEX rd stringReg regexReg ctx
                        pc = OpcodeHandlerExtended.executeMatchRegex(bytecode, pc, registers);
                        break;

                    case Opcodes.MATCH_REGEX_NOT:
                        // Negated regex match
                        // Format: MATCH_REGEX_NOT rd stringReg regexReg ctx
                        pc = OpcodeHandlerExtended.executeMatchRegexNot(bytecode, pc, registers);
                        break;

                    case Opcodes.CHOMP:
                        // Chomp: rd = rs.chomp()
                        // Format: CHOMP rd rs
                        pc = OpcodeHandlerExtended.executeChomp(bytecode, pc, registers);
                        break;

                    case Opcodes.WANTARRAY:
                        // Get wantarray context
                        // Format: WANTARRAY rd wantarrayReg
                        pc = OpcodeHandlerExtended.executeWantarray(bytecode, pc, registers);
                        break;

                    case Opcodes.REQUIRE:
                        // Require module or version
                        // Format: REQUIRE rd rs
                        pc = OpcodeHandlerExtended.executeRequire(bytecode, pc, registers);
                        break;

                    case Opcodes.POS:
                        // Get regex position
                        // Format: POS rd rs
                        pc = OpcodeHandlerExtended.executePos(bytecode, pc, registers);
                        break;

                    case Opcodes.INDEX:
                        // Find substring position
                        // Format: INDEX rd strReg substrReg posReg
                        pc = OpcodeHandlerExtended.executeIndex(bytecode, pc, registers);
                        break;

                    case Opcodes.RINDEX:
                        // Find substring position from end
                        // Format: RINDEX rd strReg substrReg posReg
                        pc = OpcodeHandlerExtended.executeRindex(bytecode, pc, registers);
                        break;

                    case Opcodes.PRE_AUTOINCREMENT:
                        // Pre-increment: ++rd
                        // Format: PRE_AUTOINCREMENT rd
                        pc = OpcodeHandlerExtended.executePreAutoIncrement(bytecode, pc, registers);
                        break;

                    case Opcodes.POST_AUTOINCREMENT:
                        // Post-increment: rd = rs++
                        // Format: POST_AUTOINCREMENT rd rs
                        pc = OpcodeHandlerExtended.executePostAutoIncrement(bytecode, pc, registers);
                        break;

                    case Opcodes.PRE_AUTODECREMENT:
                        // Pre-decrement: --rd
                        // Format: PRE_AUTODECREMENT rd
                        pc = OpcodeHandlerExtended.executePreAutoDecrement(bytecode, pc, registers);
                        break;

                    case Opcodes.POST_AUTODECREMENT:
                        // Post-decrement: rd = rs--
                        // Format: POST_AUTODECREMENT rd rs
                        pc = OpcodeHandlerExtended.executePostAutoDecrement(bytecode, pc, registers);
                        break;

                    // =================================================================
                    // ERROR HANDLING
                    // =================================================================

                    case Opcodes.DIE: {
                        // Die with message and precomputed location: die(msgReg, locationReg)
                        int msgReg = bytecode[pc++];
                        int locationReg = bytecode[pc++];
                        RuntimeBase message = registers[msgReg];
                        RuntimeScalar where = (RuntimeScalar) registers[locationReg];

                        // Call WarnDie.die() with precomputed location (zero overhead!)
                        WarnDie.die(message, where, code.sourceName, code.sourceLine);

                        // Should never reach here (die throws exception)
                        throw new RuntimeException("die() did not throw exception");
                    }

                    case Opcodes.WARN: {
                        // Warn with message and precomputed location: warn(msgReg, locationReg)
                        int msgReg = bytecode[pc++];
                        int locationReg = bytecode[pc++];
                        RuntimeBase message = registers[msgReg];
                        RuntimeScalar where = (RuntimeScalar) registers[locationReg];

                        // Call WarnDie.warn() with precomputed location
                        WarnDie.warn(message, where, code.sourceName, code.sourceLine);
                        break;
                    }

                    // =================================================================
                    // REFERENCE OPERATIONS
                    // =================================================================

                    case Opcodes.CREATE_REF: {
                        // Create reference: rd = rs.createReference()
                        // For lists, create a list of references to each element
                        int rd = bytecode[pc++];
                        int rs = bytecode[pc++];
                        RuntimeBase value = registers[rs];

                        if (value == null) {
                            // Null value - return undef
                            registers[rd] = RuntimeScalarCache.scalarUndef;
                        } else if (value instanceof RuntimeList list) {
                            if (list.size() == 1) {
                                registers[rd] = list.getFirst().createReference();
                            } else {
                                registers[rd] = list.createListReference();
                            }
                        } else {
                            registers[rd] = value.createReference();
                        }
                        break;
                    }

                    case Opcodes.DEREF: {
                        // Dereference: rd = $$rs (scalar reference dereference)
                        // Can receive RuntimeScalar or RuntimeList
                        int rd = bytecode[pc++];
                        int rs = bytecode[pc++];
                        RuntimeBase value = registers[rs];

                        // Only dereference if it's a RuntimeScalar with REFERENCE type
                        if (value instanceof RuntimeScalar) {
                            RuntimeScalar scalar = (RuntimeScalar) value;
                            if (scalar.type == RuntimeScalarType.REFERENCE) {
                                registers[rd] = scalar.scalarDeref();
                            } else {
                                // Non-reference scalar, just copy
                                registers[rd] = value;
                            }
                        } else {
                            // RuntimeList or other types, pass through
                            registers[rd] = value;
                        }
                        break;
                    }

                    case Opcodes.GET_TYPE: {
                        // Get type: rd = new RuntimeScalar(rs.type)
                        int rd = bytecode[pc++];
                        int rs = bytecode[pc++];
                        RuntimeScalar value = (RuntimeScalar) registers[rs];
                        // RuntimeScalar.type is an int constant from RuntimeScalarType
                        registers[rd] = new RuntimeScalar(value.type);
                        break;
                    }

                    // =================================================================
                    // EVAL BLOCK SUPPORT
                    // =================================================================

                    case Opcodes.EVAL_TRY: {
                        // Start of eval block with exception handling
                        // Format: [EVAL_TRY] [catch_target_high] [catch_target_low]
                        // catch_target is absolute bytecode address (4 bytes)

                        int catchPc = readInt(bytecode, pc);  // Read 4-byte absolute address
                        pc += 1;  // Skip the 2 shorts we just read

                        // Push catch PC onto eval stack
                        evalCatchStack.push(catchPc);

                        // Clear $@ at start of eval block
                        GlobalVariable.setGlobalVariable("main::@", "");

                        // Continue execution - if exception occurs, outer catch handler
                        // will check evalCatchStack and jump to catchPc
                        break;
                    }

                    case Opcodes.EVAL_END: {
                        // End of successful eval block - clear $@ and pop catch stack
                        GlobalVariable.setGlobalVariable("main::@", "");

                        // Pop the catch PC from eval stack (we didn't need it)
                        if (!evalCatchStack.isEmpty()) {
                            evalCatchStack.pop();
                        }
                        break;
                    }

                    case Opcodes.EVAL_CATCH: {
                        // Exception handler for eval block
                        // Format: [EVAL_CATCH] [rd]
                        // This is only reached when an exception is caught

                        int rd = bytecode[pc++];

                        // WarnDie.catchEval() should have already been called to set $@
                        // Just store undef as the eval result
                        registers[rd] = RuntimeScalarCache.scalarUndef;
                        break;
                    }

                    // =================================================================
                    // LABELED BLOCK SUPPORT
                    // =================================================================

                    case Opcodes.PUSH_LABELED_BLOCK: {
                        int labelIdx = bytecode[pc++];
                        int exitPc = readInt(bytecode, pc);
                        pc += 1;
                        labeledBlockStack.push(new int[]{labelIdx, exitPc});
                        break;
                    }

                    case Opcodes.POP_LABELED_BLOCK: {
                        if (!labeledBlockStack.isEmpty()) {
                            labeledBlockStack.pop();
                        }
                        break;
                    }

                    // =================================================================
                    // LIST OPERATIONS
                    // =================================================================

                    case Opcodes.LIST_TO_COUNT: {
                        // Convert list/array to its count in scalar context (e.g. @arr used as number)
                        int rd = bytecode[pc++];
                        int rs = bytecode[pc++];
                        RuntimeBase val = registers[rs];
                        if (val instanceof RuntimeList) {
                            registers[rd] = new RuntimeScalar(((RuntimeList) val).elements.size());
                        } else if (val instanceof RuntimeArray) {
                            registers[rd] = new RuntimeScalar(((RuntimeArray) val).size());
                        } else {
                            registers[rd] = val.scalar();
                        }
                        break;
                    }

                    case Opcodes.LIST_TO_SCALAR: {
                        // Convert list to scalar context: returns last element (Perl list-in-scalar semantics)
                        int rd = bytecode[pc++];
                        int rs = bytecode[pc++];
                        registers[rd] = registers[rs].scalar();
                        break;
                    }

                    case Opcodes.SCALAR_TO_LIST: {
                        // Convert scalar to RuntimeList (flattened)
                        int rd = bytecode[pc++];
                        int rs = bytecode[pc++];
                        RuntimeBase val = registers[rs];
                        if (val instanceof RuntimeList) {
                            RuntimeList srcList = (RuntimeList) val;
                            boolean needsFlatten = false;
                            for (RuntimeBase elem : srcList.elements) {
                                if (!(elem instanceof RuntimeScalar)) {
                                    needsFlatten = true;
                                    break;
                                }
                            }
                            if (needsFlatten) {
                                RuntimeList flat = new RuntimeList();
                                for (RuntimeBase elem : srcList.elements) {
                                    if (elem instanceof RuntimeScalar) {
                                        flat.elements.add(elem);
                                    } else if (elem instanceof RuntimeArray) {
                                        for (RuntimeScalar s : (RuntimeArray) elem) {
                                            flat.elements.add(s);
                                        }
                                    } else if (elem instanceof RuntimeList) {
                                        flat.elements.addAll(((RuntimeList) elem).elements);
                                    } else {
                                        flat.elements.add(elem.scalar());
                                    }
                                }
                                registers[rd] = flat;
                            } else {
                                registers[rd] = val;
                            }
                        } else if (val instanceof RuntimeArray) {
                            // Convert array to list
                            RuntimeList list = new RuntimeList();
                            for (RuntimeScalar elem : (RuntimeArray) val) {
                                list.elements.add(elem);
                            }
                            registers[rd] = list;
                        } else {
                            // Scalar to list - wrap in a list
                            RuntimeList list = new RuntimeList();
                            list.elements.add(val.scalar());
                            registers[rd] = list;
                        }
                        break;
                    }

                    case Opcodes.CREATE_LIST: {
                        // Create RuntimeList from registers
                        // Format: [CREATE_LIST] [rd] [count] [rs1] [rs2] ... [rsN]

                        int rd = bytecode[pc++];
                        int count = bytecode[pc++];

                        // Optimize for common cases
                        if (count == 0) {
                            // Empty list - fastest path
                            registers[rd] = new RuntimeList();
                        } else if (count == 1) {
                            // Single element - avoid loop overhead
                            int rs = bytecode[pc++];
                            RuntimeList list = new RuntimeList();
                            list.add(registers[rs]);
                            registers[rd] = list;
                        } else {
                            // Multiple elements - preallocate and populate
                            RuntimeList list = new RuntimeList();

                            // Read all register indices and add elements
                            for (int i = 0; i < count; i++) {
                                int rs = bytecode[pc++];
                                list.add(registers[rs]);
                            }

                            registers[rd] = list;
                        }
                        break;
                    }

                    // =================================================================
                    // STRING OPERATIONS
                    // =================================================================

                    case Opcodes.JOIN: {
                        // String join: rd = join(separator, list)
                        int rd = bytecode[pc++];
                        int separatorReg = bytecode[pc++];
                        int listReg = bytecode[pc++];

                        // Separator should be scalar - convert if needed
                        RuntimeBase separatorBase = registers[separatorReg];
                        RuntimeScalar separator = (separatorBase instanceof RuntimeScalar)
                            ? (RuntimeScalar) separatorBase
                            : separatorBase.scalar();

                        RuntimeBase list = registers[listReg];

                        // Call StringOperators.joinForInterpolation (doesn't warn on undef)
                        registers[rd] = StringOperators.joinForInterpolation(separator, list);
                        break;
                    }

                    case Opcodes.SELECT: {
                        // Select default output filehandle: rd = IOOperator.select(list, SCALAR)
                        int rd = bytecode[pc++];
                        int listReg = bytecode[pc++];

                        // registers[listReg] may be a RuntimeList (from CREATE_LIST) or a
                        // RuntimeScalar (from LOAD_UNDEF when an empty ListNode is compiled).
                        RuntimeBase listBase = registers[listReg];
                        RuntimeList list = (listBase instanceof RuntimeList rl)
                                ? rl : listBase.getList();
                        RuntimeScalar result = IOOperator.select(list, RuntimeContextType.SCALAR);
                        registers[rd] = result;
                        break;
                    }

                    case Opcodes.RANGE: {
                        // Create range: rd = PerlRange.createRange(rs_start, rs_end)
                        int rd = bytecode[pc++];
                        int startReg = bytecode[pc++];
                        int endReg = bytecode[pc++];

                        RuntimeBase startBase = registers[startReg];
                        RuntimeBase endBase = registers[endReg];

                        // Handle null registers by creating undef scalars
                        RuntimeScalar start = (startBase instanceof RuntimeScalar) ? (RuntimeScalar) startBase :
                                             (startBase == null) ? new RuntimeScalar() : startBase.scalar();
                        RuntimeScalar end = (endBase instanceof RuntimeScalar) ? (RuntimeScalar) endBase :
                                           (endBase == null) ? new RuntimeScalar() : endBase.scalar();

                        PerlRange range = PerlRange.createRange(start, end);
                        registers[rd] = range;
                        break;
                    }

                    case Opcodes.CREATE_HASH: {
                        // Create hash reference from list: rd = RuntimeHash.createHash(rs_list).createReference()
                        // Hash literals always return references in Perl
                        // This flattens any arrays in the list and creates key-value pairs
                        int rd = bytecode[pc++];
                        int listReg = bytecode[pc++];

                        RuntimeBase list = registers[listReg];
                        RuntimeHash hash = RuntimeHash.createHash(list);

                        // Create reference (hash literals always return references!)
                        registers[rd] = hash.createReference();
                        break;
                    }

                    case Opcodes.RAND: {
                        // Random number: rd = Random.rand(max)
                        int rd = bytecode[pc++];
                        int maxReg = bytecode[pc++];

                        RuntimeScalar max = (RuntimeScalar) registers[maxReg];
                        registers[rd] = Random.rand(max);
                        break;
                    }

                    case Opcodes.MAP: {
                        // Map operator: rd = ListOperators.map(list, closure, ctx)
                        int rd = bytecode[pc++];
                        int listReg = bytecode[pc++];
                        int closureReg = bytecode[pc++];
                        int ctx = bytecode[pc++];

                        RuntimeBase listBase = registers[listReg];
                        RuntimeList list = listBase.getList();
                        RuntimeScalar closure = (RuntimeScalar) registers[closureReg];
                        RuntimeList result = ListOperators.map(list, closure, ctx);
                        registers[rd] = result;
                        break;
                    }

                    case Opcodes.GREP: {
                        // Grep operator: rd = ListOperators.grep(list, closure, ctx)
                        int rd = bytecode[pc++];
                        int listReg = bytecode[pc++];
                        int closureReg = bytecode[pc++];
                        int ctx = bytecode[pc++];

                        RuntimeBase listBase = registers[listReg];
                        RuntimeList list = listBase.getList();
                        RuntimeScalar closure = (RuntimeScalar) registers[closureReg];
                        RuntimeList result = ListOperators.grep(list, closure, ctx);

                        // In scalar context, return the count of elements
                        if (ctx == RuntimeContextType.SCALAR) {
                            registers[rd] = new RuntimeScalar(result.elements.size());
                        } else {
                            registers[rd] = result;
                        }
                        break;
                    }

                    case Opcodes.SORT: {
                        // Sort operator: rd = ListOperators.sort(list, closure, package)
                        int rd = bytecode[pc++];
                        int listReg = bytecode[pc++];
                        int closureReg = bytecode[pc++];
                        int packageIdx = readInt(bytecode, pc);
                        pc += 1;

                        RuntimeBase listBase = registers[listReg];
                        RuntimeList list = listBase.getList();
                        RuntimeScalar closure = (RuntimeScalar) registers[closureReg];
                        String packageName = code.stringPool[packageIdx];
                        RuntimeList result = ListOperators.sort(list, closure, packageName);
                        registers[rd] = result;
                        break;
                    }

                    case Opcodes.NEW_ARRAY: {
                        // Create empty array: rd = new RuntimeArray()
                        int rd = bytecode[pc++];
                        registers[rd] = new RuntimeArray();
                        break;
                    }

                    case Opcodes.NEW_HASH: {
                        // Create empty hash: rd = new RuntimeHash()
                        int rd = bytecode[pc++];
                        registers[rd] = new RuntimeHash();
                        break;
                    }

                    case Opcodes.ARRAY_SET_FROM_LIST: {
                        // Set array content from list: array_reg.setFromList(list_reg)
                        // Format: [ARRAY_SET_FROM_LIST] [array_reg] [list_reg]
                        int arrayReg = bytecode[pc++];
                        int listReg = bytecode[pc++];

                        RuntimeArray array = (RuntimeArray) registers[arrayReg];
                        RuntimeBase listBase = registers[listReg];
                        RuntimeList list = listBase.getList();

                        // setFromList clears and repopulates the array
                        array.setFromList(list);
                        break;
                    }

                    case Opcodes.HASH_SET_FROM_LIST: {
                        // Set hash content from list: hash_reg = RuntimeHash.createHash(list_reg)
                        // Format: [HASH_SET_FROM_LIST] [hash_reg] [list_reg]
                        int hashReg = bytecode[pc++];
                        int listReg = bytecode[pc++];

                        RuntimeHash existingHash = (RuntimeHash) registers[hashReg];
                        RuntimeBase listBase = registers[listReg];

                        // Create new hash from list, then copy elements to existing hash
                        RuntimeHash newHash = RuntimeHash.createHash(listBase);
                        existingHash.elements = newHash.elements;
                        break;
                    }

                    // =================================================================
                    // PHASE 2: DIRECT OPCODES (114-154) - Range delegation
                    // =================================================================
                    // These operations were promoted from SLOW_OP for better performance.
                    // Organized in CONTIGUOUS groups for JVM tableswitch optimization.

                    // Group 1-2: Dereferencing and Slicing (114-121)
                    case Opcodes.DEREF_ARRAY:
                    case Opcodes.DEREF_HASH:
                    case Opcodes.DEREF_HASH_NONSTRICT:
                    case Opcodes.DEREF_ARRAY_NONSTRICT:
                    case Opcodes.ARRAY_SLICE:
                    case Opcodes.ARRAY_SLICE_SET:
                    case Opcodes.HASH_SLICE:
                    case Opcodes.HASH_SLICE_SET:
                    case Opcodes.HASH_SLICE_DELETE:
                    case Opcodes.HASH_KEYVALUE_SLICE:
                    case Opcodes.LIST_SLICE_FROM:
                        pc = executeSliceOps(opcode, bytecode, pc, registers, code);
                        break;

                    // Group 3-4: Array/String/Exists/Delete (122-127)
                    case Opcodes.SPLICE:
                    case Opcodes.REVERSE:
                    case Opcodes.SPLIT:
                    case Opcodes.LENGTH_OP:
                    case Opcodes.EXISTS:
                    case Opcodes.DELETE:
                        pc = executeArrayStringOps(opcode, bytecode, pc, registers, code);
                        break;

                    // Group 5: Closure/Scope (128-131)
                    case Opcodes.RETRIEVE_BEGIN_SCALAR:
                    case Opcodes.RETRIEVE_BEGIN_ARRAY:
                    case Opcodes.RETRIEVE_BEGIN_HASH:
                    case Opcodes.LOCAL_SCALAR:
                    case Opcodes.LOCAL_ARRAY:
                    case Opcodes.LOCAL_HASH:
                        pc = executeScopeOps(opcode, bytecode, pc, registers, code);
                        break;

                    // Group 6-8: System Calls and IPC (132-150)
                    case Opcodes.CHOWN:
                    case Opcodes.WAITPID:
                    case Opcodes.FORK:
                    case Opcodes.GETPPID:
                    case Opcodes.GETPGRP:
                    case Opcodes.SETPGRP:
                    case Opcodes.GETPRIORITY:
                    case Opcodes.SETPRIORITY:
                    case Opcodes.GETSOCKOPT:
                    case Opcodes.SETSOCKOPT:
                    case Opcodes.SYSCALL:
                    case Opcodes.SEMGET:
                    case Opcodes.SEMOP:
                    case Opcodes.MSGGET:
                    case Opcodes.MSGSND:
                    case Opcodes.MSGRCV:
                    case Opcodes.SHMGET:
                    case Opcodes.SHMREAD:
                    case Opcodes.SHMWRITE:
                        pc = executeSystemOps(opcode, bytecode, pc, registers);
                        break;

                    // Group 9: Special I/O (151-154), glob ops, strict deref
                    case Opcodes.TIME_OP: {
                        int rd = bytecode[pc++];
                        registers[rd] = org.perlonjava.runtime.operators.Time.time();
                        break;
                    }
                    case Opcodes.EVAL_STRING:
                    case Opcodes.SELECT_OP:
                    case Opcodes.LOAD_GLOB:
                    case Opcodes.SLEEP_OP:
                    case Opcodes.ALARM_OP:
                    case Opcodes.DEREF_GLOB:
                    case Opcodes.LOAD_GLOB_DYNAMIC:
                    case Opcodes.DEREF_SCALAR_STRICT:
                    case Opcodes.DEREF_SCALAR_NONSTRICT:
                        pc = executeSpecialIO(opcode, bytecode, pc, registers, code);
                        break;

                    // =================================================================
                    // SLOW OPERATIONS (DEPRECATED)
                    // =================================================================

                    // DEPRECATED: SLOW_OP removed - all operations now use direct opcodes (114-154)

                    // =================================================================
                    // GENERATED BUILT-IN FUNCTION HANDLERS
                    // =================================================================
                    // Generated by dev/tools/generate_opcode_handlers.pl
                    // DO NOT EDIT MANUALLY - regenerate using the tool

                    // GENERATED_HANDLERS_START

                    // scalar_binary
                    case Opcodes.ATAN2:
                    case Opcodes.BINARY_AND:
                    case Opcodes.BINARY_OR:
                    case Opcodes.BINARY_XOR:
                    case Opcodes.EQ:
                    case Opcodes.NE:
                    case Opcodes.LT:
                    case Opcodes.LE:
                    case Opcodes.GT:
                    case Opcodes.GE:
                    case Opcodes.CMP:
                    case Opcodes.X:
                        pc = ScalarBinaryOpcodeHandler.execute(opcode, bytecode, pc, registers);
                        break;

                    // scalar_unary
                    case Opcodes.INT:
                    case Opcodes.LOG:
                    case Opcodes.SQRT:
                    case Opcodes.COS:
                    case Opcodes.SIN:
                    case Opcodes.EXP:
                    case Opcodes.ABS:
                    case Opcodes.BINARY_NOT:
                    case Opcodes.INTEGER_BITWISE_NOT:
                    case Opcodes.ORD:
                    case Opcodes.ORD_BYTES:
                    case Opcodes.OCT:
                    case Opcodes.HEX:
                    case Opcodes.SRAND:
                    case Opcodes.CHR:
                    case Opcodes.CHR_BYTES:
                    case Opcodes.LENGTH_BYTES:
                    case Opcodes.QUOTEMETA:
                    case Opcodes.FC:
                    case Opcodes.LC:
                    case Opcodes.LCFIRST:
                    case Opcodes.UC:
                    case Opcodes.UCFIRST:
                    case Opcodes.SLEEP:
                    case Opcodes.TELL:
                    case Opcodes.RMDIR:
                    case Opcodes.CLOSEDIR:
                    case Opcodes.REWINDDIR:
                    case Opcodes.TELLDIR:
                    case Opcodes.CHDIR:
                    case Opcodes.EXIT:
                        pc = ScalarUnaryOpcodeHandler.execute(opcode, bytecode, pc, registers);
                        break;
                    // GENERATED_HANDLERS_END

                    case Opcodes.TR_TRANSLITERATE:
                        pc = SlowOpcodeHandler.executeTransliterate(bytecode, pc, registers);
                        break;

                    case Opcodes.STORE_SYMBOLIC_SCALAR: {
                        // Store via symbolic reference: GlobalVariable.getGlobalVariable(nameReg.toString()).set(valueReg)
                        // Format: STORE_SYMBOLIC_SCALAR nameReg valueReg
                        int nameReg = bytecode[pc++];
                        int valueReg = bytecode[pc++];

                        // Get the variable name from the name register
                        RuntimeScalar nameScalar = (RuntimeScalar) registers[nameReg];
                        String varName = nameScalar.toString();

                        // Normalize the variable name to include package prefix if needed
                        // This is important for ${label:var} cases where "colon" becomes "main::colon"
                        String normalizedName = NameNormalizer.normalizeVariableName(
                            varName,
                            "main"  // Use main package as default for symbolic references
                        );

                        // Get the global variable and set its value
                        RuntimeScalar globalVar = GlobalVariable.getGlobalVariable(normalizedName);
                        RuntimeBase value = registers[valueReg];
                        globalVar.set(value);
                        break;
                    }

                    case Opcodes.LOAD_SYMBOLIC_SCALAR: {
                        // Load via symbolic reference: rd = GlobalVariable.getGlobalVariable(nameReg.toString()).get()
                        // OR dereference if nameReg contains a scalar reference
                        // Format: LOAD_SYMBOLIC_SCALAR rd nameReg
                        int rd = bytecode[pc++];
                        int nameReg = bytecode[pc++];

                        // Get the value from the name register
                        RuntimeScalar nameScalar = (RuntimeScalar) registers[nameReg];

                        // Check if it's a scalar reference - if so, dereference it
                        if (nameScalar.type == RuntimeScalarType.REFERENCE) {
                            // This is ${\ref} - dereference the reference
                            registers[rd] = nameScalar.scalarDeref();
                        } else {
                            // This is ${"varname"} - symbolic reference to variable
                            String varName = nameScalar.toString();

                            // Normalize the variable name to include package prefix if needed
                            // This is important for ${label:var} cases where "colon" becomes "main::colon"
                            String normalizedName = NameNormalizer.normalizeVariableName(
                                varName,
                                "main"  // Use main package as default for symbolic references
                            );

                            // Get the global variable and load its value
                            RuntimeScalar globalVar = GlobalVariable.getGlobalVariable(normalizedName);
                            registers[rd] = globalVar;
                        }
                        break;
                    }

                    case Opcodes.FILETEST_LASTHANDLE: {
                        // File test on cached handle '_': rd = FileTestOperator.fileTestLastHandle(operator)
                        // Format: FILETEST_LASTHANDLE rd operator_string_idx
                        pc = SlowOpcodeHandler.executeFiletestLastHandle(bytecode, pc, registers, code);
                        break;
                    }

                    case Opcodes.GLOB_SLOT_GET: {
                        // Glob slot access: rd = glob.hashDerefGetNonStrict(key, pkg)
                        // Format: GLOB_SLOT_GET rd globReg keyReg
                        pc = SlowOpcodeHandler.executeGlobSlotGet(bytecode, pc, registers);
                        break;
                    }

                    case Opcodes.SPRINTF:
                        // sprintf($format, @args): rd = SprintfOperator.sprintf(formatReg, argsListReg)
                        // Format: SPRINTF rd formatReg argsListReg
                        pc = OpcodeHandlerExtended.executeSprintf(bytecode, pc, registers);
                        break;

                    case Opcodes.CHOP:
                        // chop($x): rd = StringOperators.chopScalar(scalarReg)
                        // Format: CHOP rd scalarReg
                        pc = OpcodeHandlerExtended.executeChop(bytecode, pc, registers);
                        break;

                    case Opcodes.GET_REPLACEMENT_REGEX:
                        // Get replacement regex: rd = RuntimeRegex.getReplacementRegex(pattern, replacement, flags)
                        // Format: GET_REPLACEMENT_REGEX rd pattern_reg replacement_reg flags_reg
                        pc = OpcodeHandlerExtended.executeGetReplacementRegex(bytecode, pc, registers);
                        break;

                    case Opcodes.SUBSTR_VAR:
                        // substr with variable args: rd = Operator.substr(ctx, args...)
                        // Format: SUBSTR_VAR rd argsListReg ctx
                        pc = OpcodeHandlerExtended.executeSubstrVar(bytecode, pc, registers);
                        break;

                    case Opcodes.TIE: {
                        // tie($var, $classname, @args): rd = TieOperators.tie(ctx, argsListReg)
                        // Format: TIE rd argsListReg context
                        int rd = bytecode[pc++];
                        int argsReg = bytecode[pc++];
                        int ctx = bytecode[pc++];
                        RuntimeList tieArgs = (RuntimeList) registers[argsReg];
                        RuntimeScalar result = TieOperators.tie(
                            ctx,
                            tieArgs.elements.toArray(new RuntimeBase[0])
                        );
                        registers[rd] = result;
                        break;
                    }

                    case Opcodes.UNTIE: {
                        // untie($var): rd = TieOperators.untie(ctx, argsListReg)
                        // Format: UNTIE rd argsListReg context
                        int rd = bytecode[pc++];
                        int argsReg = bytecode[pc++];
                        int ctx = bytecode[pc++];
                        RuntimeList untieArgs = (RuntimeList) registers[argsReg];
                        RuntimeScalar result = TieOperators.untie(
                            ctx,
                            untieArgs.elements.toArray(new RuntimeBase[0])
                        );
                        registers[rd] = result;
                        break;
                    }

                    case Opcodes.TIED: {
                        // tied($var): rd = TieOperators.tied(ctx, argsListReg)
                        // Format: TIED rd argsListReg context
                        int rd = bytecode[pc++];
                        int argsReg = bytecode[pc++];
                        int ctx = bytecode[pc++];
                        RuntimeList tiedArgs = (RuntimeList) registers[argsReg];
                        RuntimeScalar result = TieOperators.tied(
                            ctx,
                            tiedArgs.elements.toArray(new RuntimeBase[0])
                        );
                        registers[rd] = result;
                        break;
                    }

                    // Miscellaneous operators with context-sensitive signatures
                    case Opcodes.CHMOD:
                    case Opcodes.UNLINK:
                    case Opcodes.UTIME:
                    case Opcodes.RENAME:
                    case Opcodes.LINK:
                    case Opcodes.READLINK:
                    case Opcodes.UMASK:
                    case Opcodes.GETC:
                    case Opcodes.FILENO:
                    case Opcodes.QX:
                    case Opcodes.SYSTEM:
                    case Opcodes.CALLER:
                    case Opcodes.EACH:
                    case Opcodes.PACK:
                    case Opcodes.UNPACK:
                    case Opcodes.VEC:
                    case Opcodes.LOCALTIME:
                    case Opcodes.GMTIME:
                    case Opcodes.RESET:
                    case Opcodes.CRYPT:
                    case Opcodes.CLOSE:
                    case Opcodes.BINMODE:
                    case Opcodes.SEEK:
                    case Opcodes.EOF_OP:
                    case Opcodes.SYSREAD:
                    case Opcodes.SYSWRITE:
                    case Opcodes.SYSOPEN:
                    case Opcodes.SOCKET:
                    case Opcodes.BIND:
                    case Opcodes.CONNECT:
                    case Opcodes.LISTEN:
                    case Opcodes.WRITE:
                    case Opcodes.FORMLINE:
                    case Opcodes.PRINTF:
                    case Opcodes.ACCEPT:
                    case Opcodes.SYSSEEK:
                    case Opcodes.TRUNCATE:
                    case Opcodes.READ:
                    case Opcodes.OPENDIR:
                    case Opcodes.READDIR:
                    case Opcodes.SEEKDIR:
                        pc = MiscOpcodeHandler.execute(opcode, bytecode, pc, registers);
                        break;

                    case Opcodes.SET_PACKAGE: {
                        // Non-scoped package declaration: package Foo;
                        // Update the runtime current-package tracker so caller() returns the right package.
                        int nameIdx = bytecode[pc++];
                        InterpreterState.currentPackage.get().set(code.stringPool[nameIdx]);
                        break;
                    }

                    case Opcodes.PUSH_PACKAGE: {
                        // Scoped package block entry: package Foo { ...
                        // Save current package via DynamicVariableManager so it is restored
                        // automatically when the scope exits via POP_LOCAL_LEVEL.
                        int nameIdx = bytecode[pc++];
                        DynamicVariableManager.pushLocalVariable(InterpreterState.currentPackage.get());
                        InterpreterState.currentPackage.get().set(code.stringPool[nameIdx]);
                        break;
                    }

                    case Opcodes.FLIP_FLOP: {
                        // Flip-flop operator: rd = ScalarFlipFlopOperator.evaluate(id, left, right)
                        int rd = bytecode[pc++];
                        int flipFlopId = bytecode[pc++];
                        int rs1 = bytecode[pc++];
                        int rs2 = bytecode[pc++];
                        registers[rd] = ScalarFlipFlopOperator.evaluate(
                            flipFlopId,
                            ((RuntimeBase) registers[rs1]).scalar(),
                            ((RuntimeBase) registers[rs2]).scalar());
                        break;
                    }

                    case Opcodes.LOCAL_GLOB: {
                        // Localize a typeglob: save state, return glob
                        int rd = bytecode[pc++];
                        int nameIdx = bytecode[pc++];
                        String name = code.stringPool[nameIdx];
                        RuntimeGlob glob = GlobalVariable.getGlobalIO(name);
                        DynamicVariableManager.pushLocalVariable(glob);
                        registers[rd] = glob;
                        break;
                    }

                    case Opcodes.GET_LOCAL_LEVEL: {
                        // Save DynamicVariableManager local level into register rd
                        int rd = bytecode[pc++];
                        registers[rd] = new RuntimeScalar(DynamicVariableManager.getLocalLevel());
                        break;
                    }

                    case Opcodes.POP_PACKAGE:
                        // Scoped package block exit — restore handled by POP_LOCAL_LEVEL.
                        break;

                    case Opcodes.DO_FILE: {
                        int rd = bytecode[pc++];
                        int fileReg = bytecode[pc++];
                        int ctx = bytecode[pc++];
                        RuntimeScalar file = ((RuntimeBase) registers[fileReg]).scalar();
                        registers[rd] = ModuleOperators.doFile(file, ctx);
                        break;
                    }

                    default:
                        // Unknown opcode
                        int opcodeInt = opcode;
                        throw new RuntimeException(
                            "Unknown opcode: " + opcodeInt +
                            " at pc=" + (pc - 1) +
                            " in " + code.sourceName + ":" + code.sourceLine
                        );
                }
            }

            // Fell through end of bytecode - return empty list
            return new RuntimeList();

        } catch (ClassCastException e) {
            // Special handling for ClassCastException to show which opcode is failing
            // Check if we're inside an eval block first
            if (!evalCatchStack.isEmpty()) {
                int catchPc = evalCatchStack.pop();
                WarnDie.catchEval(e);
                pc = catchPc;
                continue outer;
            }

            // Not in eval - show detailed error with bytecode context
            int errorPc = Math.max(0, pc - 1);

            // Show bytecode context (10 bytes before errorPc)
            StringBuilder bcContext = new StringBuilder();
            bcContext.append("\nBytecode context: [");
            for (int i = Math.max(0, errorPc - 10); i < Math.min(bytecode.length, errorPc + 5); i++) {
                if (i == errorPc) {
                    bcContext.append(" >>>");
                }
                bcContext.append(String.format(" %02X", bytecode[i] & 0xFF));
                if (i == errorPc) {
                    bcContext.append("<<<");
                }
            }
            bcContext.append(" ]");

            StackTraceElement[] st = e.getStackTrace();
            String javaLine = (st.length > 0) ? " [java:" + st[0].getFileName() + ":" + st[0].getLineNumber() + "]" : "";
            String errorMessage = "ClassCastException" + bcContext + ": " + e.getMessage() + javaLine;
            throw new RuntimeException(formatInterpreterError(code, errorPc, new Exception(errorMessage)), e);
        } catch (Throwable e) {
            // Check if we're inside an eval block
            if (!evalCatchStack.isEmpty()) {
                // Inside eval block - catch the exception
                int catchPc = evalCatchStack.pop(); // Pop the catch handler

                // Call WarnDie.catchEval() to set $@
                WarnDie.catchEval(e);

                pc = catchPc;
                continue outer;
            }

            // Not in eval block - propagate exception
            // If it's already a PerlDieException, re-throw as-is for proper formatting
            if (e instanceof PerlDieException) {
                throw (PerlDieException) e;
            }

            // Check if we're running inside an eval STRING context
            // (sourceName starts with "(eval " when code is from eval STRING)
            // In this case, don't wrap the exception - let the outer eval handler catch it
            boolean insideEvalString = code.sourceName != null && code.sourceName.startsWith("(eval ");
            if (insideEvalString) {
                // Re-throw as-is - will be caught by EvalStringHandler.evalString()
                throw e;
            }

            // Wrap other exceptions with interpreter context including bytecode context
            int debugPc = Math.max(0, pc - 3);
            String opcodeInfo = " [opcodes at pc-3..pc: ";
            for (int di = debugPc; di <= Math.min(pc + 2, bytecode.length - 1); di++) {
                if (di == pc) opcodeInfo += ">>>";
                opcodeInfo += bytecode[di] + " ";
                if (di == pc) opcodeInfo += "<<< ";
            }
            opcodeInfo += "]";
            String errorMessage = formatInterpreterError(code, pc, e) + opcodeInfo;
            throw new RuntimeException(errorMessage, e);
        }
        } // end outer while
        } finally {
            DynamicVariableManager.popToLocalLevel(savedLocalLevel);
            InterpreterState.pop();
        }
    }

    /**
     * Separated to keep main execute() under JIT compilation limit.
     *
     * @return Updated program counter
     */
    private static int executeArithmetic(int opcode, int[] bytecode, int pc,
                                         RuntimeBase[] registers) {
        switch (opcode) {
            case Opcodes.MUL_SCALAR: {
                int rd = bytecode[pc++];
                int rs1 = bytecode[pc++];
                int rs2 = bytecode[pc++];
                RuntimeBase val1 = registers[rs1];
                RuntimeBase val2 = registers[rs2];
                RuntimeScalar s1 = (val1 instanceof RuntimeScalar) ? (RuntimeScalar) val1 : val1.scalar();
                RuntimeScalar s2 = (val2 instanceof RuntimeScalar) ? (RuntimeScalar) val2 : val2.scalar();
                registers[rd] = MathOperators.multiply(s1, s2);
                return pc;
            }

            case Opcodes.DIV_SCALAR: {
                int rd = bytecode[pc++];
                int rs1 = bytecode[pc++];
                int rs2 = bytecode[pc++];
                RuntimeBase val1 = registers[rs1];
                RuntimeBase val2 = registers[rs2];
                RuntimeScalar s1 = (val1 instanceof RuntimeScalar) ? (RuntimeScalar) val1 : val1.scalar();
                RuntimeScalar s2 = (val2 instanceof RuntimeScalar) ? (RuntimeScalar) val2 : val2.scalar();
                registers[rd] = MathOperators.divide(s1, s2);
                return pc;
            }

            case Opcodes.MOD_SCALAR: {
                int rd = bytecode[pc++];
                int rs1 = bytecode[pc++];
                int rs2 = bytecode[pc++];
                RuntimeBase val1 = registers[rs1];
                RuntimeBase val2 = registers[rs2];
                RuntimeScalar s1 = (val1 instanceof RuntimeScalar) ? (RuntimeScalar) val1 : val1.scalar();
                RuntimeScalar s2 = (val2 instanceof RuntimeScalar) ? (RuntimeScalar) val2 : val2.scalar();
                registers[rd] = MathOperators.modulus(s1, s2);
                return pc;
            }

            case Opcodes.POW_SCALAR: {
                int rd = bytecode[pc++];
                int rs1 = bytecode[pc++];
                int rs2 = bytecode[pc++];
                RuntimeBase val1 = registers[rs1];
                RuntimeBase val2 = registers[rs2];
                RuntimeScalar s1 = (val1 instanceof RuntimeScalar) ? (RuntimeScalar) val1 : val1.scalar();
                RuntimeScalar s2 = (val2 instanceof RuntimeScalar) ? (RuntimeScalar) val2 : val2.scalar();
                registers[rd] = MathOperators.pow(s1, s2);
                return pc;
            }

            case Opcodes.NEG_SCALAR: {
                int rd = bytecode[pc++];
                int rs = bytecode[pc++];
                registers[rd] = MathOperators.unaryMinus((RuntimeScalar) registers[rs]);
                return pc;
            }

            case Opcodes.ADD_SCALAR_INT: {
                int rd = bytecode[pc++];
                int rs = bytecode[pc++];
                int immediate = readInt(bytecode, pc);
                pc += 1;
                registers[rd] = MathOperators.add(
                    (RuntimeScalar) registers[rs],
                    immediate
                );
                return pc;
            }

            case Opcodes.CONCAT: {
                int rd = bytecode[pc++];
                int rs1 = bytecode[pc++];
                int rs2 = bytecode[pc++];
                registers[rd] = StringOperators.stringConcat(
                    (RuntimeScalar) registers[rs1],
                    (RuntimeScalar) registers[rs2]
                );
                return pc;
            }

            case Opcodes.REPEAT: {
                int rd = bytecode[pc++];
                int rs1 = bytecode[pc++];
                int rs2 = bytecode[pc++];
                registers[rd] = Operator.repeat(
                    registers[rs1],
                    (RuntimeScalar) registers[rs2],
                    1  // scalar context
                );
                return pc;
            }

            case Opcodes.LENGTH: {
                int rd = bytecode[pc++];
                int rs = bytecode[pc++];
                registers[rd] = StringOperators.length((RuntimeScalar) registers[rs]);
                return pc;
            }

            case Opcodes.SUBTRACT_ASSIGN: {
                int rd = bytecode[pc++];
                int rs = bytecode[pc++];
                if (isImmutableProxy(registers[rd])) {
                    registers[rd] = ensureMutableScalar(registers[rd]);
                }
                RuntimeBase val1 = registers[rd];
                RuntimeBase val2 = registers[rs];
                RuntimeScalar s1 = (val1 instanceof RuntimeScalar) ? (RuntimeScalar) val1 : val1.scalar();
                RuntimeScalar s2 = (val2 instanceof RuntimeScalar) ? (RuntimeScalar) val2 : val2.scalar();
                registers[rd] = MathOperators.subtractAssign(s1, s2);
                return pc;
            }

            case Opcodes.MULTIPLY_ASSIGN: {
                int rd = bytecode[pc++];
                int rs = bytecode[pc++];
                if (isImmutableProxy(registers[rd])) {
                    registers[rd] = ensureMutableScalar(registers[rd]);
                }
                RuntimeBase val1 = registers[rd];
                RuntimeBase val2 = registers[rs];
                RuntimeScalar s1 = (val1 instanceof RuntimeScalar) ? (RuntimeScalar) val1 : val1.scalar();
                RuntimeScalar s2 = (val2 instanceof RuntimeScalar) ? (RuntimeScalar) val2 : val2.scalar();
                registers[rd] = MathOperators.multiplyAssign(s1, s2);
                return pc;
            }

            case Opcodes.DIVIDE_ASSIGN: {
                int rd = bytecode[pc++];
                int rs = bytecode[pc++];
                if (isImmutableProxy(registers[rd])) {
                    registers[rd] = ensureMutableScalar(registers[rd]);
                }
                RuntimeBase val1 = registers[rd];
                RuntimeBase val2 = registers[rs];
                RuntimeScalar s1 = (val1 instanceof RuntimeScalar) ? (RuntimeScalar) val1 : val1.scalar();
                RuntimeScalar s2 = (val2 instanceof RuntimeScalar) ? (RuntimeScalar) val2 : val2.scalar();
                registers[rd] = MathOperators.divideAssign(s1, s2);
                return pc;
            }

            case Opcodes.MODULUS_ASSIGN: {
                int rd = bytecode[pc++];
                int rs = bytecode[pc++];
                if (isImmutableProxy(registers[rd])) {
                    registers[rd] = ensureMutableScalar(registers[rd]);
                }
                RuntimeBase val1 = registers[rd];
                RuntimeBase val2 = registers[rs];
                RuntimeScalar s1 = (val1 instanceof RuntimeScalar) ? (RuntimeScalar) val1 : val1.scalar();
                RuntimeScalar s2 = (val2 instanceof RuntimeScalar) ? (RuntimeScalar) val2 : val2.scalar();
                registers[rd] = MathOperators.modulusAssign(s1, s2);
                return pc;
            }

            case Opcodes.REPEAT_ASSIGN: {
                int rd = bytecode[pc++];
                int rs = bytecode[pc++];
                RuntimeBase result = Operator.repeat(
                    registers[rd],
                    (RuntimeScalar) registers[rs],
                    1  // scalar context
                );
                ((RuntimeScalar) registers[rd]).set((RuntimeScalar) result);
                return pc;
            }

            case Opcodes.POW_ASSIGN: {
                int rd = bytecode[pc++];
                int rs = bytecode[pc++];
                RuntimeBase val1 = registers[rd];
                RuntimeBase val2 = registers[rs];
                RuntimeScalar s1 = (val1 instanceof RuntimeScalar) ? (RuntimeScalar) val1 : val1.scalar();
                RuntimeScalar s2 = (val2 instanceof RuntimeScalar) ? (RuntimeScalar) val2 : val2.scalar();
                RuntimeScalar result = MathOperators.pow(s1, s2);
                ((RuntimeScalar) registers[rd]).set(result);
                return pc;
            }

            case Opcodes.LEFT_SHIFT_ASSIGN: {
                int rd = bytecode[pc++];
                int rs = bytecode[pc++];
                RuntimeScalar s1 = (RuntimeScalar) registers[rd];
                RuntimeScalar s2 = (RuntimeScalar) registers[rs];
                RuntimeScalar result = BitwiseOperators.shiftLeft(s1, s2);
                s1.set(result);
                return pc;
            }

            case Opcodes.RIGHT_SHIFT_ASSIGN: {
                int rd = bytecode[pc++];
                int rs = bytecode[pc++];
                RuntimeScalar s1 = (RuntimeScalar) registers[rd];
                RuntimeScalar s2 = (RuntimeScalar) registers[rs];
                RuntimeScalar result = BitwiseOperators.shiftRight(s1, s2);
                s1.set(result);
                return pc;
            }

            case Opcodes.INTEGER_LEFT_SHIFT_ASSIGN: {
                int rd = bytecode[pc++];
                int rs = bytecode[pc++];
                RuntimeScalar s1 = (RuntimeScalar) registers[rd];
                RuntimeScalar s2 = (RuntimeScalar) registers[rs];
                s1.set(BitwiseOperators.integerShiftLeft(s1, s2));
                return pc;
            }

            case Opcodes.INTEGER_RIGHT_SHIFT_ASSIGN: {
                int rd = bytecode[pc++];
                int rs = bytecode[pc++];
                RuntimeScalar s1 = (RuntimeScalar) registers[rd];
                RuntimeScalar s2 = (RuntimeScalar) registers[rs];
                s1.set(BitwiseOperators.integerShiftRight(s1, s2));
                return pc;
            }

            case Opcodes.INTEGER_DIV_ASSIGN: {
                int rd = bytecode[pc++];
                int rs = bytecode[pc++];
                RuntimeScalar s1 = (RuntimeScalar) registers[rd];
                RuntimeScalar s2 = (RuntimeScalar) registers[rs];
                s1.set(MathOperators.integerDivide(s1, s2));
                return pc;
            }

            case Opcodes.INTEGER_MOD_ASSIGN: {
                int rd = bytecode[pc++];
                int rs = bytecode[pc++];
                RuntimeScalar s1 = (RuntimeScalar) registers[rd];
                RuntimeScalar s2 = (RuntimeScalar) registers[rs];
                s1.set(MathOperators.integerModulus(s1, s2));
                return pc;
            }

            case Opcodes.LOGICAL_AND_ASSIGN: {
                int rd = bytecode[pc++];
                int rs = bytecode[pc++];
                RuntimeScalar s1 = ((RuntimeBase) registers[rd]).scalar();
                if (!s1.getBoolean()) {
                    return pc;
                }
                RuntimeScalar s2 = ((RuntimeBase) registers[rs]).scalar();
                ((RuntimeScalar) registers[rd]).set(s2);
                return pc;
            }

            case Opcodes.LOGICAL_OR_ASSIGN: {
                int rd = bytecode[pc++];
                int rs = bytecode[pc++];
                RuntimeScalar s1 = ((RuntimeBase) registers[rd]).scalar();
                if (s1.getBoolean()) {
                    return pc;
                }
                RuntimeScalar s2 = ((RuntimeBase) registers[rs]).scalar();
                ((RuntimeScalar) registers[rd]).set(s2);
                return pc;
            }

            case Opcodes.LEFT_SHIFT: {
                int rd = bytecode[pc++];
                int rs1 = bytecode[pc++];
                int rs2 = bytecode[pc++];
                RuntimeScalar s1 = (RuntimeScalar) registers[rs1];
                RuntimeScalar s2 = (RuntimeScalar) registers[rs2];
                registers[rd] = BitwiseOperators.shiftLeft(s1, s2);
                return pc;
            }

            case Opcodes.RIGHT_SHIFT: {
                int rd = bytecode[pc++];
                int rs1 = bytecode[pc++];
                int rs2 = bytecode[pc++];
                RuntimeScalar s1 = (RuntimeScalar) registers[rs1];
                RuntimeScalar s2 = (RuntimeScalar) registers[rs2];
                registers[rd] = BitwiseOperators.shiftRight(s1, s2);
                return pc;
            }

            // Phase 3: Promoted OperatorHandler operations (400+)
            case Opcodes.OP_POW: {
                // Power: rd = rs1 ** rs2
                int rd = bytecode[pc++];
                int rs1 = bytecode[pc++];
                int rs2 = bytecode[pc++];
                RuntimeBase val1 = registers[rs1];
                RuntimeBase val2 = registers[rs2];
                RuntimeScalar s1 = (val1 instanceof RuntimeScalar) ? (RuntimeScalar) val1 : val1.scalar();
                RuntimeScalar s2 = (val2 instanceof RuntimeScalar) ? (RuntimeScalar) val2 : val2.scalar();
                registers[rd] = MathOperators.pow(s1, s2);
                return pc;
            }

            case Opcodes.OP_ABS: {
                // Absolute value: rd = abs(rs)
                int rd = bytecode[pc++];
                int rs = bytecode[pc++];
                RuntimeBase val = registers[rs];
                RuntimeScalar s = (val instanceof RuntimeScalar) ? (RuntimeScalar) val : val.scalar();
                registers[rd] = MathOperators.abs(s);
                return pc;
            }

            case Opcodes.OP_INT: {
                // Integer conversion: rd = int(rs)
                int rd = bytecode[pc++];
                int rs = bytecode[pc++];
                RuntimeBase val = registers[rs];
                RuntimeScalar s = (val instanceof RuntimeScalar) ? (RuntimeScalar) val : val.scalar();
                registers[rd] = MathOperators.integer(s);
                return pc;
            }

            default:
                throw new RuntimeException("Unknown arithmetic opcode: " + opcode);
        }
    }

    /**
     * Handle comparison and logical operations (opcodes 31-41).
     * Separated to keep main execute() under JIT compilation limit.
     *
     * @return Updated program counter
     */
    private static int executeComparisons(int opcode, int[] bytecode, int pc,
                                          RuntimeBase[] registers) {
        switch (opcode) {
            case Opcodes.COMPARE_NUM: {
                // Numeric comparison: rd = rs1 <=> rs2
                int rd = bytecode[pc++];
                int rs1 = bytecode[pc++];
                int rs2 = bytecode[pc++];
                RuntimeBase val1 = registers[rs1];
                RuntimeBase val2 = registers[rs2];
                RuntimeScalar s1 = (val1 instanceof RuntimeScalar) ? (RuntimeScalar) val1 : val1.scalar();
                RuntimeScalar s2 = (val2 instanceof RuntimeScalar) ? (RuntimeScalar) val2 : val2.scalar();
                registers[rd] = CompareOperators.spaceship(s1, s2);
                return pc;
            }

            case Opcodes.COMPARE_STR: {
                // String comparison: rd = rs1 cmp rs2
                int rd = bytecode[pc++];
                int rs1 = bytecode[pc++];
                int rs2 = bytecode[pc++];
                RuntimeBase val1 = registers[rs1];
                RuntimeBase val2 = registers[rs2];
                RuntimeScalar s1 = (val1 instanceof RuntimeScalar) ? (RuntimeScalar) val1 : val1.scalar();
                RuntimeScalar s2 = (val2 instanceof RuntimeScalar) ? (RuntimeScalar) val2 : val2.scalar();
                registers[rd] = CompareOperators.cmp(s1, s2);
                return pc;
            }

            case Opcodes.EQ_NUM: {
                // Numeric equality: rd = (rs1 == rs2)
                int rd = bytecode[pc++];
                int rs1 = bytecode[pc++];
                int rs2 = bytecode[pc++];
                RuntimeBase val1 = registers[rs1];
                RuntimeBase val2 = registers[rs2];
                RuntimeScalar s1 = (val1 instanceof RuntimeScalar) ? (RuntimeScalar) val1 : val1.scalar();
                RuntimeScalar s2 = (val2 instanceof RuntimeScalar) ? (RuntimeScalar) val2 : val2.scalar();
                registers[rd] = CompareOperators.equalTo(s1, s2);
                return pc;
            }

            case Opcodes.LT_NUM: {
                // Less than: rd = (rs1 < rs2)
                int rd = bytecode[pc++];
                int rs1 = bytecode[pc++];
                int rs2 = bytecode[pc++];
                RuntimeBase val1 = registers[rs1];
                RuntimeBase val2 = registers[rs2];
                RuntimeScalar s1 = (val1 instanceof RuntimeScalar) ? (RuntimeScalar) val1 : val1.scalar();
                RuntimeScalar s2 = (val2 instanceof RuntimeScalar) ? (RuntimeScalar) val2 : val2.scalar();
                registers[rd] = CompareOperators.lessThan(s1, s2);
                return pc;
            }

            case Opcodes.GT_NUM: {
                // Greater than: rd = (rs1 > rs2)
                int rd = bytecode[pc++];
                int rs1 = bytecode[pc++];
                int rs2 = bytecode[pc++];
                RuntimeBase val1 = registers[rs1];
                RuntimeBase val2 = registers[rs2];
                RuntimeScalar s1 = (val1 instanceof RuntimeScalar) ? (RuntimeScalar) val1 : val1.scalar();
                RuntimeScalar s2 = (val2 instanceof RuntimeScalar) ? (RuntimeScalar) val2 : val2.scalar();
                registers[rd] = CompareOperators.greaterThan(s1, s2);
                return pc;
            }

            case Opcodes.LE_NUM: {
                // Less than or equal: rd = (rs1 <= rs2)
                int rd = bytecode[pc++];
                int rs1 = bytecode[pc++];
                int rs2 = bytecode[pc++];
                RuntimeBase val1 = registers[rs1];
                RuntimeBase val2 = registers[rs2];
                RuntimeScalar s1 = (val1 instanceof RuntimeScalar) ? (RuntimeScalar) val1 : val1.scalar();
                RuntimeScalar s2 = (val2 instanceof RuntimeScalar) ? (RuntimeScalar) val2 : val2.scalar();
                registers[rd] = CompareOperators.lessThanOrEqual(s1, s2);
                return pc;
            }

            case Opcodes.GE_NUM: {
                // Greater than or equal: rd = (rs1 >= rs2)
                int rd = bytecode[pc++];
                int rs1 = bytecode[pc++];
                int rs2 = bytecode[pc++];
                RuntimeBase val1 = registers[rs1];
                RuntimeBase val2 = registers[rs2];
                RuntimeScalar s1 = (val1 instanceof RuntimeScalar) ? (RuntimeScalar) val1 : val1.scalar();
                RuntimeScalar s2 = (val2 instanceof RuntimeScalar) ? (RuntimeScalar) val2 : val2.scalar();
                registers[rd] = CompareOperators.greaterThanOrEqual(s1, s2);
                return pc;
            }

            case Opcodes.NE_NUM: {
                // Not equal: rd = (rs1 != rs2)
                int rd = bytecode[pc++];
                int rs1 = bytecode[pc++];
                int rs2 = bytecode[pc++];
                RuntimeBase val1 = registers[rs1];
                RuntimeBase val2 = registers[rs2];
                RuntimeScalar s1 = (val1 instanceof RuntimeScalar) ? (RuntimeScalar) val1 : val1.scalar();
                RuntimeScalar s2 = (val2 instanceof RuntimeScalar) ? (RuntimeScalar) val2 : val2.scalar();
                registers[rd] = CompareOperators.notEqualTo(s1, s2);
                return pc;
            }

            case Opcodes.EQ_STR: {
                // String equality: rd = (rs1 eq rs2)
                int rd = bytecode[pc++];
                int rs1 = bytecode[pc++];
                int rs2 = bytecode[pc++];
                RuntimeBase val1 = registers[rs1];
                RuntimeBase val2 = registers[rs2];
                RuntimeScalar s1 = (val1 instanceof RuntimeScalar) ? (RuntimeScalar) val1 : val1.scalar();
                RuntimeScalar s2 = (val2 instanceof RuntimeScalar) ? (RuntimeScalar) val2 : val2.scalar();
                RuntimeScalar cmpResult = CompareOperators.cmp(s1, s2);
                boolean isEqual = (cmpResult.getInt() == 0);
                registers[rd] = isEqual ? RuntimeScalarCache.scalarTrue : RuntimeScalarCache.scalarFalse;
                return pc;
            }

            case Opcodes.NE_STR: {
                // String inequality: rd = (rs1 ne rs2)
                int rd = bytecode[pc++];
                int rs1 = bytecode[pc++];
                int rs2 = bytecode[pc++];
                RuntimeBase val1 = registers[rs1];
                RuntimeBase val2 = registers[rs2];
                RuntimeScalar s1 = (val1 instanceof RuntimeScalar) ? (RuntimeScalar) val1 : val1.scalar();
                RuntimeScalar s2 = (val2 instanceof RuntimeScalar) ? (RuntimeScalar) val2 : val2.scalar();
                RuntimeScalar cmpResult = CompareOperators.cmp(s1, s2);
                boolean isNotEqual = (cmpResult.getInt() != 0);
                registers[rd] = isNotEqual ? RuntimeScalarCache.scalarTrue : RuntimeScalarCache.scalarFalse;
                return pc;
            }

            case Opcodes.NOT: {
                // Logical NOT: rd = !rs
                int rd = bytecode[pc++];
                int rs = bytecode[pc++];
                RuntimeScalar val = (RuntimeScalar) registers[rs];
                registers[rd] = val.getBoolean() ?
                    RuntimeScalarCache.scalarFalse : RuntimeScalarCache.scalarTrue;
                return pc;
            }

            case Opcodes.AND: {
                // AND is short-circuit and handled in compiler typically
                // If we get here, just do boolean and
                int rd = bytecode[pc++];
                int rs1 = bytecode[pc++];
                int rs2 = bytecode[pc++];
                RuntimeScalar v1 = ((RuntimeBase) registers[rs1]).scalar();
                RuntimeScalar v2 = ((RuntimeBase) registers[rs2]).scalar();
                registers[rd] = (v1.getBoolean() && v2.getBoolean()) ?
                    RuntimeScalarCache.scalarTrue : RuntimeScalarCache.scalarFalse;
                return pc;
            }

            case Opcodes.OR: {
                // OR is short-circuit and handled in compiler typically
                // If we get here, just do boolean or
                int rd = bytecode[pc++];
                int rs1 = bytecode[pc++];
                int rs2 = bytecode[pc++];
                RuntimeScalar v1 = ((RuntimeBase) registers[rs1]).scalar();
                RuntimeScalar v2 = ((RuntimeBase) registers[rs2]).scalar();
                registers[rd] = (v1.getBoolean() || v2.getBoolean()) ?
                    RuntimeScalarCache.scalarTrue : RuntimeScalarCache.scalarFalse;
                return pc;
            }

            default:
                throw new RuntimeException("Unknown comparison opcode: " + opcode);
        }
    }

    /**
     * Execute type and reference operations.
     * Handles: DEFINED, REF, BLESS, ISA, PROTOTYPE, QUOTE_REGEX
     */
    private static int executeTypeOps(int opcode, int[] bytecode, int pc,
                                      RuntimeBase[] registers, InterpretedCode code) {
        switch (opcode) {
            case Opcodes.DEFINED: {
                int rd = bytecode[pc++];
                int rs = bytecode[pc++];
                RuntimeBase v = registers[rs];
                boolean defined = v != null && v.scalar().getDefinedBoolean();
                registers[rd] = defined ? RuntimeScalarCache.scalarTrue : RuntimeScalarCache.scalarFalse;
                return pc;
            }
            case Opcodes.REF: {
                int rd = bytecode[pc++];
                int rs = bytecode[pc++];
                registers[rd] = ReferenceOperators.ref(registers[rs].scalar());
                return pc;
            }
            case Opcodes.BLESS: {
                int rd = bytecode[pc++];
                int refReg = bytecode[pc++];
                int pkgReg = bytecode[pc++];
                RuntimeScalar ref = registers[refReg].scalar();
                RuntimeScalar pkg = registers[pkgReg].scalar();
                registers[rd] = ReferenceOperators.bless(ref, pkg);
                return pc;
            }
            case Opcodes.ISA: {
                int rd = bytecode[pc++];
                int objReg = bytecode[pc++];
                int pkgReg = bytecode[pc++];
                RuntimeScalar obj = registers[objReg].scalar();
                RuntimeScalar pkg = registers[pkgReg].scalar();
                registers[rd] = ReferenceOperators.isa(obj, pkg);
                return pc;
            }
            case Opcodes.PROTOTYPE: {
                int rd = bytecode[pc++];
                int rs = bytecode[pc++];
                int packageIdx = readInt(bytecode, pc);
                pc += 1;
                String packageName = (code.stringPool != null && packageIdx >= 0 && packageIdx < code.stringPool.length)
                        ? code.stringPool[packageIdx]
                        : "main";
                registers[rd] = RuntimeCode.prototype(registers[rs].scalar(), packageName);
                return pc;
            }
            case Opcodes.QUOTE_REGEX: {
                int rd = bytecode[pc++];
                int patternReg = bytecode[pc++];
                int flagsReg = bytecode[pc++];
                registers[rd] = RuntimeRegex.getQuotedRegex(registers[patternReg].scalar(), registers[flagsReg].scalar());
                return pc;
            }
            default:
                throw new RuntimeException("Unknown type opcode: " + opcode);
        }
    }

    /**
     * Execute slice operations (opcodes 114-121).
     * Handles: DEREF_ARRAY, DEREF_HASH, *_SLICE, *_SLICE_SET, *_SLICE_DELETE, LIST_SLICE_FROM
     * Direct dispatch to SlowOpcodeHandler methods (Phase 2 complete).
     */
    private static int executeSliceOps(int opcode, int[] bytecode, int pc,
                                        RuntimeBase[] registers, InterpretedCode code) {
        // Direct method calls - no SLOWOP_* constants needed!
        switch (opcode) {
            case Opcodes.DEREF_ARRAY:
                return SlowOpcodeHandler.executeDerefArray(bytecode, pc, registers);
            case Opcodes.DEREF_HASH:
                return SlowOpcodeHandler.executeDerefHash(bytecode, pc, registers);
            case Opcodes.DEREF_HASH_NONSTRICT:
                return SlowOpcodeHandler.executeDerefHashNonStrict(bytecode, pc, registers, code);
            case Opcodes.DEREF_ARRAY_NONSTRICT:
                return SlowOpcodeHandler.executeDerefArrayNonStrict(bytecode, pc, registers, code);
            case Opcodes.ARRAY_SLICE:
                return SlowOpcodeHandler.executeArraySlice(bytecode, pc, registers);
            case Opcodes.ARRAY_SLICE_SET:
                return SlowOpcodeHandler.executeArraySliceSet(bytecode, pc, registers);
            case Opcodes.HASH_SLICE:
                return SlowOpcodeHandler.executeHashSlice(bytecode, pc, registers);
            case Opcodes.HASH_SLICE_SET:
                return SlowOpcodeHandler.executeHashSliceSet(bytecode, pc, registers);
            case Opcodes.HASH_SLICE_DELETE:
                return SlowOpcodeHandler.executeHashSliceDelete(bytecode, pc, registers);
            case Opcodes.HASH_KEYVALUE_SLICE:
                return SlowOpcodeHandler.executeHashKeyValueSlice(bytecode, pc, registers);
            case Opcodes.LIST_SLICE_FROM:
                return SlowOpcodeHandler.executeListSliceFrom(bytecode, pc, registers);
            default:
                throw new RuntimeException("Unknown slice opcode: " + opcode);
        }
    }

    /**
     * Execute array/string operations (opcodes 122-127).
     * Handles: SPLICE, REVERSE, SPLIT, LENGTH_OP, EXISTS, DELETE
     */
    private static int executeArrayStringOps(int opcode, int[] bytecode, int pc,
                                              RuntimeBase[] registers, InterpretedCode code) {
        switch (opcode) {
            case Opcodes.SPLICE:
                return SlowOpcodeHandler.executeSplice(bytecode, pc, registers);
            case Opcodes.REVERSE:
                return SlowOpcodeHandler.executeReverse(bytecode, pc, registers);
            case Opcodes.SPLIT:
                return SlowOpcodeHandler.executeSplit(bytecode, pc, registers);
            case Opcodes.LENGTH_OP:
                return SlowOpcodeHandler.executeLength(bytecode, pc, registers);
            case Opcodes.EXISTS:
                return SlowOpcodeHandler.executeExists(bytecode, pc, registers);
            case Opcodes.DELETE:
                return SlowOpcodeHandler.executeDelete(bytecode, pc, registers);
            default:
                throw new RuntimeException("Unknown array/string opcode: " + opcode);
        }
    }

    /**
     * Execute closure/scope operations (opcodes 128-131).
     * Handles: RETRIEVE_BEGIN_*, LOCAL_SCALAR
     */
    private static int executeScopeOps(int opcode, int[] bytecode, int pc,
                                        RuntimeBase[] registers, InterpretedCode code) {
        switch (opcode) {
            case Opcodes.RETRIEVE_BEGIN_SCALAR:
                return SlowOpcodeHandler.executeRetrieveBeginScalar(bytecode, pc, registers, code);
            case Opcodes.RETRIEVE_BEGIN_ARRAY:
                return SlowOpcodeHandler.executeRetrieveBeginArray(bytecode, pc, registers, code);
            case Opcodes.RETRIEVE_BEGIN_HASH:
                return SlowOpcodeHandler.executeRetrieveBeginHash(bytecode, pc, registers, code);
            case Opcodes.LOCAL_SCALAR:
                return SlowOpcodeHandler.executeLocalScalar(bytecode, pc, registers, code);
            case Opcodes.LOCAL_ARRAY: {
                int rd = bytecode[pc++];
                int nameIdx = bytecode[pc++];
                String fullName = code.stringPool[nameIdx];

                RuntimeArray arr = GlobalVariable.getGlobalArray(fullName);
                DynamicVariableManager.pushLocalVariable(arr);
                registers[rd] = GlobalVariable.getGlobalArray(fullName);
                return pc;
            }
            case Opcodes.LOCAL_HASH: {
                int rd = bytecode[pc++];
                int nameIdx = bytecode[pc++];
                String fullName = code.stringPool[nameIdx];

                RuntimeHash hash = GlobalVariable.getGlobalHash(fullName);
                DynamicVariableManager.pushLocalVariable(hash);
                registers[rd] = GlobalVariable.getGlobalHash(fullName);
                return pc;
            }
            default:
                throw new RuntimeException("Unknown scope opcode: " + opcode);
        }
    }

    /**
     * Execute system call and IPC operations (opcodes 132-150).
     * Handles: CHOWN, WAITPID, FORK, GETPPID, *PGRP, *PRIORITY, *SOCKOPT,
     *          SYSCALL, SEMGET, SEMOP, MSGGET, MSGSND, MSGRCV, SHMGET, SHMREAD, SHMWRITE
     */
    private static int executeSystemOps(int opcode, int[] bytecode, int pc,
                                         RuntimeBase[] registers) {
        switch (opcode) {
            case Opcodes.CHOWN:
                return MiscOpcodeHandler.execute(Opcodes.CHOWN, bytecode, pc, registers);
            case Opcodes.WAITPID:
                return MiscOpcodeHandler.execute(Opcodes.WAITPID, bytecode, pc, registers);
            case Opcodes.FORK:
                return SlowOpcodeHandler.executeFork(bytecode, pc, registers);
            case Opcodes.GETPPID:
                return SlowOpcodeHandler.executeGetppid(bytecode, pc, registers);
            case Opcodes.GETPGRP:
                return MiscOpcodeHandler.execute(Opcodes.GETPGRP, bytecode, pc, registers);
            case Opcodes.SETPGRP:
                return MiscOpcodeHandler.execute(Opcodes.SETPGRP, bytecode, pc, registers);
            case Opcodes.GETPRIORITY:
                return MiscOpcodeHandler.execute(Opcodes.GETPRIORITY, bytecode, pc, registers);
            case Opcodes.SETPRIORITY:
                return MiscOpcodeHandler.execute(Opcodes.SETPRIORITY, bytecode, pc, registers);
            case Opcodes.GETSOCKOPT:
                return MiscOpcodeHandler.execute(Opcodes.GETSOCKOPT, bytecode, pc, registers);
            case Opcodes.SETSOCKOPT:
                return MiscOpcodeHandler.execute(Opcodes.SETSOCKOPT, bytecode, pc, registers);
            case Opcodes.SYSCALL:
                return SlowOpcodeHandler.executeSyscall(bytecode, pc, registers);
            case Opcodes.SEMGET:
                return SlowOpcodeHandler.executeSemget(bytecode, pc, registers);
            case Opcodes.SEMOP:
                return SlowOpcodeHandler.executeSemop(bytecode, pc, registers);
            case Opcodes.MSGGET:
                return SlowOpcodeHandler.executeMsgget(bytecode, pc, registers);
            case Opcodes.MSGSND:
                return SlowOpcodeHandler.executeMsgsnd(bytecode, pc, registers);
            case Opcodes.MSGRCV:
                return SlowOpcodeHandler.executeMsgrcv(bytecode, pc, registers);
            case Opcodes.SHMGET:
                return SlowOpcodeHandler.executeShmget(bytecode, pc, registers);
            case Opcodes.SHMREAD:
                return SlowOpcodeHandler.executeShmread(bytecode, pc, registers);
            case Opcodes.SHMWRITE:
                return SlowOpcodeHandler.executeShmwrite(bytecode, pc, registers);
            default:
                throw new RuntimeException("Unknown system opcode: " + opcode);
        }
    }

    /**
     * Execute special I/O operations (opcodes 151-154).
     * Handles: EVAL_STRING, SELECT_OP, LOAD_GLOB, SLEEP_OP, DEREF_GLOB, LOAD_GLOB_DYNAMIC,
     * DEREF_SCALAR_STRICT, DEREF_SCALAR_NONSTRICT
     */
    private static int executeSpecialIO(int opcode, int[] bytecode, int pc,
                                         RuntimeBase[] registers, InterpretedCode code) {
        switch (opcode) {
            case Opcodes.EVAL_STRING:
                return SlowOpcodeHandler.executeEvalString(bytecode, pc, registers, code);
            case Opcodes.SELECT_OP:
                return SlowOpcodeHandler.executeSelect(bytecode, pc, registers);
            case Opcodes.LOAD_GLOB:
                return SlowOpcodeHandler.executeLoadGlob(bytecode, pc, registers, code);
            case Opcodes.SLEEP_OP:
                return SlowOpcodeHandler.executeSleep(bytecode, pc, registers);
            case Opcodes.ALARM_OP:
                return SlowOpcodeHandler.executeAlarm(bytecode, pc, registers);
            case Opcodes.DEREF_GLOB:
                return SlowOpcodeHandler.executeDerefGlob(bytecode, pc, registers, code);
            case Opcodes.LOAD_GLOB_DYNAMIC:
                return SlowOpcodeHandler.executeLoadGlobDynamic(bytecode, pc, registers, code);
            case Opcodes.DEREF_SCALAR_STRICT:
                return SlowOpcodeHandler.executeDerefScalarStrict(bytecode, pc, registers);
            case Opcodes.DEREF_SCALAR_NONSTRICT:
                return SlowOpcodeHandler.executeDerefScalarNonStrict(bytecode, pc, registers, code);
            default:
                throw new RuntimeException("Unknown special I/O opcode: " + opcode);
        }
    }

    /**
     * Read a 32-bit integer from bytecode (stored as 1 int slot).
     * With int[] storage a full int fits in a single slot.
     */
    private static int readInt(int[] bytecode, int pc) {
        return bytecode[pc];
    }

    /**
     * Format an interpreter error with source location.
     * Shows the error location using the pc-to-tokenIndex mapping if available.
     */
    private static String formatInterpreterError(InterpretedCode code, int errorPc, Throwable e) {
        StringBuilder sb = new StringBuilder();

        // Try to get token index from pcToTokenIndex map
        // Use floorEntry to find the nearest token index before or at errorPc
        Integer tokenIndex = null;
        if (code.pcToTokenIndex != null && !code.pcToTokenIndex.isEmpty()) {
            var entry = code.pcToTokenIndex.floorEntry(errorPc);
            if (entry != null) {
                tokenIndex = entry.getValue();
            }
        }

        if (tokenIndex != null && code.errorUtil != null) {
            // We have token index and errorUtil - convert to line number
            int lineNumber = code.errorUtil.getLineNumber(tokenIndex);
            sb.append("Interpreter error in ").append(code.sourceName)
              .append(" line ").append(lineNumber)
              .append(" (pc=").append(errorPc).append("): ")
              .append(e.getMessage());
        } else if (tokenIndex != null) {
            // We have token index but no errorUtil
            sb.append("Interpreter error in ").append(code.sourceName)
              .append(" at token ").append(tokenIndex)
              .append(" (pc=").append(errorPc).append("): ")
              .append(e.getMessage());
        } else {
            // No token index available, use source line from code
            sb.append("Interpreter error in ").append(code.sourceName)
              .append(" line ").append(code.sourceLine)
              .append(" (pc=").append(errorPc).append("): ")
              .append(e.getMessage());
        }

        return sb.toString();
    }
}