lib/builtins/x86_64/floatdisf.c

   1 /* This file is distributed under the University of Illinois Open Source
   2  * License. See LICENSE.TXT for details.
   3  */
   4
   5 #ifdef __x86_64__
   6
   7 #include "../int_lib.h"
   8
   9 float __floatdisf(int64_t a)
  10 {
  11         return (float)a;
  12 }
  13
  14 #endif /* __x86_64__ */