Issue No. 08 - August (2004 vol. 53)

ISSN: 0018-9340

pp: 1069-1072

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TC.2004.37

Jean-Michel Muller , IEEE

ABSTRACT

<p><b>Abstract</b>—We present techniques for accelerating the floating-point computation of <tmath>x/y</tmath> when <tmath>y</tmath> is known before <tmath>x</tmath>. The proposed algorithms are oriented toward architectures with available fused-mac operations. The goal is to get exactly the same result as with usual division with rounding to nearest. It is known that the advanced computation of <tmath>1/y</tmath> allows performing correctly rounded division in one multiplication plus two fused-macs. We show algorithms that reduce this latency to one multiplication and one fused-mac. This is achieved if a precision of at least <tmath>n+1</tmath> bits is available, where <tmath>n</tmath> is the number of mantissa bits in the target format, or if <tmath>y</tmath> satisfies some properties that can be easily checked at compile-time. This requires a double-word approximation of <tmath>1/y</tmath> (we also show how to get it). These techniques can be used by compilers to accelerate some numerical programs without loss of accuracy.</p>

INDEX TERMS

Computer arithmetic, floating-point arithmetic, division by software, division with fused-mac, compilation optimization.

CITATION

Jean-Michel Muller, Saurabh Kumar Raina, Nicolas Brisebarre, "Accelerating Correctly Rounded Floating-Point Division when the Divisor Is Known in Advance",

*IEEE Transactions on Computers*, vol. 53, no. , pp. 1069-1072, August 2004, doi:10.1109/TC.2004.37