2

我试图弄清楚如何在 LLVM 模块上执行所有优化（例如，所有 -O3 优化）。我尝试了以下方法，但我不确定是否正在应用所有可能的优化（例如，内联）。

//take string "llvm" (LLVM IR) and return "output_llvm" (optimized LLVM IR)
static string optimize(string llvm) {
    LLVMContext &ctx = getGlobalContext();
    SMDiagnostic err;
    Module *ir = ParseIR(MemoryBuffer::getMemBuffer(llvm), err, ctx);
    PassManager *pm = new PassManager();
    PassManagerBuilder builder;
    builder.OptLevel = 3;
    builder.populateModulePassManager(*pm);
    pm->run(*ir);
    delete pm;
    string output_llvm;
    raw_string_ostream buff(output_llvm);
    ir->print(buff, NULL);
    return output_llvm;
}

我还能做些什么来提高输出 LLVM IR 的性能吗？

编辑：我试图从AddOptimizationPasses()函数中添加所有优化opt.cpp，如下所示：

PassManager *pm = new PassManager();
int optLevel = 3;
int sizeLevel = 0;
PassManagerBuilder builder;
builder.OptLevel = optLevel;
builder.SizeLevel = sizeLevel;
builder.Inliner = createFunctionInliningPass(optLevel, sizeLevel);
builder.DisableUnitAtATime = false;
builder.DisableUnrollLoops = false;
builder.LoopVectorize = true;
builder.SLPVectorize = true;
builder.populateModulePassManager(*pm);
pm->run(*module);

另外，我在创建FunctionPassManager之前创建了一个PassManager并添加了几个通道，如下所示：

FunctionPassManager *fpm = new FunctionPassManager(module);
// add several passes
fpm->doInitialization();
for (Function &f : *ir)
    fpm->run(f);
fpm->doFinalization();

但是，性能与使用 -O1 在命令行上运行相同，而使用 -O3 在命令行上可以获得更好的性能。有什么建议么？

4

2 回答 2

4

遵循函数AddOptimizationPasses中的逻辑opt.cpp。这是真理的来源。

于 2015-07-07T22:26:40.980 回答
0

在研究 LLVM 优化时，我发现了有关 pass ordering的信息，我认为这可能说明为什么有人会遇到这种情况。

根据您的语言和您期望的优化，您可能需要针对您的用例专门调整您的优化传递。特别是，这些通道的顺序可能很重要。例如，如果您更好的 -O3 代码正在优化完全未优化的代码或已被您的程序部分优化的代码，则可能只是您需要重新排序或复制一些通过才能达到预期的最终结果。

鉴于此处的具体措辞以及 Eli 的答案被接受的事实，我不能 100% 确定这是否是 OP 所看到的，但这种知识可能对其他有类似问题的人有所帮助，他们像我一样找到了这个答案。

于 2017-12-04T04:27:59.083 回答