Home
last modified time | relevance | path

Searched refs:LHSRange (Results 1 – 3 of 3) sorted by relevance

/freebsd/contrib/llvm-project/llvm/lib/Analysis/
H A DLazyValueInfo.cpp923 const ConstantRange &LHSRange = *LHSRes; in solveBlockValueCast() local
930 return ValueLatticeElement::getRange(LHSRange.castOp(CI->getOpcode(), in solveBlockValueCast()
998 const ConstantRange &LHSRange = *LHSRes; in solveBlockValueBinaryOpImpl() local
1000 return ValueLatticeElement::getRange(OpFn(LHSRange, RHSRange)); in solveBlockValueBinaryOpImpl()
H A DValueTracking.cpp754 ConstantRange LHSRange = ConstantRange::makeAllowedICmpRegion(Pred, *C); in computeKnownBitsFromCmp() local
756 LHSRange = LHSRange.sub(*Offset); in computeKnownBitsFromCmp()
757 Known = Known.unionWith(LHSRange.toKnownBits()); in computeKnownBitsFromCmp()
7095 ConstantRange LHSRange = ConstantRange::fromKnownBits(LHSKnown, false); in computeOverflowForUnsignedMul() local
7097 return mapOverflowResult(LHSRange.unsignedMulMayOverflow(RHSRange)); in computeOverflowForUnsignedMul()
7143 ConstantRange LHSRange = in computeOverflowForUnsignedAdd() local
7147 return mapOverflowResult(LHSRange.unsignedAddMayOverflow(RHSRange)); in computeOverflowForUnsignedAdd()
7175 ConstantRange LHSRange = in computeOverflowForSignedAdd() local
7180 mapOverflowResult(LHSRange.signedAddMayOverflow(RHSRange)); in computeOverflowForSignedAdd()
7194 (LHSRange.isAllNonNegative() || RHSRange.isAllNonNegative()); in computeOverflowForSignedAdd()
[all …]
H A DScalarEvolution.cpp12841 ConstantRange LHSRange = FoundLHSRange.add(ConstantRange(*Addend)); in isImpliedCondOperandsViaRanges() local
12848 return LHSRange.icmp(Pred, ConstRHS); in isImpliedCondOperandsViaRanges()