lib/Analysis/LazyValueInfo.cpp

185                       const ValueLatticeElement &Result) {
190       if (Result.isOverdefined())
199         It->second->BlockVals[BB] = Result;
412                     ValueLatticeElement &Result, Instruction *CxtI = nullptr);
549              "Result should be in cache!");
722   ValueLatticeElement Result;  // Start Undefined.
735       Result = ValueLatticeElement::getNot(ConstantPointerNull::get(PTy));
737       Result = ValueLatticeElement::getOverdefined();
739     BBLV = Result;
758     Result.mergeIn(EdgeResult, DL);
762     if (Result.isOverdefined()) {
770         Result = ValueLatticeElement::getNot(ConstantPointerNull::get(PTy));
773       BBLV = Result;
779   assert(!Result.isOverdefined());
780   BBLV = Result;
786   ValueLatticeElement Result;  // Start Undefined.
802     Result.mergeIn(EdgeResult, DL);
806     if (Result.isOverdefined()) {
810       BBLV = Result;
816   assert(!Result.isOverdefined() && "Possible PHI in entry block?");
817   BBLV = Result;
993   ValueLatticeElement Result;  // Start Undefined.
994   Result.mergeIn(TrueVal, DL);
995   Result.mergeIn(FalseVal, DL);
996   BBLV = Result;
1323   auto Result = getValueFromConditionImpl(Val, Cond, isTrueDest, Visited);
1324   Visited[Cond] = Result;
1325   return Result;
1381 /// Val is not constrained on the edge.  Result is unspecified if return value
1384                               BasicBlock *BBTo, ValueLatticeElement &Result) {
1400         Result = ValueLatticeElement::get(ConstantInt::get(
1407       Result = getValueFromCondition(Val, Condition, isTrueDest);
1408       if (!Result.isOverdefined())
1412         assert(Result.isOverdefined() && "Result isn't overdefined");
1427             Result = constantFoldUser(Usr, Condition, ConditionVal, DL);
1441                 Result = constantFoldUser(Usr, Op, OpConst.getValue(), DL);
1448       if (!Result.isOverdefined())
1499     Result = ValueLatticeElement::getRange(std::move(EdgesVals));
1509                                      ValueLatticeElement &Result,
1513     Result = ValueLatticeElement::get(VC);
1525     Result = LocalResult;
1533     Result = LocalResult;
1551   Result = intersect(LocalResult, InBlock);
1565   ValueLatticeElement Result = getBlockValue(V, BB);
1566   intersectAssumeOrGuardBlockValueConstantRange(V, Result, CxtI);
1568   LLVM_DEBUG(dbgs() << "  Result = " << Result << "\n");
1569   return Result;
1579   ValueLatticeElement Result = ValueLatticeElement::getOverdefined();
1581     Result = getFromRangeMetadata(I);
1582   intersectAssumeOrGuardBlockValueConstantRange(V, Result, CxtI);
1584   LLVM_DEBUG(dbgs() << "  Result = " << Result << "\n");
1585   return Result;
1595   ValueLatticeElement Result;
1596   if (!getEdgeValue(V, FromBB, ToBB, Result, CxtI)) {
1598     bool WasFastQuery = getEdgeValue(V, FromBB, ToBB, Result, CxtI);
1603   LLVM_DEBUG(dbgs() << "  Result = " << Result << "\n");
1604   return Result;
1705   ValueLatticeElement Result =
1708   if (Result.isConstant())
1709     return Result.getConstant();
1710   if (Result.isConstantRange()) {
1711     const ConstantRange &CR = Result.getConstantRange();
1723   ValueLatticeElement Result =
1725   if (Result.isUnknown())
1727   if (Result.isConstantRange())
1728     return Result.getConstantRange();
1731   assert(!(Result.isConstant() && isa<ConstantInt>(Result.getConstant())) &&
1742   ValueLatticeElement Result =
1745   if (Result.isConstant())
1746     return Result.getConstant();
1747   if (Result.isConstantRange()) {
1748     const ConstantRange &CR = Result.getConstantRange();
1761   ValueLatticeElement Result =
1764   if (Result.isUnknown())
1766   if (Result.isConstantRange())
1767     return Result.getConstantRange();
1770   assert(!(Result.isConstant() && isa<ConstantInt>(Result.getConstant())) &&
1847   ValueLatticeElement Result =
1850   return getPredicateResult(Pred, C, Result, DL, TLI);
1868   ValueLatticeElement Result = getImpl(PImpl, AC, &DL, DT).getValueAt(V, CxtI);
1869   Tristate Ret = getPredicateResult(Pred, C, Result, DL, TLI);
1915           Tristate Result = getPredicateOnEdge(Pred, Incoming, C, PredBB, BB,
1920           Baseline = (i == 0) ? Result /* First iteration */
1921             : (Baseline == Result ? Baseline : Unknown); /* All others */
1992     ValueLatticeElement Result = LVIImpl->getValueInBlock(
1994     if (Result.isUnknown())
1996     OS << "; LatticeVal for: '" << Arg << "' is: " << Result << "\n";
2017     ValueLatticeElement Result = LVIImpl->getValueInBlock(
2021       OS << "' is: " << Result << "\n";