/* Software floating-point emulation.

   Convert a 64bit unsigned integer to IEEE double

   Copyright (C) 1997-2018 Free Software Foundation, Inc.

   This file is part of the GNU C Library.

   Contributed by Richard Henderson (rth@cygnus.com) and

		  Jakub Jelinek (jj@ultra.linux.cz).

   The GNU C Library is free software; you can redistribute it and/or

   modify it under the terms of the GNU Lesser General Public

   License as published by the Free Software Foundation; either

   version 2.1 of the License, or (at your option) any later version.

   In addition to the permissions in the GNU Lesser General Public

   License, the Free Software Foundation gives you unlimited

   permission to link the compiled version of this file into

   combinations with other programs, and to distribute those

   combinations without any restriction coming from the use of this

   file.  (The Lesser General Public License restrictions do apply in

   other respects; for example, they cover modification of the file,

   and distribution when not linked into a combine executable.)

   The GNU C Library is distributed in the hope that it will be useful,

   but WITHOUT ANY WARRANTY; without even the implied warranty of

   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU

   Lesser General Public License for more details.

   You should have received a copy of the GNU Lesser General Public

   License along with the GNU C Library; if not, see

   <http://www.gnu.org/licenses/>.  */

#include "soft-fp.h"

#include "double.h"

DFtype

__floatundidf (UDItype i)

{

  FP_DECL_EX;

  FP_DECL_D (A);

  DFtype a;

  FP_INIT_ROUNDMODE;

  FP_FROM_INT_D (A, i, DI_BITS, UDItype);

  FP_PACK_RAW_D (a, A);

  FP_HANDLE_EXCEPTIONS;

  return a;

}