2021-01-15 23:16:01 +00:00
|
|
|
//
|
|
|
|
// Instruction.hpp
|
|
|
|
// Clock Signal
|
|
|
|
//
|
2021-01-17 03:09:19 +00:00
|
|
|
// Created by Thomas Harte on 15/01/21.
|
2021-01-15 23:16:01 +00:00
|
|
|
// Copyright © 2021 Thomas Harte. All rights reserved.
|
|
|
|
//
|
|
|
|
|
|
|
|
#ifndef InstructionSets_x86_Instruction_h
|
|
|
|
#define InstructionSets_x86_Instruction_h
|
|
|
|
|
2023-10-05 02:15:13 +00:00
|
|
|
#include "Model.hpp"
|
|
|
|
|
2022-02-21 21:33:58 +00:00
|
|
|
#include <cstddef>
|
2021-01-15 23:16:01 +00:00
|
|
|
#include <cstdint>
|
2023-09-17 21:05:19 +00:00
|
|
|
#include <string>
|
2022-02-21 20:33:08 +00:00
|
|
|
#include <type_traits>
|
2021-01-15 23:16:01 +00:00
|
|
|
|
2023-05-10 21:02:18 +00:00
|
|
|
namespace InstructionSet::x86 {
|
2021-01-15 23:16:01 +00:00
|
|
|
|
2021-01-15 23:27:55 +00:00
|
|
|
/*
|
|
|
|
Operations are documented below to establish expectations as to which
|
|
|
|
instruction fields will be meaningful for each; this is a work-in-progress
|
|
|
|
and may currently contain errors in the opcode descriptions — especially
|
|
|
|
where implicit register dependencies are afoot.
|
|
|
|
*/
|
2021-01-15 23:16:01 +00:00
|
|
|
enum class Operation: uint8_t {
|
|
|
|
Invalid,
|
|
|
|
|
2022-01-31 14:11:06 +00:00
|
|
|
//
|
|
|
|
// 8086 instructions.
|
|
|
|
//
|
|
|
|
|
2021-01-15 23:16:01 +00:00
|
|
|
/// ASCII adjust after addition; source will be AL and destination will be AX.
|
|
|
|
AAA,
|
|
|
|
/// ASCII adjust before division; destination will be AX and source will be a multiplier.
|
|
|
|
AAD,
|
|
|
|
/// ASCII adjust after multiplication; destination will be AX and source will be a divider.
|
|
|
|
AAM,
|
|
|
|
/// ASCII adjust after subtraction; source will be AL and destination will be AX.
|
|
|
|
AAS,
|
2021-01-16 02:07:02 +00:00
|
|
|
/// Decimal adjust after addition; source and destination will be AL.
|
|
|
|
DAA,
|
|
|
|
/// Decimal adjust after subtraction; source and destination will be AL.
|
|
|
|
DAS,
|
2021-01-16 01:48:31 +00:00
|
|
|
|
2022-03-12 17:24:44 +00:00
|
|
|
/// If data size is word, convert byte into word; source will be AL, destination will be AH.
|
|
|
|
/// If data size is DWord, convert word to dword; AX will be expanded to fill EAX.
|
|
|
|
/// In both cases, conversion will be by sign extension.
|
2021-01-15 23:16:01 +00:00
|
|
|
CBW,
|
2022-03-12 17:24:44 +00:00
|
|
|
/// If data size is Word, converts word to double word; source will be AX and destination will be DX.
|
|
|
|
/// If data size is DWord, converts double word to quad word (i.e. CDW); source will be EAX and destination will be EDX:EAX.
|
|
|
|
/// In both cases, conversion will be by sign extension.
|
2021-01-15 23:16:01 +00:00
|
|
|
CWD,
|
2021-01-16 02:07:02 +00:00
|
|
|
|
2021-01-15 23:27:55 +00:00
|
|
|
/// Escape, for a coprocessor; perform the bus cycles necessary to read the source and destination and perform a NOP.
|
|
|
|
ESC,
|
2021-01-16 01:48:31 +00:00
|
|
|
|
2021-01-15 23:52:59 +00:00
|
|
|
/// Stops the processor until the next interrupt is fired.
|
2021-01-15 23:27:55 +00:00
|
|
|
HLT,
|
2021-01-16 01:48:31 +00:00
|
|
|
/// Waits until the WAIT input is asserted; if an interrupt occurs then it is serviced but returns to the WAIT.
|
|
|
|
WAIT,
|
|
|
|
|
|
|
|
/// Add with carry; source, destination, operand and displacement will be populated appropriately.
|
|
|
|
ADC,
|
|
|
|
/// Add; source, destination, operand and displacement will be populated appropriately.
|
|
|
|
ADD,
|
|
|
|
/// Subtract with borrow; source, destination, operand and displacement will be populated appropriately.
|
|
|
|
SBB,
|
|
|
|
/// Subtract; source, destination, operand and displacement will be populated appropriately.
|
|
|
|
SUB,
|
2023-10-10 01:50:17 +00:00
|
|
|
/// Unsigned multiply; multiplies the source value by EAX, AX or AL, storing the result in EDX:EAX, DX:AX or AX.
|
2021-01-15 23:52:59 +00:00
|
|
|
MUL,
|
2023-10-10 02:12:15 +00:00
|
|
|
/// Single operand signed multiply; multiplies the source value by EAX, AX or AL, storing the result in EDX:EAX, DX:AX or AX.
|
2022-03-07 14:05:22 +00:00
|
|
|
IMUL_1,
|
2023-10-10 14:34:18 +00:00
|
|
|
/// Unsigned divide; divide the AX, DX:AX or EDX:AX by the source(), storing the quotient in AL, AX or EAX and the remainder in AH, DX or EDX.
|
2021-01-16 01:48:31 +00:00
|
|
|
DIV,
|
|
|
|
/// Signed divide; divide the source value by AX or AL, storing the quotient in AL and the remainder in AH.
|
|
|
|
IDIV,
|
|
|
|
|
2021-01-16 02:07:02 +00:00
|
|
|
/// Increment; source, destination, operand and displacement will be populated appropriately.
|
|
|
|
INC,
|
|
|
|
/// Decrement; source, destination, operand and displacement will be populated appropriately.
|
|
|
|
DEC,
|
2021-01-16 01:48:31 +00:00
|
|
|
|
2021-01-15 23:52:59 +00:00
|
|
|
/// Reads from the port specified by source to the destination.
|
2021-01-15 23:27:55 +00:00
|
|
|
IN,
|
2023-09-29 13:39:51 +00:00
|
|
|
/// Writes to the port specified by destination from the source.
|
2021-01-15 23:52:59 +00:00
|
|
|
OUT,
|
2021-01-16 01:48:31 +00:00
|
|
|
|
2021-01-15 23:27:55 +00:00
|
|
|
// Various jumps; see the displacement to calculate targets.
|
2023-09-19 17:38:08 +00:00
|
|
|
JO, JNO, JB, JNB, JZ, JNZ, JBE, JNBE,
|
2021-01-15 23:16:01 +00:00
|
|
|
JS, JNS, JP, JNP, JL, JNL, JLE, JNLE,
|
2021-01-15 23:27:55 +00:00
|
|
|
|
2021-01-16 01:48:31 +00:00
|
|
|
/// Near call.
|
2022-03-09 21:48:06 +00:00
|
|
|
CALLabs,
|
2023-09-18 20:25:04 +00:00
|
|
|
/// Relative call; see displacement().
|
|
|
|
CALLrel,
|
2023-09-29 18:57:08 +00:00
|
|
|
/// Far call; if destination is Source::Immediate then see the segment() and offset() fields; otherwise take segment and offset by indirection.
|
2023-09-18 20:25:04 +00:00
|
|
|
CALLfar,
|
2021-01-16 01:48:31 +00:00
|
|
|
/// Return from interrupt.
|
|
|
|
IRET,
|
|
|
|
/// Near return; if source is not ::None then it will be an ::Immediate indicating how many additional bytes to remove from the stack.
|
2022-03-09 21:48:06 +00:00
|
|
|
RETfar,
|
2021-01-16 01:48:31 +00:00
|
|
|
/// Far return; if source is not ::None then it will be an ::Immediate indicating how many additional bytes to remove from the stack.
|
2022-03-09 21:48:06 +00:00
|
|
|
RETnear,
|
|
|
|
/// Near jump with an absolute destination.
|
|
|
|
JMPabs,
|
|
|
|
/// Near jump with a relative destination.
|
|
|
|
JMPrel,
|
2023-09-29 18:57:08 +00:00
|
|
|
/// Far jump; if destination is Source::Immediate then see the segment() and offset() fields; otherwise take segment and offset by indirection.
|
2022-03-09 21:48:06 +00:00
|
|
|
JMPfar,
|
2021-01-15 23:52:59 +00:00
|
|
|
/// Relative jump performed only if CX = 0; see the displacement.
|
2023-09-19 17:56:48 +00:00
|
|
|
JCXZ,
|
2021-01-16 01:48:31 +00:00
|
|
|
/// Generates a software interrupt of the level stated in the operand.
|
|
|
|
INT,
|
|
|
|
/// Generates a software interrupt of level 4 if overflow is set.
|
|
|
|
INTO,
|
|
|
|
|
2021-01-15 23:52:59 +00:00
|
|
|
/// Load status flags to AH.
|
|
|
|
LAHF,
|
|
|
|
/// Load status flags from AH.
|
|
|
|
SAHF,
|
|
|
|
/// Load a segment and offset from the source into DS and the destination.
|
|
|
|
LDS,
|
2021-01-16 01:48:31 +00:00
|
|
|
/// Load a segment and offset from the source into ES and the destination.
|
|
|
|
LES,
|
2021-01-15 23:52:59 +00:00
|
|
|
/// Computes the effective address of the source and loads it into the destination.
|
|
|
|
LEA,
|
2021-01-16 01:48:31 +00:00
|
|
|
|
2021-01-16 02:07:02 +00:00
|
|
|
/// Compare [bytes or words, per operation size]; source and destination implied to be DS:[SI] and ES:[DI].
|
|
|
|
CMPS,
|
2021-01-15 23:52:59 +00:00
|
|
|
/// Load string; reads from DS:SI into AL or AX, subject to segment override.
|
|
|
|
LODS,
|
|
|
|
/// Move string; moves a byte or word from DS:SI to ES:DI. If a segment override is provided, it overrides the the source.
|
|
|
|
MOVS,
|
2021-01-16 01:48:31 +00:00
|
|
|
/// Scan string; reads a byte or word from DS:SI and compares it to AL or AX.
|
|
|
|
SCAS,
|
|
|
|
/// Store string; store AL or AX to ES:DI.
|
|
|
|
STOS,
|
2021-01-15 23:52:59 +00:00
|
|
|
|
|
|
|
// Perform a possibly-conditional loop, decrementing CX. See the displacement.
|
|
|
|
LOOP, LOOPE, LOOPNE,
|
|
|
|
|
|
|
|
/// Loads the destination with the source.
|
|
|
|
MOV,
|
2023-10-11 02:09:10 +00:00
|
|
|
/// Negatives; source indicates what to negative.
|
2021-01-15 23:52:59 +00:00
|
|
|
NEG,
|
2023-10-11 02:09:10 +00:00
|
|
|
/// Logical NOT; source indicates what to negative.
|
2021-01-15 23:52:59 +00:00
|
|
|
NOT,
|
|
|
|
/// Logical AND; source, destination, operand and displacement will be populated appropriately.
|
|
|
|
AND,
|
|
|
|
/// Logical OR of source onto destination.
|
|
|
|
OR,
|
|
|
|
/// Logical XOR of source onto destination.
|
|
|
|
XOR,
|
|
|
|
/// NOP; no further fields.
|
|
|
|
NOP,
|
2023-09-26 19:16:41 +00:00
|
|
|
/// POP from the stack to source.
|
2021-01-16 01:48:31 +00:00
|
|
|
POP,
|
|
|
|
/// POP from the stack to the flags register.
|
|
|
|
POPF,
|
|
|
|
/// PUSH the source to the stack.
|
|
|
|
PUSH,
|
|
|
|
/// PUSH the flags register to the stack.
|
|
|
|
PUSHF,
|
2023-09-27 20:40:34 +00:00
|
|
|
|
2022-02-20 22:52:19 +00:00
|
|
|
/// Rotate the destination left through carry the number of bits indicated by source; if the source is a register then implicitly its size is 1.
|
2023-09-27 20:40:34 +00:00
|
|
|
/// If it is ::None then the rotation is by a single position only.
|
2021-01-16 01:48:31 +00:00
|
|
|
RCL,
|
2022-02-20 22:52:19 +00:00
|
|
|
/// Rotate the destination right through carry the number of bits indicated by source; if the source is a register then implicitly its size is 1.
|
2023-09-27 20:40:34 +00:00
|
|
|
/// If it is ::None then the rotation is by a single position only.
|
2021-01-16 01:48:31 +00:00
|
|
|
RCR,
|
2022-02-20 22:52:19 +00:00
|
|
|
/// Rotate the destination left the number of bits indicated by source; if the source is a register then implicitly its size is 1.
|
2023-09-27 20:40:34 +00:00
|
|
|
/// If it is ::None then the rotation is by a single position only.
|
2021-01-16 01:48:31 +00:00
|
|
|
ROL,
|
2022-02-20 22:52:19 +00:00
|
|
|
/// Rotate the destination right the number of bits indicated by source; if the source is a register then implicitly its size is 1.
|
2023-09-27 20:40:34 +00:00
|
|
|
/// If it is ::None then the rotation is by a single position only.
|
2021-01-16 01:48:31 +00:00
|
|
|
ROR,
|
2022-02-20 22:52:19 +00:00
|
|
|
/// Arithmetic shift left the destination by the number of bits indicated by source; if the source is a register then implicitly its size is 1.
|
2023-09-27 20:40:34 +00:00
|
|
|
/// If it is ::None then the shift is by a single position only.
|
2021-01-16 01:48:31 +00:00
|
|
|
SAL,
|
2022-02-20 22:52:19 +00:00
|
|
|
/// Arithmetic shift right the destination by the number of bits indicated by source; if the source is a register then implicitly its size is 1.
|
2023-09-27 20:40:34 +00:00
|
|
|
/// If it is ::None then the shift is by a single position only.
|
2021-01-16 01:48:31 +00:00
|
|
|
SAR,
|
2022-02-20 22:52:19 +00:00
|
|
|
/// Logical shift right the destination by the number of bits indicated by source; if the source is a register then implicitly its size is 1.
|
2023-09-27 20:40:34 +00:00
|
|
|
/// If it is ::None then the shift is by a single position only.
|
2021-01-16 01:48:31 +00:00
|
|
|
SHR,
|
2021-01-15 23:52:59 +00:00
|
|
|
|
2021-01-16 01:48:31 +00:00
|
|
|
/// Clear carry flag; no source or destination provided.
|
|
|
|
CLC,
|
|
|
|
/// Clear direction flag; no source or destination provided.
|
|
|
|
CLD,
|
|
|
|
/// Clear interrupt flag; no source or destination provided.
|
|
|
|
CLI,
|
|
|
|
/// Set carry flag.
|
|
|
|
STC,
|
2023-10-10 02:16:37 +00:00
|
|
|
/// Set direction flag.
|
2021-01-16 01:48:31 +00:00
|
|
|
STD,
|
|
|
|
/// Set interrupt flag.
|
|
|
|
STI,
|
2021-01-16 02:07:02 +00:00
|
|
|
/// Complement carry flag; no source or destination provided.
|
|
|
|
CMC,
|
2021-01-15 23:16:01 +00:00
|
|
|
|
2021-01-16 02:07:02 +00:00
|
|
|
/// Compare; source, destination, operand and displacement will be populated appropriately.
|
|
|
|
CMP,
|
|
|
|
/// Sets flags based on the result of a logical AND of source and destination.
|
2021-01-16 01:48:31 +00:00
|
|
|
TEST,
|
|
|
|
|
|
|
|
/// Exchanges the contents of the source and destination.
|
|
|
|
XCHG,
|
|
|
|
|
|
|
|
/// Load AL with DS:[AL+BX].
|
|
|
|
XLAT,
|
2022-01-31 14:11:06 +00:00
|
|
|
|
2023-09-30 02:06:42 +00:00
|
|
|
/// Set AL to FFh if carry is set; 00h otherwise.
|
|
|
|
SALC,
|
|
|
|
|
2023-09-30 02:28:23 +00:00
|
|
|
//
|
|
|
|
// 8086 exclusives.
|
|
|
|
//
|
|
|
|
|
|
|
|
/// Set destination to ~0 if CL is non-zero.
|
|
|
|
SETMOC,
|
|
|
|
/// Set destination to ~0.
|
|
|
|
SETMO,
|
|
|
|
|
2022-01-31 14:11:06 +00:00
|
|
|
//
|
2022-02-02 01:38:10 +00:00
|
|
|
// 80186 additions.
|
2022-01-31 14:11:06 +00:00
|
|
|
//
|
|
|
|
|
2022-03-10 01:19:40 +00:00
|
|
|
/// Checks whether the signed value in the destination register is within the bounds
|
|
|
|
/// stored at the location indicated by the source register, which will point to two
|
|
|
|
/// 16- or 32-bit words, the first being a signed lower bound and the signed upper.
|
|
|
|
/// Raises a bounds exception if not.
|
2023-09-30 02:28:23 +00:00
|
|
|
BOUND = SETMOC,
|
2022-01-31 14:11:06 +00:00
|
|
|
|
2022-03-10 01:19:40 +00:00
|
|
|
|
2022-03-12 01:34:28 +00:00
|
|
|
/// Create stack frame. See operand() for the nesting level and offset()
|
|
|
|
/// for the dynamic storage size.
|
2022-01-31 14:11:06 +00:00
|
|
|
ENTER,
|
2022-02-09 22:51:48 +00:00
|
|
|
/// Procedure exit; copies BP to SP, then pops a new BP from the stack.
|
2022-01-31 14:11:06 +00:00
|
|
|
LEAVE,
|
|
|
|
|
2022-03-12 16:37:21 +00:00
|
|
|
/// Inputs a byte, word or double word from the port specified by DX, writing it to
|
|
|
|
/// ES:[e]DI and incrementing or decrementing [e]DI as per the
|
|
|
|
/// current EFLAGS DF flag.
|
2022-02-09 22:51:48 +00:00
|
|
|
INS,
|
2023-05-16 20:40:09 +00:00
|
|
|
/// Outputs a byte, word or double word from ES:[e]DI to the port specified by DX,
|
2023-06-21 15:57:09 +00:00
|
|
|
/// incrementing or decrementing [e]DI as per the current EFLAGS DF flag.
|
2022-02-09 22:51:48 +00:00
|
|
|
OUTS,
|
2022-02-02 01:38:10 +00:00
|
|
|
|
2022-02-09 22:51:48 +00:00
|
|
|
/// Pushes all general purpose registers to the stack, in the order:
|
|
|
|
/// AX, CX, DX, BX, [original] SP, BP, SI, DI.
|
2022-02-02 01:38:10 +00:00
|
|
|
PUSHA,
|
2022-02-09 22:51:48 +00:00
|
|
|
/// Pops all general purpose registers from the stack, in the reverse of
|
|
|
|
/// the PUSHA order, i.e. DI, SI, BP, [final] SP, BX, DX, CX, AX.
|
2022-02-02 01:38:10 +00:00
|
|
|
POPA,
|
|
|
|
|
|
|
|
//
|
|
|
|
// 80286 additions.
|
|
|
|
//
|
|
|
|
|
2022-03-12 16:37:21 +00:00
|
|
|
// TODO: expand detail on all operations below.
|
|
|
|
|
2022-01-31 14:11:06 +00:00
|
|
|
/// Adjusts requested privilege level.
|
|
|
|
ARPL,
|
|
|
|
/// Clears the task-switched flag.
|
|
|
|
CLTS,
|
|
|
|
/// Loads access rights.
|
|
|
|
LAR,
|
|
|
|
|
|
|
|
/// Loads the global descriptor table.
|
|
|
|
LGDT,
|
|
|
|
/// Loads the interrupt descriptor table.
|
|
|
|
LIDT,
|
|
|
|
/// Loads the local descriptor table.
|
|
|
|
LLDT,
|
|
|
|
/// Stores the global descriptor table.
|
|
|
|
SGDT,
|
|
|
|
/// Stores the interrupt descriptor table.
|
|
|
|
SIDT,
|
|
|
|
/// Stores the local descriptor table.
|
|
|
|
SLDT,
|
|
|
|
|
|
|
|
/// Verifies a segment for reading.
|
|
|
|
VERR,
|
|
|
|
/// Verifies a segment for writing.
|
|
|
|
VERW,
|
|
|
|
|
|
|
|
/// Loads the machine status word.
|
|
|
|
LMSW,
|
|
|
|
/// Stores the machine status word.
|
|
|
|
SMSW,
|
|
|
|
/// Loads a segment limit
|
|
|
|
LSL,
|
|
|
|
/// Loads the task register.
|
|
|
|
LTR,
|
|
|
|
/// Stores the task register.
|
|
|
|
STR,
|
|
|
|
|
2022-03-07 14:05:22 +00:00
|
|
|
/// Three-operand form of IMUL; multiply the immediate by the source and write to the destination.
|
|
|
|
IMUL_3,
|
|
|
|
|
2022-02-02 01:38:10 +00:00
|
|
|
/// Undocumented (but used); loads all registers, including internal ones.
|
|
|
|
LOADALL,
|
|
|
|
|
2022-01-31 14:11:06 +00:00
|
|
|
//
|
|
|
|
// 80386 additions.
|
|
|
|
//
|
|
|
|
|
|
|
|
/// Loads a pointer to FS.
|
|
|
|
LFS,
|
|
|
|
/// Loads a pointer to GS.
|
|
|
|
LGS,
|
|
|
|
/// Loads a pointer to SS.
|
|
|
|
LSS,
|
|
|
|
|
|
|
|
/// Shift left double.
|
2022-03-07 22:04:05 +00:00
|
|
|
SHLDimm,
|
|
|
|
SHLDCL,
|
2022-01-31 14:11:06 +00:00
|
|
|
/// Shift right double.
|
2022-03-07 22:04:05 +00:00
|
|
|
SHRDimm,
|
|
|
|
SHRDCL,
|
2022-01-31 14:11:06 +00:00
|
|
|
|
|
|
|
/// Bit scan forwards.
|
|
|
|
BSF,
|
|
|
|
/// Bit scan reverse.
|
|
|
|
BSR,
|
|
|
|
/// Bit test.
|
|
|
|
BT,
|
|
|
|
/// Bit test and complement.
|
|
|
|
BTC,
|
|
|
|
/// Bit test and reset.
|
|
|
|
BTR,
|
|
|
|
/// Bit test and set.
|
|
|
|
BTS,
|
|
|
|
|
2022-03-12 01:30:56 +00:00
|
|
|
/// Move from the source to the destination, extending the source with zeros.
|
|
|
|
/// The instruction data size dictates the size of the source; the destination will
|
|
|
|
/// be either 16- or 32-bit depending on the current processor operating mode.
|
2022-02-24 10:16:15 +00:00
|
|
|
MOVZX,
|
2022-03-12 01:30:56 +00:00
|
|
|
/// Move from the source to the destination, applying a sign extension.
|
|
|
|
/// The instruction data size dictates the size of the source; the destination will
|
|
|
|
/// be either 16- or 32-bit depending on the current processor operating mode.
|
2022-02-24 10:16:15 +00:00
|
|
|
MOVSX,
|
|
|
|
|
2022-03-07 14:05:22 +00:00
|
|
|
/// Two-operand form of IMUL; multiply the source by the destination and write to the destination.
|
|
|
|
IMUL_2,
|
|
|
|
|
2022-03-10 01:19:40 +00:00
|
|
|
// Various conditional sets; each sets the byte at the location given by the operand
|
|
|
|
// to $ff if the condition is met; $00 otherwise.
|
2022-03-07 15:32:34 +00:00
|
|
|
SETO, SETNO, SETB, SETNB, SETZ, SETNZ, SETBE, SETNBE,
|
|
|
|
SETS, SETNS, SETP, SETNP, SETL, SETNL, SETLE, SETNLE,
|
2022-03-07 22:04:05 +00:00
|
|
|
|
2022-03-10 01:19:40 +00:00
|
|
|
// Various special-case moves (i.e. those where it is impractical to extend the
|
|
|
|
// Source enum, so the requirement for special handling is loaded into the operation).
|
|
|
|
// In all cases the Cx, Dx and Tx Source aliases can be used to reinterpret the relevant
|
|
|
|
// source or destination.
|
2022-03-07 22:04:05 +00:00
|
|
|
MOVtoCr, MOVfromCr,
|
|
|
|
MOVtoDr, MOVfromDr,
|
|
|
|
MOVtoTr, MOVfromTr,
|
2021-01-15 23:16:01 +00:00
|
|
|
};
|
|
|
|
|
2023-09-18 19:57:26 +00:00
|
|
|
|
2022-03-01 22:29:26 +00:00
|
|
|
enum class DataSize: uint8_t {
|
2022-03-05 18:52:07 +00:00
|
|
|
Byte = 0,
|
|
|
|
Word = 1,
|
|
|
|
DWord = 2,
|
|
|
|
None = 3,
|
2022-03-01 22:29:26 +00:00
|
|
|
};
|
|
|
|
|
2023-10-05 20:49:02 +00:00
|
|
|
template <DataSize size> struct DataSizeType { using type = uint8_t; };
|
|
|
|
template <> struct DataSizeType<DataSize::Word> { using type = uint16_t; };
|
|
|
|
template <> struct DataSizeType<DataSize::DWord> { using type = uint32_t; };
|
|
|
|
|
2022-03-05 18:52:07 +00:00
|
|
|
constexpr int byte_size(DataSize size) {
|
|
|
|
return (1 << int(size)) & 7;
|
|
|
|
}
|
|
|
|
|
|
|
|
constexpr int bit_size(DataSize size) {
|
|
|
|
return (8 << int(size)) & 0x3f;
|
|
|
|
}
|
|
|
|
|
2022-03-01 22:29:26 +00:00
|
|
|
enum class AddressSize: uint8_t {
|
|
|
|
b16 = 0,
|
|
|
|
b32 = 1,
|
2021-01-15 23:16:01 +00:00
|
|
|
};
|
|
|
|
|
2023-10-25 20:00:01 +00:00
|
|
|
template <AddressSize size> struct AddressSizeType { using type = uint16_t; };
|
|
|
|
template <> struct AddressSizeType<AddressSize::b32> { using type = uint32_t; };
|
|
|
|
|
2022-03-09 13:38:34 +00:00
|
|
|
constexpr DataSize data_size(AddressSize size) {
|
|
|
|
return DataSize(int(size) + 1);
|
|
|
|
}
|
|
|
|
|
2022-03-05 18:52:07 +00:00
|
|
|
constexpr int byte_size(AddressSize size) {
|
|
|
|
return 2 << int(size);
|
|
|
|
}
|
|
|
|
|
|
|
|
constexpr int bit_size(AddressSize size) {
|
|
|
|
return 16 << int(size);
|
|
|
|
}
|
|
|
|
|
2021-01-15 23:16:01 +00:00
|
|
|
enum class Source: uint8_t {
|
2022-02-17 16:32:09 +00:00
|
|
|
// These are in SIB order; this matters for packing later on.
|
|
|
|
|
2022-02-24 10:16:15 +00:00
|
|
|
/// AL, AX or EAX depending on size.
|
|
|
|
eAX,
|
|
|
|
/// CL, CX or ECX depending on size.
|
|
|
|
eCX,
|
|
|
|
/// DL, DX or EDX depending on size.
|
|
|
|
eDX,
|
|
|
|
/// BL, BX or BDX depending on size.
|
|
|
|
eBX,
|
|
|
|
/// AH if size is 1; SP or ESP otherwise.
|
|
|
|
eSPorAH,
|
|
|
|
/// CH if size is 1; BP or EBP otherwise.
|
|
|
|
eBPorCH,
|
|
|
|
/// DH if size is 1; SI or ESI otherwise.
|
|
|
|
eSIorDH,
|
|
|
|
/// BH if size is 1; DI or EDI otherwise.
|
|
|
|
eDIorBH,
|
|
|
|
|
|
|
|
// Aliases for the dual-purpose enums.
|
|
|
|
eSP = eSPorAH, AH = eSPorAH,
|
|
|
|
eBP = eBPorCH, CH = eBPorCH,
|
|
|
|
eSI = eSIorDH, DH = eSIorDH,
|
|
|
|
eDI = eDIorBH, BH = eDIorBH,
|
2021-01-15 23:16:01 +00:00
|
|
|
|
2022-03-10 01:19:40 +00:00
|
|
|
// Aliases for control, test and debug registers.
|
|
|
|
C0 = 0, C1 = 1, C2 = 2, C3 = 3, C4 = 4, C5 = 5, C6 = 6, C7 = 7,
|
|
|
|
T0 = 0, T1 = 1, T2 = 2, T3 = 3, T4 = 4, T5 = 5, T6 = 6, T7 = 7,
|
|
|
|
D0 = 0, D1 = 1, D2 = 2, D3 = 3, D4 = 4, D5 = 5, D6 = 6, D7 = 7,
|
|
|
|
|
2022-02-24 10:16:15 +00:00
|
|
|
// Selectors.
|
|
|
|
ES, CS, SS, DS, FS, GS,
|
2022-02-20 22:52:19 +00:00
|
|
|
|
2022-02-27 16:25:02 +00:00
|
|
|
/// @c None can be treated as a source that produces 0 when encountered;
|
|
|
|
/// it is semantically valid to receive it with that meaning in some contexts —
|
|
|
|
/// e.g. to indicate no index in indirect addressing.
|
|
|
|
/// It's listed here in order to allow an [optional] segment override to fit into three bits.
|
|
|
|
None,
|
|
|
|
|
2022-02-20 22:52:19 +00:00
|
|
|
/// The address included within this instruction should be used as the source.
|
2022-02-17 16:32:09 +00:00
|
|
|
DirectAddress,
|
2022-02-21 16:45:46 +00:00
|
|
|
|
2022-02-20 22:52:19 +00:00
|
|
|
/// The immediate value included within this instruction should be used as the source.
|
2022-02-17 16:32:09 +00:00
|
|
|
Immediate,
|
2021-01-15 23:16:01 +00:00
|
|
|
|
2022-02-21 16:45:46 +00:00
|
|
|
/// The ScaleIndexBase associated with this source should be used.
|
|
|
|
Indirect = 0b11000,
|
|
|
|
// Elsewhere, as an implementation detail, the low three bits of an indirect source
|
2022-02-23 13:28:20 +00:00
|
|
|
// are reused; (Indirect-1) is also used as a sentinel value but is not a valid member
|
|
|
|
// of the enum and isn't exposed externally.
|
2022-03-10 01:19:40 +00:00
|
|
|
|
|
|
|
/// The ScaleIndexBase associated with this source should be used, but
|
|
|
|
/// its base should be ignored (and is guaranteed to be zero if the default
|
|
|
|
/// getter is used).
|
|
|
|
IndirectNoBase = Indirect - 1,
|
2021-01-15 23:16:01 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
enum class Repetition: uint8_t {
|
|
|
|
None, RepE, RepNE
|
|
|
|
};
|
|
|
|
|
2023-10-05 02:15:13 +00:00
|
|
|
/// @returns @c true if @c operation supports repetition mode @c repetition; @c false otherwise.
|
2023-10-23 20:37:27 +00:00
|
|
|
constexpr bool supports(Operation operation, [[maybe_unused]] Repetition repetition) {
|
2023-09-26 21:29:20 +00:00
|
|
|
switch(operation) {
|
|
|
|
default: return false;
|
|
|
|
|
2023-09-28 19:41:57 +00:00
|
|
|
case Operation::Invalid: // Retain context here; it's used as an intermediate
|
|
|
|
// state sometimes.
|
2023-10-23 20:37:27 +00:00
|
|
|
case Operation::INS:
|
|
|
|
case Operation::OUTS:
|
2023-09-26 21:29:20 +00:00
|
|
|
case Operation::CMPS:
|
2023-09-26 21:30:27 +00:00
|
|
|
case Operation::LODS:
|
|
|
|
case Operation::MOVS:
|
2023-09-26 21:29:20 +00:00
|
|
|
case Operation::SCAS:
|
2023-09-26 21:30:27 +00:00
|
|
|
case Operation::STOS:
|
2023-09-26 21:29:20 +00:00
|
|
|
return true;
|
|
|
|
|
2023-10-10 16:43:41 +00:00
|
|
|
// TODO: my new understanding is that the 8086 and 8088 recognise rep and repne on
|
|
|
|
// IDIV — and possibly DIV — as a quirk, affecting the outcome (possibly negativing the result?).
|
|
|
|
// So the test below should be a function of model, if I come to a conclusion about whether I'm
|
|
|
|
// going for fidelity to the instruction set as generally implemented, or to Intel's specific implementation.
|
2023-10-23 20:37:27 +00:00
|
|
|
// case Operation::IDIV:
|
|
|
|
// return repetition == Repetition::RepNE;
|
2023-09-26 21:29:20 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2022-02-17 16:32:09 +00:00
|
|
|
/// Provides a 32-bit-style scale, index and base; to produce the address this represents,
|
|
|
|
/// calcluate base() + (index() << scale()).
|
|
|
|
///
|
|
|
|
/// This form of indirect addressing is used to describe both 16- and 32-bit indirect addresses,
|
|
|
|
/// even though it is a superset of that supported prior to the 80386.
|
2022-02-23 13:28:20 +00:00
|
|
|
///
|
|
|
|
/// This class can represent only exactly what a SIB byte can — a scale of 0 to 3, a base
|
|
|
|
/// that is any one of the eight general purpose registers, and an index that is one of the seven
|
|
|
|
/// general purpose registers excluding eSP or is ::None.
|
|
|
|
///
|
|
|
|
/// It cannot natively describe a base of ::None.
|
2022-02-17 16:32:09 +00:00
|
|
|
class ScaleIndexBase {
|
|
|
|
public:
|
2022-02-21 00:22:28 +00:00
|
|
|
constexpr ScaleIndexBase() noexcept {}
|
|
|
|
constexpr ScaleIndexBase(uint8_t sib) noexcept : sib_(sib) {}
|
2022-03-10 01:19:40 +00:00
|
|
|
constexpr ScaleIndexBase(int scale, Source index, Source base) noexcept :
|
|
|
|
sib_(uint8_t(
|
|
|
|
scale << 6 |
|
2023-09-22 21:27:27 +00:00
|
|
|
(int(index != Source::None ? index : Source::eSP) << 3) |
|
2022-03-10 01:19:40 +00:00
|
|
|
int(base)
|
|
|
|
)) {}
|
2022-02-21 16:45:46 +00:00
|
|
|
constexpr ScaleIndexBase(Source index, Source base) noexcept : ScaleIndexBase(0, index, base) {}
|
|
|
|
constexpr explicit ScaleIndexBase(Source base) noexcept : ScaleIndexBase(0, Source::None, base) {}
|
2022-02-17 16:32:09 +00:00
|
|
|
|
|
|
|
/// @returns the power of two by which to multiply @c index() before adding it to @c base().
|
2022-02-21 00:22:28 +00:00
|
|
|
constexpr int scale() const {
|
2022-02-17 16:32:09 +00:00
|
|
|
return sib_ >> 6;
|
|
|
|
}
|
|
|
|
|
|
|
|
/// @returns the @c index for this address; this is guaranteed to be one of eAX, eBX, eCX, eDX, None, eBP, eSI or eDI.
|
2022-02-21 00:22:28 +00:00
|
|
|
constexpr Source index() const {
|
2022-02-17 16:32:09 +00:00
|
|
|
constexpr Source sources[] = {
|
|
|
|
Source::eAX, Source::eCX, Source::eDX, Source::eBX, Source::None, Source::eBP, Source::eSI, Source::eDI,
|
|
|
|
};
|
|
|
|
static_assert(sizeof(sources) == 8);
|
|
|
|
return sources[(sib_ >> 3) & 0x7];
|
|
|
|
}
|
|
|
|
|
|
|
|
/// @returns the @c base for this address; this is guaranteed to be one of eAX, eBX, eCX, eDX, eSP, eBP, eSI or eDI.
|
2022-02-21 00:22:28 +00:00
|
|
|
constexpr Source base() const {
|
2022-02-17 16:32:09 +00:00
|
|
|
return Source(sib_ & 0x7);
|
|
|
|
}
|
|
|
|
|
2022-03-10 01:19:40 +00:00
|
|
|
constexpr uint8_t without_base() const {
|
|
|
|
return sib_ & ~0x3;
|
|
|
|
}
|
|
|
|
|
2022-02-21 16:45:46 +00:00
|
|
|
bool operator ==(const ScaleIndexBase &rhs) const {
|
|
|
|
// Permit either exact equality or index and base being equal
|
|
|
|
// but transposed with a scale of 1.
|
|
|
|
return
|
|
|
|
(sib_ == rhs.sib_) ||
|
|
|
|
(
|
|
|
|
!scale() && !rhs.scale() &&
|
|
|
|
rhs.index() == base() &&
|
|
|
|
rhs.base() == index()
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
2022-03-10 20:14:50 +00:00
|
|
|
operator uint8_t() const {
|
|
|
|
return sib_;
|
|
|
|
}
|
|
|
|
|
2022-02-17 16:32:09 +00:00
|
|
|
private:
|
|
|
|
// Data is stored directly as an 80386 SIB byte.
|
2022-02-20 22:54:53 +00:00
|
|
|
uint8_t sib_ = 0;
|
2022-02-17 16:32:09 +00:00
|
|
|
};
|
|
|
|
static_assert(sizeof(ScaleIndexBase) == 1);
|
|
|
|
static_assert(alignof(ScaleIndexBase) == 1);
|
|
|
|
|
2022-02-23 13:28:20 +00:00
|
|
|
/// Provides the location of an operand's source or destination.
|
|
|
|
///
|
|
|
|
/// Callers should use .source() as a first point of entry. If it directly nominates a register
|
|
|
|
/// then use the register contents directly. If it indicates ::DirectAddress or ::Immediate
|
|
|
|
/// then ask the instruction for the address or immediate value that was provided in
|
|
|
|
/// the instruction.
|
|
|
|
///
|
|
|
|
/// If .source() indicates ::Indirect then use base(), index() and scale() to construct an address.
|
|
|
|
///
|
|
|
|
/// In all cases, the applicable segment is indicated by the instruction.
|
|
|
|
class DataPointer {
|
|
|
|
public:
|
2022-02-27 23:27:58 +00:00
|
|
|
/// Constricts a DataPointer referring to the given source; it shouldn't be ::Indirect.
|
2022-02-23 13:28:20 +00:00
|
|
|
constexpr DataPointer(Source source) noexcept : source_(source) {}
|
2022-02-27 23:27:58 +00:00
|
|
|
|
|
|
|
/// Constricts a DataPointer with a source of ::Indirect and the specified sib.
|
2022-02-23 13:28:20 +00:00
|
|
|
constexpr DataPointer(ScaleIndexBase sib) noexcept : sib_(sib) {}
|
2022-02-27 23:27:58 +00:00
|
|
|
|
|
|
|
/// Constructs a DataPointer with a source and SIB; use the source to indicate
|
|
|
|
/// whether the base field of the SIB is effective.
|
2022-02-23 13:28:20 +00:00
|
|
|
constexpr DataPointer(Source source, ScaleIndexBase sib) noexcept : source_(source), sib_(sib) {}
|
2022-02-21 16:45:46 +00:00
|
|
|
|
2022-02-27 23:27:58 +00:00
|
|
|
/// Constructs an indirect DataPointer referencing the given base, index and scale.
|
2022-03-10 01:19:40 +00:00
|
|
|
/// Automatically maps Source::Indirect to Source::IndirectNoBase if base is Source::None.
|
2022-02-27 23:27:58 +00:00
|
|
|
constexpr DataPointer(Source base, Source index, int scale) noexcept :
|
2022-03-10 01:19:40 +00:00
|
|
|
source_(base != Source::None ? Source::Indirect : Source::IndirectNoBase),
|
2022-02-27 23:27:58 +00:00
|
|
|
sib_(scale, index, base) {}
|
|
|
|
|
2022-02-23 13:28:20 +00:00
|
|
|
constexpr bool operator ==(const DataPointer &rhs) const {
|
|
|
|
// Require a SIB match only if source_ is ::Indirect or ::IndirectNoBase.
|
2022-03-10 01:19:40 +00:00
|
|
|
return
|
|
|
|
source_ == rhs.source_ && (
|
|
|
|
source_ < Source::IndirectNoBase ||
|
|
|
|
(source_ == Source::Indirect && sib_ == rhs.sib_) ||
|
|
|
|
(source_ == Source::IndirectNoBase && sib_.without_base() == rhs.sib_.without_base())
|
|
|
|
);
|
2022-02-23 13:28:20 +00:00
|
|
|
}
|
|
|
|
|
2023-10-25 18:43:58 +00:00
|
|
|
constexpr Source source() const {
|
2022-03-10 01:19:40 +00:00
|
|
|
return source_;
|
2022-02-23 13:28:20 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
constexpr int scale() const {
|
|
|
|
return sib_.scale();
|
|
|
|
}
|
|
|
|
|
|
|
|
constexpr Source index() const {
|
|
|
|
return sib_.index();
|
|
|
|
}
|
|
|
|
|
2023-09-22 15:07:09 +00:00
|
|
|
/// @returns The default segment to use for this access.
|
|
|
|
constexpr Source default_segment() const {
|
|
|
|
switch(source_) {
|
2023-09-22 21:03:40 +00:00
|
|
|
default:
|
|
|
|
case Source::IndirectNoBase:
|
|
|
|
return Source::None;
|
2023-09-22 15:07:09 +00:00
|
|
|
|
|
|
|
case Source::Indirect:
|
|
|
|
switch(base()) {
|
|
|
|
default: return Source::DS;
|
|
|
|
case Source::eBP:
|
|
|
|
case Source::eSP: return Source::SS;
|
|
|
|
case Source::eDI: return Source::ES;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-10-05 21:12:38 +00:00
|
|
|
constexpr Source segment(Source segment_override) const {
|
2023-10-06 02:29:15 +00:00
|
|
|
// TODO: remove conditionality here.
|
2023-10-05 21:12:38 +00:00
|
|
|
if(segment_override != Source::None) return segment_override;
|
|
|
|
if(const auto segment = default_segment(); segment != Source::None) return segment;
|
|
|
|
return Source::DS;
|
|
|
|
}
|
|
|
|
|
2023-10-25 18:43:58 +00:00
|
|
|
constexpr Source base() const {
|
2022-03-10 01:19:40 +00:00
|
|
|
return sib_.base();
|
2022-02-23 13:28:20 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
|
|
|
Source source_ = Source::Indirect;
|
|
|
|
ScaleIndexBase sib_;
|
2022-02-21 16:45:46 +00:00
|
|
|
};
|
|
|
|
|
2022-02-21 17:36:03 +00:00
|
|
|
template<bool is_32bit> class Instruction {
|
2021-01-15 23:16:01 +00:00
|
|
|
public:
|
2022-03-11 14:47:23 +00:00
|
|
|
Operation operation = Operation::Invalid;
|
2021-01-15 23:16:01 +00:00
|
|
|
|
2022-03-10 20:14:50 +00:00
|
|
|
bool operator ==(const Instruction<is_32bit> &rhs) const {
|
|
|
|
if( operation != rhs.operation ||
|
|
|
|
mem_exts_source_ != rhs.mem_exts_source_ ||
|
|
|
|
source_data_dest_sib_ != rhs.source_data_dest_sib_) {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Have already established above that this and RHS have the
|
|
|
|
// same extensions, if any.
|
|
|
|
const int extension_count = has_length_extension() + has_displacement() + has_operand();
|
|
|
|
for(int c = 0; c < extension_count; c++) {
|
|
|
|
if(extensions_[c] != rhs.extensions_[c]) return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
return true;
|
2021-01-15 23:16:01 +00:00
|
|
|
}
|
|
|
|
|
2022-02-21 20:33:08 +00:00
|
|
|
using DisplacementT = typename std::conditional<is_32bit, int32_t, int16_t>::type;
|
|
|
|
using ImmediateT = typename std::conditional<is_32bit, uint32_t, uint16_t>::type;
|
2022-02-28 15:03:58 +00:00
|
|
|
using AddressT = ImmediateT;
|
2022-02-21 20:33:08 +00:00
|
|
|
|
2021-01-15 23:16:01 +00:00
|
|
|
private:
|
2022-03-10 20:14:50 +00:00
|
|
|
// Packing and encoding of fields is admittedly somewhat convoluted; what this
|
|
|
|
// achieves is that instructions will be sized:
|
|
|
|
//
|
|
|
|
// four bytes + up to three extension words
|
|
|
|
// (two bytes for 16-bit instructions, four for 32)
|
|
|
|
//
|
|
|
|
// Two of the extension words are used to retain an operand and displacement
|
|
|
|
// if the instruction has those. The other can store sizes greater than 15
|
|
|
|
// bytes (for earlier processors), plus any repetition, segment override or
|
|
|
|
// repetition prefixes.
|
|
|
|
|
|
|
|
// b7: address size;
|
|
|
|
// b6: has displacement;
|
|
|
|
// b5: has operand;
|
|
|
|
// [b4, b0]: source.
|
2022-03-11 16:55:26 +00:00
|
|
|
uint8_t mem_exts_source_ = 0;
|
2022-03-10 20:14:50 +00:00
|
|
|
|
|
|
|
bool has_displacement() const {
|
|
|
|
return mem_exts_source_ & (1 << 6);
|
|
|
|
}
|
|
|
|
bool has_operand() const {
|
|
|
|
return mem_exts_source_ & (1 << 5);
|
|
|
|
}
|
2021-01-15 23:16:01 +00:00
|
|
|
|
2022-03-10 20:14:50 +00:00
|
|
|
// [b15, b14]: data size;
|
|
|
|
// [b13, b10]: source length (0 => has length extension);
|
|
|
|
// [b9, b5]: top five of SIB;
|
|
|
|
// [b4, b0]: dest.
|
2022-03-11 16:55:26 +00:00
|
|
|
uint16_t source_data_dest_sib_ = 1 << 10; // So that ::Invalid doesn't seem to have a length extension.
|
2021-01-15 23:16:01 +00:00
|
|
|
|
2023-10-24 20:43:22 +00:00
|
|
|
// Note to future self: if source length continues to prove avoidable, reuse its four bits as:
|
|
|
|
// three bits: segment (as overridden, otherwise whichever operand has a segment, if either);
|
|
|
|
// one bit: an extra bit for Operation.
|
|
|
|
//
|
|
|
|
// Then what was the length extension will hold only a repetition, if any, and the lock bit. As luck would have
|
|
|
|
// it there are six valid segment registers so there is an available sentinel value to put into the segment
|
|
|
|
// field to indicate that there's an extension if necessary. A further three bits would need to be trimmed
|
|
|
|
// to do away with that extension entirely, but since lock is rarely used and repetitions apply only to a
|
|
|
|
// small number of operations I think it'd at least be a limited problem.
|
|
|
|
|
2022-03-10 20:14:50 +00:00
|
|
|
bool has_length_extension() const {
|
|
|
|
return !((source_data_dest_sib_ >> 10) & 15);
|
|
|
|
}
|
2021-01-15 23:16:01 +00:00
|
|
|
|
2022-03-11 18:24:45 +00:00
|
|
|
// {operand}, {displacement}, {length extension}.
|
|
|
|
//
|
2022-03-10 20:14:50 +00:00
|
|
|
// If length extension is present then:
|
|
|
|
//
|
|
|
|
// [b15, b6]: source length;
|
|
|
|
// [b5, b4]: repetition;
|
|
|
|
// [b3, b1]: segment override;
|
|
|
|
// b0: lock.
|
2022-03-11 16:55:26 +00:00
|
|
|
ImmediateT extensions_[3]{};
|
2022-02-21 16:45:46 +00:00
|
|
|
|
2022-03-11 18:24:45 +00:00
|
|
|
ImmediateT operand_extension() const {
|
|
|
|
return extensions_[0];
|
|
|
|
}
|
|
|
|
ImmediateT displacement_extension() const {
|
|
|
|
return extensions_[(mem_exts_source_ >> 5) & 1];
|
|
|
|
}
|
|
|
|
ImmediateT length_extension() const {
|
|
|
|
return extensions_[((mem_exts_source_ >> 5) & 1) + ((mem_exts_source_ >> 6) & 1)];
|
|
|
|
}
|
|
|
|
|
2021-01-15 23:16:01 +00:00
|
|
|
public:
|
2022-02-21 20:33:08 +00:00
|
|
|
/// @returns The number of bytes used for meaningful content within this class. A receiver must use at least @c sizeof(Instruction) bytes
|
|
|
|
/// to store an @c Instruction but is permitted to reuse the trailing sizeof(Instruction) - packing_size() for any purpose it likes. Teleologically,
|
|
|
|
/// this allows a denser packing of instructions into containers.
|
2022-03-10 20:14:50 +00:00
|
|
|
size_t packing_size() const {
|
|
|
|
return
|
|
|
|
offsetof(Instruction<is_32bit>, extensions) +
|
|
|
|
(has_displacement() + has_operand() + has_length_extension()) * sizeof(ImmediateT);
|
2022-03-11 18:24:45 +00:00
|
|
|
|
|
|
|
// To consider in the future: the length extension is always the last one,
|
|
|
|
// and uses only 8 bits of content within 32-bit instructions, so it'd be
|
|
|
|
// possible further to trim the packing size on little endian machines.
|
|
|
|
//
|
|
|
|
// ... but is that a speed improvement? How much space does it save, and
|
|
|
|
// is it enough to undo the costs of unaligned data?
|
2022-03-10 20:14:50 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
|
|
|
// A lookup table to help with stripping parts of the SIB that have been
|
|
|
|
// hidden within the source/destination fields.
|
|
|
|
static constexpr uint8_t sib_masks[] = {
|
|
|
|
0x1f, 0x1f, 0x1f, 0x18
|
|
|
|
};
|
2022-02-21 20:33:08 +00:00
|
|
|
|
2022-03-10 20:14:50 +00:00
|
|
|
public:
|
|
|
|
DataPointer source() const {
|
|
|
|
return DataPointer(
|
|
|
|
Source(mem_exts_source_ & sib_masks[(mem_exts_source_ >> 3) & 3]),
|
|
|
|
((source_data_dest_sib_ >> 2) & 0xf8) | (mem_exts_source_ & 0x07)
|
|
|
|
);
|
|
|
|
}
|
|
|
|
DataPointer destination() const {
|
|
|
|
return DataPointer(
|
|
|
|
Source(source_data_dest_sib_ & sib_masks[(source_data_dest_sib_ >> 3) & 3]),
|
|
|
|
((source_data_dest_sib_ >> 2) & 0xf8) | (source_data_dest_sib_ & 0x07)
|
|
|
|
);
|
|
|
|
}
|
|
|
|
bool lock() const {
|
2022-03-11 18:24:45 +00:00
|
|
|
return has_length_extension() && length_extension()&1;
|
2022-03-10 20:14:50 +00:00
|
|
|
}
|
2022-03-01 22:29:26 +00:00
|
|
|
|
|
|
|
AddressSize address_size() const {
|
2022-03-10 20:14:50 +00:00
|
|
|
return AddressSize(mem_exts_source_ >> 7);
|
2022-03-01 22:29:26 +00:00
|
|
|
}
|
2022-03-11 01:27:35 +00:00
|
|
|
|
2023-09-20 03:27:42 +00:00
|
|
|
/// @returns @c Source::None if no segment override was found; the overridden segment otherwise.
|
2022-03-11 01:27:35 +00:00
|
|
|
/// On x86 a segment override cannot modify the segment used as a destination in string instructions,
|
|
|
|
/// or that used by stack instructions, but this function does not spend the time necessary to provide
|
|
|
|
/// the correct default for those.
|
2023-10-05 21:12:38 +00:00
|
|
|
Source segment_override() const {
|
2023-09-20 03:27:42 +00:00
|
|
|
if(!has_length_extension()) return Source::None;
|
2022-03-10 20:14:50 +00:00
|
|
|
return Source(
|
2022-03-08 22:08:21 +00:00
|
|
|
int(Source::ES) +
|
2022-03-11 18:24:45 +00:00
|
|
|
((length_extension() >> 1) & 7)
|
2022-03-08 22:08:21 +00:00
|
|
|
);
|
2022-02-27 16:25:02 +00:00
|
|
|
}
|
2021-01-15 23:16:01 +00:00
|
|
|
|
2022-03-10 20:14:50 +00:00
|
|
|
Repetition repetition() const {
|
|
|
|
if(!has_length_extension()) return Repetition::None;
|
2022-03-11 18:24:45 +00:00
|
|
|
return Repetition((length_extension() >> 4) & 3);
|
2022-03-10 20:14:50 +00:00
|
|
|
}
|
2023-10-11 18:36:42 +00:00
|
|
|
|
|
|
|
/// @returns The data size of this operation — e.g. `MOV AX, BX` has a data size of `::Word` but `MOV EAX, EBX` has a data size of
|
|
|
|
/// `::DWord`. This value is guaranteed never to be `DataSize::None` even for operations such as `CLI` that don't have operands and operate
|
|
|
|
/// on data that is not a byte, word or double word.
|
2022-03-10 20:14:50 +00:00
|
|
|
DataSize operation_size() const {
|
|
|
|
return DataSize(source_data_dest_sib_ >> 14);
|
|
|
|
}
|
2021-01-15 23:16:01 +00:00
|
|
|
|
2023-10-25 18:43:58 +00:00
|
|
|
// int length() const {
|
|
|
|
// const int short_length = (source_data_dest_sib_ >> 10) & 15;
|
|
|
|
// if(short_length) return short_length;
|
|
|
|
// return length_extension() >> 6;
|
|
|
|
// }
|
2021-01-15 23:16:01 +00:00
|
|
|
|
2022-03-10 20:14:50 +00:00
|
|
|
ImmediateT operand() const {
|
2022-03-11 18:24:45 +00:00
|
|
|
const ImmediateT ops[] = {0, operand_extension()};
|
2022-03-10 20:14:50 +00:00
|
|
|
return ops[has_operand()];
|
|
|
|
}
|
|
|
|
DisplacementT displacement() const {
|
|
|
|
return DisplacementT(offset());
|
|
|
|
}
|
2021-01-15 23:16:01 +00:00
|
|
|
|
2022-03-10 20:14:50 +00:00
|
|
|
uint16_t segment() const {
|
|
|
|
return uint16_t(operand());
|
|
|
|
}
|
|
|
|
ImmediateT offset() const {
|
2022-03-11 18:24:45 +00:00
|
|
|
const ImmediateT offsets[] = {0, displacement_extension()};
|
2022-03-10 20:14:50 +00:00
|
|
|
return offsets[has_displacement()];
|
|
|
|
}
|
2022-03-10 12:12:12 +00:00
|
|
|
|
2022-03-11 14:47:23 +00:00
|
|
|
constexpr Instruction() noexcept {}
|
|
|
|
constexpr Instruction(Operation operation, int length) noexcept :
|
|
|
|
Instruction(operation, Source::None, Source::None, ScaleIndexBase(), false, AddressSize::b16, Source::None, Repetition::None, DataSize::None, 0, 0, length) {}
|
|
|
|
constexpr Instruction(
|
2021-01-15 23:16:01 +00:00
|
|
|
Operation operation,
|
|
|
|
Source source,
|
|
|
|
Source destination,
|
2022-02-21 16:45:46 +00:00
|
|
|
ScaleIndexBase sib,
|
2021-01-15 23:16:01 +00:00
|
|
|
bool lock,
|
2022-03-01 22:29:26 +00:00
|
|
|
AddressSize address_size,
|
2021-01-15 23:16:01 +00:00
|
|
|
Source segment_override,
|
|
|
|
Repetition repetition,
|
2022-03-10 20:14:50 +00:00
|
|
|
DataSize data_size,
|
2022-02-21 20:33:08 +00:00
|
|
|
DisplacementT displacement,
|
2022-03-10 12:12:12 +00:00
|
|
|
ImmediateT operand,
|
|
|
|
int length) noexcept :
|
2021-01-15 23:16:01 +00:00
|
|
|
operation(operation),
|
2022-03-10 20:14:50 +00:00
|
|
|
mem_exts_source_(uint8_t(
|
|
|
|
(int(address_size) << 7) |
|
|
|
|
(displacement ? 0x40 : 0x00) |
|
|
|
|
(operand ? 0x20 : 0x00) |
|
2021-01-15 23:16:01 +00:00
|
|
|
int(source) |
|
2022-03-10 20:14:50 +00:00
|
|
|
(source == Source::Indirect ? (uint8_t(sib) & 7) : 0)
|
2021-01-15 23:16:01 +00:00
|
|
|
)),
|
2022-03-10 20:14:50 +00:00
|
|
|
source_data_dest_sib_(uint16_t(
|
|
|
|
(int(data_size) << 14) |
|
|
|
|
((
|
|
|
|
(lock || (segment_override != Source::None) || (length > 15) || (repetition != Repetition::None))
|
|
|
|
) ? 0 : (length << 10)) |
|
|
|
|
((uint8_t(sib) & 0xf8) << 2) |
|
|
|
|
int(destination) |
|
|
|
|
(destination == Source::Indirect ? (uint8_t(sib) & 7) : 0)
|
|
|
|
)) {
|
|
|
|
|
2022-03-11 18:24:45 +00:00
|
|
|
// Decisions on whether to include operand, displacement and/or size extension words
|
|
|
|
// have implicitly been made in the int packing above; honour them here.
|
2022-03-10 20:14:50 +00:00
|
|
|
int extension = 0;
|
2022-03-11 18:24:45 +00:00
|
|
|
if(has_operand()) {
|
|
|
|
extensions_[extension] = operand;
|
|
|
|
++extension;
|
|
|
|
}
|
|
|
|
if(has_displacement()) {
|
|
|
|
extensions_[extension] = ImmediateT(displacement);
|
|
|
|
++extension;
|
|
|
|
}
|
2022-03-10 20:14:50 +00:00
|
|
|
if(has_length_extension()) {
|
|
|
|
extensions_[extension] = ImmediateT(
|
|
|
|
(length << 6) | (int(repetition) << 4) | ((int(segment_override) & 7) << 1) | int(lock)
|
|
|
|
);
|
|
|
|
++extension;
|
|
|
|
}
|
|
|
|
}
|
2021-01-15 23:16:01 +00:00
|
|
|
};
|
|
|
|
|
2022-03-10 20:14:50 +00:00
|
|
|
static_assert(sizeof(Instruction<true>) <= 16);
|
|
|
|
static_assert(sizeof(Instruction<false>) <= 10);
|
2021-01-15 23:16:01 +00:00
|
|
|
|
2023-10-05 02:15:13 +00:00
|
|
|
//
|
|
|
|
// Disassembly aids.
|
|
|
|
//
|
|
|
|
|
|
|
|
/// @returns @c true if @c operation uses a @c displacement().
|
|
|
|
bool has_displacement(Operation operation);
|
|
|
|
|
|
|
|
/// @returns The maximum number of operands to print in a disassembly of @c operation;
|
|
|
|
/// i.e. 2 for both source() and destination(), 1 for source() alone, 0 for neither. This is a maximum
|
|
|
|
/// only — if either source is Source::None then it should not be printed.
|
|
|
|
int max_displayed_operands(Operation operation);
|
|
|
|
|
|
|
|
/// Provides the idiomatic name of the @c Operation given an operation @c DataSize and processor @c Model.
|
|
|
|
std::string to_string(Operation, DataSize, Model);
|
|
|
|
|
|
|
|
/// @returns @c true if the idiomatic name of @c Operation implies the data size (e.g. stosb), @c false otherwise (e.g. ld).
|
|
|
|
bool mnemonic_implies_data_size(Operation);
|
|
|
|
|
|
|
|
/// Provides the name of the @c DataSize, i.e. 'byte', 'word' or 'dword'.
|
|
|
|
std::string to_string(DataSize);
|
|
|
|
|
|
|
|
/// Provides the name of the @c Source at @c DataSize, e.g. for Source::eAX it might return AL, AX or EAX.
|
|
|
|
std::string to_string(Source, DataSize);
|
|
|
|
|
2023-10-05 02:35:52 +00:00
|
|
|
/// Provides the printable version of @c pointer as an appendage for @c instruction.
|
|
|
|
///
|
|
|
|
/// See notes below re: @c offset_length and @c immediate_length.
|
|
|
|
/// If @c operation_size is the default value of @c ::None, it'll be taken from the @c instruction.
|
|
|
|
template <bool is_32bit>
|
|
|
|
std::string to_string(
|
|
|
|
DataPointer pointer,
|
|
|
|
Instruction<is_32bit> instruction,
|
|
|
|
int offset_length,
|
|
|
|
int immediate_length,
|
|
|
|
DataSize operation_size = InstructionSet::x86::DataSize::None
|
|
|
|
);
|
|
|
|
|
|
|
|
/// Provides the printable version of @c instruction.
|
|
|
|
///
|
|
|
|
/// Internally, instructions do not retain the original sizes of offsets/displacements or immediates so the following are available:
|
|
|
|
///
|
|
|
|
/// If @c offset_length is '2' or '4', truncates any printed offset to 2 or 4 digits if it is compatible with being that length.
|
|
|
|
/// If @c immediate_length is '2' or '4', truncates any printed immediate value to 2 or 4 digits if it is compatible with being that length.
|
|
|
|
template<bool is_32bit>
|
|
|
|
std::string to_string(
|
2023-10-25 15:21:11 +00:00
|
|
|
std::pair<int, Instruction<is_32bit>> instruction,
|
2023-10-05 02:35:52 +00:00
|
|
|
Model model,
|
|
|
|
int offset_length = 0,
|
|
|
|
int immediate_length = 0);
|
|
|
|
|
2021-01-15 23:16:01 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#endif /* InstructionSets_x86_Instruction_h */
|