2021-01-03 00:16:07 +00:00
|
|
|
//
|
2021-01-15 23:16:01 +00:00
|
|
|
// Decoder.hpp
|
2021-01-03 00:16:07 +00:00
|
|
|
// Clock Signal
|
|
|
|
//
|
2021-01-17 03:09:19 +00:00
|
|
|
// Created by Thomas Harte on 01/01/21.
|
2021-01-03 00:16:07 +00:00
|
|
|
// Copyright © 2021 Thomas Harte. All rights reserved.
|
|
|
|
//
|
|
|
|
|
2021-01-15 23:16:01 +00:00
|
|
|
#ifndef InstructionSets_x86_Decoder_hpp
|
|
|
|
#define InstructionSets_x86_Decoder_hpp
|
2021-01-03 00:16:07 +00:00
|
|
|
|
2021-01-15 23:16:01 +00:00
|
|
|
#include "Instruction.hpp"
|
2022-02-27 16:25:02 +00:00
|
|
|
#include "Model.hpp"
|
2021-01-15 23:16:01 +00:00
|
|
|
|
2021-01-16 03:33:14 +00:00
|
|
|
#include <cstddef>
|
2021-01-15 23:16:01 +00:00
|
|
|
#include <utility>
|
2021-01-03 00:16:07 +00:00
|
|
|
|
2023-05-10 21:02:18 +00:00
|
|
|
namespace InstructionSet::x86 {
|
2021-01-03 00:16:07 +00:00
|
|
|
|
|
|
|
/*!
|
|
|
|
Implements Intel x86 instruction decoding.
|
|
|
|
|
|
|
|
This is an experimental implementation; it has not yet undergone significant testing.
|
|
|
|
*/
|
2022-02-21 17:36:03 +00:00
|
|
|
template <Model model> class Decoder {
|
2021-01-03 00:16:07 +00:00
|
|
|
public:
|
2022-03-11 14:48:02 +00:00
|
|
|
using InstructionT = Instruction<is_32bit(model)>;
|
2022-02-21 17:36:03 +00:00
|
|
|
|
2021-01-03 00:16:07 +00:00
|
|
|
/*!
|
2022-03-11 01:47:56 +00:00
|
|
|
@returns an @c Instruction plus a size; a positive size indicates successful decoding of
|
|
|
|
an instruction that was that many bytes long in total; a negative size specifies the [negatived]
|
|
|
|
minimum number of further bytes the caller should ideally collect before calling again. The
|
|
|
|
caller is free to call with fewer, but may not get a decoded instruction in response, and the
|
|
|
|
decoder may still not be able to complete decoding even if given that number of bytes.
|
|
|
|
|
|
|
|
Successful decoding is defined to mean that all decoding steps are complete. The output
|
|
|
|
may still be an illegal instruction (indicated by Operation::Invalid), if the byte sequence
|
|
|
|
supplied cannot form a valid instruction.
|
|
|
|
|
|
|
|
@discussion although instructions also contain an indicator of their length, on chips prior
|
2023-11-17 15:38:11 +00:00
|
|
|
to the 80286 there is no limit to potential instruction length.
|
2022-03-11 01:47:56 +00:00
|
|
|
|
|
|
|
The 80286 and 80386 have instruction length limits of 10 and 15 bytes respectively, so
|
|
|
|
cannot overflow the field.
|
2021-01-03 00:16:07 +00:00
|
|
|
*/
|
2023-11-17 15:27:38 +00:00
|
|
|
std::pair<int, InstructionT> decode(const uint8_t *source, std::size_t length);
|
2021-01-03 00:16:07 +00:00
|
|
|
|
2022-03-03 01:23:35 +00:00
|
|
|
/*!
|
|
|
|
Enables or disables 32-bit protected mode. Meaningful only if the @c Model supports it.
|
|
|
|
*/
|
|
|
|
void set_32bit_protected_mode(bool);
|
|
|
|
|
2021-01-03 00:16:07 +00:00
|
|
|
private:
|
|
|
|
enum class Phase {
|
2021-01-04 00:33:16 +00:00
|
|
|
/// Captures all prefixes and continues until an instruction byte is encountered.
|
2021-01-03 00:16:07 +00:00
|
|
|
Instruction,
|
2022-02-10 14:35:05 +00:00
|
|
|
/// Having encountered a 0x0f first instruction byte, waits for the next byte fully to determine the instruction.
|
|
|
|
InstructionPageF,
|
2021-01-06 02:25:12 +00:00
|
|
|
/// Receives a ModRegRM byte and either populates the source_ and dest_ fields appropriately
|
2021-01-04 00:33:16 +00:00
|
|
|
/// or completes decoding of the instruction, as per the instruction format.
|
2021-01-06 02:25:12 +00:00
|
|
|
ModRegRM,
|
2022-02-19 23:00:27 +00:00
|
|
|
/// Awaits n 80386+-style scale-index-base byte ('SIB'), indicating the form of indirect addressing.
|
|
|
|
ScaleIndexBase,
|
2021-01-06 02:25:12 +00:00
|
|
|
/// Waits for sufficiently many bytes to pass for the required displacement and operand to be captured.
|
|
|
|
/// Cf. displacement_size_ and operand_size_.
|
2022-01-31 13:14:33 +00:00
|
|
|
DisplacementOrOperand,
|
2021-01-04 00:33:16 +00:00
|
|
|
/// Forms and returns an Instruction, and resets parsing state.
|
2021-01-03 00:16:07 +00:00
|
|
|
ReadyToPost
|
|
|
|
} phase_ = Phase::Instruction;
|
|
|
|
|
2021-01-06 02:25:12 +00:00
|
|
|
/// During the ModRegRM phase, format dictates interpretation of the ModRegRM byte.
|
2021-01-04 00:33:16 +00:00
|
|
|
///
|
|
|
|
/// During the ReadyToPost phase, format determines how transiently-recorded fields
|
|
|
|
/// are packaged into an Instruction.
|
2021-01-06 02:25:12 +00:00
|
|
|
enum class ModRegRMFormat: uint8_t {
|
2021-01-06 02:34:35 +00:00
|
|
|
// Parse the ModRegRM for mode, register and register/memory fields
|
2022-03-05 22:00:48 +00:00
|
|
|
// and populate the source_ and destination_ fields appropriately.
|
2021-01-03 00:16:07 +00:00
|
|
|
MemReg_Reg,
|
|
|
|
Reg_MemReg,
|
2021-01-04 00:33:16 +00:00
|
|
|
|
2021-01-07 02:18:24 +00:00
|
|
|
// Parse for mode and register/memory fields, populating both
|
2022-03-07 15:32:34 +00:00
|
|
|
// source_ and destination_ fields with the single register/memory result.
|
|
|
|
MemRegSingleOperand,
|
2021-01-07 02:18:24 +00:00
|
|
|
|
|
|
|
// Parse for mode and register/memory fields, populating both
|
|
|
|
// the destination_ field with the result and setting source_ to Immediate.
|
|
|
|
MemRegMOV,
|
|
|
|
|
2021-01-08 02:30:01 +00:00
|
|
|
// Parse for mode and register/memory fields, populating the
|
2022-03-05 21:44:26 +00:00
|
|
|
// source_ field with the result. Fills destination_ with a segment
|
|
|
|
// register based on the reg field.
|
2022-03-05 22:00:48 +00:00
|
|
|
Seg_MemReg,
|
|
|
|
MemReg_Seg,
|
2022-03-05 21:44:26 +00:00
|
|
|
|
|
|
|
//
|
|
|
|
// 'Group 1'
|
|
|
|
//
|
2021-01-08 02:30:01 +00:00
|
|
|
|
2021-01-09 03:50:59 +00:00
|
|
|
// Parse for mode and register/memory fields, populating the
|
|
|
|
// destination_ field with the result. Use the 'register' field
|
|
|
|
// to pick an operation from the ADD/OR/ADC/SBB/AND/SUB/XOR/CMP group and
|
|
|
|
// waits for an operand equal to the operation size.
|
|
|
|
MemRegADD_to_CMP,
|
|
|
|
|
2022-03-05 21:44:26 +00:00
|
|
|
// Acts exactly as MemRegADD_to_CMP but the operand is fixed in size
|
|
|
|
// at a single byte, which is sign extended to the operation size.
|
|
|
|
MemRegADD_to_CMP_SignExtend,
|
|
|
|
|
|
|
|
//
|
|
|
|
// 'Group 2'
|
|
|
|
//
|
|
|
|
|
2021-01-08 02:36:05 +00:00
|
|
|
// Parse for mode and register/memory fields, populating the
|
2022-03-05 21:44:26 +00:00
|
|
|
// destination_ field with the result. Use the 'register' field
|
|
|
|
// to pick an operation from the ROL/ROR/RCL/RCR/SAL/SHR/SAR group.
|
|
|
|
MemRegROL_to_SAR,
|
|
|
|
|
|
|
|
//
|
|
|
|
// 'Group 3'
|
|
|
|
//
|
|
|
|
|
|
|
|
// Parse for mode and register/memory fields, populating both
|
|
|
|
// source_ and destination_ fields with the result. Use the 'register'
|
|
|
|
// field to pick an operation from the TEST/NOT/NEG/MUL/IMUL/DIV/IDIV group.
|
|
|
|
MemRegTEST_to_IDIV,
|
|
|
|
|
|
|
|
//
|
|
|
|
// 'Group 4'
|
|
|
|
//
|
2021-01-08 02:36:05 +00:00
|
|
|
|
2021-01-08 02:59:00 +00:00
|
|
|
// Parse for mode and register/memory fields, populating the
|
|
|
|
// source_ and destination_ fields with the result. Uses the
|
|
|
|
// 'register' field to pick INC or DEC.
|
|
|
|
MemRegINC_DEC,
|
|
|
|
|
2022-03-05 21:44:26 +00:00
|
|
|
//
|
|
|
|
// 'Group 5'
|
|
|
|
//
|
|
|
|
|
2021-01-08 02:59:00 +00:00
|
|
|
// Parse for mode and register/memory fields, populating the
|
|
|
|
// source_ and destination_ fields with the result. Uses the
|
|
|
|
// 'register' field to pick from INC/DEC/CALL/JMP/PUSH, altering
|
|
|
|
// the source to ::Immediate and setting an operand size if necessary.
|
|
|
|
MemRegINC_to_PUSH,
|
2021-01-14 01:29:44 +00:00
|
|
|
|
2022-03-05 21:44:26 +00:00
|
|
|
//
|
|
|
|
// 'Group 6'
|
|
|
|
//
|
2022-02-10 22:13:50 +00:00
|
|
|
|
|
|
|
// Parse for mode and register/memory field, populating both source_
|
|
|
|
// and destination_ fields with the result. Uses the 'register' field
|
|
|
|
// to pick from SLDT/STR/LLDT/LTR/VERR/VERW.
|
|
|
|
MemRegSLDT_to_VERW,
|
|
|
|
|
2022-03-05 21:44:26 +00:00
|
|
|
//
|
|
|
|
// 'Group 7'
|
|
|
|
//
|
|
|
|
|
2022-02-10 22:13:50 +00:00
|
|
|
// Parse for mode and register/memory field, populating both source_
|
|
|
|
// and destination_ fields with the result. Uses the 'register' field
|
|
|
|
// to pick from SGDT/LGDT/SMSW/LMSW.
|
|
|
|
MemRegSGDT_to_LMSW,
|
2022-03-05 21:44:26 +00:00
|
|
|
|
|
|
|
//
|
|
|
|
// 'Group 8'
|
|
|
|
//
|
|
|
|
|
2022-03-07 21:34:56 +00:00
|
|
|
// Parse for mode and register/memory field, populating destination,
|
|
|
|
// and prepare to read a single byte as source.
|
2022-03-05 21:44:26 +00:00
|
|
|
MemRegBT_to_BTC,
|
2021-01-06 02:25:12 +00:00
|
|
|
} modregrm_format_ = ModRegRMFormat::MemReg_Reg;
|
2021-01-03 02:11:19 +00:00
|
|
|
|
2021-01-04 00:33:16 +00:00
|
|
|
// Ephemeral decoding state.
|
2021-01-03 00:16:07 +00:00
|
|
|
Operation operation_ = Operation::Invalid;
|
2023-11-17 04:46:22 +00:00
|
|
|
uint32_t consumed_ = 0, operand_bytes_ = 0;
|
2021-01-06 02:25:12 +00:00
|
|
|
|
|
|
|
// Source and destination locations.
|
2021-01-03 00:16:07 +00:00
|
|
|
Source source_ = Source::None;
|
|
|
|
Source destination_ = Source::None;
|
2021-01-06 02:25:12 +00:00
|
|
|
|
2021-01-09 03:38:56 +00:00
|
|
|
// Immediate fields.
|
2022-03-05 18:52:07 +00:00
|
|
|
int32_t displacement_ = 0;
|
|
|
|
uint32_t operand_ = 0;
|
2021-01-11 03:55:25 +00:00
|
|
|
uint64_t inward_data_ = 0;
|
2022-03-05 18:52:07 +00:00
|
|
|
int next_inward_data_shift_ = 0;
|
2021-01-09 03:38:56 +00:00
|
|
|
|
2022-02-19 23:00:27 +00:00
|
|
|
// Indirection style.
|
2022-02-20 22:54:53 +00:00
|
|
|
ScaleIndexBase sib_;
|
2022-02-19 23:00:27 +00:00
|
|
|
|
2021-01-06 02:25:12 +00:00
|
|
|
// Facts about the instruction.
|
2022-03-05 18:52:07 +00:00
|
|
|
DataSize displacement_size_ = DataSize::None; // i.e. size of in-stream displacement, if any.
|
|
|
|
DataSize operand_size_ = DataSize::None; // i.e. size of in-stream operand, if any.
|
|
|
|
DataSize operation_size_ = DataSize::None; // i.e. size of data manipulated by the operation.
|
|
|
|
|
2023-11-16 16:17:12 +00:00
|
|
|
bool sign_extend_displacement_ = true; // If set then sign extend any displacement up to the address
|
|
|
|
// size; otherwise it'll be zero-padded.
|
2023-09-24 19:00:16 +00:00
|
|
|
bool sign_extend_operand_ = false; // If set then sign extend the operand up to the operation size;
|
2022-03-05 18:52:07 +00:00
|
|
|
// otherwise it'll be zero-padded.
|
2021-01-03 22:28:29 +00:00
|
|
|
|
2021-01-04 00:33:16 +00:00
|
|
|
// Prefix capture fields.
|
2021-01-06 02:25:12 +00:00
|
|
|
Repetition repetition_ = Repetition::None;
|
2021-01-03 22:28:29 +00:00
|
|
|
bool lock_ = false;
|
|
|
|
Source segment_override_ = Source::None;
|
2021-01-04 00:33:16 +00:00
|
|
|
|
2022-03-03 01:23:35 +00:00
|
|
|
// 32-bit/16-bit selection.
|
|
|
|
AddressSize default_address_size_ = AddressSize::b16;
|
|
|
|
DataSize default_data_size_ = DataSize::Word;
|
|
|
|
AddressSize address_size_ = AddressSize::b16;
|
|
|
|
DataSize data_size_ = DataSize::Word;
|
|
|
|
|
2021-01-04 00:33:16 +00:00
|
|
|
/// Resets size capture and all fields with default values.
|
2021-01-03 22:28:29 +00:00
|
|
|
void reset_parsing() {
|
|
|
|
consumed_ = operand_bytes_ = 0;
|
2022-03-05 18:52:07 +00:00
|
|
|
displacement_size_ = operand_size_ = operation_size_ = DataSize::None;
|
2021-01-13 02:49:22 +00:00
|
|
|
displacement_ = operand_ = 0;
|
2021-01-03 22:28:29 +00:00
|
|
|
lock_ = false;
|
2022-03-03 01:23:35 +00:00
|
|
|
address_size_ = default_address_size_;
|
|
|
|
data_size_ = default_data_size_;
|
2021-01-03 22:28:29 +00:00
|
|
|
segment_override_ = Source::None;
|
2021-01-04 00:33:16 +00:00
|
|
|
repetition_ = Repetition::None;
|
2021-01-13 02:49:22 +00:00
|
|
|
phase_ = Phase::Instruction;
|
2021-01-14 02:51:18 +00:00
|
|
|
source_ = destination_ = Source::None;
|
2022-03-05 18:52:07 +00:00
|
|
|
sib_ = ScaleIndexBase();
|
|
|
|
next_inward_data_shift_ = 0;
|
|
|
|
inward_data_ = 0;
|
2023-09-24 19:00:16 +00:00
|
|
|
sign_extend_operand_ = false;
|
2023-11-16 16:17:12 +00:00
|
|
|
sign_extend_displacement_ = true;
|
2021-01-03 22:28:29 +00:00
|
|
|
}
|
2021-01-03 00:16:07 +00:00
|
|
|
};
|
|
|
|
|
2023-11-17 22:02:46 +00:00
|
|
|
// This is a temporary measure; for reasons as-yet unknown, GCC isn't picking up the
|
|
|
|
// explicit instantiations of the template above at link time, even though is is
|
|
|
|
// unambiguously building and linking in Decoder.cpp.
|
|
|
|
//
|
|
|
|
// So here's a thin non-templated shim to unblock initial PC Compatible development.
|
|
|
|
class Decoder8086 {
|
|
|
|
public:
|
|
|
|
std::pair<int, Instruction<false>> decode(const uint8_t *source, std::size_t length);
|
|
|
|
|
|
|
|
private:
|
|
|
|
Decoder<Model::i8086> decoder;
|
|
|
|
};
|
|
|
|
|
2021-01-03 00:16:07 +00:00
|
|
|
}
|
|
|
|
|
2021-01-15 23:16:01 +00:00
|
|
|
#endif /* InstructionSets_x86_Decoder_hpp */
|