1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
// 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__