Searched refs:Other_min (Results 1 – 1 of 1) sorted by relevance
952 APInt Other_min = Other.getUnsignedMin().zext(getBitWidth() * 2); in multiply() local955 ConstantRange Result_zext = ConstantRange(this_min * Other_min, in multiply()975 Other_min = Other.getSignedMin().sext(getBitWidth() * 2); in multiply()978 auto L = {this_min * Other_min, this_min * Other_max, in multiply()979 this_max * Other_min, this_max * Other_max}; in multiply()1357 APInt Other_min = Other.getSignedMin().sext(getBitWidth() * 2); in smul_sat() local1360 auto L = {this_min * Other_min, this_min * Other_max, this_max * Other_min, in smul_sat()