xref: /qemu/target/i386/tcg/decode-new.h (revision caa01fadbef15f0e2a5ac7bfc7372a4b4244687f)
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 
96*caa01fadSPaolo Bonzini typedef enum X86CPUIDFeature {
97*caa01fadSPaolo Bonzini     X86_FEAT_None,
98*caa01fadSPaolo Bonzini     X86_FEAT_ADX,
99*caa01fadSPaolo Bonzini     X86_FEAT_AES,
100*caa01fadSPaolo Bonzini     X86_FEAT_AVX,
101*caa01fadSPaolo Bonzini     X86_FEAT_AVX2,
102*caa01fadSPaolo Bonzini     X86_FEAT_BMI1,
103*caa01fadSPaolo Bonzini     X86_FEAT_BMI2,
104*caa01fadSPaolo Bonzini     X86_FEAT_MOVBE,
105*caa01fadSPaolo Bonzini     X86_FEAT_PCLMULQDQ,
106*caa01fadSPaolo Bonzini     X86_FEAT_SSE,
107*caa01fadSPaolo Bonzini     X86_FEAT_SSE2,
108*caa01fadSPaolo Bonzini     X86_FEAT_SSE3,
109*caa01fadSPaolo Bonzini     X86_FEAT_SSSE3,
110*caa01fadSPaolo Bonzini     X86_FEAT_SSE41,
111*caa01fadSPaolo Bonzini     X86_FEAT_SSE42,
112*caa01fadSPaolo Bonzini     X86_FEAT_SSE4A,
113*caa01fadSPaolo Bonzini } X86CPUIDFeature;
114*caa01fadSPaolo 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 
155b3e22b23SPaolo Bonzini typedef struct X86OpEntry  X86OpEntry;
156b3e22b23SPaolo Bonzini typedef struct X86DecodedInsn X86DecodedInsn;
157b3e22b23SPaolo Bonzini 
158b3e22b23SPaolo Bonzini /* Decode function for multibyte opcodes.  */
159b3e22b23SPaolo Bonzini typedef void (*X86DecodeFunc)(DisasContext *s, CPUX86State *env, X86OpEntry *entry, uint8_t *b);
160b3e22b23SPaolo Bonzini 
161b3e22b23SPaolo Bonzini /* Code generation function.  */
162b3e22b23SPaolo Bonzini typedef void (*X86GenFunc)(DisasContext *s, CPUX86State *env, X86DecodedInsn *decode);
163b3e22b23SPaolo Bonzini 
164b3e22b23SPaolo Bonzini struct X86OpEntry {
165b3e22b23SPaolo Bonzini     /* Based on the is_decode flags.  */
166b3e22b23SPaolo Bonzini     union {
167b3e22b23SPaolo Bonzini         X86GenFunc gen;
168b3e22b23SPaolo Bonzini         X86DecodeFunc decode;
169b3e22b23SPaolo Bonzini     };
170b3e22b23SPaolo Bonzini     /* op0 is always written, op1 and op2 are always read.  */
171b3e22b23SPaolo Bonzini     X86OpType    op0:8;
172b3e22b23SPaolo Bonzini     X86OpSize    s0:8;
173b3e22b23SPaolo Bonzini     X86OpType    op1:8;
174b3e22b23SPaolo Bonzini     X86OpSize    s1:8;
175b3e22b23SPaolo Bonzini     X86OpType    op2:8;
176b3e22b23SPaolo Bonzini     X86OpSize    s2:8;
177b3e22b23SPaolo Bonzini     /* Must be I and b respectively if present.  */
178b3e22b23SPaolo Bonzini     X86OpType    op3:8;
179b3e22b23SPaolo Bonzini     X86OpSize    s3:8;
180b3e22b23SPaolo Bonzini 
181b3e22b23SPaolo Bonzini     X86InsnSpecial special:8;
182*caa01fadSPaolo Bonzini     X86CPUIDFeature cpuid:8;
183b3e22b23SPaolo Bonzini     bool         is_decode:1;
184b3e22b23SPaolo Bonzini };
185b3e22b23SPaolo Bonzini 
186b3e22b23SPaolo Bonzini typedef struct X86DecodedOp {
187b3e22b23SPaolo Bonzini     int8_t n;
188b3e22b23SPaolo Bonzini     MemOp ot;     /* For b/c/d/p/s/q/v/w/y/z */
189b3e22b23SPaolo Bonzini     X86OpUnit unit;
190b3e22b23SPaolo Bonzini     bool has_ea;
1916ba13999SPaolo Bonzini     int offset;   /* For MMX and SSE */
1926ba13999SPaolo Bonzini 
1936ba13999SPaolo Bonzini     /*
1946ba13999SPaolo Bonzini      * This field is used internally by macros OP0_PTR/OP1_PTR/OP2_PTR,
1956ba13999SPaolo Bonzini      * do not access directly!
1966ba13999SPaolo Bonzini      */
1976ba13999SPaolo Bonzini     TCGv_ptr v_ptr;
198b3e22b23SPaolo Bonzini } X86DecodedOp;
199b3e22b23SPaolo Bonzini 
200b3e22b23SPaolo Bonzini struct X86DecodedInsn {
201b3e22b23SPaolo Bonzini     X86OpEntry e;
202b3e22b23SPaolo Bonzini     X86DecodedOp op[3];
203b3e22b23SPaolo Bonzini     target_ulong immediate;
204b3e22b23SPaolo Bonzini     AddressParts mem;
205b3e22b23SPaolo Bonzini 
206b3e22b23SPaolo Bonzini     uint8_t b;
207b3e22b23SPaolo Bonzini };
208b3e22b23SPaolo Bonzini 
209