Searched refs:Result_zext (Results 1 – 3 of 3) sorted by relevance
561 ConstantRange Result_zext = ConstantRange(this_min * Other_min, in multiply() local563 return Result_zext.truncate(getBitWidth()); in multiply()
712 ConstantRange Result_zext = ConstantRange(this_min * Other_min, in multiply() local714 ConstantRange UR = Result_zext.truncate(getBitWidth()); in multiply()
835 ConstantRange Result_zext = ConstantRange(this_min * Other_min, in multiply() local837 ConstantRange UR = Result_zext.truncate(getBitWidth()); in multiply()