没有合适的资源?快使用搜索试试~ 我知道了~
souper:LLVM IR的超级优化器
共814个文件
opt:458个
ll:231个
cpp:41个
需积分: 12 2 下载量 151 浏览量
2021-04-05
22:43:29
上传
评论
收藏 579KB ZIP 举报
温馨提示
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
资源推荐
资源详情
资源评论
收起资源包目录
souper:LLVM IR的超级优化器 (814个子文件)
AUTHORS 490B
souperPassProfile.c 3KB
clang-pass-profile.c 1KB
nop-domination-check.c 669B
sclang-pop.c 628B
sclang-set.c 470B
pr296.c 361B
all1.c 348B
all2.c 339B
issue432.c 297B
clang-pass.c 295B
harvest-uses.c 287B
sclang-aligned.c 275B
sclang-bad-env.c 164B
sclang-version.c 64B
lit.cfg 2KB
.clang-format 19B
CODING_STYLE 438B
CONTRIBUTORS 626B
InstSynthesis.cpp 52KB
AbstractInterpreter.cpp 46KB
Parser.cpp 46KB
Candidates.cpp 40KB
Inst.cpp 36KB
ParserTests.cpp 36KB
Solver.cpp 36KB
ExprBuilder.cpp 34KB
AliveDriver.cpp 31KB
EnumerativeSynthesis.cpp 30KB
Pruning.cpp 29KB
InterpreterInfra.cpp 22KB
ConstantSynthesis.cpp 18KB
KLEEBuilder.cpp 17KB
Pass.cpp 16KB
souper-check.cpp 14KB
Interpreter.cpp 12KB
Codegen.cpp 11KB
Solver.cpp 11KB
souper-interpret.cpp 10KB
CandidateMapUtils.cpp 10KB
InterpreterTests.cpp 8KB
BulkTests.cpp 8KB
ExtractorTests.cpp 7KB
Preconditions.cpp 6KB
KVStore.cpp 4KB
souper2llvm.cpp 4KB
souper.cpp 4KB
count-insts.cpp 4KB
souperweb-backend.cpp 3KB
Actions.cpp 3KB
clang-souper.cpp 2KB
InstTests.cpp 2KB
Verification.cpp 2KB
parser-test.cpp 2KB
demo-main.cpp 2KB
internal-solver-test.cpp 1KB
lexer-test.cpp 1KB
sclang-rotate.cpp 707B
sclang-prime.cpp 583B
issue425.cpp 336B
DEVELOPER_POLICY 1KB
Dockerfile 2KB
.gitignore 46B
souperweb.go 14KB
InstSynthesis.h 13KB
Inst.h 10KB
AbstractInterpreter.h 9KB
InterpreterInfra.h 5KB
ExprBuilder.h 4KB
Solver.h 4KB
Verification.h 4KB
Interpreter.h 4KB
Candidates.h 4KB
Parser.h 3KB
InstGraph.h 3KB
Pruning.h 3KB
AliveDriver.h 3KB
DfaUtils.h 2KB
Solver.h 2KB
Codegen.h 2KB
ConstantSynthesis.h 2KB
CandidateMapUtils.h 2KB
EnumerativeSynthesis.h 1KB
UniqueNameSet.h 1KB
Actions.h 1KB
KVStore.h 1KB
LLVMUtils.h 937B
config.h 677B
Preconditions.h 445B
funcs.h 85B
Doxyfile.in 109KB
py_souper2llvm.in 29KB
cache_dump.in 16KB
gen_xfer.pl.in 15KB
cache_dfa.in 12KB
sclang.in 8KB
reduce.in 6KB
cache_infer.in 5KB
GetSolver.h.in 3KB
cache_import.in 2KB
共 814 条
- 1
- 2
- 3
- 4
- 5
- 6
- 9
资源评论
weixin_42156940
- 粉丝: 18
- 资源: 4629
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功