Home
last modified time | relevance | path

Searched refs:RHSRange (Results 1 – 2 of 2) sorted by relevance

/freebsd-13.1/contrib/llvm-project/llvm/lib/Analysis/
H A DLazyValueInfo.cpp945 const ConstantRange &RHSRange = RHSRes.getValue(); in solveBlockValueBinaryOpImpl() local
946 return ValueLatticeElement::getRange(OpFn(LHSRange, RHSRange)); in solveBlockValueBinaryOpImpl()
1063 ConstantRange RHSRange(RHS->getType()->getIntegerBitWidth(), in getValueFromSimpleICmpCondition() local
1066 RHSRange = ConstantRange(CI->getValue()); in getValueFromSimpleICmpCondition()
1069 RHSRange = getConstantRangeFromMetadata(*Ranges); in getValueFromSimpleICmpCondition()
1072 ConstantRange::makeAllowedICmpRegion(Pred, RHSRange); in getValueFromSimpleICmpCondition()
H A DValueTracking.cpp4711 return mapOverflowResult(LHSRange.unsignedMulMayOverflow(RHSRange)); in computeOverflowForUnsignedMul()
4764 ConstantRange RHSRange = computeConstantRangeIncludingKnownBits( in computeOverflowForUnsignedAdd() local
4767 return mapOverflowResult(LHSRange.unsignedAddMayOverflow(RHSRange)); in computeOverflowForUnsignedAdd()
4801 ConstantRange RHSRange = computeConstantRangeIncludingKnownBits( in computeOverflowForSignedAdd() local
4804 mapOverflowResult(LHSRange.signedAddMayOverflow(RHSRange)); in computeOverflowForSignedAdd()
4818 (LHSRange.isAllNonNegative() || RHSRange.isAllNonNegative()); in computeOverflowForSignedAdd()
4820 (LHSRange.isAllNegative() || RHSRange.isAllNegative()); in computeOverflowForSignedAdd()
4851 ConstantRange RHSRange = computeConstantRangeIncludingKnownBits( in computeOverflowForUnsignedSub() local
4853 return mapOverflowResult(LHSRange.unsignedSubMayOverflow(RHSRange)); in computeOverflowForUnsignedSub()
4870 ConstantRange RHSRange = computeConstantRangeIncludingKnownBits( in computeOverflowForSignedSub() local
[all …]