tests/testbench: Add miniblarg. Put ldm_bonehead in a place where it will not get...

[firearm.git] / tests / miniblarg.c

diff --git a/tests/miniblarg.c b/tests/miniblarg.c
new file mode 100644 (file)
index 0000000..8fdff0f
--- /dev/null
+++ b/tests/miniblarg.c
@@ -0,0 +1,179 @@
+//#test return -293203597
+
+struct cpustate {
+       int r0, r1, r2, r3, fr, pc, sp;
+};
+
+int abort()
+{
+       puts("FAIL [abort]\n");
+       return 0;
+}
+
+int *ROM()
+{
+       static int a[] = {
+               3632, 9, 3584, 57, 3600, 16384, 3616, 65535, 11792, 20018, 19970, 24114, 592, 8, 3584, 10, 11792, 65535};
+       return a;
+}
+
+int crc32_update(int crc, int byte)
+{
+       int i, j;
+       
+       crc ^= byte;
+       for (i = 0; i < 8; i += 1)
+       {
+               if (crc & 1)
+                       j = 3988292384;
+               else
+                       j = 0;
+               crc = (crc >> 1) ^ j;
+       }
+       return crc;
+}
+
+int muxreg(int reg, struct cpustate * s)
+{
+       if (reg == 0) return s->r0;
+       if (reg == 1) return s->r1;
+       if (reg == 2) return s->r2;
+       if (reg == 3) return s->r3;
+       if (reg == 4) return s->fr;
+       if (reg == 5) return s->pc;
+       if (reg == 6) return s->sp;
+       return abort();
+}
+
+int setreg(int reg, int d, struct cpustate *s)
+{
+       if (reg == 0) s->r0 = d;
+       if (reg == 1) s->r1 = d;
+       if (reg == 2) s->r2 = d;
+       if (reg == 3) s->r3 = d;
+       if (reg == 4) s->fr = d;
+       if (reg == 5) s->pc = d;
+       if (reg == 6) s->sp = d;
+       return 0;
+}
+
+int predcheck(int pred, struct cpustate *s)
+{
+       if (pred == 0)  return 0;
+       if (pred == 1)  return !(s->fr & 4);
+       if (pred == 2)  return (s->fr & 4);
+       if (pred == 3)  return (s->fr & 1);
+       if (pred == 4)  return (s->fr & 2);
+       if (pred == 7)  return 1;
+       return abort();
+}
+
+void testmain()
+{
+       struct cpustate cs, *s;
+       int crc, iv, insn, pred, rt, rs, d;
+       int* rom;
+       
+       s = &cs;
+       crc = 0;
+       iv = 0;
+       insn = 0;
+       s->pc = 0;
+       s->r0 = 0;
+       s->r1 = 0;
+       s->r2 = 0;
+       s->r3 = 0;
+       s->fr = 0;
+       s->sp = 0;
+       rom = ROM();
+       
+       while (insn != 15)
+       {
+               iv = rom[s->pc];
+               insn = iv >> 12;
+               pred = (iv >> 9) & 7;
+               rt = (iv >> 4) & 15;
+               rs = iv & 15;
+               crc = crc32_update(crc, s->r0);
+               crc = crc32_update(crc, s->r1);
+               crc = crc32_update(crc, s->r2);
+               crc = crc32_update(crc, s->r3);
+               crc = crc32_update(crc, s->fr);
+               crc = crc32_update(crc, s->sp);
+               crc = crc32_update(crc, s->pc);
+               
+               if (insn == 0)
+               {
+                       s->pc += 1;
+                       if (!predcheck(pred, s))
+                       {
+                               s->pc += 1;
+                               continue;
+                       }
+                       d = rom[s->pc];
+                       s->pc += 1;
+                       setreg(rt, d, s);
+               } else if (insn == 1) {
+                       s->pc += 1;
+                       if (!predcheck(pred, s))
+                               continue;
+                       d = rom[muxreg(rs, s)];
+                       setreg(rt, d, s);
+               } else if (insn == 2) {
+                       s->pc += 1;
+                       if (!predcheck(pred, s))
+                               continue;
+                       d = muxreg(rs, s);
+                       if (muxreg(rt, s) != 16384)
+                               return abort();
+                       putchar(d);
+               } else if (insn == 3) {
+                       s->pc += 1;
+                       if (!predcheck(pred, s))
+                               continue;
+                       d = muxreg(rs, s);
+                       setreg(rt, d, s);
+               } else if (insn == 4) {
+                       s->pc += 1;
+                       if (!predcheck(pred, s))
+                               continue;
+                       d = muxreg(rs, s);
+                       d += muxreg(rt, s);
+                       d &= 65535;
+                       setreg(rt, d, s);
+               } else if (insn == 5) {
+                       s->pc += 1;
+                       if (!predcheck(pred, s))
+                               continue;
+                       d = muxreg(rs, s);
+                       d -= muxreg(rt, s);
+                       s->fr = 0;
+                       if (d == 0) s->fr |= 4;
+                       if (d > 0) s->fr |= 1;
+                       if (d < 0) s->fr |= 2;
+               } else if (insn == 6) {
+                       s->pc += 1;
+                       if (!predcheck(pred, s))
+                               continue;
+                       d = muxreg(rs, s);
+                       d &= muxreg(rt, s);
+                       setreg(rt, d, s);
+               } else if (insn == 7) {
+                       s->pc += 1;
+                       if (!predcheck(pred, s))
+                               continue;
+                       d = muxreg(rt, s);
+                       d = ~d;
+                       d &= 65535;
+                       setreg(rt, d, s);
+               }
+       }
+       
+       if (crc != -293203597)
+       {
+               puthex(crc);
+               puts(": FAIL\n");
+       } else
+               puts("PASS\n");
+       return;
+}