aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--differential-tests/tests/capstone-differential.rs10
-rw-r--r--tests/armv8/a64.rs2
2 files changed, 8 insertions, 4 deletions
diff --git a/differential-tests/tests/capstone-differential.rs b/differential-tests/tests/capstone-differential.rs
index 826320a..ef17bd1 100644
--- a/differential-tests/tests/capstone-differential.rs
+++ b/differential-tests/tests/capstone-differential.rs
@@ -390,6 +390,12 @@ fn capstone_differential() {
return true;
}
+ if parsed_yax.opcode == "sb" && parsed_cs.opcode == "msr" {
+ // capstone doesn't report the `sb` speculation barrier, for whatever
+ // reason?
+ return true;
+ }
+
if false {
eprintln!("yax: {} -> {:?}", yax_text, parsed_yax);
eprintln!("cs: {} -> {:?}", cs_text, parsed_cs);
@@ -513,10 +519,6 @@ fn capstone_differential() {
return true;
}
- if cs_text.starts_with("msr ") {
- return true;
- }
-
// yax does not handle aliases for msr instructions yet
if yax_text.starts_with("msr ") {
return true;
diff --git a/tests/armv8/a64.rs b/tests/armv8/a64.rs
index 00f53e6..38080ef 100644
--- a/tests/armv8/a64.rs
+++ b/tests/armv8/a64.rs
@@ -75,6 +75,8 @@ fn test_barrier() {
test_display([0xbf, 0x3d, 0x03, 0xd5], "dmb ld");
test_display([0xbf, 0x3e, 0x03, 0xd5], "dmb st");
test_display([0xbf, 0x3f, 0x03, 0xd5], "dmb sy");
+ // only with FEAT_SB
+ test_display([0xff, 0x30, 0x03, 0xd5], "sb");
}
#[test]