Home
last modified time | relevance | path

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

/src/contrib/llvm-project/llvm/lib/Analysis/
H A DLazyValueInfo.cpp963 const ConstantRange &LHSRange = *LHSRes; in solveBlockValueCast() local
970 return ValueLatticeElement::getRange(LHSRange.castOp(CI->getOpcode(), in solveBlockValueCast()
991 const ConstantRange &LHSRange = *LHSRes; in solveBlockValueBinaryOpImpl() local
993 return ValueLatticeElement::getRange(OpFn(LHSRange, RHSRange)); in solveBlockValueBinaryOpImpl()
H A DValueTracking.cpp710 ConstantRange LHSRange = ConstantRange::makeAllowedICmpRegion(Pred, *C); in computeKnownBitsFromCmp() local
712 LHSRange = LHSRange.sub(*Offset); in computeKnownBitsFromCmp()
713 Known = Known.unionWith(LHSRange.toKnownBits()); in computeKnownBitsFromCmp()
6980 ConstantRange LHSRange = ConstantRange::fromKnownBits(LHSKnown, false); in computeOverflowForUnsignedMul() local
6982 return mapOverflowResult(LHSRange.unsignedMulMayOverflow(RHSRange)); in computeOverflowForUnsignedMul()
7028 ConstantRange LHSRange = in computeOverflowForUnsignedAdd() local
7032 return mapOverflowResult(LHSRange.unsignedAddMayOverflow(RHSRange)); in computeOverflowForUnsignedAdd()
7061 ConstantRange LHSRange = in computeOverflowForSignedAdd() local
7066 mapOverflowResult(LHSRange.signedAddMayOverflow(RHSRange)); in computeOverflowForSignedAdd()
7080 (LHSRange.isAllNonNegative() || RHSRange.isAllNonNegative()); in computeOverflowForSignedAdd()
[all …]
H A DScalarEvolution.cpp12658 ConstantRange LHSRange = FoundLHSRange.add(ConstantRange(*Addend)); in isImpliedCondOperandsViaRanges() local
12665 return LHSRange.icmp(Pred, ConstRHS); in isImpliedCondOperandsViaRanges()