one_byte_opcodes.isa revision 4592:520664dfb26f
1// Copyright (c) 2007 The Hewlett-Packard Development Company
2// All rights reserved.
3//
4// Redistribution and use of this software in source and binary forms,
5// with or without modification, are permitted provided that the
6// following conditions are met:
7//
8// The software must be used only for Non-Commercial Use which means any
9// use which is NOT directed to receiving any direct monetary
10// compensation for, or commercial advantage from such use.  Illustrative
11// examples of non-commercial use are academic research, personal study,
12// teaching, education and corporate research & development.
13// Illustrative examples of commercial use are distributing products for
14// commercial advantage and providing services using the software for
15// commercial advantage.
16//
17// If you wish to use this software or functionality therein that may be
18// covered by patents for commercial use, please contact:
19//     Director of Intellectual Property Licensing
20//     Office of Strategy and Technology
21//     Hewlett-Packard Company
22//     1501 Page Mill Road
23//     Palo Alto, California  94304
24//
25// Redistributions of source code must retain the above copyright notice,
26// this list of conditions and the following disclaimer.  Redistributions
27// in binary form must reproduce the above copyright notice, this list of
28// conditions and the following disclaimer in the documentation and/or
29// other materials provided with the distribution.  Neither the name of
30// the COPYRIGHT HOLDER(s), HEWLETT-PACKARD COMPANY, nor the names of its
31// contributors may be used to endorse or promote products derived from
32// this software without specific prior written permission.  No right of
33// sublicense is granted herewith.  Derivatives of the software and
34// output created using the software may be prepared, but only for
35// Non-Commercial Uses.  Derivatives of the software may be shared with
36// others provided: (i) the others agree to abide by the list of
37// conditions herein which includes the Non-Commercial Use restrictions;
38// and (ii) such Derivatives of the software include the above copyright
39// notice to acknowledge the contribution from this software where
40// applicable, this list of conditions and the disclaimer below.
41//
42// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
43// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
44// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
45// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
46// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
47// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
48// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
49// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
50// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
51// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
52// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
53//
54// Authors: Gabe Black
55
56////////////////////////////////////////////////////////////////////
57//
58// Decode the one byte opcodes
59//
60
610x1: decode OPCODE_OP_TOP5 {
62    format WarnUnimpl {
63        0x00: decode OPCODE_OP_BOTTOM3 {
64            0x4: ADD();
65            0x5: ADD();
66            0x6: decode MODE_SUBMODE {
67                0x0: This_should_be_an_illegal_instruction();
68                default: push_ES();
69            }
70            0x7: decode MODE_SUBMODE {
71                0x0: This_should_be_an_illegal_instruction();
72                default: pop_ES();
73            }
74            default: ADD();
75        }
76        0x01: decode OPCODE_OP_BOTTOM3 {
77            0x0: or_Eb_Gb();
78            0x1: or_Ev_Gv();
79            0x2: or_Gb_Eb();
80            0x3: or_Gv_Ev();
81            0x4: or_Al_Ib();
82            0x5: or_rAX_Iz();
83            0x6: decode MODE_SUBMODE {
84                0x0: This_should_be_an_illegal_instruction();
85                default: push_CS();
86            }
87            //Any time this is seen, it should generate a two byte opcode
88            0x7: M5InternalError::error(
89                {{"Saw a one byte opcode whose value was 0x0F!"}});
90        }
91        0x02: decode OPCODE_OP_BOTTOM3 {
92            0x0: adc_Eb_Gb();
93            0x1: adc_Ev_Gv();
94            0x2: adc_Gb_Eb();
95            0x3: adc_Gv_Ev();
96            0x4: adc_Al_Ib();
97            0x5: adc_rAX_Iz();
98            0x6: decode MODE_SUBMODE {
99                0x0: This_should_be_an_illegal_instruction();
100                default: push_SS();
101            }
102            0x7: decode MODE_SUBMODE {
103                0x0: This_should_be_an_illegal_instruction();
104                default: pop_SS();
105            }
106        }
107        0x03: decode OPCODE_OP_BOTTOM3 {
108            0x0: sbb_Eb_Gb();
109            0x1: sbb_Ev_Gv();
110            0x2: sbb_Gb_Eb();
111            0x3: sbb_Gv_Ev();
112            0x4: sbb_Al_Ib();
113            0x5: sbb_rAX_Iz();
114            0x6: decode MODE_SUBMODE {
115                0x0: This_should_be_an_illegal_instruction();
116                default: push_DS();
117            }
118            0x7: decode MODE_SUBMODE {
119                0x0: This_should_be_an_illegal_instruction();
120                default: pop_DS();
121            }
122        }
123        0x04: decode OPCODE_OP_BOTTOM3 {
124            0x0: and_Eb_Gb();
125            0x1: and_Ev_Gv();
126            0x2: and_Gb_Eb();
127            0x3: and_Gv_Ev();
128            0x4: and_Al_Ib();
129            0x5: and_rAX_Iz();
130            0x6: M5InternalError::error(
131                {{"Tried to execute the ES segment override prefix!"}});
132            0x7: decode MODE_SUBMODE {
133                0x0: This_should_be_an_illegal_instruction();
134                default: daa();
135            }
136        }
137        0x05: decode OPCODE_OP_BOTTOM3 {
138            0x0: sub_Eb_Gb();
139            0x1: sub_Ev_Gv();
140            0x2: sub_Gb_Eb();
141            0x3: sub_Gv_Ev();
142            0x4: sub_Al_Ib();
143            0x5: sub_rAX_Iz();
144            0x6: M5InternalError::error(
145                {{"Tried to execute the CS segment override prefix!"}});
146            0x7: das();
147        }
148        0x06: decode OPCODE_OP_BOTTOM3 {
149            0x4: Inst::XOR(rAl,Ib);
150            0x5: Inst::XOR(rAx,Iz);
151            0x6: M5InternalError::error(
152                {{"Tried to execute the SS segment override prefix!"}});
153            0x7: decode MODE_SUBMODE {
154                0x0: This_should_be_an_illegal_instruction();
155                default: aaa();
156            }
157            default: MultiInst::XOR(OPCODE_OP_BOTTOM3,
158                                    [Eb,Gb], [Ev,Gv],
159                                    [Gb,Eb], [Gv,Ev]);
160        }
161        0x07: decode OPCODE_OP_BOTTOM3 {
162            0x0: cmp_Eb_Gb();
163            0x1: cmp_Ev_Gv();
164            0x2: cmp_Gb_Eb();
165            0x3: cmp_Gv_Ev();
166            0x4: cmp_Al_Ib();
167            0x5: cmp_rAX_Iz();
168            0x6: M5InternalError::error(
169                {{"Tried to execute the DS segment override prefix!"}});
170            0x7: decode MODE_SUBMODE {
171                0x0: This_should_be_an_illegal_instruction();
172                default: aas();
173            }
174        }
175        0x08: decode OPCODE_OP_BOTTOM3 {
176            0x0: inc_eAX();
177            0x1: inc_eCX();
178            0x2: inc_eDX();
179            0x3: inc_eBX();
180            0x4: inc_eSP();
181            0x5: inc_eBP();
182            0x6: inc_eSI();
183            0x7: inc_eDI();
184        }
185        0x09: decode OPCODE_OP_BOTTOM3 {
186            0x0: dec_eAX();
187            0x1: dec_eCX();
188            0x2: dec_eDX();
189            0x3: dec_eBX();
190            0x4: dec_eSP();
191            0x5: dec_eBP();
192            0x6: dec_eSI();
193            0x7: dec_eDI();
194        }
195        format Inst {
196            0x0A: decode OPCODE_OP_BOTTOM3 {
197                0x0: PUSH(rAx);
198                0x1: PUSH(rCx);
199                0x2: PUSH(rDx);
200                0x3: PUSH(rBx);
201                0x4: PUSH(rSP);
202                0x5: PUSH(rBP);
203                0x6: PUSH(rSI);
204                0x7: PUSH(rDI);
205            }
206            0x0B: decode OPCODE_OP_BOTTOM3 {
207                0x0: POP(rAx);
208                0x1: POP(rCx);
209                0x2: POP(rDx);
210                0x3: POP(rBx);
211                0x4: POP(rSP);
212                0x5: POP(rBP);
213                0x6: POP(rSI);
214                0x7: POP(rDI);
215            }
216        }
217        0x0C: decode OPCODE_OP_BOTTOM3 {
218            0x0: decode MODE_SUBMODE {
219                0x0: This_should_be_an_illegal_instruction();
220                default: pusha();
221            }
222            0x1: decode MODE_SUBMODE {
223                0x0: This_should_be_an_illegal_instruction();
224                default: popa();
225            }
226            0x2: decode MODE_SUBMODE {
227                0x0: This_should_be_an_illegal_instruction();
228                default: bound_Gv_Ma();
229            }
230            0x3: arpl_Ew_Gw();
231            0x4: M5InternalError::error(
232                {{"Tried to execute the FS segment override prefix!"}});
233            0x5: M5InternalError::error(
234                {{"Tried to execute the GS segment override prefix!"}});
235            0x6: M5InternalError::error(
236                {{"Tried to execute the operand size override prefix!"}});
237            0x7: M5InternalError::error(
238                {{"Tried to execute the DS address size override prefix!"}});
239        }
240        0x0D: decode OPCODE_OP_BOTTOM3 {
241            0x0: push_Iz();
242            0x1: imul_Gv_Ev_Iz();
243            0x2: push_Ib();
244            0x3: imul_Gv_Ev_Ib();
245            0x4: ins_Yb_Dx();
246            0x5: ins_Yz_Dx();
247            0x6: outs_Dx_Xb();
248            0x7: outs_Dx_Xz();
249        }
250        0x0E: decode OPCODE_OP_BOTTOM3 {
251            0x0: jo_Jb();
252            0x1: jno_Jb();
253            0x2: jb_Jb();
254            0x3: jnb_Jb();
255            0x4: jz_Jb();
256            0x5: jnz_Jb();
257            0x6: jbe_Jb();
258            0x7: jnbe_Jb();
259        }
260        0x0F: decode OPCODE_OP_BOTTOM3 {
261            0x0: js_Jb();
262            0x1: jns_Jb();
263            0x2: jp_Jb();
264            0x3: jnp_Jb();
265            0x4: jl_Jb();
266            0x5: jnl_Jb();
267            0x6: jle_Jb();
268            0x7: jnke_Jb();
269        }
270        0x10: decode OPCODE_OP_BOTTOM3 {
271            0x0: group1_Eb_Ib();
272            0x1: group1_Ev_Iz();
273            0x2: decode MODE_SUBMODE {
274                0x0: This_should_be_an_illegal_instruction();
275                default: group1_Eb_Ib();
276            }
277            //0x3: group1_Ev_Ib();
278            0x3: decode MODRM_REG {
279                0x0: add_Eb_Ib();
280                0x1: or_Eb_Ib();
281                0x2: adc_Eb_Ib();
282                0x3: sbb_Eb_Ib();
283                0x4: Inst::AND(Eb,Ib);
284                0x5: sub_Eb_Ib();
285                0x6: xor_Eb_Ib();
286                0x7: cmp_Eb_Ib();
287            }
288            0x4: test_Eb_Gb();
289            0x5: test_Ev_Gv();
290            0x6: xchg_Eb_Gb();
291            0x7: xchg_Ev_Gv();
292        }
293        0x11: decode OPCODE_OP_BOTTOM3 {
294            0x0: Inst::MOV(Eb,Gb);
295            0x1: Inst::MOV(Ev,Gv);
296            0x2: Inst::MOV(Gb,Eb);
297            0x3: Inst::MOV(Gv,Eb);
298            0x4: mov_MwRv_Sw(); //What to do with this one?
299            0x5: lea_Gv_M();
300            0x6: mov_Sw_MwRv();
301            0x7: group10_Ev(); //Make sure this is Ev
302        }
303        0x12: decode OPCODE_OP_BOTTOM3 {
304            0x0: nop_or_pause(); //Check for repe prefix
305            0x1: xchg_rCX_rAX();
306            0x2: xchg_rDX_rAX();
307            0x3: xchg_rVX_rAX();
308            0x4: xchg_rSP_rAX();
309            0x5: xchg_rBP_rAX();
310            0x6: xchg_rSI_rAX();
311            0x7: xchg_rDI_rAX();
312        }
313        0x13: decode OPCODE_OP_BOTTOM3 {
314            0x0: cbw_or_cwde_or_cdqe_rAX();
315            0x1: cwd_or_cdq_or_cqo_rAX_rDX();
316            0x2: decode MODE_SUBMODE {
317                0x0: This_should_be_an_illegal_instruction();
318                default: call_Ap();
319            }
320            0x3: fwait(); //aka wait
321            0x4: pushf_Fv();
322            0x5: popf_Fv();
323            //Both of these should be illegal only if CPUID.AHF64=0,
324            //according to sandpile.org
325            0x6: decode MODE_SUBMODE {
326                0x0: This_should_be_an_illegal_instruction();
327                default: sahf();
328            }
329            0x7: decode MODE_SUBMODE {
330                0x0: This_should_be_an_illegal_instruction();
331                default: lahf();
332            }
333        }
334        0x14: decode OPCODE_OP_BOTTOM3 {
335            0x0: mov_Al_Ob();
336            0x1: mov_rAX_Ov();
337            0x2: mov_Ob_Al();
338            0x3: mov_Ov_rAX();
339            0x4: movs_Yb_Xb();
340            0x5: movs_Yv_Xv();
341            0x6: cmps_Yb_Xb();
342            0x7: cmps_Yv_Xv();
343        }
344        0x15: decode OPCODE_OP_BOTTOM3 {
345            0x0: test_Al_Ib();
346            0x1: test_rAX_Iz();
347            0x2: stos_Yb_Al();
348            0x3: stos_Yv_rAX();
349            0x4: lods_Al_Xb();
350            0x5: lods_rAX_Xv();
351            0x6: scas_Yb_Al();
352            0x7: scas_Yv_rAX();
353        }
354        0x16: decode OPCODE_OP_BOTTOM3 {
355            0x0: mov_Al_Ib();
356            0x1: mov_Cl_Ib();
357            0x2: mov_Dl_Ib();
358            0x3: mov_Bl_Ib();
359            0x4: mov_Ah_Ib();
360            0x5: mov_Ch_Ib();
361            0x6: mov_Dh_Ib();
362            0x7: mov_Bh_Ib();
363        }
364        0x17: decode OPCODE_OP_BOTTOM3 {
365            0x0: mov_rAX_Iv();
366            0x1: mov_rCX_Iv();
367            0x2: mov_rDX_Iv();
368            0x3: mov_rBX_Iv();
369            0x4: mov_rSP_Iv();
370            0x5: mov_rBP_Iv();
371            0x6: mov_rSI_Iv();
372            0x7: mov_rDI_Iv();
373        }
374        0x18: decode OPCODE_OP_BOTTOM3 {
375            0x0: group2_Eb_Ib();
376            0x1: group2_Ev_Ib();
377            0x2: ret_near_Iw();
378            0x3: ret_near();
379            0x4: decode MODE_SUBMODE {
380                0x0: This_should_be_an_illegal_instruction();
381                default: les_Gz_Mp();
382            }
383            0x5: decode MODE_SUBMODE {
384                0x0: This_should_be_an_illegal_instruction();
385                default: lds_Gz_Mp();
386            }
387            //0x6: group12_Eb_Ib();
388            0x6: decode MODRM_REG {
389                0x0: Inst::MOV(Eb,Ib);
390            }
391            //0x7: group12_Ev_Iz();
392            0x7: decode MODRM_REG {
393                0x0: Inst::MOV(Ev,Iz);
394            }
395        }
396        0x19: decode OPCODE_OP_BOTTOM3 {
397            0x0: enter_Iw_Ib();
398            0x1: leave();
399            0x2: ret_far_Iw();
400            0x3: ret_far();
401            0x4: int3();
402            0x5: int_Ib();
403            0x6: decode MODE_SUBMODE {
404                0x0: This_should_be_an_illegal_instruction();
405                default: into();
406            }
407            0x7: iret();
408        }
409        0x1A: decode OPCODE_OP_BOTTOM3 {
410            0x0: group2_Eb_1();
411            0x1: group2_Ev_1();
412            0x2: group2_Eb_Cl();
413            0x3: group2_Ev_Cl();
414            0x4: decode MODE_SUBMODE {
415                0x0: This_should_be_an_illegal_instruction();
416                default: aam_Ib();
417            }
418            0x5: decode MODE_SUBMODE {
419                0x0: This_should_be_an_illegal_instruction();
420                default: aad_Ib();
421            }
422            0x6: decode MODE_SUBMODE {
423                0x0: This_should_be_an_illegal_instruction();
424                default: salc();
425            }
426            0x7: xlat();
427        }
428        0x1B: decode OPCODE_OP_BOTTOM3 {
429            0x0: esc0();
430            0x1: esc1();
431            0x2: esc2();
432            0x3: esc3();
433            0x4: esc4();
434            0x5: esc5();
435            0x6: esc6();
436            0x7: esc7();
437        }
438        0x1C: decode OPCODE_OP_BOTTOM3 {
439            0x0: loopne_Jb();
440            0x1: loope_Jb();
441            0x2: loop_Jb();
442            0x3: jcxz_or_jecx_or_jrcx();
443            0x4: in_Al_Ib();
444            0x5: in_eAX_Ib();
445            0x6: out_Ib_Al();
446            0x7: out_Ib_eAX();
447        }
448        0x1D: decode OPCODE_OP_BOTTOM3 {
449            0x0: Inst::CALL(Jz);
450            0x1: jmp_Jz();
451            0x2: decode MODE_SUBMODE {
452                0x0: This_should_be_an_illegal_instruction();
453                default: jmp_Ap();
454            }
455            0x3: jmp_Jb();
456            0x4: in_Al_Dx();
457            0x5: in_eAX_Dx();
458            0x6: out_Dx_Al();
459            0x7: out_Dx_eAX();
460        }
461        0x1E: decode OPCODE_OP_BOTTOM3 {
462            0x0: M5InternalError::error(
463                {{"Tried to execute the lock prefix!"}});
464            0x1: int1();
465            0x2: M5InternalError::error(
466                {{"Tried to execute the repne prefix!"}});
467            0x3: M5InternalError::error(
468                {{"Tried to execute the rep/repe prefix!"}});
469            0x4: hlt();
470            0x5: cmc();
471            0x6: group3_Eb();
472            0x7: group3_Ev();
473        }
474        0x1F: decode OPCODE_OP_BOTTOM3 {
475            0x0: clc();
476            0x1: stc();
477            0x2: cli();
478            0x3: sti();
479            0x4: cld();
480            0x5: std();
481            0x6: group4();
482            0x7: group5();
483        }
484    }
485    default: FailUnimpl::oneByteOps();
486}
487