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);