LLVM保留环路分析

Question

我在写一个LLVM函数通道，可以相当积极地转换某些函数。最终最终会删除旧的一组区块，并用完全不同的区块替换它们。但是，之后运行的循环展开器（LoopUnrollPass）无法在转换后的函数中找到循环。 （转换后的版本应该有自然循环。）

重新创建函数后，我有什么要戳吗？如何触发回路检测器再次运行？最后，当我转换函数时，还需要进行其他分析吗？

Answer 1

首先，为防万一你跳过它，阅读理解Writing and LLVM Pass文档页面非常重要。

当您的通行证运行时，它说明函数/模块是否被修改。通过经理应该将其作为线索，以重新运行下一次通行证所需的所有分析，除非您的通行证声明保留了通行证（与addPreserved一致）。你可以看到在其getAnalysisUsage方法，通过LoopUnroll需要分析的列表：

/// This transformation requires natural loop information & requires that 
/// loop preheaders be inserted into the CFG... 
/// 
virtual void getAnalysisUsage(AnalysisUsage &AU) const { 
    AU.addRequired<LoopInfo>(); 
    AU.addPreserved<LoopInfo>(); 
    AU.addRequiredID(LoopSimplifyID); 
    AU.addPreservedID(LoopSimplifyID); 
    AU.addRequiredID(LCSSAID); 
    AU.addPreservedID(LCSSAID); 
    AU.addRequired<ScalarEvolution>(); 
    AU.addPreserved<ScalarEvolution>(); 
    AU.addRequired<TargetTransformInfo>(); 
    // FIXME: Loop unroll requires LCSSA. And LCSSA requires dom info. 
    // If loop unroll does not preserve dom info then LCSSA pass on next 
    // loop will receive invalid dom info. 
    // For now, recreate dom info, if loop is unrolled. 
    AU.addPreserved<DominatorTree>(); 
}