Home | History | Annotate | Line # | Download | only in include
cpu_extended_state.h revision 1.18.6.1
      1  1.18.6.1  perseant /*	$NetBSD: cpu_extended_state.h,v 1.18.6.1 2025/08/02 05:56:16 perseant Exp $	*/
      2       1.1       dsl 
      3       1.1       dsl #ifndef _X86_CPU_EXTENDED_STATE_H_
      4       1.1       dsl #define _X86_CPU_EXTENDED_STATE_H_
      5       1.1       dsl 
      6       1.1       dsl #ifdef __lint__
      7       1.1       dsl /* Lint has different packing rules and doesn't understand __aligned() */
      8       1.1       dsl #define __CTASSERT_NOLINT(x) __CTASSERT(1)
      9       1.1       dsl #else
     10       1.1       dsl #define __CTASSERT_NOLINT(x) __CTASSERT(x)
     11       1.1       dsl #endif
     12       1.1       dsl 
     13       1.1       dsl /*
     14      1.10      maxv  * This file contains definitions of structures that match the memory layouts
     15      1.10      maxv  * used on x86 processors to save floating point registers and other extended
     16      1.10      maxv  * cpu states.
     17      1.10      maxv  *
     18      1.10      maxv  * This includes registers (etc) used by SSE/SSE2/SSE3/SSSE3/SSE4 and the later
     19      1.10      maxv  * AVX instructions.
     20      1.10      maxv  *
     21      1.16      maxv  * The definitions are such that any future 'extended state' should be handled,
     22      1.16      maxv  * provided the kernel doesn't need to know the actual contents.
     23      1.10      maxv  *
     24      1.10      maxv  * The actual structures the cpu accesses must be aligned to 16 bytes for FXSAVE
     25      1.10      maxv  * and 64 for XSAVE. The types aren't aligned because copies do not need extra
     26      1.10      maxv  * alignment.
     27      1.10      maxv  *
     28      1.10      maxv  * The slightly different layout saved by the i387 fsave is also defined.
     29      1.10      maxv  * This is only normally written by pre Pentium II type cpus that don't
     30      1.10      maxv  * support the fxsave instruction.
     31      1.10      maxv  *
     32      1.10      maxv  * Associated save instructions:
     33      1.16      maxv  * FNSAVE:   Saves x87 state in 108 bytes (original i387 layout). Then
     34      1.16      maxv  *           reinitializes the fpu.
     35      1.10      maxv  * FSAVE:    Encodes to FWAIT followed by FNSAVE.
     36      1.16      maxv  * FXSAVE:   Saves the x87 state and XMM (aka SSE) registers to the first
     37      1.16      maxv  *           448 (max) bytes of a 512 byte area. This layout does not match
     38      1.16      maxv  *           that written by FNSAVE.
     39      1.16      maxv  * XSAVE:    Uses the same layout for the x87 and XMM registers, followed by
     40      1.16      maxv  *           a 64byte header and separate save areas for additional extended
     41      1.16      maxv  *           cpu states. The x87 state is always saved, the others
     42      1.16      maxv  *           conditionally.
     43      1.16      maxv  * XSAVEOPT: Same as XSAVE but only writes the registers blocks that have
     44      1.16      maxv  *           been modified.
     45      1.10      maxv  */
     46      1.10      maxv 
     47      1.10      maxv /*
     48      1.10      maxv  * Layout for code/data pointers relating to FP exceptions. Marked 'packed'
     49      1.10      maxv  * because they aren't always 64bit aligned. Since the x86 cpu supports
     50      1.10      maxv  * misaligned accesses it isn't worth avoiding the 'packed' attribute.
     51       1.1       dsl  */
     52       1.1       dsl union fp_addr {
     53       1.1       dsl 	uint64_t fa_64;	/* Linear address for 64bit systems */
     54       1.1       dsl 	struct {
     55       1.1       dsl 		uint32_t fa_off;	/* linear address for 32 bit */
     56       1.1       dsl 		uint16_t fa_seg;	/* code/data (etc) segment */
     57       1.1       dsl 		uint16_t fa_opcode;	/* last opcode (sometimes) */
     58       1.1       dsl 	} fa_32;
     59       1.6       dsl } __packed __aligned(4);
     60       1.1       dsl 
     61       1.1       dsl /* The x87 registers are 80 bits */
     62       1.1       dsl struct fpacc87 {
     63      1.10      maxv 	uint64_t f87_mantissa;	/* mantissa */
     64      1.10      maxv 	uint16_t f87_exp_sign;	/* exponent and sign */
     65       1.6       dsl } __packed __aligned(2);
     66       1.1       dsl 
     67       1.1       dsl /* The x87 registers padded out to 16 bytes for fxsave */
     68       1.1       dsl struct fpaccfx {
     69       1.1       dsl 	struct fpacc87 r __aligned(16);
     70       1.1       dsl };
     71       1.1       dsl 
     72       1.1       dsl /* The SSE/SSE2 registers are 128 bits */
     73       1.1       dsl struct xmmreg {
     74       1.1       dsl 	uint8_t xmm_bytes[16];
     75       1.1       dsl };
     76       1.1       dsl 
     77       1.1       dsl /* The AVX registers are 256 bits, but the low bits are the xmmregs */
     78       1.1       dsl struct ymmreg {
     79       1.1       dsl 	uint8_t ymm_bytes[16];
     80       1.1       dsl };
     81       1.1       dsl 
     82      1.17    mgorny /* The AVX-512 registers are 512 bits but the low bits are in xmmregs
     83      1.17    mgorny  * and ymmregs */
     84      1.17    mgorny struct zmmreg {
     85      1.17    mgorny 	uint8_t zmm_bytes[32];
     86      1.17    mgorny };
     87      1.17    mgorny 
     88      1.17    mgorny /* 512-bit ZMM register. */
     89      1.17    mgorny struct hi16_zmmreg {
     90      1.17    mgorny 	uint8_t zmm_bytes[64];
     91      1.17    mgorny };
     92      1.17    mgorny 
     93       1.1       dsl /*
     94      1.16      maxv  * Floating point unit registers (FSAVE instruction).
     95      1.16      maxv  *
     96      1.16      maxv  * The s87_ac[] and fx_87_ac[] are relative to the stack top. The 'tag word'
     97      1.16      maxv  * contains 2 bits per register and refers to absolute register numbers.
     98      1.16      maxv  *
     99       1.1       dsl  * The cpu sets the tag values 0b01 (zero) and 0b10 (special) when a value
    100       1.1       dsl  * is loaded. The software need only set 0b00 (used) and 0xb11 (unused).
    101       1.1       dsl  * The fxsave 'Abridged tag word' in inverted.
    102       1.1       dsl  */
    103       1.1       dsl struct save87 {
    104      1.10      maxv 	uint16_t s87_cw __aligned(4);	/* control word */
    105      1.10      maxv 	uint16_t s87_sw __aligned(4);	/* status word  */
    106      1.10      maxv 	uint16_t s87_tw __aligned(4);	/* tag word */
    107      1.10      maxv 	union fp_addr s87_ip;		/* floating point instruction pointer */
    108       1.1       dsl #define s87_opcode s87_ip.fa_32.fa_opcode	/* opcode last executed (11bits) */
    109      1.10      maxv 	union fp_addr s87_dp;		/* floating operand offset */
    110      1.10      maxv 	struct fpacc87 s87_ac[8];	/* accumulator contents */
    111       1.1       dsl };
    112      1.10      maxv __CTASSERT_NOLINT(sizeof(struct save87) == 108);
    113       1.1       dsl 
    114      1.10      maxv /*
    115      1.16      maxv  * FPU/MMX/SSE/SSE2 context (FXSAVE instruction).
    116      1.10      maxv  */
    117       1.1       dsl struct fxsave {
    118      1.10      maxv 	uint16_t fx_cw;		/* FPU Control Word */
    119      1.10      maxv 	uint16_t fx_sw;		/* FPU Status Word */
    120      1.10      maxv 	uint8_t fx_tw;		/* FPU Tag Word (abridged) */
    121      1.12      maxv 	uint8_t fx_zero;	/* zero */
    122      1.10      maxv 	uint16_t fx_opcode;	/* FPU Opcode */
    123      1.10      maxv 	union fp_addr fx_ip;	/* FPU Instruction Pointer */
    124      1.10      maxv 	union fp_addr fx_dp;	/* FPU Data pointer */
    125      1.10      maxv 	uint32_t fx_mxcsr;	/* MXCSR Register State */
    126      1.10      maxv 	uint32_t fx_mxcsr_mask;
    127      1.10      maxv 	struct fpaccfx fx_87_ac[8];	/* 8 x87 registers */
    128      1.10      maxv 	struct xmmreg fx_xmm[16];	/* XMM regs (8 in 32bit modes) */
    129      1.15      maxv 	uint8_t fx_rsvd[96];
    130       1.1       dsl } __aligned(16);
    131      1.10      maxv __CTASSERT_NOLINT(sizeof(struct fxsave) == 512);
    132       1.1       dsl 
    133      1.10      maxv /*
    134      1.10      maxv  * For XSAVE, a 64byte header follows the fxsave data.
    135       1.1       dsl  */
    136       1.1       dsl struct xsave_header {
    137      1.16      maxv 	uint8_t xsh_fxsave[512];	/* struct fxsave */
    138      1.10      maxv 	uint64_t xsh_xstate_bv;		/* bitmap of saved sub structures */
    139      1.12      maxv 	uint64_t xsh_xcomp_bv;		/* bitmap of compact sub structures */
    140      1.12      maxv 	uint8_t xsh_rsrvd[8];		/* must be zero */
    141      1.12      maxv 	uint8_t xsh_reserved[40];	/* best if zero */
    142       1.1       dsl };
    143      1.10      maxv __CTASSERT(sizeof(struct xsave_header) == 512 + 64);
    144       1.1       dsl 
    145       1.1       dsl /*
    146       1.1       dsl  * The ymm save area actually follows the xsave_header.
    147       1.1       dsl  */
    148       1.1       dsl struct xsave_ymm {
    149      1.10      maxv 	struct ymmreg xs_ymm[16];	/* High bits of YMM registers */
    150       1.1       dsl };
    151      1.10      maxv __CTASSERT(sizeof(struct xsave_ymm) == 256);
    152       1.1       dsl 
    153       1.9       dsl /*
    154      1.17    mgorny  * AVX-512: opmask state.
    155      1.17    mgorny  */
    156      1.17    mgorny struct xsave_opmask {
    157      1.17    mgorny 	uint64_t xs_k[8];			/* k0..k7 registers. */
    158      1.17    mgorny };
    159      1.17    mgorny __CTASSERT(sizeof(struct xsave_opmask) == 64);
    160      1.17    mgorny 
    161      1.17    mgorny /*
    162      1.17    mgorny  * AVX-512: ZMM_Hi256 state.
    163      1.17    mgorny  */
    164      1.17    mgorny struct xsave_zmm_hi256 {
    165      1.17    mgorny 	struct zmmreg xs_zmm[16];	/* High bits of zmm0..zmm15 registers. */
    166      1.17    mgorny };
    167      1.17    mgorny __CTASSERT(sizeof(struct xsave_zmm_hi256) == 512);
    168      1.17    mgorny 
    169      1.17    mgorny /*
    170      1.17    mgorny  * AVX-512: Hi16_ZMM state.
    171      1.17    mgorny  */
    172      1.17    mgorny struct xsave_hi16_zmm {
    173      1.17    mgorny 	struct hi16_zmmreg xs_hi16_zmm[16];	/* zmm16..zmm31 registers. */
    174      1.17    mgorny };
    175      1.17    mgorny __CTASSERT(sizeof(struct xsave_hi16_zmm) == 1024);
    176      1.17    mgorny 
    177      1.17    mgorny /*
    178      1.17    mgorny  * Structure used to hold all interesting data from XSAVE, in predictable form.
    179      1.17    mgorny  * Note that this structure can have new members added to the end.
    180      1.17    mgorny  */
    181      1.17    mgorny struct xstate {
    182      1.17    mgorny 	/*
    183      1.17    mgorny 	 * The two following fields are bitmaps of XSAVE components.  They can be
    184      1.17    mgorny 	 * matched against XCR0_* constants from <machine/specialreg.h>).
    185      1.17    mgorny 	 */
    186      1.17    mgorny 	/*
    187      1.17    mgorny 	 * XSAVE/XRSTOR RFBM parameter.
    188      1.17    mgorny 	 *
    189      1.17    mgorny 	 * PT_GETXSTATE: 1 indicates that the respective XSAVE component is
    190      1.17    mgorny 	 * supported and has been enabled for saving.  0 indicates that it is not
    191      1.17    mgorny 	 * supported by the platform or kernel.
    192      1.17    mgorny 	 *
    193      1.17    mgorny 	 * PT_SETXSTATE: 1 indicates that the respective XSAVE component should
    194      1.17    mgorny 	 * be updated to the value of respective field (or reset if xs_xsave_bv
    195      1.17    mgorny 	 * bit is 0).  0 indicates that it should be left intact.  It is an error
    196      1.17    mgorny 	 * to enable bits that are not supported by the platform or kernel.
    197      1.17    mgorny 	 */
    198      1.17    mgorny 	uint64_t xs_rfbm;
    199      1.17    mgorny 	/*
    200      1.17    mgorny 	 * XSAVE/XRSTOR xstate header.
    201      1.17    mgorny 	 *
    202      1.17    mgorny 	 * PT_GETXSTATE: 1 indicates that the respective XSAVE component has been
    203      1.17    mgorny 	 * saved.  0 indicates that it had been in its CPU-defined initial value
    204      1.17    mgorny 	 * at the time of saving (i.e. was not used by the program).
    205      1.17    mgorny 	 *
    206      1.17    mgorny 	 * PT_SETXSTATE: 1 indicates that the respective XSAVE component (if present
    207      1.17    mgorny 	 * in xs_rfbm) should be set to the values in respective field.  0 indicates
    208      1.17    mgorny 	 * that it should be reset to CPU-defined initial value.
    209      1.17    mgorny 	 */
    210      1.17    mgorny 	uint64_t xs_xstate_bv;
    211      1.17    mgorny 
    212      1.17    mgorny 	/* legacy FXSAVE area (used for x87 & SSE state) */
    213      1.17    mgorny 	struct fxsave xs_fxsave;
    214      1.17    mgorny 	/* AVX state: high bits of ymm0..ymm15 registers */
    215      1.17    mgorny 	struct xsave_ymm xs_ymm_hi128;
    216      1.17    mgorny 	/* AVX-512: opmask */
    217      1.17    mgorny 	struct xsave_opmask xs_opmask;
    218      1.17    mgorny 	/* AVX-512: high bits of zmm0..zmm15 registers */
    219      1.17    mgorny 	struct xsave_zmm_hi256 xs_zmm_hi256;
    220      1.17    mgorny 	/* AVX-512: whole zmm16..zmm31 registers */
    221      1.17    mgorny 	struct xsave_hi16_zmm xs_hi16_zmm;
    222      1.17    mgorny };
    223      1.17    mgorny 
    224      1.17    mgorny /*
    225       1.9       dsl  * The following union is placed at the end of the pcb.
    226       1.9       dsl  * It is defined this way to separate the definitions and to
    227       1.9       dsl  * minimise the number of union/struct selectors.
    228       1.9       dsl  * NB: Some userspace stuff (eg firefox) uses it to parse ucontext.
    229  1.18.6.1  perseant  * NB: This is not actually the largest possible save space;
    230  1.18.6.1  perseant  *     x86_fpu_save_size may be larger.
    231       1.9       dsl  */
    232       1.9       dsl union savefpu {
    233      1.16      maxv 	struct save87 sv_87;
    234      1.16      maxv 	struct fxsave sv_xmm;
    235       1.9       dsl #ifdef _KERNEL
    236      1.16      maxv 	struct xsave_header sv_xsave_hdr;
    237       1.9       dsl #endif
    238       1.9       dsl };
    239       1.1       dsl 
    240       1.1       dsl /*
    241       1.1       dsl  * 80387 control and status word bits
    242       1.1       dsl  *
    243       1.3       dsl  * The only reference I can find to bits 0x40 and 0x80 in the control word
    244       1.3       dsl  * is for the Weitek 1167/3167.
    245       1.1       dsl  * I (dsl) can't find why the default word has 0x40 set.
    246       1.3       dsl  *
    247       1.3       dsl  * A stack error is signalled as an INVOP that also sets STACK_FAULT
    248       1.3       dsl  * (other INVOP do not clear STACK_FAULT).
    249       1.1       dsl  */
    250       1.1       dsl /* Interrupt masks (set masks interrupt) and status bits */
    251       1.1       dsl #define EN_SW_INVOP		0x0001  /* Invalid operation */
    252       1.1       dsl #define EN_SW_DENORM		0x0002  /* Denormalized operand */
    253       1.1       dsl #define EN_SW_ZERODIV		0x0004  /* Divide by zero */
    254       1.1       dsl #define EN_SW_OVERFLOW		0x0008  /* Overflow */
    255       1.1       dsl #define EN_SW_UNDERFLOW		0x0010  /* Underflow */
    256       1.1       dsl #define EN_SW_PRECLOSS		0x0020  /* Loss of precision */
    257       1.3       dsl /* Status word bits (reserved in control word) */
    258       1.3       dsl #define EN_SW_STACK_FAULT	0x0040	/* Stack under/overflow */
    259      1.10      maxv #define EN_SW_ERROR_SUMMARY	0x0080	/* Unmasked error has occurred */
    260       1.1       dsl /* Control bits (badly named) */
    261       1.1       dsl #define EN_SW_CTL_PREC		0x0300	/* Precision control */
    262       1.1       dsl #define EN_SW_PREC_24		0x0000	/* Single precision */
    263       1.1       dsl #define EN_SW_PREC_53		0x0200	/* Double precision */
    264       1.1       dsl #define EN_SW_PREC_64		0x0300	/* Extended precision */
    265       1.1       dsl #define EN_SW_CTL_ROUND		0x0c00	/* Rounding control */
    266       1.1       dsl #define EN_SW_ROUND_EVEN	0x0000	/* Round to nearest even */
    267       1.1       dsl #define EN_SW_ROUND_DOWN	0x0400	/* Round towards minus infinity */
    268       1.1       dsl #define EN_SW_ROUND_UP		0x0800	/* Round towards plus infinity */
    269       1.1       dsl #define EN_SW_ROUND_ZERO	0x0c00	/* Round towards zero (truncates) */
    270       1.1       dsl #define EN_SW_CTL_INF		0x1000	/* Infinity control, not used  */
    271       1.1       dsl 
    272       1.1       dsl /*
    273       1.1       dsl  * The standard 0x87 control word from finit is 0x37F, giving:
    274       1.1       dsl  *	round to nearest
    275       1.1       dsl  *	64-bit precision
    276       1.1       dsl  *	all exceptions masked.
    277       1.1       dsl  *
    278       1.1       dsl  * NetBSD used to select:
    279       1.1       dsl  *	round to nearest
    280       1.1       dsl  *	53-bit precision
    281       1.1       dsl  *	all exceptions masked.
    282       1.1       dsl  * Stating: 64-bit precision often gives bad results with high level
    283       1.1       dsl  * languages because it makes the results of calculations depend on whether
    284       1.1       dsl  * intermediate values are stored in memory or in FPU registers.
    285       1.1       dsl  * Also some 'pathological divisions' give an error in the LSB because
    286       1.1       dsl  * the value is first rounded up when the 64bit mantissa is generated,
    287       1.1       dsl  * and then again when it is truncated to 53 bits.
    288       1.1       dsl  *
    289       1.1       dsl  * However the C language explicitly allows the extra precision.
    290       1.1       dsl  */
    291       1.1       dsl #define	__INITIAL_NPXCW__	0x037f
    292       1.1       dsl /* Modern NetBSD uses the default control word.. */
    293       1.1       dsl #define	__NetBSD_NPXCW__	__INITIAL_NPXCW__
    294       1.1       dsl /* NetBSD before 6.99.26 forced IEEE double precision. */
    295       1.1       dsl #define	__NetBSD_COMPAT_NPXCW__	0x127f
    296       1.1       dsl /* FreeBSD leaves some exceptions unmasked as well. */
    297       1.1       dsl #define	__FreeBSD_NPXCW__	0x1272
    298       1.1       dsl /* Linux just uses the default control word. */
    299       1.1       dsl #define	__Linux_NPXCW__		__INITIAL_NPXCW__
    300       1.1       dsl 
    301       1.1       dsl /*
    302       1.1       dsl  * The default MXCSR value at reset is 0x1f80, IA-32 Instruction
    303       1.1       dsl  * Set Reference, pg. 3-369.
    304       1.1       dsl  *
    305       1.1       dsl  * The low 6 bits of the mxcsr are the fp status bits (same order as x87).
    306       1.1       dsl  * Bit 6 is 'denormals are zero' (speeds up calculations).
    307       1.1       dsl  * Bits 7-16 are the interrupt mask bits (same order, 1 to mask).
    308       1.1       dsl  * Bits 13 and 14 are rounding control.
    309       1.1       dsl  * Bit 15 is 'flush to zero' - affects underflow.
    310       1.1       dsl  * Bits 16-31 must be zero.
    311      1.18  riastrad  *
    312      1.18  riastrad  * The safe MXCSR is fit for constant-time use, e.g. in crypto.  Some
    313      1.18  riastrad  * CPU instructions take input- dependent time if an exception status
    314      1.18  riastrad  * bit is not set; __SAFE_MXCSR__ has the exception status bits all set
    315      1.18  riastrad  * already to mitigate this.  See:
    316      1.18  riastrad  * https://www.intel.com/content/www/us/en/developer/articles/technical/software-security-guidance/best-practices/mxcsr-configuration-dependent-timing.html
    317       1.1       dsl  */
    318       1.1       dsl #define	__INITIAL_MXCSR__	0x1f80
    319       1.2       dsl #define	__INITIAL_MXCSR_MASK__	0xffbf
    320      1.18  riastrad #define	__SAFE_MXCSR__		0x1fbf
    321       1.2       dsl 
    322       1.1       dsl #endif /* _X86_CPU_EXTENDED_STATE_H_ */
    323