Searched refs:ExactBTC (Results 1 – 1 of 1) sorted by relevance
1737 const SCEV *ExactBTC = SE->getBackedgeTakenCount(L); in predicateLoopExits() local1738 if (isa<SCEVCouldNotCompute>(ExactBTC) || !Rewriter.isSafeToExpand(ExactBTC)) in predicateLoopExits()1741 assert(SE->isLoopInvariant(ExactBTC, L) && "BTC must be loop invariant"); in predicateLoopExits()1742 assert(ExactBTC->getType()->isIntegerTy() && "BTC must be integer"); in predicateLoopExits()1854 if (ExitCount == ExactBTC) { in predicateLoopExits()1860 ExactBTCV = Rewriter.expandCodeFor(ExactBTC); in predicateLoopExits()