1 /* Target-dependent code for the i387.
2 
3    Copyright (C) 2000-2024 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 #ifndef I387_TDEP_H
21 #define I387_TDEP_H
22 
23 struct gdbarch;
24 class frame_info_ptr;
25 struct regcache;
26 struct type;
27 struct ui_file;
28 struct x86_xsave_layout;
29 
30 /* Number of i387 floating point registers.  */
31 #define I387_NUM_REGS         16
32 
33 #define I387_ST0_REGNUM(tdep) ((tdep)->st0_regnum)
34 #define I387_NUM_XMM_REGS(tdep) ((tdep)->num_xmm_regs)
35 #define I387_NUM_XMM_AVX512_REGS(tdep) ((tdep)->num_xmm_avx512_regs)
36 #define I387_MM0_REGNUM(tdep) ((tdep)->mm0_regnum)
37 #define I387_NUM_YMM_REGS(tdep) ((tdep)->num_ymm_regs)
38 #define I387_YMM0H_REGNUM(tdep) ((tdep)->ymm0h_regnum)
39 
40 #define I387_BND0R_REGNUM(tdep) ((tdep)->bnd0r_regnum)
41 #define I387_BNDCFGU_REGNUM(tdep) ((tdep)->bndcfgu_regnum)
42 
43 /* Set of constants used for 32 and 64-bit.  */
44 #define I387_NUM_MPX_REGS 6
45 #define I387_NUM_BND_REGS 4
46 #define I387_NUM_MPX_CTRL_REGS 2
47 #define I387_NUM_K_REGS 8
48 #define I387_NUM_PKEYS_REGS 1
49 
50 #define I387_PKRU_REGNUM(tdep) ((tdep)->pkru_regnum)
51 #define I387_K0_REGNUM(tdep) ((tdep)->k0_regnum)
52 #define I387_NUM_ZMMH_REGS(tdep) ((tdep)->num_zmm_regs)
53 #define I387_ZMM0H_REGNUM(tdep) ((tdep)->zmm0h_regnum)
54 #define I387_ZMM16H_REGNUM(tdep) ((tdep)->zmm0h_regnum + 16)
55 #define I387_NUM_YMM_AVX512_REGS(tdep) ((tdep)->num_ymm_avx512_regs)
56 #define I387_YMM16H_REGNUM(tdep) ((tdep)->ymm16h_regnum)
57 
58 #define I387_FCTRL_REGNUM(tdep) (I387_ST0_REGNUM (tdep) + 8)
59 #define I387_FSTAT_REGNUM(tdep) (I387_FCTRL_REGNUM (tdep) + 1)
60 #define I387_FTAG_REGNUM(tdep) (I387_FCTRL_REGNUM (tdep) + 2)
61 #define I387_FISEG_REGNUM(tdep) (I387_FCTRL_REGNUM (tdep) + 3)
62 #define I387_FIOFF_REGNUM(tdep) (I387_FCTRL_REGNUM (tdep) + 4)
63 #define I387_FOSEG_REGNUM(tdep) (I387_FCTRL_REGNUM (tdep) + 5)
64 #define I387_FOOFF_REGNUM(tdep) (I387_FCTRL_REGNUM (tdep) + 6)
65 #define I387_FOP_REGNUM(tdep) (I387_FCTRL_REGNUM (tdep) + 7)
66 #define I387_XMM0_REGNUM(tdep) (I387_ST0_REGNUM (tdep) + 16)
67 #define I387_XMM16_REGNUM(tdep) ((tdep)->xmm16_regnum)
68 #define I387_MXCSR_REGNUM(tdep) \
69   (I387_XMM0_REGNUM (tdep) + I387_NUM_XMM_REGS (tdep))
70 #define I387_YMM0_REGNUM(tdep) (I387_MXCSR_REGNUM(tdep) + 1)
71 #define I387_YMMENDH_REGNUM(tdep) \
72   (I387_YMM0H_REGNUM (tdep) + I387_NUM_YMM_REGS (tdep))
73 
74 #define I387_MPXEND_REGNUM(tdep) \
75   (I387_BND0R_REGNUM (tdep) + I387_NUM_MPX_REGS)
76 
77 #define I387_KEND_REGNUM(tdep) \
78   (I387_K0_REGNUM (tdep) + I387_NUM_K_REGS)
79 #define I387_ZMMENDH_REGNUM(tdep) \
80   (I387_ZMM0H_REGNUM (tdep) + I387_NUM_ZMMH_REGS (tdep))
81 #define I387_YMMH_AVX512_END_REGNUM(tdep) \
82   (I387_YMM16H_REGNUM (tdep) + I387_NUM_YMM_AVX512_REGS (tdep))
83 #define I387_XMM_AVX512_END_REGNUM(tdep) \
84   (I387_XMM16_REGNUM (tdep) + I387_NUM_XMM_AVX512_REGS (tdep))
85 
86 #define I387_PKEYSEND_REGNUM(tdep) \
87   (I387_PKRU_REGNUM (tdep) + I387_NUM_PKEYS_REGS)
88 
89 /* Print out the i387 floating point state.  */
90 
91 extern void i387_print_float_info (struct gdbarch *gdbarch,
92                                            struct ui_file *file,
93                                            const frame_info_ptr &frame,
94                                            const char *args);
95 
96 /* Return nonzero if a value of type TYPE stored in register REGNUM
97    needs any special handling.  */
98 
99 extern int i387_convert_register_p (struct gdbarch *gdbarch, int regnum,
100                                             struct type *type);
101 
102 /* Read a value of type TYPE from register REGNUM in frame FRAME, and
103    return its contents in TO.  */
104 
105 extern int i387_register_to_value (const frame_info_ptr &frame, int regnum,
106                                            struct type *type, gdb_byte *to,
107                                            int *optimizedp, int *unavailablep);
108 
109 /* Write the contents FROM of a value of type TYPE into register
110    REGNUM in frame FRAME.  */
111 
112 extern void i387_value_to_register (const frame_info_ptr &frame, int regnum,
113                                             struct type *type, const gdb_byte *from);
114 
115 
116 /* Size of the memory area use by the 'fsave' and 'fxsave'
117    instructions.  */
118 #define I387_SIZEOF_FSAVE     108
119 #define I387_SIZEOF_FXSAVE    512
120 
121 /* Fill register REGNUM in REGCACHE with the appropriate value from
122    *FSAVE.  This function masks off any of the reserved bits in
123    *FSAVE.  */
124 
125 extern void i387_supply_fsave (struct regcache *regcache, int regnum,
126                                      const void *fsave);
127 
128 /* Fill register REGNUM (if it is a floating-point register) in *FSAVE
129    with the value from REGCACHE.  If REGNUM is -1, do this for all
130    registers.  This function doesn't touch any of the reserved bits in
131    *FSAVE.  */
132 
133 extern void i387_collect_fsave (const struct regcache *regcache, int regnum,
134                                         void *fsave);
135 
136 /* Fill register REGNUM in REGCACHE with the appropriate
137    floating-point or SSE register value from *FXSAVE.  This function
138    masks off any of the reserved bits in *FXSAVE.  */
139 
140 extern void i387_supply_fxsave (struct regcache *regcache, int regnum,
141                                         const void *fxsave);
142 
143 /* Select an XSAVE layout based on the XCR0 bitmask and total XSAVE
144    extended state size.  Returns true if the bitmask and size matched
145    a known layout.  */
146 
147 extern bool i387_guess_xsave_layout (uint64_t xcr0, size_t xsave_size,
148                                              x86_xsave_layout &layout);
149 
150 /* Compute an XSAVE layout based on the XCR0 bitmask.  This is used
151    as a fallback if a target does not provide an XSAVE layout.  */
152 
153 extern x86_xsave_layout i387_fallback_xsave_layout (uint64_t xcr0);
154 
155 /* Similar to i387_supply_fxsave, but use XSAVE extended state.  */
156 
157 extern void i387_supply_xsave (struct regcache *regcache, int regnum,
158                                      const void *xsave);
159 
160 /* Fill register REGNUM (if it is a floating-point or SSE register) in
161    *FXSAVE with the value from REGCACHE.  If REGNUM is -1, do this for
162    all registers.  This function doesn't touch any of the reserved
163    bits in *FXSAVE.  */
164 
165 extern void i387_collect_fxsave (const struct regcache *regcache, int regnum,
166                                          void *fxsave);
167 
168 /* Similar to i387_collect_fxsave, but use XSAVE extended state.  */
169 
170 extern void i387_collect_xsave (const struct regcache *regcache,
171                                         int regnum, void *xsave, int gcore);
172 
173 /* Extract a bitset from XSAVE indicating which features are available in
174    the inferior, but not yet initialised.  */
175 
176 extern ULONGEST i387_xsave_get_clear_bv (struct gdbarch *gdbarch,
177                                                    const void *xsave);
178 
179 /* Prepare the FPU stack in REGCACHE for a function return.  */
180 
181 extern void i387_return_value (struct gdbarch *gdbarch,
182                                      struct regcache *regcache);
183 
184 /* Set all bnd registers to the INIT state.  INIT state means
185    all memory range can be accessed.  */
186 extern void i387_reset_bnd_regs (struct gdbarch *gdbarch,
187                                          struct regcache *regcache);
188 #endif /* i387-tdep.h */
189