Non-official build of Souper super-optimizer: https://github.com/google/souper