Lines Matching defs:LVI
245 auto &LVI = AM.getResult<LazyValueAnalysis>(F);
250 runImpl(F, &AM, &TLI, &TTI, &LVI, &AA,
294 LVI = LVI_;
353 LVI->eraseBlock(&BB);
374 LVI->eraseBlock(&BB);
398 // strictly dominated by BB), since LVI information is true from the
591 Constant *PredCst = LVI->getConstantOnEdge(V, P, BB, CxtI);
600 PredCst = LVI->getPredicateOnEdge(Pred, Val, Cst, P, BB, CxtI);
615 Constant *CI = LVI->getConstantOnEdge(InVal,
780 Res = LVI->getPredicateOnEdge(Pred, LHS, cast<Constant>(RHS), PredBB,
801 Constant *Res = LVI->getPredicateOnEdge(Pred, CmpLHS, CmpConst, P, BB,
826 ConstantRange CR = LVI->getConstantRangeOnEdge(
903 // If all else fails, see if LVI can figure out a constant value for us.
905 Constant *CI = LVI->getConstant(V, CxtI);
1069 // If we're branching on a conditional, LVI might be able to determine
1074 LVI->getPredicateAt(CondCmp->getPredicate(), CondCmp->getOperand(0),
1079 // exactly one value as returned by LVI. RAUW is incorrect in the
1261 LVI->forgetValue(NLoadI);
1454 LVI->forgetValue(PredLoadI);
1510 // Consult LVI if V is not an instruction in BB or PredBB.
1513 return LVI->getConstantOnEdge(V, PredPredBB, PredBB, nullptr);
1660 // exactly one value as returned by LVI. RAUW is incorrect in the
1903 LVI->eraseBlock(SinglePred);
1907 // BB code within one basic block `BB`), we need to invalidate the LVI
1908 // information associated with BB, because the LVI information need not be
1910 // Before the merge, LVI info and code is as follows:
1911 // SinglePred: <LVI info1 for %p val>
1916 // BB: <LVI info2 for %p val, i.e. %p is true>
1920 // Note that this LVI info for blocks BB and SinglPred is correct for %p
1922 // LVI info1 for SinglePred. We have the following code:
1923 // BB: <LVI info2 for %p val>
1927 // %x = use of %p <-- LVI info2 is correct from here onwards.
1929 // LVI info2 for BB is incorrect at the beginning of BB.
1931 // Invalidate LVI information for BB if the LVI is not provably true for
1934 LVI->eraseBlock(BB);
2400 LVI->threadEdge(PredBB, BB, SuccBB);
2880 LVI->getPredicateOnEdge(CondCmp->getPredicate(), SI->getOperand(1),
2883 LVI->getPredicateOnEdge(CondCmp->getPredicate(), SI->getOperand(2),