识别LLVM中的不可数循环

如何确定循环在LLVM中是否可计数？是否有一些库函数可以直接使用？

在

ScalarRevolution

上尝试

hasLoopInvariantBackedgeTakenCount

。看

---

（如果这不是你想要的，请澄清。）

我相信你说的“可数”是指“已数”。我说的“可数”实际上是指“可数”。可计数循环有一个跳闸计数，可以在循环开始前的运行时确定。也就是说，行程计数不是由循环体决定的。感谢您指出此函数。我在阅读doxygen、程序手册、llvm通行证时错过了它。：）标量演化对于循环分析非常有用：）。