Searched refs:Result_zext (Results 1 – 1 of 1) sorted by relevance
593 ConstantRange Result_zext = ConstantRange(this_min * Other_min, in multiply() local595 return Result_zext.truncate(getBitWidth()); in multiply()