Lines Matching refs:Result
367 void insertResult(Value *Val, BasicBlock *BB, const LVILatticeVal &Result) { in insertResult() argument
372 if (Result.isOverdefined()) in insertResult()
375 lookup(Val)[BB] = Result; in insertResult()
380 LVILatticeVal &Result,
545 ConstantRange Result = getConstantRangeFromMetadata(*Ranges); in getFromRangeMetadata() local
546 return LVILatticeVal::getRange(Result); in getFromRangeMetadata()
604 LVILatticeVal Result; in solveBlockValue() local
665 LVILatticeVal Result; // Start Undefined. in solveBlockValueNonLocal() local
695 Result = LVILatticeVal::getNot(ConstantPointerNull::get(PTy)); in solveBlockValueNonLocal()
697 Result.markOverdefined(); in solveBlockValueNonLocal()
699 BBLV = Result; in solveBlockValueNonLocal()
712 Result.mergeIn(EdgeResult, DL); in solveBlockValueNonLocal()
716 if (Result.isOverdefined()) { in solveBlockValueNonLocal()
723 Result = LVILatticeVal::getNot(ConstantPointerNull::get(PTy)); in solveBlockValueNonLocal()
726 BBLV = Result; in solveBlockValueNonLocal()
734 assert(!Result.isOverdefined()); in solveBlockValueNonLocal()
735 BBLV = Result; in solveBlockValueNonLocal()
741 LVILatticeVal Result; // Start Undefined. in solveBlockValuePHINode() local
757 Result.mergeIn(EdgeResult, DL); in solveBlockValuePHINode()
761 if (Result.isOverdefined()) { in solveBlockValuePHINode()
765 BBLV = Result; in solveBlockValuePHINode()
773 assert(!Result.isOverdefined() && "Possible PHI in entry block?"); in solveBlockValuePHINode()
774 BBLV = Result; in solveBlockValuePHINode()
779 LVILatticeVal &Result,
801 LVILatticeVal Result; in mergeAssumeBlockValueConstantRange() local
802 if (getValueFromFromCondition(Val, ICI, Result)) { in mergeAssumeBlockValueConstantRange()
804 BBLV = Result; in mergeAssumeBlockValueConstantRange()
806 BBLV.mergeIn(Result, DL); in mergeAssumeBlockValueConstantRange()
845 LVILatticeVal Result; in solveBlockValueConstantRange() local
848 Result.markConstantRange(LHSRange.add(RHSRange)); in solveBlockValueConstantRange()
851 Result.markConstantRange(LHSRange.sub(RHSRange)); in solveBlockValueConstantRange()
854 Result.markConstantRange(LHSRange.multiply(RHSRange)); in solveBlockValueConstantRange()
857 Result.markConstantRange(LHSRange.udiv(RHSRange)); in solveBlockValueConstantRange()
860 Result.markConstantRange(LHSRange.shl(RHSRange)); in solveBlockValueConstantRange()
863 Result.markConstantRange(LHSRange.lshr(RHSRange)); in solveBlockValueConstantRange()
866 Result.markConstantRange(LHSRange.truncate(ResultTy->getBitWidth())); in solveBlockValueConstantRange()
869 Result.markConstantRange(LHSRange.signExtend(ResultTy->getBitWidth())); in solveBlockValueConstantRange()
872 Result.markConstantRange(LHSRange.zeroExtend(ResultTy->getBitWidth())); in solveBlockValueConstantRange()
875 Result.markConstantRange(LHSRange); in solveBlockValueConstantRange()
878 Result.markConstantRange(LHSRange.binaryAnd(RHSRange)); in solveBlockValueConstantRange()
881 Result.markConstantRange(LHSRange.binaryOr(RHSRange)); in solveBlockValueConstantRange()
888 Result.markOverdefined(); in solveBlockValueConstantRange()
892 BBLV = Result; in solveBlockValueConstantRange()
897 LVILatticeVal &Result, bool isTrueDest) { in getValueFromFromCondition() argument
903 Result = LVILatticeVal::get(cast<Constant>(ICI->getOperand(1))); in getValueFromFromCondition()
905 Result = LVILatticeVal::getNot(cast<Constant>(ICI->getOperand(1))); in getValueFromFromCondition()
929 Result = LVILatticeVal::getRange(TrueValues); in getValueFromFromCondition()
940 BasicBlock *BBTo, LVILatticeVal &Result) { in getEdgeValueLocal() argument
955 Result = LVILatticeVal::get(ConstantInt::get( in getEdgeValueLocal()
963 if (getValueFromFromCondition(Val, ICI, Result, isTrueDest)) in getEdgeValueLocal()
988 Result = LVILatticeVal::getRange(EdgesVals); in getEdgeValueLocal()
997 BasicBlock *BBTo, LVILatticeVal &Result, in getEdgeValue() argument
1001 Result = LVILatticeVal::get(VC); in getEdgeValue()
1005 if (getEdgeValueLocal(Val, BBFrom, BBTo, Result)) { in getEdgeValue()
1006 if (!Result.isConstantRange() || in getEdgeValue()
1007 Result.getConstantRange().getSingleElement()) in getEdgeValue()
1016 Result.markOverdefined(); in getEdgeValue()
1030 Result.getConstantRange().intersectWith(InBlock.getConstantRange()); in getEdgeValue()
1031 Result = LVILatticeVal::getRange(Range); in getEdgeValue()
1038 Result.markOverdefined(); in getEdgeValue()
1043 Result = getBlockValue(Val, BBFrom); in getEdgeValue()
1044 mergeAssumeBlockValueConstantRange(Val, Result, BBFrom->getTerminator()); in getEdgeValue()
1053 mergeAssumeBlockValueConstantRange(Val, Result, CxtI); in getEdgeValue()
1066 LVILatticeVal Result = getBlockValue(V, BB); in getValueInBlock() local
1067 mergeAssumeBlockValueConstantRange(V, Result, CxtI); in getValueInBlock()
1069 DEBUG(dbgs() << " Result = " << Result << "\n"); in getValueInBlock()
1070 return Result; in getValueInBlock()
1077 LVILatticeVal Result; in getValueAt() local
1079 Result = getFromRangeMetadata(I); in getValueAt()
1080 mergeAssumeBlockValueConstantRange(V, Result, CxtI); in getValueAt()
1082 DEBUG(dbgs() << " Result = " << Result << "\n"); in getValueAt()
1083 return Result; in getValueAt()
1092 LVILatticeVal Result; in getValueOnEdge() local
1093 if (!getEdgeValue(V, FromBB, ToBB, Result, CxtI)) { in getValueOnEdge()
1095 bool WasFastQuery = getEdgeValue(V, FromBB, ToBB, Result, CxtI); in getValueOnEdge()
1100 DEBUG(dbgs() << " Result = " << Result << "\n"); in getValueOnEdge()
1101 return Result; in getValueOnEdge()
1209 LVILatticeVal Result = in getConstant() local
1212 if (Result.isConstant()) in getConstant()
1213 return Result.getConstant(); in getConstant()
1214 if (Result.isConstantRange()) { in getConstant()
1215 ConstantRange CR = Result.getConstantRange(); in getConstant()
1228 LVILatticeVal Result = in getConstantOnEdge() local
1231 if (Result.isConstant()) in getConstantOnEdge()
1232 return Result.getConstant(); in getConstantOnEdge()
1233 if (Result.isConstantRange()) { in getConstantOnEdge()
1234 ConstantRange CR = Result.getConstantRange(); in getConstantOnEdge()
1242 LVILatticeVal &Result, in getPredicateResult() argument
1248 if (Result.isConstant()) { in getPredicateResult()
1249 Res = ConstantFoldCompareInstOperands(Pred, Result.getConstant(), C, DL, in getPredicateResult()
1256 if (Result.isConstantRange()) { in getPredicateResult()
1260 ConstantRange CR = Result.getConstantRange(); in getPredicateResult()
1285 if (Result.isNotConstant()) { in getPredicateResult()
1291 Result.getNotConstant(), C, DL, in getPredicateResult()
1298 Result.getNotConstant(), C, DL, in getPredicateResult()
1316 LVILatticeVal Result = in getPredicateOnEdge() local
1319 return getPredicateResult(Pred, C, Result, DL, TLI); in getPredicateOnEdge()
1326 LVILatticeVal Result = getCache(PImpl, AC, &DL, DT).getValueAt(V, CxtI); in getPredicateAt() local
1327 Tristate Ret = getPredicateResult(Pred, C, Result, DL, TLI); in getPredicateAt()
1373 Tristate Result = getPredicateOnEdge(Pred, Incoming, C, PredBB, BB, in getPredicateAt() local
1378 Baseline = (i == 0) ? Result /* First iteration */ in getPredicateAt()
1379 : (Baseline == Result ? Baseline : Unknown); /* All others */ in getPredicateAt()