summary refs log tree commit diff
path: root/lisc/emit.c
diff options
context:
space:
mode:
authorQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2015-08-19 15:10:07 -0400
committerQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2015-09-15 23:01:32 -0400
commitce82136e960ae2c152b1b925c1ebbb62cbc29e41 (patch)
treed230d0b8aff767a80503988dde836bda1f576f11 /lisc/emit.c
parent2c6f6b4b2dbdd94a10a01124ac61724c412fe587 (diff)
downloadroux-ce82136e960ae2c152b1b925c1ebbb62cbc29e41.tar.gz
remove non-critical diagnostics
Diffstat (limited to 'lisc/emit.c')
-rw-r--r--lisc/emit.c8
1 files changed, 0 insertions, 8 deletions
diff --git a/lisc/emit.c b/lisc/emit.c
index e28832a..b8b65d6 100644
--- 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: