From 582c4e44579d4bbb9dcec9d12c23c8b774db3cfb Mon Sep 17 00:00:00 2001 From: iximeow Date: Sat, 3 Jul 2021 14:43:52 -0700 Subject: do not reject prefixed sgdt, add a TODO for xop not that xop will ever be wanted, rip --- src/long_mode/mod.rs | 18 +++++++++--------- src/protected_mode/mod.rs | 10 +++++----- 2 files changed, 14 insertions(+), 14 deletions(-) diff --git a/src/long_mode/mod.rs b/src/long_mode/mod.rs index 9111faa..f8704c0 100644 --- a/src/long_mode/mod.rs +++ b/src/long_mode/mod.rs @@ -6943,6 +6943,9 @@ fn read_0f38_opcode(opcode: u8, prefixes: &mut Prefixes) -> OpcodeRecord { fn read_0f3a_opcode(opcode: u8, prefixes: &mut Prefixes) -> OpcodeRecord { if prefixes.rep() { + if prefixes.operand_size() || prefixes.repnz() { + return OpcodeRecord(Interpretation::Instruction(Opcode::Invalid), OperandCode::Nothing); + } return match opcode { 0xf0 => OpcodeRecord(Interpretation::Instruction(Opcode::HRESET), OperandCode::ModRM_0xf30f3af0), _ => OpcodeRecord(Interpretation::Instruction(Opcode::Invalid), OperandCode::Nothing), @@ -7645,7 +7648,8 @@ fn read_operands::Address, > 3) & 7; if r >= 1 { - return Err(DecodeError::InvalidOpcode); + // TODO: this is where XOP decoding would occur + return Err(DecodeError::IncompleteDecoder); } instruction.opcode = [ Opcode::POP, @@ -9162,13 +9166,13 @@ fn unlikely_operands::Address, > 3) & 7; if r == 0 { - if instruction.prefixes.rep() || instruction.prefixes.repnz() || instruction.prefixes.operand_size() { - return Err(DecodeError::InvalidOperand); - } - let mod_bits = modrm >> 6; let m = modrm & 7; if mod_bits == 0b11 { + if instruction.prefixes.rep() || instruction.prefixes.repnz() || instruction.prefixes.operand_size() { + return Err(DecodeError::InvalidOperand); + } + instruction.operands[0] = OperandSpec::Nothing; instruction.operand_count = 0; match m { @@ -9298,10 +9302,6 @@ fn unlikely_operands::Address, > 6; let m = modrm & 7; if mod_bits == 0b11 { - if instruction.prefixes.rep() || instruction.prefixes.repnz() || instruction.prefixes.operand_size() { - return Err(DecodeError::InvalidOperand); - } - match m { 0b000 => { instruction.opcode = Opcode::VMRUN; diff --git a/src/protected_mode/mod.rs b/src/protected_mode/mod.rs index 0497db6..c9ba9f2 100644 --- a/src/protected_mode/mod.rs +++ b/src/protected_mode/mod.rs @@ -6868,6 +6868,9 @@ fn read_0f38_opcode(opcode: u8, prefixes: &mut Prefixes) -> OpcodeRecord { fn read_0f3a_opcode(opcode: u8, prefixes: &mut Prefixes) -> OpcodeRecord { if prefixes.rep() { + if prefixes.operand_size() || prefixes.repnz() { + return OpcodeRecord(Interpretation::Instruction(Opcode::Invalid), OperandCode::Nothing); + } return match opcode { 0xf0 => OpcodeRecord(Interpretation::Instruction(Opcode::HRESET), OperandCode::ModRM_0xf30f3af0), _ => OpcodeRecord(Interpretation::Instruction(Opcode::Invalid), OperandCode::Nothing), @@ -7517,7 +7520,8 @@ fn read_operands::Address, > 3) & 7; if r >= 1 { - return Err(DecodeError::InvalidOpcode); + // TODO: this is where XOP decoding would occur + return Err(DecodeError::IncompleteDecoder); } instruction.opcode = [ Opcode::POP, @@ -9119,10 +9123,6 @@ fn unlikely_operands::Address, > 6; let m = modrm & 7; if mod_bits == 0b11 { - if instruction.prefixes.rep() || instruction.prefixes.repnz() || instruction.prefixes.operand_size() { - return Err(DecodeError::InvalidOperand); - } - match m { 0b000 => { instruction.opcode = Opcode::VMRUN; -- cgit v1.1