Searched refs:Other_min (Results 1 – 3 of 3) sorted by relevance
709 APInt Other_min = Other.getUnsignedMin().zext(getBitWidth() * 2); in multiply() local712 ConstantRange Result_zext = ConstantRange(this_min * Other_min, in multiply()731 Other_min = Other.getSignedMin().sext(getBitWidth() * 2); in multiply()734 auto L = {this_min * Other_min, this_min * Other_max, in multiply()735 this_max * Other_min, this_max * Other_max}; in multiply()
832 APInt Other_min = Other.getUnsignedMin().zext(getBitWidth() * 2); in multiply() local835 ConstantRange Result_zext = ConstantRange(this_min * Other_min, in multiply()855 Other_min = Other.getSignedMin().sext(getBitWidth() * 2); in multiply()858 auto L = {this_min * Other_min, this_min * Other_max, in multiply()859 this_max * Other_min, this_max * Other_max}; in multiply()
558 APInt Other_min = Other.getUnsignedMin().zext(getBitWidth() * 2); in multiply() local561 ConstantRange Result_zext = ConstantRange(this_min * Other_min, in multiply()