Lines Matching refs:LHSRange
1041 ConstantRange LHSRange = ConstantRange(OperandBitWidth); in solveBlockValueCast() local
1046 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() local
1123 LHSRange = LHSVal.getConstantRange(); in solveBlockValueBinaryOp()
1135 Result.markConstantRange(LHSRange.add(RHSRange)); in solveBlockValueBinaryOp()
1138 Result.markConstantRange(LHSRange.sub(RHSRange)); in solveBlockValueBinaryOp()
1141 Result.markConstantRange(LHSRange.multiply(RHSRange)); in solveBlockValueBinaryOp()
1144 Result.markConstantRange(LHSRange.udiv(RHSRange)); in solveBlockValueBinaryOp()
1147 Result.markConstantRange(LHSRange.shl(RHSRange)); in solveBlockValueBinaryOp()
1150 Result.markConstantRange(LHSRange.lshr(RHSRange)); in solveBlockValueBinaryOp()
1153 Result.markConstantRange(LHSRange.binaryAnd(RHSRange)); in solveBlockValueBinaryOp()
1156 Result.markConstantRange(LHSRange.binaryOr(RHSRange)); in solveBlockValueBinaryOp()