Commit | Line | Data |
---|---|---|
4f8d4a38 DD |
1 | /* fpu.h --- FPU emulator for stand-alone RX simulator. |
2 | ||
61baf725 | 3 | Copyright (C) 2008-2017 Free Software Foundation, Inc. |
4f8d4a38 DD |
4 | Contributed by Red Hat, Inc. |
5 | ||
6 | This file is part of the GNU simulators. | |
7 | ||
8 | This program is free software; you can redistribute it and/or modify | |
9 | it under the terms of the GNU General Public License as published by | |
10 | the Free Software Foundation; either version 3 of the License, or | |
11 | (at your option) any later version. | |
12 | ||
13 | This program is distributed in the hope that it will be useful, | |
14 | but WITHOUT ANY WARRANTY; without even the implied warranty of | |
15 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
16 | GNU General Public License for more details. | |
17 | ||
18 | You should have received a copy of the GNU General Public License | |
19 | along with this program. If not, see <http://www.gnu.org/licenses/>. */ | |
20 | ||
21 | typedef unsigned int fp_t; | |
22 | ||
23 | extern fp_t rxfp_add (fp_t fa, fp_t fb); | |
24 | extern fp_t rxfp_sub (fp_t fa, fp_t fb); | |
25 | extern fp_t rxfp_mul (fp_t fa, fp_t fb); | |
26 | extern fp_t rxfp_div (fp_t fa, fp_t fb); | |
27 | extern void rxfp_cmp (fp_t fa, fp_t fb); | |
28 | extern long rxfp_ftoi (fp_t fa, int round_mode); | |
29 | extern fp_t rxfp_itof (long fa, int round_mode); |