6502/CLK
1
0
Fork 0
mirror of https://github.com/TomHarte/CLK.git synced 2026-03-11 04:42:20 +00:00
Code Issues Projects Releases Wiki Activity

Start bashing out an attempt at is_context.

Browse Source
This commit is contained in:
Thomas Harte
2025-04-27 23:40:40 -04:00
parent 6cf825d3d8
commit f6bb502e87
2 changed files with 43 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
InstructionSets/x86/Implementation/PerformImplementation.hpp
View File

@@ -533,7 +533,9 @@ template <
template <
InstructionType type,
typename ContextT
> void perform(
>
requires is_context<ContextT>
void perform(
const Instruction<type> &instruction,
ContextT &context
) {
@@ -597,7 +599,9 @@ template <
template <
typename ContextT
> void interrupt(
>
requires is_context<ContextT>
void interrupt(
const int index,
ContextT &context
) {

39
InstructionSets/x86/Perform.hpp
View File

@@ -12,8 +12,39 @@
#include "Model.hpp"
#include "Flags.hpp"
#include <concepts>
namespace InstructionSet::x86 {
template <typename RegistersT, Model model>
concept is_registers = true;
template <typename SegmentsT, Model model>
concept is_segments = true;
template <typename LinearMemoryT, Model model>
concept is_linear_memory = true;
template <typename SegmentedMemoryT, Model model>
concept is_segmented_memory = true;
template <typename FlowControllerT, Model model>
concept is_flow_controller = true;
template <typename CPUControlT, Model model>
concept is_cpu_control = true;
template <typename ContextT>
concept is_context = requires(ContextT context) {
{ context.flags } -> std::same_as<InstructionSet::x86::Flags &>;
{ context.registers } -> is_registers<ContextT::model>;
{ context.segments } -> is_segments<ContextT::model>;
{ context.memory } -> is_segmented_memory<ContextT::model>;
{ context.linear_memory } -> is_linear_memory<ContextT::model>;
{ context.flow_controller } -> is_flow_controller<ContextT::model>;
// TODO: is < 286 or has is_cpu_control for .cpu_control.
};
/// Performs @c instruction querying @c registers and/or @c memory as required, using @c io for port input/output,
/// and providing any flow control effects to @c flow_controller.
@@ -22,7 +53,9 @@ namespace InstructionSet::x86 {
template <
InstructionType type,
typename ContextT
> void perform(
>
requires is_context<ContextT>
void perform(
const Instruction<type> &instruction,
ContextT &context
);
@@ -30,7 +63,9 @@ template <
/// Performs an x86 INT operation; also often used by other operations to indicate an error.
template <
typename ContextT
> void interrupt(
>
requires is_context<ContextT>
void interrupt(
int index,
ContextT &context
);