1
0
mirror of https://github.com/TomHarte/CLK.git synced 2024-11-02 16:04:59 +00:00
CLK/InstructionSets/M68k/Sequence.hpp
2022-05-01 13:00:20 -04:00

78 lines
1.8 KiB
C++

//
// Sequencer.hpp
// Clock Signal
//
// Created by Thomas Harte on 29/04/2022.
// Copyright © 2022 Thomas Harte. All rights reserved.
//
#ifndef InstructionSets_68k_Sequencer_hpp
#define InstructionSets_68k_Sequencer_hpp
#include "Instruction.hpp"
#include "Model.hpp"
namespace InstructionSet {
namespace M68k {
/// Additional guarantees: [Fetch/Store][1/2] have an LSB of 0 for
/// operand 1, and an LSB of 1 for operand 2.
enum class Step {
/// No further steps remain.
Done,
/// Do the logical operation.
Perform,
/// Fetch the value of operand 1.
FetchOp1,
/// Fetch the value of operand 2.
FetchOp2,
/// Store the value of operand 1.
StoreOp1,
/// Store the value of operand 2.
StoreOp2,
/// A catch-all for bus activity that doesn't fit the pattern
/// of fetch/stop operand 1/2, e.g. this opaquely covers almost
/// the entirety of MOVEM.
///
/// TODO: list all operations that contain this step,
/// and to cover what activity.
SpecificBusActivity,
Max = SpecificBusActivity
};
/// Indicates the abstract steps necessary to perform an operation,
/// at least as far as that's generic.
template<Model model> class Sequence {
public:
Sequence(Operation);
/// @returns The next @c Step to perform, or @c Done
/// if no further steps remain. This step is removed from the
/// list of remaining steps.
Step pop_front() {
static_assert(int(Step::Max) < 16);
const auto step = Step(steps_ & 15);
steps_ >>= 4;
return step;
}
/// @returns @c true if no steps other than @c Done remain;
/// @c false otherwise.
bool empty() {
return !steps_;
}
private:
uint32_t steps_ = 0;
uint32_t steps_for(Operation);
};
static_assert(sizeof(Sequence<Model::M68000>) == sizeof(uint32_t));
}
}
#endif /* InstructionSets_68k_Sequencer_h */