/[cl-x86-asm]/cl-x86-asm/x86instructions.lisp
ViewVC logotype

Contents of /cl-x86-asm/x86instructions.lisp

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1.2 - (show annotations)
Fri Mar 7 23:42:19 2008 UTC (6 years, 1 month ago) by jconnors
Branch: MAIN
CVS Tags: HEAD
Changes since 1.1: +1116 -1117 lines
Cleaned up indentation, added test cases.
1
2
3 (in-package :cl-x86-asm)
4
5 (declaim (optimize (debug 3) (speed 0) (safety 3) (compilation-speed 0)))
6
7 (defparameter *instruction-table*
8 '((("XORPS") (:|xmm1| :|xmm2/m128|) (#xF #x57 :|/r|))
9 (("XORPD") (:|xmm1| :|xmm2/m128|) (#x66 #xF #x57 :|/r|))
10 (("XOR") (:|EAX| :|imm32|) (:|o32| #x35 :|id|))
11 (("XOR") (:AX :|imm16|) (:|o16| #x35 :|iw|))
12 (("XOR") (:AL :|imm8|) (#x34 :|ib|))
13 (("XOR") (:|r/m32| :|imm8|) (:|o32| #x83 :/6 :|ib|))
14 (("XOR") (:|r/m16| :|imm8|) (:|o16| #x83 :/6 :|ib|))
15 (("XOR") (:|r/m32| :|imm32|) (:|o32| #x81 :/6 :|id|))
16 (("XOR") (:|r/m16| :|imm16|) (:|o16| #x81 :/6 :|iw|))
17 (("XOR") (:|r/m8| :|imm8|) (#x80 :/6 :|ib|))
18 (("XOR") (:|reg32| :|r/m32|) (:|o32| #x33 :|/r|))
19 (("XOR") (:|reg16| :|r/m16|) (:|o16| #x33 :|/r|))
20 (("XOR") (:|reg8| :|r/m8|) (#x32 :|/r|))
21 (("XOR") (:|r/m32| :|reg32|) (:|o32| #x31 :|/r|))
22 (("XOR") (:|r/m16| :|reg16|) (:|o16| #x31 :|/r|))
23 (("XOR") (:|r/m8| :|reg8|) (#x30 :|/r|))
24 (("XLATB") (:|none|) (#xD7))
25 (("XLAT") (:|none|) (#xD7))
26 (("XCHG") (:|reg32| :|EAX|) (:|o32| #x90 :|+r|))
27 (("XCHG") (:|reg16| :AX) (:|o16| #x90 :|+r|))
28 (("XCHG") (:|EAX| :|reg32|) (:|o32| #x90 :|+r|))
29 (("XCHG") (:AX :|reg16|) (:|o16| #x90 :|+r|))
30 (("XCHG") (:|r/m32| :|reg32|) (:|o32| #x87 :|/r|))
31 (("XCHG") (:|r/m16| :|reg16|) (:|o16| #x87 :|/r|))
32 (("XCHG") (:|r/m8| :|reg8|) (#x86 :|/r|))
33 (("XCHG") (:|reg32| :|r/m32|) (:|o32| #x87 :|/r|))
34 (("XCHG") (:|reg16| :|r/m8|) (:|o16| #x87 :|/r|))
35 (("XCHG") (:|reg8| :|r/m8|) (#x86 :|/r|))
36 (("XBTS") (:|reg32| :|r/m32|) (:|o32| #xF #xA6 :|/r|))
37 (("XBTS") (:|reg16| :|r/m16|) (:|o16| #xF #xA6 :|/r|))
38 (("XADD") (:|r/m32| :|reg32|) (:|o32| #xF #xC1 :|/r|))
39 (("XADD") (:|r/m16| :|reg16|) (:|o16| #xF #xC1 :|/r|))
40 (("XADD") (:|r/m8| :|reg8|) (#xF #xC0 :|/r|))
41 (("WRSHR") (:|r/m32|) (#xF #x37 :/0))
42 (("WRMSR") (:|none|) (#xF #x30))
43 (("WBINVD") (:|none|) (#xF #x9))
44 (("FWAIT") (:|none|) (#x9B))
45 (("WAIT") (:|none|) (#x9B))
46 (("VERW") (:|r/m16|) (#xF #x0 :/5))
47 (("VERR") (:|r/m16|) (#xF #x0 :/4))
48 (("UNPCKLPS") (:|xmm1| :|xmm2/m128|) (#xF #x14 :|/r|))
49 (("UNPCKLPD") (:|xmm1| :|xmm2/m128|) (#x66 #xF #x14 :|/r|))
50 (("UNPCKHPS") (:|xmm1| :|xmm2/m128|) (#xF #x15 :|/r|))
51 (("UNPCKHPD") (:|xmm1| :|xmm2/m128|) (#x66 #xF #x15 :|/r|))
52 (("UMOV") (:|reg32| :|r/m32|) (:|o32| #xF #x13 :|/r|))
53 (("UMOV") (:|reg16| :|r/m16|) (:|o16| #xF #x13 :|/r|))
54 (("UMOV") (:|reg8| :|r/m8|) (#xF #x12 :|/r|))
55 (("UMOV") (:|r/m32| :|reg32|) (:|o32| #xF #x11 :|/r|))
56 (("UMOV") (:|r/m16| :|reg16|) (:|o16| #xF #x11 :|/r|))
57 (("UMOV") (:|r/m8| :|reg8|) (#xF #x10 :|/r|))
58 (("UD2") (:|none|) (#xF #xB))
59 (("UD1") (:|none|) (#xF #xB9))
60 (("UD0") (:|none|) (#xF #xFF))
61 (("UCOMISS") (:|xmm1| :|xmm2/m128|) (#xF #x2E :|/r|))
62 (("UCOMISD") (:|xmm1| :|xmm2/m128|) (#x66 #xF #x2E :|/r|))
63 (("TEST") (:|EAX| :|imm32|) (:|o32| #xA9 :|id|))
64 (("TEST") (:AX :|imm16|) (:|o16| #xA9 :|iw|))
65 (("TEST") (:AL :|imm8|) (#xA8 :|ib|))
66 (("TEST") (:|r/m32| :|imm32|) (:|o32| #xF7 :/0 :|id|))
67 (("TEST") (:|r/m16| :|imm16|) (:|o16| #xF7 :/0 :|iw|))
68 (("TEST") (:|r/m8| :|imm8|) (#xF6 :/0 :|ib|))
69 (("TEST") (:|r/m32| :|reg32|) (:|o32| #x85 :|/r|))
70 (("TEST") (:|r/m16| :|reg16|) (:|o16| #x85 :|/r|))
71 (("TEST") (:|r/m8| :|reg8|) (#x84 :|/r|))
72 (("SYSRET") (:|none|) (#xF #x7))
73 (("SYSEXIT") (:|none|) (#xF #x35))
74 (("SYSENTER") (:|none|) (#xF #x34))
75 (("SYSCALL") (:|none|) (#xF #x5))
76 (("SVTS") (:|m80|) (#xF #x7C :/0))
77 (("SVLDT") (:|m80|) (#xF #x7A :/0))
78 (("SVDC") (:|m80| :|segreg|) (#xF #x78 :|/r|))
79 (("SUBSS") (:|xmm1| :|xmm2/m128|) (#xF3 #xF #x5C :|/r|))
80 (("SUBSD") (:|xmm1| :|xmm2/m128|) (#xF2 #xF #x5C :|/r|))
81 (("SUBPS") (:|xmm1| :|xmm2/m128|) (#xF #x5C :|/r|))
82 (("SUBPD") (:|xmm1| :|xmm2/m128|) (#x66 #xF #x5C :|/r|))
83 (("SUB") (:|EAX| :|imm32|) (:|o32| #x2D :|id|))
84 (("SUB") (:AX :|imm16|) (:|o16| #x2D :|iw|))
85 (("SUB") (:AL :|imm8|) (#x2C :|ib|))
86 (("SUB") (:|r/m32| :|imm8|) (:|o32| #x83 :/5 :|ib|))
87 (("SUB") (:|r/m16| :|imm8|) (:|o16| #x83 :/5 :|ib|))
88 (("SUB") (:|r/m32| :|imm32|) (:|o32| #x81 :/5 :|id|))
89 (("SUB") (:|r/m16| :|imm16|) (:|o16| #x81 :/5 :|iw|))
90 (("SUB") (:|r/m8| :|imm8|) (#x80 :/5 :|ib|))
91 (("SUB") (:|reg32| :|r/m32|) (:|o32| #x2B :|/r|))
92 (("SUB") (:|reg16| :|r/m16|) (:|o16| #x2B :|/r|))
93 (("SUB") (:|reg8| :|r/m8|) (#x2A :|/r|))
94 (("SUB") (:|r/m32| :|reg32|) (:|o32| #x29 :|/r|))
95 (("SUB") (:|r/m16| :|reg16|) (:|o16| #x29 :|/r|))
96 (("SUB") (:|r/m8| :|reg8|) (#x28 :|/r|))
97 (("STR") (:|r/m16|) (#xF #x0 :/1))
98 (("STOSD") (:|none|) (:|o32| #xAB))
99 (("STOSW") (:|none|) (:|o16| #xAB))
100 (("STOSB") (:|none|) (#xAA))
101 (("STMXCSR") (:|m32|) (#xF #xAE :/3))
102 (("STI") (:|none|) (#xFB))
103 (("STD") (:|none|) (#xFD))
104 (("STC") (:|none|) (#xF9))
105 (("SQRTSS") (:|xmm1| :|xmm2/m128|) (#xF3 #xF #x51 :|/r|))
106 (("SQRTSD") (:|xmm1| :|xmm2/m128|) (#xF2 #xF #x51 :|/r|))
107 (("SQRTPS") (:|xmm1| :|xmm2/m128|) (#xF #x51 :|/r|))
108 (("SQRTPD") (:|xmm1| :|xmm2/m128|) (#x66 #xF #x51 :|/r|))
109 (("SMSW") (:|r/m16|) (#xF #x1 :/4))
110 (("SMINTOLD") (:|none|) (#xF #x7E))
111 (("SMINT") (:|none|) (#xF #x38))
112 (("SMI") (:|none|) (#xF1))
113 (("SHUFPS") (:|xmm1| :|xmm2/m128| :|imm8|) (#xF #xC6 :|/r| :|ib|))
114 (("SHUFPD") (:|xmm1| :|xmm2/m128| :|imm8|) (#x66 #xF #xC6 :|/r| :|ib|))
115 (("SHRD") (:|r/m32| :|reg32| :CL) (:|o32| #xF #xAD :|/r|))
116 (("SHRD") (:|r/m16| :|reg16| :CL) (:|o16| #xF #xAD :|/r|))
117 (("SHRD") (:|r/m32| :|reg32| :|imm8|) (:|o32| #xF #xAC :|/r| :|ib|))
118 (("SHRD") (:|r/m16| :|reg16| :|imm8|) (:|o16| #xF #xAC :|/r| :|ib|))
119 (("SHLD") (:|r/m16| :|reg32| :CL) (:|o32| #xF #xA5 :|/r|))
120 (("SHLD") (:|r/m16| :|reg16| :CL) (:|o16| #xF #xA5 :|/r|))
121 (("SHLD") (:|r/m16| :|reg32| :|imm8|) (:|o32| #xF #xA4 :|/r| :|ib|))
122 (("SHLD") (:|r/m16| :|reg16| :|imm8|) (:|o16| #xF #xA4 :|/r| :|ib|))
123 (("SHR") (:|r/m32| :|imm8|) (:|o32| #xC1 :/5 :|ib|))
124 (("SHR") (:|r/m32| :CL) (:|o32| #xD3 :/5))
125 (("SHR") (:|r/m32| :|1|) (:|o32| #xD1 :/5))
126 (("SHR") (:|r/m16| :|imm8|) (:|o16| #xC1 :/5 :|ib|))
127 (("SHR") (:|r/m16| :CL) (:|o16| #xD3 :/5))
128 (("SHR") (:|r/m16| :|1|) (:|o16| #xD1 :/5))
129 (("SHR") (:|r/m8| :|imm8|) (#xC0 :/5 :|ib|))
130 (("SHR") (:|r/m8| :CL) (#xD2 :/5))
131 (("SHR") (:|r/m8| :|1|) (#xD0 :/5))
132 (("SHL") (:|r/m32| :|imm8|) (:|o32| #xC1 :/4 :|ib|))
133 (("SHL") (:|r/m32| :CL) (:|o32| #xD3 :/4))
134 (("SHL") (:|r/m32| :|1|) (:|o32| #xD1 :/4))
135 (("SHL") (:|r/m16| :|imm8|) (:|o16| #xC1 :/4 :|ib|))
136 (("SHL") (:|r/m16| :CL) (:|o16| #xD3 :/4))
137 (("SHL") (:|r/m16| :|1|) (:|o16| #xD1 :/4))
138 (("SHL") (:|r/m8| :|imm8|) (#xC0 :/4 :|ib|))
139 (("SHL") (:|r/m8| :CL) (#xD2 :/4))
140 (("SHL") (:|r/m8| :|1|) (#xD0 :/4))
141 (("SLDT") (:|r/m16|) (#xF #x0 :/0))
142 (("SIDT") (:|mem|) (#xF #x1 :/1))
143 (("SGDT") (:|mem|) (#xF #x1 :/0))
144 (("SFENCE") (:|none|) (#xF #xAE :/7))
145 ;; (("SETcc") (:|r/m8|) (#xF #x90 :|+cc| :/2))
146 (("SCASD") (:|none|) (:|o32| #xAF))
147 (("SCASW") (:|none|) (:|o16| #xAF))
148 (("SCASB") (:|none|) (#xAE))
149 (("SBB") (:|EAX| :|imm32|) (:|o32| #x1D :|id|))
150 (("SBB") (:AX :|imm16|) (:|o16| #x1D :|iw|))
151 (("SBB") (:AL :|imm8|) (#x1C :|ib|))
152 (("SBB") (:|r/m32| :|imm8|) (:|o32| #x83 :/3 :|ib|))
153 (("SBB") (:|r/m16| :|imm8|) (:|o16| #x83 :/3 :|ib|))
154 (("SBB") (:|r/m32| :|imm32|) (:|o32| #x81 :/3 :|id|))
155 (("SBB") (:|r/m16| :|imm16|) (:|o16| #x81 :/3 :|iw|))
156 (("SBB") (:|r/m8| :|imm8|) (#x80 :/3 :|ib|))
157 (("SBB") (:|reg32| :|r/m32|) (:|o32| #x1B :|/r|))
158 (("SBB") (:|reg16| :|r/m16|) (:|o16| #x1B :|/r|))
159 (("SBB") (:|reg8| :|r/m8|) (#x1A :|/r|))
160 (("SBB") (:|r/m32| :|reg32|) (:|o32| #x19 :|/r|))
161 (("SBB") (:|r/m16| :|reg16|) (:|o16| #x19 :|/r|))
162 (("SBB") (:|r/m8| :|reg8|) (#x18 :|/r|))
163 (("SALC") (:|none|) (#xD6))
164 (("SAR") (:|r/m32| :|imm8|) (:|o32| #xC1 :/7 :|ib|))
165 (("SAR") (:|r/m32| :CL) (:|o32| #xD3 :/7))
166 (("SAR") (:|r/m32| :|1|) (:|o32| #xD1 :/7))
167 (("SAR") (:|r/m16| :|imm8|) (:|o16| #xC1 :/7 :|ib|))
168 (("SAR") (:|r/m16| :CL) (:|o16| #xD3 :/7))
169 (("SAR") (:|r/m16| :|1|) (:|o16| #xD1 :/7))
170 (("SAR") (:|r/m8| :|imm8|) (#xC0 :/7 :|ib|))
171 (("SAR") (:|r/m8| :CL) (#xD2 :/7))
172 (("SAR") (:|r/m8| :|1|) (#xD0 :/7))
173 (("SAL") (:|r/m32| :|imm8|) (:|o32| #xC1 :/4 :|ib|))
174 (("SAL") (:|r/m32| :CL) (:|o32| #xD3 :/4))
175 (("SAL") (:|r/m32| :|1|) (:|o32| #xD1 :/4))
176 (("SAL") (:|r/m16| :|imm8|) (:|o16| #xC1 :/4 :|ib|))
177 (("SAL") (:|r/m16| :CL) (:|o16| #xD3 :/4))
178 (("SAL") (:|r/m16| :|1|) (:|o16| #xD1 :/4))
179 (("SAL") (:|r/m8| :|imm8|) (#xC0 :/4 :|ib|))
180 (("SAL") (:|r/m8| :CL) (#xD2 :/4))
181 (("SAL") (:|r/m8| :|1|) (#xD0 :/4))
182 (("SAHF") (:|none|) (#x9E))
183 (("RSTS") (:|m80|) (#xF #x7D :/0))
184 (("RSQRTSS") (:|xmm1| :|xmm2/m128|) (#xF3 #xF #x52 :|/r|))
185 (("RSQRTPS") (:|xmm1| :|xmm2/m128|) (#xF #x52 :|/r|))
186 (("RSM") (:|none|) (#xF #xAA))
187 (("RSLDT") (:|m80|) (#xF #x7B :/0))
188 (("RSDC") (:|segreg| :|m80|) (#xF #x79 :|/r|))
189 (("ROR") (:|r/m32| :|imm8|) (:|o32| #xC1 :/1 :|ib|))
190 (("ROR") (:|r/m32| :CL) (:|o32| #xD3 :/1))
191 (("ROR") (:|r/m32| :|1|) (:|o32| #xD1 :/1))
192 (("ROR") (:|r/m16| :|imm8|) (:|o16| #xC1 :/1 :|ib|))
193 (("ROR") (:|r/m16| :CL) (:|o16| #xD3 :/1))
194 (("ROR") (:|r/m16| :|1|) (:|o16| #xD1 :/1))
195 (("ROR") (:|r/m8| :|imm8|) (#xC0 :/1 :|ib|))
196 (("ROR") (:|r/m8| :CL) (#xD2 :/1))
197 (("ROR") (:|r/m8| :|1|) (#xD0 :/1))
198 (("ROL") (:|r/m32| :|imm8|) (:|o32| #xC1 :/0 :|ib|))
199 (("ROL") (:|r/m32| :CL) (:|o32| #xD3 :/0))
200 (("ROL") (:|r/m32| :|1|) (:|o32| #xD1 :/0))
201 (("ROL") (:|r/m16| :|imm8|) (:|o16| #xC1 :/0 :|ib|))
202 (("ROL") (:|r/m16| :CL) (:|o16| #xD3 :/0))
203 (("ROL") (:|r/m16| :|1|) (:|o16| #xD1 :/0))
204 (("ROL") (:|r/m8| :|imm8|) (#xC0 :/0 :|ib|))
205 (("ROL") (:|r/m8| :CL) (#xD2 :/0))
206 (("ROL") (:|r/m8| :|1|) (#xD0 :/0))
207 (("RETN") (:|imm16|) (#xC2 :|iw|))
208 (("RETN") (:|none|) (#xC3))
209 (("RETF") (:|imm16|) (#xCA :|iw|))
210 (("RETF") (:|none|) (#xCB))
211 (("RET") (:|imm16|) (#xC2 :|iw|))
212 (("RET") (:|none|) (#xC3))
213 (("RDTSC") (:|none|) (#xF #x31))
214 (("RDSHR") (:|r/m32|) (#xF #x36 :/0))
215 (("RDPMC") (:|none|) (#xF #x33))
216 (("RDMSR") (:|none|) (#xF #x32))
217 (("RCPSS") (:|xmm1| :|xmm2/m128|) (#xF3 #xF #x53 :|/r|))
218 (("RCPPS") (:|xmm1| :|xmm2/m128|) (#xF #x53 :|/r|))
219 (("RCR") (:|r/m32| :|imm8|) (:|o32| #xC1 :/3 :|ib|))
220 (("RCR") (:|r/m32| :CL) (:|o32| #xD3 :/3))
221 (("RCR") (:|r/m32| :|1|) (:|o32| #xD1 :/3))
222 (("RCR") (:|r/m16| :|imm8|) (:|o16| #xC1 :/3 :|ib|))
223 (("RCR") (:|r/m16| :CL) (:|o16| #xD3 :/3))
224 (("RCR") (:|r/m16| :|1|) (:|o16| #xD1 :/3))
225 (("RCR") (:|r/m8| :|imm8|) (#xC0 :/3 :|ib|))
226 (("RCR") (:|r/m8| :CL) (#xD2 :/3))
227 (("RCR") (:|r/m8| :|1|) (#xD0 :/3))
228 (("RCL") (:|r/m32| :|imm8|) (:|o32| #xC1 :/2 :|ib|))
229 (("RCL") (:|r/m32| :CL) (:|o32| #xD3 :/2))
230 (("RCL") (:|r/m32| :|1|) (:|o32| #xD1 :/2))
231 (("RCL") (:|r/m16| :|imm8|) (:|o16| #xC1 :/2 :|ib|))
232 (("RCL") (:|r/m16| :CL) (:|o16| #xD3 :/2))
233 (("RCL") (:|r/m16| :|1|) (:|o16| #xD1 :/2))
234 (("RCL") (:|r/m8| :|imm8|) (#xC0 :/2 :|ib|))
235 (("RCL") (:|r/m8| :CL) (#xD2 :/2))
236 (("RCL") (:|r/m8| :|1|) (#xD0 :/2))
237 (("PXOR") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xEF :|/r|))
238 (("PXOR") (:|mm1| :|mm2/m64|) (#xF #xEF :|/r|))
239 (("PUSHFW") (:|none|) (:|o16| #x9C))
240 (("PUSHFD") (:|none|) (:|o32| #x9C))
241 (("PUSHF") (:|none|) (#x9C))
242 (("PUSHAW") (:|none|) (:|o16| #x60))
243 (("PUSHAD") (:|none|) (:|o32| #x60))
244 (("PUSHA") (:|none|) (#x60))
245 (("PUSH") (:|imm32|) (:|o32| #x68 :|id|))
246 (("PUSH") (:|imm16|) (:|o16| #x68 :|iw|))
247 (("PUSH") (:|imm8|) (#x6A :|ib|))
248 (("PUSH") (:GS) (#xF #xA8))
249 (("PUSH") (:FS) (#xF #xA0))
250 (("PUSH") (:SS) (#x16))
251 (("PUSH") (:ES) (#x6))
252 (("PUSH") (:DS) (#x1E))
253 (("PUSH") (:CS) (#xE))
254 (("PUSH") (:|r/m32|) (:|o32| #xFF :/6))
255 (("PUSH") (:|r/m16|) (:|o16| #xFF :/6))
256 (("PUSH") (:|reg32|) (:|o32| #x50 :|+r|))
257 (("PUSH") (:|reg16|) (:|o16| #x50 :|+r|))
258 (("PUNPCKLQDQ") (:|xmm1| :|xmm2/m128|) (#x66 #xF #x6C :|/r|))
259 (("PUNPCKLDQ") (:|xmm1| :|xmm2/m128|) (#x66 #xF #x62 :|/r|))
260 (("PUNPCKLWD") (:|xmm1| :|xmm2/m128|) (#x66 #xF #x61 :|/r|))
261 (("PUNPCKLBW") (:|xmm1| :|xmm2/m128|) (#x66 #xF #x60 :|/r|))
262 (("PUNPCKLDQ") (:|mm1| :|mm2/m32|) (#xF #x62 :|/r|))
263 (("PUNPCKLWD") (:|mm1| :|mm2/m32|) (#xF #x61 :|/r|))
264 (("PUNPCKLBW") (:|mm1| :|mm2/m32|) (#xF #x60 :|/r|))
265 (("PUNPCKHQDQ") (:|xmm1| :|xmm2/m128|) (#x66 #xF #x6D :|/r|))
266 (("PUNPCKHDQ") (:|xmm1| :|xmm2/m128|) (#x66 #xF #x6A :|/r|))
267 (("PUNPCKHWD") (:|xmm1| :|xmm2/m128|) (#x66 #xF #x69 :|/r|))
268 (("PUNPCKHBW") (:|xmm1| :|xmm2/m128|) (#x66 #xF #x68 :|/r|))
269 (("PUNPCKHDQ") (:|mm1| :|mm2/m64|) (#xF #x6A :|/r|))
270 (("PUNPCKHWD") (:|mm1| :|mm2/m64|) (#xF #x69 :|/r|))
271 (("PUNPCKHBW") (:|mm1| :|mm2/m64|) (#xF #x68 :|/r|))
272 (("PSWAPD") (:|mm1| :|mm2/m64|) (#xF #xF :|/r| #xBB))
273 (("PSUBSIW") (:|mm1| :|mm2/m64|) (#xF #x55 :|/r|))
274 (("PSUBUSW") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xD9 :|/r|))
275 (("PSUBUSB") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xD8 :|/r|))
276 (("PSUBUSW") (:|mm1| :|mm2/m64|) (#xF #xD9 :|/r|))
277 (("PSUBUSB") (:|mm1| :|mm2/m64|) (#xF #xD8 :|/r|))
278 (("PSUBSW") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xE9 :|/r|))
279 (("PSUBSB") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xE8 :|/r|))
280 (("PSUBSW") (:|mm1| :|mm2/m64|) (#xF #xE9 :|/r|))
281 (("PSUBSB") (:|mm1| :|mm2/m64|) (#xF #xE8 :|/r|))
282 (("PSUBQ") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xFB :|/r|))
283 (("PSUBD") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xFA :|/r|))
284 (("PSUBW") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xF9 :|/r|))
285 (("PSUBB") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xF8 :|/r|))
286 (("PSUBQ") (:|mm1| :|mm2/m64|) (#xF #xFB :|/r|))
287 (("PSUBD") (:|mm1| :|mm2/m64|) (#xF #xFA :|/r|))
288 (("PSUBW") (:|mm1| :|mm2/m64|) (#xF #xF9 :|/r|))
289 (("PSUBB") (:|mm1| :|mm2/m64|) (#xF #xF8 :|/r|))
290 (("PSRLDQ") (:|xmm1| :|imm8|) (#x66 #xF #x73 :/3 :|ib|))
291 (("PSRLQ") (:|xmm| :|imm8|) (#x66 #xF #x73 :/2 :|ib|))
292 (("PSRLQ") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xD3 :|/r|))
293 (("PSRLQ") (:|mm| :|imm8|) (#xF #x73 :/2 :|ib|))
294 (("PSRLQ") (:|mm1| :|mm2/m64|) (#xF #xD3 :|/r|))
295 (("PSRLD") (:|xmm| :|imm8|) (#x66 #xF #x72 :/2 :|ib|))
296 (("PSRLD") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xD2 :|/r|))
297 (("PSRLD") (:|mm| :|imm8|) (#xF #x72 :/2 :|ib|))
298 (("PSRLD") (:|mm1| :|mm2/m64|) (#xF #xD2 :|/r|))
299 (("PSRLW") (:|xmm| :|imm8|) (#x66 #xF #x71 :/2 :|ib|))
300 (("PSRLW") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xD1 :|/r|))
301 (("PSRLW") (:|mm| :|imm8|) (#xF #x71 :/2 :|ib|))
302 (("PSRLW") (:|mm1| :|mm2/m64|) (#xF #xD1 :|/r|))
303 (("PSRAD") (:|xmm| :|imm8|) (#x66 #xF #x72 :/4 :|ib|))
304 (("PSRAD") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xE2 :|/r|))
305 (("PSRAD") (:|mm| :|imm8|) (#xF #x72 :/4 :|ib|))
306 (("PSRAD") (:|mm1| :|mm2/m64|) (#xF #xE2 :|/r|))
307 (("PSRAW") (:|xmm| :|imm8|) (#x66 #xF #x71 :/4 :|ib|))
308 (("PSRAW") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xE1 :|/r|))
309 (("PSRAW") (:|mm| :|imm8|) (#xF #x71 :/4 :|ib|))
310 (("PSRAW") (:|mm1| :|mm2/m64|) (#xF #xE1 :|/r|))
311 (("PSLLDQ") (:|xmm1| :|imm8|) (#x66 #xF #x73 :/7 :|ib|))
312 (("PSLLQ") (:|xmm| :|imm8|) (#x66 #xF #x73 :/6 :|ib|))
313 (("PSLLQ") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xF3 :|/r|))
314 (("PSLLQ") (:|mm| :|imm8|) (#xF #x73 :/6 :|ib|))
315 (("PSLLQ") (:|mm1| :|mm2/m64|) (#xF #xF3 :|/r|))
316 (("PSLLD") (:|xmm| :|imm8|) (#x66 #xF #x72 :/6 :|ib|))
317 (("PSLLD") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xF2 :|/r|))
318 (("PSLLD") (:|mm| :|imm8|) (#xF #x72 :/6 :|ib|))
319 (("PSLLD") (:|mm1| :|mm2/m64|) (#xF #xF2 :|/r|))
320 (("PSLLW") (:|xmm| :|imm8|) (#x66 #xF #x71 :/6 :|ib|))
321 (("PSLLW") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xF1 :|/r|))
322 (("PSLLW") (:|mm| :|imm8|) (#xF #x71 :/6 :|ib|))
323 (("PSLLW") (:|mm1| :|mm2/m64|) (#xF #xF1 :|/r|))
324 (("PSHUFW") (:|mm1| :|mm2/m64| :|imm8|) (#xF #x70 :|/r| :|ib|))
325 (("PSHUFLW") (:|xmm1| :|xmm2/m128| :|imm8|) (#xF2 #xF #x70 :|/r| :|ib|))
326 (("PSHUFHW") (:|xmm1| :|xmm2/m128| :|imm8|) (#xF3 #xF #x70 :|/r| :|ib|))
327 (("PSHUFD") (:|xmm1| :|xmm2/m128| :|imm8|) (#x66 #xF #x70 :|/r| :|ib|))
328 (("PSADBW") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xF6 :|/r|))
329 (("PSADBW") (:|mm1| :|mm2/m64|) (#xF #xF6 :|/r|))
330 (("PREFETCHT2") (:|m8|) (#xF #x18 :/3))
331 (("PREFETCHT1") (:|m8|) (#xF #x18 :/2))
332 (("PREFETCHT0") (:|m8|) (#xF #x18 :/1))
333 (("PREFETCHNTA") (:|m8|) (#xF #x18 :/0))
334 (("PREFETCHW") (:|mem8|) (#xF #xD :/1))
335 (("PREFETCH") (:|mem8|) (#xF #xD :/0))
336 (("POR") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xEB :|/r|))
337 (("POR") (:|mm1| :|mm2/m64|) (#xF #xEB :|/r|))
338 (("POPFD") (:|none|) (:|o32| #x9D))
339 (("POPFW") (:|none|) (:|o16| #x9D))
340 (("POPF") (:|none|) (#x9D))
341 (("POPAD") (:|none|) (:|o32| #x61))
342 (("POPAW") (:|none|) (:|o16| #x61))
343 (("POPA") (:|none|) (#x61))
344 (("POP") (:GS) (#xF #xA9))
345 (("POP") (:FS) (#xF #xA1))
346 (("POP") (:SS) (#x17))
347 (("POP") (:ES) (#x7))
348 (("POP") (:DS) (#x1F))
349 (("POP") (:CS) (#xF))
350 (("POP") (:|r/m32|) (:|o32| #x8F :/0))
351 (("POP") (:|r/m16|) (:|o16| #x8F :/0))
352 (("POP") (:|reg32|) (:|o32| #x58 :|+r|))
353 (("POP") (:|reg16|) (:|o16| #x58 :|+r|))
354 (("PMVGEZB") (:|mmxreg| :|mem64|) (#xF #x5C :|/r|))
355 (("PMVLZB") (:|mmxreg| :|mem64|) (#xF #x5B :|/r|))
356 (("PMVNZB") (:|mmxreg| :|mem64|) (#xF #x5A :|/r|))
357 (("PMVZB") (:|mmxreg| :|mem64|) (#xF #x58 :|/r|))
358 (("PMULUDQ") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xF4 :|/r|))
359 (("PMULUDQ") (:|mm1| :|mm2/m64|) (#xF #xF4 :|/r|))
360 (("PMULLW") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xD5 :|/r|))
361 (("PMULHW") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xE5 :|/r|))
362 (("PMULLW") (:|mm1| :|mm2/m64|) (#xF #xD5 :|/r|))
363 (("PMULHW") (:|mm1| :|mm2/m64|) (#xF #xE5 :|/r|))
364 (("PMULHUW") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xE4 :|/r|))
365 (("PMULHUW") (:|mm1| :|mm2/m64|) (#xF #xE4 :|/r|))
366 (("PMULHRWA") (:|mm1| :|mm2/m64|) (#xF #xF :|/r| #xB7))
367 (("PMULHRIW") (:|mm1| :|mm2/m64|) (#xF #x5D :|/r|))
368 (("PMULHRWC") (:|mm1| :|mm2/m64|) (#xF #x59 :|/r|))
369 (("PMOVMSKB") (:|reg32| :|xmm|) (#x66 #xF #xD7 :|/r|))
370 (("PMOVMSKB") (:|reg32| :|mm|) (#xF #xD7 :|/r|))
371 (("PMINUB") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xDA :|/r|))
372 (("PMINUB") (:|mm1| :|mm2/m64|) (#xF #xDA :|/r|))
373 (("PMINSW") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xEA :|/r|))
374 (("PMINSW") (:|mm1| :|mm2/m64|) (#xF #xEA :|/r|))
375 (("PMAXUB") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xDE :|/r|))
376 (("PMAXUB") (:|mm1| :|mm2/m64|) (#xF #xDE :|/r|))
377 (("PMAXSW") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xEE :|/r|))
378 (("PMAXSW") (:|mm1| :|mm2/m64|) (#xF #xEE :|/r|))
379 (("PMAGW") (:|mm1| :|mm2/m64|) (#xF #x52 :|/r|))
380 (("PMADDWD") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xF5 :|/r|))
381 (("PMADDWD") (:|mm1| :|mm2/m64|) (#xF #xF5 :|/r|))
382 (("PMACHRIW") (:|mm| :|m64|) (#xF #x5E :|/r|))
383 (("PINSRW") (:|xmm| :|r16/r32/m16| :|imm8|) (#x66 #xF #xC4 :|/r| :|ib|))
384 (("PINSRW") (:|mm| :|r16/r32/m16| :|imm8|) (#xF #xC4 :|/r| :|ib|))
385 (("PI2FW") (:|mm1| :|mm2/m64|) (#xF #xF :|/r| #xC))
386 (("PI2FD") (:|mm1| :|mm2/m64|) (#xF #xF :|/r| #xD))
387 (("PFSUBR") (:|mm1| :|mm2/m64|) (#xF #xF :|/r| #xAA))
388 (("PFSUB") (:|mm1| :|mm2/m64|) (#xF #xF :|/r| #x9A))
389 (("PFRSQRT") (:|mm1| :|mm2/m64|) (#xF #xF :|/r| #x97))
390 (("PFRSQIT1") (:|mm1| :|mm2/m64|) (#xF #xF :|/r| #xA7))
391 (("PFRCPIT2") (:|mm1| :|mm2/m64|) (#xF #xF :|/r| #xB6))
392 (("PFRCPIT1") (:|mm1| :|mm2/m64|) (#xF #xF :|/r| #xA6))
393 (("PFRCP") (:|mm1| :|mm2/m64|) (#xF #xF :|/r| #x96))
394 (("PFPNACC") (:|mm1| :|mm2/m64|) (#xF #xF :|/r| #x8E))
395 (("PFNACC") (:|mm1| :|mm2/m64|) (#xF #xF :|/r| #x8A))
396 (("PFMUL") (:|mm1| :|mm2/m64|) (#xF #xF :|/r| #xB4))
397 (("PFMIN") (:|mm1| :|mm2/m64|) (#xF #xF :|/r| #x94))
398 (("PFMAX") (:|mm1| :|mm2/m64|) (#xF #xF :|/r| #xA4))
399 (("PFCMPGT") (:|mm1| :|mm2/m64|) (#xF #xF :|/r| #xA0))
400 (("PFCMPGE") (:|mm1| :|mm2/m64|) (#xF #xF :|/r| #x90))
401 (("PFCMPEQ") (:|mm1| :|mm2/m64|) (#xF #xF :|/r| #xB0))
402 (("PFADD") (:|mm1| :|mm2/m64|) (#xF #xF :|/r| #x9E))
403 (("PFACC") (:|mm1| :|mm2/m64|) (#xF #xF :|/r| #xAE))
404 (("PF2IW") (:|mm1| :|mm2/m64|) (#xF #xF :|/r| #x1C))
405 (("PF2ID") (:|mm1| :|mm2/m64|) (#xF #xF :|/r| #x1D))
406 (("PEXTRW") (:|reg32| :|xmm| :|imm8|) (#x66 #xF #xC5 :|/r| :|ib|))
407 (("PEXTRW") (:|reg32| :|mm| :|imm8|) (#xF #xC5 :|/r| :|ib|))
408 (("PDISTIB") (:|mm| :|m64|) (#xF #x54 :|/r|))
409 (("PCMPGTD") (:|xmm1| :|xmm2/m128|) (#x66 #xF #x66 :|/r|))
410 (("PCMPGTW") (:|xmm1| :|xmm2/m128|) (#x66 #xF #x65 :|/r|))
411 (("PCMPGTB") (:|xmm1| :|xmm2/m128|) (#x66 #xF #x64 :|/r|))
412 (("PCMPEQD") (:|xmm1| :|xmm2/m128|) (#x66 #xF #x76 :|/r|))
413 (("PCMPEQW") (:|xmm1| :|xmm2/m128|) (#x66 #xF #x75 :|/r|))
414 (("PCMPEQB") (:|xmm1| :|xmm2/m128|) (#x66 #xF #x74 :|/r|))
415 (("PCMPGTD") (:|mm1| :|mm2/m64|) (#xF #x66 :|/r|))
416 (("PCMPGTW") (:|mm1| :|mm2/m64|) (#xF #x65 :|/r|))
417 (("PCMPGTB") (:|mm1| :|mm2/m64|) (#xF #x64 :|/r|))
418 (("PCMPEQD") (:|mm1| :|mm2/m64|) (#xF #x76 :|/r|))
419 (("PCMPEQW") (:|mm1| :|mm2/m64|) (#xF #x75 :|/r|))
420 (("PCMPEQB") (:|mm1| :|mm2/m64|) (#xF #x74 :|/r|))
421 (("PAVGUSB") (:|mm1| :|mm2/m64|) (#xF #xF :|/r| #xBF))
422 (("PAVGW") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xE3 :|/r|))
423 (("PAVGB") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xE0 :|/r|))
424 (("PAVGW") (:|mm1| :|mm2/m64|) (#xF #xE3 :|/r|))
425 (("PAVGB") (:|mm1| :|mm2/m64|) (#xF #xE0 :|/r|))
426 (("PAVEB") (:|mmxreg| :|r/m64|) (#xF #x50 :|/r|))
427 (("PAUSE") (:|none|) (#xF3 #x90))
428 (("PANDN") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xDF :|/r|))
429 (("PAND") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xDB :|/r|))
430 (("PANDN") (:|mm1| :|mm2/m64|) (#xF #xDF :|/r|))
431 (("PAND") (:|mm1| :|mm2/m64|) (#xF #xDB :|/r|))
432 (("PADDUSW") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xDD :|/r|))
433 (("PADDUSB") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xDC :|/r|))
434 (("PADDUSW") (:|mm1| :|mm2/m64|) (#xF #xDD :|/r|))
435 (("PADDUSB") (:|mm1| :|mm2/m64|) (#xF #xDC :|/r|))
436 (("PADDSIW") (:|mmxreg| :|r/m64|) (#xF #x51 :|/r|))
437 (("PADDSW") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xED :|/r|))
438 (("PADDSB") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xEC :|/r|))
439 (("PADDSW") (:|mm1| :|mm2/m64|) (#xF #xED :|/r|))
440 (("PADDSB") (:|mm1| :|mm2/m64|) (#xF #xEC :|/r|))
441 (("PADDQ") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xD4 :|/r|))
442 (("PADDQ") (:|mm1| :|mm2/m64|) (#xF #xD4 :|/r|))
443 (("PADDD") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xFE :|/r|))
444 (("PADDW") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xFD :|/r|))
445 (("PADDB") (:|xmm1| :|xmm2/m128|) (#x66 #xF #xFC :|/r|))
446 (("PADDD") (:|mm1| :|mm2/m64|) (#xF #xFE :|/r|))
447 (("PADDW") (:|mm1| :|mm2/m64|) (#xF #xFD :|/r|))
448 (("PADDB") (:|mm1| :|mm2/m64|) (#xF #xFC :|/r|))
449 (("PACKUSWB") (:|xmm1| :|xmm2/m128|) (#x66 #xF #x67 :|/r|))
450 (("PACKSSWB") (:|xmm1| :|xmm2/m128|) (#x66 #xF #x63 :|/r|))
451 (("PACKSSDW") (:|xmm1| :|xmm2/m128|) (#x66 #xF #x6B :|/r|))
452 (("PACKUSWB") (:|mm1| :|mm2/m64|) (#xF #x67 :|/r|))
453 (("PACKSSWB") (:|mm1| :|mm2/m64|) (#xF #x63 :|/r|))
454 (("PACKSSDW") (:|mm1| :|mm2/m64|) (#xF #x6B :|/r|))
455 (("OUTSD") (:|none|) (:|o32| #x6F))
456 (("OUTSW") (:|none|) (:|o16| #x6F))
457 (("OUTSB") (:|none|) (#x6E))
458 (("OUT") (:DX :|EAX|) (:|o32| #xEF))
459 (("OUT") (:DX :AX) (:|o16| #xEF))
460 (("OUT") (:DX :AL) (#xEE))
461 (("OUT") (:|imm8| :|EAX|) (:|o32| #xE7 :|ib|))
462 (("OUT") (:|imm8| :AX) (:|o16| #xE7 :|ib|))
463 (("OUT") (:|imm8| :AL) (#xE6 :|ib|))
464 (("ORPS") (:|xmm1| :|xmm2/m128|) (#xF #x56 :|/r|))
465 (("ORPD") (:|xmm1| :|xmm2/m128|) (#x66 #xF #x56 :|/r|))
466 (("OR") (:|EAX| :|imm32|) (:|o32| #xD :|id|))
467 (("OR") (:AX :|imm16|) (:|o16| #xD :|iw|))
468 (("OR") (:AL :|imm8|) (#xC :|ib|))
469 (("OR") (:|r/m32| :|imm8|) (:|o32| #x83 :/1 :|ib|))
470 (("OR") (:|r/m16| :|imm8|) (:|o16| #x83 :/1 :|ib|))
471 (("OR") (:|r/m32| :|imm32|) (:|o32| #x81 :/1 :|id|))
472 (("OR") (:|r/m16| :|imm16|) (:|o16| #x81 :/1 :|iw|))
473 (("OR") (:|r/m8| :|imm8|) (#x80 :/1 :|ib|))
474 (("OR") (:|reg32| :|r/m32|) (:|o32| #xB :|/r|))
475 (("OR") (:|reg16| :|r/m16|) (:|o16| #xB :|/r|))
476 (("OR") (:|reg8| :|r/m8|) (#xA :|/r|))
477 (("OR") (:|r/m32| :|reg32|) (:|o32| #x9 :|/r|))
478 (("OR") (:|r/m16| :|reg16|) (:|o16| #x9 :|/r|))
479 (("OR") (:|r/m8| :|reg8|) (#x8 :|/r|))
480 (("NOP") (:|none|) (#x90))
481 (("NOT") (:|r/m32|) (:|o32| #xF7 :/2))
482 (("NOT") (:|r/m16|) (:|o16| #xF7 :/2))
483 (("NOT") (:|r/m8|) (#xF6 :/2))
484 (("NEG") (:|r/m32|) (:|o32| #xF7 :/3))
485 (("NEG") (:|r/m16|) (:|o16| #xF7 :/3))
486 (("NEG") (:|r/m8|) (#xF6 :/3))
487 (("MULSS") (:|xmm1| :|xmm2/mem32|) (#xF3 #xF #x59 :|/r|))
488 (("MULSD") (:|xmm1| :|xmm2/mem32|) (#xF2 #xF #x59 :|/r|))
489 (("MULPS") (:|xmm1| :|xmm2/mem128|) (#xF #x59 :|/r|))
490 (("MULPD") (:|xmm1| :|xmm2/mem128|) (#x66 #xF #x59 :|/r|))
491 (("MUL") (:|r/m32|) (:|o32| #xF7 :/4))
492 (("MUL") (:|r/m16|) (:|o16| #xF7 :/4))
493 (("MUL") (:|r/m8|) (#xF6 :/4))
494 (("MOVUPS") (:|xmm1/mem128| :|xmm2|) (#xF #x11 :|/r|))
495 (("MOVUPS") (:|xmm1| :|xmm2/mem128|) (#xF #x10 :|/r|))
496 (("MOVUPD") (:|xmm1/mem128| :|xmm2|) (#x66 #xF #x11 :|/r|))
497 (("MOVUPD") (:|xmm1| :|xmm2/mem128|) (#x66 #xF #x10 :|/r|))
498 (("MOVZX") (:|reg32| :|r/m16|) (:|o32| #xF #xB7 :|/r|))
499 (("MOVZX") (:|reg32| :|r/m8|) (:|o32| #xF #xB6 :|/r|))
500 (("MOVZX") (:|reg16| :|r/m8|) (:|o16| #xF #xB6 :|/r|))
501 (("MOVSX") (:|reg32| :|r/m16|) (:|o32| #xF #xBF :|/r|))
502 (("MOVSX") (:|reg32| :|r/m8|) (:|o32| #xF #xBE :|/r|))
503 (("MOVSX") (:|reg16| :|r/m8|) (:|o16| #xF #xBE :|/r|))
504 (("MOVSS") (:|xmm1/m32| :|xmm2|) (#xF3 #xF #x11 :|/r|))
505 (("MOVSS") (:|xmm1| :|xmm2/m32|) (#xF3 #xF #x10 :|/r|))
506 (("MOVSD") (:|xmm1/m64| :|xmm2|) (#xF2 #xF #x11 :|/r|))
507 (("MOVSD") (:|xmm1| :|xmm2/m64|) (#xF2 #xF #x10 :|/r|))
508 (("MOVSD") (:|none|) (:|o32| #xA5))
509 (("MOVSW") (:|none|) (:|o16| #xA5))
510 (("MOVSB") (:|none|) (#xA4))
511 (("MOVQ2DQ") (:|xmm| :|mm|) (#xF3 :OF #xD6 :|/r|))
512 (("MOVQ") (:|xmm1/m64| :|xmm2|) (#x66 #xF #xD6 :|/r|))
513 (("MOVQ") (:|xmm1| :|xmm2/m64|) (#xF3 #xF #x7E :|/r|))
514 (("MOVQ") (:|mm1/m64| :|mm2|) (#xF #x7F :|/r|))
515 (("MOVQ") (:|mm1| :|mm2/m64|) (#xF #x6F :|/r|))
516 (("MOVNTQ") (:|m64| :|mm|) (#xF #xE7 :|/r|))
517 (("MOVNTPS") (:|m128| :|xmm|) (#xF #x2B :|/r|))
518 (("MOVNTPD") (:|m128| :|xmm|) (#x66 #xF #x2B :|/r|))
519 (("MOVNTI") (:|m32| :|reg32|) (#xF #xC3 :|/r|))
520 (("MOVNTDQ") (:|m128| :|xmm|) (#x66 #xF #xE7 :|/r|))
521 (("MOVMSKPS") (:|reg32| :|xmm|) (#xF #x50 :|/r|))
522 (("MOVMSKPD") (:|reg32| :|xmm|) (#x66 #xF #x50 :|/r|))
523 (("MOVLPS") (:|m64| :|xmm|) (:OF #x13 :|/r|))
524 (("MOVLPS") (:|xmm| :|m64|) (:OF #x12 :|/r|))
525 (("MOVLPD") (:|m64| :|xmm|) (#x66 :OF #x13 :|/r|))
526 (("MOVLPD") (:|xmm| :|m64|) (#x66 :OF #x12 :|/r|))
527 (("MOVLHPS") (:|xmm1| :|xmm2|) (:OF #x16 :|/r|))
528 (("MOVHPS") (:|m64| :|xmm|) (#xF #x17 :|/r|))
529 (("MOVHPS") (:|xmm| :|m64|) (#xF #x16 :|/r|))
530 (("MOVHPD") (:|m64| :|xmm|) (#x66 :OF #x17 :|/r|))
531 (("MOVHPD") (:|xmm| :|m64|) (#x66 :OF #x16 :|/r|))
532 (("MOVHLPS") (:|xmm1| :|xmm2|) (:OF #x12 :|/r|))
533 (("MOVDQU") (:|xmm1/m128| :|xmm2|) (#xF3 :OF #x7F :|/r|))
534 (("MOVDQU") (:|xmm1| :|xmm2/m128|) (#xF3 :OF #x6F :|/r|))
535 (("MOVDQA") (:|xmm1/m128| :|xmm2|) (#x66 :OF #x7F :|/r|))
536 (("MOVDQA") (:|xmm1| :|xmm2/m128|) (#x66 :OF #x6F :|/r|))
537 (("MOVDQ2Q") (:|mm| :|xmm|) (#xF2 :OF #xD6 :|/r|))
538 (("MOVD") (:|r/m32| :|xmm|) (#x66 #xF #x7E :|/r|))
539 (("MOVD") (:|xmm| :|r/m32|) (#x66 #xF #x6E :|/r|))
540 (("MOVD") (:|r/m32| :|mm|) (#xF #x7E :|/r|))
541 (("MOVD") (:|mm| :|r/m32|) (#xF #x6E :|/r|))
542 (("MOVAPS") (:|xmm1/mem128| :|xmm2|) (#xF #x29 :|/r|))
543 (("MOVAPS") (:|xmm1| :|xmm2/mem128|) (#xF #x28 :|/r|))
544 (("MOVAPD") (:|xmm1/mem128| :|xmm2|) (#x66 #xF #x29 :|/r|))
545 (("MOVAPD") (:|xmm1| :|xmm2/mem128|) (#x66 #xF #x28 :|/r|))
546 (("MOV") (:TR3/4/5/6/7 :|reg32|) (#xF #x26 :|/r|))
547 (("MOV") (:DR0/1/2/3/6/7 :|reg32|) (#xF #x23 :|/r|))
548 (("MOV") (:CR0/2/3/4 :|reg32|) (#xF #x22 :|/r|))
549 (("MOV") (:|reg32| :TR3/4/5/6/7) (#xF #x24 :|/r|))
550 (("MOV") (:|reg32| :DR0/1/2/3/6/7) (#xF #x21 :|/r|))
551 (("MOV") (:|reg32| :CR0/2/3/4) (#xF #x20 :|/r|))
552 (("MOV") (:|segreg| :|r/m32|) (:|o32| #x8E :|/r|))
553 (("MOV") (:|segreg| :|r/m16|) (:|o16| #x8E :|/r|))
554 (("MOV") (:|r/m32| :|segreg|) (:|o32| #x8C :|/r|))
555 (("MOV") (:|r/m16| :|segreg|) (:|o16| #x8C :|/r|))
556 (("MOV") (:|memoffs32| :|EAX|) (:|o32| #xA3 :|ow/od|))
557 (("MOV") (:|memoffs16| :AX) (:|o16| #xA3 :|ow/od|))
558 (("MOV") (:|memoffs8| :AL) (#xA2 :|ow/od|))
559 (("MOV") (:|EAX| :|memoffs32|) (:|o32| #xA1 :|ow/od|))
560 (("MOV") (:AX :|memoffs16|) (:|o16| #xA1 :|ow/od|))
561 (("MOV") (:AL :|memoffs8|) (#xA0 :|ow/od|))
562 (("MOV") (:|r/m32| :|imm32|) (:|o32| #xC7 :/0 :|id|))
563 (("MOV") (:|r/m16| :|imm16|) (:|o16| #xC7 :/0 :|iw|))
564 (("MOV") (:|r/m8| :|imm8|) (#xC6 :/0 :|ib|))
565 (("MOV") (:|reg32| :|imm32|) (:|o32| #xB8 :|+r| :|id|))
566 (("MOV") (:|reg16| :|imm16|) (:|o16| #xB8 :|+r| :|iw|))
567 (("MOV") (:|reg8| :|imm8|) (#xB0 :|+r| :|ib|))
568 (("MOV") (:|reg32| :|r/m32|) (:|o32| #x8B :|/r|))
569 (("MOV") (:|reg16| :|r/m16|) (:|o16| #x8B :|/r|))
570 (("MOV") (:|reg8| :|r/m8|) (#x8A :|/r|))
571 (("MOV") (:|r/m32| :|reg32|) (:|o32| #x89 :|/r|))
572 (("MOV") (:|r/m16| :|reg16|) (:|o16| #x89 :|/r|))
573 (("MOV") (:|r/m8| :|reg8|) (#x88 :|/r|))
574 (("MINSS") (:|xmm1| :|xmm2/m32|) (#xF3 #xF #x5D :|/r|))
575 (("MINSD") (:|xmm1| :|xmm2/m64|) (#xF2 #xF #x5D :|/r|))
576 (("MINPS") (:|xmm1| :|xmm2/m128|) (#xF #x5D :|/r|))
577 (("MINPD") (:|xmm1| :|xmm2/m128|) (#x66 #xF #x5D :|/r|))
578 (("MFENCE") (:|none|) (#xF #xAE :/6))
579 (("MAXSS") (:|xmm1| :|xmm2/m32|) (#xF3 #xF #x5F :|/r|))
580 (("MAXSD") (:|xmm1| :|xmm2/m64|) (#xF2 #xF #x5F :|/r|))
581 (("MAXPS") (:|xmm1| :|xmm2/m128|) (#xF #x5F :|/r|))
582 (("MAXPD") (:|xmm1| :|xmm2/m128|) (#x66 #xF #x5F :|/r|))
583 (("MASKMOVQ") (:|mm1| :|mm2|) (#xF #xF7 :|/r|))
584 (("MASKMOVDQU") (:|xmm1| :|xmm2|) (#x66 #xF #xF7 :|/r|))
585 (("LTR") (:|r/m16|) (#xF #x0 :/3))
586 (("LSL") (:|reg32| :|r/m32|) (:|o32| #xF #x3 :|/r|))
587 (("LSL") (:|reg16| :|r/m16|) (:|o16| #xF #x3 :|/r|))
588 (("LOOPNZ") (:|imm| :|ECX|) (#xA32 #xE0 :|rb|))
589 (("LOOPNZ") (:|imm| :CX) (#xA16 #xE0 :|rb|))
590 (("LOOPNZ") (:|imm|) (#xE0 :|rb|))
591 (("LOOPNE") (:|imm| :|ECX|) (#xA32 #xE0 :|rb|))
592 (("LOOPNE") (:|imm| :CX) (#xA16 #xE0 :|rb|))
593 (("LOOPNE") (:|imm|) (#xE0 :|rb|))
594 (("LOOPZ") (:|imm| :|ECX|) (#xA32 #xE1 :|rb|))
595 (("LOOPZ") (:|imm| :CX) (#xA16 #xE1 :|rb|))
596 (("LOOPZ") (:|imm|) (#xE1 :|rb|))
597 (("LOOPE") (:|imm| :|ECX|) (#xA32 #xE1 :|rb|))
598 (("LOOPE") (:|imm| :CX) (#xA16 #xE1 :|rb|))
599 (("LOOPE") (:|imm|) (#xE1 :|rb|))
600 (("LOOP") (:|imm| :|ECX|) (#xA32 #xE2 :|rb|))
601 (("LOOP") (:|imm| :CX) (#xA16 #xE2 :|rb|))
602 (("LOOP") (:|imm|) (#xE2 :|rb|))
603 (("LODSD") (:|none|) (:|o32| #xAD))
604 (("LODSW") (:|none|) (:|o16| #xAD))
605 (("LODSB") (:|none|) (#xAC))
606 (("LOADALL286") (:|none|) (#xF #x5))
607 (("LOADALL") (:|none|) (#xF #x7))
608 (("LMSW") (:|r/m16|) (#xF #x1 :/6))
609 (("LLDT") (:|r/m16|) (#xF #x0 :/2))
610 (("LIDT") (:|mem|) (#xF #x1 :/3))
611 (("LGDT") (:|mem|) (#xF #x1 :/2))
612 (("LFENCE") (:|none|) (#xF #xAE :/5))
613 (("LEAVE") (:|none|) (#xC9))
614 (("LEA") (:|reg32| :|mem|) (:|o32| #x8D :|/r|))
615 (("LEA") (:|reg16| :|mem|) (:|o16| #x8D :|/r|))
616 (("LSS") (:|reg32| :|mem|) (:|o32| #xF #xB2 :|/r|))
617 (("LSS") (:|reg16| :|mem|) (:|o16| #xF #xB2 :|/r|))
618 (("LGS") (:|reg32| :|mem|) (:|o32| #xF #xB5 :|/r|))
619 (("LGS") (:|reg16| :|mem|) (:|o16| #xF #xB5 :|/r|))
620 (("LFS") (:|reg32| :|mem|) (:|o32| #xF #xB4 :|/r|))
621 (("LFS") (:|reg16| :|mem|) (:|o16| #xF #xB4 :|/r|))
622 (("LES") (:|reg32| :|mem|) (:|o32| #xC4 :|/r|))
623 (("LES") (:|reg16| :|mem|) (:|o16| #xC4 :|/r|))
624 (("LDS") (:|reg32| :|mem|) (:|o32| #xC5 :|/r|))
625 (("LDS") (:|reg16| :|mem|) (:|o16| #xC5 :|/r|))
626 (("LDMXCSR") (:|mem32|) (#xF #xAE :/2))
627 (("LAR") (:|reg32| :|r/m32|) (:|o32| #xF #x2 :|/r|))
628 (("LAR") (:|reg16| :|r/m16|) (:|o16| #xF #x2 :|/r|))
629 (("LAHF") (:|none|) (#x9F))
630 (("JMP") (:|r/m32|) (:|o32| #xFF :/4))
631 (("JMP") (:|r/m16|) (:|o16| #xFF :/4))
632 (("JMP" "FAR") (:|mem32|) (:|o32| #xFF :/5))
633 (("JMP" "FAR") (:|mem|) (:|o16| #xFF :/5))
634 (("JMP") (:|imm:imm32|) (:|o32| #xEA :|id| :|iw|))
635 (("JMP") (:|imm:imm16|) (:|o16| #xEA :|iw| :|iw|))
636 (("JMP" "SHORT") (:|imm|) (#xEB :|rb|))
637 (("JMP") (:|imm|) (#xE9 :|rw/rd|))
638 (("JECXZ") (:|imm|) (#xA32 #xE3 :|rb|))
639 (("JCXZ") (:|imm|) (#xA16 #xE3 :|rb|))
640 ;; (("Jcc" "NEAR") (:|imm|) (#xF #x80 :|+cc| :|rw/rd|))
641 ;; (("Jcc") (:|imm|) (#x70 :|+cc| :|rb|))
642 (("IRETD") (:|none|) (:|o32| #xCF))
643 (("IRETW") (:|none|) (:|o16| #xCF))
644 (("IRET") (:|none|) (#xCF))
645 (("INVLPG") (:|mem|) (#xF #x1 :/7))
646 (("INVD") (:|none|) (#xF #x8))
647 (("INTO") (:|none|) (#xCE))
648 (("INT03") (:|none|) (#xCC))
649 (("INT3") (:|none|) (#xCC))
650 (("INT01") (:|none|) (#xF1))
651 (("ICEBP") (:|none|) (#xF1))
652 (("INT1") (:|none|) (#xF1))
653 (("INT") (:|imm8|) (#xCD :|ib|))
654 (("INSD") (:|none|) (:|o32| #x6D))
655 (("INSW") (:|none|) (:|o16| #x6D))
656 (("INSB") (:|none|) (#x6C))
657 (("INC") (:|r/m32|) (:|o32| #xFF :/0))
658 (("INC") (:|r/m16|) (:|o16| #xFF :/0))
659 (("INC") (:|r/m8|) (#xFE :/0))
660 (("INC") (:|reg32|) (:|o32| #x40 :|+r|))
661 (("INC") (:|reg16|) (:|o16| #x40 :|+r|))
662 (("IN") (:|EAX| :DX) (:|o32| #xED))
663 (("IN") (:AX :DX) (:|o16| #xED))
664 (("IN") (:AL :DX) (#xEC))
665 (("IN") (:|EAX| :|imm8|) (:|o32| #xE5 :|ib|))
666 (("IN") (:AX :|imm8|) (:|o16| #xE5 :|ib|))
667 (("IN") (:AL :|imm8|) (#xE4 :|ib|))
668 (("IMUL") (:|reg32| :|r/m32| :|imm32|) (:|o32| #x69 :|/r| :|id|))
669 (("IMUL") (:|reg32| :|r/m32| :|imm8|) (:|o32| #x6B :|/r| :|ib|))
670 (("IMUL") (:|reg16| :|r/m16| :|imm16|) (:|o16| #x69 :|/r| :|iw|))
671 (("IMUL") (:|reg16| :|r/m16| :|imm8|) (:|o16| #x6B :|/r| :|ib|))
672 (("IMUL") (:|reg32| :|imm32|) (:|o32| #x69 :|/r| :|id|))
673 (("IMUL") (:|reg32| :|imm8|) (:|o32| #x6B :|/r| :|ib|))
674 (("IMUL") (:|reg16| :|imm16|) (:|o16| #x69 :|/r| :|iw|))
675 (("IMUL") (:|reg16| :|imm8|) (:|o16| #x6B :|/r| :|ib|))
676 (("IMUL") (:|reg32| :|r/m32|) (:|o32| #xF #xAF :|/r|))
677 (("IMUL") (:|reg16| :|r/m16|) (:|o16| #xF #xAF :|/r|))
678 (("IMUL") (:|r/m32|) (:|o32| #xF7 :/5))
679 (("IMUL") (:|r/m16|) (:|o16| #xF7 :/5))
680 (("IMUL") (:|r/m8|) (#xF6 :/5))
681 (("IDIV") (:|r/m32|) (:|o32| #xF7 :/7))
682 (("IDIV") (:|r/m16|) (:|o16| #xF7 :/7))
683 (("IDIV") (:|r/m8|) (#xF6 :/7))
684 (("IBTS") (:|r/m32| :|reg32|) (:|o32| #xF #xA7 :|/r|))
685 (("IBTS") (:|r/m16| :|reg16|) (:|o16| #xF #xA7 :|/r|))
686 (("HLT") (:|none|) (#xF4))
687 (("FYL2XP1") (:|none|) (#xD9 #xF9))
688 (("FYL2X") (:|none|) (#xD9 #xF1))
689 (("FXTRACT") (:|none|) (#xD9 #xF4))
690 (("FXSAVE") (:|memory|) (#xF #xAE :/0))
691 (("FXRSTOR") (:|memory|) (#xF #xAE :/1))
692 (("FXCH") (:ST0 :|fpureg|) (#xD9 #xC8 :|+r|))
693 (("FXCH") (:|fpureg| :ST0) (#xD9 #xC8 :|+r|))
694 (("FXCH") (:|fpureg|) (#xD9 #xC8 :|+r|))
695 (("FXCH") (:|none|) (#xD9 #xC9))
696 (("FXAM") (:|none|) (#xD9 #xE5))
697 (("FUCOMIP") (:ST0 :|fpureg|) (#xDF #xE8 :|+r|))
698 (("FUCOMIP") (:|fpureg|) (#xDF #xE8 :|+r|))
699 (("FUCOMI") (:ST0 :|fpureg|) (#xDB #xE8 :|+r|))
700 (("FUCOMI") (:|fpureg|) (#xDB #xE8 :|+r|))
701 (("FUCOMPP") (:|none|) (#xDA #xE9))
702 (("FUCOMP") (:ST0 :|fpureg|) (#xDD #xE8 :|+r|))
703 (("FUCOMP") (:|fpureg|) (#xDD #xE8 :|+r|))
704 (("FUCOM") (:ST0 :|fpureg|) (#xDD #xE0 :|+r|))
705 (("FUCOM") (:|fpureg|) (#xDD #xE0 :|+r|))
706 (("FTST") (:|none|) (#xD9 #xE4))
707 (("FSUBRP") (:|fpureg| :ST0) (#xDE #xE0 :|+r|))
708 (("FSUBRP") (:|fpureg|) (#xDE #xE0 :|+r|))
709 (("FSUBP") (:|fpureg| :ST0) (#xDE #xE8 :|+r|))
710 (("FSUBP") (:|fpureg|) (#xDE #xE8 :|+r|))
711 (("FSUBR") (:|fpureg| :ST0) (#xDC #xE0 :|+r|))
712 (("FSUBR" "TO") (:|fpureg|) (#xDC #xE0 :|+r|))
713 (("FSUBR") (:ST0 :|fpureg|) (#xD8 #xE8 :|+r|))
714 (("FSUBR") (:|fpureg|) (#xD8 #xE8 :|+r|))
715 (("FSUBR") (:|mem64|) (#xDC :/5))
716 (("FSUBR") (:|mem32|) (#xD8 :/5))
717 (("FSUB") (:|fpureg| :ST0) (#xDC #xE8 :|+r|))
718 (("FSUB" "TO") (:|fpureg|) (#xDC #xE8 :|+r|))
719 (("FSUB") (:ST0 :|fpureg|) (#xD8 #xE0 :|+r|))
720 (("FSUB") (:|fpureg|) (#xD8 #xE0 :|+r|))
721 (("FSUB") (:|mem64|) (#xDC :/4))
722 (("FSUB") (:|mem32|) (#xD8 :/4))
723 (("FNSTSW") (:AX) (#xDF #xE0))
724 (("FNSTSW") (:|mem16|) (#xDD :/7))
725 (("FSTSW") (:AX) (#x9B #xDF #xE0))
726 (("FSTSW") (:|mem16|) (#x9B #xDD :/7))
727 (("FNSTENV") (:|mem|) (#xD9 :/6))
728 (("FSTENV") (:|mem|) (#x9B #xD9 :/6))
729 (("FNSTCW") (:|mem16|) (#xD9 :/7))
730 (("FSTCW") (:|mem16|) (#x9B #xD9 :/7))
731 (("FSTP") (:|fpureg|) (#xDD #xD8 :|+r|))
732 (("FSTP") (:|mem80|) (#xDB :/7))
733 (("FSTP") (:|mem64|) (#xDD :/3))
734 (("FSTP") (:|mem32|) (#xD9 :/3))
735 (("FST") (:|fpureg|) (#xDD #xD0 :|+r|))
736 (("FST") (:|mem64|) (#xDD :/2))
737 (("FST") (:|mem32|) (#xD9 :/2))
738 (("FSQRT") (:|none|) (#xD9 #xFA))
739 (("FSINCOS") (:|none|) (#xD9 #xFB))
740 (("FSIN") (:|none|) (#xD9 #xFE))
741 (("FSETPM") (:|none|) (#xDB #xE4))
742 (("FSCALE") (:|none|) (#xD9 #xFD))
743 (("FRSTOR") (:|mem|) (#xDD :/4))
744 (("FNSAVE") (:|mem|) (#xDD :/6))
745 (("FSAVE") (:|mem|) (#x9B #xDD :/6))
746 (("FRNDINT") (:|none|) (#xD9 #xFC))
747 (("FPREM1") (:|none|) (#xD9 #xF5))
748 (("FPREM") (:|none|) (#xD9 #xF8))
749 (("FPTAN") (:|none|) (#xD9 #xF2))
750 (("FPATAN") (:|none|) (#xD9 #xF3))
751 (("FNOP") (:|none|) (#xD9 #xD0))
752 (("FMULP") (:|fpureg| :ST0) (#xDE #xC8 :|+r|))
753 (("FMULP") (:|fpureg|) (#xDE #xC8 :|+r|))
754 (("FMUL") (:|fpureg| :ST0) (#xDC #xC8 :|+r|))
755 (("FMUL" "TO") (:|fpureg|) (#xDC #xC8 :|+r|))
756 (("FMUL") (:ST0 :|fpureg|) (#xD8 #xC8 :|+r|))
757 (("FMUL") (:|fpureg|) (#xD8 #xC8 :|+r|))
758 (("FMUL") (:|mem64|) (#xDC :/1))
759 (("FMUL") (:|mem32|) (#xD8 :/1))
760 (("FLDENV") (:|mem|) (#xD9 :/4))
761 (("FLDCW") (:|mem16|) (#xD9 :/5))
762 (("FLDZ") (:|none|) (#xD9 #xEE))
763 (("FLDPI") (:|none|) (#xD9 #xEB))
764 (("FLDLN2") (:|none|) (#xD9 #xED))
765 (("FLDLG2") (:|none|) (#xD9 #xEC))
766 (("FLDL2T") (:|none|) (#xD9 #xE9))
767 (("FLDL2E") (:|none|) (#xD9 #xEA))
768 (("FLD1") (:|none|) (#xD9 #xE8))
769 (("FLD") (:|fpureg|) (#xD9 #xC0 :|+r|))
770 (("FLD") (:|mem80|) (#xDB :/5))
771 (("FLD") (:|mem64|) (#xDD :/0))
772 (("FLD") (:|mem32|) (#xD9 :/0))
773 (("FISUBR") (:|mem32|) (#xDA :/5))
774 (("FISUBR") (:|mem16|) (#xDE :/5))
775 (("FISUB") (:|mem32|) (#xDA :/4))
776 (("FISUB") (:|mem16|) (#xDE :/4))
777 (("FNINIT") (:|none|) (#xDB #xE3))
778 (("FINIT") (:|none|) (#x9B #xDB #xE3))
779 (("FINCSTP") (:|none|) (#xD9 #xF7))
780 (("FIMUL") (:|mem32|) (#xDA :/1))
781 (("FIMUL") (:|mem16|) (#xDE :/1))
782 (("FISTP") (:|mem64|) (#xDF :/7))
783 (("FISTP") (:|mem32|) (#xDB :/3))
784 (("FISTP") (:|mem16|) (#xDF :/3))
785 (("FIST") (:|mem32|) (#xDB :/2))
786 (("FIST") (:|mem16|) (#xDF :/2))
787 (("FILD") (:|mem64|) (#xDF :/5))
788 (("FILD") (:|mem32|) (#xDB :/0))
789 (("FILD") (:|mem16|) (#xDF :/0))
790 (("FIDIVR") (:|mem32|) (#xDA :/7))
791 (("FIDIVR") (:|mem16|) (#xDE :/7))
792 (("FIDIV") (:|mem32|) (#xDA :/6))
793 (("FIDIV") (:|mem16|) (#xDE :/6))
794 (("FICOMP") (:|mem32|) (#xDA :/3))
795 (("FICOMP") (:|mem16|) (#xDE :/3))
796 (("FICOM") (:|mem32|) (#xDA :/2))
797 (("FICOM") (:|mem16|) (#xDE :/2))
798 (("FIADD") (:|mem32|) (#xDA :/0))
799 (("FIADD") (:|mem16|) (#xDE :/0))
800 (("FFREEP") (:|fpureg|) (#xDF #xC0 :|+r|))
801 (("FFREE") (:|fpureg|) (#xDD #xC0 :|+r|))
802 (("FEMMS") (:|none|) (#xF #xE))
803 (("FDIVRP") (:|fpureg| :ST0) (#xDE #xF0 :|+r|))
804 (("FDIVRP") (:|fpureg|) (#xDE #xF0 :|+r|))
805 (("FDIVP") (:|fpureg| :ST0) (#xDE #xF8 :|+r|))
806 (("FDIVP") (:|fpureg|) (#xDE #xF8 :|+r|))
807 (("FDIVR") (:|fpureg| :ST0) (#xDC #xF0 :|+r|))
808 (("FDIVR" "TO") (:|fpureg|) (#xDC #xF0 :|+r|))
809 (("FDIVR") (:ST0 :|fpureg|) (#xD8 #xF8 :|+r|))
810 (("FDIVR") (:|fpureg|) (#xD8 #xF8 :|+r|))
811 (("FDIVR") (:|mem64|) (#xDC :/0))
812 (("FDIVR") (:|mem32|) (#xD8 :/0))
813 (("FDIV") (:|fpureg| :ST0) (#xDC #xF8 :|+r|))
814 (("FDIV" "TO") (:|fpureg|) (#xDC #xF8 :|+r|))
815 (("FDIV") (:ST0 :|fpureg|) (#xD8 #xF0 :|+r|))
816 (("FDIV") (:|fpureg|) (#xD8 #xF0 :|+r|))
817 (("FDIV") (:|mem64|) (#xDC :/6))
818 (("FDIV") (:|mem32|) (#xD8 :/6))
819 (("FNENI") (:|none|) (#xDB #xE0))
820 (("FENI") (:|none|) (#x9B #xDB #xE0))
821 (("FNDISI") (:|none|) (#xDB #xE1))
822 (("FDISI") (:|none|) (#x9B #xDB #xE1))
823 (("FDECSTP") (:|none|) (#xD9 #xF6))
824 (("FCOS") (:|none|) (#xD9 #xFF))
825 (("FCOMIP") (:ST0 :|fpureg|) (#xDF #xF0 :|+r|))
826 (("FCOMIP") (:|fpureg|) (#xDF #xF0 :|+r|))
827 (("FCOMI") (:ST0 :|fpureg|) (#xDB #xF0 :|+r|))
828 (("FCOMI") (:|fpureg|) (#xDB #xF0 :|+r|))
829 (("FCOMPP") (:|none|) (#xDE #xD9))
830 (("FCOMP") (:ST0 :|fpureg|) (#xD8 #xD8 :|+r|))
831 (("FCOMP") (:|fpureg|) (#xD8 #xD8 :|+r|))
832 (("FCOMP") (:|mem64|) (#xDC :/3))
833 (("FCOMP") (:|mem32|) (#xD8 :/3))
834 (("FCOM") (:ST0 :|fpureg|) (#xD8 #xD0 :|+r|))
835 (("FCOM") (:|fpureg|) (#xD8 #xD0 :|+r|))
836 (("FCOM") (:|mem64|) (#xDC :/2))
837 (("FCOM") (:|mem32|) (#xD8 :/2))
838 (("FCMOVNU") (:ST0 :|fpureg|) (#xDB #xD8 :|+r|))
839 (("FCMOVNU") (:|fpureg|) (#xDB #xD8 :|+r|))
840 (("FCMOVNBE") (:ST0 :|fpureg|) (#xDB #xD0 :|+r|))
841 (("FCMOVNBE") (:|fpureg|) (#xDB #xD0 :|+r|))
842 (("FCMOVNE") (:ST0 :|fpureg|) (#xDB #xC8 :|+r|))
843 (("FCMOVNE") (:|fpureg|) (#xDB #xC8 :|+r|))
844 (("FCMOVNB") (:ST0 :|fpureg|) (#xDB #xC0 :|+r|))
845 (("FCMOVNB") (:|fpureg|) (#xDB #xC0 :|+r|))
846 (("FCMOVU") (:ST0 :|fpureg|) (#xDA #xD8 :|+r|))
847 (("FCMOVU") (:|fpureg|) (#xDA #xD8 :|+r|))
848 (("FCMOVBE") (:ST0 :|fpureg|) (#xDA #xD0 :|+r|))
849 (("FCMOVBE") (:|fpureg|) (#xDA #xD0 :|+r|))
850 (("FCMOVE") (:ST0 :|fpureg|) (#xDA #xC8 :|+r|))
851 (("FCMOVE") (:|fpureg|) (#xDA #xC8 :|+r|))
852 (("FCMOVB") (:ST0 :|fpureg|) (#xDA #xC0 :|+r|))
853 (("FCMOVB") (:|fpureg|) (#xDA #xC0 :|+r|))
854 (("FNCLEX") (:|none|) (#xDB #xE2))
855 (("FCLEX") (:|none|) (#x9B #xDB #xE2))
856 (("FCHS") (:|none|) (#xD9 #xE0))
857 (("FBSTP") (:|mem80|) (#xDF :/6))
858 (("FBLD") (:|mem80|) (#xDF :/4))
859 (("FADDP") (:|fpureg| :ST0) (#xDE #xC0 :|+r|))
860 (("FADDP") (:|fpureg|) (#xDE #xC0 :|+r|))
861 (("FADD") (:|fpureg| :ST0) (#xDC #xC0 :|+r|))
862 (("FADD" "TO") (:|fpureg|) (#xDC #xC0 :|+r|))
863 (("FADD") (:ST0 :|fpureg|) (#xD8 #xC0 :|+r|))
864 (("FADD") (:|fpureg|) (#xD8 #xC0 :|+r|))
865 (("FADD") (:|mem64|) (#xDC :/0))
866 (("FADD") (:|mem32|) (#xD8 :/0))
867 (("FABS") (:|none|) (#xD9 #xE1))
868 (("F2XM1") (:|none|) (#xD9 #xF0))
869 (("ENTER") (:|imm| :|imm|) (#xC8 :|iw| :|ib|))
870 (("EMMS") (:|none|) (#xF #x77))
871 (("DIVSS") (:|xmm1| :|xmm2/mem32|) (#xF3 #xF #x5E :|/r|))
872 (("DIVSD") (:|xmm1| :|xmm2/mem64|) (#xF2 #xF #x5E :|/r|))
873 (("DIVPS") (:|xmm1| :|xmm2/mem128|) (#xF #x5E :|/r|))
874 (("DIVPD") (:|xmm1| :|xmm2/mem128|) (#x66 #xF #x5E :|/r|))
875 (("DIV") (:|r/m32|) (:|o32| #xF7 :/6))
876 (("DIV") (:|r/m16|) (:|o16| #xF7 :/6))
877 (("DIV") (:|r/m8|) (#xF6 :/6))
878 (("DEC") (:|r/m32|) (:|o32| #xFF :/1))
879 (("DEC") (:|r/m16|) (:|o16| #xFF :/1))
880 (("DEC") (:|r/m8|) (#xFE :/1))
881 (("DEC") (:|reg32|) (:|o32| #x48 :|+r|))
882 (("DEC") (:|reg16|) (:|o16| #x48 :|+r|))
883 (("DAS") (:|none|) (#x2F))
884 (("DAA") (:|none|) (#x27))
885 (("CVTTSD2SI") (:|reg32| :|xmm/mem32|) (#xF3 #xF #x2C :|/r|))
886 (("CVTTSD2SI") (:|reg32| :|xmm/mem64|) (#xF2 #xF #x2C :|/r|))
887 (("CVTTPS2PI") (:|mm| :|xmm/mem64|) (#xF #x2C :|/r|))
888 (("CVTTPS2DQ") (:|xmm1| :|xmm2/mem128|) (#xF3 #xF #x5B :|/r|))
889 (("CVTTPD2PI") (:|mm| :|xmm/mem128|) (#x66 #xF #x2C :|/r|))
890 (("CVTTPD2DQ") (:|xmm1| :|xmm2/mem128|) (#x66 #xF #xE6 :|/r|))
891 (("CVTSS2SI") (:|reg32| :|xmm/mem32|) (#xF3 #xF #x2D :|/r|))
892 (("CVTSS2SD") (:|xmm1| :|xmm2/mem32|) (#xF3 #xF #x5A :|/r|))
893 (("CVTSI2SS") (:|xmm| :|r/m32|) (#xF3 #xF #x2A :|/r|))
894 (("CVTSI2SD") (:|xmm| :|r/m32|) (#xF2 #xF #x2A :|/r|))
895 (("CVTSD2SS") (:|xmm1| :|xmm2/mem64|) (#xF2 #xF #x5A :|/r|))
896 (("CVTSD2SI") (:|reg32| :|xmm/mem64|) (#xF2 #xF #x2D :|/r|))
897 (("CVTPS2PI") (:|mm| :|xmm/mem64|) (#xF #x2D :|/r|))
898 (("CVTPS2PD") (:|xmm1| :|xmm2/mem64|) (#xF #x5A :|/r|))
899 (("CVTPS2DQ") (:|xmm1| :|xmm2/mem128|) (#x66 #xF #x5B :|/r|))
900 (("CVTPI2PS") (:|xmm| :|mm/mem64|) (#xF #x2A :|/r|))
901 (("CVTPI2PD") (:|xmm| :|mm/mem64|) (#x66 #xF #x2A :|/r|))
902 (("CVTPD2PS") (:|xmm1| :|xmm2/mem128|) (#x66 #xF #x5A :|/r|))
903 (("CVTPD2PI") (:|mm| :|xmm/mem128|) (#x66 #xF #x2D :|/r|))
904 (("CVTPD2DQ") (:|xmm1| :|xmm2/mem128|) (#xF2 #xF #xE6 :|/r|))
905 (("CVTDQ2PS") (:|xmm1| :|xmm2/mem128|) (#xF #x5B :|/r|))
906 (("CVTDQ2PD") (:|xmm1| :|xmm2/mem64|) (#xF3 #xF #xE6 :|/r|))
907 (("CPUID") (:|none|) (#xF #xA2))
908 (("COMISS") (:|xmm1| :|xmm2/mem32|) (#x66 #xF #x2F :|/r|))
909 (("COMISD") (:|xmm1| :|xmm2/mem64|) (#x66 #xF #x2F :|/r|))
910 (("CMPXCHG8B") (:|mem|) (#xF #xC7 :/1))
911 (("CMPXCHG486") (:|r/m32| :|reg32|) (:|o32| #xF #xA7 :|/r|))
912 (("CMPXCHG486") (:|r/m16| :|reg16|) (:|o16| #xF #xA7 :|/r|))
913 (("CMPXCHG486") (:|r/m8| :|reg8|) (#xF #xA6 :|/r|))
914 (("CMPXCHG") (:|r/m32| :|reg32|) (:|o32| #xF #xB1 :|/r|))
915 (("CMPXCHG") (:|r/m16| :|reg16|) (:|o16| #xF #xB1 :|/r|))
916 (("CMPXCHG") (:|r/m8| :|reg8|) (#xF #xB0 :|/r|))
917 (("CMPORDSS") (:|xmm1| :|xmm2/mem32|) (#xF3 #xF #xC2 :|/r| #x7))
918 (("CMPNLESS") (:|xmm1| :|xmm2/mem32|) (#xF3 #xF #xC2 :|/r| #x6))
919 (("CMPNLTSS") (:|xmm1| :|xmm2/mem32|) (#xF3 #xF #xC2 :|/r| #x5))
920 (("CMPNEQSS") (:|xmm1| :|xmm2/mem32|) (#xF3 #xF #xC2 :|/r| #x4))
921 (("CMPUNORDSS") (:|xmm1| :|xmm2/mem32|) (#xF3 #xF #xC2 :|/r| #x3))
922 (("CMPLESS") (:|xmm1| :|xmm2/mem32|) (#xF3 #xF #xC2 :|/r| #x2))
923 (("CMPLTSS") (:|xmm1| :|xmm2/mem32|) (#xF3 #xF #xC2 :|/r| #x1))
924 (("CMPEQSS") (:|xmm1| :|xmm2/mem32|) (#xF3 #xF #xC2 :|/r| #x0))
925 (("CMPSS") (:|xmm1| :|xmm2/mem32| :|imm8|) (#xF3 #xF #xC2 :|/r| :|ib|))
926 (("CMPORDSD") (:|xmm1| :|xmm2/mem64|) (#xF2 #xF #xC2 :|/r| #x7))
927 (("CMPNLESD") (:|xmm1| :|xmm2/mem64|) (#xF2 #xF #xC2 :|/r| #x6))
928 (("CMPNLTSD") (:|xmm1| :|xmm2/mem64|) (#xF2 #xF #xC2 :|/r| #x5))
929 (("CMPNEQSD") (:|xmm1| :|xmm2/mem64|) (#xF2 #xF #xC2 :|/r| #x4))
930 (("CMPUNORDSD") (:|xmm1| :|xmm2/mem64|) (#xF2 #xF #xC2 :|/r| #x3))
931 (("CMPLESD") (:|xmm1| :|xmm2/mem64|) (#xF2 #xF #xC2 :|/r| #x2))
932 (("CMPLTSD") (:|xmm1| :|xmm2/mem64|) (#xF2 #xF #xC2 :|/r| #x1))
933 (("CMPEQSD") (:|xmm1| :|xmm2/mem64|) (#xF2 #xF #xC2 :|/r| #x0))
934 (("CMPSD") (:|xmm1| :|xmm2/mem64| :|imm8|) (#xF2 #xF #xC2 :|/r| :|ib|))
935 (("CMPSD") (:|none|) (:|o32| #xA7))
936 (("CMPSW") (:|none|) (:|o16| #xA7))
937 (("CMPSB") (:|none|) (#xA6))
938 (("CMPORDPS") (:|xmm1| :|xmm2/mem128|) (#xF #xC2 :|/r| #x7))
939 (("CMPNLEPS") (:|xmm1| :|xmm2/mem128|) (#xF #xC2 :|/r| #x6))
940 (("CMPNLTPS") (:|xmm1| :|xmm2/mem128|) (#xF #xC2 :|/r| #x5))
941 (("CMPNEQPS") (:|xmm1| :|xmm2/mem128|) (#xF #xC2 :|/r| #x4))
942 (("CMPUNORDPS") (:|xmm1| :|xmm2/mem128|) (#xF #xC2 :|/r| #x3))
943 (("CMPLEPS") (:|xmm1| :|xmm2/mem128|) (#xF #xC2 :|/r| #x2))
944 (("CMPLTPS") (:|xmm1| :|xmm2/mem128|) (#xF #xC2 :|/r| #x1))
945 (("CMPEQPS") (:|xmm1| :|xmm2/mem128|) (#xF #xC2 :|/r| #x0))
946 (("CMPPS") (:|xmm1| :|xmm2/mem128| :|imm8|) (#xF #xC2 :|/r| :|ib|))
947 (("CMPORDPD") (:|xmm1| :|xmm2/mem128|) (#x66 #xF #xC2 :|/r| #x7))
948 (("CMPNLEPD") (:|xmm1| :|xmm2/mem128|) (#x66 #xF #xC2 :|/r| #x6))
949 (("CMPNLTPD") (:|xmm1| :|xmm2/mem128|) (#x66 #xF #xC2 :|/r| #x5))
950 (("CMPNEQPD") (:|xmm1| :|xmm2/mem128|) (#x66 #xF #xC2 :|/r| #x4))
951 (("CMPUNORDPD") (:|xmm1| :|xmm2/mem128|) (#x66 #xF #xC2 :|/r| #x3))
952 (("CMPLEPD") (:|xmm1| :|xmm2/mem128|) (#x66 #xF #xC2 :|/r| #x2))
953 (("CMPLTPD") (:|xmm1| :|xmm2/mem128|) (#x66 #xF #xC2 :|/r| #x1))
954 (("CMPEQPD") (:|xmm1| :|xmm2/mem128|) (#x66 #xF #xC2 :|/r| #x0))
955 (("CMPPD") (:|xmm1| :|xmm2/mem128| :|imm8|) (#x66 #xF #xC2 :|/r| :|ib|))
956 (("CMP") (:|EAX| :|imm32|) (:|o32| #x3D :|id|))
957 (("CMP") (:AX :|imm16|) (:|o16| #x3D :|iw|))
958 (("CMP") (:AL :|imm8|) (#x3C :|ib|))
959 (("CMP") (:|r/m32| :|imm8|) (:|o32| #x83 :/0 :|ib|))
960 (("CMP") (:|r/m16| :|imm8|) (:|o16| #x83 :/0 :|ib|))
961 (("CMP") (:|r/m32| :|imm32|) (:|o32| #x81 :/0 :|id|))
962 (("CMP") (:|r/m16| :|imm16|) (:|o16| #x81 :/0 :|iw|))
963 (("CMP") (:|r/m8| :|imm8|) (#x80 :/0 :|ib|))
964 (("CMP") (:|reg32| :|r/m32|) (:|o32| #x3B :|/r|))
965 (("CMP") (:|reg16| :|r/m16|) (:|o16| #x3B :|/r|))
966 (("CMP") (:|reg8| :|r/m8|) (#x3A :|/r|))
967 (("CMP") (:|r/m32| :|reg32|) (:|o32| #x39 :|/r|))
968 (("CMP") (:|r/m16| :|reg16|) (:|o16| #x39 :|/r|))
969 (("CMP") (:|r/m8| :|reg8|) (#x38 :|/r|))
970 ;; (("CMOVcc") (:|reg32| :|r/m32|) (:|o32| #xF #x40 :|+cc| :|/r|))
971 ;; (("CMOVcc") (:|reg16| :|r/m16|) (:|o16| #xF #x40 :|+cc| :|/r|))
972 (("CMC") (:|none|) (#xF5))
973 (("CLFLUSH") (:|mem|) (#xF #xAE :/7))
974 (("CLTS") (:|none|) (#xF #x6))
975 (("CLI") (:|none|) (#xFA))
976 (("CLD") (:|none|) (#xFC))
977 (("CLC") (:|none|) (#xF8))
978 (("CDQ") (:|none|) (:|o32| #x99))
979 (("CWD") (:|none|) (:|o16| #x99))
980 (("CWDE") (:|none|) (:|o32| #x98))
981 (("CBW") (:|none|) (:|o16| #x98))
982 (("CALL") (:|r/m32|) (:|o32| #xFF :/2))
983 (("CALL") (:|r/m16|) (:|o16| #xFF :/2))
984 (("CALL" "FAR") (:|mem32|) (:|o32| #xFF :/3))
985 (("CALL" "FAR") (:|mem16|) (:|o16| #xFF :/3))
986 (("CALL") (:|imm:imm32|) (:|o32| #x9A :|id| :|iw|))
987 (("CALL") (:|imm:imm16|) (:|o16| #x9A :|iw| :|iw|))
988 (("CALL") (:|imm|) (#xE8 :|rw/rd|))
989 (("BTS") (:|r/m32| :|imm|) (:|o32| #xF #xBA :/5 :|ib|))
990 (("BTS") (:|r/m16| :|imm|) (:|o16| #xF #xBA :/5 :|ib|))
991 (("BTS") (:|r/m32| :|reg32|) (:|o32| #xF #xAB :|/r|))
992 (("BTS") (:|r/m16| :|reg16|) (:|o16| #xF #xAB :|/r|))
993 (("BTR") (:|r/m32| :|imm8|) (:|o32| #xF #xBA :/6 :|ib|))
994 (("BTR") (:|r/m16| :|imm8|) (:|o16| #xF #xBA :/6 :|ib|))
995 (("BTR") (:|r/m32| :|reg32|) (:|o32| #xF #xB3 :|/r|))
996 (("BTR") (:|r/m16| :|reg16|) (:|o16| #xF #xB3 :|/r|))
997 (("BTC") (:|r/m32| :|imm8|) (:|o32| #xF #xBA :/7 :|ib|))
998 (("BTC") (:|r/m16| :|imm8|) (:|o16| #xF #xBA :/7 :|ib|))
999 (("BTC") (:|r/m32| :|reg32|) (:|o32| #xF #xBB :|/r|))
1000 (("BTC") (:|r/m16| :|reg16|) (:|o16| #xF #xBB :|/r|))
1001 (("BT") (:|r/m32| :|imm8|) (:|o32| #xF #xBA :/4 :|ib|))
1002 (("BT") (:|r/m16| :|imm8|) (:|o16| #xF #xBA :/4 :|ib|))
1003 (("BT") (:|r/m32| :|reg32|) (:|o32| #xF #xA3 :|/r|))
1004 (("BT") (:|r/m16| :|reg16|) (:|o16| #xF #xA3 :|/r|))
1005 (("BSWAP") (:|reg32|) (:|o32| #xF #xC8 :|+r|))
1006 (("BSR") (:|reg32| :|r/m32|) (:|o32| #xF #xBD :|/r|))
1007 (("BSR") (:|reg16| :|r/m16|) (:|o16| #xF #xBD :|/r|))
1008 (("BSF") (:|reg32| :|r/m32|) (:|o32| #xF #xBC :|/r|))
1009 (("BSF") (:|reg16| :|r/m16|) (:|o16| #xF #xBC :|/r|))
1010 (("BOUND") (:|reg32| :|mem|) (:|o32| #x62 :|/r|))
1011 (("BOUND") (:|reg16| :|mem|) (:|o16| #x62 :|/r|))
1012 (("ARPL") (:|r/m16| :|reg16|) (#x63 :|/r|))
1013 (("ANDPS") (:|xmm1| :|xmm2/mem128|) (#xF #x54 :|/r|))
1014 (("ANDPD") (:|xmm1| :|xmm2/mem128|) (#x66 #xF #x54 :|/r|))
1015 (("ANDNPS") (:|xmm1| :|xmm2/mem128|) (#xF #x55 :|/r|))
1016 (("ANDNPD") (:|xmm1| :|xmm2/mem128|) (#x66 #xF #x55 :|/r|))
1017 (("AND") (:|EAX| :|imm32|) (:|o32| #x25 :|id|))
1018 (("AND") (:AX :|imm16|) (:|o16| #x25 :|iw|))
1019 (("AND") (:AL :|imm8|) (#x24 :|ib|))
1020 (("AND") (:|r/m32| :|imm8|) (:|o32| #x83 :/4 :|ib|))
1021 (("AND") (:|r/m16| :|imm8|) (:|o16| #x83 :/4 :|ib|))
1022 (("AND") (:|r/m32| :|imm32|) (:|o32| #x81 :/4 :|id|))
1023 (("AND") (:|r/m16| :|imm16|) (:|o16| #x81 :/4 :|iw|))
1024 (("AND") (:|r/m8| :|imm8|) (#x80 :/4 :|ib|))
1025 (("AND") (:|reg32| :|r/m32|) (:|o32| #x23 :|/r|))
1026 (("AND") (:|reg16| :|r/m16|) (:|o16| #x23 :|/r|))
1027 (("AND") (:|reg8| :|r/m8|) (#x22 :|/r|))
1028 (("AND") (:|r/m32| :|reg32|) (:|o32| #x21 :|/r|))
1029 (("AND") (:|r/m16| :|reg16|) (:|o16| #x21 :|/r|))
1030 (("AND") (:|r/m8| :|reg8|) (#x20 :|/r|))
1031 (("ADDSS") (:|xmm1| :|xmm2/mem32|) (#xF3 #xF #x58 :|/r|))
1032 (("ADDSD") (:|xmm1| :|xmm2/mem64|) (#xF2 #xF #x58 :|/r|))
1033 (("ADDPS") (:|xmm1| :|xmm2/mem128|) (#xF #x58 :|/r|))
1034 (("ADDPD") (:|xmm1| :|xmm2/mem128|) (#x66 #xF #x58 :|/r|))
1035 (("ADD") (:|EAX| :|imm32|) (:|o32| #x5 :|id|))
1036 (("ADD") (:AX :|imm16|) (:|o16| #x5 :|iw|))
1037 (("ADD") (:AL :|imm8|) (#x4 :|ib|))
1038 (("ADD") (:|r/m32| :|imm8|) (:|o32| #x83 :/0 :|ib|))
1039 (("ADD") (:|r/m16| :|imm8|) (:|o16| #x83 :/0 :|ib|))
1040 (("ADD") (:|r/m32| :|imm32|) (:|o32| #x81 :/0 :|id|))
1041 (("ADD") (:|r/m16| :|imm16|) (:|o16| #x81 :/0 :|iw|))
1042 (("ADD") (:|r/m8| :|imm8|) (#x80 :/0 :|ib|))
1043 (("ADD") (:|reg32| :|r/m32|) (:|o32| #x3 :|/r|))
1044 (("ADD") (:|reg16| :|r/m16|) (:|o16| #x3 :|/r|))
1045 (("ADD") (:|reg8| :|r/m8|) (#x2 :|/r|))
1046 (("ADD") (:|r/m32| :|reg32|) (:|o32| #x1 :|/r|))
1047 (("ADD") (:|r/m16| :|reg16|) (:|o16| #x1 :|/r|))
1048 (("ADD") (:|r/m8| :|reg8|) (#x0 :|/r|))
1049 (("ADC") (:|EAX| :|imm32|) (:|o32| #x15 :|id|))
1050 (("ADC") (:AX :|imm16|) (:|o16| #x15 :|iw|))
1051 (("ADC") (:AL :|imm8|) (#x14 :|ib|))
1052 (("ADC") (:|r/m32| :|imm8|) (:|o32| #x83 :/2 :|ib|))
1053 (("ADC") (:|r/m16| :|imm8|) (:|o16| #x83 :/2 :|ib|))
1054 (("ADC") (:|r/m32| :|imm32|) (:|o32| #x81 :/2 :|id|))
1055 (("ADC") (:|r/m16| :|imm16|) (:|o16| #x81 :/2 :|iw|))
1056 (("ADC") (:|r/m8| :|imm8|) (#x80 :/2 :|ib|))
1057 (("ADC") (:|reg32| :|r/m32|) (:|o32| #x13 :|/r|))
1058 (("ADC") (:|reg16| :|r/m16|) (:|o16| #x13 :|/r|))
1059 (("ADC") (:|reg8| :|r/m8|) (#x12 :|/r|))
1060 (("ADC") (:|r/m32| :|reg32|) (:|o32| #x11 :|/r|))
1061 (("ADC") (:|r/m16| :|reg16|) (:|o16| #x11 :|/r|))
1062 (("ADC") (:|r/m8| :|reg8|) (#x10 :|/r|))
1063 (("AAM") (:|imm|) (#xD4 :|ib|))
1064 (("AAM") (:|none|) (#xD4 #xA))
1065 (("AAD") (:|imm|) (#xD5 :|ib|))
1066 (("AAD") (:|none|) (#xD5 #xA))
1067 (("AAS") (:|none|) (#x3F))
1068 (("AAA") (:|none|) (#x37))
1069 (("J0 NEAR") (:|imm|) (#xF #x80 :|rw/rd|))
1070 (("JNO NEAR") (:|imm|) (#xF #x81 :|rw/rd|))
1071 (("JB NEAR") (:|imm|) (#xF #x82 :|rw/rd|))
1072 (("JC NEAR") (:|imm|) (#xF #x82 :|rw/rd|))
1073 (("JNAE NEAR") (:|imm|) (#xF #x82 :|rw/rd|))
1074 (("JAE NEAR") (:|imm|) (#xF #x83 :|rw/rd|))
1075 (("JNB NEAR") (:|imm|) (#xF #x83 :|rw/rd|))
1076 (("JNC NEAR") (:|imm|) (#xF #x83 :|rw/rd|))
1077 (("JE NEAR") (:|imm|) (#xF #x84 :|rw/rd|))
1078 (("JZ NEAR") (:|imm|) (#xF #x84 :|rw/rd|))
1079 (("JNE NEAR") (:|imm|) (#xF #x85 :|rw/rd|))
1080 (("JNZ NEAR") (:|imm|) (#xF #x85 :|rw/rd|))
1081 (("JBE NEAR") (:|imm|) (#xF #x86 :|rw/rd|))
1082 (("JNA NEAR") (:|imm|) (#xF #x86 :|rw/rd|))
1083 (("JA NEAR") (:|imm|) (#xF #x87 :|rw/rd|))
1084 (("JNBE NEAR") (:|imm|) (#xF #x87 :|rw/rd|))
1085 (("JS NEAR") (:|imm|) (#xF #x88 :|rw/rd|))
1086 (("JNS NEAR") (:|imm|) (#xF #x89 :|rw/rd|))
1087 (("JP NEAR") (:|imm|) (#xF #x8A :|rw/rd|))
1088 (("JPE NEAR") (:|imm|) (#xF #x8A :|rw/rd|))
1089 (("JNP NEAR") (:|imm|) (#xF #x8B :|rw/rd|))
1090 (("JPO NEAR") (:|imm|) (#xF #x8B :|rw/rd|))
1091 (("JL NEAR") (:|imm|) (#xF #x8C :|rw/rd|))
1092 (("JNGE NEAR") (:|imm|) (#xF #x8C :|rw/rd|))
1093 (("JGE NEAR") (:|imm|) (#xF #x8D :|rw/rd|))
1094 (("JNL NEAR") (:|imm|) (#xF #x8D :|rw/rd|))
1095 (("JLE NEAR") (:|imm|) (#xF #x8E :|rw/rd|))
1096 (("JNG NEAR") (:|imm|) (#xF #x8E :|rw/rd|))
1097 (("JG NEAR") (:|imm|) (#xF #x8F :|rw/rd|))
1098 (("JNLE NEAR") (:|imm|) (#xF #x8F :|rw/rd|))
1099 (("J0") (:|imm|) (#x70 :|rb|))
1100 (("JNO") (:|imm|) (#x71 :|rb|))
1101 (("JB") (:|imm|) (#x72 :|rb|))
1102 (("JC") (:|imm|) (#x72 :|rb|))
1103 (("JNAE") (:|imm|) (#x72 :|rb|))
1104 (("JAE") (:|imm|) (#x73 :|rb|))
1105 (("JNB") (:|imm|) (#x73 :|rb|))
1106 (("JNC") (:|imm|) (#x73 :|rb|))
1107 (("JE") (:|imm|) (#x74 :|rb|))
1108 (("JZ") (:|imm|) (#x74 :|rb|))
1109 (("JNE") (:|imm|) (#x75 :|rb|))
1110 (("JNZ") (:|imm|) (#x75 :|rb|))
1111 (("JBE") (:|imm|) (#x76 :|rb|))
1112 (("JNA") (:|imm|) (#x76 :|rb|))
1113 (("JA") (:|imm|) (#x77 :|rb|))
1114 (("JNBE") (:|imm|) (#x77 :|rb|))
1115 (("JS") (:|imm|) (#x78 :|rb|))
1116 (("JNS") (:|imm|) (#x79 :|rb|))
1117 (("JP") (:|imm|) (#x7A :|rb|))
1118 (("JPE") (:|imm|) (#x7A :|rb|))
1119 (("JNP") (:|imm|) (#x7B :|rb|))
1120 (("JPO") (:|imm|) (#x7B :|rb|))
1121 (("JL") (:|imm|) (#x7C :|rb|))
1122 (("JNGE") (:|imm|) (#x7C :|rb|))
1123 (("JGE") (:|imm|) (#x7D :|rb|))
1124 (("JNL") (:|imm|) (#x7D :|rb|))
1125 (("JLE") (:|imm|) (#x7E :|rb|))
1126 (("JNG") (:|imm|) (#x7E :|rb|))
1127 (("JG") (:|imm|) (#x7F :|rb|))
1128 (("JNLE") (:|imm|) (#x7F :|rb|))
1129 (("SET0") (:|r/m8|) (#xF #x90 :/2))
1130 (("SETNO") (:|r/m8|) (#xF #x91 :/2))
1131 (("SETB") (:|r/m8|) (#xF #x92 :/2))
1132 (("SETC") (:|r/m8|) (#xF #x92 :/2))
1133 (("SETNAE") (:|r/m8|) (#xF #x92 :/2))
1134 (("SETAE") (:|r/m8|) (#xF #x93 :/2))
1135 (("SETNB") (:|r/m8|) (#xF #x93 :/2))
1136 (("SETNC") (:|r/m8|) (#xF #x93 :/2))
1137 (("SETE") (:|r/m8|) (#xF #x94 :/2))
1138 (("SETZ") (:|r/m8|) (#xF #x94 :/2))
1139 (("SETNE") (:|r/m8|) (#xF #x95 :/2))
1140 (("SETNZ") (:|r/m8|) (#xF #x95 :/2))
1141 (("SETBE") (:|r/m8|) (#xF #x96 :/2))
1142 (("SETNA") (:|r/m8|) (#xF #x96 :/2))
1143 (("SETA") (:|r/m8|) (#xF #x97 :/2))
1144 (("SETNBE") (:|r/m8|) (#xF #x97 :/2))
1145 (("SETS") (:|r/m8|) (#xF #x98 :/2))
1146 (("SETNS") (:|r/m8|) (#xF #x99 :/2))
1147 (("SETP") (:|r/m8|) (#xF #x9A :/2))
1148 (("SETPE") (:|r/m8|) (#xF #x9A :/2))
1149 (("SETNP") (:|r/m8|) (#xF #x9B :/2))
1150 (("SETPO") (:|r/m8|) (#xF #x9B :/2))
1151 (("SETL") (:|r/m8|) (#xF #x9C :/2))
1152 (("SETNGE") (:|r/m8|) (#xF #x9C :/2))
1153 (("SETGE") (:|r/m8|) (#xF #x9D :/2))
1154 (("SETNL") (:|r/m8|) (#xF #x9D :/2))
1155 (("SETLE") (:|r/m8|) (#xF #x9E :/2))
1156 (("SETNG") (:|r/m8|) (#xF #x9E :/2))
1157 (("SETG") (:|r/m8|) (#xF #x9F :/2))
1158 (("SETNLE") (:|r/m8|) (#xF #x9F :/2))
1159 (("CMOV0") (:|reg32| :|r/m32|) (:|o32| #xF #x40 :|/r|))
1160 (("CMOVNO") (:|reg32| :|r/m32|) (:|o32| #xF #x41 :|/r|))
1161 (("CMOVB") (:|reg32| :|r/m32|) (:|o32| #xF #x42 :|/r|))
1162 (("CMOVC") (:|reg32| :|r/m32|) (:|o32| #xF #x42 :|/r|))
1163 (("CMOVNAE") (:|reg32| :|r/m32|) (:|o32| #xF #x42 :|/r|))
1164 (("CMOVAE") (:|reg32| :|r/m32|) (:|o32| #xF #x43 :|/r|))
1165 (("CMOVNB") (:|reg32| :|r/m32|) (:|o32| #xF #x43 :|/r|))
1166 (("CMOVNC") (:|reg32| :|r/m32|) (:|o32| #xF #x43 :|/r|))
1167 (("CMOVE") (:|reg32| :|r/m32|) (:|o32| #xF #x44 :|/r|))
1168 (("CMOVZ") (:|reg32| :|r/m32|) (:|o32| #xF #x44 :|/r|))
1169 (("CMOVNE") (:|reg32| :|r/m32|) (:|o32| #xF #x45 :|/r|))
1170 (("CMOVNZ") (:|reg32| :|r/m32|) (:|o32| #xF #x45 :|/r|))
1171 (("CMOVBE") (:|reg32| :|r/m32|) (:|o32| #xF #x46 :|/r|))
1172 (("CMOVNA") (:|reg32| :|r/m32|) (:|o32| #xF #x46 :|/r|))
1173 (("CMOVA") (:|reg32| :|r/m32|) (:|o32| #xF #x47 :|/r|))
1174 (("CMOVNBE") (:|reg32| :|r/m32|) (:|o32| #xF #x47 :|/r|))
1175 (("CMOVS") (:|reg32| :|r/m32|) (:|o32| #xF #x48 :|/r|))
1176 (("CMOVNS") (:|reg32| :|r/m32|) (:|o32| #xF #x49 :|/r|))
1177 (("CMOVP") (:|reg32| :|r/m32|) (:|o32| #xF #x4A :|/r|))
1178 (("CMOVPE") (:|reg32| :|r/m32|) (:|o32| #xF #x4A :|/r|))
1179 (("CMOVNP") (:|reg32| :|r/m32|) (:|o32| #xF #x4B :|/r|))
1180 (("CMOVPO") (:|reg32| :|r/m32|) (:|o32| #xF #x4B :|/r|))
1181 (("CMOVL") (:|reg32| :|r/m32|) (:|o32| #xF #x4C :|/r|))
1182 (("CMOVNGE") (:|reg32| :|r/m32|) (:|o32| #xF #x4C :|/r|))
1183 (("CMOVGE") (:|reg32| :|r/m32|) (:|o32| #xF #x4D :|/r|))
1184 (("CMOVNL") (:|reg32| :|r/m32|) (:|o32| #xF #x4D :|/r|))
1185 (("CMOVLE") (:|reg32| :|r/m32|) (:|o32| #xF #x4E :|/r|))
1186 (("CMOVNG") (:|reg32| :|r/m32|) (:|o32| #xF #x4E :|/r|))
1187 (("CMOVG") (:|reg32| :|r/m32|) (:|o32| #xF #x4F :|/r|))
1188 (("CMOVNLE") (:|reg32| :|r/m32|) (:|o32| #xF #x4F :|/r|))
1189 (("CMOV0") (:|reg16| :|r/m16|) (:|o16| #xF #x40 :|/r|))
1190 (("CMOVNO") (:|reg16| :|r/m16|) (:|o16| #xF #x41 :|/r|))
1191 (("CMOVB") (:|reg16| :|r/m16|) (:|o16| #xF #x42 :|/r|))
1192 (("CMOVC") (:|reg16| :|r/m16|) (:|o16| #xF #x42 :|/r|))
1193 (("CMOVNAE") (:|reg16| :|r/m16|) (:|o16| #xF #x42 :|/r|))
1194 (("CMOVAE") (:|reg16| :|r/m16|) (:|o16| #xF #x43 :|/r|))
1195 (("CMOVNB") (:|reg16| :|r/m16|) (:|o16| #xF #x43 :|/r|))
1196 (("CMOVNC") (:|reg16| :|r/m16|) (:|o16| #xF #x43 :|/r|))
1197 (("CMOVE") (:|reg16| :|r/m16|) (:|o16| #xF #x44 :|/r|))
1198 (("CMOVZ") (:|reg16| :|r/m16|) (:|o16| #xF #x44 :|/r|))
1199 (("CMOVNE") (:|reg16| :|r/m16|) (:|o16| #xF #x45 :|/r|))
1200 (("CMOVNZ") (:|reg16| :|r/m16|) (:|o16| #xF #x45 :|/r|))
1201 (("CMOVBE") (:|reg16| :|r/m16|) (:|o16| #xF #x46 :|/r|))
1202 (("CMOVNA") (:|reg16| :|r/m16|) (:|o16| #xF #x46 :|/r|))
1203 (("CMOVA") (:|reg16| :|r/m16|) (:|o16| #xF #x47 :|/r|))
1204 (("CMOVNBE") (:|reg16| :|r/m16|) (:|o16| #xF #x47 :|/r|))
1205 (("CMOVS") (:|reg16| :|r/m16|) (:|o16| #xF #x48 :|/r|))
1206 (("CMOVNS") (:|reg16| :|r/m16|) (:|o16| #xF #x49 :|/r|))
1207 (("CMOVP") (:|reg16| :|r/m16|) (:|o16| #xF #x4A :|/r|))
1208 (("CMOVPE") (:|reg16| :|r/m16|) (:|o16| #xF #x4A :|/r|))
1209 (("CMOVNP") (:|reg16| :|r/m16|) (:|o16| #xF #x4B :|/r|))
1210 (("CMOVPO") (:|reg16| :|r/m16|) (:|o16| #xF #x4B :|/r|))
1211 (("CMOVL") (:|reg16| :|r/m16|) (:|o16| #xF #x4C :|/r|))
1212 (("CMOVNGE") (:|reg16| :|r/m16|) (:|o16| #xF #x4C :|/r|))
1213 (("CMOVGE") (:|reg16| :|r/m16|) (:|o16| #xF #x4D :|/r|))
1214 (("CMOVNL") (:|reg16| :|r/m16|) (:|o16| #xF #x4D :|/r|))
1215 (("CMOVLE") (:|reg16| :|r/m16|) (:|o16| #xF #x4E :|/r|))
1216 (("CMOVNG") (:|reg16| :|r/m16|) (:|o16| #xF #x4E :|/r|))
1217 (("CMOVG") (:|reg16| :|r/m16|) (:|o16| #xF #x4F :|/r|))
1218 (("CMOVNLE") (:|reg16| :|r/m16|) (:|o16| #xF #x4F :|/r|))))
1219
1220 (defparameter *instruction-lookup-table*
1221 (make-hash-table :test 'eq))
1222
1223 ;; transform the above into a more useful hashtable
1224 (defun make-instruction-hash-table ()
1225 "(make-instruction-hash-table) Transform our list of
1226 instructions extracted from the NASM docs to a useful
1227 hashtable"
1228 (flet ((get-instruction-names ()
1229 (mapcar #'(lambda (i)
1230 (intern (first (first i)) :KEYWORD))
1231 *instruction-table*))
1232 (get-instruction-descriptions ()
1233 (mapcar #'(lambda (i)
1234 (rest i)) *instruction-table*)))
1235 (loop
1236 for name in (get-instruction-names)
1237 for description in (get-instruction-descriptions)
1238 do
1239 (progn
1240 (format *debug-io* "Adding ~W to table - ~A ~%"
1241 name description)
1242 (setf (gethash name *instruction-lookup-table*)
1243 (cons description
1244 (gethash name
1245 *instruction-lookup-table*)))))))
1246
1247 (defun lookup-instruction (instruction-designator)
1248 "(lookup-instruction instruction-designator) if
1249 instruction is a recognised instruction, return it
1250 and it's description as a pair of values"
1251 (ctypecase instruction-designator
1252 (string (let
1253 ((instruction-symbol
1254 (find-symbol
1255 instruction-designator :KEYWORD)))
1256 (if instruction-symbol
1257 (values
1258 instruction-symbol
1259 (gethash instruction-symbol
1260 *instruction-lookup-table*))
1261 (error "Unknown instruction ~A "
1262 instruction-designator))))
1263 (symbol (if (eq (symbol-package instruction-designator)
1264 (find-package 'keyword))
1265 (values
1266 instruction-designator
1267 (gethash instruction-designator
1268 *instruction-lookup-table*))
1269 (error "Unknown instruction ~A "
1270 instruction-designator)))))
1271
1272
1273 ;; constructors accessors for instuction encoding -------------------------
1274
1275 (defun make-mod-rm-byte (mod r/m spare)
1276 (logior
1277 (ash mod 6)
1278 (ash spare 3)
1279 r/m))
1280
1281 (defun get-mod-rm-field (field modrm)
1282 (ccase field
1283 (:mod (ash modrm -6))
1284 (:spare (logand (ash modrm -3) #X7))
1285 (:|r/m| (logand modrm #X7))))
1286
1287
1288 (defun make-sib-byte (scale index base)
1289 (logior
1290 (ash scale 6)
1291 (ash index 3)
1292 base))
1293
1294 (defun get-sib-field (field sib)
1295 (ccase field
1296 (:scale (ash sib -6))
1297 (:index (logand (ash sib -3) #X7))
1298 (:base (logand sib #X7))))
1299
1300
1301
1302 (defun make-instruction ()
1303 "(make-instruction - create a new assoc list to
1304 represent an empty instruction."
1305 (let ((instruction (gensym "INSTRUCTION")))
1306 (setf (get instruction :prefix) NIL)
1307 (setf (get instruction :opcodes) NIL)
1308 (setf (get instruction :|mod-r/m|) NIL)
1309 (setf (get instruction :|sib|) NIL)
1310 (setf (get instruction :displacement) NIL)
1311 (setf (get instruction :immediate-data) NIL)
1312 (setf (get instruction :immediate-symbol) NIL)
1313 (setf (get instruction :displacement-symbol) NIL)
1314 instruction))
1315
1316 (defun flatten-instruction (instruction)
1317 (append
1318 (get instruction :prefix)
1319 (get instruction :opcodes)
1320 (if (not (null (get instruction :|mod-r/m|)))
1321 (list (get instruction :|mod-r/m|)))
1322 (if (not (null (get instruction :|sib|)))
1323 (list (get instruction :|sib|)))
1324 (get instruction :displacement)
1325 (get instruction :immediate-data)))
1326
1327 (defun print-instruction (prefix instruction)
1328 (format *debug-io* "Instruction ~A ~A ~&"
1329 prefix
1330 (list (get instruction :prefix)
1331 (get instruction :opcodes)
1332 (get instruction :|mod-r/m|)
1333 (get instruction :|sib|)
1334 (get instruction :displacement)
1335 (get instruction :immediate-data)
1336 (get instruction :immediate-symbol)
1337 (get instruction :displacement-symbol))))

  ViewVC Help
Powered by ViewVC 1.1.5