Searched refs:LHSRange (Results 1 – 7 of 7) sorted by relevance
729 ConstantRange LHSRange = LHSVal.getConstantRange(); in solveBlockValueConstantRange() local747 Result.markConstantRange(LHSRange.add(RHSRange)); in solveBlockValueConstantRange()750 Result.markConstantRange(LHSRange.sub(RHSRange)); in solveBlockValueConstantRange()753 Result.markConstantRange(LHSRange.multiply(RHSRange)); in solveBlockValueConstantRange()756 Result.markConstantRange(LHSRange.udiv(RHSRange)); in solveBlockValueConstantRange()759 Result.markConstantRange(LHSRange.shl(RHSRange)); in solveBlockValueConstantRange()762 Result.markConstantRange(LHSRange.lshr(RHSRange)); in solveBlockValueConstantRange()765 Result.markConstantRange(LHSRange.truncate(ResultTy->getBitWidth())); in solveBlockValueConstantRange()768 Result.markConstantRange(LHSRange.signExtend(ResultTy->getBitWidth())); in solveBlockValueConstantRange()771 Result.markConstantRange(LHSRange.zeroExtend(ResultTy->getBitWidth())); in solveBlockValueConstantRange()[all …]
5752 ConstantRange LHSRange = getSignedRange(LHS); in isKnownPredicateWithRanges() local5754 if (LHSRange.getSignedMax().slt(RHSRange.getSignedMin())) in isKnownPredicateWithRanges()5756 if (LHSRange.getSignedMin().sge(RHSRange.getSignedMax())) in isKnownPredicateWithRanges()5764 ConstantRange LHSRange = getSignedRange(LHS); in isKnownPredicateWithRanges() local5766 if (LHSRange.getSignedMax().sle(RHSRange.getSignedMin())) in isKnownPredicateWithRanges()5768 if (LHSRange.getSignedMin().sgt(RHSRange.getSignedMax())) in isKnownPredicateWithRanges()5776 ConstantRange LHSRange = getUnsignedRange(LHS); in isKnownPredicateWithRanges() local5778 if (LHSRange.getUnsignedMax().ult(RHSRange.getUnsignedMin())) in isKnownPredicateWithRanges()5780 if (LHSRange.getUnsignedMin().uge(RHSRange.getUnsignedMax())) in isKnownPredicateWithRanges()5788 ConstantRange LHSRange = getUnsignedRange(LHS); in isKnownPredicateWithRanges() local[all …]
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()
991 ConstantRange LHSRange = ConstantRange(OperandBitWidth); in solveBlockValueCast() local997 LHSRange = LHSVal.getConstantRange(); in solveBlockValueCast()1005 BBLV = ValueLatticeElement::getRange(LHSRange.castOp(CI->getOpcode(), in solveBlockValueCast()1050 ConstantRange LHSRange = ConstantRange(OperandBitWidth); in solveBlockValueBinaryOp() local1056 LHSRange = LHSVal.getConstantRange(); in solveBlockValueBinaryOp()1066 BBLV = ValueLatticeElement::getRange(LHSRange.binaryOp(BinOp, RHSRange)); in solveBlockValueBinaryOp()
10175 ConstantRange LHSRange = FoundLHSRange.add(ConstantRange(*Addend)); in isImpliedCondOperandsViaRanges() local10185 return SatisfyingLHSRange.contains(LHSRange); in isImpliedCondOperandsViaRanges()
822 ConstantRange LHSRange = in FoldAndOfICmps() local827 if (LHSRange.intersectWith(RHSRange).isEmptySet()) in FoldAndOfICmps()