Searched refs:Other_max (Results 1 – 3 of 3) sorted by relevance
710 APInt Other_max = Other.getUnsignedMax().zext(getBitWidth() * 2); in multiply() local713 this_max * Other_max + 1); in multiply()732 Other_max = Other.getSignedMax().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()
833 APInt Other_max = Other.getUnsignedMax().zext(getBitWidth() * 2); in multiply() local836 this_max * Other_max + 1); in multiply()856 Other_max = Other.getSignedMax().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()
559 APInt Other_max = Other.getUnsignedMax().zext(getBitWidth() * 2); in multiply() local562 this_max * Other_max + 1); in multiply()