Automatic verification of LLVM optimizations 检查LLVM IR优化是否正确 - View it on GitHub