diff options
Diffstat (limited to 'lib/builtins/x86_64/floatdisf.c')
| -rw-r--r-- | lib/builtins/x86_64/floatdisf.c | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/lib/builtins/x86_64/floatdisf.c b/lib/builtins/x86_64/floatdisf.c new file mode 100644 index 000000000000..96c3728e92c3 --- /dev/null +++ b/lib/builtins/x86_64/floatdisf.c @@ -0,0 +1,14 @@ +/* This file is distributed under the University of Illinois Open Source + * License. See LICENSE.TXT for details. + */ + +#ifdef __x86_64__ + +#include "../int_lib.h" + +float __floatdisf(int64_t a) +{ + return (float)a; +} + +#endif /* __x86_64__ */ |