1b3e22b23SPaolo Bonzini /* 2b3e22b23SPaolo Bonzini * Decode table flags, mostly based on Intel SDM. 3b3e22b23SPaolo Bonzini * 4b3e22b23SPaolo Bonzini * Copyright (c) 2022 Red Hat, Inc. 5b3e22b23SPaolo Bonzini * 6b3e22b23SPaolo Bonzini * Author: Paolo Bonzini <pbonzini@redhat.com> 7b3e22b23SPaolo Bonzini * 8b3e22b23SPaolo Bonzini * This library is free software; you can redistribute it and/or 9b3e22b23SPaolo Bonzini * modify it under the terms of the GNU Lesser General Public 10b3e22b23SPaolo Bonzini * License as published by the Free Software Foundation; either 11b3e22b23SPaolo Bonzini * version 2.1 of the License, or (at your option) any later version. 12b3e22b23SPaolo Bonzini * 13b3e22b23SPaolo Bonzini * This library is distributed in the hope that it will be useful, 14b3e22b23SPaolo Bonzini * but WITHOUT ANY WARRANTY; without even the implied warranty of 15b3e22b23SPaolo Bonzini * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 16b3e22b23SPaolo Bonzini * Lesser General Public License for more details. 17b3e22b23SPaolo Bonzini * 18b3e22b23SPaolo Bonzini * You should have received a copy of the GNU Lesser General Public 19b3e22b23SPaolo Bonzini * License along with this library; if not, see <http://www.gnu.org/licenses/>. 20b3e22b23SPaolo Bonzini */ 21b3e22b23SPaolo Bonzini 22b3e22b23SPaolo Bonzini typedef enum X86OpType { 23b3e22b23SPaolo Bonzini X86_TYPE_None, 24b3e22b23SPaolo Bonzini 25b3e22b23SPaolo Bonzini X86_TYPE_A, /* Implicit */ 26b3e22b23SPaolo Bonzini X86_TYPE_B, /* VEX.vvvv selects a GPR */ 27b3e22b23SPaolo Bonzini X86_TYPE_C, /* REG in the modrm byte selects a control register */ 28b3e22b23SPaolo Bonzini X86_TYPE_D, /* REG in the modrm byte selects a debug register */ 29b3e22b23SPaolo Bonzini X86_TYPE_E, /* ALU modrm operand */ 30b3e22b23SPaolo Bonzini X86_TYPE_F, /* EFLAGS/RFLAGS */ 31b3e22b23SPaolo Bonzini X86_TYPE_G, /* REG in the modrm byte selects a GPR */ 32b3e22b23SPaolo Bonzini X86_TYPE_H, /* For AVX, VEX.vvvv selects an XMM/YMM register */ 33b3e22b23SPaolo Bonzini X86_TYPE_I, /* Immediate */ 34b3e22b23SPaolo Bonzini X86_TYPE_J, /* Relative offset for a jump */ 35b3e22b23SPaolo Bonzini X86_TYPE_L, /* The upper 4 bits of the immediate select a 128-bit register */ 36b3e22b23SPaolo Bonzini X86_TYPE_M, /* modrm byte selects a memory operand */ 37b3e22b23SPaolo Bonzini X86_TYPE_N, /* R/M in the modrm byte selects an MMX register */ 38b3e22b23SPaolo Bonzini X86_TYPE_O, /* Absolute address encoded in the instruction */ 39b3e22b23SPaolo Bonzini X86_TYPE_P, /* reg in the modrm byte selects an MMX register */ 40b3e22b23SPaolo Bonzini X86_TYPE_Q, /* MMX modrm operand */ 41b3e22b23SPaolo Bonzini X86_TYPE_R, /* R/M in the modrm byte selects a register */ 42b3e22b23SPaolo Bonzini X86_TYPE_S, /* reg selects a segment register */ 43b3e22b23SPaolo Bonzini X86_TYPE_U, /* R/M in the modrm byte selects an XMM/YMM register */ 44b3e22b23SPaolo Bonzini X86_TYPE_V, /* reg in the modrm byte selects an XMM/YMM register */ 45b3e22b23SPaolo Bonzini X86_TYPE_W, /* XMM/YMM modrm operand */ 46b3e22b23SPaolo Bonzini X86_TYPE_X, /* string source */ 47b3e22b23SPaolo Bonzini X86_TYPE_Y, /* string destination */ 48b3e22b23SPaolo Bonzini 49b3e22b23SPaolo Bonzini /* Custom */ 506bbeb98dSPaolo Bonzini X86_TYPE_WM, /* modrm byte selects an XMM/YMM memory operand */ 51b3e22b23SPaolo Bonzini X86_TYPE_2op, /* 2-operand RMW instruction */ 52b3e22b23SPaolo Bonzini X86_TYPE_LoBits, /* encoded in bits 0-2 of the operand + REX.B */ 53b3e22b23SPaolo Bonzini X86_TYPE_0, /* Hard-coded GPRs (RAX..RDI) */ 54b3e22b23SPaolo Bonzini X86_TYPE_1, 55b3e22b23SPaolo Bonzini X86_TYPE_2, 56b3e22b23SPaolo Bonzini X86_TYPE_3, 57b3e22b23SPaolo Bonzini X86_TYPE_4, 58b3e22b23SPaolo Bonzini X86_TYPE_5, 59b3e22b23SPaolo Bonzini X86_TYPE_6, 60b3e22b23SPaolo Bonzini X86_TYPE_7, 61b3e22b23SPaolo Bonzini X86_TYPE_ES, /* Hard-coded segment registers */ 62b3e22b23SPaolo Bonzini X86_TYPE_CS, 63b3e22b23SPaolo Bonzini X86_TYPE_SS, 64b3e22b23SPaolo Bonzini X86_TYPE_DS, 65b3e22b23SPaolo Bonzini X86_TYPE_FS, 66b3e22b23SPaolo Bonzini X86_TYPE_GS, 67b3e22b23SPaolo Bonzini } X86OpType; 68b3e22b23SPaolo Bonzini 69b3e22b23SPaolo Bonzini typedef enum X86OpSize { 70b3e22b23SPaolo Bonzini X86_SIZE_None, 71b3e22b23SPaolo Bonzini 72b3e22b23SPaolo Bonzini X86_SIZE_a, /* BOUND operand */ 73b3e22b23SPaolo Bonzini X86_SIZE_b, /* byte */ 74b3e22b23SPaolo Bonzini X86_SIZE_d, /* 32-bit */ 75b3e22b23SPaolo Bonzini X86_SIZE_dq, /* SSE/AVX 128-bit */ 76b3e22b23SPaolo Bonzini X86_SIZE_p, /* Far pointer */ 77b3e22b23SPaolo Bonzini X86_SIZE_pd, /* SSE/AVX packed double precision */ 78b3e22b23SPaolo Bonzini X86_SIZE_pi, /* MMX */ 79b3e22b23SPaolo Bonzini X86_SIZE_ps, /* SSE/AVX packed single precision */ 80b3e22b23SPaolo Bonzini X86_SIZE_q, /* 64-bit */ 81b3e22b23SPaolo Bonzini X86_SIZE_qq, /* AVX 256-bit */ 82b3e22b23SPaolo Bonzini X86_SIZE_s, /* Descriptor */ 83b3e22b23SPaolo Bonzini X86_SIZE_sd, /* SSE/AVX scalar double precision */ 84b3e22b23SPaolo Bonzini X86_SIZE_ss, /* SSE/AVX scalar single precision */ 85b3e22b23SPaolo Bonzini X86_SIZE_si, /* 32-bit GPR */ 86b3e22b23SPaolo Bonzini X86_SIZE_v, /* 16/32/64-bit, based on operand size */ 87b3e22b23SPaolo Bonzini X86_SIZE_w, /* 16-bit */ 88b3e22b23SPaolo Bonzini X86_SIZE_x, /* 128/256-bit, based on operand size */ 89b3e22b23SPaolo Bonzini X86_SIZE_y, /* 32/64-bit, based on operand size */ 90b3e22b23SPaolo Bonzini X86_SIZE_z, /* 16-bit for 16-bit operand size, else 32-bit */ 91b3e22b23SPaolo Bonzini 92b3e22b23SPaolo Bonzini /* Custom */ 93b3e22b23SPaolo Bonzini X86_SIZE_d64, 94b3e22b23SPaolo Bonzini X86_SIZE_f64, 95a48b2697SPaolo Bonzini X86_SIZE_xh, /* SSE/AVX packed half register */ 96b3e22b23SPaolo Bonzini } X86OpSize; 97b3e22b23SPaolo Bonzini 98caa01fadSPaolo Bonzini typedef enum X86CPUIDFeature { 99caa01fadSPaolo Bonzini X86_FEAT_None, 10071a0891dSPaolo Bonzini X86_FEAT_3DNOW, 101caa01fadSPaolo Bonzini X86_FEAT_ADX, 102caa01fadSPaolo Bonzini X86_FEAT_AES, 103caa01fadSPaolo Bonzini X86_FEAT_AVX, 104caa01fadSPaolo Bonzini X86_FEAT_AVX2, 105caa01fadSPaolo Bonzini X86_FEAT_BMI1, 106caa01fadSPaolo Bonzini X86_FEAT_BMI2, 107cf5ec664SPaolo Bonzini X86_FEAT_F16C, 1082872b0f3SPaolo Bonzini X86_FEAT_FMA, 109caa01fadSPaolo Bonzini X86_FEAT_MOVBE, 110caa01fadSPaolo Bonzini X86_FEAT_PCLMULQDQ, 111e582b629SPaolo Bonzini X86_FEAT_SHA_NI, 112caa01fadSPaolo Bonzini X86_FEAT_SSE, 113caa01fadSPaolo Bonzini X86_FEAT_SSE2, 114caa01fadSPaolo Bonzini X86_FEAT_SSE3, 115caa01fadSPaolo Bonzini X86_FEAT_SSSE3, 116caa01fadSPaolo Bonzini X86_FEAT_SSE41, 117caa01fadSPaolo Bonzini X86_FEAT_SSE42, 118caa01fadSPaolo Bonzini X86_FEAT_SSE4A, 119caa01fadSPaolo Bonzini } X86CPUIDFeature; 120caa01fadSPaolo Bonzini 121b3e22b23SPaolo Bonzini /* Execution flags */ 122b3e22b23SPaolo Bonzini 123b3e22b23SPaolo Bonzini typedef enum X86OpUnit { 124b3e22b23SPaolo Bonzini X86_OP_SKIP, /* not valid or managed by emission function */ 125b3e22b23SPaolo Bonzini X86_OP_SEG, /* segment selector */ 126b3e22b23SPaolo Bonzini X86_OP_CR, /* control register */ 127b3e22b23SPaolo Bonzini X86_OP_DR, /* debug register */ 128b3e22b23SPaolo Bonzini X86_OP_INT, /* loaded into/stored from s->T0/T1 */ 129b3e22b23SPaolo Bonzini X86_OP_IMM, /* immediate */ 130b3e22b23SPaolo Bonzini X86_OP_SSE, /* address in either s->ptrX or s->A0 depending on has_ea */ 131b3e22b23SPaolo Bonzini X86_OP_MMX, /* address in either s->ptrX or s->A0 depending on has_ea */ 132b3e22b23SPaolo Bonzini } X86OpUnit; 133b3e22b23SPaolo Bonzini 134183e6679SPaolo Bonzini typedef enum X86InsnCheck { 135183e6679SPaolo Bonzini /* Illegal or exclusive to 64-bit mode */ 136183e6679SPaolo Bonzini X86_CHECK_i64 = 1, 137183e6679SPaolo Bonzini X86_CHECK_o64 = 2, 138183e6679SPaolo Bonzini 139183e6679SPaolo Bonzini /* Fault outside protected mode */ 140183e6679SPaolo Bonzini X86_CHECK_prot = 4, 141183e6679SPaolo Bonzini 142183e6679SPaolo Bonzini /* Privileged instruction checks */ 143183e6679SPaolo Bonzini X86_CHECK_cpl0 = 8, 144183e6679SPaolo Bonzini X86_CHECK_vm86_iopl = 16, 145183e6679SPaolo Bonzini X86_CHECK_cpl_iopl = 32, 146183e6679SPaolo Bonzini X86_CHECK_iopl = X86_CHECK_cpl_iopl | X86_CHECK_vm86_iopl, 147183e6679SPaolo Bonzini 148183e6679SPaolo Bonzini /* Fault if VEX.L=1 */ 149183e6679SPaolo Bonzini X86_CHECK_VEX128 = 64, 150e000687fSPaolo Bonzini 151e000687fSPaolo Bonzini /* Fault if VEX.W=1 */ 152e000687fSPaolo Bonzini X86_CHECK_W0 = 128, 153e000687fSPaolo Bonzini 154e000687fSPaolo Bonzini /* Fault if VEX.W=0 */ 155e000687fSPaolo Bonzini X86_CHECK_W1 = 256, 156183e6679SPaolo Bonzini } X86InsnCheck; 157183e6679SPaolo Bonzini 158b3e22b23SPaolo Bonzini typedef enum X86InsnSpecial { 159b3e22b23SPaolo Bonzini X86_SPECIAL_None, 160b3e22b23SPaolo Bonzini 161b609db94SPaolo Bonzini /* Accepts LOCK prefix; LOCKed operations do not load or writeback operand 0 */ 162b609db94SPaolo Bonzini X86_SPECIAL_HasLock, 163b609db94SPaolo Bonzini 164b3e22b23SPaolo Bonzini /* Always locked if it has a memory operand (XCHG) */ 165b3e22b23SPaolo Bonzini X86_SPECIAL_Locked, 166b3e22b23SPaolo Bonzini 167b3e22b23SPaolo Bonzini /* 168*5baf5641SPaolo Bonzini * Rd/Mb or Rd/Mw in the manual: register operand 0 is treated as 32 bits 169*5baf5641SPaolo Bonzini * (and writeback zero-extends it to 64 bits if applicable). PREFIX_DATA 170*5baf5641SPaolo Bonzini * does not trigger 16-bit writeback and, as a side effect, high-byte 171*5baf5641SPaolo Bonzini * registers are never used. 172b3e22b23SPaolo Bonzini */ 173*5baf5641SPaolo Bonzini X86_SPECIAL_Op0_Rd, 174*5baf5641SPaolo Bonzini 175*5baf5641SPaolo Bonzini /* 176*5baf5641SPaolo Bonzini * Ry/Mb in the manual (PINSRB). However, the high bits are never used by 177*5baf5641SPaolo Bonzini * the instruction in either the register or memory cases; the *real* effect 178*5baf5641SPaolo Bonzini * of this modifier is that high-byte registers are never used, even without 179*5baf5641SPaolo Bonzini * a REX prefix. Therefore, PINSRW does not need it despite having Ry/Mw. 180*5baf5641SPaolo Bonzini */ 181*5baf5641SPaolo Bonzini X86_SPECIAL_Op2_Ry, 182b3e22b23SPaolo Bonzini 183b3e22b23SPaolo Bonzini /* 18416fc5726SPaolo Bonzini * Register operand 2 is extended to full width, while a memory operand 18516fc5726SPaolo Bonzini * is doubled in size if VEX.L=1. 18616fc5726SPaolo Bonzini */ 18716fc5726SPaolo Bonzini X86_SPECIAL_AVXExtMov, 18816fc5726SPaolo Bonzini 18916fc5726SPaolo Bonzini /* 190b3e22b23SPaolo Bonzini * MMX instruction exists with no prefix; if there is no prefix, V/H/W/U operands 191b3e22b23SPaolo Bonzini * become P/P/Q/N, and size "x" becomes "q". 192b3e22b23SPaolo Bonzini */ 193b3e22b23SPaolo Bonzini X86_SPECIAL_MMX, 194b3e22b23SPaolo Bonzini } X86InsnSpecial; 195b3e22b23SPaolo Bonzini 19620581aadSPaolo Bonzini /* 19720581aadSPaolo Bonzini * Special cases for instructions that operate on XMM/YMM registers. Intel 19820581aadSPaolo Bonzini * retconned all of them to have VEX exception classes other than 0 and 13, so 19920581aadSPaolo Bonzini * all these only matter for instructions that have a VEX exception class. 20020581aadSPaolo Bonzini * Based on tables in the "AVX and SSE Instruction Exception Specification" 20120581aadSPaolo Bonzini * section of the manual. 20220581aadSPaolo Bonzini */ 20320581aadSPaolo Bonzini typedef enum X86VEXSpecial { 20420581aadSPaolo Bonzini /* Legacy SSE instructions that allow unaligned operands */ 20520581aadSPaolo Bonzini X86_VEX_SSEUnaligned, 20620581aadSPaolo Bonzini 20720581aadSPaolo Bonzini /* 20820581aadSPaolo Bonzini * Used for instructions that distinguish the XMM operand type with an 20920581aadSPaolo Bonzini * instruction prefix; legacy SSE encodings will allow unaligned operands 21020581aadSPaolo Bonzini * for scalar operands only (identified by a REP prefix). In this case, 21120581aadSPaolo Bonzini * the decoding table uses "x" for the vector operands instead of specifying 21220581aadSPaolo Bonzini * pd/ps/sd/ss individually. 21320581aadSPaolo Bonzini */ 21420581aadSPaolo Bonzini X86_VEX_REPScalar, 21520581aadSPaolo Bonzini 21620581aadSPaolo Bonzini /* 21720581aadSPaolo Bonzini * VEX instructions that only support 256-bit operands with AVX2 (Table 2-17 21820581aadSPaolo Bonzini * column 3). Columns 2 and 4 (instructions limited to 256- and 127-bit 21920581aadSPaolo Bonzini * operands respectively) are implicit in the presence of dq and qq 22020581aadSPaolo Bonzini * operands, and thus handled by decode_op_size. 22120581aadSPaolo Bonzini */ 22220581aadSPaolo Bonzini X86_VEX_AVX2_256, 22320581aadSPaolo Bonzini } X86VEXSpecial; 22420581aadSPaolo Bonzini 22520581aadSPaolo Bonzini 226b3e22b23SPaolo Bonzini typedef struct X86OpEntry X86OpEntry; 227b3e22b23SPaolo Bonzini typedef struct X86DecodedInsn X86DecodedInsn; 228b3e22b23SPaolo Bonzini 229b3e22b23SPaolo Bonzini /* Decode function for multibyte opcodes. */ 230b3e22b23SPaolo Bonzini typedef void (*X86DecodeFunc)(DisasContext *s, CPUX86State *env, X86OpEntry *entry, uint8_t *b); 231b3e22b23SPaolo Bonzini 232b3e22b23SPaolo Bonzini /* Code generation function. */ 233b3e22b23SPaolo Bonzini typedef void (*X86GenFunc)(DisasContext *s, CPUX86State *env, X86DecodedInsn *decode); 234b3e22b23SPaolo Bonzini 235b3e22b23SPaolo Bonzini struct X86OpEntry { 236b3e22b23SPaolo Bonzini /* Based on the is_decode flags. */ 237b3e22b23SPaolo Bonzini union { 238b3e22b23SPaolo Bonzini X86GenFunc gen; 239b3e22b23SPaolo Bonzini X86DecodeFunc decode; 240b3e22b23SPaolo Bonzini }; 241b3e22b23SPaolo Bonzini /* op0 is always written, op1 and op2 are always read. */ 242b3e22b23SPaolo Bonzini X86OpType op0:8; 243b3e22b23SPaolo Bonzini X86OpSize s0:8; 244b3e22b23SPaolo Bonzini X86OpType op1:8; 245b3e22b23SPaolo Bonzini X86OpSize s1:8; 246b3e22b23SPaolo Bonzini X86OpType op2:8; 247b3e22b23SPaolo Bonzini X86OpSize s2:8; 248b3e22b23SPaolo Bonzini /* Must be I and b respectively if present. */ 249b3e22b23SPaolo Bonzini X86OpType op3:8; 250b3e22b23SPaolo Bonzini X86OpSize s3:8; 251b3e22b23SPaolo Bonzini 252b3e22b23SPaolo Bonzini X86InsnSpecial special:8; 253caa01fadSPaolo Bonzini X86CPUIDFeature cpuid:8; 25420581aadSPaolo Bonzini unsigned vex_class:8; 25520581aadSPaolo Bonzini X86VEXSpecial vex_special:8; 256183e6679SPaolo Bonzini unsigned valid_prefix:16; 257183e6679SPaolo Bonzini unsigned check:16; 258183e6679SPaolo Bonzini unsigned intercept:8; 259b3e22b23SPaolo Bonzini bool is_decode:1; 260b3e22b23SPaolo Bonzini }; 261b3e22b23SPaolo Bonzini 262b3e22b23SPaolo Bonzini typedef struct X86DecodedOp { 263b3e22b23SPaolo Bonzini int8_t n; 264b3e22b23SPaolo Bonzini MemOp ot; /* For b/c/d/p/s/q/v/w/y/z */ 265b3e22b23SPaolo Bonzini X86OpUnit unit; 266b3e22b23SPaolo Bonzini bool has_ea; 2676ba13999SPaolo Bonzini int offset; /* For MMX and SSE */ 2686ba13999SPaolo Bonzini 2696ba13999SPaolo Bonzini /* 2706ba13999SPaolo Bonzini * This field is used internally by macros OP0_PTR/OP1_PTR/OP2_PTR, 2716ba13999SPaolo Bonzini * do not access directly! 2726ba13999SPaolo Bonzini */ 2736ba13999SPaolo Bonzini TCGv_ptr v_ptr; 274b3e22b23SPaolo Bonzini } X86DecodedOp; 275b3e22b23SPaolo Bonzini 276b3e22b23SPaolo Bonzini struct X86DecodedInsn { 277b3e22b23SPaolo Bonzini X86OpEntry e; 278b3e22b23SPaolo Bonzini X86DecodedOp op[3]; 279b3e22b23SPaolo Bonzini target_ulong immediate; 280b3e22b23SPaolo Bonzini AddressParts mem; 281b3e22b23SPaolo Bonzini 282b3e22b23SPaolo Bonzini uint8_t b; 283b3e22b23SPaolo Bonzini }; 284b3e22b23SPaolo Bonzini 285