| // This file is distributed under the University of Illinois Open Source | |
| // License. See LICENSE.TXT for details. | |
| // long double __floatdixf(di_int a); | |
| #ifdef __x86_64__ | |
| #include <stdint.h> | |
| long double __floatdixf(int64_t a) | |
| { | |
| return (long double)a; | |
| } | |
| #endif // __i386__ |