Commit | Line | Data |
---|---|---|
70100014 UW |
1 | /* Floating point routines for GDB, the GNU debugger. |
2 | ||
3 | Copyright (C) 2017 Free Software Foundation, Inc. | |
4 | ||
5 | This file is part of GDB. | |
6 | ||
7 | This program is free software; you can redistribute it and/or modify | |
8 | it under the terms of the GNU General Public License as published by | |
9 | the Free Software Foundation; either version 3 of the License, or | |
10 | (at your option) any later version. | |
11 | ||
12 | This program is distributed in the hope that it will be useful, | |
13 | but WITHOUT ANY WARRANTY; without even the implied warranty of | |
14 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
15 | GNU General Public License for more details. | |
16 | ||
17 | You should have received a copy of the GNU General Public License | |
18 | along with this program. If not, see <http://www.gnu.org/licenses/>. */ | |
19 | ||
20 | #include "defs.h" | |
21 | #include "dfp.h" | |
22 | #include "doublest.h" | |
23 | #include "gdbtypes.h" | |
24 | #include "floatformat.h" | |
25 | #include "target-float.h" | |
26 | ||
27 | ||
28 | /* Typed floating-point routines. These routines operate on floating-point | |
29 | values in target format, represented by a byte buffer interpreted as a | |
30 | "struct type", which may be either a binary or decimal floating-point | |
31 | type (TYPE_CODE_FLT or TYPE_CODE_DECFLOAT). */ | |
32 | ||
33 | /* Return whether the byte-stream ADDR holds a valid value of | |
34 | floating-point type TYPE. */ | |
35 | bool | |
36 | target_float_is_valid (const gdb_byte *addr, const struct type *type) | |
37 | { | |
38 | if (TYPE_CODE (type) == TYPE_CODE_FLT) | |
39 | return floatformat_is_valid (floatformat_from_type (type), addr); | |
40 | ||
41 | if (TYPE_CODE (type) == TYPE_CODE_DECFLOAT) | |
42 | return true; | |
43 | ||
44 | gdb_assert_not_reached ("unexpected type code"); | |
45 | } | |
46 | ||
47 | /* Return whether the byte-stream ADDR, interpreted as floating-point | |
48 | type TYPE, is numerically equal to zero (of either sign). */ | |
49 | bool | |
50 | target_float_is_zero (const gdb_byte *addr, const struct type *type) | |
51 | { | |
52 | if (TYPE_CODE (type) == TYPE_CODE_FLT) | |
53 | return (floatformat_classify (floatformat_from_type (type), addr) | |
54 | == float_zero); | |
55 | ||
56 | if (TYPE_CODE (type) == TYPE_CODE_DECFLOAT) | |
57 | return decimal_is_zero (addr, TYPE_LENGTH (type), | |
58 | gdbarch_byte_order (get_type_arch (type))); | |
59 | ||
60 | gdb_assert_not_reached ("unexpected type code"); | |
61 | } | |
62 |