Add basic aarch64 cache coherency test.

testing/tests/aarch64_cache_coherency.rs

@@ -0,0 +1,60 @@
+// This file contains test cases designed to validate proper assembler cache invalidation
+// this is needed because aarch64's modified harvard architecture has an incoherent instruction and
+// data cache. Therefore, it is needed to explicitly command the cache hierarchy to flush the dcache
+// to the coherent layers, invalidate the icache, and ensure no stale data is left in the
+// instruction pipeline. Testcases in this file are designed to break if this isn't handled properly
+#![allow(unused_imports)]
+
+extern crate dynasmrt;
+
+use dynasmrt::dynasm;
+use dynasmrt::{DynasmApi};
+
+#[cfg(target_arch="aarch64")]
+#[test]
+fn test_cache_coherency_same_core() {
+    let mut ops = dynasmrt::aarch64::Assembler::new().unwrap();
+    let reader = ops.reader();
+
+    // write some code
+    let start = ops.offset();
+    dynasm!(ops
+        ; .arch aarch64
+        ; mov w0, 0xABCD
+        ; ret
+    );
+    let end = ops.offset();
+
+    ops.commit().unwrap();
+
+    // execute it once
+    {
+        let buf = reader.lock();
+        let callable: extern "C" fn() -> u32 = unsafe { std::mem::transmute(buf.ptr(start)) };
+        assert_eq!(callable(), 0xABCD);
+        drop(buf);
+    }
+
+    // change the code
+    ops.alter(|modifier| {
+        modifier.goto(start);
+
+        dynasm!(modifier
+            ; .arch aarch64
+            ; mov w0, 0xCDEF
+            ; ret
+        );
+        modifier.check_exact(end).unwrap();
+
+    }).unwrap();
+
+    ops.commit().unwrap();
+
+    // execute it again!
+    {
+        let buf = reader.lock();
+        let callable: extern "C" fn() -> u32 = unsafe { std::mem::transmute(buf.ptr(start)) };
+        assert_eq!(callable(), 0xCDEF);
+        drop(buf);
+    }
+}

testing/tests/aarch64_complex.rs

@@ -10,7 +10,7 @@ use dynasmrt::components::LitPool;
 macro_rules! my_dynasm {
     ($ops:ident $($t:tt)*) => {
         dynasm!($ops
-            ; .arch x64
+            ; .arch aarch64
             ; .alias test, x1
             $($t)*
         )
@@ -35,7 +35,6 @@ fn complex() {
 
     // interesting testcases
     my_dynasm!(ops
-        ; .arch aarch64
         ; aligned:
         // no args
         ; nop