LLVM getBackedgeTakenCount（）行为

Question

我有以下循环

for(i=5;i<5000;i++){


}

我正在使用Scalar Evolution中的getBackedgeTakenCount（）。上面的循环有可确定的循环计数，那么为什么函数给我无法计算？我错过了什么。

我使用了以下分析

LI = &getAnalysis<LoopInfo>();
SE = &getAnalysis<ScalarEvolution>();