xref: /netbsd-src/external/gpl3/gdb.old/dist/sim/rx/fpu.h (revision 8b657b0747480f8989760d71343d6dd33f8d4cf9)
1 /* fpu.h --- FPU emulator for stand-alone RX simulator.
2 
3 Copyright (C) 2008-2023 Free Software Foundation, Inc.
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);
30