Adds v1 unit tests and fixes bugs found by them

2 files changed, 50 insertions, 0 deletions

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;
+}
diff --git a/test/ui/v1/addrs/vars.py b/test/ui/v1/addrs/vars.py
new file mode 100644
index 0000000..9c2a9f3
--- /dev/null
+++ b/test/ui/v1/addrs/vars.py
@@ -0,0 +1,3 @@
+flags = set()
+defines = set()
+links = set()