From 4b0a865fee969e27598f90ea1a091066f3f88d61 Mon Sep 17 00:00:00 2001
From: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date: Sat, 8 Aug 2015 00:31:52 -0400
Subject: [PATCH] forbid two memory operands for comparisons
---
lisc/spill.c | 10 ++++++++++
1 file changed, 10 insertions(+)
diff --git a/lisc/spill.c b/lisc/spill.c
index ca7d962..3ca297a 100644
--- a/lisc/spill.c
+++ b/lisc/spill.c
@@ -362,6 +362,16 @@ spill(Fn *fn)
}
w = (Bits){{0}};
setloc(&i->arg[0], &v, &w);
+ if (i->op == OXCmpw || i->op == OXCmpl)
+ if (rtype(i->arg[0]) == RSlot) {
+ /* <arch>
+ * we make sure that comparisons
+ * do not get their two operands
+ * in memory slots
+ */
+ assert(rtype(i->arg[1]) == RTmp);
+ BSET(w, i->arg[1].val);
+ }
setloc(&i->arg[1], &v, &w);
if (s)
emit(OStore, R, i->to, SLOT(s));