qbe

commit eb1df2b81e18195bcf68dd56f4f339ceda7f5365
parent 4f4d4cce6f513a7fd3fdd2e0f6e2a795cfb9bb71
Author: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date:   Wed, 22 Jul 2015 07:14:22 -0400

refine assertion in cost computation

Diffstat:
M
lisc/spill.c
 | 
3
++-

1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/lisc/spill.c b/lisc/spill.c
@@ -94,7 +94,8 @@ fillcost(Fn *fn)
 			symuse(p->to, 0, 0, fn);
 			for (a=0; a<p->narg; a++) {
 				n = p->blk[a]->loop;
-				assert(b->npred && "invalid cfg");
+				assert(b->npred==p->narg &&
+					"wrong cfg");
 				n /= b->npred;
 				symuse(p->arg[a], 1, n, fn);
 			}