Home
last modified time | relevance | path

Searched refs:ExactBTC (Results 1 – 1 of 1) sorted by relevance

/llvm-project-15.0.7/llvm/lib/Transforms/Scalar/
H A DIndVarSimplify.cpp1740 const SCEV *ExactBTC = SE->getBackedgeTakenCount(L); in predicateLoopExits() local
1741 if (isa<SCEVCouldNotCompute>(ExactBTC) || !Rewriter.isSafeToExpand(ExactBTC)) in predicateLoopExits()
1744 assert(SE->isLoopInvariant(ExactBTC, L) && "BTC must be loop invariant"); in predicateLoopExits()
1745 assert(ExactBTC->getType()->isIntegerTy() && "BTC must be integer"); in predicateLoopExits()
1857 if (ExitCount == ExactBTC) { in predicateLoopExits()
1863 ExactBTCV = Rewriter.expandCodeFor(ExactBTC); in predicateLoopExits()