1 /* fpu.h --- FPU emulator for stand-alone RX simulator.
3 Copyright (C) 2008-2024 Free Software Foundation, Inc.
4 Contributed by Red Hat, Inc.
6 This file is part of the GNU simulators.
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.
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.
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/>. */
21 typedef unsigned int fp_t
;
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
);