aboutsummaryrefslogtreecommitdiff
path: root/differential-tests/tests
diff options
context:
space:
mode:
authoriximeow <me@iximeow.net>2024-03-17 08:57:24 +0000
committeriximeow <me@iximeow.net>2024-03-17 08:57:24 +0000
commit6ed26619c09e1d43572e17642e89161ab8e429b0 (patch)
tree4050da618bb722be346679668d2aaf6424536ece /differential-tests/tests
parentc3f1cd87d7d504841e0221309c53f4d009bf2b22 (diff)
differential test: atomic adds are relaxed, dont need specific ordering
Diffstat (limited to 'differential-tests/tests')
-rw-r--r--differential-tests/tests/capstone-differential.rs6
1 files changed, 3 insertions, 3 deletions
diff --git a/differential-tests/tests/capstone-differential.rs b/differential-tests/tests/capstone-differential.rs
index bde624f..36274b5 100644
--- a/differential-tests/tests/capstone-differential.rs
+++ b/differential-tests/tests/capstone-differential.rs
@@ -384,13 +384,13 @@ fn capstone_differential() {
let yax_text = if let Ok(inst) = yax_res {
format!("{}", inst)
} else if let Err(yaxpeax_arm::armv8::a64::DecodeError::IncompleteDecoder) = yax_res {
- stats.missed_incomplete.fetch_add(1, Ordering::SeqCst);
+ stats.missed_incomplete.fetch_add(1, Ordering::Relaxed);
continue;
} else {
// capstone dedodes the UNDEFINED encodings in C5.1.2 as "mrs", yax returns
// a decode error.
if cs_text.starts_with("mrs ") || cs_text.starts_with("msr ") {
- stats.yax_reject.fetch_add(1, Ordering::SeqCst);
+ stats.yax_reject.fetch_add(1, Ordering::Relaxed);
continue;
} else {
panic!("yax errored where capstone succeeded. cs text: '{}', bytes: {:x?}", cs_text, bytes);
@@ -565,7 +565,7 @@ fn capstone_differential() {
eprintln!("disassembly mismatch: {} != {}. bytes: {:x?}", yax_text, cs_text, bytes);
std::process::abort();
} else {
- stats.good.fetch_add(1, Ordering::SeqCst);
+ stats.good.fetch_add(1, Ordering::Relaxed);
}
} else {
// yax should also fail?