An Efficient Software Implementation of Correctly Rounded Operations Extending FMA: a plus b plus c and a x b plus c x d

被引:0
|
作者
Lauter, Christoph [1 ]
机构
[1] UPMC Univ Paris 06, Sorbonne Univ, LIP6, UMR 7606, F-75005 Paris, France
关键词
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
In its 2008 revision, the IEEE754 Standard for Floating-Point Arithmetic added the Fused-Multiply-And-Add (FMA) operation, computing a x b + c without intermediate rounding. This operation enables faster scalar products and doubled-precision arithmetic. The IEEE754 Standard is again undergoing revision. We propose an efficient software implementation of two additional operations: Fused-Multiply-Twice-And-Add, a x b + c x d and Fused-Add-Add a + b + c. Our implementation guarantees correct rounding in all rounding modes and IEEE754 compliant signaling. Although intended for reference purposes, with a 94 resp. 104 cycle latency, our software implementations are pretty fast.
引用
收藏
页码:452 / 456
页数:5
相关论文
共 50 条
  • [21] Remarks on subrings of C(X) of the form I plus C* (X)
    Aliabad, A. R.
    Parsinia, M.
    [J]. QUAESTIONES MATHEMATICAE, 2017, 40 (01) : 63 - 73
  • [22] Implementation of NETCONF Client in C plus plus Programming Language for Software Defined Networks
    Popic, Srdan
    Krnjajic, Tijana
    Doslic, Sretenka
    Todorovic, Branislav M.
    [J]. 2019 27TH TELECOMMUNICATIONS FORUM (TELFOR 2019), 2019, : 205 - 208
  • [23] x86-64 Instruction Usage among C/C plus plus Applications
    Akshintala, Amogh
    Jain, Bhushan
    Tsai, Chia-Che
    Ferdman, Michael
    Porter, Donald E.
    [J]. SYSTOR '19: PROCEEDINGS OF THE 12TH ACM INTERNATIONAL SYSTEMS AND STORAGE CONFERENCE, 2019, : 68 - 79
  • [24] Modification on the convergence results of the Sylvester matrix equation AX plus X B = C
    Chen, Zebin
    Chen, Xuesong
    [J]. JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 2022, 359 (07): : 3126 - 3147
  • [25] On the Sylvester-like matrix equation AX plus f (X)B = C
    Chiang, Chun-Yueh
    [J]. JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 2016, 353 (05): : 1061 - 1074
  • [26] Numerical solution of matrix equations of the form X plus AX T B = C
    Vorontsov, Yu. O.
    Ikramov, Khakim D.
    [J]. COMPUTATIONAL MATHEMATICS AND MATHEMATICAL PHYSICS, 2013, 53 (03) : 253 - 257
  • [27] The iterative methods for solving nonlinear matrix equation X plus A☆X-1A plus B☆X-1B = Q
    Vaezzadeh, Sarah
    Vaezpour, Seyyed Mansour
    Saadati, Reza
    Park, Choonkil
    [J]. ADVANCES IN DIFFERENCE EQUATIONS, 2013,
  • [28] On the solutions of the quaternion interval systems [x] = [A][x] plus [b]
    Bolat, Cennet
    Ipek, Ahmet
    [J]. APPLIED MATHEMATICS AND COMPUTATION, 2014, 244 : 375 - 381
  • [29] On the size of solutions of the inequality φ(αx plus b) < φ(αx)
    te Riele, H
    [J]. PUBLIC-KEY CRYPTOGRAPHY AND COMPUTATIONAL NUMBER THEORY, 2001, : 249 - 255
  • [30] Explicit solution of the operator equation A*X plus X*A =B☆
    Djordjevic, Dragan S.
    [J]. JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 2007, 200 (02) : 701 - 704