souper

Souper 是一个针对 LLVM IR 的超级优化器。它使用 SMT 解算器来帮助识别 LLVM 中间优化器中缺失的 peekhole 优化。

1. 从构建目录中运行 CMake:

请注意，GCC 4.8 及其之前版本在处理多行字符串常量时存在一个错误。您应使用 GCC 4.9 或 Clang 来构建 Souper。