177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao/* This file is distributed under the University of Illinois Open Source 277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao * License. See LICENSE.TXT for details. 377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao */ 477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao#ifdef __x86_64__ 677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao#include <stdint.h> 877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liaofloat __floatdisf(int64_t a) 1077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ 1177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return (float)a; 1277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao} 1377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 1477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao#endif /* __x86_64__ */ 15