DeiMOS is a superoptimizer tool that generates optimal machine code for the MOS 6502 microprocessor through exhaustive search of instruction sequences. Unlike traditional compilers using predefined optimization rules, it explores all possible combinations to find provably optimal code. The 6502's simple, well-defined instruction set makes exhaustive analysis feasible, though the technique doesn't scale to longer programs.
Research
DeiMOS – A Superoptimizer for the MOS 6502
Superoptimizer DeiMOS exhaustively searches instruction combinations to generate provably optimal code for the MOS 6502, outperforming heuristic-based compilation.
Tuesday, April 7, 2026 12:00 PM UTC2 MIN READSOURCE: Hacker NewsBY sys://pipeline
Tags
research