Lines Matching refs:UpperBound
530 APInt UpperBound = CUB->getValue()->getValue(); in intersectConstraints() local
531 DEBUG(dbgs() << "\t\tupper bound = " << UpperBound << "\n"); in intersectConstraints()
532 if (Xq.sgt(UpperBound) || Yq.sgt(UpperBound)) { in intersectConstraints()
1099 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) { in strongSIVtest() local
1100 DEBUG(dbgs() << "\t UpperBound = " << *UpperBound); in strongSIVtest()
1101 DEBUG(dbgs() << ", " << *UpperBound->getType() << "\n"); in strongSIVtest()
1106 const SCEV *Product = SE->getMulExpr(UpperBound, AbsCoeff); in strongSIVtest()
1283 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) { in weakCrossingSIVtest() local
1284 DEBUG(dbgs() << "\t UpperBound = " << *UpperBound << "\n"); in weakCrossingSIVtest()
1285 const SCEV *ConstantTwo = SE->getConstant(UpperBound->getType(), 2); in weakCrossingSIVtest()
1286 const SCEV *ML = SE->getMulExpr(SE->getMulExpr(ConstCoeff, UpperBound), in weakCrossingSIVtest()
1690 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) { in weakZeroSrcSIVtest() local
1691 DEBUG(dbgs() << "\t UpperBound = " << *UpperBound << "\n"); in weakZeroSrcSIVtest()
1692 const SCEV *Product = SE->getMulExpr(AbsCoeff, UpperBound); in weakZeroSrcSIVtest()
1800 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) { in weakZeroDstSIVtest() local
1801 DEBUG(dbgs() << "\t UpperBound = " << *UpperBound << "\n"); in weakZeroDstSIVtest()
1802 const SCEV *Product = SE->getMulExpr(AbsCoeff, UpperBound); in weakZeroDstSIVtest()
1885 if (const SCEVConstant *UpperBound = in exactRDIVtest() local
1887 SrcUM = UpperBound->getValue()->getValue(); in exactRDIVtest()
1895 if (const SCEVConstant *UpperBound = in exactRDIVtest() local
1897 DstUM = UpperBound->getValue()->getValue(); in exactRDIVtest()
2691 if (const SCEV *UpperBound = getUpperBound(Bound)) in testBounds() local
2692 if (isKnownPredicate(CmpInst::ICMP_SGT, Delta, UpperBound)) in testBounds()