mirror of
https://github.com/TomHarte/CLK.git
synced 2024-11-23 03:32:32 +00:00
Introduce DataPointerResolver
, to codify the meaning of DataPointer
and validate that enough information is present.
This commit is contained in:
parent
b8bff0e7f5
commit
0d7a7dc7c9
200
InstructionSets/x86/DataPointerResolver.hpp
Normal file
200
InstructionSets/x86/DataPointerResolver.hpp
Normal file
@ -0,0 +1,200 @@
|
|||||||
|
//
|
||||||
|
// DataPointerResolver.hpp
|
||||||
|
// Clock Signal
|
||||||
|
//
|
||||||
|
// Created by Thomas Harte on 24/02/2022.
|
||||||
|
// Copyright © 2022 Thomas Harte. All rights reserved.
|
||||||
|
//
|
||||||
|
|
||||||
|
#ifndef DataPointerResolver_hpp
|
||||||
|
#define DataPointerResolver_hpp
|
||||||
|
|
||||||
|
#include "Instruction.hpp"
|
||||||
|
#include "Model.hpp"
|
||||||
|
|
||||||
|
namespace InstructionSet {
|
||||||
|
namespace x86 {
|
||||||
|
|
||||||
|
/// Unlike source, describes only registers, and breaks
|
||||||
|
/// them down by conventional name — so AL, AH, AX and EAX are all
|
||||||
|
/// listed separately and uniquely, rather than being eAX+size or
|
||||||
|
/// eSPorAH with a size of 1.
|
||||||
|
enum class Register: uint8_t {
|
||||||
|
AL, AH, AX, EAX,
|
||||||
|
CL, CH, CX, ECX,
|
||||||
|
DL, DH, DX, EDX,
|
||||||
|
BL, BH, BX, EBX,
|
||||||
|
SP, ESP,
|
||||||
|
BP, EBP,
|
||||||
|
SI, ESI,
|
||||||
|
DI, EDI,
|
||||||
|
ES,
|
||||||
|
CS,
|
||||||
|
SS,
|
||||||
|
DS,
|
||||||
|
FS,
|
||||||
|
GS,
|
||||||
|
None
|
||||||
|
};
|
||||||
|
|
||||||
|
/// Reads from or writes to the source or target identified by a DataPointer, relying upon two user-supplied classes:
|
||||||
|
///
|
||||||
|
/// * a register bank; and
|
||||||
|
/// * a memory pool.
|
||||||
|
///
|
||||||
|
/// The register bank should implement `template<typename DataT, Register> DataT read()` and `template<typename DataT, Register> void write(DataT)`.
|
||||||
|
/// Those functions will be called only with registers and data types that are appropriate to the @c model.
|
||||||
|
///
|
||||||
|
/// The memory pool should implement `template<typename DataT> DataT read(Source segment, uint32_t address)` and
|
||||||
|
/// `template<typename DataT> void write(Source segment, uint32_t address, DataT value)`.
|
||||||
|
template <Model model, typename RegistersT, typename MemoryT> class DataPointerResolver {
|
||||||
|
public:
|
||||||
|
template <typename DataT> DataT read(
|
||||||
|
RegistersT ®isters,
|
||||||
|
MemoryT &memory,
|
||||||
|
const Instruction<is_32bit(model)> &instruction,
|
||||||
|
DataPointer pointer,
|
||||||
|
decltype(RegistersT::eSP) memory_mask = ~0) {
|
||||||
|
DataT result;
|
||||||
|
access<true>(registers, memory, instruction, pointer, memory_mask, result);
|
||||||
|
return result;
|
||||||
|
}
|
||||||
|
|
||||||
|
template <typename DataT> void write(
|
||||||
|
RegistersT ®isters,
|
||||||
|
MemoryT &memory,
|
||||||
|
const Instruction<is_32bit(model)> &instruction,
|
||||||
|
DataPointer pointer,
|
||||||
|
DataT value,
|
||||||
|
decltype(RegistersT::eSP) memory_mask = ~0) {
|
||||||
|
access<false>(registers, memory, instruction, pointer, memory_mask, value);
|
||||||
|
}
|
||||||
|
|
||||||
|
private:
|
||||||
|
template <bool is_write, typename DataT> DataT access(
|
||||||
|
RegistersT ®isters,
|
||||||
|
MemoryT &memory,
|
||||||
|
const Instruction<is_32bit(model)> &instruction,
|
||||||
|
DataPointer pointer,
|
||||||
|
decltype(RegistersT::eSP) memory_mask,
|
||||||
|
DataT &value) {
|
||||||
|
const Source source = pointer.source();
|
||||||
|
|
||||||
|
#define read_or_write(v, x, allow_write) \
|
||||||
|
case Source::x: \
|
||||||
|
if constexpr(allow_write && is_write) {\
|
||||||
|
registers.template write<DataT, register_for_source<DataT>(Source::x)>(v); \
|
||||||
|
} else { \
|
||||||
|
value = registers.template read<DataT, register_for_source<DataT>(Source::x)>(); \
|
||||||
|
}
|
||||||
|
|
||||||
|
#define ALLREGS(v) f(v, eAX); f(v, eCX); f(v, eDX); f(v, eBX); \
|
||||||
|
f(v, eSPorAH); f(v, eBPorCH); f(v, eSIorDH); f(v, eDIorBH); \
|
||||||
|
f(v, ES); f(v, CS); f(v, SS); f(v, DS); f(v, FS); f(v, GS);
|
||||||
|
|
||||||
|
switch(source) {
|
||||||
|
default: return DataT(0);
|
||||||
|
#define f(x, y) read_or_write(x, y, true)
|
||||||
|
ALLREGS(value);
|
||||||
|
#undef f
|
||||||
|
|
||||||
|
case Source::DirectAddress:
|
||||||
|
if constexpr(is_write) {
|
||||||
|
memory.template write<DataT>(instruction.data_segment(), instruction.displacement(), value);
|
||||||
|
} else {
|
||||||
|
value = memory.template read<DataT>(instruction.data_segment(), instruction.displacement());
|
||||||
|
}
|
||||||
|
break;
|
||||||
|
case Source::Immediate:
|
||||||
|
value = DataT(instruction.operand());
|
||||||
|
break;
|
||||||
|
|
||||||
|
case Source::Indirect: {
|
||||||
|
uint32_t base = 0, index = 0;
|
||||||
|
|
||||||
|
#define f(x, y) read_or_write(x, y, false)
|
||||||
|
switch(pointer.base()) {
|
||||||
|
default: break;
|
||||||
|
ALLREGS(base);
|
||||||
|
}
|
||||||
|
|
||||||
|
switch(pointer.index()) {
|
||||||
|
default: break;
|
||||||
|
ALLREGS(index);
|
||||||
|
}
|
||||||
|
#undef f
|
||||||
|
|
||||||
|
if constexpr (model >= Model::i80386) {
|
||||||
|
index <<= pointer.scale();
|
||||||
|
}
|
||||||
|
|
||||||
|
// TODO: verify application of memory_mask here.
|
||||||
|
value = memory.template get<DataT>(
|
||||||
|
instruction.data_segment(),
|
||||||
|
(base & memory_mask) + (index & memory_mask)
|
||||||
|
);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
#undef ALLREGS
|
||||||
|
}
|
||||||
|
|
||||||
|
template <typename DataT> constexpr static Register register_for_source(Source source) {
|
||||||
|
if constexpr (sizeof(DataT) == 4) {
|
||||||
|
switch(source) {
|
||||||
|
case Source::eAX: return Register::EAX;
|
||||||
|
case Source::eCX: return Register::ECX;
|
||||||
|
case Source::eDX: return Register::EDX;
|
||||||
|
case Source::eBX: return Register::EBX;
|
||||||
|
case Source::eSPorAH: return Register::ESP;
|
||||||
|
case Source::eBPorCH: return Register::EBP;
|
||||||
|
case Source::eSIorDH: return Register::ESI;
|
||||||
|
case Source::eDIorBH: return Register::EDI;
|
||||||
|
|
||||||
|
default: break;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
if constexpr (sizeof(DataT) == 2) {
|
||||||
|
switch(source) {
|
||||||
|
case Source::eAX: return Register::AX;
|
||||||
|
case Source::eCX: return Register::CX;
|
||||||
|
case Source::eDX: return Register::DX;
|
||||||
|
case Source::eBX: return Register::BX;
|
||||||
|
case Source::eSPorAH: return Register::SP;
|
||||||
|
case Source::eBPorCH: return Register::BP;
|
||||||
|
case Source::eSIorDH: return Register::SI;
|
||||||
|
case Source::eDIorBH: return Register::DI;
|
||||||
|
case Source::ES: return Register::ES;
|
||||||
|
case Source::CS: return Register::CS;
|
||||||
|
case Source::SS: return Register::SS;
|
||||||
|
case Source::DS: return Register::DS;
|
||||||
|
case Source::FS: return Register::FS;
|
||||||
|
case Source::GS: return Register::GS;
|
||||||
|
|
||||||
|
default: break;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
if constexpr (sizeof(DataT) == 1) {
|
||||||
|
switch(source) {
|
||||||
|
case Source::eAX: return Register::AL;
|
||||||
|
case Source::eCX: return Register::CL;
|
||||||
|
case Source::eDX: return Register::DL;
|
||||||
|
case Source::eBX: return Register::BL;
|
||||||
|
case Source::eSPorAH: return Register::AH;
|
||||||
|
case Source::eBPorCH: return Register::CH;
|
||||||
|
case Source::eSIorDH: return Register::DH;
|
||||||
|
case Source::eDIorBH: return Register::BH;
|
||||||
|
|
||||||
|
default: break;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
return Register::None;
|
||||||
|
}
|
||||||
|
};
|
||||||
|
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
#endif /* DataPointerResolver_hpp */
|
@ -10,6 +10,7 @@
|
|||||||
#define InstructionSets_x86_Decoder_hpp
|
#define InstructionSets_x86_Decoder_hpp
|
||||||
|
|
||||||
#include "Instruction.hpp"
|
#include "Instruction.hpp"
|
||||||
|
#include "Model.hpp"
|
||||||
|
|
||||||
#include <cstddef>
|
#include <cstddef>
|
||||||
#include <utility>
|
#include <utility>
|
||||||
@ -17,13 +18,6 @@
|
|||||||
namespace InstructionSet {
|
namespace InstructionSet {
|
||||||
namespace x86 {
|
namespace x86 {
|
||||||
|
|
||||||
enum class Model {
|
|
||||||
i8086,
|
|
||||||
i80186,
|
|
||||||
i80286,
|
|
||||||
i80386,
|
|
||||||
};
|
|
||||||
|
|
||||||
/*!
|
/*!
|
||||||
Implements Intel x86 instruction decoding.
|
Implements Intel x86 instruction decoding.
|
||||||
|
|
||||||
|
@ -357,6 +357,12 @@ enum class Source: uint8_t {
|
|||||||
// Selectors.
|
// Selectors.
|
||||||
ES, CS, SS, DS, FS, GS,
|
ES, CS, SS, DS, FS, GS,
|
||||||
|
|
||||||
|
/// @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,
|
||||||
|
|
||||||
/// The address included within this instruction should be used as the source.
|
/// The address included within this instruction should be used as the source.
|
||||||
DirectAddress,
|
DirectAddress,
|
||||||
// TODO: is this better eliminated in favour of an indirect
|
// TODO: is this better eliminated in favour of an indirect
|
||||||
@ -365,11 +371,6 @@ enum class Source: uint8_t {
|
|||||||
/// The immediate value included within this instruction should be used as the source.
|
/// The immediate value included within this instruction should be used as the source.
|
||||||
Immediate,
|
Immediate,
|
||||||
|
|
||||||
/// @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.
|
|
||||||
None,
|
|
||||||
|
|
||||||
/// The ScaleIndexBase associated with this source should be used.
|
/// The ScaleIndexBase associated with this source should be used.
|
||||||
Indirect = 0b11000,
|
Indirect = 0b11000,
|
||||||
// Elsewhere, as an implementation detail, the low three bits of an indirect source
|
// Elsewhere, as an implementation detail, the low three bits of an indirect source
|
||||||
@ -554,16 +555,22 @@ template<bool is_32bit> class Instruction {
|
|||||||
/// this allows a denser packing of instructions into containers.
|
/// this allows a denser packing of instructions into containers.
|
||||||
size_t packing_size() const { return sizeof(*this); /* TODO */ }
|
size_t packing_size() const { return sizeof(*this); /* TODO */ }
|
||||||
|
|
||||||
DataPointer source() const { return DataPointer(Source(sources_ & 0x3f), sib_); }
|
DataPointer source() const { return DataPointer(Source(sources_ & 0x3f), sib_); }
|
||||||
DataPointer destination() const { return DataPointer(Source((sources_ >> 6) & 0x3f), sib_); }
|
DataPointer destination() const { return DataPointer(Source((sources_ >> 6) & 0x3f), sib_); }
|
||||||
bool lock() const { return sources_ & 0x8000; }
|
bool lock() const { return sources_ & 0x8000; }
|
||||||
bool address_size() const { return address_size_; }
|
bool address_size() const { return address_size_; }
|
||||||
Source segment_override() const { return Source((sources_ >> 12) & 7); }
|
Source data_segment() const {
|
||||||
|
const auto segment_override = Source((sources_ >> 12) & 7);
|
||||||
|
if(segment_override != Source::None) return segment_override;
|
||||||
|
|
||||||
|
// TODO: default source should be SS for anything touching the stack.
|
||||||
|
return Source::DS;
|
||||||
|
}
|
||||||
|
|
||||||
Repetition repetition() const { return Repetition(repetition_size_ & 3); }
|
Repetition repetition() const { return Repetition(repetition_size_ & 3); }
|
||||||
Size operation_size() const { return Size(repetition_size_ >> 2); }
|
Size operation_size() const { return Size(repetition_size_ >> 2); }
|
||||||
|
|
||||||
// TODO: confirm whether far call for some reason makes thse 32-bit in protected mode.
|
// TODO: confirm whether far call for some reason makes these 32-bit in protected mode.
|
||||||
uint16_t segment() const { return uint16_t(operand_); }
|
uint16_t segment() const { return uint16_t(operand_); }
|
||||||
uint16_t offset() const { return uint16_t(displacement_); }
|
uint16_t offset() const { return uint16_t(displacement_); }
|
||||||
|
|
||||||
|
27
InstructionSets/x86/Model.hpp
Normal file
27
InstructionSets/x86/Model.hpp
Normal file
@ -0,0 +1,27 @@
|
|||||||
|
//
|
||||||
|
// Model.hpp
|
||||||
|
// Clock Signal
|
||||||
|
//
|
||||||
|
// Created by Thomas Harte on 27/02/2022.
|
||||||
|
// Copyright © 2022 Thomas Harte. All rights reserved.
|
||||||
|
//
|
||||||
|
|
||||||
|
#ifndef Model_h
|
||||||
|
#define Model_h
|
||||||
|
|
||||||
|
namespace InstructionSet {
|
||||||
|
namespace x86 {
|
||||||
|
|
||||||
|
enum class Model {
|
||||||
|
i8086,
|
||||||
|
i80186,
|
||||||
|
i80286,
|
||||||
|
i80386,
|
||||||
|
};
|
||||||
|
|
||||||
|
#define is_32bit(model) (model >= Model::i80386)
|
||||||
|
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
#endif /* Model_h */
|
@ -2074,6 +2074,8 @@
|
|||||||
4BE3231520532AA7006EF799 /* Target.hpp */ = {isa = PBXFileReference; lastKnownFileType = sourcecode.cpp.h; path = Target.hpp; sourceTree = "<group>"; };
|
4BE3231520532AA7006EF799 /* Target.hpp */ = {isa = PBXFileReference; lastKnownFileType = sourcecode.cpp.h; path = Target.hpp; sourceTree = "<group>"; };
|
||||||
4BE3231620532BED006EF799 /* Target.hpp */ = {isa = PBXFileReference; lastKnownFileType = sourcecode.cpp.h; path = Target.hpp; sourceTree = "<group>"; };
|
4BE3231620532BED006EF799 /* Target.hpp */ = {isa = PBXFileReference; lastKnownFileType = sourcecode.cpp.h; path = Target.hpp; sourceTree = "<group>"; };
|
||||||
4BE34437238389E10058E78F /* AtariSTVideoTests.mm */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.cpp.objcpp; path = AtariSTVideoTests.mm; sourceTree = "<group>"; };
|
4BE34437238389E10058E78F /* AtariSTVideoTests.mm */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.cpp.objcpp; path = AtariSTVideoTests.mm; sourceTree = "<group>"; };
|
||||||
|
4BE3C69327C793EF000EAD28 /* DataPointerResolver.hpp */ = {isa = PBXFileReference; lastKnownFileType = sourcecode.cpp.h; path = DataPointerResolver.hpp; sourceTree = "<group>"; };
|
||||||
|
4BE3C69527CBC540000EAD28 /* Model.hpp */ = {isa = PBXFileReference; lastKnownFileType = sourcecode.cpp.h; path = Model.hpp; sourceTree = "<group>"; };
|
||||||
4BE76CF822641ED300ACD6FA /* QLTests.mm */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.cpp.objcpp; path = QLTests.mm; sourceTree = "<group>"; };
|
4BE76CF822641ED300ACD6FA /* QLTests.mm */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.cpp.objcpp; path = QLTests.mm; sourceTree = "<group>"; };
|
||||||
4BE845201F2FF7F100A5EA22 /* CRTC6845.hpp */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.cpp.h; path = CRTC6845.hpp; sourceTree = "<group>"; };
|
4BE845201F2FF7F100A5EA22 /* CRTC6845.hpp */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.cpp.h; path = CRTC6845.hpp; sourceTree = "<group>"; };
|
||||||
4BE8EB5425C0E9D40040BC40 /* Disassembler.hpp */ = {isa = PBXFileReference; lastKnownFileType = sourcecode.cpp.h; path = Disassembler.hpp; sourceTree = "<group>"; };
|
4BE8EB5425C0E9D40040BC40 /* Disassembler.hpp */ = {isa = PBXFileReference; lastKnownFileType = sourcecode.cpp.h; path = Disassembler.hpp; sourceTree = "<group>"; };
|
||||||
@ -4731,6 +4733,8 @@
|
|||||||
4BEDA3B925B25563000C2DBD /* Decoder.cpp */,
|
4BEDA3B925B25563000C2DBD /* Decoder.cpp */,
|
||||||
4BEDA3B825B25563000C2DBD /* Decoder.hpp */,
|
4BEDA3B825B25563000C2DBD /* Decoder.hpp */,
|
||||||
4BEDA3DB25B2588F000C2DBD /* Instruction.hpp */,
|
4BEDA3DB25B2588F000C2DBD /* Instruction.hpp */,
|
||||||
|
4BE3C69327C793EF000EAD28 /* DataPointerResolver.hpp */,
|
||||||
|
4BE3C69527CBC540000EAD28 /* Model.hpp */,
|
||||||
);
|
);
|
||||||
path = x86;
|
path = x86;
|
||||||
sourceTree = "<group>";
|
sourceTree = "<group>";
|
||||||
|
@ -12,6 +12,7 @@
|
|||||||
#include <optional>
|
#include <optional>
|
||||||
#include <vector>
|
#include <vector>
|
||||||
#include "../../../InstructionSets/x86/Decoder.hpp"
|
#include "../../../InstructionSets/x86/Decoder.hpp"
|
||||||
|
#include "../../../InstructionSets/x86/DataPointerResolver.hpp"
|
||||||
|
|
||||||
namespace {
|
namespace {
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user