文件名称：souper:LLVM IR的超级优化器
文件大小：579KB
文件格式：ZIP
更新时间：2024-04-25 16:30:09
C++
Souper是LLVM IR的超级优化器。 它使用SMT求解器来帮助识别LLVM的中端优化器中缺少的窥Kong优化。 要求 Souper应该可以在任何相当现代Linux或OS X计算机上工作。 您将需要一个合理的现代编译器工具链。 LLVM包含有关如何在Linux上获取一个的说明： : 您还将需要CMake来构建Souper及其依赖项。 如果已安装Go，则还需要Redigo Redis客户端： $ go get github.com/gomodule/redigo/redis 建筑汤 下载并构建依赖项： $ ./build_deps.sh $buildtype $extra_cmake_flags $ buildtype是可选的； 它默认为Release，可以设置为任何LLVM构建类型。 $ extra_cmake_flags是可选的。 它被传递给CMake。 从构建目录运行C