• Home
  • Raw
  • Download

Lines Matching refs:UpperBound

531         APInt UpperBound = CUB->getAPInt();  in intersectConstraints()  local
532 DEBUG(dbgs() << "\t\tupper bound = " << UpperBound << "\n"); in intersectConstraints()
533 if (Xq.sgt(UpperBound) || Yq.sgt(UpperBound)) { in intersectConstraints()
1100 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) { in strongSIVtest() local
1101 DEBUG(dbgs() << "\t UpperBound = " << *UpperBound); in strongSIVtest()
1102 DEBUG(dbgs() << ", " << *UpperBound->getType() << "\n"); in strongSIVtest()
1107 const SCEV *Product = SE->getMulExpr(UpperBound, AbsCoeff); in strongSIVtest()
1282 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) { in weakCrossingSIVtest() local
1283 DEBUG(dbgs() << "\t UpperBound = " << *UpperBound << "\n"); in weakCrossingSIVtest()
1284 const SCEV *ConstantTwo = SE->getConstant(UpperBound->getType(), 2); in weakCrossingSIVtest()
1285 const SCEV *ML = SE->getMulExpr(SE->getMulExpr(ConstCoeff, UpperBound), in weakCrossingSIVtest()
1689 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) { in weakZeroSrcSIVtest() local
1690 DEBUG(dbgs() << "\t UpperBound = " << *UpperBound << "\n"); in weakZeroSrcSIVtest()
1691 const SCEV *Product = SE->getMulExpr(AbsCoeff, UpperBound); in weakZeroSrcSIVtest()
1799 if (const SCEV *UpperBound = collectUpperBound(CurLoop, Delta->getType())) { in weakZeroDstSIVtest() local
1800 DEBUG(dbgs() << "\t UpperBound = " << *UpperBound << "\n"); in weakZeroDstSIVtest()
1801 const SCEV *Product = SE->getMulExpr(AbsCoeff, UpperBound); in weakZeroDstSIVtest()
1884 if (const SCEVConstant *UpperBound = in exactRDIVtest() local
1886 SrcUM = UpperBound->getAPInt(); in exactRDIVtest()
1894 if (const SCEVConstant *UpperBound = in exactRDIVtest() local
1896 DstUM = UpperBound->getAPInt(); in exactRDIVtest()
2690 if (const SCEV *UpperBound = getUpperBound(Bound)) in testBounds() local
2691 if (isKnownPredicate(CmpInst::ICMP_SGT, Delta, UpperBound)) in testBounds()