识别LLVM中的不可数循环

Question

如何判断LLVM中的循环是否可数？是否有一些可以直接使用的库函数？

Answer 1

在hasLoopInvariantBackedgeTakenCount上尝试ScalarEvolution。请参阅http://llvm.org/doxygen/classllvm_1_1ScalarEvolution.html#aecd7aba4460358813feef37d71d5024e。

（如果这不是您要找的，请澄清。）