Souper: A Synthesizing Superoptimizer

   Abstract