Lines Matching defs:BEValue
5432 // %X = phi i64 (%Start, %BEValue)
5438 // BEValue = ((sext i32 (trunc i64 %X to i32) to i64) + %Step)
5507 const SCEV *BEValue = getSCEV(BEValueV);
5512 const auto *Add = dyn_cast<SCEVAddExpr>(BEValue);
5843 const SCEV *BEValue = getSCEV(BEValueV);
5845 // NOTE: If BEValue is loop invariant, we know that the PHI node just
5850 if (const SCEVAddExpr *Add = dyn_cast<SCEVAddExpr>(BEValue)) {
5932 // In this case, j = {1,+,1} and BEValue is j.
5933 // Because the other in-value of i (0) fits the evolution of BEValue
5936 // We can generalize this saying that i is the shifted value of BEValue
5939 const SCEV *Shifted = SCEVShiftRewriter::rewrite(BEValue, L, *this);
9394 Value *BEValue = PNOut->getIncomingValueForBlock(Latch);
9400 MatchPositiveShift(BEValue, OpLHS, OpCodeOut) &&
9655 Value *BEValue = PN->getIncomingValueForBlock(Latch);
9672 EvaluateExpression(BEValue, L, CurrentIterVals, DL, &TLI);
9694 Value *BEValue = PHI->getIncomingValueForBlock(Latch);
9695 NextPHI = EvaluateExpression(BEValue, L, CurrentIterVals, DL, &TLI);
9767 Value *BEValue = PHI->getIncomingValueForBlock(Latch);
9768 NextPHI = EvaluateExpression(BEValue, L, CurrentIterVals, DL, &TLI);