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