gdb/i387-tdep.h

   1 /* Target-dependent code for the i387.
   2
   3    Copyright (C) 2000-2023 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                                    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 (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 (frame_info_ptr frame, int regnum,
 113                                     struct type *type, const gdb_byte *from);
 114 \f
 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 /* Similar to i387_supply_fxsave, but use XSAVE extended state.  */
 151
 152 extern void i387_supply_xsave (struct regcache *regcache, int regnum,
 153                                const void *xsave);
 154
 155 /* Fill register REGNUM (if it is a floating-point or SSE register) in
 156    *FXSAVE with the value from REGCACHE.  If REGNUM is -1, do this for
 157    all registers.  This function doesn't touch any of the reserved
 158    bits in *FXSAVE.  */
 159
 160 extern void i387_collect_fxsave (const struct regcache *regcache, int regnum,
 161                                  void *fxsave);
 162
 163 /* Similar to i387_collect_fxsave, but use XSAVE extended state.  */
 164
 165 extern void i387_collect_xsave (const struct regcache *regcache,
 166                                 int regnum, void *xsave, int gcore);
 167
 168 /* Extract a bitset from XSAVE indicating which features are available in
 169    the inferior, but not yet initialised.  */
 170
 171 extern ULONGEST i387_xsave_get_clear_bv (struct gdbarch *gdbarch,
 172                                          const void *xsave);
 173
 174 /* Prepare the FPU stack in REGCACHE for a function return.  */
 175
 176 extern void i387_return_value (struct gdbarch *gdbarch,
 177                                struct regcache *regcache);
 178
 179 /* Set all bnd registers to the INIT state.  INIT state means
 180    all memory range can be accessed.  */
 181 extern void i387_reset_bnd_regs (struct gdbarch *gdbarch,
 182                                  struct regcache *regcache);
 183 #endif /* i387-tdep.h */