To some extent this is already done in a process called "Superoptimization"[1]. In that case, though, correct code is used as a rigorous functional specificatio

To some extent this is already done in a process called "Superoptimization"[1]. In that case, though, correct code is used as a rigorous functional specification, and the Superoptimization process will replace segments with shorter or faster opcode sequences with identical side effects. [1] http://en.wikipedia.org/wiki/Superoptimization http://en.wikipedia.org/wiki/Superoptimization