Stoke is incredible: it takes a piece of code, generates tests, then fuzzes for equiv instructions to find speedups! https://github.com/StanfordPL/stoke-release