Blame soft-fp/addtf3.c

Packit Service 82fcde
/* Software floating-point emulation.
Packit Service 82fcde
   Return a + b
Packit Service 82fcde
   Copyright (C) 1997-2018 Free Software Foundation, Inc.
Packit Service 82fcde
   This file is part of the GNU C Library.
Packit Service 82fcde
   Contributed by Richard Henderson (rth@cygnus.com) and
Packit Service 82fcde
		  Jakub Jelinek (jj@ultra.linux.cz).
Packit Service 82fcde
Packit Service 82fcde
   The GNU C Library is free software; you can redistribute it and/or
Packit Service 82fcde
   modify it under the terms of the GNU Lesser General Public
Packit Service 82fcde
   License as published by the Free Software Foundation; either
Packit Service 82fcde
   version 2.1 of the License, or (at your option) any later version.
Packit Service 82fcde
Packit Service 82fcde
   In addition to the permissions in the GNU Lesser General Public
Packit Service 82fcde
   License, the Free Software Foundation gives you unlimited
Packit Service 82fcde
   permission to link the compiled version of this file into
Packit Service 82fcde
   combinations with other programs, and to distribute those
Packit Service 82fcde
   combinations without any restriction coming from the use of this
Packit Service 82fcde
   file.  (The Lesser General Public License restrictions do apply in
Packit Service 82fcde
   other respects; for example, they cover modification of the file,
Packit Service 82fcde
   and distribution when not linked into a combine executable.)
Packit Service 82fcde
Packit Service 82fcde
   The GNU C Library is distributed in the hope that it will be useful,
Packit Service 82fcde
   but WITHOUT ANY WARRANTY; without even the implied warranty of
Packit Service 82fcde
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
Packit Service 82fcde
   Lesser General Public License for more details.
Packit Service 82fcde
Packit Service 82fcde
   You should have received a copy of the GNU Lesser General Public
Packit Service 82fcde
   License along with the GNU C Library; if not, see
Packit Service 82fcde
   <http://www.gnu.org/licenses/>.  */
Packit Service 82fcde
Packit Service 82fcde
#include "soft-fp.h"
Packit Service 82fcde
#include "quad.h"
Packit Service 82fcde
Packit Service 82fcde
TFtype
Packit Service 82fcde
__addtf3 (TFtype a, TFtype b)
Packit Service 82fcde
{
Packit Service 82fcde
  FP_DECL_EX;
Packit Service 82fcde
  FP_DECL_Q (A);
Packit Service 82fcde
  FP_DECL_Q (B);
Packit Service 82fcde
  FP_DECL_Q (R);
Packit Service 82fcde
  TFtype r;
Packit Service 82fcde
Packit Service 82fcde
  FP_INIT_ROUNDMODE;
Packit Service 82fcde
  FP_UNPACK_SEMIRAW_Q (A, a);
Packit Service 82fcde
  FP_UNPACK_SEMIRAW_Q (B, b);
Packit Service 82fcde
  FP_ADD_Q (R, A, B);
Packit Service 82fcde
  FP_PACK_SEMIRAW_Q (r, R);
Packit Service 82fcde
  FP_HANDLE_EXCEPTIONS;
Packit Service 82fcde
Packit Service 82fcde
  return r;
Packit Service 82fcde
}