Lines Matching refs:UpperBound
526 const APInt &UpperBound = CUB->getAPInt(); in intersectConstraints() local
527 DEBUG(dbgs() << "\t\tupper bound = " << UpperBound << "\n"); in intersectConstraints()
528 if (Xq.sgt(UpperBound) || Yq.sgt(UpperBound)) { in intersectConstraints()
1086 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) { in strongSIVtest() local
1087 DEBUG(dbgs() << "\t UpperBound = " << *UpperBound); in strongSIVtest()
1088 DEBUG(dbgs() << ", " << *UpperBound->getType() << "\n"); in strongSIVtest()
1093 const SCEV *Product = SE->getMulExpr(UpperBound, AbsCoeff); in strongSIVtest()
1264 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) { in weakCrossingSIVtest() local
1265 DEBUG(dbgs() << "\t UpperBound = " << *UpperBound << "\n"); in weakCrossingSIVtest()
1266 const SCEV *ConstantTwo = SE->getConstant(UpperBound->getType(), 2); in weakCrossingSIVtest()
1267 const SCEV *ML = SE->getMulExpr(SE->getMulExpr(ConstCoeff, UpperBound), in weakCrossingSIVtest()
1662 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) { in weakZeroSrcSIVtest() local
1663 DEBUG(dbgs() << "\t UpperBound = " << *UpperBound << "\n"); in weakZeroSrcSIVtest()
1664 const SCEV *Product = SE->getMulExpr(AbsCoeff, UpperBound); in weakZeroSrcSIVtest()
1771 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) { in weakZeroDstSIVtest() local
1772 DEBUG(dbgs() << "\t UpperBound = " << *UpperBound << "\n"); in weakZeroDstSIVtest()
1773 const SCEV *Product = SE->getMulExpr(AbsCoeff, UpperBound); in weakZeroDstSIVtest()
1853 if (const SCEVConstant *UpperBound = in exactRDIVtest() local
1855 SrcUM = UpperBound->getAPInt(); in exactRDIVtest()
1863 if (const SCEVConstant *UpperBound = in exactRDIVtest() local
1865 DstUM = UpperBound->getAPInt(); in exactRDIVtest()
2637 if (const SCEV *UpperBound = getUpperBound(Bound)) in testBounds() local
2638 if (isKnownPredicate(CmpInst::ICMP_SGT, Delta, UpperBound)) in testBounds()