идентифицировать неисчислимые циклы в LLVM

Question

Как я могу определить, является ли цикл счетным или нет в LLVM? Есть ли какая-нибудь библиотечная функция, которую можно использовать напрямую?

Answer 1

Попробуйте hasLoopInvariantBackedgeTakenCount на ScalarEvolution.См. http://llvm.org/doxygen/classllvm_1_1ScalarEvolution.html#aecd7aba4460358813feef37d71d5024e.

(Если это не то, что вы ищете, уточните.)