You might find this interesting reading: Automatic Generation of Peephole Superoptimizers: http://theory.stanford.edu/~aiken/publications/papers/asplos06.pdf h

You might find this interesting reading: Automatic Generation of Peephole Superoptimizers: http://theory.stanford.edu/~aiken/publications/papers/asplos06.pdf http://theory.stanford.edu/~aiken/publications/papers/asplos... Binary Translation Using Peephole Superoptimizers: https://www.usenix.org/legacy/event/osdi08/tech/full_papers/bansal/bansal.pdf https://www.usenix.org/legacy/event/osdi08/tech/full_papers/... The first one was referenced in the post, but that feature wasn't mentioned.