Searched refs:LHSRange (Results 1 – 9 of 9) sorted by relevance
1041 ConstantRange LHSRange = ConstantRange(OperandBitWidth); in solveBlockValueCast() local1046 LHSRange = LHSVal.getConstantRange(); in solveBlockValueCast()1058 Result.markConstantRange(LHSRange.truncate(ResultBitWidth)); in solveBlockValueCast()1061 Result.markConstantRange(LHSRange.signExtend(ResultBitWidth)); in solveBlockValueCast()1064 Result.markConstantRange(LHSRange.zeroExtend(ResultBitWidth)); in solveBlockValueCast()1067 Result.markConstantRange(LHSRange); in solveBlockValueCast()1118 ConstantRange LHSRange = ConstantRange(OperandBitWidth); in solveBlockValueBinaryOp() local1123 LHSRange = LHSVal.getConstantRange(); in solveBlockValueBinaryOp()1135 Result.markConstantRange(LHSRange.add(RHSRange)); in solveBlockValueBinaryOp()1138 Result.markConstantRange(LHSRange.sub(RHSRange)); in solveBlockValueBinaryOp()[all …]
8564 ConstantRange LHSRange = FoundLHSRange.add(ConstantRange(Addend)); in isImpliedCondOperandsViaRanges() local8574 return SatisfyingLHSRange.contains(LHSRange); in isImpliedCondOperandsViaRanges()
4182 ConstantRange LHSRange = ConstantRange::fromKnownBits(LHSKnown, false); in computeOverflowForUnsignedMul() local4184 return mapOverflowResult(LHSRange.unsignedMulMayOverflow(RHSRange)); in computeOverflowForUnsignedMul()4234 ConstantRange LHSRange = computeConstantRangeIncludingKnownBits( in computeOverflowForUnsignedAdd() local4240 return mapOverflowResult(LHSRange.unsignedAddMayOverflow(RHSRange)); in computeOverflowForUnsignedAdd()4272 ConstantRange LHSRange = computeConstantRangeIncludingKnownBits( in computeOverflowForSignedAdd() local4277 mapOverflowResult(LHSRange.signedAddMayOverflow(RHSRange)); in computeOverflowForSignedAdd()4291 (LHSRange.isAllNonNegative() || RHSRange.isAllNonNegative()); in computeOverflowForSignedAdd()4293 (LHSRange.isAllNegative() || RHSRange.isAllNegative()); in computeOverflowForSignedAdd()4295 KnownBits AddKnown(LHSRange.getBitWidth()); in computeOverflowForSignedAdd()4312 ConstantRange LHSRange = computeConstantRangeIncludingKnownBits( in computeOverflowForUnsignedSub() local[all …]
1053 ConstantRange LHSRange = LHSRes.getValue(); in solveBlockValueCast() local1060 BBLV = ValueLatticeElement::getRange(LHSRange.castOp(CI->getOpcode(), in solveBlockValueCast()1079 ConstantRange LHSRange = LHSRes.getValue(); in solveBlockValueBinaryOpImpl() local1081 BBLV = ValueLatticeElement::getRange(OpFn(LHSRange, RHSRange)); in solveBlockValueBinaryOpImpl()
10529 ConstantRange LHSRange = FoundLHSRange.add(ConstantRange(*Addend)); in isImpliedCondOperandsViaRanges() local10539 return SatisfyingLHSRange.contains(LHSRange); in isImpliedCondOperandsViaRanges()
971 const ConstantRange &LHSRange = LHSRes.getValue(); in solveBlockValueCast() local978 return ValueLatticeElement::getRange(LHSRange.castOp(CI->getOpcode(), in solveBlockValueCast()996 const ConstantRange &LHSRange = LHSRes.getValue(); in solveBlockValueBinaryOpImpl() local998 return ValueLatticeElement::getRange(OpFn(LHSRange, RHSRange)); in solveBlockValueBinaryOpImpl()
4492 ConstantRange LHSRange = ConstantRange::fromKnownBits(LHSKnown, false); in computeOverflowForUnsignedMul() local4494 return mapOverflowResult(LHSRange.unsignedMulMayOverflow(RHSRange)); in computeOverflowForUnsignedMul()4544 ConstantRange LHSRange = computeConstantRangeIncludingKnownBits( in computeOverflowForUnsignedAdd() local4550 return mapOverflowResult(LHSRange.unsignedAddMayOverflow(RHSRange)); in computeOverflowForUnsignedAdd()4582 ConstantRange LHSRange = computeConstantRangeIncludingKnownBits( in computeOverflowForSignedAdd() local4587 mapOverflowResult(LHSRange.signedAddMayOverflow(RHSRange)); in computeOverflowForSignedAdd()4601 (LHSRange.isAllNonNegative() || RHSRange.isAllNonNegative()); in computeOverflowForSignedAdd()4603 (LHSRange.isAllNegative() || RHSRange.isAllNegative()); in computeOverflowForSignedAdd()4605 KnownBits AddKnown(LHSRange.getBitWidth()); in computeOverflowForSignedAdd()4632 ConstantRange LHSRange = computeConstantRangeIncludingKnownBits( in computeOverflowForUnsignedSub() local[all …]
10987 ConstantRange LHSRange = FoundLHSRange.add(ConstantRange(*Addend)); in isImpliedCondOperandsViaRanges() local10997 return SatisfyingLHSRange.contains(LHSRange); in isImpliedCondOperandsViaRanges()
270 SectionRange LHSRange(*LHS); in dumpSectionContents() local272 return LHSRange.getStart() < RHSRange.getStart(); in dumpSectionContents()