Home | History | Annotate | Download | only in x86_64
      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 <stdint.h>
      8 
      9 float __floatdisf(int64_t a)
     10 {
     11 	return (float)a;
     12 }
     13 
     14 #endif /* __x86_64__ */
     15