aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--differential-tests/tests/capstone-differential.rs9
-rw-r--r--src/armv8/a64.rs6
-rw-r--r--tests/armv8/a64.rs5
3 files changed, 19 insertions, 1 deletions
diff --git a/differential-tests/tests/capstone-differential.rs b/differential-tests/tests/capstone-differential.rs
index 3db6fdd..cbed59f 100644
--- a/differential-tests/tests/capstone-differential.rs
+++ b/differential-tests/tests/capstone-differential.rs
@@ -368,7 +368,14 @@ fn capstone_differential() {
stats.missed_incomplete.fetch_add(1, Ordering::SeqCst);
continue;
} else {
- panic!("yax errored where capstone succeeded. cs text: '{}', bytes: {:x?}", cs_text, bytes);
+ // capstone dedodes the UNDEFINED encodings in C5.1.2 as "mrs", yax returns
+ // a decode error.
+ if cs_text.starts_with("mrs ") {
+ stats.yax_reject.fetch_add(1, Ordering::SeqCst);
+ continue;
+ } else {
+ panic!("yax errored where capstone succeeded. cs text: '{}', bytes: {:x?}", cs_text, bytes);
+ }
};
fn acceptable_match(yax_text: &str, cs_text: &str) -> bool {
diff --git a/src/armv8/a64.rs b/src/armv8/a64.rs
index 19440ba..a228027 100644
--- a/src/armv8/a64.rs
+++ b/src/armv8/a64.rs
@@ -10454,7 +10454,12 @@ impl Decoder<ARMv8> for InstDecoder {
];
}
0b100 => {
+ // quote C5.1.2:
+ // All encodings with L==1 and op0==0b0x are UNDEFINED, except
+ // for encodings in the area reserved for IMPLEMENTATION
+ // DEFINED use
inst.opcode = Opcode::Invalid;
+ return Err(DecodeError::InvalidOpcode);
}
0b101 => {
let Rt = word & 0b11111;
@@ -10484,6 +10489,7 @@ impl Decoder<ARMv8> for InstDecoder {
}
_ => {
inst.opcode = Opcode::Invalid;
+ return Err(DecodeError::InvalidOpcode);
}
}
}
diff --git a/tests/armv8/a64.rs b/tests/armv8/a64.rs
index a3ec96e..00f53e6 100644
--- a/tests/armv8/a64.rs
+++ b/tests/armv8/a64.rs
@@ -4753,6 +4753,11 @@ fn test_vec_shift() {
}
#[test]
+fn test_reserved() {
+ test_err([0x00, 0x00, 0x20, 0xd5], DecodeError::InvalidOpcode);
+}
+
+#[test]
fn test_system() {
const TESTS: &[([u8; 4], &'static str)] = &[
([0x00, 0x00, 0x08, 0xd5], "sys #0x0, c0, c0, #0x0, x0"),