Searched refs:Other_max (Results 1 – 1 of 1) sorted by relevance
591 APInt Other_max = Other.getUnsignedMax().zext(getBitWidth() * 2); in multiply() local594 this_max * Other_max + 1); in multiply()