loops - 如何在 LLVM 中获取循环边界？

Question

我想通过使用 LLVM API 来获得循环边界。这是代码的一部分，如下所示。我不知道获得界限是否正确。那么，还有其他我没有想到的情况吗？

typedef std::vector<Loop*> LoopNest;
typedef std::vector<const Value*> LoopNestBounds;
...
void getLoopNestBounds(const LoopNest &Nest, LoopNestBounds &LBounds) {
    ScalarEvolution &SE = getAnalysis<ScalarEvolution>();
    for (unsigned d = 0, n = Nestsize(); d != n; ++d) {
        if (SE.hasLoopInvariantBackedgeTakenCount(Nest[d])) {
            const SCEV *C = SE.getBackedgeTakenCount(Nest[d]);
            const SCEVConstant *CC = dyn_cast<const SCEVConstant>(C);
            LBounds.push_back(CC->getValue());
            errs() << CC->getValue()->getValue() << " iterations\n";
        }
        else {
            LBounds.push_back(0);
            errs() << "---- 0 iterations for the nest ----" << "\n";
        }
    }
}

注意：LLVM 的版本是 3.0。