<p>We present algorithms that allow one to emulate the fused multiply-add (FMA) instruction and the correctly-rounded sum of three numbers (ADD3) in binary floating-point arithmetic, using only rounding-to-nearest floating-point additions, multiplications, and comparisons. We then introduce variants of these algorithms that make it possible to compute the error of an ADD3 or FMA operation.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Emulation of the FMA and the correctly-rounded sum of three numbers in rounding-to-nearest floating-point arithmetic

  • Stef Graillat,
  • Jean-Michel Muller

摘要

We present algorithms that allow one to emulate the fused multiply-add (FMA) instruction and the correctly-rounded sum of three numbers (ADD3) in binary floating-point arithmetic, using only rounding-to-nearest floating-point additions, multiplications, and comparisons. We then introduce variants of these algorithms that make it possible to compute the error of an ADD3 or FMA operation.