Searched refs:Other_max (Results 1 – 1 of 1) sorted by relevance
1105 APInt Other_max = Other.getUnsignedMax().zext(getBitWidth() * 2); in multiply() local1108 this_max * Other_max + 1); in multiply()1128 Other_max = Other.getSignedMax().sext(getBitWidth() * 2); in multiply()1130 auto L = {this_min * Other_min, this_min * Other_max, in multiply()1131 this_max * Other_min, this_max * Other_max}; in multiply()