mirror of
https://github.com/TomHarte/CLK.git
synced 2024-09-06 05:54:28 +00:00
Merge pull request #1184 from TomHarte/CompactInstruction
Compact normalised x86 instructions.
This commit is contained in:
commit
b9891d25ee
@ -33,8 +33,7 @@ std::pair<int, typename Decoder<model>::InstructionT> Decoder<model>::decode(con
|
||||
|
||||
/// Sets the operation and verifies that the current repetition, if any, is compatible, discarding it otherwise.
|
||||
#define SetOperation(op) \
|
||||
operation_ = op; \
|
||||
repetition_ = supports(op, repetition_) ? repetition_ : Repetition::None
|
||||
operation_ = rep_operation(op, repetition_);
|
||||
|
||||
/// Helper macro for those that follow.
|
||||
#define SetOpSrcDestSize(op, src, dest, size) \
|
||||
@ -1052,11 +1051,9 @@ std::pair<int, typename Decoder<model>::InstructionT> Decoder<model>::decode(con
|
||||
lock_,
|
||||
address_size_,
|
||||
segment_override_,
|
||||
repetition_,
|
||||
operation_size_,
|
||||
static_cast<typename InstructionT::DisplacementT>(displacement_),
|
||||
static_cast<typename InstructionT::ImmediateT>(operand_),
|
||||
consumed_
|
||||
static_cast<typename InstructionT::ImmediateT>(operand_)
|
||||
)
|
||||
);
|
||||
reset_parsing();
|
||||
@ -1067,7 +1064,7 @@ std::pair<int, typename Decoder<model>::InstructionT> Decoder<model>::decode(con
|
||||
if(consumed_ == max_instruction_length) {
|
||||
std::pair<int, InstructionT> result;
|
||||
if(max_instruction_length == 65536) {
|
||||
result = std::make_pair(consumed_, InstructionT(Operation::NOP, consumed_));
|
||||
result = std::make_pair(consumed_, InstructionT(Operation::NOP));
|
||||
} else {
|
||||
result = std::make_pair(consumed_, InstructionT());
|
||||
}
|
||||
|
@ -184,8 +184,7 @@ IntT *resolve(
|
||||
|
||||
// If execution has reached here then a memory fetch is required.
|
||||
// Do it and exit.
|
||||
const Source segment = pointer.segment(instruction.segment_override());
|
||||
return &memory.template access<IntT>(segment, target_address);
|
||||
return &memory.template access<IntT>(instruction.data_segment(), target_address);
|
||||
};
|
||||
|
||||
namespace Primitive {
|
||||
@ -859,7 +858,7 @@ void call_far(InstructionT &instruction,
|
||||
break;
|
||||
}
|
||||
|
||||
const Source source_segment = pointer.segment(instruction.segment_override());
|
||||
const Source source_segment = instruction.data_segment();
|
||||
|
||||
const uint16_t offset = memory.template access<uint16_t>(source_segment, source_address);
|
||||
source_address += 2;
|
||||
@ -891,7 +890,7 @@ void jump_far(InstructionT &instruction,
|
||||
break;
|
||||
}
|
||||
|
||||
const Source source_segment = pointer.segment(instruction.segment_override());
|
||||
const Source source_segment = instruction.data_segment();
|
||||
|
||||
const uint16_t offset = memory.template access<uint16_t>(source_segment, source_address);
|
||||
source_address += 2;
|
||||
@ -932,7 +931,7 @@ void ld(
|
||||
) {
|
||||
const auto pointer = instruction.source();
|
||||
auto source_address = address<model, uint16_t>(instruction, pointer, registers, memory);
|
||||
const Source source_segment = pointer.segment(instruction.segment_override());
|
||||
const Source source_segment = instruction.data_segment();
|
||||
|
||||
destination = memory.template access<uint16_t>(source_segment, source_address);
|
||||
source_address += 2;
|
||||
@ -959,15 +958,12 @@ void xlat(
|
||||
MemoryT &memory,
|
||||
RegistersT ®isters
|
||||
) {
|
||||
Source source_segment = instruction.segment_override();
|
||||
if(source_segment == Source::None) source_segment = Source::DS;
|
||||
|
||||
AddressT address;
|
||||
if constexpr (std::is_same_v<AddressT, uint16_t>) {
|
||||
address = registers.bx() + registers.al();
|
||||
}
|
||||
|
||||
registers.al() = memory.template access<uint8_t>(source_segment, address);
|
||||
registers.al() = memory.template access<uint8_t>(instruction.data_segment(), address);
|
||||
}
|
||||
|
||||
template <typename IntT>
|
||||
@ -1379,57 +1375,47 @@ void pushf(MemoryT &memory, RegistersT ®isters, Status &status) {
|
||||
push<uint16_t>(value, memory, registers);
|
||||
}
|
||||
|
||||
template <typename AddressT, typename InstructionT>
|
||||
bool repetition_over(const InstructionT &instruction, AddressT &eCX) {
|
||||
return instruction.repetition() != Repetition::None && !eCX;
|
||||
template <typename AddressT, Repetition repetition>
|
||||
bool repetition_over(const AddressT &eCX) {
|
||||
return repetition != Repetition::None && !eCX;
|
||||
}
|
||||
|
||||
template <typename AddressT, typename InstructionT, typename FlowControllerT>
|
||||
void repeat_ene(const InstructionT &instruction, Status &status, AddressT &eCX, FlowControllerT &flow_controller) {
|
||||
template <typename AddressT, Repetition repetition, typename FlowControllerT>
|
||||
void repeat([[maybe_unused]] Status &status, AddressT &eCX, FlowControllerT &flow_controller) {
|
||||
if(
|
||||
instruction.repetition() == Repetition::None || // No repetition => stop.
|
||||
!(--eCX) || // [e]cx is zero after being decremented => stop.
|
||||
(instruction.repetition() == Repetition::RepNE) == status.flag<Flag::Zero>()
|
||||
// repe and !zero, or repne and zero => stop.
|
||||
) {
|
||||
return;
|
||||
}
|
||||
flow_controller.repeat_last();
|
||||
}
|
||||
|
||||
template <typename AddressT, typename InstructionT, typename FlowControllerT>
|
||||
void repeat(const InstructionT &instruction, AddressT &eCX, FlowControllerT &flow_controller) {
|
||||
if(
|
||||
instruction.repetition() == Repetition::None || // No repetition => stop.
|
||||
repetition == Repetition::None || // No repetition => stop.
|
||||
!(--eCX) // [e]cx is zero after being decremented => stop.
|
||||
) {
|
||||
return;
|
||||
}
|
||||
if constexpr (repetition != Repetition::Rep) {
|
||||
// If this is RepE or RepNE, also test the zero flag.
|
||||
if((repetition == Repetition::RepNE) == status.flag<Flag::Zero>()) {
|
||||
return;
|
||||
}
|
||||
}
|
||||
flow_controller.repeat_last();
|
||||
}
|
||||
|
||||
template <typename IntT, typename AddressT, typename InstructionT, typename MemoryT, typename FlowControllerT>
|
||||
template <typename IntT, typename AddressT, Repetition repetition, typename InstructionT, typename MemoryT, typename FlowControllerT>
|
||||
void cmps(const InstructionT &instruction, AddressT &eCX, AddressT &eSI, AddressT &eDI, MemoryT &memory, Status &status, FlowControllerT &flow_controller) {
|
||||
if(repetition_over<AddressT>(instruction, eCX)) {
|
||||
if(repetition_over<AddressT, repetition>(eCX)) {
|
||||
return;
|
||||
}
|
||||
|
||||
Source source_segment = instruction.segment_override();
|
||||
if(source_segment == Source::None) source_segment = Source::DS;
|
||||
|
||||
IntT lhs = memory.template access<IntT>(source_segment, eSI);
|
||||
IntT lhs = memory.template access<IntT>(instruction.data_segment(), eSI);
|
||||
const IntT rhs = memory.template access<IntT>(Source::ES, eDI);
|
||||
eSI += status.direction<AddressT>() * sizeof(IntT);
|
||||
eDI += status.direction<AddressT>() * sizeof(IntT);
|
||||
|
||||
Primitive::sub<false, false>(lhs, rhs, status);
|
||||
|
||||
repeat_ene<AddressT>(instruction, status, eCX, flow_controller);
|
||||
repeat<AddressT, repetition>(status, eCX, flow_controller);
|
||||
}
|
||||
|
||||
template <typename IntT, typename AddressT, typename InstructionT, typename MemoryT, typename FlowControllerT>
|
||||
void scas(const InstructionT &instruction, AddressT &eCX, AddressT &eDI, IntT &eAX, MemoryT &memory, Status &status, FlowControllerT &flow_controller) {
|
||||
if(repetition_over<AddressT>(instruction, eCX)) {
|
||||
template <typename IntT, typename AddressT, Repetition repetition, typename MemoryT, typename FlowControllerT>
|
||||
void scas(AddressT &eCX, AddressT &eDI, IntT &eAX, MemoryT &memory, Status &status, FlowControllerT &flow_controller) {
|
||||
if(repetition_over<AddressT, repetition>(eCX)) {
|
||||
return;
|
||||
}
|
||||
|
||||
@ -1438,77 +1424,69 @@ void scas(const InstructionT &instruction, AddressT &eCX, AddressT &eDI, IntT &e
|
||||
|
||||
Primitive::sub<false, false>(eAX, rhs, status);
|
||||
|
||||
repeat_ene<AddressT>(instruction, status, eCX, flow_controller);
|
||||
repeat<AddressT, repetition>(status, eCX, flow_controller);
|
||||
}
|
||||
|
||||
template <typename IntT, typename AddressT, typename InstructionT, typename MemoryT, typename FlowControllerT>
|
||||
template <typename IntT, typename AddressT, Repetition repetition, typename InstructionT, typename MemoryT, typename FlowControllerT>
|
||||
void lods(const InstructionT &instruction, AddressT &eCX, AddressT &eSI, IntT &eAX, MemoryT &memory, Status &status, FlowControllerT &flow_controller) {
|
||||
if(repetition_over<AddressT>(instruction, eCX)) {
|
||||
if(repetition_over<AddressT, repetition>(eCX)) {
|
||||
return;
|
||||
}
|
||||
|
||||
Source source_segment = instruction.segment_override();
|
||||
if(source_segment == Source::None) source_segment = Source::DS;
|
||||
|
||||
eAX = memory.template access<IntT>(source_segment, eSI);
|
||||
eAX = memory.template access<IntT>(instruction.data_segment(), eSI);
|
||||
eSI += status.direction<AddressT>() * sizeof(IntT);
|
||||
|
||||
repeat<AddressT>(instruction, eCX, flow_controller);
|
||||
repeat<AddressT, repetition>(status, eCX, flow_controller);
|
||||
}
|
||||
|
||||
template <typename IntT, typename AddressT, typename InstructionT, typename MemoryT, typename FlowControllerT>
|
||||
template <typename IntT, typename AddressT, Repetition repetition, typename InstructionT, typename MemoryT, typename FlowControllerT>
|
||||
void movs(const InstructionT &instruction, AddressT &eCX, AddressT &eSI, AddressT &eDI, MemoryT &memory, Status &status, FlowControllerT &flow_controller) {
|
||||
if(repetition_over<AddressT>(instruction, eCX)) {
|
||||
if(repetition_over<AddressT, repetition>(eCX)) {
|
||||
return;
|
||||
}
|
||||
|
||||
Source source_segment = instruction.segment_override();
|
||||
if(source_segment == Source::None) source_segment = Source::DS;
|
||||
|
||||
memory.template access<IntT>(Source::ES, eDI) = memory.template access<IntT>(source_segment, eSI);
|
||||
memory.template access<IntT>(Source::ES, eDI) = memory.template access<IntT>(instruction.data_segment(), eSI);
|
||||
|
||||
eSI += status.direction<AddressT>() * sizeof(IntT);
|
||||
eDI += status.direction<AddressT>() * sizeof(IntT);
|
||||
|
||||
repeat<AddressT>(instruction, eCX, flow_controller);
|
||||
repeat<AddressT, repetition>(status, eCX, flow_controller);
|
||||
}
|
||||
|
||||
template <typename IntT, typename AddressT, typename InstructionT, typename MemoryT, typename FlowControllerT>
|
||||
void stos(const InstructionT &instruction, AddressT &eCX, AddressT &eDI, IntT &eAX, MemoryT &memory, Status &status, FlowControllerT &flow_controller) {
|
||||
if(repetition_over<AddressT>(instruction, eCX)) {
|
||||
template <typename IntT, typename AddressT, Repetition repetition, typename MemoryT, typename FlowControllerT>
|
||||
void stos(AddressT &eCX, AddressT &eDI, IntT &eAX, MemoryT &memory, Status &status, FlowControllerT &flow_controller) {
|
||||
if(repetition_over<AddressT, repetition>(eCX)) {
|
||||
return;
|
||||
}
|
||||
|
||||
memory.template access<IntT>(Source::ES, eDI) = eAX;
|
||||
eDI += status.direction<AddressT>() * sizeof(IntT);
|
||||
|
||||
repeat<AddressT>(instruction, eCX, flow_controller);
|
||||
repeat<AddressT, repetition>(status, eCX, flow_controller);
|
||||
}
|
||||
|
||||
template <typename IntT, typename AddressT, typename InstructionT, typename MemoryT, typename IOT, typename FlowControllerT>
|
||||
template <typename IntT, typename AddressT, Repetition repetition, typename InstructionT, typename MemoryT, typename IOT, typename FlowControllerT>
|
||||
void outs(const InstructionT &instruction, AddressT &eCX, uint16_t port, AddressT &eSI, MemoryT &memory, IOT &io, Status &status, FlowControllerT &flow_controller) {
|
||||
if(repetition_over<AddressT>(instruction, eCX)) {
|
||||
if(repetition_over<AddressT, repetition>(eCX)) {
|
||||
return;
|
||||
}
|
||||
|
||||
Source source_segment = instruction.segment_override();
|
||||
if(source_segment == Source::None) source_segment = Source::DS;
|
||||
io.template out<IntT>(port, memory.template access<IntT>(source_segment, eSI));
|
||||
io.template out<IntT>(port, memory.template access<IntT>(instruction.data_segment(), eSI));
|
||||
eSI += status.direction<AddressT>() * sizeof(IntT);
|
||||
|
||||
repeat<AddressT>(instruction, eCX, flow_controller);
|
||||
repeat<AddressT, repetition>(status, eCX, flow_controller);
|
||||
}
|
||||
|
||||
template <typename IntT, typename AddressT, typename InstructionT, typename MemoryT, typename IOT, typename FlowControllerT>
|
||||
void ins(const InstructionT &instruction, AddressT &eCX, uint16_t port, AddressT &eDI, MemoryT &memory, IOT &io, Status &status, FlowControllerT &flow_controller) {
|
||||
if(repetition_over<AddressT>(instruction, eCX)) {
|
||||
template <typename IntT, typename AddressT, Repetition repetition, typename MemoryT, typename IOT, typename FlowControllerT>
|
||||
void ins(AddressT &eCX, uint16_t port, AddressT &eDI, MemoryT &memory, IOT &io, Status &status, FlowControllerT &flow_controller) {
|
||||
if(repetition_over<AddressT, repetition>(eCX)) {
|
||||
return;
|
||||
}
|
||||
|
||||
memory.template access<IntT>(Source::ES, eDI) = io.template in<IntT>(port);
|
||||
eDI += status.direction<AddressT>() * sizeof(IntT);
|
||||
|
||||
repeat<AddressT>(instruction, eCX, flow_controller);
|
||||
repeat<AddressT, repetition>(status, eCX, flow_controller);
|
||||
}
|
||||
|
||||
template <typename IntT, typename IOT>
|
||||
@ -1626,7 +1604,7 @@ template <
|
||||
// Gets the port for an IN or OUT; these are always 16-bit.
|
||||
const auto port = [&](Source source) -> uint16_t {
|
||||
switch(source) {
|
||||
case Source::DirectAddress: return instruction.operand();
|
||||
case Source::DirectAddress: return instruction.offset();
|
||||
default: return registers.dx();
|
||||
}
|
||||
};
|
||||
@ -1636,7 +1614,7 @@ template <
|
||||
// * use hard-coded register names where appropriate;
|
||||
// * return directly if there is definitely no possible write back to RAM;
|
||||
// * otherwise use the source() and destination() lambdas, and break in order to allow a writeback if necessary.
|
||||
switch(instruction.operation) {
|
||||
switch(instruction.operation()) {
|
||||
default:
|
||||
assert(false);
|
||||
|
||||
@ -1774,25 +1752,58 @@ template <
|
||||
case Operation::PUSHF: Primitive::pushf(memory, registers, status); break;
|
||||
|
||||
case Operation::CMPS:
|
||||
Primitive::cmps<IntT, AddressT>(instruction, eCX(), eSI(), eDI(), memory, status, flow_controller);
|
||||
Primitive::cmps<IntT, AddressT, Repetition::None>(instruction, eCX(), eSI(), eDI(), memory, status, flow_controller);
|
||||
break;
|
||||
case Operation::LODS:
|
||||
Primitive::lods<IntT, AddressT>(instruction, eCX(), eSI(), pair_low(), memory, status, flow_controller);
|
||||
case Operation::CMPS_REPE:
|
||||
Primitive::cmps<IntT, AddressT, Repetition::RepE>(instruction, eCX(), eSI(), eDI(), memory, status, flow_controller);
|
||||
break;
|
||||
case Operation::MOVS:
|
||||
Primitive::movs<IntT, AddressT>(instruction, eCX(), eSI(), eDI(), memory, status, flow_controller);
|
||||
break;
|
||||
case Operation::STOS:
|
||||
Primitive::stos<IntT, AddressT>(instruction, eCX(), eDI(), pair_low(), memory, status, flow_controller);
|
||||
case Operation::CMPS_REPNE:
|
||||
Primitive::cmps<IntT, AddressT, Repetition::RepNE>(instruction, eCX(), eSI(), eDI(), memory, status, flow_controller);
|
||||
break;
|
||||
|
||||
case Operation::SCAS:
|
||||
Primitive::scas<IntT, AddressT>(instruction, eCX(), eDI(), pair_low(), memory, status, flow_controller);
|
||||
Primitive::scas<IntT, AddressT, Repetition::None>(eCX(), eDI(), pair_low(), memory, status, flow_controller);
|
||||
break;
|
||||
case Operation::SCAS_REPE:
|
||||
Primitive::scas<IntT, AddressT, Repetition::RepE>(eCX(), eDI(), pair_low(), memory, status, flow_controller);
|
||||
break;
|
||||
case Operation::SCAS_REPNE:
|
||||
Primitive::scas<IntT, AddressT, Repetition::RepNE>(eCX(), eDI(), pair_low(), memory, status, flow_controller);
|
||||
break;
|
||||
|
||||
case Operation::LODS:
|
||||
Primitive::lods<IntT, AddressT, Repetition::None>(instruction, eCX(), eSI(), pair_low(), memory, status, flow_controller);
|
||||
break;
|
||||
case Operation::LODS_REP:
|
||||
Primitive::lods<IntT, AddressT, Repetition::Rep>(instruction, eCX(), eSI(), pair_low(), memory, status, flow_controller);
|
||||
break;
|
||||
|
||||
case Operation::MOVS:
|
||||
Primitive::movs<IntT, AddressT, Repetition::None>(instruction, eCX(), eSI(), eDI(), memory, status, flow_controller);
|
||||
break;
|
||||
case Operation::MOVS_REP:
|
||||
Primitive::movs<IntT, AddressT, Repetition::Rep>(instruction, eCX(), eSI(), eDI(), memory, status, flow_controller);
|
||||
break;
|
||||
|
||||
case Operation::STOS:
|
||||
Primitive::stos<IntT, AddressT, Repetition::None>(eCX(), eDI(), pair_low(), memory, status, flow_controller);
|
||||
break;
|
||||
case Operation::STOS_REP:
|
||||
Primitive::stos<IntT, AddressT, Repetition::Rep>(eCX(), eDI(), pair_low(), memory, status, flow_controller);
|
||||
break;
|
||||
|
||||
case Operation::OUTS:
|
||||
Primitive::outs<IntT, AddressT>(instruction, eCX(), registers.dx(), eSI(), memory, io, status, flow_controller);
|
||||
Primitive::outs<IntT, AddressT, Repetition::None>(instruction, eCX(), registers.dx(), eSI(), memory, io, status, flow_controller);
|
||||
break;
|
||||
case Operation::OUTS_REP:
|
||||
Primitive::outs<IntT, AddressT, Repetition::Rep>(instruction, eCX(), registers.dx(), eSI(), memory, io, status, flow_controller);
|
||||
break;
|
||||
|
||||
case Operation::INS:
|
||||
Primitive::outs<IntT, AddressT>(instruction, eCX(), registers.dx(), eDI(), memory, io, status, flow_controller);
|
||||
Primitive::ins<IntT, AddressT, Repetition::None>(eCX(), registers.dx(), eDI(), memory, io, status, flow_controller);
|
||||
break;
|
||||
case Operation::INS_REP:
|
||||
Primitive::ins<IntT, AddressT, Repetition::Rep>(eCX(), registers.dx(), eDI(), memory, io, status, flow_controller);
|
||||
break;
|
||||
}
|
||||
|
||||
|
@ -160,22 +160,54 @@ std::string InstructionSet::x86::to_string(Operation operation, DataSize size, M
|
||||
constexpr char sizes[][6] = { "cmpsb", "cmpsw", "cmpsd", "?" };
|
||||
return sizes[static_cast<int>(size)];
|
||||
}
|
||||
case Operation::LODS: {
|
||||
constexpr char sizes[][6] = { "lodsb", "lodsw", "lodsd", "?" };
|
||||
case Operation::CMPS_REPE: {
|
||||
constexpr char sizes[][11] = { "repe cmpsb", "repe cmpsw", "repe cmpsd", "?" };
|
||||
return sizes[static_cast<int>(size)];
|
||||
}
|
||||
case Operation::MOVS: {
|
||||
constexpr char sizes[][6] = { "movsb", "movsw", "movsd", "?" };
|
||||
case Operation::CMPS_REPNE: {
|
||||
constexpr char sizes[][12] = { "repne cmpsb", "repne cmpsw", "repne cmpsd", "?" };
|
||||
return sizes[static_cast<int>(size)];
|
||||
}
|
||||
|
||||
case Operation::SCAS: {
|
||||
constexpr char sizes[][6] = { "scasb", "scasw", "scasd", "?" };
|
||||
return sizes[static_cast<int>(size)];
|
||||
}
|
||||
case Operation::SCAS_REPE: {
|
||||
constexpr char sizes[][11] = { "repe scasb", "repe scasw", "repe scasd", "?" };
|
||||
return sizes[static_cast<int>(size)];
|
||||
}
|
||||
case Operation::SCAS_REPNE: {
|
||||
constexpr char sizes[][12] = { "repne scasb", "repne scasw", "repne scasd", "?" };
|
||||
return sizes[static_cast<int>(size)];
|
||||
}
|
||||
|
||||
case Operation::LODS: {
|
||||
constexpr char sizes[][6] = { "lodsb", "lodsw", "lodsd", "?" };
|
||||
return sizes[static_cast<int>(size)];
|
||||
}
|
||||
case Operation::LODS_REP: {
|
||||
constexpr char sizes[][10] = { "rep lodsb", "rep lodsw", "rep lodsd", "?" };
|
||||
return sizes[static_cast<int>(size)];
|
||||
}
|
||||
|
||||
case Operation::MOVS: {
|
||||
constexpr char sizes[][6] = { "movsb", "movsw", "movsd", "?" };
|
||||
return sizes[static_cast<int>(size)];
|
||||
}
|
||||
case Operation::MOVS_REP: {
|
||||
constexpr char sizes[][10] = { "rep movsb", "rep movsw", "rep movsd", "?" };
|
||||
return sizes[static_cast<int>(size)];
|
||||
}
|
||||
|
||||
case Operation::STOS: {
|
||||
constexpr char sizes[][6] = { "stosb", "stosw", "stosd", "?" };
|
||||
return sizes[static_cast<int>(size)];
|
||||
}
|
||||
case Operation::STOS_REP: {
|
||||
constexpr char sizes[][10] = { "rep stosb", "rep stosw", "rep stosd", "?" };
|
||||
return sizes[static_cast<int>(size)];
|
||||
}
|
||||
|
||||
case Operation::LOOP: return "loop";
|
||||
case Operation::LOOPE: return "loope";
|
||||
@ -366,7 +398,7 @@ std::string InstructionSet::x86::to_string(
|
||||
}
|
||||
|
||||
const bool is_negative = Numeric::top_bit<decltype(value)>() & value;
|
||||
const uint64_t abs_value = std::abs(int16_t(value)); // TODO: don't assume 16-bit.
|
||||
const uint64_t abs_value = uint64_t(std::abs(int16_t(value))); // TODO: don't assume 16-bit.
|
||||
|
||||
stream << (is_negative ? '-' : '+') << std::uppercase << std::hex << abs_value << 'h';
|
||||
};
|
||||
@ -388,19 +420,12 @@ std::string InstructionSet::x86::to_string(
|
||||
case Source::IndirectNoBase: {
|
||||
std::stringstream stream;
|
||||
|
||||
if(!InstructionSet::x86::mnemonic_implies_data_size(instruction.operation)) {
|
||||
if(!InstructionSet::x86::mnemonic_implies_data_size(instruction.operation())) {
|
||||
stream << InstructionSet::x86::to_string(operation_size) << ' ';
|
||||
}
|
||||
|
||||
stream << '[';
|
||||
Source segment = instruction.segment_override();
|
||||
if(segment == Source::None) {
|
||||
segment = pointer.default_segment();
|
||||
if(segment == Source::None) {
|
||||
segment = Source::DS;
|
||||
}
|
||||
}
|
||||
stream << InstructionSet::x86::to_string(segment, InstructionSet::x86::DataSize::None) << ':';
|
||||
stream << InstructionSet::x86::to_string(instruction.data_segment(), InstructionSet::x86::DataSize::None) << ':';
|
||||
|
||||
bool addOffset = false;
|
||||
switch(source) {
|
||||
@ -441,15 +466,26 @@ std::string InstructionSet::x86::to_string(
|
||||
std::string operation;
|
||||
|
||||
// Add segment override, if any, ahead of some operations that won't otherwise print it.
|
||||
switch(instruction.second.operation) {
|
||||
switch(instruction.second.operation()) {
|
||||
default: break;
|
||||
|
||||
case Operation::CMPS:
|
||||
case Operation::CMPS_REPE:
|
||||
case Operation::CMPS_REPNE:
|
||||
case Operation::SCAS:
|
||||
case Operation::SCAS_REPE:
|
||||
case Operation::SCAS_REPNE:
|
||||
case Operation::STOS:
|
||||
case Operation::STOS_REP:
|
||||
case Operation::LODS:
|
||||
case Operation::LODS_REP:
|
||||
case Operation::MOVS:
|
||||
switch(instruction.second.segment_override()) {
|
||||
case Operation::MOVS_REP:
|
||||
case Operation::INS:
|
||||
case Operation::INS_REP:
|
||||
case Operation::OUTS:
|
||||
case Operation::OUTS_REP:
|
||||
switch(instruction.second.data_segment()) {
|
||||
default: break;
|
||||
case Source::ES: operation += "es "; break;
|
||||
case Source::CS: operation += "cs "; break;
|
||||
@ -461,44 +497,15 @@ std::string InstructionSet::x86::to_string(
|
||||
break;
|
||||
}
|
||||
|
||||
// Add a repetition prefix; it'll be one of 'rep', 'repe' or 'repne'.
|
||||
switch(instruction.second.repetition()) {
|
||||
case Repetition::None: break;
|
||||
case Repetition::RepE:
|
||||
switch(instruction.second.operation) {
|
||||
case Operation::CMPS:
|
||||
case Operation::SCAS:
|
||||
operation += "repe ";
|
||||
break;
|
||||
|
||||
default:
|
||||
operation += "rep ";
|
||||
break;
|
||||
}
|
||||
break;
|
||||
case Repetition::RepNE:
|
||||
switch(instruction.second.operation) {
|
||||
case Operation::CMPS:
|
||||
case Operation::SCAS:
|
||||
operation += "repne ";
|
||||
break;
|
||||
|
||||
default:
|
||||
operation += "rep ";
|
||||
break;
|
||||
}
|
||||
break;
|
||||
}
|
||||
|
||||
// Add operation itself.
|
||||
operation += to_string(instruction.second.operation, instruction.second.operation_size(), model);
|
||||
operation += to_string(instruction.second.operation(), instruction.second.operation_size(), model);
|
||||
operation += " ";
|
||||
|
||||
// Deal with a few special cases up front.
|
||||
switch(instruction.second.operation) {
|
||||
switch(instruction.second.operation()) {
|
||||
default: {
|
||||
const int operands = max_displayed_operands(instruction.second.operation);
|
||||
const bool displacement = has_displacement(instruction.second.operation);
|
||||
const int operands = max_displayed_operands(instruction.second.operation());
|
||||
const bool displacement = has_displacement(instruction.second.operation());
|
||||
const bool print_first = operands > 1 && instruction.second.destination().source() != Source::None;
|
||||
if(print_first) {
|
||||
operation += to_string(instruction.second.destination(), instruction.second, offset_length, immediate_length);
|
||||
|
@ -128,16 +128,23 @@ enum class Operation: uint8_t {
|
||||
/// Computes the effective address of the source and loads it into the destination.
|
||||
LEA,
|
||||
|
||||
/// Compare [bytes or words, per operation size]; source and destination implied to be DS:[SI] and ES:[DI].
|
||||
CMPS,
|
||||
/// 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,
|
||||
/// Scan string; reads a byte or word from DS:SI and compares it to AL or AX.
|
||||
SCAS,
|
||||
MOVS_REP,
|
||||
/// Load string; reads from DS:SI into AL or AX, subject to segment override.
|
||||
LODS,
|
||||
LODS_REP,
|
||||
/// Store string; store AL or AX to ES:DI.
|
||||
STOS,
|
||||
STOS_REP,
|
||||
/// Compare [bytes or words, per operation size]; source and destination implied to be DS:[SI] and ES:[DI].
|
||||
CMPS,
|
||||
CMPS_REPE,
|
||||
CMPS_REPNE,
|
||||
/// Scan string; reads a byte or word from DS:SI and compares it to AL or AX.
|
||||
SCAS,
|
||||
SCAS_REPE,
|
||||
SCAS_REPNE,
|
||||
|
||||
// Perform a possibly-conditional loop, decrementing CX. See the displacement.
|
||||
LOOP, LOOPE, LOOPNE,
|
||||
@ -246,9 +253,11 @@ enum class Operation: uint8_t {
|
||||
/// ES:[e]DI and incrementing or decrementing [e]DI as per the
|
||||
/// current EFLAGS DF flag.
|
||||
INS,
|
||||
INS_REP,
|
||||
/// Outputs a byte, word or double word from ES:[e]DI to the port specified by DX,
|
||||
/// incrementing or decrementing [e]DI as per the current EFLAGS DF flag.
|
||||
OUTS,
|
||||
OUTS_REP,
|
||||
|
||||
/// Pushes all general purpose registers to the stack, in the order:
|
||||
/// AX, CX, DX, BX, [original] SP, BP, SI, DI.
|
||||
@ -461,34 +470,42 @@ enum class Source: uint8_t {
|
||||
};
|
||||
|
||||
enum class Repetition: uint8_t {
|
||||
None, RepE, RepNE
|
||||
None, RepE, RepNE, Rep,
|
||||
};
|
||||
|
||||
/// @returns @c true if @c operation supports repetition mode @c repetition; @c false otherwise.
|
||||
constexpr bool supports(Operation operation, [[maybe_unused]] Repetition repetition) {
|
||||
constexpr Operation rep_operation(Operation operation, Repetition repetition) {
|
||||
switch(operation) {
|
||||
default: return false;
|
||||
default: return operation;
|
||||
|
||||
case Operation::Invalid: // Retain context here; it's used as an intermediate
|
||||
// state sometimes.
|
||||
case Operation::INS:
|
||||
return repetition != Repetition::None ? Operation::INS_REP : Operation::INS;
|
||||
case Operation::OUTS:
|
||||
case Operation::CMPS:
|
||||
return repetition != Repetition::None ? Operation::OUTS_REP : Operation::OUTS;
|
||||
case Operation::LODS:
|
||||
return repetition != Repetition::None ? Operation::LODS_REP : Operation::LODS;
|
||||
case Operation::MOVS:
|
||||
case Operation::SCAS:
|
||||
return repetition != Repetition::None ? Operation::MOVS_REP : Operation::MOVS;
|
||||
case Operation::STOS:
|
||||
return true;
|
||||
return repetition != Repetition::None ? Operation::STOS_REP : Operation::STOS;
|
||||
|
||||
// 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.
|
||||
// case Operation::IDIV:
|
||||
// return repetition == Repetition::RepNE;
|
||||
}
|
||||
case Operation::CMPS:
|
||||
switch(repetition) {
|
||||
case Repetition::None: return Operation::CMPS;
|
||||
default:
|
||||
case Repetition::RepE: return Operation::CMPS_REPE;
|
||||
case Repetition::RepNE: return Operation::CMPS_REPNE;
|
||||
}
|
||||
|
||||
case Operation::SCAS:
|
||||
switch(repetition) {
|
||||
case Repetition::None: return Operation::SCAS;
|
||||
default:
|
||||
case Repetition::RepE: return Operation::SCAS_REPE;
|
||||
case Repetition::RepNE: return Operation::SCAS_REPNE;
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
/// Provides a 32-bit-style scale, index and base; to produce the address this represents,
|
||||
/// calcluate base() + (index() << scale()).
|
||||
@ -627,13 +644,6 @@ class DataPointer {
|
||||
}
|
||||
}
|
||||
|
||||
constexpr Source segment(Source segment_override) const {
|
||||
// TODO: remove conditionality here.
|
||||
if(segment_override != Source::None) return segment_override;
|
||||
if(const auto segment = default_segment(); segment != Source::None) return segment;
|
||||
return Source::DS;
|
||||
}
|
||||
|
||||
constexpr Source base() const {
|
||||
return sib_.base();
|
||||
}
|
||||
@ -645,10 +655,142 @@ class DataPointer {
|
||||
|
||||
template<bool is_32bit> class Instruction {
|
||||
public:
|
||||
Operation operation = Operation::Invalid;
|
||||
using DisplacementT = typename std::conditional<is_32bit, int32_t, int16_t>::type;
|
||||
using ImmediateT = typename std::conditional<is_32bit, uint32_t, uint16_t>::type;
|
||||
using AddressT = ImmediateT;
|
||||
|
||||
bool operator ==(const Instruction<is_32bit> &rhs) const {
|
||||
if( operation != rhs.operation ||
|
||||
constexpr Instruction() noexcept {}
|
||||
constexpr Instruction(Operation operation) noexcept :
|
||||
Instruction(operation, Source::None, Source::None, ScaleIndexBase(), false, AddressSize::b16, Source::None, DataSize::None, 0, 0) {}
|
||||
constexpr Instruction(
|
||||
Operation operation,
|
||||
Source source,
|
||||
Source destination,
|
||||
ScaleIndexBase sib,
|
||||
bool lock,
|
||||
AddressSize address_size,
|
||||
Source segment_override,
|
||||
DataSize data_size,
|
||||
DisplacementT displacement,
|
||||
ImmediateT operand) noexcept :
|
||||
operation_(operation),
|
||||
mem_exts_source_(uint8_t(
|
||||
(int(address_size) << 7) |
|
||||
(displacement ? 0x40 : 0x00) |
|
||||
(operand ? 0x20 : 0x00) |
|
||||
int(source) |
|
||||
(source == Source::Indirect ? (uint8_t(sib) & 7) : 0)
|
||||
)),
|
||||
source_data_dest_sib_(uint16_t(
|
||||
(int(data_size) << 14) |
|
||||
(lock ? (1 << 13) : 0) |
|
||||
((uint8_t(sib) & 0xf8) << 2) |
|
||||
int(destination) |
|
||||
(destination == Source::Indirect ? (uint8_t(sib) & 7) : 0)
|
||||
)) {
|
||||
// Decisions on whether to include operand, displacement and/or size extension words
|
||||
// have implicitly been made in the int packing above; honour them here.
|
||||
int extension = 0;
|
||||
if(has_operand()) {
|
||||
extensions_[extension] = operand;
|
||||
++extension;
|
||||
}
|
||||
if(has_displacement()) {
|
||||
extensions_[extension] = ImmediateT(displacement);
|
||||
++extension;
|
||||
}
|
||||
|
||||
// Patch in a fully-resolved segment.
|
||||
Source segment = segment_override;
|
||||
if(segment == Source::None) segment = this->source().default_segment();
|
||||
if(segment == Source::None) segment = this->destination().default_segment();
|
||||
if(segment == Source::None) segment = Source::DS;
|
||||
source_data_dest_sib_ |= (int(segment)&7) << 10;
|
||||
}
|
||||
|
||||
/// @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.
|
||||
constexpr size_t packing_size() const {
|
||||
return
|
||||
offsetof(Instruction<is_32bit>, extensions_) +
|
||||
(has_displacement() + has_operand()) * sizeof(ImmediateT);
|
||||
}
|
||||
|
||||
/// @returns The @c Operation performed by this instruction.
|
||||
constexpr Operation operation() const {
|
||||
return operation_;
|
||||
}
|
||||
|
||||
/// @returns A @c DataPointer describing the 'destination' of this instruction, conventionally the first operand in Intel-syntax assembly.
|
||||
constexpr 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)
|
||||
);
|
||||
}
|
||||
|
||||
/// @returns A @c DataPointer describing the 'source' of this instruction, conventionally the second operand in Intel-syntax assembly.
|
||||
constexpr 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)
|
||||
);
|
||||
}
|
||||
|
||||
/// @returns @c true if the lock prefix was present on this instruction; @c false otherwise.
|
||||
constexpr bool lock() const {
|
||||
return source_data_dest_sib_ & (1 << 13);
|
||||
}
|
||||
|
||||
/// @returns The address size for this instruction; will always be 16-bit for instructions decoded by a 16-bit decoder but can be 16- or 32-bit for
|
||||
/// instructions decoded by a 32-bit decoder, depending on the program's use of the address size prefix byte.
|
||||
constexpr AddressSize address_size() const {
|
||||
return AddressSize(mem_exts_source_ >> 7);
|
||||
}
|
||||
|
||||
/// @returns The segment that should be used for data fetches if this operation accepts segment overrides.
|
||||
constexpr Source data_segment() const {
|
||||
return Source(
|
||||
int(Source::ES) +
|
||||
((source_data_dest_sib_ >> 10) & 7)
|
||||
);
|
||||
}
|
||||
|
||||
/// @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.
|
||||
constexpr DataSize operation_size() const {
|
||||
return DataSize(source_data_dest_sib_ >> 14);
|
||||
}
|
||||
|
||||
/// @returns The immediate value provided with this instruction, if any. E.g. `ADD AX, 23h` has the operand `23h`.
|
||||
constexpr ImmediateT operand() const {
|
||||
const ImmediateT ops[] = {0, operand_extension()};
|
||||
return ops[has_operand()];
|
||||
}
|
||||
|
||||
/// @returns The immediate segment value provided with this instruction, if any. Relevant for far calls and jumps; e.g. `JMP 1234h:5678h` will
|
||||
/// have a segment value of `1234h`.
|
||||
constexpr uint16_t segment() const {
|
||||
return uint16_t(operand());
|
||||
}
|
||||
|
||||
/// @returns The offset provided with this instruction, if any. E.g. `MOV AX, [es:1998h]` has an offset of `1998h`.
|
||||
constexpr ImmediateT offset() const {
|
||||
const ImmediateT offsets[] = {0, displacement_extension()};
|
||||
return offsets[has_displacement()];
|
||||
}
|
||||
|
||||
/// @returns The displacement provided with this instruction `SUB AX, [SI+BP-23h]` has an offset of `-23h` and `JMP 19h`
|
||||
/// has an offset of `19h`.
|
||||
constexpr DisplacementT displacement() const {
|
||||
return DisplacementT(offset());
|
||||
}
|
||||
|
||||
// Standard comparison operator.
|
||||
constexpr 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;
|
||||
@ -656,7 +798,7 @@ template<bool is_32bit> class Instruction {
|
||||
|
||||
// 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();
|
||||
const int extension_count = has_displacement() + has_operand();
|
||||
for(int c = 0; c < extension_count; c++) {
|
||||
if(extensions_[c] != rhs.extensions_[c]) return false;
|
||||
}
|
||||
@ -664,21 +806,17 @@ template<bool is_32bit> class Instruction {
|
||||
return true;
|
||||
}
|
||||
|
||||
using DisplacementT = typename std::conditional<is_32bit, int32_t, int16_t>::type;
|
||||
using ImmediateT = typename std::conditional<is_32bit, uint32_t, uint16_t>::type;
|
||||
using AddressT = ImmediateT;
|
||||
|
||||
private:
|
||||
Operation operation_ = Operation::Invalid;
|
||||
|
||||
// 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)
|
||||
// four bytes + up to two extension words
|
||||
// (extension words being 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.
|
||||
// The extension words are used to retain an operand and displacement
|
||||
// if the instruction has those.
|
||||
|
||||
// b7: address size;
|
||||
// b6: has displacement;
|
||||
@ -694,34 +832,14 @@ template<bool is_32bit> class Instruction {
|
||||
}
|
||||
|
||||
// [b15, b14]: data size;
|
||||
// [b13, b10]: source length (0 => has length extension);
|
||||
// [b13]: lock;
|
||||
// [b12, b10]: segment override;
|
||||
// [b9, b5]: top five of SIB;
|
||||
// [b4, b0]: dest.
|
||||
uint16_t source_data_dest_sib_ = 1 << 10; // So that ::Invalid doesn't seem to have a length extension.
|
||||
uint16_t source_data_dest_sib_ = 0;
|
||||
|
||||
// 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.
|
||||
|
||||
bool has_length_extension() const {
|
||||
return !((source_data_dest_sib_ >> 10) & 15);
|
||||
}
|
||||
|
||||
// {operand}, {displacement}, {length extension}.
|
||||
//
|
||||
// If length extension is present then:
|
||||
//
|
||||
// [b15, b6]: source length;
|
||||
// [b5, b4]: repetition;
|
||||
// [b3, b1]: segment override;
|
||||
// b0: lock.
|
||||
ImmediateT extensions_[3]{};
|
||||
// {operand}, {displacement}.
|
||||
ImmediateT extensions_[2]{};
|
||||
|
||||
ImmediateT operand_extension() const {
|
||||
return extensions_[0];
|
||||
@ -729,153 +847,13 @@ template<bool is_32bit> class Instruction {
|
||||
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)];
|
||||
}
|
||||
|
||||
public:
|
||||
/// @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.
|
||||
size_t packing_size() const {
|
||||
return
|
||||
offsetof(Instruction<is_32bit>, extensions) +
|
||||
(has_displacement() + has_operand() + has_length_extension()) * sizeof(ImmediateT);
|
||||
|
||||
// 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?
|
||||
}
|
||||
|
||||
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
|
||||
};
|
||||
|
||||
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 {
|
||||
return has_length_extension() && length_extension()&1;
|
||||
}
|
||||
|
||||
AddressSize address_size() const {
|
||||
return AddressSize(mem_exts_source_ >> 7);
|
||||
}
|
||||
|
||||
/// @returns @c Source::None if no segment override was found; the overridden segment otherwise.
|
||||
/// 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.
|
||||
Source segment_override() const {
|
||||
if(!has_length_extension()) return Source::None;
|
||||
return Source(
|
||||
int(Source::ES) +
|
||||
((length_extension() >> 1) & 7)
|
||||
);
|
||||
}
|
||||
|
||||
Repetition repetition() const {
|
||||
if(!has_length_extension()) return Repetition::None;
|
||||
return Repetition((length_extension() >> 4) & 3);
|
||||
}
|
||||
|
||||
/// @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.
|
||||
DataSize operation_size() const {
|
||||
return DataSize(source_data_dest_sib_ >> 14);
|
||||
}
|
||||
|
||||
// int length() const {
|
||||
// const int short_length = (source_data_dest_sib_ >> 10) & 15;
|
||||
// if(short_length) return short_length;
|
||||
// return length_extension() >> 6;
|
||||
// }
|
||||
|
||||
ImmediateT operand() const {
|
||||
const ImmediateT ops[] = {0, operand_extension()};
|
||||
return ops[has_operand()];
|
||||
}
|
||||
DisplacementT displacement() const {
|
||||
return DisplacementT(offset());
|
||||
}
|
||||
|
||||
uint16_t segment() const {
|
||||
return uint16_t(operand());
|
||||
}
|
||||
ImmediateT offset() const {
|
||||
const ImmediateT offsets[] = {0, displacement_extension()};
|
||||
return offsets[has_displacement()];
|
||||
}
|
||||
|
||||
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(
|
||||
Operation operation,
|
||||
Source source,
|
||||
Source destination,
|
||||
ScaleIndexBase sib,
|
||||
bool lock,
|
||||
AddressSize address_size,
|
||||
Source segment_override,
|
||||
Repetition repetition,
|
||||
DataSize data_size,
|
||||
DisplacementT displacement,
|
||||
ImmediateT operand,
|
||||
int length) noexcept :
|
||||
operation(operation),
|
||||
mem_exts_source_(uint8_t(
|
||||
(int(address_size) << 7) |
|
||||
(displacement ? 0x40 : 0x00) |
|
||||
(operand ? 0x20 : 0x00) |
|
||||
int(source) |
|
||||
(source == Source::Indirect ? (uint8_t(sib) & 7) : 0)
|
||||
)),
|
||||
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)
|
||||
)) {
|
||||
|
||||
// Decisions on whether to include operand, displacement and/or size extension words
|
||||
// have implicitly been made in the int packing above; honour them here.
|
||||
int extension = 0;
|
||||
if(has_operand()) {
|
||||
extensions_[extension] = operand;
|
||||
++extension;
|
||||
}
|
||||
if(has_displacement()) {
|
||||
extensions_[extension] = ImmediateT(displacement);
|
||||
++extension;
|
||||
}
|
||||
if(has_length_extension()) {
|
||||
extensions_[extension] = ImmediateT(
|
||||
(length << 6) | (int(repetition) << 4) | ((int(segment_override) & 7) << 1) | int(lock)
|
||||
);
|
||||
++extension;
|
||||
}
|
||||
}
|
||||
};
|
||||
|
||||
static_assert(sizeof(Instruction<true>) <= 16);
|
||||
|
@ -419,10 +419,9 @@ struct FailedExecution {
|
||||
|
||||
// Attempt clerical reconciliation:
|
||||
//
|
||||
// The test suite retains a distinction between SHL and SAL, which the decoder doesn't. So consider that
|
||||
// a potential point of difference.
|
||||
//
|
||||
// Also, the decoder treats INT3 and INT 3 as the same thing. So allow for a meshing of those.
|
||||
// * the test suite retains a distinction between SHL and SAL, which the decoder doesn't;
|
||||
// * the decoder treats INT3 and INT 3 as the same thing; and
|
||||
// * the decoder doesn't record whether a segment override was present, just the final segment.
|
||||
int adjustment = 7;
|
||||
while(!isEqual && adjustment) {
|
||||
NSString *alteredName = [test[@"name"] stringByTrimmingCharactersInSet:[NSCharacterSet whitespaceCharacterSet]];
|
||||
@ -433,6 +432,9 @@ struct FailedExecution {
|
||||
if(adjustment & 1) {
|
||||
alteredName = [alteredName stringByReplacingOccurrencesOfString:@"int3" withString:@"int 3h"];
|
||||
}
|
||||
if(adjustment & 4) {
|
||||
alteredName = [@"ds " stringByAppendingString:alteredName];
|
||||
}
|
||||
|
||||
isEqual = compare_decoding(alteredName);
|
||||
--adjustment;
|
||||
@ -660,7 +662,8 @@ struct FailedExecution {
|
||||
}
|
||||
}
|
||||
|
||||
XCTAssertEqual(execution_failures.size(), 0);
|
||||
// Lock in current failure rate.
|
||||
XCTAssertLessThanOrEqual(execution_failures.size(), 1654);
|
||||
|
||||
for(const auto &failure: execution_failures) {
|
||||
NSLog(@"Failed %s — %s", failure.test_name.c_str(), failure.reason.c_str());
|
||||
|
@ -21,7 +21,7 @@ namespace {
|
||||
|
||||
template <typename InstructionT> void test(const InstructionT &instruction, DataSize size, Operation operation) {
|
||||
XCTAssertEqual(instruction.operation_size(), InstructionSet::x86::DataSize(size));
|
||||
XCTAssertEqual(instruction.operation, operation);
|
||||
XCTAssertEqual(instruction.operation(), operation);
|
||||
}
|
||||
|
||||
template <typename InstructionT> void test(
|
||||
@ -34,7 +34,7 @@ template <typename InstructionT> void test(
|
||||
std::optional<typename InstructionT::DisplacementT> displacement = std::nullopt) {
|
||||
|
||||
XCTAssertEqual(instruction.operation_size(), InstructionSet::x86::DataSize(size));
|
||||
XCTAssertEqual(instruction.operation, operation);
|
||||
XCTAssertEqual(instruction.operation(), operation);
|
||||
if(source) XCTAssert(instruction.source() == *source);
|
||||
if(destination) XCTAssert(instruction.destination() == *destination);
|
||||
if(operand) XCTAssertEqual(instruction.operand(), *operand);
|
||||
@ -46,7 +46,7 @@ template <typename InstructionT> void test(
|
||||
Operation operation,
|
||||
std::optional<typename InstructionT::ImmediateT> operand = std::nullopt,
|
||||
std::optional<typename InstructionT::DisplacementT> displacement = std::nullopt) {
|
||||
XCTAssertEqual(instruction.operation, operation);
|
||||
XCTAssertEqual(instruction.operation(), operation);
|
||||
if(operand) XCTAssertEqual(instruction.operand(), *operand);
|
||||
if(displacement) XCTAssertEqual(instruction.displacement(), *displacement);
|
||||
}
|
||||
@ -56,7 +56,7 @@ template <typename InstructionT> void test_far(
|
||||
Operation operation,
|
||||
uint16_t segment,
|
||||
typename InstructionT::DisplacementT offset) {
|
||||
XCTAssertEqual(instruction.operation, operation);
|
||||
XCTAssertEqual(instruction.operation(), operation);
|
||||
XCTAssertEqual(instruction.segment(), segment);
|
||||
XCTAssertEqual(instruction.offset(), offset);
|
||||
}
|
||||
@ -410,7 +410,7 @@ decode(const std::initializer_list<uint8_t> &stream, bool set_32_bit = false) {
|
||||
// add DWORD PTR [edi-0x42],0x9f683aa9
|
||||
// lock jp 0xfffffff0 (from 0000000e)
|
||||
test(instructions[0], DataSize::DWord, Operation::INC, Source::eDX);
|
||||
XCTAssertEqual(instructions[0].segment_override(), Source::CS);
|
||||
XCTAssertEqual(instructions[0].data_segment(), Source::CS);
|
||||
test(instructions[1], DataSize::Byte, Operation::OR, Source::Immediate, Source::eAX, 0x9);
|
||||
test(instructions[2], DataSize::DWord, Operation::ADD, Source::Immediate, ScaleIndexBase(Source::eDI), 0x9f683aa9, -0x42);
|
||||
test(instructions[3], Operation::JP, 0, -30);
|
||||
@ -421,7 +421,7 @@ decode(const std::initializer_list<uint8_t> &stream, bool set_32_bit = false) {
|
||||
// stos BYTE PTR es:[edi],al
|
||||
// pusha
|
||||
test(instructions[4], DataSize::Byte, Operation::MOV, Source::Immediate, Source::AH, 0xc1);
|
||||
XCTAssertEqual(instructions[4].segment_override(), Source::DS);
|
||||
XCTAssertEqual(instructions[4].data_segment(), Source::DS);
|
||||
test(instructions[5], DataSize::Word, Operation::POP, Source::None, Source::DS);
|
||||
test(instructions[6], DataSize::Byte, Operation::STOS);
|
||||
test(instructions[7], Operation::PUSHA);
|
||||
@ -464,7 +464,7 @@ decode(const std::initializer_list<uint8_t> &stream, bool set_32_bit = false) {
|
||||
test(instructions[21], DataSize::Byte, Operation::XOR, Source::Immediate, Source::eAX, 0x45);
|
||||
test(instructions[22], DataSize::DWord, Operation::LDS, ScaleIndexBase(Source::eCX), Source::eDX);
|
||||
test(instructions[23], DataSize::Byte, Operation::MOV, Source::eAX, Source::DirectAddress, 0xe4dba6d3);
|
||||
XCTAssertEqual(instructions[23].segment_override(), Source::DS);
|
||||
XCTAssertEqual(instructions[23].data_segment(), Source::DS);
|
||||
|
||||
// pop ds
|
||||
// movs DWORD PTR es:[edi],DWORD PTR ds:[esi]
|
||||
|
Loading…
Reference in New Issue
Block a user