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 */ 50b3e22b23SPaolo Bonzini X86_TYPE_2op, /* 2-operand RMW instruction */ 51b3e22b23SPaolo Bonzini X86_TYPE_LoBits, /* encoded in bits 0-2 of the operand + REX.B */ 52b3e22b23SPaolo Bonzini X86_TYPE_0, /* Hard-coded GPRs (RAX..RDI) */ 53b3e22b23SPaolo Bonzini X86_TYPE_1, 54b3e22b23SPaolo Bonzini X86_TYPE_2, 55b3e22b23SPaolo Bonzini X86_TYPE_3, 56b3e22b23SPaolo Bonzini X86_TYPE_4, 57b3e22b23SPaolo Bonzini X86_TYPE_5, 58b3e22b23SPaolo Bonzini X86_TYPE_6, 59b3e22b23SPaolo Bonzini X86_TYPE_7, 60b3e22b23SPaolo Bonzini X86_TYPE_ES, /* Hard-coded segment registers */ 61b3e22b23SPaolo Bonzini X86_TYPE_CS, 62b3e22b23SPaolo Bonzini X86_TYPE_SS, 63b3e22b23SPaolo Bonzini X86_TYPE_DS, 64b3e22b23SPaolo Bonzini X86_TYPE_FS, 65b3e22b23SPaolo Bonzini X86_TYPE_GS, 66b3e22b23SPaolo Bonzini } X86OpType; 67b3e22b23SPaolo Bonzini 68b3e22b23SPaolo Bonzini typedef enum X86OpSize { 69b3e22b23SPaolo Bonzini X86_SIZE_None, 70b3e22b23SPaolo Bonzini 71b3e22b23SPaolo Bonzini X86_SIZE_a, /* BOUND operand */ 72b3e22b23SPaolo Bonzini X86_SIZE_b, /* byte */ 73b3e22b23SPaolo Bonzini X86_SIZE_d, /* 32-bit */ 74b3e22b23SPaolo Bonzini X86_SIZE_dq, /* SSE/AVX 128-bit */ 75b3e22b23SPaolo Bonzini X86_SIZE_p, /* Far pointer */ 76b3e22b23SPaolo Bonzini X86_SIZE_pd, /* SSE/AVX packed double precision */ 77b3e22b23SPaolo Bonzini X86_SIZE_pi, /* MMX */ 78b3e22b23SPaolo Bonzini X86_SIZE_ps, /* SSE/AVX packed single precision */ 79b3e22b23SPaolo Bonzini X86_SIZE_q, /* 64-bit */ 80b3e22b23SPaolo Bonzini X86_SIZE_qq, /* AVX 256-bit */ 81b3e22b23SPaolo Bonzini X86_SIZE_s, /* Descriptor */ 82b3e22b23SPaolo Bonzini X86_SIZE_sd, /* SSE/AVX scalar double precision */ 83b3e22b23SPaolo Bonzini X86_SIZE_ss, /* SSE/AVX scalar single precision */ 84b3e22b23SPaolo Bonzini X86_SIZE_si, /* 32-bit GPR */ 85b3e22b23SPaolo Bonzini X86_SIZE_v, /* 16/32/64-bit, based on operand size */ 86b3e22b23SPaolo Bonzini X86_SIZE_w, /* 16-bit */ 87b3e22b23SPaolo Bonzini X86_SIZE_x, /* 128/256-bit, based on operand size */ 88b3e22b23SPaolo Bonzini X86_SIZE_y, /* 32/64-bit, based on operand size */ 89b3e22b23SPaolo Bonzini X86_SIZE_z, /* 16-bit for 16-bit operand size, else 32-bit */ 90b3e22b23SPaolo Bonzini 91b3e22b23SPaolo Bonzini /* Custom */ 92b3e22b23SPaolo Bonzini X86_SIZE_d64, 93b3e22b23SPaolo Bonzini X86_SIZE_f64, 94b3e22b23SPaolo Bonzini } X86OpSize; 95b3e22b23SPaolo Bonzini 96caa01fadSPaolo Bonzini typedef enum X86CPUIDFeature { 97caa01fadSPaolo Bonzini X86_FEAT_None, 98caa01fadSPaolo Bonzini X86_FEAT_ADX, 99caa01fadSPaolo Bonzini X86_FEAT_AES, 100caa01fadSPaolo Bonzini X86_FEAT_AVX, 101caa01fadSPaolo Bonzini X86_FEAT_AVX2, 102caa01fadSPaolo Bonzini X86_FEAT_BMI1, 103caa01fadSPaolo Bonzini X86_FEAT_BMI2, 104caa01fadSPaolo Bonzini X86_FEAT_MOVBE, 105caa01fadSPaolo Bonzini X86_FEAT_PCLMULQDQ, 106caa01fadSPaolo Bonzini X86_FEAT_SSE, 107caa01fadSPaolo Bonzini X86_FEAT_SSE2, 108caa01fadSPaolo Bonzini X86_FEAT_SSE3, 109caa01fadSPaolo Bonzini X86_FEAT_SSSE3, 110caa01fadSPaolo Bonzini X86_FEAT_SSE41, 111caa01fadSPaolo Bonzini X86_FEAT_SSE42, 112caa01fadSPaolo Bonzini X86_FEAT_SSE4A, 113caa01fadSPaolo Bonzini } X86CPUIDFeature; 114caa01fadSPaolo Bonzini 115b3e22b23SPaolo Bonzini /* Execution flags */ 116b3e22b23SPaolo Bonzini 117b3e22b23SPaolo Bonzini typedef enum X86OpUnit { 118b3e22b23SPaolo Bonzini X86_OP_SKIP, /* not valid or managed by emission function */ 119b3e22b23SPaolo Bonzini X86_OP_SEG, /* segment selector */ 120b3e22b23SPaolo Bonzini X86_OP_CR, /* control register */ 121b3e22b23SPaolo Bonzini X86_OP_DR, /* debug register */ 122b3e22b23SPaolo Bonzini X86_OP_INT, /* loaded into/stored from s->T0/T1 */ 123b3e22b23SPaolo Bonzini X86_OP_IMM, /* immediate */ 124b3e22b23SPaolo Bonzini X86_OP_SSE, /* address in either s->ptrX or s->A0 depending on has_ea */ 125b3e22b23SPaolo Bonzini X86_OP_MMX, /* address in either s->ptrX or s->A0 depending on has_ea */ 126b3e22b23SPaolo Bonzini } X86OpUnit; 127b3e22b23SPaolo Bonzini 128b3e22b23SPaolo Bonzini typedef enum X86InsnSpecial { 129b3e22b23SPaolo Bonzini X86_SPECIAL_None, 130b3e22b23SPaolo Bonzini 131b3e22b23SPaolo Bonzini /* Always locked if it has a memory operand (XCHG) */ 132b3e22b23SPaolo Bonzini X86_SPECIAL_Locked, 133b3e22b23SPaolo Bonzini 134b3e22b23SPaolo Bonzini /* Fault outside protected mode */ 135b3e22b23SPaolo Bonzini X86_SPECIAL_ProtMode, 136b3e22b23SPaolo Bonzini 137b3e22b23SPaolo Bonzini /* 138b3e22b23SPaolo Bonzini * Register operand 0/2 is zero extended to 32 bits. Rd/Mb or Rd/Mw 139b3e22b23SPaolo Bonzini * in the manual. 140b3e22b23SPaolo Bonzini */ 141b3e22b23SPaolo Bonzini X86_SPECIAL_ZExtOp0, 142b3e22b23SPaolo Bonzini X86_SPECIAL_ZExtOp2, 143b3e22b23SPaolo Bonzini 144b3e22b23SPaolo Bonzini /* 145b3e22b23SPaolo Bonzini * MMX instruction exists with no prefix; if there is no prefix, V/H/W/U operands 146b3e22b23SPaolo Bonzini * become P/P/Q/N, and size "x" becomes "q". 147b3e22b23SPaolo Bonzini */ 148b3e22b23SPaolo Bonzini X86_SPECIAL_MMX, 149b3e22b23SPaolo Bonzini 150b3e22b23SPaolo Bonzini /* Illegal or exclusive to 64-bit mode */ 151b3e22b23SPaolo Bonzini X86_SPECIAL_i64, 152b3e22b23SPaolo Bonzini X86_SPECIAL_o64, 153b3e22b23SPaolo Bonzini } X86InsnSpecial; 154b3e22b23SPaolo Bonzini 155*20581aadSPaolo Bonzini /* 156*20581aadSPaolo Bonzini * Special cases for instructions that operate on XMM/YMM registers. Intel 157*20581aadSPaolo Bonzini * retconned all of them to have VEX exception classes other than 0 and 13, so 158*20581aadSPaolo Bonzini * all these only matter for instructions that have a VEX exception class. 159*20581aadSPaolo Bonzini * Based on tables in the "AVX and SSE Instruction Exception Specification" 160*20581aadSPaolo Bonzini * section of the manual. 161*20581aadSPaolo Bonzini */ 162*20581aadSPaolo Bonzini typedef enum X86VEXSpecial { 163*20581aadSPaolo Bonzini /* Legacy SSE instructions that allow unaligned operands */ 164*20581aadSPaolo Bonzini X86_VEX_SSEUnaligned, 165*20581aadSPaolo Bonzini 166*20581aadSPaolo Bonzini /* 167*20581aadSPaolo Bonzini * Used for instructions that distinguish the XMM operand type with an 168*20581aadSPaolo Bonzini * instruction prefix; legacy SSE encodings will allow unaligned operands 169*20581aadSPaolo Bonzini * for scalar operands only (identified by a REP prefix). In this case, 170*20581aadSPaolo Bonzini * the decoding table uses "x" for the vector operands instead of specifying 171*20581aadSPaolo Bonzini * pd/ps/sd/ss individually. 172*20581aadSPaolo Bonzini */ 173*20581aadSPaolo Bonzini X86_VEX_REPScalar, 174*20581aadSPaolo Bonzini 175*20581aadSPaolo Bonzini /* 176*20581aadSPaolo Bonzini * VEX instructions that only support 256-bit operands with AVX2 (Table 2-17 177*20581aadSPaolo Bonzini * column 3). Columns 2 and 4 (instructions limited to 256- and 127-bit 178*20581aadSPaolo Bonzini * operands respectively) are implicit in the presence of dq and qq 179*20581aadSPaolo Bonzini * operands, and thus handled by decode_op_size. 180*20581aadSPaolo Bonzini */ 181*20581aadSPaolo Bonzini X86_VEX_AVX2_256, 182*20581aadSPaolo Bonzini } X86VEXSpecial; 183*20581aadSPaolo Bonzini 184*20581aadSPaolo Bonzini 185b3e22b23SPaolo Bonzini typedef struct X86OpEntry X86OpEntry; 186b3e22b23SPaolo Bonzini typedef struct X86DecodedInsn X86DecodedInsn; 187b3e22b23SPaolo Bonzini 188b3e22b23SPaolo Bonzini /* Decode function for multibyte opcodes. */ 189b3e22b23SPaolo Bonzini typedef void (*X86DecodeFunc)(DisasContext *s, CPUX86State *env, X86OpEntry *entry, uint8_t *b); 190b3e22b23SPaolo Bonzini 191b3e22b23SPaolo Bonzini /* Code generation function. */ 192b3e22b23SPaolo Bonzini typedef void (*X86GenFunc)(DisasContext *s, CPUX86State *env, X86DecodedInsn *decode); 193b3e22b23SPaolo Bonzini 194b3e22b23SPaolo Bonzini struct X86OpEntry { 195b3e22b23SPaolo Bonzini /* Based on the is_decode flags. */ 196b3e22b23SPaolo Bonzini union { 197b3e22b23SPaolo Bonzini X86GenFunc gen; 198b3e22b23SPaolo Bonzini X86DecodeFunc decode; 199b3e22b23SPaolo Bonzini }; 200b3e22b23SPaolo Bonzini /* op0 is always written, op1 and op2 are always read. */ 201b3e22b23SPaolo Bonzini X86OpType op0:8; 202b3e22b23SPaolo Bonzini X86OpSize s0:8; 203b3e22b23SPaolo Bonzini X86OpType op1:8; 204b3e22b23SPaolo Bonzini X86OpSize s1:8; 205b3e22b23SPaolo Bonzini X86OpType op2:8; 206b3e22b23SPaolo Bonzini X86OpSize s2:8; 207b3e22b23SPaolo Bonzini /* Must be I and b respectively if present. */ 208b3e22b23SPaolo Bonzini X86OpType op3:8; 209b3e22b23SPaolo Bonzini X86OpSize s3:8; 210b3e22b23SPaolo Bonzini 211b3e22b23SPaolo Bonzini X86InsnSpecial special:8; 212caa01fadSPaolo Bonzini X86CPUIDFeature cpuid:8; 213*20581aadSPaolo Bonzini unsigned vex_class:8; 214*20581aadSPaolo Bonzini X86VEXSpecial vex_special:8; 215b3e22b23SPaolo Bonzini bool is_decode:1; 216b3e22b23SPaolo Bonzini }; 217b3e22b23SPaolo Bonzini 218b3e22b23SPaolo Bonzini typedef struct X86DecodedOp { 219b3e22b23SPaolo Bonzini int8_t n; 220b3e22b23SPaolo Bonzini MemOp ot; /* For b/c/d/p/s/q/v/w/y/z */ 221b3e22b23SPaolo Bonzini X86OpUnit unit; 222b3e22b23SPaolo Bonzini bool has_ea; 2236ba13999SPaolo Bonzini int offset; /* For MMX and SSE */ 2246ba13999SPaolo Bonzini 2256ba13999SPaolo Bonzini /* 2266ba13999SPaolo Bonzini * This field is used internally by macros OP0_PTR/OP1_PTR/OP2_PTR, 2276ba13999SPaolo Bonzini * do not access directly! 2286ba13999SPaolo Bonzini */ 2296ba13999SPaolo Bonzini TCGv_ptr v_ptr; 230b3e22b23SPaolo Bonzini } X86DecodedOp; 231b3e22b23SPaolo Bonzini 232b3e22b23SPaolo Bonzini struct X86DecodedInsn { 233b3e22b23SPaolo Bonzini X86OpEntry e; 234b3e22b23SPaolo Bonzini X86DecodedOp op[3]; 235b3e22b23SPaolo Bonzini target_ulong immediate; 236b3e22b23SPaolo Bonzini AddressParts mem; 237b3e22b23SPaolo Bonzini 238b3e22b23SPaolo Bonzini uint8_t b; 239b3e22b23SPaolo Bonzini }; 240b3e22b23SPaolo Bonzini 241