Lines Matching defs:MaxBTC

1782 /// \p MaxBTC, check if it is possible to prove statically that the dependence
1791                                      const SCEV &MaxBTC, const SCEV &Dist,
1796   //      (**) |Dist| > MaxBTC * Step
1802   // is >= the loop iteration count (or > MaxBTC).
1813   const SCEV *Step = SE.getConstant(MaxBTC.getType(), ByteStride);
1814   const SCEV *Product = SE.getMulExpr(&MaxBTC, Step);
1829   // Is  Dist - (MaxBTC * Step) > 0 ?
1835   // Second try: Is  -Dist - (MaxBTC * Step) > 0 ?
2967   const SCEV *MaxBTC = PSE->getSymbolicMaxBackedgeTakenCount();
2969   // Match the types so we can compare the stride and the MaxBTC.
2971   // The backedgeTakenCount is non-negative, so we zero extend MaxBTC.
2974   uint64_t BETypeSizeBits = DL.getTypeSizeInBits(MaxBTC->getType());
2976   const SCEV *CastedBECount = MaxBTC;
2979     CastedStride = SE->getNoopOrSignExtend(StrideExpr, MaxBTC->getType());
2981     CastedBECount = SE->getZeroExtendExpr(MaxBTC, StrideExpr->getType());
2985   // Stride - MaxBTC> 0