qbe

commit 13e04cd1debf1ad715b8849d320ec058c4c919ae
parent dd805c38b121ead74437f7b04de3bede86ec76e4
Author: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date:   Fri, 21 Aug 2015 14:22:08 -0400

add helpful diagnostics

Diffstat:
M
lisc/rega.c
 | 
4
++++
M
lisc/tools/pmov.c
 | 
43
++++++++++++++++++++++++++++++++++++++++---

2 files changed, 44 insertions(+), 3 deletions(-)
diff --git a/lisc/rega.c b/lisc/rega.c
@@ -1,4 +1,8 @@
 #include "lisc.h"
+#ifdef TEST_PMOV
+	#undef assert
+	#define assert(x) assert_test(#x, x)
+#endif
 
 
 typedef struct RMap RMap;
diff --git a/lisc/tools/pmov.c b/lisc/tools/pmov.c
@@ -4,15 +4,20 @@
 #include <stdlib.h>
 #include <string.h>
 
+static void assert_test(char *, int), fail(void);
+
 #include "../rega.c"
 
+static RMap mbeg;
+static Ins ins[NReg], *ip;
+
 int
 main()
 {
 	Blk dummyb;
-	Ins ins[NReg], *ip, *i1;
+	Ins *i1;
 	unsigned long long tm, rm;
-	RMap mbeg, mend;
+	RMap mend;
 	int reg[NReg];
 	int t, i, r, nr;
 
@@ -131,12 +136,44 @@ main()
 	exit(0);
 }
 
+
+/* failure diagnostics */
+static void
+fail()
+{
+	Ins *i1;
+	int i;
+
+	printf("\nIn registers: ");
+	for (i=0; i<mbeg.n; i++)
+		printf("%s(r%d) ",
+			tmp[mbeg.t[i]].name,
+			mbeg.r[i]);
+	printf("\n");
+	printf("Parallel move:\n");
+	for (i1=ins; i1<ip; i1++)
+		printf("\t %s <- r%d\n",
+			tmp[i1->to.val].name,
+			i1->arg[0].val);
+	exit(1);
+}
+
+static void
+assert_test(char *s, int x)
+{
+	if (x)
+		return;
+	printf("!assertion failure: %s\n", s);
+	fail();
+}
+
+
 /* symbols required by the linker */
 char debug['Z'+1];
 Ins insb[NIns], *curi;
 
 void diag(char *s)
-{ printf("!diag failure: %s\n", s); exit(1); }
+{ printf("!diag failure: %s\n", s); fail(); }
 
 void *alloc(size_t n)
 { return malloc(n); }