qbe

commit ce82136e960ae2c152b1b925c1ebbb62cbc29e41
parent 2c6f6b4b2dbdd94a10a01124ac61724c412fe587
Author: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date:   Wed, 19 Aug 2015 15:10:07 -0400

remove non-critical diagnostics

Diffstat:
M
lisc/emit.c
 | 
8
--------
M
lisc/lisc.h
 | 
2
+-

2 files changed, 1 insertion(+), 9 deletions(-)
diff --git a/lisc/emit.c b/lisc/emit.c
@@ -186,15 +186,9 @@ eins(Ins i, Fn *fn, FILE *f)
 		break;
 	case OSext:
 	case OZext:
-		if (rtype(i.to) != RTmp || i.to.val >= EAX
-		|| (rtype(i.arg[0]) == RTmp && i.arg[0].val < EAX))
-			diag("emit: invalid extension");
 		eop(otoa[i.op], i.arg[0], i.to, fn, f);
 		break;
 	case OTrunc:
-		if (rtype(i.to) != RTmp || i.to.val < EAX
-		|| (rtype(i.arg[0]) == RTmp && i.arg[0].val >= EAX))
-			diag("emit: invalid truncation");
 		if (rtype(i.arg[0]) == RTmp)
 			i.arg[0] = TMP(RWORD(i.arg[0].val));
 		/* fall through */
@@ -247,8 +241,6 @@ eins(Ins i, Fn *fn, FILE *f)
 			eop("mov", TMP(RSP), i.to, fn ,f);
 		break;
 	case OAddr:
-		if (rtype(i.arg[0]) != RSlot)
-			diag("emit: invalid addr instruction");
 		eop("lea", i.arg[0], i.to, fn, f);
 		break;
 	case OSwap:
diff --git a/lisc/lisc.h b/lisc/lisc.h
@@ -113,7 +113,7 @@ enum Cmp {
 	Csgt, /* mirror opposite cmps! */
 	Csge,
 	Cne,
-	NCmp,
+	NCmp
 };
 
 #define COP(c) (c==Ceq||c==Cne ? c : NCmp-1 - c)