GitHub repository: DefCon42/souper
Description: A superoptimizer for LLVM IR