From 95fd6ae836ab5fee7387f4df46b727165a05b723 Mon Sep 17 00:00:00 2001
From: Paul Oliver <contact@pauloliver.dev>
Date: Thu, 25 Jun 2026 04:42:23 +0200
Subject: Adds v1 unit tests and fixes bugs found by them

---
 test/ui/v1/addrs/ui.c | 47 +++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 47 insertions(+)
 create mode 100644 test/ui/v1/addrs/ui.c

(limited to 'test/ui/v1/addrs/ui.c')

diff --git a/test/ui/v1/addrs/ui.c b/test/ui/v1/addrs/ui.c
new file mode 100644
index 0000000..8949c3f
--- /dev/null
+++ b/test/ui/v1/addrs/ui.c
@@ -0,0 +1,47 @@
+#if !defined(COMMAND_NEW)
+#error
+#endif
+
+void check_found(uint64_t addr, uint64_t lok, uint64_t regi) {
+    assert(mvec_get_inst(g_cores, addr - 1) == (regi % 2 == 0 ? adrf : adrb));
+    assert(mvec_get_inst(g_cores, (&g_cores->pvec->r0x)[regi]) == lok);
+}
+
+int main(void) {
+    salis_init();
+    uint64_t regi = 0;
+
+    while (mvec_is_proc_owner(g_cores, g_cores->pvec->ip, g_cores->pcur)) {
+        uint8_t inst = mvec_get_inst(g_cores, g_cores->pvec->ip);
+
+        switch (inst) {
+#define CASE(id) \
+        case key##id: \
+            check_found(g_cores->pvec->ip, lok##id, regi); \
+            regi = (regi + 1) % 4; \
+            break;
+        CASE(a)
+        CASE(b)
+        CASE(c)
+        CASE(d)
+        CASE(e)
+        CASE(f)
+        CASE(g)
+        CASE(h)
+        CASE(i)
+        CASE(j)
+        CASE(k)
+        CASE(l)
+        CASE(m)
+        CASE(n)
+        CASE(o)
+        CASE(p)
+#undef CASE
+        }
+
+        salis_step(1);
+    }
+
+    salis_free();
+    return 0;
+}
-- 
cgit v1.2.1