Souper: A Synthesizing Superoptimizer
GreenThumb: superoptimizer construction framework