Lines Matching defs:LVI

243   auto &LVI = AM.getResult<LazyValueAnalysis>(F);
248       runImpl(F, &AM, &TLI, &TTI, &LVI, &AA,
292   LVI = LVI_;
346         LVI->eraseBlock(&BB);
366           LVI->eraseBlock(&BB);
397   // strictly dominated by BB), since LVI information is true from the
590       Constant *PredCst = LVI->getConstantOnEdge(V, P, BB, CxtI);
599         PredCst = LVI->getPredicateOnEdge(Pred, Val, Cst, P, BB, CxtI);
614         Constant *CI = LVI->getConstantOnEdge(InVal,
779           Res = LVI->getPredicateOnEdge(Pred, LHS, cast<Constant>(RHS), PredBB,
800           Constant *Res = LVI->getPredicateOnEdge(Pred, CmpLHS, CmpConst, P, BB,
825               ConstantRange CR = LVI->getConstantRangeOnEdge(
902   // If all else fails, see if LVI can figure out a constant value for us.
904   Constant *CI = LVI->getConstant(V, CxtI);
1068     // If we're branching on a conditional, LVI might be able to determine
1073           LVI->getPredicateAt(CondCmp->getPredicate(), CondCmp->getOperand(0),
1078         // exactly one value as returned by LVI. RAUW is incorrect in the
1260       LVI->forgetValue(NLoadI);
1453     LVI->forgetValue(PredLoadI);
1509   // Consult LVI if V is not an instruction in BB or PredBB.
1512     return LVI->getConstantOnEdge(V, PredPredBB, PredBB, nullptr);
1659         // exactly one value as returned by LVI. RAUW is incorrect in the
1902   LVI->eraseBlock(SinglePred);
1906   // BB code within one basic block `BB`), we need to invalidate the LVI
1907   // information associated with BB, because the LVI information need not be
1909   // Before the merge, LVI info and code is as follows:
1910   // SinglePred: <LVI info1 for %p val>
1915   // BB: <LVI info2 for %p val, i.e. %p is true>
1919   // Note that this LVI info for blocks BB and SinglPred is correct for %p
1921   // LVI info1 for SinglePred. We have the following code:
1922   // BB: <LVI info2 for %p val>
1926   // %x = use of %p <-- LVI info2 is correct from here onwards.
1928   // LVI info2 for BB is incorrect at the beginning of BB.
1930   // Invalidate LVI information for BB if the LVI is not provably true for
1933     LVI->eraseBlock(BB);
2397   LVI->threadEdge(PredBB, BB, SuccBB);
2877         LVI->getPredicateOnEdge(CondCmp->getPredicate(), SI->getOperand(1),
2880         LVI->getPredicateOnEdge(CondCmp->getPredicate(), SI->getOperand(2),