From eb1df2b81e18195bcf68dd56f4f339ceda7f5365 Mon Sep 17 00:00:00 2001
From: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date: Wed, 22 Jul 2015 07:14:22 -0400
Subject: refine assertion in cost computation

---
 lisc/spill.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'lisc')

diff --git a/lisc/spill.c b/lisc/spill.c
index ad105e1..b09c696 100644
--- 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);
 			}
-- 
cgit 1.4.1