From e7825e70d532d16f1598eaa598342af373716418 Mon Sep 17 00:00:00 2001 From: Quentin Carbonneaux Date: Fri, 1 Apr 2016 10:41:53 -0400 Subject: tradeoff the type of bsiter() int is used all over the place for temporaries, maybe this should be changed, I don't know. Another thing to consider is that temporaries are currently on 12 bits (and will be on 29 or 30 bits in the future), so int will always be safe to store them. We just loose the free invariant of non-negativity. --- spill.c | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'spill.c') diff --git a/spill.c b/spill.c index 8684993..bda7532 100644 --- a/spill.c +++ b/spill.c @@ -178,8 +178,7 @@ static void limit(BSet *b, int k, BSet *f) { static int *tarr, maxt; - int i, nt; - uint t; + int i, t, nt; nt = bscount(b); if (nt <= k) @@ -222,7 +221,7 @@ limit2(BSet *b1, int k1, int k2, BSet *fst) static void sethint(BSet *u, bits r) { - uint t; + int t; for (t=Tmp0; bsiter(u, &t); t++) tmp[phicls(t, tmp)].hint.m |= r; @@ -231,7 +230,7 @@ sethint(BSet *u, bits r) static void reloads(BSet *u, BSet *v) { - uint t; + int t; for (t=Tmp0; bsiter(u, &t); t++) if (!bshas(v, t)) -- cgit v1.2.3