Initial (refactor)HEADmaster

1 files changed, 46 insertions, 0 deletions

diff --git a/test/ui/v1/mbops/ui.c b/test/ui/v1/mbops/ui.c
new file mode 100644
index 0000000..ea417d6
--- /dev/null
+++ b/test/ui/v1/mbops/ui.c
@@ -0,0 +1,46 @@
+// file    : test/ui/v1/mbops/ui.c
+// project : Salis-VM
+// author  : Paul Oliver <contact@pauloliver.dev>
+
+#include <assert.h>
+#include <stdint.h>
+#include <threads.h>
+#include <zlib.h>
+
+#include "arch_spec.h"
+#include "arch_inst.h"
+#include "compress.h"
+#include "salis.h"
+
+int main(void) {
+    salis_init();
+
+    while (g_cores->pvec->ip < ANC_SIZE) {
+        bool on_swap = mvec_get_inst(g_cores, g_cores->pvec->ip) == bswp;
+        bool on_clear = mvec_get_inst(g_cores, g_cores->pvec->ip) == bclr;
+
+        uint64_t mb0a = g_cores->pvec->mb0a;
+        uint64_t mb0s = g_cores->pvec->mb0s;
+        uint64_t mb1a = g_cores->pvec->mb1a;
+        uint64_t mb1s = g_cores->pvec->mb1s;
+
+        salis_step(1);
+
+        if (on_swap) {
+            if (mb1s) {
+                assert(g_cores->pvec->mb0a == mb1a);
+                assert(g_cores->pvec->mb0s == mb1s);
+                assert(g_cores->pvec->mb1a == mb0a);
+                assert(g_cores->pvec->mb1s == mb0s);
+            }
+        }
+
+        if (on_clear) {
+            assert(g_cores->pvec->mb1a == 0);
+            assert(g_cores->pvec->mb1s == 0);
+        }
+    }
+
+    salis_save_and_free();
+    return 0;
+}