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 条
  • [41] Normality conditions for the matrix operator X → AX plus X* B
    Ikramov, Kh. D.
    [J]. CALCOLO, 2015, 52 (04) : 495 - 502
  • [42] The solution of the equation AX plus X☆B=0
    De Teran, Fernando
    Dopico, Froilan M.
    Guillery, Nathan
    Montealegre, Daniel
    Reyes, Nicolas
    [J]. LINEAR ALGEBRA AND ITS APPLICATIONS, 2013, 438 (07) : 2817 - 2860
  • [43] The Hermitian Positive Definite Solution of a Type of Nonlinear Matrix Equations X plus A*X-1A plus B*X-2B = I
    Liu, Xueting
    Li, Hongkui
    Song, Desheng
    [J]. ACC 2009: ETP/IITA WORLD CONGRESS IN APPLIED COMPUTING, COMPUTER SCIENCE, AND COMPUTER ENGINEERING, 2009, : 64 - 67
  • [44] Fuzzy linear systems of the form A1x plus b1 = A2x plus b2
    Muzzioli, S
    Reynaerts, H
    [J]. FUZZY SETS AND SYSTEMS, 2006, 157 (07) : 939 - 951
  • [45] On the matrix equation X = Q plus A*(Im ⊗ X - C)rA
    Yao, Guozhu
    Liao, Anping
    Duan, Xuefeng
    [J]. PROCEEDINGS OF THE THIRD INTERNATIONAL WORKSHOP ON MATRIX ANALYSIS AND APPLICATIONS, VOL 3, 2009, : 106 - 110
  • [46] ON SUBRINGS OF THE FORM I plus R OF C(X)
    Azarpanah, F.
    Namdari, M.
    Olfati, A. R.
    [J]. JOURNAL OF COMMUTATIVE ALGEBRA, 2019, 11 (04) : 479 - 509
  • [47] Research on Efficient Software Development Pattern Based on C plus plus and Heterogeneous Parallel Programming Technique
    Geng, Jiangtao
    Xiong, Xiaobo
    [J]. INTERNATIONAL CONFERENCE ON SOCIAL SCIENCE, MANAGEMENT AND ECONOMICS (SSME 2015), 2015, : 348 - 352
  • [48] Consistency of Split Quaternion Matrix Equations AX☆-XB=CY plus D and X-AX☆B=CY plus D
    Liu, Xin
    Zhang, Yang
    [J]. ADVANCES IN APPLIED CLIFFORD ALGEBRAS, 2019, 29 (04)
  • [49] Counting smooth solutions to the equation A plus B=C
    Lagarias, J. C.
    Soundararajan, K.
    [J]. PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY, 2012, 104 : 770 - 798
  • [50] Laser-Induced Reactions in Layers of B4C + Fe and B plus C plus Fe Mixtures on a Steel Substrate
    Lomovsky, O. I.
    Golubkova, G. V.
    Bulina, N. V.
    Yadroitsev, I.
    Smurov, I.
    [J]. INORGANIC MATERIALS, 2013, 49 (06) : 564 - 567