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 */ 50*6bbeb98dSPaolo 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, 95b3e22b23SPaolo Bonzini } X86OpSize; 96b3e22b23SPaolo Bonzini 97caa01fadSPaolo Bonzini typedef enum X86CPUIDFeature { 98caa01fadSPaolo Bonzini X86_FEAT_None, 99caa01fadSPaolo Bonzini X86_FEAT_ADX, 100caa01fadSPaolo Bonzini X86_FEAT_AES, 101caa01fadSPaolo Bonzini X86_FEAT_AVX, 102caa01fadSPaolo Bonzini X86_FEAT_AVX2, 103caa01fadSPaolo Bonzini X86_FEAT_BMI1, 104caa01fadSPaolo Bonzini X86_FEAT_BMI2, 105caa01fadSPaolo Bonzini X86_FEAT_MOVBE, 106caa01fadSPaolo Bonzini X86_FEAT_PCLMULQDQ, 107caa01fadSPaolo Bonzini X86_FEAT_SSE, 108caa01fadSPaolo Bonzini X86_FEAT_SSE2, 109caa01fadSPaolo Bonzini X86_FEAT_SSE3, 110caa01fadSPaolo Bonzini X86_FEAT_SSSE3, 111caa01fadSPaolo Bonzini X86_FEAT_SSE41, 112caa01fadSPaolo Bonzini X86_FEAT_SSE42, 113caa01fadSPaolo Bonzini X86_FEAT_SSE4A, 114caa01fadSPaolo Bonzini } X86CPUIDFeature; 115caa01fadSPaolo Bonzini 116b3e22b23SPaolo Bonzini /* Execution flags */ 117b3e22b23SPaolo Bonzini 118b3e22b23SPaolo Bonzini typedef enum X86OpUnit { 119b3e22b23SPaolo Bonzini X86_OP_SKIP, /* not valid or managed by emission function */ 120b3e22b23SPaolo Bonzini X86_OP_SEG, /* segment selector */ 121b3e22b23SPaolo Bonzini X86_OP_CR, /* control register */ 122b3e22b23SPaolo Bonzini X86_OP_DR, /* debug register */ 123b3e22b23SPaolo Bonzini X86_OP_INT, /* loaded into/stored from s->T0/T1 */ 124b3e22b23SPaolo Bonzini X86_OP_IMM, /* immediate */ 125b3e22b23SPaolo Bonzini X86_OP_SSE, /* address in either s->ptrX or s->A0 depending on has_ea */ 126b3e22b23SPaolo Bonzini X86_OP_MMX, /* address in either s->ptrX or s->A0 depending on has_ea */ 127b3e22b23SPaolo Bonzini } X86OpUnit; 128b3e22b23SPaolo Bonzini 129b3e22b23SPaolo Bonzini typedef enum X86InsnSpecial { 130b3e22b23SPaolo Bonzini X86_SPECIAL_None, 131b3e22b23SPaolo Bonzini 132b3e22b23SPaolo Bonzini /* Always locked if it has a memory operand (XCHG) */ 133b3e22b23SPaolo Bonzini X86_SPECIAL_Locked, 134b3e22b23SPaolo Bonzini 135b3e22b23SPaolo Bonzini /* Fault outside protected mode */ 136b3e22b23SPaolo Bonzini X86_SPECIAL_ProtMode, 137b3e22b23SPaolo Bonzini 138b3e22b23SPaolo Bonzini /* 139b3e22b23SPaolo Bonzini * Register operand 0/2 is zero extended to 32 bits. Rd/Mb or Rd/Mw 140b3e22b23SPaolo Bonzini * in the manual. 141b3e22b23SPaolo Bonzini */ 142b3e22b23SPaolo Bonzini X86_SPECIAL_ZExtOp0, 143b3e22b23SPaolo Bonzini X86_SPECIAL_ZExtOp2, 144b3e22b23SPaolo Bonzini 145b3e22b23SPaolo Bonzini /* 146b3e22b23SPaolo Bonzini * MMX instruction exists with no prefix; if there is no prefix, V/H/W/U operands 147b3e22b23SPaolo Bonzini * become P/P/Q/N, and size "x" becomes "q". 148b3e22b23SPaolo Bonzini */ 149b3e22b23SPaolo Bonzini X86_SPECIAL_MMX, 150b3e22b23SPaolo Bonzini 151b3e22b23SPaolo Bonzini /* Illegal or exclusive to 64-bit mode */ 152b3e22b23SPaolo Bonzini X86_SPECIAL_i64, 153b3e22b23SPaolo Bonzini X86_SPECIAL_o64, 154b3e22b23SPaolo Bonzini } X86InsnSpecial; 155b3e22b23SPaolo Bonzini 15620581aadSPaolo Bonzini /* 15720581aadSPaolo Bonzini * Special cases for instructions that operate on XMM/YMM registers. Intel 15820581aadSPaolo Bonzini * retconned all of them to have VEX exception classes other than 0 and 13, so 15920581aadSPaolo Bonzini * all these only matter for instructions that have a VEX exception class. 16020581aadSPaolo Bonzini * Based on tables in the "AVX and SSE Instruction Exception Specification" 16120581aadSPaolo Bonzini * section of the manual. 16220581aadSPaolo Bonzini */ 16320581aadSPaolo Bonzini typedef enum X86VEXSpecial { 16420581aadSPaolo Bonzini /* Legacy SSE instructions that allow unaligned operands */ 16520581aadSPaolo Bonzini X86_VEX_SSEUnaligned, 16620581aadSPaolo Bonzini 16720581aadSPaolo Bonzini /* 16820581aadSPaolo Bonzini * Used for instructions that distinguish the XMM operand type with an 16920581aadSPaolo Bonzini * instruction prefix; legacy SSE encodings will allow unaligned operands 17020581aadSPaolo Bonzini * for scalar operands only (identified by a REP prefix). In this case, 17120581aadSPaolo Bonzini * the decoding table uses "x" for the vector operands instead of specifying 17220581aadSPaolo Bonzini * pd/ps/sd/ss individually. 17320581aadSPaolo Bonzini */ 17420581aadSPaolo Bonzini X86_VEX_REPScalar, 17520581aadSPaolo Bonzini 17620581aadSPaolo Bonzini /* 17720581aadSPaolo Bonzini * VEX instructions that only support 256-bit operands with AVX2 (Table 2-17 17820581aadSPaolo Bonzini * column 3). Columns 2 and 4 (instructions limited to 256- and 127-bit 17920581aadSPaolo Bonzini * operands respectively) are implicit in the presence of dq and qq 18020581aadSPaolo Bonzini * operands, and thus handled by decode_op_size. 18120581aadSPaolo Bonzini */ 18220581aadSPaolo Bonzini X86_VEX_AVX2_256, 18320581aadSPaolo Bonzini } X86VEXSpecial; 18420581aadSPaolo Bonzini 18520581aadSPaolo Bonzini 186b3e22b23SPaolo Bonzini typedef struct X86OpEntry X86OpEntry; 187b3e22b23SPaolo Bonzini typedef struct X86DecodedInsn X86DecodedInsn; 188b3e22b23SPaolo Bonzini 189b3e22b23SPaolo Bonzini /* Decode function for multibyte opcodes. */ 190b3e22b23SPaolo Bonzini typedef void (*X86DecodeFunc)(DisasContext *s, CPUX86State *env, X86OpEntry *entry, uint8_t *b); 191b3e22b23SPaolo Bonzini 192b3e22b23SPaolo Bonzini /* Code generation function. */ 193b3e22b23SPaolo Bonzini typedef void (*X86GenFunc)(DisasContext *s, CPUX86State *env, X86DecodedInsn *decode); 194b3e22b23SPaolo Bonzini 195b3e22b23SPaolo Bonzini struct X86OpEntry { 196b3e22b23SPaolo Bonzini /* Based on the is_decode flags. */ 197b3e22b23SPaolo Bonzini union { 198b3e22b23SPaolo Bonzini X86GenFunc gen; 199b3e22b23SPaolo Bonzini X86DecodeFunc decode; 200b3e22b23SPaolo Bonzini }; 201b3e22b23SPaolo Bonzini /* op0 is always written, op1 and op2 are always read. */ 202b3e22b23SPaolo Bonzini X86OpType op0:8; 203b3e22b23SPaolo Bonzini X86OpSize s0:8; 204b3e22b23SPaolo Bonzini X86OpType op1:8; 205b3e22b23SPaolo Bonzini X86OpSize s1:8; 206b3e22b23SPaolo Bonzini X86OpType op2:8; 207b3e22b23SPaolo Bonzini X86OpSize s2:8; 208b3e22b23SPaolo Bonzini /* Must be I and b respectively if present. */ 209b3e22b23SPaolo Bonzini X86OpType op3:8; 210b3e22b23SPaolo Bonzini X86OpSize s3:8; 211b3e22b23SPaolo Bonzini 212b3e22b23SPaolo Bonzini X86InsnSpecial special:8; 213caa01fadSPaolo Bonzini X86CPUIDFeature cpuid:8; 21420581aadSPaolo Bonzini unsigned vex_class:8; 21520581aadSPaolo Bonzini X86VEXSpecial vex_special:8; 21655a33286SPaolo Bonzini uint16_t valid_prefix:16; 217b3e22b23SPaolo Bonzini bool is_decode:1; 218b3e22b23SPaolo Bonzini }; 219b3e22b23SPaolo Bonzini 220b3e22b23SPaolo Bonzini typedef struct X86DecodedOp { 221b3e22b23SPaolo Bonzini int8_t n; 222b3e22b23SPaolo Bonzini MemOp ot; /* For b/c/d/p/s/q/v/w/y/z */ 223b3e22b23SPaolo Bonzini X86OpUnit unit; 224b3e22b23SPaolo Bonzini bool has_ea; 2256ba13999SPaolo Bonzini int offset; /* For MMX and SSE */ 2266ba13999SPaolo Bonzini 2276ba13999SPaolo Bonzini /* 2286ba13999SPaolo Bonzini * This field is used internally by macros OP0_PTR/OP1_PTR/OP2_PTR, 2296ba13999SPaolo Bonzini * do not access directly! 2306ba13999SPaolo Bonzini */ 2316ba13999SPaolo Bonzini TCGv_ptr v_ptr; 232b3e22b23SPaolo Bonzini } X86DecodedOp; 233b3e22b23SPaolo Bonzini 234b3e22b23SPaolo Bonzini struct X86DecodedInsn { 235b3e22b23SPaolo Bonzini X86OpEntry e; 236b3e22b23SPaolo Bonzini X86DecodedOp op[3]; 237b3e22b23SPaolo Bonzini target_ulong immediate; 238b3e22b23SPaolo Bonzini AddressParts mem; 239b3e22b23SPaolo Bonzini 240b3e22b23SPaolo Bonzini uint8_t b; 241b3e22b23SPaolo Bonzini }; 242b3e22b23SPaolo Bonzini 243