1 | /* $Id: bs3-cpu-decoding-1.c32 65776 2017-02-13 17:06:27Z vboxsync $ */
|
---|
2 | /** @file
|
---|
3 | * BS3Kit - bs3-cpu-decoding-1, 32-bit C code.
|
---|
4 | */
|
---|
5 |
|
---|
6 | /*
|
---|
7 | * Copyright (C) 2007-2016 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 | * The contents of this file may alternatively be used under the terms
|
---|
18 | * of the Common Development and Distribution License Version 1.0
|
---|
19 | * (CDDL) only, as it comes in the "COPYING.CDDL" file of the
|
---|
20 | * VirtualBox OSE distribution, in which case the provisions of the
|
---|
21 | * CDDL are applicable instead of those of the GPL.
|
---|
22 | *
|
---|
23 | * You may elect to license modified versions of this file under the
|
---|
24 | * terms and conditions of either the GPL or the CDDL or both.
|
---|
25 | */
|
---|
26 |
|
---|
27 |
|
---|
28 | /*********************************************************************************************************************************
|
---|
29 | * Header Files *
|
---|
30 | *********************************************************************************************************************************/
|
---|
31 | #include <bs3kit.h>
|
---|
32 | #include <iprt/asm-amd64-x86.h>
|
---|
33 |
|
---|
34 |
|
---|
35 | /* bs3-cpu-decoding-1-template.mac: */
|
---|
36 | BS3_DECL_NEAR(void) BS3_CMN_NM(bs3CpuDecoding1_LoadXmm0)(PCRTUINT128U);
|
---|
37 | BS3_DECL_NEAR(void) BS3_CMN_NM(bs3CpuDecoding1_LoadXmm1)(PCRTUINT128U);
|
---|
38 | BS3_DECL_NEAR(void) BS3_CMN_NM(bs3CpuDecoding1_SaveXmm0)(PRTUINT128U);
|
---|
39 |
|
---|
40 |
|
---|
41 | /*********************************************************************************************************************************
|
---|
42 | * Structures and Typedefs *
|
---|
43 | *********************************************************************************************************************************/
|
---|
44 | /**
|
---|
45 | * Simple test.
|
---|
46 | */
|
---|
47 | typedef struct CPUDECODE1TST
|
---|
48 | {
|
---|
49 | uint16_t fFlags;
|
---|
50 | uint8_t cbOpcodes;
|
---|
51 | uint8_t abOpcodes[20];
|
---|
52 | uint8_t cbUd;
|
---|
53 | } CPUDECODE1TST;
|
---|
54 | typedef CPUDECODE1TST BS3_FAR *PCPUDECODE1TST;
|
---|
55 |
|
---|
56 | #define P_CS X86_OP_PRF_CS
|
---|
57 | #define P_SS X86_OP_PRF_SS
|
---|
58 | #define P_DS X86_OP_PRF_DS
|
---|
59 | #define P_ES X86_OP_PRF_ES
|
---|
60 | #define P_FS X86_OP_PRF_FS
|
---|
61 | #define P_GS X86_OP_PRF_GS
|
---|
62 | #define P_OZ X86_OP_PRF_SIZE_OP
|
---|
63 | #define P_AZ X86_OP_PRF_SIZE_ADDR
|
---|
64 | #define P_LK X86_OP_PRF_LOCK
|
---|
65 | #define P_RN X86_OP_PRF_REPNZ
|
---|
66 | #define P_RZ X86_OP_PRF_REPZ
|
---|
67 |
|
---|
68 | #define RM_EAX_EAX ((3 << X86_MODRM_MOD_SHIFT) | (X86_GREG_xAX << X86_MODRM_REG_SHIFT) | (X86_GREG_xAX))
|
---|
69 | #define RM_EAX_DEREF_EBX ((0 << X86_MODRM_MOD_SHIFT) | (X86_GREG_xAX << X86_MODRM_REG_SHIFT) | (X86_GREG_xBX))
|
---|
70 | #define RM_EAX_DEREF_EBX_DISP8 ((1 << X86_MODRM_MOD_SHIFT) | (X86_GREG_xAX << X86_MODRM_REG_SHIFT) | (X86_GREG_xBX))
|
---|
71 | #define RM_EAX_DEREF_EBX_DISP32 ((2 << X86_MODRM_MOD_SHIFT) | (X86_GREG_xAX << X86_MODRM_REG_SHIFT) | (X86_GREG_xBX))
|
---|
72 | #define RM_EAX_SIB ((0 << X86_MODRM_MOD_SHIFT) | (X86_GREG_xAX << X86_MODRM_REG_SHIFT) | 4)
|
---|
73 | #define RM_EAX_SIB_DISP8 ((1 << X86_MODRM_MOD_SHIFT) | (X86_GREG_xAX << X86_MODRM_REG_SHIFT) | 4)
|
---|
74 | #define RM_EAX_SIB_DISP32 ((2 << X86_MODRM_MOD_SHIFT) | (X86_GREG_xAX << X86_MODRM_REG_SHIFT) | 4)
|
---|
75 |
|
---|
76 | #define RM_XMM0_XMM1 ((3 << X86_MODRM_MOD_SHIFT) | (0 << X86_MODRM_REG_SHIFT) | 1)
|
---|
77 |
|
---|
78 | #define SIB_EBX_X1_NONE ((0 << X86_SIB_SCALE_SHIFT) | (4 << X86_SIB_INDEX_SHIFT) | (X86_GREG_xBX))
|
---|
79 | #define SIB_EBX_X2_NONE ((1 << X86_SIB_SCALE_SHIFT) | (4 << X86_SIB_INDEX_SHIFT) | (X86_GREG_xBX))
|
---|
80 | #define SIB_EBX_X4_NONE ((2 << X86_SIB_SCALE_SHIFT) | (4 << X86_SIB_INDEX_SHIFT) | (X86_GREG_xBX))
|
---|
81 | #define SIB_EBX_X8_NONE ((3 << X86_SIB_SCALE_SHIFT) | (4 << X86_SIB_INDEX_SHIFT) | (X86_GREG_xBX))
|
---|
82 |
|
---|
83 | #define F_486 UINT16_C(0x0000)
|
---|
84 | #define F_SSE2 UINT16_C(0x0001)
|
---|
85 | #define F_SSE3 UINT16_C(0x0002)
|
---|
86 | #define F_SSE42 UINT16_C(0x0004)
|
---|
87 | #define F_MOVBE UINT16_C(0x0080)
|
---|
88 | #define F_CBUD UINT16_C(0x4000)
|
---|
89 | #define F_UD UINT16_C(0x8000)
|
---|
90 | #define F_OK UINT16_C(0x0000)
|
---|
91 |
|
---|
92 |
|
---|
93 | /**
|
---|
94 | * This is an exploratory testcase. It tries to figure out how exactly the
|
---|
95 | * different Intel and AMD CPUs implements SSE and similar instructions that
|
---|
96 | * uses the size, repz, repnz and lock prefixes in the encoding.
|
---|
97 | */
|
---|
98 | CPUDECODE1TST const g_aSimpleTests[] =
|
---|
99 | {
|
---|
100 | /*
|
---|
101 | * fFlags, cbUd, cbOpcodes, abOpcodes
|
---|
102 | */
|
---|
103 | #if 0
|
---|
104 | /* Using currently undefined 0x0f 0x7a sequences. */
|
---|
105 | { F_UD, 3, { 0x0f, 0x7a, RM_EAX_EAX, } },
|
---|
106 | { F_UD, 3+1, { P_LK, 0x0f, 0x7a, RM_EAX_EAX, } },
|
---|
107 | { F_UD, 3+1, { P_RZ, 0x0f, 0x7a, RM_EAX_EAX, } },
|
---|
108 | { F_UD, 3+1, { P_RN, 0x0f, 0x7a, RM_EAX_EAX, } },
|
---|
109 | { F_UD, 3+2, { P_LK, P_LK, 0x0f, 0x7a, RM_EAX_EAX, } },
|
---|
110 | { F_UD, 4, { 0x0f, 0x7a, RM_EAX_DEREF_EBX_DISP8, 0 } },
|
---|
111 | { F_UD, 4+1, { P_LK, 0x0f, 0x7a, RM_EAX_DEREF_EBX_DISP8, 0 } },
|
---|
112 | { F_UD, 4+1, { P_RZ, 0x0f, 0x7a, RM_EAX_DEREF_EBX_DISP8, 0 } },
|
---|
113 | { F_UD, 4+1, { P_RN, 0x0f, 0x7a, RM_EAX_DEREF_EBX_DISP8, 0 } },
|
---|
114 | { F_UD, 4+2, { P_LK, P_LK, 0x0f, 0x7a, RM_EAX_DEREF_EBX_DISP8, 0 } },
|
---|
115 | { F_UD, 7, { 0x0f, 0x7a, RM_EAX_DEREF_EBX_DISP32, 0, 0, 0, 0 } },
|
---|
116 | { F_UD, 7+1, { P_LK, 0x0f, 0x7a, RM_EAX_DEREF_EBX_DISP32, 0, 0, 0, 0 } },
|
---|
117 | { F_UD, 7+1, { P_RZ, 0x0f, 0x7a, RM_EAX_DEREF_EBX_DISP32, 0, 0, 0, 0 } },
|
---|
118 | { F_UD, 7+1, { P_RN, 0x0f, 0x7a, RM_EAX_DEREF_EBX_DISP32, 0, 0, 0, 0 } },
|
---|
119 | { F_UD, 7+2, { P_LK, P_LK, 0x0f, 0x7a, RM_EAX_DEREF_EBX_DISP32, 0, 0, 0, 0 } },
|
---|
120 | #endif
|
---|
121 | #if 0
|
---|
122 | /* Ditto for currently undefined sequence: 0x0f 0x7b */
|
---|
123 | { F_UD, 3, { 0x0f, 0x7b, RM_EAX_EAX, } },
|
---|
124 | { F_UD, 3+1, { P_LK, 0x0f, 0x7b, RM_EAX_EAX, } },
|
---|
125 | { F_UD, 3+1, { P_RZ, 0x0f, 0x7b, RM_EAX_EAX, } },
|
---|
126 | { F_UD, 3+1, { P_RN, 0x0f, 0x7b, RM_EAX_EAX, } },
|
---|
127 | { F_UD, 3+2, { P_LK, P_LK, 0x0f, 0x7b, RM_EAX_EAX, } },
|
---|
128 | #endif
|
---|
129 | #if 1
|
---|
130 | /* Ditto for currently undefined sequence: 0x0f 0x24 */
|
---|
131 | { F_UD, 3, { 0x0f, 0x24, RM_EAX_EAX, } },
|
---|
132 | { F_UD, 3+1, { P_LK, 0x0f, 0x24, RM_EAX_EAX, } },
|
---|
133 | { F_UD, 3+1, { P_RZ, 0x0f, 0x24, RM_EAX_EAX, } },
|
---|
134 | { F_UD, 3+1, { P_RN, 0x0f, 0x24, RM_EAX_EAX, } },
|
---|
135 | { F_UD, 3+2, { P_LK, P_LK, 0x0f, 0x24, RM_EAX_EAX, } },
|
---|
136 | #endif
|
---|
137 | #if 0
|
---|
138 | /* The XADD instruction has empty lines for 66, f3 and f2 prefixes.
|
---|
139 | AMD doesn't do anything special for XADD Ev,Gv as the intel table would indicate. */
|
---|
140 | { F_486 | F_OK, 3, { 0x0f, 0xc1, RM_EAX_EAX, } },
|
---|
141 | { F_486 | F_OK, 4, { P_OZ, 0x0f, 0xc1, RM_EAX_EAX, } },
|
---|
142 | { F_486 | F_OK, 4, { P_RZ, 0x0f, 0xc1, RM_EAX_EAX, } },
|
---|
143 | { F_486 | F_OK, 5, { P_OZ, P_RZ, 0x0f, 0xc1, RM_EAX_EAX, } },
|
---|
144 | { F_486 | F_OK, 5, { P_RZ, P_OZ, 0x0f, 0xc1, RM_EAX_EAX, } },
|
---|
145 | { F_486 | F_OK, 4, { P_RN, 0x0f, 0xc1, RM_EAX_EAX, } },
|
---|
146 | { F_486 | F_OK, 5, { P_OZ, P_RN, 0x0f, 0xc1, RM_EAX_EAX, } },
|
---|
147 | { F_486 | F_OK, 5, { P_RN, P_OZ, 0x0f, 0xc1, RM_EAX_EAX, } },
|
---|
148 | #endif
|
---|
149 | #if 0
|
---|
150 | /* The movnti instruction is confined to the unprefixed lined in the intel manuals. Check how the other lines work. */
|
---|
151 | { F_SSE2 | F_UD, 3, { 0x0f, 0xc3, RM_EAX_EAX, } }, /* invalid - reg,reg */
|
---|
152 | { F_SSE2 | F_OK, 3, { 0x0f, 0xc3, RM_EAX_DEREF_EBX, } },
|
---|
153 | { F_SSE2 | F_UD, 4, { P_OZ, 0x0f, 0xc3, RM_EAX_DEREF_EBX, } }, /* invalid */
|
---|
154 | { F_SSE2 | F_UD, 4, { P_RZ, 0x0f, 0xc3, RM_EAX_DEREF_EBX, } }, /* invalid */
|
---|
155 | { F_SSE2 | F_UD, 4, { P_RN, 0x0f, 0xc3, RM_EAX_DEREF_EBX, } }, /* invalid */
|
---|
156 | { F_SSE2 | F_UD, 4, { P_LK, 0x0f, 0xc3, RM_EAX_DEREF_EBX, } }, /* invalid */
|
---|
157 | { F_SSE2 | F_UD, 5, { P_RN, P_LK, 0x0f, 0xc3, RM_EAX_DEREF_EBX, } }, /* invalid */
|
---|
158 | #endif
|
---|
159 | #if 0
|
---|
160 | /* The lddqu instruction requires a 0xf2 prefix, intel only lists 0x66 and empty
|
---|
161 | prefix for it. Check what they really mean by that*/
|
---|
162 | { F_SSE3 | F_UD, 4, { P_RN, 0x0f, 0xf0, RM_EAX_EAX, } }, /* invalid - reg, reg */
|
---|
163 | { F_SSE3 | F_OK, 4, { P_RN, 0x0f, 0xf0, RM_EAX_DEREF_EBX, } },
|
---|
164 | { F_SSE3 | F_OK, 5, { P_RN, P_RN, 0x0f, 0xf0, RM_EAX_DEREF_EBX, } },
|
---|
165 | { F_SSE3 | F_UD, 3, { 0x0f, 0xf0, RM_EAX_DEREF_EBX, } },
|
---|
166 | { F_SSE3 | F_UD, 4, { P_RZ, 0x0f, 0xf0, RM_EAX_DEREF_EBX, } },
|
---|
167 | { F_SSE3 | F_UD, 4, { P_OZ, 0x0f, 0xf0, RM_EAX_DEREF_EBX, } },
|
---|
168 | { F_SSE3 | F_UD, 4, { P_LK, 0x0f, 0xf0, RM_EAX_DEREF_EBX, } },
|
---|
169 | { F_SSE3 | F_UD, 5, { P_RN, P_RZ, 0x0f, 0xf0, RM_EAX_DEREF_EBX, } },
|
---|
170 | { F_SSE3 | F_OK, 5, { P_RN, P_OZ, 0x0f, 0xf0, RM_EAX_DEREF_EBX, } }, // AMD,why?
|
---|
171 | { F_SSE3 | F_UD, 5, { P_RN, P_LK, 0x0f, 0xf0, RM_EAX_DEREF_EBX, } },
|
---|
172 | { F_SSE3 | F_OK, 5, { P_RZ, P_RN, 0x0f, 0xf0, RM_EAX_DEREF_EBX, } },
|
---|
173 | { F_SSE3 | F_OK, 5, { P_OZ, P_RN, 0x0f, 0xf0, RM_EAX_DEREF_EBX, } },
|
---|
174 | { F_SSE3 | F_UD, 5, { P_LK, P_RN, 0x0f, 0xf0, RM_EAX_DEREF_EBX, } },
|
---|
175 | { F_SSE3 | F_OK, 5, { P_OZ, P_RN, 0x0f, 0xf0, RM_EAX_DEREF_EBX, } },
|
---|
176 | { F_SSE3 | F_OK, 6,{ P_OZ, P_RZ, P_RN, 0x0f, 0xf0, RM_EAX_DEREF_EBX, } },
|
---|
177 | #endif
|
---|
178 | #if 0
|
---|
179 | { F_SSE2 | F_OK, 3, { 0x0f, 0x7e, RM_EAX_EAX, } },
|
---|
180 | { F_SSE2 | F_OK, 4, { P_OZ, 0x0f, 0x7e, RM_EAX_EAX, } },
|
---|
181 | { F_SSE2 | F_UD, 5,{ P_RN, P_OZ, 0x0f, 0x7e, RM_EAX_EAX, } }, // WTF?
|
---|
182 | { F_SSE2 | F_UD, 5,{ P_OZ, P_RN, 0x0f, 0x7e, RM_EAX_EAX, } },
|
---|
183 | { F_SSE2 | F_OK, 5,{ P_RZ, P_OZ, 0x0f, 0x7e, RM_EAX_EAX, } },
|
---|
184 | { F_SSE2 | F_OK, 4, { P_RZ, 0x0f, 0x7e, RM_EAX_EAX, } },
|
---|
185 | { F_SSE2 | F_UD, 4, { P_RN, 0x0f, 0x7e, RM_EAX_EAX, } },
|
---|
186 | #endif
|
---|
187 | /** @todo crc32 / movbe */
|
---|
188 | };
|
---|
189 |
|
---|
190 | void DecodeEdgeTest(void)
|
---|
191 | {
|
---|
192 | /*
|
---|
193 | * Allocate and initialize a page pair
|
---|
194 | */
|
---|
195 | uint8_t BS3_FAR *pbPages;
|
---|
196 | pbPages = Bs3MemGuardedTestPageAlloc(BS3MEMKIND_FLAT32);
|
---|
197 | if (pbPages)
|
---|
198 | {
|
---|
199 | unsigned i;
|
---|
200 | BS3REGCTX Ctx;
|
---|
201 | BS3TRAPFRAME TrapFrame;
|
---|
202 |
|
---|
203 | Bs3MemZero(&Ctx, sizeof(Ctx));
|
---|
204 | Bs3MemZero(&TrapFrame, sizeof(TrapFrame));
|
---|
205 |
|
---|
206 | ASMSetCR0((ASMGetCR0() & ~(X86_CR0_EM | X86_CR0_TS)) | X86_CR0_MP);
|
---|
207 | ASMSetCR4(ASMGetCR4() | X86_CR4_OSFXSR);
|
---|
208 |
|
---|
209 | Bs3RegCtxSaveEx(&Ctx, BS3_MODE_CODE_32, 512);
|
---|
210 | Ctx.rbx.u64 = (uintptr_t)pbPages;
|
---|
211 |
|
---|
212 | for (i = 0; i < RT_ELEMENTS(g_aSimpleTests); i++)
|
---|
213 | {
|
---|
214 | unsigned const cbOpcodes = g_aSimpleTests[i].cbOpcodes;
|
---|
215 | uint16_t const fFlags = g_aSimpleTests[i].fFlags;
|
---|
216 | unsigned cb;
|
---|
217 | /** @todo check if supported. */
|
---|
218 |
|
---|
219 | /*
|
---|
220 | * Place the instruction exactly at the page boundrary and proceed to
|
---|
221 | * move it across it and check that we get #PFs then.
|
---|
222 | */
|
---|
223 | cb = cbOpcodes;
|
---|
224 | while (cb >= 1)
|
---|
225 | {
|
---|
226 | unsigned const cErrorsBefore = Bs3TestSubErrorCount();
|
---|
227 | uint8_t BS3_FAR *pbRip = &pbPages[X86_PAGE_SIZE - cb];
|
---|
228 | Bs3MemCpy(pbRip, &g_aSimpleTests[i].abOpcodes[0], cb);
|
---|
229 | Bs3RegCtxSetRipCsFromFlat(&Ctx, (uintptr_t)pbRip);
|
---|
230 | Bs3TrapSetJmpAndRestore(&Ctx, &TrapFrame);
|
---|
231 | #if 1
|
---|
232 | Bs3TestPrintf("\ni=%d cb=%#x (cbOpcodes=%#x fFlags=%#x)\n", i, cb, cbOpcodes, fFlags);
|
---|
233 | // Bs3TrapPrintFrame(&TrapFrame);
|
---|
234 | #endif
|
---|
235 | if (cb >= cbOpcodes && (g_aSimpleTests[i].fFlags & F_UD))
|
---|
236 | {
|
---|
237 | if (TrapFrame.bXcpt != X86_XCPT_UD)
|
---|
238 | Bs3TestFailedF("i=%d cb=%d cbOp=%d fFlags=%#x: expected #UD got %#x at %RX32\n",
|
---|
239 | i, cb, cbOpcodes, fFlags, TrapFrame.bXcpt, TrapFrame.Ctx.rip.u32);
|
---|
240 | }
|
---|
241 | else if (cb < cbOpcodes)
|
---|
242 | {
|
---|
243 | if (TrapFrame.bXcpt != X86_XCPT_PF)
|
---|
244 | Bs3TestFailedF("i=%d cb=%d cbOp=%d fFlags=%#x: expected #PF (on) got %#x at %RX32\n",
|
---|
245 | i, cb, cbOpcodes, fFlags, TrapFrame.bXcpt, TrapFrame.Ctx.rip.u32);
|
---|
246 | else if (TrapFrame.Ctx.rip.u32 != (uintptr_t)pbRip)
|
---|
247 | Bs3TestFailedF("i=%d cb=%d cbOp=%d fFlags=%#x: expected #PF rip of %p (on) got %#RX32\n",
|
---|
248 | i, cb, cbOpcodes, fFlags, pbRip, TrapFrame.Ctx.rip.u32);
|
---|
249 | }
|
---|
250 | else
|
---|
251 | {
|
---|
252 | if (TrapFrame.bXcpt != X86_XCPT_PF)
|
---|
253 | Bs3TestFailedF("i=%d cb=%d cbOp=%d fFlags=%#x: expected #PF (after) got %#x at %RX32\n",
|
---|
254 | i, cb, cbOpcodes, fFlags, TrapFrame.bXcpt, TrapFrame.Ctx.rip.u32);
|
---|
255 | else if (TrapFrame.Ctx.rip.u32 != (uintptr_t)&pbPages[X86_PAGE_SIZE])
|
---|
256 | Bs3TestFailedF("i=%d cb=%d cbOp=%d fFlags=%#x: expected #PF rip of %p (after) got %#RX32\n",
|
---|
257 | i, cb, cbOpcodes, fFlags, &pbPages[X86_PAGE_SIZE], TrapFrame.Ctx.rip.u32);
|
---|
258 | }
|
---|
259 | if (Bs3TestSubErrorCount() != cErrorsBefore)
|
---|
260 | {
|
---|
261 | Bs3TestPrintf(" %.*Rhxs", cb, &g_aSimpleTests[i].abOpcodes[0]);
|
---|
262 | if (cb < cbOpcodes)
|
---|
263 | Bs3TestPrintf("[%.*Rhxs]", cbOpcodes - cb, &g_aSimpleTests[i].abOpcodes[cb]);
|
---|
264 | Bs3TestPrintf("\n");
|
---|
265 | }
|
---|
266 |
|
---|
267 | /* next */
|
---|
268 | cb--;
|
---|
269 | }
|
---|
270 | }
|
---|
271 |
|
---|
272 | Bs3MemGuardedTestPageFree(pbPages);
|
---|
273 | }
|
---|
274 | else
|
---|
275 | Bs3TestFailed("Failed to allocate two pages!\n");
|
---|
276 |
|
---|
277 | /*
|
---|
278 | * Test instruction sequences.
|
---|
279 | */
|
---|
280 |
|
---|
281 |
|
---|
282 | }
|
---|
283 |
|
---|
284 |
|
---|
285 | /**
|
---|
286 | * Undefined opcode test.
|
---|
287 | */
|
---|
288 | typedef struct CPUDECODE1UDTST
|
---|
289 | {
|
---|
290 | /** Type of undefined opcode decoding logic - UD_T_XXX. */
|
---|
291 | uint8_t enmType;
|
---|
292 | /** Core opcodes length. */
|
---|
293 | uint8_t cbOpcodes;
|
---|
294 | /** Core opcodes. */
|
---|
295 | uint8_t abOpcodes[5];
|
---|
296 | /** UD_F_XXX. */
|
---|
297 | uint8_t fFlags;
|
---|
298 | } CPUDECODE1UDTST;
|
---|
299 | typedef CPUDECODE1UDTST const BS3_FAR *PCCPUDECODE1UDTST;
|
---|
300 |
|
---|
301 | #define UD_T_EXACT 0
|
---|
302 | #define UD_T_MODRM 1
|
---|
303 | #define UD_T_MODRM_IMM8 2
|
---|
304 |
|
---|
305 | #define UD_F_ANY_PFX 0
|
---|
306 | #define UD_F_NOT_NO_PFX UINT8_C(0x01) /**< Must have some kind of prefix to be \#UD. */
|
---|
307 | #define UD_F_NOT_OZ_PFX UINT8_C(0x02) /**< Skip the size prefix. */
|
---|
308 | #define UD_F_NOT_RZ_PFX UINT8_C(0x04) /**< Skip the REPZ prefix. */
|
---|
309 | #define UD_F_NOT_RN_PFX UINT8_C(0x08) /**< Skip the REPNZ prefix. */
|
---|
310 | #define UD_F_NOT_LK_PFX UINT8_C(0x10) /**< Skip the LOCK prefix. */
|
---|
311 | #define UD_F_3BYTE_ESC UINT8_C(0x20) /**< Unused 3 byte escape table. Test all 256 entries */
|
---|
312 |
|
---|
313 | /**
|
---|
314 | * Two byte opcodes.
|
---|
315 | */
|
---|
316 | CPUDECODE1UDTST const g_aUdTest2Byte_0f[] =
|
---|
317 | {
|
---|
318 | { UD_T_EXACT, 2, { 0x0f, 0x04 }, UD_F_ANY_PFX },
|
---|
319 | { UD_T_EXACT, 2, { 0x0f, 0x0a }, UD_F_ANY_PFX },
|
---|
320 | { UD_T_EXACT, 2, { 0x0f, 0x0c }, UD_F_ANY_PFX },
|
---|
321 | { UD_T_EXACT, 2, { 0x0f, 0x0e }, UD_F_ANY_PFX },
|
---|
322 | { UD_T_EXACT, 2, { 0x0f, 0x0f }, UD_F_ANY_PFX },
|
---|
323 | { UD_T_MODRM, 2, { 0x0f, 0x13 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
324 | { UD_T_MODRM, 2, { 0x0f, 0x14 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
325 | { UD_T_MODRM, 2, { 0x0f, 0x15 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
326 | { UD_T_MODRM, 2, { 0x0f, 0x16 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX | UD_F_NOT_RN_PFX },
|
---|
327 | { UD_T_MODRM, 2, { 0x0f, 0x17 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
328 | /** @todo figure when 0f 019 and 0f 0c-0f were made into NOPs. */
|
---|
329 | { UD_T_EXACT, 2, { 0x0f, 0x24 }, UD_F_ANY_PFX },
|
---|
330 | { UD_T_EXACT, 2, { 0x0f, 0x25 }, UD_F_ANY_PFX },
|
---|
331 | { UD_T_EXACT, 2, { 0x0f, 0x26 }, UD_F_ANY_PFX },
|
---|
332 | { UD_T_EXACT, 2, { 0x0f, 0x27 }, UD_F_ANY_PFX },
|
---|
333 | { UD_T_MODRM, 2, { 0x0f, 0x28 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
334 | { UD_T_MODRM, 2, { 0x0f, 0x29 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
335 | { UD_T_MODRM, 2, { 0x0f, 0x2b }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
336 | { UD_T_MODRM, 2, { 0x0f, 0x2e }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
337 | { UD_T_MODRM, 2, { 0x0f, 0x2f }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
338 | { UD_T_EXACT, 2, { 0x0f, 0x36 }, UD_F_ANY_PFX },
|
---|
339 | { UD_T_MODRM, 3, { 0x0f, 0x39, 0x00 }, UD_F_3BYTE_ESC | UD_F_ANY_PFX }, /* Three byte escape table, just unused. */
|
---|
340 | { UD_T_MODRM_IMM8, 3, { 0x0f, 0x3b, 0x00 }, UD_F_3BYTE_ESC | UD_F_ANY_PFX }, /* Three byte escape table, just unused. */
|
---|
341 | { UD_T_MODRM, 3, { 0x0f, 0x3c, 0x00 }, UD_F_3BYTE_ESC | UD_F_ANY_PFX }, /* Three byte escape table, just unused. */
|
---|
342 | { UD_T_MODRM, 3, { 0x0f, 0x3d, 0x00 }, UD_F_3BYTE_ESC | UD_F_ANY_PFX }, /* Three byte escape table, just unused. */
|
---|
343 | { UD_T_MODRM_IMM8, 3, { 0x0f, 0x3e, 0x00 }, UD_F_3BYTE_ESC | UD_F_ANY_PFX }, /* Three byte escape table, just unused. */
|
---|
344 | { UD_T_MODRM_IMM8, 3, { 0x0f, 0x3f, 0x00 }, UD_F_3BYTE_ESC | UD_F_ANY_PFX }, /* Three byte escape table, just unused. */
|
---|
345 | { UD_T_MODRM, 2, { 0x0f, 0x50 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
346 | { UD_T_MODRM, 2, { 0x0f, 0x52 }, UD_F_NOT_NO_PFX | UD_F_NOT_RN_PFX },
|
---|
347 | { UD_T_MODRM, 2, { 0x0f, 0x53 }, UD_F_NOT_NO_PFX | UD_F_NOT_RN_PFX },
|
---|
348 | { UD_T_MODRM, 2, { 0x0f, 0x54 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
349 | { UD_T_MODRM, 2, { 0x0f, 0x55 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
350 | { UD_T_MODRM, 2, { 0x0f, 0x56 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
351 | { UD_T_MODRM, 2, { 0x0f, 0x57 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
352 | { UD_T_MODRM, 2, { 0x0f, 0x5b }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX | UD_F_NOT_RN_PFX },
|
---|
353 | { UD_T_MODRM, 2, { 0x0f, 0x60 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
354 | { UD_T_MODRM, 2, { 0x0f, 0x61 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
355 | { UD_T_MODRM, 2, { 0x0f, 0x62 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
356 | { UD_T_MODRM, 2, { 0x0f, 0x63 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
357 | { UD_T_MODRM, 2, { 0x0f, 0x64 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
358 | { UD_T_MODRM, 2, { 0x0f, 0x65 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
359 | { UD_T_MODRM, 2, { 0x0f, 0x66 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
360 | { UD_T_MODRM, 2, { 0x0f, 0x67 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
361 | { UD_T_MODRM, 2, { 0x0f, 0x68 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
362 | { UD_T_MODRM, 2, { 0x0f, 0x69 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
363 | { UD_T_MODRM, 2, { 0x0f, 0x6a }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
364 | { UD_T_MODRM, 2, { 0x0f, 0x6b }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
365 | { UD_T_MODRM, 2, { 0x0f, 0x6c }, UD_F_NOT_OZ_PFX },
|
---|
366 | { UD_T_MODRM, 2, { 0x0f, 0x6d }, UD_F_NOT_OZ_PFX },
|
---|
367 | { UD_T_MODRM, 2, { 0x0f, 0x6e }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
368 | { UD_T_MODRM, 2, { 0x0f, 0x6f }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX | UD_F_NOT_RN_PFX },
|
---|
369 | { UD_T_MODRM, 2, { 0x0f, 0x74 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
370 | { UD_T_MODRM, 2, { 0x0f, 0x75 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
371 | { UD_T_MODRM, 2, { 0x0f, 0x76 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
372 | /* 0f 77: WTF? OZ, RZ and RN are all empty in the intel tables and LK isn't metnioned at all: */
|
---|
373 | { UD_T_MODRM, 2, { 0x0f, 0x77 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX | UD_F_NOT_RZ_PFX | UD_F_NOT_RN_PFX | UD_F_NOT_LK_PFX },
|
---|
374 | { UD_T_MODRM, 2, { 0x0f, 0x78 }, UD_F_NOT_NO_PFX },
|
---|
375 | { UD_T_MODRM, 2, { 0x0f, 0x79 }, UD_F_NOT_NO_PFX },
|
---|
376 | { UD_T_MODRM, 2, { 0x0f, 0x7a }, UD_F_ANY_PFX },
|
---|
377 | { UD_T_MODRM, 2, { 0x0f, 0x7b }, UD_F_ANY_PFX },
|
---|
378 | { UD_T_MODRM, 2, { 0x0f, 0x7c }, UD_F_NOT_OZ_PFX | UD_F_NOT_RZ_PFX },
|
---|
379 | { UD_T_MODRM, 2, { 0x0f, 0x7d }, UD_F_NOT_OZ_PFX | UD_F_NOT_RZ_PFX },
|
---|
380 | { UD_T_MODRM, 2, { 0x0f, 0x7e }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX | UD_F_NOT_RN_PFX },
|
---|
381 | { UD_T_MODRM, 2, { 0x0f, 0x7f }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX | UD_F_NOT_RN_PFX },
|
---|
382 | { UD_T_MODRM, 2, { 0x0f, 0xa6 }, UD_F_ANY_PFX },
|
---|
383 | { UD_T_MODRM, 2, { 0x0f, 0xa7 }, UD_F_ANY_PFX },
|
---|
384 | { UD_T_MODRM, 2, { 0x0f, 0xb8 }, UD_F_NOT_RN_PFX },
|
---|
385 | /** @todo f3 0f bb rm and f2 0f bb rm does stuff on skylake even if their are blank in intel and AMD tables! */
|
---|
386 | //{ UD_T_MODRM, 2, { 0x0f, 0xbb }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
387 | /** @todo AMD tables indicates that f2 0f bc rm is invalid, but on skylake it works differently (BSF?) */
|
---|
388 | { UD_T_MODRM, 2, { 0x0f, 0xbc }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX | UD_F_NOT_RN_PFX /* figure: */ | UD_F_NOT_RZ_PFX },
|
---|
389 | /** @todo AMD tables indicates that f3 0f bc rm is invalid, but on skylake it works differently (BSR?) */
|
---|
390 | { UD_T_MODRM, 2, { 0x0f, 0xbd }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX | UD_F_NOT_RN_PFX /* figure: */ | UD_F_NOT_RZ_PFX },
|
---|
391 | /* Note! Intel incorrectly states that XADD (0f c0 and 0f c1) are sensitive to OZ, RN and RZ. AMD and skylake hw disagrees. */
|
---|
392 | { UD_T_MODRM, 2, { 0x0f, 0xc3 }, UD_F_NOT_NO_PFX },
|
---|
393 | { UD_T_MODRM_IMM8, 2, { 0x0f, 0xc4 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
394 | { UD_T_MODRM_IMM8, 2, { 0x0f, 0xc5 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
395 | { UD_T_MODRM_IMM8, 2, { 0x0f, 0xc6 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
396 | { UD_T_MODRM, 2, { 0x0f, 0xd0 }, UD_F_NOT_OZ_PFX | UD_F_NOT_RZ_PFX },
|
---|
397 | { UD_T_MODRM, 2, { 0x0f, 0xd1 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
398 | { UD_T_MODRM, 2, { 0x0f, 0xd2 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
399 | { UD_T_MODRM, 2, { 0x0f, 0xd3 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
400 | { UD_T_MODRM, 2, { 0x0f, 0xd4 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
401 | { UD_T_MODRM, 2, { 0x0f, 0xd5 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
402 | { UD_T_MODRM, 2, { 0x0f, 0xd6 }, UD_F_NOT_OZ_PFX | UD_F_NOT_RZ_PFX | UD_F_NOT_RN_PFX },
|
---|
403 | { UD_T_MODRM, 2, { 0x0f, 0xd7 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
404 | { UD_T_MODRM, 2, { 0x0f, 0xd8 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
405 | { UD_T_MODRM, 2, { 0x0f, 0xd9 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
406 | { UD_T_MODRM, 2, { 0x0f, 0xda }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
407 | { UD_T_MODRM, 2, { 0x0f, 0xdb }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
408 | { UD_T_MODRM, 2, { 0x0f, 0xdc }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
409 | { UD_T_MODRM, 2, { 0x0f, 0xdd }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
410 | { UD_T_MODRM, 2, { 0x0f, 0xde }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
411 | { UD_T_MODRM, 2, { 0x0f, 0xdf }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
412 | { UD_T_MODRM, 2, { 0x0f, 0xe0 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
413 | { UD_T_MODRM, 2, { 0x0f, 0xe1 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
414 | { UD_T_MODRM, 2, { 0x0f, 0xe2 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
415 | { UD_T_MODRM, 2, { 0x0f, 0xe3 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
416 | { UD_T_MODRM, 2, { 0x0f, 0xe4 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
417 | { UD_T_MODRM, 2, { 0x0f, 0xe5 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
418 | { UD_T_MODRM, 2, { 0x0f, 0xe6 }, UD_F_NOT_OZ_PFX | UD_F_NOT_RZ_PFX | UD_F_NOT_RN_PFX },
|
---|
419 | { UD_T_MODRM, 2, { 0x0f, 0xe7 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
420 | { UD_T_MODRM, 2, { 0x0f, 0xe8 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
421 | { UD_T_MODRM, 2, { 0x0f, 0xe9 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
422 | { UD_T_MODRM, 2, { 0x0f, 0xea }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
423 | { UD_T_MODRM, 2, { 0x0f, 0xeb }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
424 | { UD_T_MODRM, 2, { 0x0f, 0xec }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
425 | { UD_T_MODRM, 2, { 0x0f, 0xed }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
426 | { UD_T_MODRM, 2, { 0x0f, 0xee }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
427 | { UD_T_MODRM, 2, { 0x0f, 0xef }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
428 | { UD_T_MODRM, 2, { 0x0f, 0xf0 }, UD_F_NOT_RZ_PFX },
|
---|
429 | { UD_T_MODRM, 2, { 0x0f, 0xf1 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
430 | { UD_T_MODRM, 2, { 0x0f, 0xf2 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
431 | { UD_T_MODRM, 2, { 0x0f, 0xf3 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
432 | { UD_T_MODRM, 2, { 0x0f, 0xf4 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
433 | { UD_T_MODRM, 2, { 0x0f, 0xf5 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
434 | { UD_T_MODRM, 2, { 0x0f, 0xf6 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
435 | { UD_T_MODRM, 2, { 0x0f, 0xf7 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
436 | { UD_T_MODRM, 2, { 0x0f, 0xf8 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
437 | { UD_T_MODRM, 2, { 0x0f, 0xf9 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
438 | { UD_T_MODRM, 2, { 0x0f, 0xfa }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
439 | { UD_T_MODRM, 2, { 0x0f, 0xfb }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
440 | { UD_T_MODRM, 2, { 0x0f, 0xfc }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
441 | { UD_T_MODRM, 2, { 0x0f, 0xfd }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
442 | { UD_T_MODRM, 2, { 0x0f, 0xfe }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
443 | { UD_T_MODRM, 2, { 0x0f, 0xff }, UD_F_ANY_PFX },
|
---|
444 | };
|
---|
445 |
|
---|
446 |
|
---|
447 | /**
|
---|
448 | * Three byte opcodes.
|
---|
449 | */
|
---|
450 | CPUDECODE1UDTST const g_aUdTest3Byte_0f_38[] =
|
---|
451 | {
|
---|
452 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x00 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
453 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x01 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
454 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x02 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
455 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x03 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
456 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x04 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
457 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x05 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
458 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x06 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
459 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x07 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
460 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x08 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
461 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x09 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
462 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x0a }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
463 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x0b }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
464 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x0c }, UD_F_NOT_OZ_PFX },
|
---|
465 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x0d }, UD_F_NOT_OZ_PFX },
|
---|
466 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x0e }, UD_F_NOT_OZ_PFX },
|
---|
467 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x0f }, UD_F_NOT_OZ_PFX },
|
---|
468 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x10 }, UD_F_NOT_OZ_PFX },
|
---|
469 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x11 }, UD_F_ANY_PFX },
|
---|
470 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x12 }, UD_F_ANY_PFX },
|
---|
471 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x13 }, UD_F_NOT_OZ_PFX },
|
---|
472 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x14 }, UD_F_NOT_OZ_PFX },
|
---|
473 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x15 }, UD_F_NOT_OZ_PFX },
|
---|
474 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x16 }, UD_F_NOT_OZ_PFX },
|
---|
475 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x17 }, UD_F_NOT_OZ_PFX },
|
---|
476 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x18 }, UD_F_NOT_OZ_PFX },
|
---|
477 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x19 }, UD_F_NOT_OZ_PFX },
|
---|
478 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x1a }, UD_F_NOT_OZ_PFX },
|
---|
479 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x1b }, UD_F_ANY_PFX },
|
---|
480 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x1c }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
481 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x1d }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
482 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x1e }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX },
|
---|
483 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x1f }, UD_F_ANY_PFX },
|
---|
484 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x20 }, UD_F_NOT_OZ_PFX },
|
---|
485 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x21 }, UD_F_NOT_OZ_PFX },
|
---|
486 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x22 }, UD_F_NOT_OZ_PFX },
|
---|
487 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x23 }, UD_F_NOT_OZ_PFX },
|
---|
488 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x24 }, UD_F_NOT_OZ_PFX },
|
---|
489 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x25 }, UD_F_NOT_OZ_PFX },
|
---|
490 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x26 }, UD_F_ANY_PFX },
|
---|
491 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x27 }, UD_F_ANY_PFX },
|
---|
492 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x28 }, UD_F_NOT_OZ_PFX },
|
---|
493 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x29 }, UD_F_NOT_OZ_PFX },
|
---|
494 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x2a }, UD_F_NOT_OZ_PFX },
|
---|
495 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x2b }, UD_F_NOT_OZ_PFX },
|
---|
496 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x2c }, UD_F_NOT_OZ_PFX },
|
---|
497 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x2d }, UD_F_NOT_OZ_PFX },
|
---|
498 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x2e }, UD_F_NOT_OZ_PFX },
|
---|
499 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x2f }, UD_F_NOT_OZ_PFX },
|
---|
500 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x30 }, UD_F_NOT_OZ_PFX },
|
---|
501 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x31 }, UD_F_NOT_OZ_PFX },
|
---|
502 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x32 }, UD_F_NOT_OZ_PFX },
|
---|
503 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x33 }, UD_F_NOT_OZ_PFX },
|
---|
504 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x34 }, UD_F_NOT_OZ_PFX },
|
---|
505 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x35 }, UD_F_NOT_OZ_PFX },
|
---|
506 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x36 }, UD_F_NOT_OZ_PFX },
|
---|
507 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x37 }, UD_F_NOT_OZ_PFX },
|
---|
508 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x38 }, UD_F_NOT_OZ_PFX },
|
---|
509 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x39 }, UD_F_NOT_OZ_PFX },
|
---|
510 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x3a }, UD_F_NOT_OZ_PFX },
|
---|
511 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x3b }, UD_F_NOT_OZ_PFX },
|
---|
512 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x3c }, UD_F_NOT_OZ_PFX },
|
---|
513 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x3d }, UD_F_NOT_OZ_PFX },
|
---|
514 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x3e }, UD_F_NOT_OZ_PFX },
|
---|
515 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x3f }, UD_F_NOT_OZ_PFX },
|
---|
516 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x40 }, UD_F_NOT_OZ_PFX },
|
---|
517 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x41 }, UD_F_NOT_OZ_PFX },
|
---|
518 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x42 }, UD_F_ANY_PFX },
|
---|
519 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x43 }, UD_F_ANY_PFX },
|
---|
520 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x44 }, UD_F_ANY_PFX },
|
---|
521 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x45 }, UD_F_NOT_OZ_PFX },
|
---|
522 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x46 }, UD_F_NOT_OZ_PFX },
|
---|
523 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x47 }, UD_F_NOT_OZ_PFX },
|
---|
524 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x48 }, UD_F_ANY_PFX },
|
---|
525 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x49 }, UD_F_ANY_PFX },
|
---|
526 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x4a }, UD_F_ANY_PFX },
|
---|
527 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x4b }, UD_F_ANY_PFX },
|
---|
528 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x4c }, UD_F_ANY_PFX },
|
---|
529 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x4d }, UD_F_ANY_PFX },
|
---|
530 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x4e }, UD_F_ANY_PFX },
|
---|
531 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x4f }, UD_F_ANY_PFX },
|
---|
532 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x50 }, UD_F_ANY_PFX },
|
---|
533 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x51 }, UD_F_ANY_PFX },
|
---|
534 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x52 }, UD_F_ANY_PFX },
|
---|
535 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x53 }, UD_F_ANY_PFX },
|
---|
536 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x54 }, UD_F_ANY_PFX },
|
---|
537 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x55 }, UD_F_ANY_PFX },
|
---|
538 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x56 }, UD_F_ANY_PFX },
|
---|
539 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x57 }, UD_F_ANY_PFX },
|
---|
540 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x58 }, UD_F_NOT_OZ_PFX },
|
---|
541 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x59 }, UD_F_NOT_OZ_PFX },
|
---|
542 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x5a }, UD_F_NOT_OZ_PFX },
|
---|
543 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x5b }, UD_F_ANY_PFX },
|
---|
544 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x5c }, UD_F_ANY_PFX },
|
---|
545 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x5e }, UD_F_ANY_PFX },
|
---|
546 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x5d }, UD_F_ANY_PFX },
|
---|
547 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x5f }, UD_F_ANY_PFX },
|
---|
548 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x60 }, UD_F_ANY_PFX },
|
---|
549 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x61 }, UD_F_ANY_PFX },
|
---|
550 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x62 }, UD_F_ANY_PFX },
|
---|
551 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x63 }, UD_F_ANY_PFX },
|
---|
552 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x64 }, UD_F_ANY_PFX },
|
---|
553 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x65 }, UD_F_ANY_PFX },
|
---|
554 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x66 }, UD_F_ANY_PFX },
|
---|
555 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x67 }, UD_F_ANY_PFX },
|
---|
556 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x68 }, UD_F_ANY_PFX },
|
---|
557 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x69 }, UD_F_ANY_PFX },
|
---|
558 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x6a }, UD_F_ANY_PFX },
|
---|
559 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x6b }, UD_F_ANY_PFX },
|
---|
560 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x6c }, UD_F_ANY_PFX },
|
---|
561 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x6d }, UD_F_ANY_PFX },
|
---|
562 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x6e }, UD_F_ANY_PFX },
|
---|
563 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x6f }, UD_F_ANY_PFX },
|
---|
564 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x70 }, UD_F_ANY_PFX },
|
---|
565 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x71 }, UD_F_ANY_PFX },
|
---|
566 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x72 }, UD_F_ANY_PFX },
|
---|
567 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x73 }, UD_F_ANY_PFX },
|
---|
568 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x74 }, UD_F_ANY_PFX },
|
---|
569 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x75 }, UD_F_ANY_PFX },
|
---|
570 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x76 }, UD_F_ANY_PFX },
|
---|
571 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x77 }, UD_F_ANY_PFX },
|
---|
572 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x78 }, UD_F_NOT_OZ_PFX },
|
---|
573 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x79 }, UD_F_NOT_OZ_PFX },
|
---|
574 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x7a }, UD_F_ANY_PFX },
|
---|
575 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x7b }, UD_F_ANY_PFX },
|
---|
576 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x7c }, UD_F_ANY_PFX },
|
---|
577 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x7d }, UD_F_ANY_PFX },
|
---|
578 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x7e }, UD_F_ANY_PFX },
|
---|
579 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x7f }, UD_F_ANY_PFX },
|
---|
580 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x80 }, UD_F_NOT_OZ_PFX },
|
---|
581 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x81 }, UD_F_NOT_OZ_PFX },
|
---|
582 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x82 }, UD_F_NOT_OZ_PFX },
|
---|
583 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x83 }, UD_F_ANY_PFX },
|
---|
584 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x84 }, UD_F_ANY_PFX },
|
---|
585 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x85 }, UD_F_ANY_PFX },
|
---|
586 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x86 }, UD_F_ANY_PFX },
|
---|
587 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x87 }, UD_F_ANY_PFX },
|
---|
588 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x88 }, UD_F_ANY_PFX },
|
---|
589 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x89 }, UD_F_ANY_PFX },
|
---|
590 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x8a }, UD_F_ANY_PFX },
|
---|
591 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x8b }, UD_F_ANY_PFX },
|
---|
592 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x8c }, UD_F_NOT_OZ_PFX },
|
---|
593 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x8d }, UD_F_ANY_PFX },
|
---|
594 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x8e }, UD_F_NOT_OZ_PFX },
|
---|
595 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x8f }, UD_F_ANY_PFX },
|
---|
596 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x90 }, UD_F_NOT_OZ_PFX },
|
---|
597 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x91 }, UD_F_NOT_OZ_PFX },
|
---|
598 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x92 }, UD_F_NOT_OZ_PFX },
|
---|
599 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x93 }, UD_F_NOT_OZ_PFX },
|
---|
600 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x94 }, UD_F_ANY_PFX },
|
---|
601 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x95 }, UD_F_ANY_PFX },
|
---|
602 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x96 }, UD_F_NOT_OZ_PFX },
|
---|
603 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x97 }, UD_F_NOT_OZ_PFX },
|
---|
604 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x98 }, UD_F_NOT_OZ_PFX },
|
---|
605 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x99 }, UD_F_NOT_OZ_PFX },
|
---|
606 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x9a }, UD_F_NOT_OZ_PFX },
|
---|
607 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x9b }, UD_F_NOT_OZ_PFX },
|
---|
608 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x9c }, UD_F_NOT_OZ_PFX },
|
---|
609 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x9d }, UD_F_NOT_OZ_PFX },
|
---|
610 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x9e }, UD_F_NOT_OZ_PFX },
|
---|
611 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0x9f }, UD_F_NOT_OZ_PFX },
|
---|
612 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xa0 }, UD_F_ANY_PFX },
|
---|
613 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xa1 }, UD_F_ANY_PFX },
|
---|
614 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xa2 }, UD_F_ANY_PFX },
|
---|
615 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xa3 }, UD_F_ANY_PFX },
|
---|
616 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xa4 }, UD_F_ANY_PFX },
|
---|
617 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xa5 }, UD_F_ANY_PFX },
|
---|
618 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xa6 }, UD_F_NOT_OZ_PFX },
|
---|
619 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xa7 }, UD_F_NOT_OZ_PFX },
|
---|
620 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xa8 }, UD_F_NOT_OZ_PFX },
|
---|
621 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xa9 }, UD_F_NOT_OZ_PFX },
|
---|
622 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xaa }, UD_F_NOT_OZ_PFX },
|
---|
623 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xab }, UD_F_NOT_OZ_PFX },
|
---|
624 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xac }, UD_F_NOT_OZ_PFX },
|
---|
625 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xad }, UD_F_NOT_OZ_PFX },
|
---|
626 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xae }, UD_F_NOT_OZ_PFX },
|
---|
627 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xaf }, UD_F_NOT_OZ_PFX },
|
---|
628 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xb0 }, UD_F_ANY_PFX },
|
---|
629 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xb1 }, UD_F_ANY_PFX },
|
---|
630 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xb2 }, UD_F_ANY_PFX },
|
---|
631 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xb3 }, UD_F_ANY_PFX },
|
---|
632 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xb4 }, UD_F_ANY_PFX },
|
---|
633 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xb5 }, UD_F_ANY_PFX },
|
---|
634 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xb6 }, UD_F_NOT_OZ_PFX },
|
---|
635 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xb7 }, UD_F_NOT_OZ_PFX },
|
---|
636 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xb8 }, UD_F_NOT_OZ_PFX },
|
---|
637 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xb9 }, UD_F_NOT_OZ_PFX },
|
---|
638 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xba }, UD_F_NOT_OZ_PFX },
|
---|
639 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xbb }, UD_F_NOT_OZ_PFX },
|
---|
640 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xbc }, UD_F_NOT_OZ_PFX },
|
---|
641 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xbd }, UD_F_NOT_OZ_PFX },
|
---|
642 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xbe }, UD_F_NOT_OZ_PFX },
|
---|
643 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xbf }, UD_F_NOT_OZ_PFX },
|
---|
644 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xc0 }, UD_F_ANY_PFX },
|
---|
645 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xc1 }, UD_F_ANY_PFX },
|
---|
646 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xc2 }, UD_F_ANY_PFX },
|
---|
647 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xc3 }, UD_F_ANY_PFX },
|
---|
648 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xc4 }, UD_F_ANY_PFX },
|
---|
649 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xc5 }, UD_F_ANY_PFX },
|
---|
650 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xc6 }, UD_F_ANY_PFX },
|
---|
651 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xc7 }, UD_F_ANY_PFX },
|
---|
652 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xc8 }, UD_F_NOT_NO_PFX },
|
---|
653 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xc9 }, UD_F_NOT_NO_PFX },
|
---|
654 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xca }, UD_F_NOT_NO_PFX },
|
---|
655 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xcb }, UD_F_NOT_NO_PFX },
|
---|
656 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xcc }, UD_F_NOT_NO_PFX },
|
---|
657 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xcd }, UD_F_NOT_NO_PFX },
|
---|
658 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xce }, UD_F_NOT_OZ_PFX },
|
---|
659 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xcf }, UD_F_NOT_OZ_PFX },
|
---|
660 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xd0 }, UD_F_ANY_PFX },
|
---|
661 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xd1 }, UD_F_ANY_PFX },
|
---|
662 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xd2 }, UD_F_ANY_PFX },
|
---|
663 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xd3 }, UD_F_ANY_PFX },
|
---|
664 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xd4 }, UD_F_ANY_PFX },
|
---|
665 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xd5 }, UD_F_ANY_PFX },
|
---|
666 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xd6 }, UD_F_ANY_PFX },
|
---|
667 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xd7 }, UD_F_ANY_PFX },
|
---|
668 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xd8 }, UD_F_ANY_PFX },
|
---|
669 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xd9 }, UD_F_ANY_PFX },
|
---|
670 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xda }, UD_F_ANY_PFX },
|
---|
671 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xdb }, UD_F_NOT_OZ_PFX },
|
---|
672 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xdc }, UD_F_NOT_OZ_PFX },
|
---|
673 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xdd }, UD_F_NOT_OZ_PFX },
|
---|
674 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xde }, UD_F_NOT_OZ_PFX },
|
---|
675 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xdf }, UD_F_NOT_OZ_PFX },
|
---|
676 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xe0 }, UD_F_ANY_PFX },
|
---|
677 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xe1 }, UD_F_ANY_PFX },
|
---|
678 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xe2 }, UD_F_ANY_PFX },
|
---|
679 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xe3 }, UD_F_ANY_PFX },
|
---|
680 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xe4 }, UD_F_ANY_PFX },
|
---|
681 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xe5 }, UD_F_ANY_PFX },
|
---|
682 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xe6 }, UD_F_ANY_PFX },
|
---|
683 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xe7 }, UD_F_ANY_PFX },
|
---|
684 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xe8 }, UD_F_ANY_PFX },
|
---|
685 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xe9 }, UD_F_ANY_PFX },
|
---|
686 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xea }, UD_F_ANY_PFX },
|
---|
687 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xeb }, UD_F_ANY_PFX },
|
---|
688 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xec }, UD_F_ANY_PFX },
|
---|
689 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xed }, UD_F_ANY_PFX },
|
---|
690 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xee }, UD_F_ANY_PFX },
|
---|
691 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xef }, UD_F_ANY_PFX },
|
---|
692 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xf0 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX | UD_F_NOT_RZ_PFX }, /// @todo crc32 weirdness
|
---|
693 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xf1 }, UD_F_NOT_NO_PFX | UD_F_NOT_OZ_PFX | UD_F_NOT_RZ_PFX }, /// @todo crc32 weirdness
|
---|
694 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xf2 }, UD_F_NOT_NO_PFX },
|
---|
695 |
|
---|
696 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xf4 }, UD_F_ANY_PFX },
|
---|
697 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xf5 }, UD_F_NOT_NO_PFX | UD_F_NOT_RN_PFX | UD_F_NOT_RZ_PFX },
|
---|
698 |
|
---|
699 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xf7 }, UD_F_ANY_PFX },
|
---|
700 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xf8 }, UD_F_ANY_PFX },
|
---|
701 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xf9 }, UD_F_ANY_PFX },
|
---|
702 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xfa }, UD_F_ANY_PFX },
|
---|
703 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xfb }, UD_F_ANY_PFX },
|
---|
704 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xfc }, UD_F_ANY_PFX },
|
---|
705 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xfd }, UD_F_ANY_PFX },
|
---|
706 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xfe }, UD_F_ANY_PFX },
|
---|
707 | { UD_T_MODRM, 3, { 0x0f, 0x38, 0xff }, UD_F_ANY_PFX },
|
---|
708 |
|
---|
709 | /* This is going to be interesting: */
|
---|
710 | { UD_T_MODRM, 5, { 0x66, 0xf2, 0x0f, 0x38, 0xf5 }, UD_F_ANY_PFX },
|
---|
711 | { UD_T_MODRM, 5, { 0x66, 0xf3, 0x0f, 0x38, 0xf5 }, UD_F_ANY_PFX },
|
---|
712 | { UD_T_MODRM, 5, { 0x66, 0xf2, 0x0f, 0x38, 0xf6 }, UD_F_ANY_PFX },
|
---|
713 | //{ UD_T_MODRM, 5, { 0x66, 0xf3, 0x0f, 0x38, 0xf6 }, UD_F_ANY_PFX }, - not this one.
|
---|
714 | };
|
---|
715 |
|
---|
716 |
|
---|
717 | void DecodeUdEdgeTest(PCCPUDECODE1UDTST paTests, unsigned cTests)
|
---|
718 | {
|
---|
719 | /*
|
---|
720 | * Allocate and initialize a page pair
|
---|
721 | */
|
---|
722 | uint8_t BS3_FAR *pbPages;
|
---|
723 | pbPages = Bs3MemGuardedTestPageAlloc(BS3MEMKIND_FLAT32);
|
---|
724 | if (pbPages)
|
---|
725 | {
|
---|
726 | unsigned iTest;
|
---|
727 | BS3REGCTX Ctx;
|
---|
728 | BS3REGCTX ExpectCtx;
|
---|
729 | BS3TRAPFRAME TrapFrame;
|
---|
730 | uint32_t iStep;
|
---|
731 |
|
---|
732 | Bs3MemZero(&Ctx, sizeof(Ctx));
|
---|
733 | Bs3MemZero(&ExpectCtx, sizeof(ExpectCtx));
|
---|
734 | Bs3MemZero(&TrapFrame, sizeof(TrapFrame));
|
---|
735 |
|
---|
736 | /* Enable SSE. */
|
---|
737 | ASMSetCR0((ASMGetCR0() & ~(X86_CR0_EM | X86_CR0_TS)) | X86_CR0_MP);
|
---|
738 | ASMSetCR4(ASMGetCR4() | X86_CR4_OSFXSR);
|
---|
739 |
|
---|
740 | /* Create a test context. */
|
---|
741 | Bs3RegCtxSaveEx(&Ctx, BS3_MODE_CODE_32, 512);
|
---|
742 | Ctx.rbx.u = (uintptr_t)pbPages;
|
---|
743 | Ctx.rcx.u = (uintptr_t)pbPages;
|
---|
744 | Ctx.rdx.u = (uintptr_t)pbPages;
|
---|
745 | Ctx.rax.u = (uintptr_t)pbPages;
|
---|
746 | Ctx.rbp.u = (uintptr_t)pbPages;
|
---|
747 | Ctx.rsi.u = (uintptr_t)pbPages;
|
---|
748 | Ctx.rdi.u = (uintptr_t)pbPages;
|
---|
749 |
|
---|
750 | Bs3MemCpy(&ExpectCtx, &Ctx, sizeof(ExpectCtx));
|
---|
751 | ExpectCtx.rflags.u32 |= X86_EFL_RF;
|
---|
752 |
|
---|
753 | /* Loop thru the tests. */
|
---|
754 | iStep = g_usBs3TestStep = 0;
|
---|
755 | for (iTest = 0; iTest < cTests; iTest++)
|
---|
756 | {
|
---|
757 | typedef struct CPUDECODE1UDSEQ
|
---|
758 | {
|
---|
759 | uint8_t cb;
|
---|
760 | uint8_t ab[10];
|
---|
761 | uint8_t fIncompatible;
|
---|
762 | } CPUDECODE1UDSEQ;
|
---|
763 | typedef CPUDECODE1UDSEQ const BS3_FAR *PCCPUDECODE1UDSEQ;
|
---|
764 |
|
---|
765 | static CPUDECODE1UDSEQ const s_aPrefixes[] =
|
---|
766 | {
|
---|
767 | { 0, { 0 }, UD_F_NOT_NO_PFX },
|
---|
768 | { 1, { P_OZ }, UD_F_NOT_OZ_PFX },
|
---|
769 | { 1, { P_RN }, UD_F_NOT_RZ_PFX },
|
---|
770 | { 1, { P_RZ }, UD_F_NOT_RN_PFX },
|
---|
771 | { 1, { P_LK }, UD_F_NOT_LK_PFX },
|
---|
772 | { 2, { P_OZ, P_OZ }, UD_F_NOT_OZ_PFX | UD_F_NOT_OZ_PFX },
|
---|
773 | { 2, { P_RN, P_OZ }, UD_F_NOT_RZ_PFX | UD_F_NOT_OZ_PFX },
|
---|
774 | { 2, { P_RZ, P_OZ }, UD_F_NOT_RN_PFX | UD_F_NOT_OZ_PFX },
|
---|
775 | { 2, { P_LK, P_OZ }, UD_F_NOT_LK_PFX | UD_F_NOT_OZ_PFX },
|
---|
776 | { 2, { P_OZ, P_RN }, UD_F_NOT_OZ_PFX | UD_F_NOT_RZ_PFX },
|
---|
777 | { 2, { P_RN, P_RN }, UD_F_NOT_RZ_PFX | UD_F_NOT_RZ_PFX },
|
---|
778 | { 2, { P_RZ, P_RN }, UD_F_NOT_RN_PFX | UD_F_NOT_RZ_PFX },
|
---|
779 | { 2, { P_LK, P_RN }, UD_F_NOT_LK_PFX | UD_F_NOT_RZ_PFX },
|
---|
780 | { 2, { P_OZ, P_RZ }, UD_F_NOT_OZ_PFX | UD_F_NOT_RN_PFX },
|
---|
781 | { 2, { P_RN, P_RZ }, UD_F_NOT_RZ_PFX | UD_F_NOT_RN_PFX },
|
---|
782 | { 2, { P_RZ, P_RZ }, UD_F_NOT_RN_PFX | UD_F_NOT_RN_PFX },
|
---|
783 | { 2, { P_LK, P_RZ }, UD_F_NOT_LK_PFX | UD_F_NOT_RN_PFX },
|
---|
784 | { 2, { P_OZ, P_LK }, UD_F_NOT_OZ_PFX | UD_F_NOT_LK_PFX },
|
---|
785 | { 2, { P_RN, P_LK }, UD_F_NOT_RZ_PFX | UD_F_NOT_LK_PFX },
|
---|
786 | { 2, { P_RZ, P_LK }, UD_F_NOT_RN_PFX | UD_F_NOT_LK_PFX },
|
---|
787 | { 2, { P_LK, P_LK }, UD_F_NOT_LK_PFX | UD_F_NOT_LK_PFX },
|
---|
788 | };
|
---|
789 |
|
---|
790 | static CPUDECODE1UDSEQ const s_aExact[] = { { 0, { 0 }, 0 } };
|
---|
791 | static CPUDECODE1UDSEQ const s_aModRm[] =
|
---|
792 | {
|
---|
793 | { 1, { RM_EAX_EAX, }, 0 },
|
---|
794 | { 2, { RM_EAX_DEREF_EBX_DISP8, 0 }, 0 },
|
---|
795 | { 5, { RM_EAX_DEREF_EBX_DISP32, 0, 0, 0, 0 }, 0 },
|
---|
796 | { 2, { RM_EAX_SIB, SIB_EBX_X1_NONE, }, 0 },
|
---|
797 | { 3, { RM_EAX_SIB_DISP8, SIB_EBX_X1_NONE, 0 }, 0 },
|
---|
798 | { 6, { RM_EAX_SIB_DISP32, SIB_EBX_X1_NONE, 0, 0, 0, 0 }, 0 },
|
---|
799 | };
|
---|
800 | static CPUDECODE1UDSEQ const s_aModRmImm8[] =
|
---|
801 | {
|
---|
802 | { 1 + 1, { RM_EAX_EAX, 0x11 }, 0 },
|
---|
803 | { 2 + 1, { RM_EAX_DEREF_EBX_DISP8, 0, 0x11 }, 0 },
|
---|
804 | { 5 + 1, { RM_EAX_DEREF_EBX_DISP32, 0, 0, 0, 0, 0x11 }, 0 },
|
---|
805 | { 2 + 1, { RM_EAX_SIB, SIB_EBX_X1_NONE, 0x11 }, 0 },
|
---|
806 | { 3 + 1, { RM_EAX_SIB_DISP8, SIB_EBX_X1_NONE, 0, 0x11 }, 0 },
|
---|
807 | { 6 + 1, { RM_EAX_SIB_DISP32, SIB_EBX_X1_NONE, 0, 0, 0, 0, 0x11 }, 0 },
|
---|
808 | };
|
---|
809 | unsigned iPrefix;
|
---|
810 | unsigned cSuffixes;
|
---|
811 | PCCPUDECODE1UDSEQ paSuffixes;
|
---|
812 | unsigned const cSubTabEntries = paTests[iTest].fFlags & UD_F_3BYTE_ESC ? 256 : 1;
|
---|
813 | unsigned cImmEntries = 1;
|
---|
814 |
|
---|
815 | /*
|
---|
816 | * Skip if implemented.
|
---|
817 | */
|
---|
818 |
|
---|
819 | /*
|
---|
820 | * Produce a number of opcode sequences by varying the prefixes and
|
---|
821 | * ModR/M parts. Each opcode sequence is then treated to the edge test.
|
---|
822 | */
|
---|
823 | switch (paTests[iTest].enmType)
|
---|
824 | {
|
---|
825 | case UD_T_EXACT:
|
---|
826 | cSuffixes = RT_ELEMENTS(s_aExact);
|
---|
827 | paSuffixes = s_aExact;
|
---|
828 | break;
|
---|
829 | case UD_T_MODRM:
|
---|
830 | cSuffixes = RT_ELEMENTS(s_aModRm);
|
---|
831 | paSuffixes = s_aModRm;
|
---|
832 | break;
|
---|
833 | case UD_T_MODRM_IMM8:
|
---|
834 | cSuffixes = RT_ELEMENTS(s_aModRmImm8);
|
---|
835 | paSuffixes = s_aModRmImm8;
|
---|
836 | cImmEntries = 256;
|
---|
837 | break;
|
---|
838 | default:
|
---|
839 | Bs3TestPrintf("#%u: enmType=%d\n", paTests[iTest].enmType);
|
---|
840 | continue;
|
---|
841 | }
|
---|
842 |
|
---|
843 | for (iPrefix = 0; iPrefix < RT_ELEMENTS(s_aPrefixes); iPrefix++)
|
---|
844 | if (!(s_aPrefixes[iPrefix].fIncompatible & paTests[iTest].fFlags))
|
---|
845 | {
|
---|
846 | unsigned iSubTab;
|
---|
847 | unsigned cbOpcodesLead;
|
---|
848 | uint8_t abOpcodes[32];
|
---|
849 |
|
---|
850 | Bs3MemCpy(&abOpcodes[0], &s_aPrefixes[iPrefix].ab[0], s_aPrefixes[iPrefix].cb);
|
---|
851 | cbOpcodesLead = s_aPrefixes[iPrefix].cb;
|
---|
852 | Bs3MemCpy(&abOpcodes[cbOpcodesLead], &paTests[iTest].abOpcodes[0], paTests[iTest].cbOpcodes);
|
---|
853 | cbOpcodesLead += paTests[iTest].cbOpcodes;
|
---|
854 |
|
---|
855 | for (iSubTab = 0; iSubTab < cSubTabEntries; iSubTab++)
|
---|
856 | {
|
---|
857 | unsigned iSuffix;
|
---|
858 |
|
---|
859 | if (cSubTabEntries > 1)
|
---|
860 | abOpcodes[cbOpcodesLead - 1] = iSubTab;
|
---|
861 |
|
---|
862 | for (iSuffix = 0; iSuffix < cSuffixes; iSuffix++)
|
---|
863 | if (!(paSuffixes[iSuffix].fIncompatible & paTests[iTest].fFlags))
|
---|
864 | {
|
---|
865 | unsigned const cbOpcodes = cbOpcodesLead + paSuffixes[iSuffix].cb;
|
---|
866 | unsigned cbOpcodesMin = 1;
|
---|
867 | unsigned iImm;
|
---|
868 | Bs3MemCpy(&abOpcodes[cbOpcodesLead], paSuffixes[iSuffix].ab, paSuffixes[iSuffix].cb);
|
---|
869 |
|
---|
870 | for (iImm = 0; iImm < cImmEntries; iImm++)
|
---|
871 | {
|
---|
872 | unsigned cb;
|
---|
873 |
|
---|
874 | if (cImmEntries > 1)
|
---|
875 | abOpcodes[cbOpcodes - 1] = iImm;
|
---|
876 |
|
---|
877 | /*
|
---|
878 | * Do the edge thing.
|
---|
879 | */
|
---|
880 | cb = cbOpcodes;
|
---|
881 | while (cb >= cbOpcodesMin)
|
---|
882 | {
|
---|
883 | uint8_t BS3_FAR *pbRip = &pbPages[X86_PAGE_SIZE - cb];
|
---|
884 | uint8_t bXcptExpected;
|
---|
885 |
|
---|
886 | Bs3RegCtxSetRipCsFromFlat(&Ctx, (uintptr_t)pbRip);
|
---|
887 | ExpectCtx.rip = Ctx.rip;
|
---|
888 | ExpectCtx.cs = Ctx.cs;
|
---|
889 | if (cb >= cbOpcodes)
|
---|
890 | {
|
---|
891 | ExpectCtx.cr2 = Ctx.cr2;
|
---|
892 | bXcptExpected = X86_XCPT_UD;
|
---|
893 | }
|
---|
894 | else
|
---|
895 | {
|
---|
896 | ExpectCtx.cr2.u = (uintptr_t)&pbPages[X86_PAGE_SIZE];
|
---|
897 | bXcptExpected = X86_XCPT_PF;
|
---|
898 | }
|
---|
899 |
|
---|
900 | Bs3MemCpy(pbRip, &abOpcodes[0], cb);
|
---|
901 | Bs3TrapSetJmpAndRestore(&Ctx, &TrapFrame);
|
---|
902 | #if 0
|
---|
903 | Bs3TestPrintf("iTest=%d iPrefix=%d (%d/%#x) iSubTab=%d iSuffix=%d (%d/%#x) iImm=%d cb=%d cbOp=%d: %.*Rhxs\n",
|
---|
904 | iTest, iPrefix, s_aPrefixes[iPrefix].cb, s_aPrefixes[iPrefix].fIncompatible,
|
---|
905 | iSubTab, iSuffix, paSuffixes[iSuffix].cb, paSuffixes[iSuffix].fIncompatible, iImm,
|
---|
906 | cb, cbOpcodes,
|
---|
907 | cbOpcodes, abOpcodes);
|
---|
908 | #endif
|
---|
909 |
|
---|
910 | if ( !Bs3TestCheckRegCtxEx(&TrapFrame.Ctx, &ExpectCtx, 0 /*cbPcAdjust*/,
|
---|
911 | 0 /*cbSpAdjust*/, 0 /*fExtraEfl*/, "mode", 0)
|
---|
912 | || TrapFrame.bXcpt != bXcptExpected)
|
---|
913 | {
|
---|
914 | Bs3TestFailedF("iTest=%d iPrefix=%d (%d/%#x) iSubTab=%u iSuffix=%d (%d/%#x) cb=%d cbOp=%d: %.*Rhxs\n",
|
---|
915 | iTest, iPrefix, s_aPrefixes[iPrefix].cb, s_aPrefixes[iPrefix].fIncompatible,
|
---|
916 | iSubTab, iSuffix, paSuffixes[iSuffix].cb, paSuffixes[iSuffix].fIncompatible,
|
---|
917 | cb, cbOpcodes,
|
---|
918 | cbOpcodes, abOpcodes);
|
---|
919 | if (TrapFrame.bXcpt != bXcptExpected)
|
---|
920 | Bs3TestFailedF("Expected bXcpt=%#x got %#x\n", bXcptExpected, TrapFrame.bXcpt);
|
---|
921 | Bs3TrapPrintFrame(&TrapFrame);
|
---|
922 | Bs3Shutdown();
|
---|
923 | }
|
---|
924 |
|
---|
925 | /* next */
|
---|
926 | g_usBs3TestStep++;
|
---|
927 | iStep++;
|
---|
928 | cb--;
|
---|
929 | }
|
---|
930 |
|
---|
931 | /* For iImm > 0 only test cb == cbOpcode since the byte isn't included when cb < cbOpcode. */
|
---|
932 | cbOpcodesMin = cbOpcodes;
|
---|
933 | }
|
---|
934 | }
|
---|
935 | }
|
---|
936 | }
|
---|
937 | }
|
---|
938 | Bs3TestPrintf("%RI32 (%#RX32) test steps\n", iStep, iStep);
|
---|
939 |
|
---|
940 | Bs3MemGuardedTestPageFree(pbPages);
|
---|
941 | }
|
---|
942 | else
|
---|
943 | Bs3TestFailed("Failed to allocate two pages!\n");
|
---|
944 | }
|
---|
945 |
|
---|
946 |
|
---|
947 | /**
|
---|
948 | * Checks various prefix encodings with the MOVBE and CRC32 instructions to try
|
---|
949 | * figure out how they are decoded.
|
---|
950 | *
|
---|
951 | * The issue here is that both MOVBE and CRC32 are sensitive to the operand size
|
---|
952 | * prefix, which helps us identify whether the F2h and F3h prefixes takes
|
---|
953 | * precedence over 66h in this case. (As it turned out they do and it order
|
---|
954 | * doesn't matter.)
|
---|
955 | */
|
---|
956 | static void DecodeMovbeVsCrc32(void)
|
---|
957 | {
|
---|
958 | uint8_t BS3_FAR *pbPages;
|
---|
959 |
|
---|
960 | /* Check that the instructions are supported. */
|
---|
961 | if ( !(g_uBs3CpuDetected & BS3CPU_F_CPUID)
|
---|
962 | || (ASMCpuId_ECX(1) & (X86_CPUID_FEATURE_ECX_MOVBE | X86_CPUID_FEATURE_ECX_SSE4_2))
|
---|
963 | != (X86_CPUID_FEATURE_ECX_MOVBE | X86_CPUID_FEATURE_ECX_SSE4_2) )
|
---|
964 | {
|
---|
965 | Bs3TestSkipped("not supported");
|
---|
966 | return;
|
---|
967 | }
|
---|
968 |
|
---|
969 | /* Setup a guarded page. */
|
---|
970 | pbPages = Bs3MemGuardedTestPageAlloc(BS3MEMKIND_FLAT32);
|
---|
971 | if (pbPages)
|
---|
972 | {
|
---|
973 | unsigned iTest;
|
---|
974 | BS3REGCTX Ctx;
|
---|
975 | BS3TRAPFRAME TrapFrame;
|
---|
976 | BS3REGCTX ExpectCtxMovbe_m32_eax; /* 0f 38 f1 /r */
|
---|
977 | BS3REGCTX ExpectCtxMovbe_m16_ax; /* 66 0f 38 f1 /r */
|
---|
978 | BS3REGCTX ExpectCtxCrc32_eax_m32; /* f2 0f 38 f1 /r */
|
---|
979 | BS3REGCTX ExpectCtxCrc32_eax_m16; /* 66 f2 0f 38 f1 /r */
|
---|
980 | BS3REGCTX ExpectCtxUd;
|
---|
981 | PBS3REGCTX apExpectCtxs[5];
|
---|
982 | static const struct
|
---|
983 | {
|
---|
984 | uint32_t u32Stored;
|
---|
985 | uint8_t iExpectCtx;
|
---|
986 | uint8_t bXcpt;
|
---|
987 | uint8_t cbOpcodes;
|
---|
988 | uint8_t abOpcodes[18];
|
---|
989 | } s_aTests[] =
|
---|
990 | {
|
---|
991 | #define BECRC_EAX UINT32_C(0x11223344)
|
---|
992 | #define BECRC_MEM_ORG UINT32_C(0x55667788)
|
---|
993 | #define BECRC_MEM_BE16 UINT32_C(0x55664433)
|
---|
994 | #define BECRC_MEM_BE32 UINT32_C(0x44332211)
|
---|
995 |
|
---|
996 | /* base forms. */
|
---|
997 | { BECRC_MEM_BE32, 0, X86_XCPT_PF, 4, { 0x0f, 0x38, 0xf1, RM_EAX_DEREF_EBX } },
|
---|
998 | { BECRC_MEM_BE16, 1, X86_XCPT_PF, 5, { P_OZ, 0x0f, 0x38, 0xf1, RM_EAX_DEREF_EBX } },
|
---|
999 | { BECRC_MEM_ORG, 2, X86_XCPT_PF, 5, { P_RN, 0x0f, 0x38, 0xf1, RM_EAX_DEREF_EBX } },
|
---|
1000 | { BECRC_MEM_ORG, 3, X86_XCPT_PF, 6, { P_OZ, P_RN, 0x0f, 0x38, 0xf1, RM_EAX_DEREF_EBX } },
|
---|
1001 | { BECRC_MEM_ORG, 4, X86_XCPT_UD, 5, { P_RZ, 0x0f, 0x38, 0xf1, RM_EAX_DEREF_EBX } }, /* undefined F3 (P_RZ) */
|
---|
1002 | { BECRC_MEM_ORG, 4, X86_XCPT_UD, 6, { P_OZ, P_RZ, 0x0f, 0x38, 0xf1, RM_EAX_DEREF_EBX } }, /* undefined F3 (P_RZ) */
|
---|
1003 |
|
---|
1004 | /* CRC32 eax, [word ebx]: Simple variations showing it doesn't matter where the prefixes are placed. */
|
---|
1005 | { BECRC_MEM_ORG, 3, X86_XCPT_PF, 6, { P_RN, P_OZ, 0x0f, 0x38, 0xf1, RM_EAX_DEREF_EBX } },
|
---|
1006 | { BECRC_MEM_ORG, 3, X86_XCPT_PF, 7, { P_RN, P_OZ, P_ES, 0x0f, 0x38, 0xf1, RM_EAX_DEREF_EBX } },
|
---|
1007 | { BECRC_MEM_ORG, 3, X86_XCPT_PF, 8, { P_RN, P_SS, P_OZ, P_ES, 0x0f, 0x38, 0xf1, RM_EAX_DEREF_EBX } },
|
---|
1008 | { BECRC_MEM_ORG, 3, X86_XCPT_PF, 8, { P_RN, P_SS, P_ES, P_OZ, 0x0f, 0x38, 0xf1, RM_EAX_DEREF_EBX } },
|
---|
1009 | { BECRC_MEM_ORG, 3, X86_XCPT_PF, 8, { P_SS, P_RN, P_ES, P_OZ, 0x0f, 0x38, 0xf1, RM_EAX_DEREF_EBX } },
|
---|
1010 | { BECRC_MEM_ORG, 3, X86_XCPT_PF, 8, { P_SS, P_ES, P_RN, P_OZ, 0x0f, 0x38, 0xf1, RM_EAX_DEREF_EBX } },
|
---|
1011 | { BECRC_MEM_ORG, 3, X86_XCPT_PF, 8, { P_SS, P_ES, P_OZ, P_RN, 0x0f, 0x38, 0xf1, RM_EAX_DEREF_EBX } },
|
---|
1012 | { BECRC_MEM_ORG, 3, X86_XCPT_PF, 8, { P_SS, P_OZ, P_ES, P_RN, 0x0f, 0x38, 0xf1, RM_EAX_DEREF_EBX } },
|
---|
1013 | { BECRC_MEM_ORG, 3, X86_XCPT_PF, 8, { P_OZ, P_SS, P_ES, P_RN, 0x0f, 0x38, 0xf1, RM_EAX_DEREF_EBX } },
|
---|
1014 |
|
---|
1015 | /* CRC32 eax, [word ebx]: Throw the F3h prefix into the mix. The last of F3 and F2 wins on skylake+jaguar. */
|
---|
1016 | { BECRC_MEM_ORG, 3, X86_XCPT_PF, 7, { P_RZ, P_OZ, P_RN, 0x0f, 0x38, 0xf1, RM_EAX_DEREF_EBX } },
|
---|
1017 | { BECRC_MEM_ORG, 3, X86_XCPT_PF, 7, { P_OZ, P_RZ, P_RN, 0x0f, 0x38, 0xf1, RM_EAX_DEREF_EBX } },
|
---|
1018 | { BECRC_MEM_ORG, 4, X86_XCPT_UD, 7, { P_OZ, P_RN, P_RZ, 0x0f, 0x38, 0xf1, RM_EAX_DEREF_EBX } },
|
---|
1019 | { BECRC_MEM_ORG, 3, X86_XCPT_PF, 8, { P_OZ, P_RN, P_RZ, P_RN, 0x0f, 0x38, 0xf1, RM_EAX_DEREF_EBX } },
|
---|
1020 | { BECRC_MEM_ORG, 3, X86_XCPT_PF, 8, { P_RN, P_RZ, P_OZ, P_RN, 0x0f, 0x38, 0xf1, RM_EAX_DEREF_EBX } },
|
---|
1021 | { BECRC_MEM_ORG, 3, X86_XCPT_PF, 8, { P_RN, P_RZ, P_RN, P_OZ, 0x0f, 0x38, 0xf1, RM_EAX_DEREF_EBX } },
|
---|
1022 |
|
---|
1023 | { BECRC_MEM_ORG, 4, X86_XCPT_UD, 7, { P_OZ, P_RN, P_RZ, 0x0f, 0x38, 0xf1, RM_EAX_DEREF_EBX } },
|
---|
1024 | };
|
---|
1025 |
|
---|
1026 | apExpectCtxs[0] = &ExpectCtxMovbe_m32_eax;
|
---|
1027 | apExpectCtxs[1] = &ExpectCtxMovbe_m16_ax;
|
---|
1028 | apExpectCtxs[2] = &ExpectCtxCrc32_eax_m32;
|
---|
1029 | apExpectCtxs[3] = &ExpectCtxCrc32_eax_m16;
|
---|
1030 | apExpectCtxs[4] = &ExpectCtxUd;
|
---|
1031 |
|
---|
1032 | Bs3MemZero(&Ctx, sizeof(Ctx));
|
---|
1033 | Bs3MemZero(&ExpectCtxMovbe_m32_eax, sizeof(ExpectCtxMovbe_m32_eax));
|
---|
1034 | Bs3MemZero(&ExpectCtxMovbe_m16_ax, sizeof(ExpectCtxMovbe_m16_ax));
|
---|
1035 | Bs3MemZero(&ExpectCtxCrc32_eax_m32, sizeof(ExpectCtxCrc32_eax_m32));
|
---|
1036 | Bs3MemZero(&ExpectCtxCrc32_eax_m16, sizeof(ExpectCtxCrc32_eax_m16));
|
---|
1037 | Bs3MemZero(&ExpectCtxUd, sizeof(ExpectCtxUd));
|
---|
1038 | Bs3MemZero(&TrapFrame, sizeof(TrapFrame));
|
---|
1039 |
|
---|
1040 | /* Create a test context. */
|
---|
1041 | Bs3RegCtxSaveEx(&Ctx, BS3_MODE_CODE_32, 512);
|
---|
1042 | Ctx.rax.u = BECRC_EAX;
|
---|
1043 | Ctx.rbx.u = (uintptr_t)pbPages;
|
---|
1044 |
|
---|
1045 | /* Create expected result contexts. */
|
---|
1046 | Bs3MemCpy(&ExpectCtxMovbe_m32_eax, &Ctx, sizeof(ExpectCtxMovbe_m32_eax));
|
---|
1047 | ExpectCtxMovbe_m32_eax.rflags.u32 |= X86_EFL_RF;
|
---|
1048 | ExpectCtxMovbe_m32_eax.rip.u = (uintptr_t)&pbPages[X86_PAGE_SIZE];
|
---|
1049 | ExpectCtxMovbe_m32_eax.cr2.u = (uintptr_t)&pbPages[X86_PAGE_SIZE];
|
---|
1050 |
|
---|
1051 | Bs3MemCpy(&ExpectCtxMovbe_m16_ax, &ExpectCtxMovbe_m32_eax, sizeof(ExpectCtxMovbe_m16_ax));
|
---|
1052 |
|
---|
1053 | Bs3MemCpy(&ExpectCtxCrc32_eax_m32, &Ctx, sizeof(ExpectCtxCrc32_eax_m32));
|
---|
1054 | ExpectCtxCrc32_eax_m32.rflags.u32 |= X86_EFL_RF;
|
---|
1055 | ExpectCtxCrc32_eax_m32.rip.u = (uintptr_t)&pbPages[X86_PAGE_SIZE];
|
---|
1056 | ExpectCtxCrc32_eax_m32.cr2.u = (uintptr_t)&pbPages[X86_PAGE_SIZE];
|
---|
1057 | ExpectCtxCrc32_eax_m32.rax.u32 = 0x1aa7cd75;
|
---|
1058 | Bs3MemCpy(&ExpectCtxCrc32_eax_m16, &ExpectCtxCrc32_eax_m32, sizeof(ExpectCtxCrc32_eax_m16));
|
---|
1059 | ExpectCtxCrc32_eax_m16.rax.u32 = 0x51ab0518;
|
---|
1060 |
|
---|
1061 | Bs3MemCpy(&ExpectCtxUd, &Ctx, sizeof(ExpectCtxUd));
|
---|
1062 | ExpectCtxUd.rflags.u32 |= X86_EFL_RF;
|
---|
1063 |
|
---|
1064 | /* Loop thru the tests. */
|
---|
1065 | g_usBs3TestStep = 0;
|
---|
1066 | for (iTest = 0; iTest < RT_ELEMENTS(s_aTests); iTest++)
|
---|
1067 | {
|
---|
1068 | unsigned const cbOpcodes = s_aTests[iTest].cbOpcodes;
|
---|
1069 | uint8_t BS3_FAR *pbRip = &pbPages[X86_PAGE_SIZE - cbOpcodes];
|
---|
1070 |
|
---|
1071 | Bs3MemCpy(pbRip, s_aTests[iTest].abOpcodes, cbOpcodes);
|
---|
1072 | Bs3RegCtxSetRipCsFromFlat(&Ctx, (uintptr_t)pbRip);
|
---|
1073 | *(uint32_t *)pbPages = BECRC_MEM_ORG;
|
---|
1074 |
|
---|
1075 | #if 0
|
---|
1076 | Bs3TestPrintf("iTest=%d pbRip=%p cbOpcodes=%d: %.*Rhxs\n",
|
---|
1077 | iTest, pbRip, cbOpcodes, cbOpcodes, s_aTests[iTest].abOpcodes);
|
---|
1078 | //Bs3RegCtxPrint(&Ctx);
|
---|
1079 | #endif
|
---|
1080 | Bs3TrapSetJmpAndRestore(&Ctx, &TrapFrame);
|
---|
1081 | if (s_aTests[iTest].bXcpt == X86_XCPT_UD)
|
---|
1082 | ExpectCtxUd.rip = Ctx.rip;
|
---|
1083 | if ( !Bs3TestCheckRegCtxEx(&TrapFrame.Ctx, apExpectCtxs[s_aTests[iTest].iExpectCtx],
|
---|
1084 | 0 /*cbPcAdjust*/, 0 /*cbSpAdjust*/, 0 /*fExtraEfl*/, "mode", iTest)
|
---|
1085 | || TrapFrame.bXcpt != s_aTests[iTest].bXcpt
|
---|
1086 | || *(uint32_t *)pbPages != s_aTests[iTest].u32Stored)
|
---|
1087 | {
|
---|
1088 | Bs3TestFailedF("iTest=%d cbOpcodes=%d: %.*Rhxs\n", iTest, cbOpcodes, cbOpcodes, s_aTests[iTest].abOpcodes);
|
---|
1089 | if (TrapFrame.bXcpt != s_aTests[iTest].bXcpt)
|
---|
1090 | Bs3TestFailedF("Expected bXcpt=%#x, got %#x\n", s_aTests[iTest].bXcpt, TrapFrame.bXcpt);
|
---|
1091 | if (*(uint32_t *)pbPages != s_aTests[iTest].u32Stored)
|
---|
1092 | Bs3TestFailedF("Expected %#RX32 stored at %p, found: %RX32\n",
|
---|
1093 | s_aTests[iTest].u32Stored, pbPages, *(uint32_t *)pbPages);
|
---|
1094 | }
|
---|
1095 | }
|
---|
1096 |
|
---|
1097 | Bs3MemGuardedTestPageFree(pbPages);
|
---|
1098 | }
|
---|
1099 | else
|
---|
1100 | Bs3TestFailed("Failed to allocate two pages!\n");
|
---|
1101 | }
|
---|
1102 |
|
---|
1103 |
|
---|
1104 |
|
---|
1105 | /**
|
---|
1106 | * Checks various prefix encodings with the CMPPS, CMPPD, CMPSS and CMPSD
|
---|
1107 | * instructions to try figure out how they are decoded.
|
---|
1108 | *
|
---|
1109 | * The important thing to check here is that unlike CRC32/MOVBE the operand size
|
---|
1110 | * prefix (66h) is ignored when the F2h and F3h prefixes are used. We also
|
---|
1111 | * check that the prefix ordering is irrelevant and that the last one of F2h and
|
---|
1112 | * F3h wins.
|
---|
1113 | */
|
---|
1114 | static void DecodeCmppsCmppdCmpssCmpsd(void)
|
---|
1115 | {
|
---|
1116 | uint8_t BS3_FAR *pbPages;
|
---|
1117 |
|
---|
1118 | /* Check that the instructions are supported. */
|
---|
1119 | if ( !(g_uBs3CpuDetected & BS3CPU_F_CPUID)
|
---|
1120 | || (ASMCpuId_EDX(1) & (X86_CPUID_FEATURE_EDX_SSE | X86_CPUID_FEATURE_EDX_SSE2))
|
---|
1121 | != (X86_CPUID_FEATURE_EDX_SSE | X86_CPUID_FEATURE_EDX_SSE2) )
|
---|
1122 | {
|
---|
1123 | Bs3TestSkipped("SSE and/or SSE2 are not supported");
|
---|
1124 | return;
|
---|
1125 | }
|
---|
1126 |
|
---|
1127 | /* Setup a guarded page. */
|
---|
1128 | pbPages = Bs3MemGuardedTestPageAlloc(BS3MEMKIND_FLAT32);
|
---|
1129 | if (pbPages)
|
---|
1130 | {
|
---|
1131 | unsigned iTest;
|
---|
1132 | BS3REGCTX Ctx;
|
---|
1133 | BS3TRAPFRAME TrapFrame;
|
---|
1134 | BS3REGCTX ExpectCtxPf;
|
---|
1135 | BS3REGCTX ExpectCtxUd;
|
---|
1136 | static const struct
|
---|
1137 | {
|
---|
1138 | RTUINT128U Xmm0Expect;
|
---|
1139 | uint8_t bXcpt;
|
---|
1140 | uint8_t cbOpcodes;
|
---|
1141 | uint8_t abOpcodes[18];
|
---|
1142 | } s_aTests[] =
|
---|
1143 | {
|
---|
1144 | #define BECRC_IN_XMM1 RTUINT128_INIT_C(0x76547654bbaa9988, 0x7766554433221100)
|
---|
1145 | #define BECRC_IN_XMM0 RTUINT128_INIT_C(0x765476549988bbaa, 0x7766554400112233)
|
---|
1146 | #define BECRC_OUT_PS RTUINT128_INIT_C(0xffffffff00000000, 0xffffffff00000000) /* No prefix. */
|
---|
1147 | #define BECRC_OUT_PD RTUINT128_INIT_C(0x0000000000000000, 0x0000000000000000) /* P_OZ (66h) */
|
---|
1148 | #define BECRC_OUT_SS RTUINT128_INIT_C(0x765476549988bbaa, 0x7766554400000000) /* P_RZ (f3h) */
|
---|
1149 | #define BECRC_OUT_SD RTUINT128_INIT_C(0x765476549988bbaa, 0x0000000000000000) /* P_RN (f2h) */
|
---|
1150 |
|
---|
1151 | /* We use imm8=0 which checks for equality, with the subvalue result being all
|
---|
1152 | F's if equal and all zeros if not equal. The input values are choosen such
|
---|
1153 | that the 4 variants produces different results in xmm0. */
|
---|
1154 | /* CMPPS xmm0, xmm1, 0: 0f c2 /r ib ; Compares four 32-bit subvalues. */
|
---|
1155 | /* CMPPD xmm0, xmm1, 0: 66 0f c2 /r ib ; Compares two 64-bit subvalues. */
|
---|
1156 | /* CMPSS xmm0, xmm1, 0: f3 0f c2 /r ib ; Compares two 32-bit subvalues, top 64-bit remains unchanged. */
|
---|
1157 | /* CMPSD xmm0, xmm1, 0: f2 0f c2 /r ib ; Compares one 64-bit subvalue, top 64-bit remains unchanged. */
|
---|
1158 |
|
---|
1159 | /* base forms. */
|
---|
1160 | { BECRC_OUT_PS, X86_XCPT_PF, 4, { 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1161 | { BECRC_OUT_PD, X86_XCPT_PF, 5, { P_OZ, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1162 | { BECRC_OUT_SS, X86_XCPT_PF, 5, { P_RZ, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1163 | { BECRC_OUT_SD, X86_XCPT_PF, 5, { P_RN, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1164 |
|
---|
1165 | /* Skylake+jaguar ignores the 66h prefix with both f3h (P_RZ) and f2h (P_RN). */
|
---|
1166 | { BECRC_OUT_SS, X86_XCPT_PF, 6, { P_OZ, P_RZ, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1167 | { BECRC_OUT_SS, X86_XCPT_PF, 6, { P_RZ, P_OZ, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1168 | { BECRC_OUT_SD, X86_XCPT_PF, 6, { P_OZ, P_RN, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1169 | { BECRC_OUT_SD, X86_XCPT_PF, 6, { P_RN, P_OZ, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1170 |
|
---|
1171 | /* Throw in segment prefixes and address size prefixes. */
|
---|
1172 | { BECRC_OUT_PS, X86_XCPT_PF, 5, { P_ES, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1173 | { BECRC_OUT_PS, X86_XCPT_PF, 6, { P_ES, P_SS, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1174 | { BECRC_OUT_PS, X86_XCPT_PF, 5, { P_AZ, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1175 | { BECRC_OUT_PS, X86_XCPT_PF, 6, { P_AZ, P_CS, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1176 |
|
---|
1177 | { BECRC_OUT_PD, X86_XCPT_PF, 6, { P_ES, P_OZ, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1178 | { BECRC_OUT_PD, X86_XCPT_PF, 6, { P_OZ, P_ES, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1179 | { BECRC_OUT_PD, X86_XCPT_PF, 7, { P_ES, P_SS, P_OZ, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1180 | { BECRC_OUT_PD, X86_XCPT_PF, 7, { P_ES, P_OZ, P_SS, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1181 | { BECRC_OUT_PD, X86_XCPT_PF, 7, { P_OZ, P_ES, P_SS, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1182 | { BECRC_OUT_PD, X86_XCPT_PF, 6, { P_AZ, P_OZ, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1183 | { BECRC_OUT_PD, X86_XCPT_PF, 6, { P_OZ, P_AZ, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1184 | { BECRC_OUT_PD, X86_XCPT_PF, 7, { P_AZ, P_CS, P_OZ, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1185 | { BECRC_OUT_PD, X86_XCPT_PF, 7, { P_AZ, P_OZ, P_CS, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1186 | { BECRC_OUT_PD, X86_XCPT_PF, 7, { P_OZ, P_AZ, P_CS, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1187 |
|
---|
1188 | { BECRC_OUT_SS, X86_XCPT_PF, 6, { P_ES, P_RZ, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1189 | { BECRC_OUT_SS, X86_XCPT_PF, 6, { P_RZ, P_ES, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1190 | { BECRC_OUT_SS, X86_XCPT_PF, 7, { P_ES, P_SS, P_RZ, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1191 | { BECRC_OUT_SS, X86_XCPT_PF, 7, { P_ES, P_RZ, P_SS, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1192 | { BECRC_OUT_SS, X86_XCPT_PF, 7, { P_RZ, P_ES, P_SS, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1193 | { BECRC_OUT_SS, X86_XCPT_PF, 6, { P_AZ, P_RZ, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1194 | { BECRC_OUT_SS, X86_XCPT_PF, 6, { P_RZ, P_AZ, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1195 | { BECRC_OUT_SS, X86_XCPT_PF, 7, { P_AZ, P_CS, P_RZ, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1196 | { BECRC_OUT_SS, X86_XCPT_PF, 7, { P_AZ, P_RZ, P_CS, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1197 | { BECRC_OUT_SS, X86_XCPT_PF, 7, { P_RZ, P_AZ, P_CS, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1198 | { BECRC_OUT_SS, X86_XCPT_PF, 8, { P_OZ, P_RZ, P_AZ, P_CS, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1199 | { BECRC_OUT_SS, X86_XCPT_PF, 8, { P_RZ, P_OZ, P_AZ, P_CS, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1200 | { BECRC_OUT_SS, X86_XCPT_PF, 8, { P_RZ, P_AZ, P_OZ, P_CS, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1201 | { BECRC_OUT_SS, X86_XCPT_PF, 8, { P_RZ, P_AZ, P_CS, P_OZ, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1202 |
|
---|
1203 | { BECRC_OUT_SD, X86_XCPT_PF, 6, { P_ES, P_RN, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1204 | { BECRC_OUT_SD, X86_XCPT_PF, 6, { P_RN, P_ES, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1205 | { BECRC_OUT_SD, X86_XCPT_PF, 7, { P_ES, P_SS, P_RN, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1206 | { BECRC_OUT_SD, X86_XCPT_PF, 7, { P_ES, P_RN, P_SS, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1207 | { BECRC_OUT_SD, X86_XCPT_PF, 7, { P_RN, P_ES, P_SS, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1208 | { BECRC_OUT_SD, X86_XCPT_PF, 6, { P_AZ, P_RN, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1209 | { BECRC_OUT_SD, X86_XCPT_PF, 6, { P_RN, P_AZ, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1210 | { BECRC_OUT_SD, X86_XCPT_PF, 7, { P_AZ, P_CS, P_RN, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1211 | { BECRC_OUT_SD, X86_XCPT_PF, 7, { P_AZ, P_RN, P_CS, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1212 | { BECRC_OUT_SD, X86_XCPT_PF, 7, { P_RN, P_AZ, P_CS, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1213 | { BECRC_OUT_SD, X86_XCPT_PF, 8, { P_OZ, P_RN, P_AZ, P_CS, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1214 | { BECRC_OUT_SD, X86_XCPT_PF, 8, { P_RN, P_OZ, P_AZ, P_CS, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1215 | { BECRC_OUT_SD, X86_XCPT_PF, 8, { P_RN, P_AZ, P_OZ, P_CS, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1216 | { BECRC_OUT_SD, X86_XCPT_PF, 8, { P_RN, P_AZ, P_CS, P_OZ, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1217 |
|
---|
1218 | /* Pit f2h against f3h, on skylake+jaguar the last prefix wins. */
|
---|
1219 | { BECRC_OUT_SS, X86_XCPT_PF, 6, { P_RN, P_RZ, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1220 | { BECRC_OUT_SS, X86_XCPT_PF, 7, { P_RN, P_RN, P_RZ, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1221 | { BECRC_OUT_SS, X86_XCPT_PF, 7, { P_RZ, P_RN, P_RZ, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1222 | { BECRC_OUT_SS, X86_XCPT_PF, 7, { P_RN, P_RZ, P_RZ, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1223 | { BECRC_OUT_SS, X86_XCPT_PF, 8, { P_RN, P_RN, P_RN, P_RZ, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1224 | { BECRC_OUT_SS, X86_XCPT_PF, 8, { P_RN, P_RN, P_RZ, P_RZ, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1225 | { BECRC_OUT_SS, X86_XCPT_PF, 8, { P_RN, P_RZ, P_RN, P_RZ, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1226 | { BECRC_OUT_SS, X86_XCPT_PF, 8, { P_RZ, P_RN, P_RN, P_RZ, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1227 | { BECRC_OUT_SS, X86_XCPT_PF, 8, { P_RZ, P_RZ, P_RN, P_RZ, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1228 | { BECRC_OUT_SS, X86_XCPT_PF, 8, { P_RN, P_RZ, P_RZ, P_RZ, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1229 |
|
---|
1230 | { BECRC_OUT_SD, X86_XCPT_PF, 6, { P_RZ, P_RN, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1231 | { BECRC_OUT_SD, X86_XCPT_PF, 7, { P_RZ, P_RZ, P_RN, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1232 | { BECRC_OUT_SD, X86_XCPT_PF, 7, { P_RN, P_RZ, P_RN, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1233 | { BECRC_OUT_SD, X86_XCPT_PF, 7, { P_RZ, P_RN, P_RN, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1234 | { BECRC_OUT_SD, X86_XCPT_PF, 8, { P_RZ, P_RZ, P_RZ, P_RN, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1235 | { BECRC_OUT_SD, X86_XCPT_PF, 8, { P_RZ, P_RZ, P_RN, P_RN, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1236 | { BECRC_OUT_SD, X86_XCPT_PF, 8, { P_RZ, P_RN, P_RZ, P_RN, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1237 | { BECRC_OUT_SD, X86_XCPT_PF, 8, { P_RN, P_RZ, P_RZ, P_RN, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1238 | { BECRC_OUT_SD, X86_XCPT_PF, 8, { P_RN, P_RN, P_RZ, P_RN, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1239 | { BECRC_OUT_SD, X86_XCPT_PF, 8, { P_RZ, P_RN, P_RN, P_RN, 0x0f, 0xc2, RM_XMM0_XMM1, 0 } },
|
---|
1240 | };
|
---|
1241 | RTUINT128U InXmm0 = BECRC_IN_XMM0;
|
---|
1242 | RTUINT128U InXmm1 = BECRC_IN_XMM1;
|
---|
1243 | RTUINT128U OutXmm0 = RTUINT128_INIT_C(0xeeeeeeeeeeeeeeee, 0xcccccccccccccccc);
|
---|
1244 |
|
---|
1245 | Bs3MemZero(&Ctx, sizeof(Ctx));
|
---|
1246 | Bs3MemZero(&ExpectCtxPf, sizeof(ExpectCtxPf));
|
---|
1247 | Bs3MemZero(&ExpectCtxUd, sizeof(ExpectCtxUd));
|
---|
1248 | Bs3MemZero(&TrapFrame, sizeof(TrapFrame));
|
---|
1249 |
|
---|
1250 | /* Enable SSE. */
|
---|
1251 | ASMSetCR0((ASMGetCR0() & ~(X86_CR0_EM | X86_CR0_TS)) | X86_CR0_MP);
|
---|
1252 | ASMSetCR4(ASMGetCR4() | X86_CR4_OSFXSR);
|
---|
1253 |
|
---|
1254 | /* Create a test context. */
|
---|
1255 | Bs3RegCtxSaveEx(&Ctx, BS3_MODE_CODE_32, 512);
|
---|
1256 | Ctx.rax.u = BECRC_EAX;
|
---|
1257 | Ctx.rbx.u = (uintptr_t)pbPages;
|
---|
1258 |
|
---|
1259 | /* Create expected result contexts. */
|
---|
1260 | Bs3MemCpy(&ExpectCtxPf, &Ctx, sizeof(ExpectCtxPf));
|
---|
1261 | ExpectCtxPf.rflags.u32 |= X86_EFL_RF;
|
---|
1262 | ExpectCtxPf.rip.u = (uintptr_t)&pbPages[X86_PAGE_SIZE];
|
---|
1263 | ExpectCtxPf.cr2.u = (uintptr_t)&pbPages[X86_PAGE_SIZE];
|
---|
1264 |
|
---|
1265 | Bs3MemCpy(&ExpectCtxUd, &Ctx, sizeof(ExpectCtxUd));
|
---|
1266 | ExpectCtxUd.rflags.u32 |= X86_EFL_RF;
|
---|
1267 |
|
---|
1268 | /* Loop thru the tests. */
|
---|
1269 | g_usBs3TestStep = 0;
|
---|
1270 | for (iTest = 0; iTest < RT_ELEMENTS(s_aTests); iTest++)
|
---|
1271 | {
|
---|
1272 | unsigned const cbOpcodes = s_aTests[iTest].cbOpcodes;
|
---|
1273 | uint8_t BS3_FAR *pbRip = &pbPages[X86_PAGE_SIZE - cbOpcodes];
|
---|
1274 |
|
---|
1275 | Bs3MemCpy(pbRip, s_aTests[iTest].abOpcodes, cbOpcodes);
|
---|
1276 | Bs3RegCtxSetRipCsFromFlat(&Ctx, (uintptr_t)pbRip);
|
---|
1277 | ExpectCtxUd.rip = Ctx.rip;
|
---|
1278 | #if 0
|
---|
1279 | Bs3TestPrintf("iTest=%d pbRip=%p cbOpcodes=%d: %.*Rhxs\n",
|
---|
1280 | iTest, pbRip, cbOpcodes, cbOpcodes, s_aTests[iTest].abOpcodes);
|
---|
1281 | //Bs3RegCtxPrint(&Ctx);
|
---|
1282 | #endif
|
---|
1283 | BS3_CMN_NM(bs3CpuDecoding1_LoadXmm0)(&InXmm0);
|
---|
1284 | BS3_CMN_NM(bs3CpuDecoding1_LoadXmm1)(&InXmm1);
|
---|
1285 | Bs3TrapSetJmpAndRestore(&Ctx, &TrapFrame);
|
---|
1286 | BS3_CMN_NM(bs3CpuDecoding1_SaveXmm0)(&OutXmm0);
|
---|
1287 |
|
---|
1288 | if ( !Bs3TestCheckRegCtxEx(&TrapFrame.Ctx, s_aTests[iTest].bXcpt == X86_XCPT_UD ? &ExpectCtxUd : &ExpectCtxPf,
|
---|
1289 | 0 /*cbPcAdjust*/, 0 /*cbSpAdjust*/, 0 /*fExtraEfl*/, "mode", iTest)
|
---|
1290 | || TrapFrame.bXcpt != s_aTests[iTest].bXcpt
|
---|
1291 | || OutXmm0.s.Lo != s_aTests[iTest].Xmm0Expect.s.Lo
|
---|
1292 | || OutXmm0.s.Hi != s_aTests[iTest].Xmm0Expect.s.Hi)
|
---|
1293 | {
|
---|
1294 | Bs3TestFailedF("iTest=%d cbOpcodes=%d: %.*Rhxs\n", iTest, cbOpcodes, cbOpcodes, s_aTests[iTest].abOpcodes);
|
---|
1295 | if (TrapFrame.bXcpt != s_aTests[iTest].bXcpt)
|
---|
1296 | Bs3TestFailedF("Expected bXcpt=%#x, got %#x\n", s_aTests[iTest].bXcpt, TrapFrame.bXcpt);
|
---|
1297 | if ( OutXmm0.s.Lo != s_aTests[iTest].Xmm0Expect.s.Lo
|
---|
1298 | || OutXmm0.s.Hi != s_aTests[iTest].Xmm0Expect.s.Hi)
|
---|
1299 | Bs3TestFailedF("Expected XMM0=%08RX32:%08RX32:%08RX32:%08RX32, not %08RX32:%08RX32:%08RX32:%08RX32\n",
|
---|
1300 | s_aTests[iTest].Xmm0Expect.DWords.dw3, s_aTests[iTest].Xmm0Expect.DWords.dw2,
|
---|
1301 | s_aTests[iTest].Xmm0Expect.DWords.dw1, s_aTests[iTest].Xmm0Expect.DWords.dw0,
|
---|
1302 | OutXmm0.DWords.dw3, OutXmm0.DWords.dw2, OutXmm0.DWords.dw1, OutXmm0.DWords.dw0);
|
---|
1303 | }
|
---|
1304 | }
|
---|
1305 |
|
---|
1306 | Bs3MemGuardedTestPageFree(pbPages);
|
---|
1307 | }
|
---|
1308 | else
|
---|
1309 | Bs3TestFailed("Failed to allocate two pages!\n");
|
---|
1310 | }
|
---|
1311 |
|
---|
1312 |
|
---|
1313 | BS3_DECL(void) Main_pp32()
|
---|
1314 | {
|
---|
1315 | Bs3TestInit("bs3-cpu-decoding-1");
|
---|
1316 | Bs3TestPrintf("g_uBs3CpuDetected=%#x\n", g_uBs3CpuDetected);
|
---|
1317 |
|
---|
1318 | Bs3TestSub("CMPPS, CMPPD, CMPSS, CMPSD");
|
---|
1319 | DecodeCmppsCmppdCmpssCmpsd();
|
---|
1320 |
|
---|
1321 | Bs3TestSub("MOVBE vs CRC32");
|
---|
1322 | DecodeMovbeVsCrc32();
|
---|
1323 |
|
---|
1324 | #if 1
|
---|
1325 | Bs3TestSub("2 byte undefined opcodes 0f");
|
---|
1326 | DecodeUdEdgeTest(g_aUdTest2Byte_0f, RT_ELEMENTS(g_aUdTest2Byte_0f));
|
---|
1327 | #endif
|
---|
1328 | #if 1
|
---|
1329 | Bs3TestSub("3 byte undefined opcodes 0f 38");
|
---|
1330 | DecodeUdEdgeTest(g_aUdTest3Byte_0f_38, RT_ELEMENTS(g_aUdTest3Byte_0f_38));
|
---|
1331 | #endif
|
---|
1332 |
|
---|
1333 | #if 0
|
---|
1334 | Bs3TestSub("misc");
|
---|
1335 | DecodeEdgeTest();
|
---|
1336 | #endif
|
---|
1337 |
|
---|
1338 | Bs3TestTerm();
|
---|
1339 | }
|
---|
1340 |
|
---|