VirtualBox

source: vbox/trunk/src/VBox/Disassembler/DisasmInternal.h@ 95248

Last change on this file since 95248 was 95167, checked in by vboxsync, 3 years ago

VMM/IEM,DIS: Refreshed my memory on generating disassembler tables from IEM, making some related VEX table+code optimizations (saves a few Ks of data and some code bytes too). bugref:6251
  • Property svn:eol-style set to native
  • Property svn:keywords set to Author Date Id Revision
File size: 8.3 KB
Line 
1/* $Id: DisasmInternal.h 95167 2022-06-01 19:38:29Z vboxsync $ */
2/** @file
3 * VBox disassembler - Internal header.
4 */
5
6/*
7 * Copyright (C) 2006-2022 Oracle Corporation
8 *
9 * This file is part of VirtualBox Open Source Edition (OSE), as
10 * available from http://www.virtualbox.org. This file is free software;
11 * you can redistribute it and/or modify it under the terms of the GNU
12 * General Public License (GPL) as published by the Free Software
13 * Foundation, in version 2 as it comes in the "COPYING" file of the
14 * VirtualBox OSE distribution. VirtualBox OSE is distributed in the
15 * hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
16 */
17
18#ifndef VBOX_INCLUDED_SRC_DisasmInternal_h
19#define VBOX_INCLUDED_SRC_DisasmInternal_h
20#ifndef RT_WITHOUT_PRAGMA_ONCE
21# pragma once
22#endif
23
24#include <VBox/types.h>
25#include <VBox/dis.h>
26
27
28/** @defgroup grp_dis_int Internals.
29 * @ingroup grp_dis
30 * @{
31 */
32
33/** @name Index into g_apfnCalcSize and g_apfnFullDisasm.
34 * @{ */
35enum IDX_Parse
36{
37 IDX_ParseNop = 0,
38 IDX_ParseModRM,
39 IDX_UseModRM,
40 IDX_ParseImmByte,
41 IDX_ParseImmBRel,
42 IDX_ParseImmUshort,
43 IDX_ParseImmV,
44 IDX_ParseImmVRel,
45 IDX_ParseImmAddr,
46 IDX_ParseFixedReg,
47 IDX_ParseImmUlong,
48 IDX_ParseImmQword,
49 IDX_ParseTwoByteEsc,
50 IDX_ParseGrp1,
51 IDX_ParseShiftGrp2,
52 IDX_ParseGrp3,
53 IDX_ParseGrp4,
54 IDX_ParseGrp5,
55 IDX_Parse3DNow,
56 IDX_ParseGrp6,
57 IDX_ParseGrp7,
58 IDX_ParseGrp8,
59 IDX_ParseGrp9,
60 IDX_ParseGrp10,
61 IDX_ParseGrp12,
62 IDX_ParseGrp13,
63 IDX_ParseGrp14,
64 IDX_ParseGrp15,
65 IDX_ParseGrp16,
66 IDX_ParseModFence,
67 IDX_ParseYv,
68 IDX_ParseYb,
69 IDX_ParseXv,
70 IDX_ParseXb,
71 IDX_ParseEscFP,
72 IDX_ParseNopPause,
73 IDX_ParseImmByteSX,
74 IDX_ParseImmZ,
75 IDX_ParseThreeByteEsc4,
76 IDX_ParseThreeByteEsc5,
77 IDX_ParseImmAddrF,
78 IDX_ParseInvOpModRM,
79 IDX_ParseVex2b,
80 IDX_ParseVex3b,
81 IDX_ParseVexDest,
82 IDX_ParseMax
83};
84AssertCompile(IDX_ParseMax < 64 /* Packed DISOPCODE assumption. */);
85/** @} */
86
87/**
88 * Opcode map descriptor.
89 *
90 * This is used a number of places to save storage space where there are lots of
91 * invalid instructions and the beginning or end of the map.
92 */
93typedef struct DISOPMAPDESC
94{
95 /** Pointer to the opcodes described by this structure. */
96 PCDISOPCODE papOpcodes;
97#if ARCH_BITS <= 32
98 uint16_t
99#else
100 uint32_t
101#endif
102 /** The map index corresponding to the first papOpcodes entry. */
103 idxFirst,
104 /** Number of opcodes in the map. */
105 cOpcodes;
106} DISOPMAPDESC;
107/** Pointer to a const opcode map descriptor. */
108typedef DISOPMAPDESC const *PCDISOPMAPDESC;
109
110/** @name Opcode maps.
111 * @{ */
112extern const DISOPCODE g_InvalidOpcode[1];
113
114extern const DISOPCODE g_aOneByteMapX86[256];
115extern const DISOPCODE g_aOneByteMapX64[256];
116extern const DISOPCODE g_aTwoByteMapX86[256];
117
118/** Two byte opcode map with prefix 0x66 */
119extern const DISOPCODE g_aTwoByteMapX86_PF66[256];
120
121/** Two byte opcode map with prefix 0xF2 */
122extern const DISOPCODE g_aTwoByteMapX86_PFF2[256];
123
124/** Two byte opcode map with prefix 0xF3 */
125extern const DISOPCODE g_aTwoByteMapX86_PFF3[256];
126
127/** Three byte opcode map (0xF 0x38) */
128extern PCDISOPCODE const g_apThreeByteMapX86_0F38[16];
129
130/** Three byte opcode map with prefix 0x66 (0xF 0x38) */
131extern PCDISOPCODE const g_apThreeByteMapX86_660F38[16];
132
133/** Three byte opcode map with prefix 0xF2 (0xF 0x38) */
134extern PCDISOPCODE const g_apThreeByteMapX86_F20F38[16];
135
136/** Three byte opcode map with prefix 0xF3 (0xF 0x38) */
137extern PCDISOPCODE const g_apThreeByteMapX86_F30F38[16];
138
139extern PCDISOPCODE const g_apThreeByteMapX86_0F3A[16];
140
141/** Three byte opcode map with prefix 0x66 (0xF 0x3A) */
142extern PCDISOPCODE const g_apThreeByteMapX86_660F3A[16];
143
144/** Three byte opcode map with prefixes 0x66 0xF2 (0xF 0x38) */
145extern PCDISOPCODE const g_apThreeByteMapX86_66F20F38[16];
146
147/** VEX opcodes table defined by [VEX.m-mmmm - 1].
148 * 0Fh, 0F38h, 0F3Ah correspondingly, VEX.pp = 00b */
149extern PCDISOPMAPDESC const g_apVexOpcodesMapRanges_None[3];
150
151/** VEX opcodes table defined by [VEX.m-mmmm - 1].
152 * 0Fh, 0F38h, 0F3Ah correspondingly, VEX.pp = 01b (66h) */
153extern PCDISOPMAPDESC const g_apVexOpcodesMapRanges_66H[3];
154
155/** 0Fh, 0F38h, 0F3Ah correspondingly, VEX.pp = 10b (F3h) */
156extern PCDISOPMAPDESC const g_apVexOpcodesMapRanges_F3H[3];
157
158/** 0Fh, 0F38h, 0F3Ah correspondingly, VEX.pp = 11b (F2h) */
159extern PCDISOPMAPDESC const g_apVexOpcodesMapRanges_F2H[3];
160
161/** Two dimmentional map descriptor array: first index is by VEX.pp (prefix),
162 * second by the VEX.mmmm (map).
163 * The latter has to be bounced checked as we only have the first 4 maps. */
164extern PCDISOPMAPDESC const g_aapVexOpcodesMapRanges[4][4];
165/** @} */
166
167/** @name Opcode extensions (Group tables)
168 * @{ */
169extern const DISOPCODE g_aMapX86_Group1[8*4];
170extern const DISOPCODE g_aMapX86_Group2[8*6];
171extern const DISOPCODE g_aMapX86_Group3[8*2];
172extern const DISOPCODE g_aMapX86_Group4[8];
173extern const DISOPCODE g_aMapX86_Group5[8];
174extern const DISOPCODE g_aMapX86_Group6[8];
175extern const DISOPCODE g_aMapX86_Group7_mem[8];
176extern const DISOPCODE g_aMapX86_Group7_mod11_rm000[8];
177extern const DISOPCODE g_aMapX86_Group7_mod11_rm001[8];
178extern const DISOPCODE g_aMapX86_Group8[8];
179extern const DISOPCODE g_aMapX86_Group9[8];
180extern const DISOPCODE g_aMapX86_Group10[8];
181extern const DISOPCODE g_aMapX86_Group11[8*2];
182extern const DISOPCODE g_aMapX86_Group12[8*2];
183extern const DISOPCODE g_aMapX86_Group13[8*2];
184extern const DISOPCODE g_aMapX86_Group14[8*2];
185extern const DISOPCODE g_aMapX86_Group15_mem[8];
186extern const DISOPCODE g_aMapX86_Group15_mod11_rm000[8];
187extern const DISOPCODE g_aMapX86_Group16[8];
188extern const DISOPCODE g_aMapX86_NopPause[2];
189/** @} */
190
191/** 3DNow! map (0x0F 0x0F prefix) */
192extern const DISOPCODE g_aTwoByteMapX86_3DNow[256];
193
194/** Floating point opcodes starting with escape byte 0xDF
195 * @{ */
196extern const DISOPCODE g_aMapX86_EscF0_Low[8];
197extern const DISOPCODE g_aMapX86_EscF0_High[16*4];
198extern const DISOPCODE g_aMapX86_EscF1_Low[8];
199extern const DISOPCODE g_aMapX86_EscF1_High[16*4];
200extern const DISOPCODE g_aMapX86_EscF2_Low[8];
201extern const DISOPCODE g_aMapX86_EscF2_High[16*4];
202extern const DISOPCODE g_aMapX86_EscF3_Low[8];
203extern const DISOPCODE g_aMapX86_EscF3_High[16*4];
204extern const DISOPCODE g_aMapX86_EscF4_Low[8];
205extern const DISOPCODE g_aMapX86_EscF4_High[16*4];
206extern const DISOPCODE g_aMapX86_EscF5_Low[8];
207extern const DISOPCODE g_aMapX86_EscF5_High[16*4];
208extern const DISOPCODE g_aMapX86_EscF6_Low[8];
209extern const DISOPCODE g_aMapX86_EscF6_High[16*4];
210extern const DISOPCODE g_aMapX86_EscF7_Low[8];
211extern const DISOPCODE g_aMapX86_EscF7_High[16*4];
212
213extern const PCDISOPCODE g_apMapX86_FP_Low[8];
214extern const PCDISOPCODE g_apMapX86_FP_High[8];
215/** @} */
216
217/** @def OP
218 * Wrapper which initializes an DISOPCODE.
219 * We must use this so that we can exclude unused fields in order
220 * to save precious bytes in the GC version.
221 *
222 * @internal
223 */
224#if DISOPCODE_FORMAT == 0
225# define OP(pszOpcode, idxParse1, idxParse2, idxParse3, opcode, param1, param2, param3, optype) \
226 { pszOpcode, idxParse1, idxParse2, idxParse3, 0, opcode, param1, param2, param3, 0, 0, optype }
227# define OPVEX(pszOpcode, idxParse1, idxParse2, idxParse3, idxParse4, opcode, param1, param2, param3, param4, optype) \
228 { pszOpcode, idxParse1, idxParse2, idxParse3, idxParse4, opcode, param1, param2, param3, param4, 0, optype | DISOPTYPE_SSE }
229
230#elif DISOPCODE_FORMAT == 16
231# define OP(pszOpcode, idxParse1, idxParse2, idxParse3, opcode, param1, param2, param3, optype) \
232 { optype, opcode, idxParse1, idxParse2, param1, param2, idxParse3, param3, 0, 0 }
233# define OPVEX(pszOpcode, idxParse1, idxParse2, idxParse3, idxParse4, opcode, param1, param2, param3, param4, optype) \
234 { optype | DISOPTYPE_SSE, opcode, idxParse1, idxParse2, param1, param2, idxParse3, param3, param4, idxParse4 }
235
236#elif DISOPCODE_FORMAT == 15
237# define OP(pszOpcode, idxParse1, idxParse2, idxParse3, opcode, param1, param2, param3, optype) \
238 { opcode, idxParse1, idxParse2, idxParse3, param1, param2, param3, optype, 0, 0 }
239# define OPVEX(pszOpcode, idxParse1, idxParse2, idxParse3, idxParse4, opcode, param1, param2, param3, param4, optype) \
240 { opcode, idxParse1, idxParse2, idxParse3, param1, param2, param3, optype | DISOPTYPE_SSE, param4, idxParse4 }
241#else
242# error Unsupported DISOPCODE_FORMAT value
243#endif
244
245
246size_t disFormatBytes(PCDISSTATE pDis, char *pszDst, size_t cchDst, uint32_t fFlags);
247
248/** @} */
249#endif /* !VBOX_INCLUDED_SRC_DisasmInternal_h */
250
Note: See TracBrowser for help on using the repository browser.

© 2024 Oracle Support Privacy / Do Not Sell My Info Terms of Use Trademark Policy Automated Access Etiquette