Wanted: Floating-Point Add Round-off Error instruction

Marat Dukhan, Richard Vuduc, Jason Riedy

We propose a new instruction (FPADDRE) that computes the round-off error in floating-point addition. We explain how this instruction benefits high-precision arithmetic operations i…