如何让ScalarEvolution重新计算SCEV值？LLVM循环开发求助

我之前在写LLVM循环优化Pass时也碰到过几乎一模一样的问题——修改循环后SCEV突然变成SCEVUnknown，但重新跑一遍Pass又能正常识别SCEVAddRecExpr。结合我的踩坑经验，给你几个可行的解决方案：

1. 细粒度清理并重新触发SCEV分析 #

你试过ForgetAllLoops()，但全量清理可能不是最优解，而且容易遗漏后续的重新分析步骤。可以试试更精准的操作：

• 针对你修改/克隆的目标循环，调用ScalarEvolution::forgetLoop(Loop *L)来清除该循环的旧SCEV缓存，而不是全清所有循环的信息。
• 确保修改后的循环已经被正确注册到LoopInfo中——克隆循环后，记得用LoopInfo::addLoop(Loop *NewLoop)把新循环加入到循环信息库，SCEV严重依赖LoopInfo提供的循环结构。
• 手动触发对目标循环的SCEV分析：遍历循环中的PHI节点（尤其是循环计数器），调用SE.getSCEV(PhiNode)强制重新计算其SCEV表达式。

示例代码片段：

// 假设L是你修改后的循环，SE是ScalarEvolution实例，LI是LoopInfo实例
SE.forgetLoop(L);
LI.addLoop(L); // 如果是新克隆的循环，必须先注册

// 强制重新计算循环计数器的SCEV
for (auto *Phi : L->getHeader()->phis()) {
  if (isLoopCounter(Phi, L)) { // 自己实现判断循环计数器的逻辑
    auto *Scev = SE.getSCEV(Phi);
    // 此时Scev应该能正确识别为SCEVAddRecExpr
  }
}

2. 不要依赖Pass框架自动维护，手动同步分析状态 #

LLVM的Pass框架默认会在Pass之间维护分析数据的一致性，但如果你的Pass在单次运行中多次修改IR（比如多次克隆重构循环），框架不会自动帮你更新中间的分析结果。这时候要注意：

• 在每次修改IR后，都需要同步更新依赖的分析数据：除了ScalarEvolution，还要确保LoopInfo、DominatorTree这些和循环结构相关的分析也被更新。比如调用DominatorTree::recalculate(F)来重新计算支配树，因为克隆循环会改变支配关系。
• 避免在Pass中保留旧的分析指针，每次修改后都重新获取最新的分析实例（不过通常Pass的分析是通过getAnalysis<ScalarEvolution>()获取的，只要清理了缓存，重新调用getSCEV就会触发重新计算）。

3. 避免错误的Pass依赖声明 #

检查你的Pass的getAnalysisUsage方法，确保正确声明了对分析Pass的依赖：

void getAnalysisUsage(AnalysisUsage &AU) const override {
  AU.addRequired<LoopInfoWrapperPass>();
  AU.addRequired<ScalarEvolution>();
  // 如果你的Pass会修改IR，不要加addPreserved<ScalarEvolution>()
  // 因为修改IR后SCEV的缓存已经失效，保留它会导致后续分析出错
  FunctionPass::getAnalysisUsage(AU);
}

如果你错误地声明了addPreserved<ScalarEvolution>()，框架会认为SCEV的信息仍然有效，不会重新计算，这可能是导致问题的原因之一。

4. 极端情况：手动重新运行ScalarEvolution分析 #

如果上面的方法都没用，你可以尝试手动让ScalarEvolution重新分析整个函数。虽然ScalarEvolution::analyzeFunction()是protected方法，但你可以通过遍历函数中的所有循环，逐个触发分析：

for (auto &L : *LI) {
  SE.getLoopSCEV(L); // 触发对该循环的SCEV分析
}

总结一下，核心问题是你修改IR后，ScalarEvolution的缓存没有被正确清理，同时新的循环结构没有被LoopInfo正确注册，导致SE无法识别循环的递推关系。只要同步好这两个点，SCEV应该就能正确识别SCEVAddRecExpr了。

内容的提问来源于stack exchange，提问作者Augusto Dias Noronha