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