Lines Matching refs:rounded

6156 #	rounded to double precision. The result is provably monotonic	#
6707 #	rounded to double precision. The result is provably monotonic	#
7039 #		rounded to 62 bits so that the last two bits of T are	#
9312 #	    rounded to the mode and precision specified in d0.		#
9319 #	fp0 = the ROM constant rounded to the user's rounding mode,prec	#
9479 	fmovm.x		(%a0),&0x80		# return rounded result in fp0
11655 # - if overflow or inexact is enabled, we need a multiply result rounded to
11697 # calculate a result rounded to extended precision.
11766 # - if overflow or inexact is enabled, we need a multiply result rounded to
13533 # operand is to be rounded to single precision
13576 # operand is to be rounded to double precision
13614 # Therefore, we must return the result rounded to extended precision.
14502 # we don't know if the result was an underflow that rounded up to a 1
14503 # or a normalized number that rounded down to a 1. so, redo the entire
14504 # operation using RZ as the rounding mode to see what the pre-rounded
14841 # underflow that rounded up.
14863 # now, we must determine whether the pre-rounded result was an underflow
14864 # rounded "up" or a normalized number rounded "down".
15294 # underflow that rounded up.
15316 # now, we must determine whether the pre-rounded result was an underflow
15317 # rounded "up" or a normalized number rounded "down".
15696 # Therefore, we must return the result rounded to extended precision.