There are superoptimizers that do the first part. Effectively, build a Markov chain generator from known "fast" executables, then explore that as the input to

There are superoptimizers that do the first part. Effectively, build a Markov chain generator from known "fast" executables, then explore that as the input to the superoptimizer.