diff options
| author | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2016-04-01 10:41:53 -0400 |
|---|---|---|
| committer | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2016-04-01 10:41:53 -0400 |
| commit | e7825e70d532d16f1598eaa598342af373716418 (patch) | |
| tree | d29fa3899d7d141da8fe91ee5ae1cd252b3d7e7b /spill.c | |
| parent | 6a2c88054318290f4b4aeb6f24d710a3f99c6415 (diff) | |
| download | roux-e7825e70d532d16f1598eaa598342af373716418.tar.gz | |
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.
Diffstat (limited to 'spill.c')
| -rw-r--r-- | spill.c | 7 |
1 files changed, 3 insertions, 4 deletions
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)) |