projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add ASSERTs to all calls of nameModule
[ghc-hetmet.git]
/
rts
/
sm
/
GCAux.c
diff --git
a/rts/sm/GCAux.c
b/rts/sm/GCAux.c
index
fccae2c
..
66806f4
100644
(file)
--- a/
rts/sm/GCAux.c
+++ b/
rts/sm/GCAux.c
@@
-41,7
+41,6
@@
isAlive(StgClosure *p)
q = UNTAG_CLOSURE(p);
ASSERT(LOOKS_LIKE_CLOSURE_PTR(q));
q = UNTAG_CLOSURE(p);
ASSERT(LOOKS_LIKE_CLOSURE_PTR(q));
- info = get_itbl(q);
// ignore static closures
//
// ignore static closures
//
@@
-63,14
+62,28
@@
isAlive(StgClosure *p)
// large objects use the evacuated flag
if (bd->flags & BF_LARGE) {
// large objects use the evacuated flag
if (bd->flags & BF_LARGE) {
+ if (get_itbl(q)->type == TSO &&
+ ((StgTSO *)p)->what_next == ThreadRelocated) {
+ p = (StgClosure *)((StgTSO *)p)->_link;
+ continue;
+ }
return NULL;
}
// check the mark bit for compacted steps
return NULL;
}
// check the mark bit for compacted steps
- if ((bd->flags & BF_COMPACTED) && is_marked((P_)q,bd)) {
+ if ((bd->flags & BF_MARKED) && is_marked((P_)q,bd)) {
return p;
}
return p;
}
+ info = q->header.info;
+
+ if (IS_FORWARDING_PTR(info)) {
+ // alive!
+ return (StgClosure*)UN_FORWARDING_PTR(info);
+ }
+
+ info = INFO_PTR_TO_STRUCT(info);
+
switch (info->type) {
case IND:
switch (info->type) {
case IND:
@@
-82,13
+95,9
@@
isAlive(StgClosure *p)
p = ((StgInd *)q)->indirectee;
continue;
p = ((StgInd *)q)->indirectee;
continue;
- case EVACUATED:
- // alive!
- return ((StgEvacuated *)q)->evacuee;
-
case TSO:
if (((StgTSO *)q)->what_next == ThreadRelocated) {
case TSO:
if (((StgTSO *)q)->what_next == ThreadRelocated) {
- p = (StgClosure *)((StgTSO *)q)->link;
+ p = (StgClosure *)((StgTSO *)q)->_link;
continue;
}
return NULL;
continue;
}
return NULL;