sequenceDiagram
    participant Compiler as Compiler<br/>(compile.rs)
    participant CodeGen as Code Generator<br/>(ir.rs)
    participant Bytecode as Bytecode<br/>(instruction.rs)
    participant Peephole as Peephole Opt.<br/>(ir.rs)
    participant VM as VM Executor<br/>(frame.rs)

    Compiler->>Compiler: Check is_constant_slice<br/>& should_use_slice_optimization
    alt Optimize Slice Path
        Compiler->>Bytecode: Emit BinarySlice/StoreSlice
    else Standard Path
        Compiler->>Bytecode: Emit standard slice instructions
    end

    Compiler->>CodeGen: Generate code with<br/>LoadFast/StoreFast pairs
    
    CodeGen->>Peephole: Finalize code with<br/>optimization enabled
    Peephole->>Peephole: Scan consecutive instructions
    alt Fusible Pattern Found
        Peephole->>Peephole: Fuse LoadFast+LoadFast<br/>→ LoadFastLoadFast
        Peephole->>Peephole: Fuse StoreFast+StoreFast<br/>→ StoreFastStoreFast
    end
    
    Peephole->>Bytecode: Output optimized<br/>instructions
    
    VM->>VM: Execute instruction
    alt BinarySlice
        VM->>VM: Pop container, start, stop
        VM->>VM: Create PySlice
        VM->>VM: Get item, push result
    else LoadFastLoadFast
        VM->>VM: Decode indices<br/>(idx1 << 4 | idx2)
        VM->>VM: Load both with<br/>unbound checks
        VM->>VM: Push both values
    else StoreFastStoreFast
        VM->>VM: Pop 2 values
        VM->>VM: Store to 2 locals
    end