• Top
  • Documentation
  • Books
  • Recursion-and-induction
  • Boolean-reasoning
  • Debugging
  • Projects
  • Std
  • Proof-automation
  • Macro-libraries
  • ACL2
  • Interfacing-tools
  • Hardware-verification
  • Software-verification
    • Kestrel-books
    • X86isa
      • Program-execution
      • Introduction
      • X86isa-build-instructions
      • Publications
      • Contributors
      • Machine
      • Implemented-opcodes
        • Two-byte-opcodes-map
        • One-byte-opcodes-map
        • 0f-3a-three-byte-opcodes-map
        • 0f-38-three-byte-opcodes-map
      • Proof-utilities
      • To-do
      • Concrete-simulation-examples
      • Model-validation
      • Utils
      • Debugging-code-proofs
    • Execloader
    • Axe
  • Testing-utilities
  • Math

• Implemented-opcodes

One-byte-opcodes-map

List of implemented instructions whose opcode is one byte long

Opcode	Mnemonic	Other Information	Semantic Function
00	ADD		x86-add/adc/sub/sbb/or/and/xor/cmp/test-e-g -- ((operation . #x0))
01	ADD		x86-add/adc/sub/sbb/or/and/xor/cmp/test-e-g -- ((operation . #x0))
02	ADD		x86-add/adc/sub/sbb/or/and/xor/cmp-g-e -- ((operation . #x0))
03	ADD		x86-add/adc/sub/sbb/or/and/xor/cmp-g-e -- ((operation . #x0))
04	ADD		x86-add/adc/sub/sbb/or/and/xor/cmp-test-rax-i -- ((operation . #x0))
05	ADD		x86-add/adc/sub/sbb/or/and/xor/cmp-test-rax-i -- ((operation . #x0))
06	PUSH ES	:MODE :I64	x86-push-segment-register
06	#UD	:MODE :O64	x86-illegal-instruction -- ((message . "PUSH ES is illegal in the 64-bit mode!"))
07	#UD	:MODE :O64	x86-illegal-instruction -- ((message . "POP ES is illegal in the 64-bit mode!"))
08	OR		x86-add/adc/sub/sbb/or/and/xor/cmp/test-e-g -- ((operation . #x1))
09	OR		x86-add/adc/sub/sbb/or/and/xor/cmp/test-e-g -- ((operation . #x1))
0A	OR		x86-add/adc/sub/sbb/or/and/xor/cmp-g-e -- ((operation . #x1))
0B	OR		x86-add/adc/sub/sbb/or/and/xor/cmp-g-e -- ((operation . #x1))
0C	OR		x86-add/adc/sub/sbb/or/and/xor/cmp-test-rax-i -- ((operation . #x1))
0D	OR		x86-add/adc/sub/sbb/or/and/xor/cmp-test-rax-i -- ((operation . #x1))
0E	PUSH CS	:MODE :I64	x86-push-segment-register
0E	#UD	:MODE :O64	x86-illegal-instruction -- ((message . "PUSH CS is illegal in the 64-bit mode!"))
0F	2-BYTE-ESCAPE		two-byte-opcode-decode-and-execute -- ((escape-byte . opcode))
10	ADC		x86-add/adc/sub/sbb/or/and/xor/cmp/test-e-g -- ((operation . #x2))
11	ADC		x86-add/adc/sub/sbb/or/and/xor/cmp/test-e-g -- ((operation . #x2))
12	ADC		x86-add/adc/sub/sbb/or/and/xor/cmp-g-e -- ((operation . #x2))
13	ADC		x86-add/adc/sub/sbb/or/and/xor/cmp-g-e -- ((operation . #x2))
14	ADC		x86-add/adc/sub/sbb/or/and/xor/cmp-test-rax-i -- ((operation . #x2))
15	ADC		x86-add/adc/sub/sbb/or/and/xor/cmp-test-rax-i -- ((operation . #x2))
16	PUSH SS	:MODE :I64	x86-push-segment-register
16	#UD	:MODE :O64	x86-illegal-instruction -- ((message . "PUSH SS is illegal in the 64-bit mode!"))
17	#UD	:MODE :O64	x86-illegal-instruction -- ((message . "POP SS is illegal in the 64-bit mode!"))
18	SBB		x86-add/adc/sub/sbb/or/and/xor/cmp/test-e-g -- ((operation . #x6))
19	SBB		x86-add/adc/sub/sbb/or/and/xor/cmp/test-e-g -- ((operation . #x6))
1A	SBB		x86-add/adc/sub/sbb/or/and/xor/cmp-g-e -- ((operation . #x6))
1B	SBB		x86-add/adc/sub/sbb/or/and/xor/cmp-g-e -- ((operation . #x6))
1C	SBB		x86-add/adc/sub/sbb/or/and/xor/cmp-test-rax-i -- ((operation . #x6))
1D	SBB		x86-add/adc/sub/sbb/or/and/xor/cmp-test-rax-i -- ((operation . #x6))
1E	PUSH DS	:MODE :I64	x86-push-segment-register
1E	#UD	:MODE :O64	x86-illegal-instruction -- ((message . "PUSH DS is illegal in the 64-bit mode!"))
1F	#UD	:MODE :O64	x86-illegal-instruction -- ((message . "POP DS is illegal in the 64-bit mode!"))
20	AND		x86-add/adc/sub/sbb/or/and/xor/cmp/test-e-g -- ((operation . #x3))
21	AND		x86-add/adc/sub/sbb/or/and/xor/cmp/test-e-g -- ((operation . #x3))
22	AND		x86-add/adc/sub/sbb/or/and/xor/cmp-g-e -- ((operation . #x3))
23	AND		x86-add/adc/sub/sbb/or/and/xor/cmp-g-e -- ((operation . #x3))
24	AND		x86-add/adc/sub/sbb/or/and/xor/cmp-test-rax-i -- ((operation . #x3))
25	AND		x86-add/adc/sub/sbb/or/and/xor/cmp-test-rax-i -- ((operation . #x3))
26	PREFIX-ES		NO INSTRUCTION
27	#UD	:MODE :O64	x86-illegal-instruction -- ((message . "DAA is illegal in the 64-bit mode!"))
28	SUB		x86-add/adc/sub/sbb/or/and/xor/cmp/test-e-g -- ((operation . #x4))
29	SUB		x86-add/adc/sub/sbb/or/and/xor/cmp/test-e-g -- ((operation . #x4))
2A	SUB		x86-add/adc/sub/sbb/or/and/xor/cmp-g-e -- ((operation . #x4))
2B	SUB		x86-add/adc/sub/sbb/or/and/xor/cmp-g-e -- ((operation . #x4))
2C	SUB		x86-add/adc/sub/sbb/or/and/xor/cmp-test-rax-i -- ((operation . #x4))
2D	SUB		x86-add/adc/sub/sbb/or/and/xor/cmp-test-rax-i -- ((operation . #x4))
2E	PREFIX-CS		NO INSTRUCTION
2F	#UD	:MODE :O64	x86-illegal-instruction -- ((message . "DAS is illegal in the 64-bit mode!"))
30	XOR		x86-add/adc/sub/sbb/or/and/xor/cmp/test-e-g -- ((operation . #x5))
31	XOR		x86-add/adc/sub/sbb/or/and/xor/cmp/test-e-g -- ((operation . #x5))
32	XOR		x86-add/adc/sub/sbb/or/and/xor/cmp-g-e -- ((operation . #x5))
33	XOR		x86-add/adc/sub/sbb/or/and/xor/cmp-g-e -- ((operation . #x5))
34	XOR		x86-add/adc/sub/sbb/or/and/xor/cmp-test-rax-i -- ((operation . #x5))
35	XOR		x86-add/adc/sub/sbb/or/and/xor/cmp-test-rax-i -- ((operation . #x5))
36	PREFIX-SS		NO INSTRUCTION
37	#UD	:MODE :O64	x86-illegal-instruction -- ((message . "AAA is illegal in the 64-bit mode!"))
38	CMP		x86-add/adc/sub/sbb/or/and/xor/cmp/test-e-g -- ((operation . #x8))
39	CMP		x86-add/adc/sub/sbb/or/and/xor/cmp/test-e-g -- ((operation . #x8))
3A	CMP		x86-add/adc/sub/sbb/or/and/xor/cmp-g-e -- ((operation . #x8))
3B	CMP		x86-add/adc/sub/sbb/or/and/xor/cmp-g-e -- ((operation . #x8))
3C	CMP		x86-add/adc/sub/sbb/or/and/xor/cmp-test-rax-i -- ((operation . #x8))
3D	CMP		x86-add/adc/sub/sbb/or/and/xor/cmp-test-rax-i -- ((operation . #x8))
3E	PREFIX-DS		NO INSTRUCTION
3F	#UD	:MODE :O64	x86-illegal-instruction -- ((message . "AAS is illegal in the 64-bit mode!"))
40	REX	:MODE :O64	NO INSTRUCTION
40	INC	:MODE :I64	x86-inc/dec-4x
41	REX-B	:MODE :O64	NO INSTRUCTION
41	INC	:MODE :I64	x86-inc/dec-4x
42	REX-X	:MODE :O64	NO INSTRUCTION
42	INC	:MODE :I64	x86-inc/dec-4x
43	REX-XB	:MODE :O64	NO INSTRUCTION
43	INC	:MODE :I64	x86-inc/dec-4x
44	REX-R	:MODE :O64	NO INSTRUCTION
44	INC	:MODE :I64	x86-inc/dec-4x
45	REX-RB	:MODE :O64	NO INSTRUCTION
45	INC	:MODE :I64	x86-inc/dec-4x
46	REX-RX	:MODE :O64	NO INSTRUCTION
46	INC	:MODE :I64	x86-inc/dec-4x
47	REX-RXB	:MODE :O64	NO INSTRUCTION
47	INC	:MODE :I64	x86-inc/dec-4x
48	REX-W	:MODE :O64	NO INSTRUCTION
48	DEC	:MODE :I64	x86-inc/dec-4x
49	REX-WB	:MODE :O64	NO INSTRUCTION
49	DEC	:MODE :I64	x86-inc/dec-4x
4A	REX-WX	:MODE :O64	NO INSTRUCTION
4A	DEC	:MODE :I64	x86-inc/dec-4x
4B	REX-WXB	:MODE :O64	NO INSTRUCTION
4B	DEC	:MODE :I64	x86-inc/dec-4x
4C	REX-WR	:MODE :O64	NO INSTRUCTION
4C	DEC	:MODE :I64	x86-inc/dec-4x
4D	REX-WRB	:MODE :O64	NO INSTRUCTION
4D	DEC	:MODE :I64	x86-inc/dec-4x
4E	REX-WRX	:MODE :O64	NO INSTRUCTION
4E	DEC	:MODE :I64	x86-inc/dec-4x
4F	REX-WRXB	:MODE :O64	NO INSTRUCTION
4F	DEC	:MODE :I64	x86-inc/dec-4x
50	PUSH		x86-push-general-register
51	PUSH		x86-push-general-register
52	PUSH		x86-push-general-register
53	PUSH		x86-push-general-register
54	PUSH		x86-push-general-register
55	PUSH		x86-push-general-register
56	PUSH		x86-push-general-register
57	PUSH		x86-push-general-register
58	POP		x86-pop-general-register
59	POP		x86-pop-general-register
5A	POP		x86-pop-general-register
5B	POP		x86-pop-general-register
5C	POP		x86-pop-general-register
5D	POP		x86-pop-general-register
5E	POP		x86-pop-general-register
5F	POP		x86-pop-general-register
60	PUSHA/PUSHAD	:MODE :I64	x86-pusha
60	#UD	:MODE :O64	x86-illegal-instruction -- ((message . "PUSHA is illegal in the 64-bit mode!"))
61	POPA/POPAD	:MODE :I64	x86-popa
61	#UD	:MODE :O64	x86-illegal-instruction -- ((message . "POPA is illegal in the 64-bit mode!"))
62	EVEX-BYTE0	:MODE :O64	NO INSTRUCTION
63	MOVSXD	:MODE :O64	x86-movsx
64	PREFIX-FS		NO INSTRUCTION
65	PREFIX-GS		NO INSTRUCTION
66	PREFIX-OPSIZE		NO INSTRUCTION
67	PREFIX-ADDRSIZE		NO INSTRUCTION
68	PUSH		x86-push-i
69	IMUL		x86-imul-op/en-rmi
6A	PUSH		x86-push-i
6B	IMUL		x86-imul-op/en-rmi
70	JO		x86-one-byte-jcc
71	JNO		x86-one-byte-jcc
72	JB/NAE/C		x86-one-byte-jcc
73	JNB/AE/NC		x86-one-byte-jcc
74	JZ/E		x86-one-byte-jcc
75	JNZ/NE		x86-one-byte-jcc
76	JBE/NA		x86-one-byte-jcc
77	JNBE/A		x86-one-byte-jcc
78	JS		x86-one-byte-jcc
79	JNS		x86-one-byte-jcc
7A	JP/PE		x86-one-byte-jcc
7B	JNP/PO		x86-one-byte-jcc
7C	JL/NGE		x86-one-byte-jcc
7D	JNL/GE		x86-one-byte-jcc
7E	JLE/NG		x86-one-byte-jcc
7F	JNLE/G		x86-one-byte-jcc
80	ADD	:REG 0	x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i -- ((operation . #x0))
80	OR	:REG 1	x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i -- ((operation . #x1))
80	ADC	:REG 2	x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i -- ((operation . #x2))
80	SBB	:REG 3	x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i -- ((operation . #x6))
80	AND	:REG 4	x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i -- ((operation . #x3))
80	SUB	:REG 5	x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i -- ((operation . #x4))
80	XOR	:REG 6	x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i -- ((operation . #x5))
80	CMP	:REG 7	x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i -- ((operation . #x8))
81	ADD	:REG 0	x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i -- ((operation . #x0))
81	OR	:REG 1	x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i -- ((operation . #x1))
81	ADC	:REG 2	x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i -- ((operation . #x2))
81	SBB	:REG 3	x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i -- ((operation . #x6))
81	AND	:REG 4	x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i -- ((operation . #x3))
81	SUB	:REG 5	x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i -- ((operation . #x4))
81	XOR	:REG 6	x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i -- ((operation . #x5))
81	CMP	:REG 7	x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i -- ((operation . #x8))
82	ADD	:MODE :I64 :REG 0	x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i -- ((operation . #x0))
82	OR	:MODE :I64 :REG 1	x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i -- ((operation . #x1))
82	ADC	:MODE :I64 :REG 2	x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i -- ((operation . #x2))
82	SBB	:MODE :I64 :REG 3	x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i -- ((operation . #x6))
82	AND	:MODE :I64 :REG 4	x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i -- ((operation . #x3))
82	SUB	:MODE :I64 :REG 5	x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i -- ((operation . #x4))
82	XOR	:MODE :I64 :REG 6	x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i -- ((operation . #x5))
82	CMP	:MODE :I64 :REG 7	x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i -- ((operation . #x8))
82	#UD	:MODE :O64	x86-illegal-instruction -- ((message . "Opcode 0x82 is illegal in the 64-bit mode!"))
83	ADD	:REG 0	x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i -- ((operation . #x0))
83	OR	:REG 1	x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i -- ((operation . #x1))
83	ADC	:REG 2	x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i -- ((operation . #x2))
83	SBB	:REG 3	x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i -- ((operation . #x6))
83	AND	:REG 4	x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i -- ((operation . #x3))
83	SUB	:REG 5	x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i -- ((operation . #x4))
83	XOR	:REG 6	x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i -- ((operation . #x5))
83	CMP	:REG 7	x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i -- ((operation . #x8))
84	TEST		x86-add/adc/sub/sbb/or/and/xor/cmp/test-e-g -- ((operation . #x7))
85	TEST		x86-add/adc/sub/sbb/or/and/xor/cmp/test-e-g -- ((operation . #x7))
86	XCHG		x86-xchg
87	XCHG		x86-xchg
88	MOV		x86-mov-op/en-mr
89	MOV		x86-mov-op/en-mr
8A	MOV		x86-mov-op/en-rm
8B	MOV		x86-mov-op/en-rm
8D	LEA		x86-lea
8F	POP	:REG 0	x86-pop-ev
90	XCHG		x86-xchg
91	XCHG		x86-xchg
92	XCHG		x86-xchg
93	XCHG		x86-xchg
94	XCHG		x86-xchg
95	XCHG		x86-xchg
96	XCHG		x86-xchg
97	XCHG		x86-xchg
98	CBW/CWDE/CDQE		x86-cbw/cwd/cdqe
99	CWD/CDQ/CQO		x86-cwd/cdq/cqo
9A	#UD	:MODE :O64	x86-illegal-instruction -- ((message . "far CALL is illegal in the 64-bit mode!"))
9C	PUSHF/D/Q		x86-pushf
9D	POPF/D/Q		x86-popf
9E	SAHF		x86-sahf
9F	LAHF		x86-lahf
A0	MOV		x86-mov-op/en-fd
A1	MOV		x86-mov-op/en-fd
A2	MOV		x86-mov-op/en-td
A3	MOV		x86-mov-op/en-td
A4	MOVS/B		x86-movs
A5	MOVS/W/D/Q		x86-movs
A6	CMPS/B		x86-cmps
A7	CMPS/W/D		x86-cmps
A8	TEST		x86-add/adc/sub/sbb/or/and/xor/cmp-test-rax-i -- ((operation . #x7))
A9	TEST		x86-add/adc/sub/sbb/or/and/xor/cmp-test-rax-i -- ((operation . #x7))
AA	STOS/B		x86-stos
AB	STOS/W/D/Q		x86-stos
B0	MOV		x86-mov-op/en-oi
B1	MOV		x86-mov-op/en-oi
B2	MOV		x86-mov-op/en-oi
B3	MOV		x86-mov-op/en-oi
B4	MOV		x86-mov-op/en-oi
B5	MOV		x86-mov-op/en-oi
B6	MOV		x86-mov-op/en-oi
B7	MOV		x86-mov-op/en-oi
B8	MOV		x86-mov-op/en-oi
B9	MOV		x86-mov-op/en-oi
BA	MOV		x86-mov-op/en-oi
BB	MOV		x86-mov-op/en-oi
BC	MOV		x86-mov-op/en-oi
BD	MOV		x86-mov-op/en-oi
BE	MOV		x86-mov-op/en-oi
BF	MOV		x86-mov-op/en-oi
C0	ROL	:REG 0	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
C0	ROR	:REG 1	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
C0	RCL	:REG 2	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
C0	RCR	:REG 3	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
C0	SHL/SAL	:REG 4	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
C0	SHR	:REG 5	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
C0	SAR	:REG 7	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
C1	ROL	:REG 0	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
C1	ROR	:REG 1	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
C1	RCL	:REG 2	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
C1	RCR	:REG 3	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
C1	SHL/SAL	:REG 4	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
C1	SHR	:REG 5	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
C1	SAR	:REG 7	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
C2	RET		x86-ret
C3	RET		x86-ret
C4	VEX3-BYTE0	:MODE :O64	NO INSTRUCTION
C5	VEX2-BYTE0	:MODE :O64	NO INSTRUCTION
C6	MOV	:REG 0	x86-mov-op/en-mi
C7	MOV	:REG 0	x86-mov-op/en-mi
C9	LEAVE		x86-leave
CE	#UD	:MODE :O64	x86-illegal-instruction -- ((message . "INTO is illegal in the 64-bit mode!"))
D0	ROL	:REG 0	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
D0	ROR	:REG 1	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
D0	RCL	:REG 2	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
D0	RCR	:REG 3	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
D0	SHL/SAL	:REG 4	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
D0	SHR	:REG 5	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
D0	SAR	:REG 7	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
D1	ROL	:REG 0	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
D1	ROR	:REG 1	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
D1	RCL	:REG 2	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
D1	RCR	:REG 3	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
D1	SHL/SAL	:REG 4	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
D1	SHR	:REG 5	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
D1	SAR	:REG 7	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
D2	ROL	:REG 0	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
D2	ROR	:REG 1	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
D2	RCL	:REG 2	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
D2	RCR	:REG 3	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
D2	SHL/SAL	:REG 4	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
D2	SHR	:REG 5	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
D2	SAR	:REG 7	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
D3	ROL	:REG 0	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
D3	ROR	:REG 1	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
D3	RCL	:REG 2	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
D3	RCR	:REG 3	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
D3	SHL/SAL	:REG 4	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
D3	SHR	:REG 5	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
D3	SAR	:REG 7	x86-sal/sar/shl/shr/rcl/rcr/rol/ror
D4	#UD	:MODE :O64	x86-illegal-instruction -- ((message . "AAM is illegal in the 64-bit mode!"))
D5	#UD	:MODE :O64	x86-illegal-instruction -- ((message . "AAD is illegal in the 64-bit mode!"))
E0	LOOPNE/LOOPNZ		x86-loop
E1	LOOPE/LOOPZ		x86-loop
E2	LOOP		x86-loop
E3	JrCXZ		x86-jrcxz
E8	CALL		x86-call-e8-op/en-m
E9	JMP		x86-near-jmp-op/en-d
EA	#UD	:MODE :O64	x86-illegal-instruction -- ((message . "JMP is illegal in the 64-bit mode!"))
EB	JMP		x86-near-jmp-op/en-d
F0	PREFIX-LOCK		NO INSTRUCTION
F2	PREFIX-REPNE		NO INSTRUCTION
F3	PREFIX-REP/REPE		NO INSTRUCTION
F4	HLT		x86-hlt
F5	CMC		x86-cmc/clc/stc/cld/std
F6	TEST	:REG 0	x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i -- ((operation . #x7))
F6	NOT	:REG 2	x86-not/neg-f6-f7
F6	NEG	:REG 3	x86-not/neg-f6-f7
F6	MUL	:REG 4	x86-mul
F6	IMUL	:REG 5	x86-imul-op/en-m
F6	DIV	:REG 6	x86-div
F6	IDIV	:REG 7	x86-idiv
F7	TEST	:REG 0	x86-add/adc/sub/sbb/or/and/xor/cmp-test-e-i -- ((operation . #x7))
F7	NOT	:REG 2	x86-not/neg-f6-f7
F7	NEG	:REG 3	x86-not/neg-f6-f7
F7	MUL	:REG 4	x86-mul
F7	IMUL	:REG 5	x86-imul-op/en-m
F7	DIV	:REG 6	x86-div
F7	IDIV	:REG 7	x86-idiv
F8	CLC		x86-cmc/clc/stc/cld/std
F9	STC		x86-cmc/clc/stc/cld/std
FC	CLD		x86-cmc/clc/stc/cld/std
FD	STD		x86-cmc/clc/stc/cld/std
FE	INC	:REG 0	x86-inc/dec-fe-ff
FE	DEC	:REG 1	x86-inc/dec-fe-ff
FF	INC	:REG 0	x86-inc/dec-fe-ff
FF	DEC	:REG 1	x86-inc/dec-fe-ff
FF	near CALL	:REG 2	x86-call-ff/2-op/en-m
FF	near JMP	:REG 4	x86-near-jmp-op/en-m
FF	far JMP	:REG 5 :MOD :MEM	x86-far-jmp-op/en-d
FF	PUSH	:REG 6	x86-push-ev