Lines Matching defs:BEValue
5410 // %X = phi i64 (%Start, %BEValue)
5416 // BEValue = ((sext i32 (trunc i64 %X to i32) to i64) + %Step)
5485 const SCEV *BEValue = getSCEV(BEValueV);
5490 const auto *Add = dyn_cast<SCEVAddExpr>(BEValue);
5822 const SCEV *BEValue = getSCEV(BEValueV);
5824 // NOTE: If BEValue is loop invariant, we know that the PHI node just
5829 if (const SCEVAddExpr *Add = dyn_cast<SCEVAddExpr>(BEValue)) {
5911 // In this case, j = {1,+,1} and BEValue is j.
5912 // Because the other in-value of i (0) fits the evolution of BEValue
5915 // We can generalize this saying that i is the shifted value of BEValue
5919 // Do not allow refinement in rewriting of BEValue.
5920 const SCEV *Shifted = SCEVShiftRewriter::rewrite(BEValue, L, *this);
9471 Value *BEValue = PNOut->getIncomingValueForBlock(Latch);
9477 MatchPositiveShift(BEValue, OpLHS, OpCodeOut) &&
9732 Value *BEValue = PN->getIncomingValueForBlock(Latch);
9749 EvaluateExpression(BEValue, L, CurrentIterVals, DL, &TLI);
9771 Value *BEValue = PHI->getIncomingValueForBlock(Latch);
9772 NextPHI = EvaluateExpression(BEValue, L, CurrentIterVals, DL, &TLI);
9844 Value *BEValue = PHI->getIncomingValueForBlock(Latch);
9845 NextPHI = EvaluateExpression(BEValue, L, CurrentIterVals, DL, &TLI);