4 ms·
I wonder if you could bootstrap a superoptimizer using the entire body of 6502 code written thus far.
by sehugg 8y ago
I wonder if you could bootstrap a superoptimizer using the entire body of 6502 code written thus far.
- russellsprouts 8y agoIt's in a very rough state, but I have been working on something similar. The idea is to build a superoptimizer by exhaustive enumeration of instruction sequences. In a first pass, each sequence is executed on some test machine states, and bucketed by the hash of the results. On the second pass, we use a theorem prover to check the equivalence of the sequences. See: Automatic Generation of Peephole Superoptimizers, Sorav Bansal and Alex Aiken, ASPLOS 2006. https://theory.stanford.edu/~aiken/publications/papers/asplos06.pdf https://theory.stanford.edu/~aiken/publications/papers/asplo... My implementation: https://github.com/RussellSprouts/6502-enumerator https://github.com/RussellSprouts/6502-enumerator