From 35c310849a3685b823e06456e220e5647135fe42 Mon Sep 17 00:00:00 2001
From: Joshua Wise <joshua@rebirth.joshuawise.com>
Date: Sun, 18 Jan 2009 04:19:52 -0500
Subject: [PATCH] tests/testbench: Add miniblarg.  Put ldm_bonehead in a place
 where it will not get owned by -O3.

---
 tests/miniblarg.c | 179 ++++++++++++++++++++++++++++++++++++++++++++++
 tests/testbench.c |  14 +++-
 2 files changed, 190 insertions(+), 3 deletions(-)
 create mode 100644 tests/miniblarg.c

diff --git a/tests/miniblarg.c b/tests/miniblarg.c
new file mode 100644
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;
+}
diff --git a/tests/testbench.c b/tests/testbench.c
index f8366b4..0c1cb77 100644
--- a/tests/testbench.c
+++ b/tests/testbench.c
@@ -19,6 +19,7 @@ void puthex(unsigned int x)
 #include "ack.c"
 #include "j4cbo.c"
 #include "corecurse.c"
+#include "miniblarg.c"
 
 int fact(int n)
 {
@@ -42,8 +43,11 @@ struct tests {
 };
 
 extern int ldm_bonehead();
+
 #ifndef X86
-__asm__(
+int shnasto()
+{
+__asm__ volatile(
 ".globl ldm_bonehead\n"
 "ldm_bonehead:;"
 "mov r3, lr;"
@@ -59,8 +63,9 @@ __asm__(
 "nop;"
 "mov pc, r3\n;"
 "1:\n"
-"ldr r2, =0x00002FE0;"
-"ldr r1, =0x0000004C;"
+"mov r2, #0x00002F00;"
+"orr r2, r2, #0x000000E0;"
+"mov r1, #0x0000004C;"
 "mov ip, sp;"
 "stmdb sp!, {fp, ip, lr, pc};"
 "mov r0, #0x00880000;"
@@ -69,7 +74,9 @@ __asm__(
 "nop;"
 "nop;\n"
 );
+}
 #endif
+
 void ldm_tester()
 {
 #ifdef X86
@@ -91,6 +98,7 @@ struct tests tlist[] = {
 	{"fact", facttest},
 	{"j4cbo", j4cbo},
 	{"ack", acktest},
+	{"miniblarg", testmain},
 	{"corecurse", corecurse},
 	{0, 0}};
 
-- 
2.39.2