Searched refs:isMutable (Results 1 - 17 of 17) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | gc_copy_phase.cpp | 187 static bool FindNextSpace(LocalMemSpace *src, LocalMemSpace **dst, bool isMutable, GCTaskId *id)
204 ASSERT(!isMutable || src->isMutable);
208 if (lSpace->isMutable == isMutable && !lSpace->allocationSpace && lSpace->spaceOwner == 0)
219 isMutable ? "mutable" : "immutable", src, lSpace);
290 bool isMutable = OBJ_IS_MUTABLE_OBJECT(L);
291 LocalMemSpace *destSpace = isMutable || immutableDest == 0 ? mutableDest : immutableDest;
297 if (FindNextSpace(src, isMutable ? &mutableDest : &immutableDest, isMutable, i
[all...] |
| H A D | quick_gc.cpp | 76 virtual LocalMemSpace *FindSpace(POLYUNSIGNED length, bool isMutable) = 0;
87 virtual LocalMemSpace *FindSpace(POLYUNSIGNED length, bool isMutable);
100 virtual LocalMemSpace *FindSpace(POLYUNSIGNED length, bool isMutable);
183 bool isMutable = OBJ_IS_MUTABLE_OBJECT(L); local
185 LocalMemSpace *lSpace = FindSpace(n, isMutable);
202 if (isMutable || OBJ_IS_CODE_OBJECT(L))
234 LocalMemSpace *RootScanner::FindSpace(POLYUNSIGNED n, bool isMutable) argument
236 LocalMemSpace *lSpace = isMutable ? mutableSpace : immutableSpace;
249 if (sp->isMutable == isMutable
264 FindSpace(POLYUNSIGNED n, bool isMutable) argument
[all...] |
| H A D | heapsizing.h | 43 LocalMemSpace *AddSpaceInMinorGC(POLYUNSIGNED space, bool isMutable);
47 LocalMemSpace *AddSpaceBeforeCopyPhase(bool isMutable);
|
| H A D | gc_check_weak_ref.cpp | 141 if (space->isMutable)
148 if (space->isMutable)
|
| H A D | memmgr.cpp | 53 isMutable = false;
83 isMutable = mut;
223 else if (space->isMutable)
234 while (i != lSpaces.end() && ! (*i)->isMutable) i++;
255 space->isMutable = flags & MTF_WRITEABLE ? true : false;
313 space->isMutable = mut;
435 space->isMutable = pSpace->isMutable;
446 pSpace, pSpace->isMutable ? "im": "", space);
582 isMutable
[all...] |
| H A D | pexport.cpp | 316 bool isMutable; member in class:SpaceAlloc
322 isMutable = isMut;
341 MemSpace* space = gMem.NewPermanentSpace(base, used, isMutable ? MTF_WRITEABLE : 0, spaceIndex++);
389 PolyObject *NewObject(POLYUNSIGNED words, bool isMutable);
527 bool isMutable = false; local
545 if (ch == 'M') { isMutable = true; objBits |= F_MUTABLE_BIT; }
590 PolyObject *p = NewObject(nWords, isMutable);
|
| H A D | memmgr.h | 76 bool isMutable; member in class:MemSpace
90 virtual const char *spaceTypeString() { return isMutable ? "mutable" : "immutable"; }
|
| H A D | exporter.cpp | 169 else if (space->isMutable)
175 if (space->hierarchy == 0 && ! space->isMutable)
201 if (space->isMutable)
341 if (isMutableObj == space->isMutable &&
390 if (space->spaceType == ST_PERMANENT && !space->isMutable && ((PermanentMemSpace*)space)->hierarchy == 0)
581 if (space->isMutable) entry->mtFlags |= MTF_WRITEABLE;
596 if (space->isMutable)
|
| H A D | check_objects.cpp | 160 if (space->isMutable && ! space->byteOnly)
|
| H A D | gc.cpp | 208 if (lSpace->isMutable)
239 if (lSpace->isMutable)
|
| H A D | gc_update_phase.cpp | 271 if (space->isMutable && ! space->byteOnly)
|
| H A D | heapsizing.cpp | 211 LocalMemSpace *HeapSizeParameters::AddSpaceInMinorGC(POLYUNSIGNED space, bool isMutable) argument
226 LocalMemSpace *sp = gMem.NewLocalSpace(spaceSize, isMutable); // Return the space or zero if it failed
242 LocalMemSpace *HeapSizeParameters::AddSpaceBeforeCopyPhase(bool isMutable) argument
244 LocalMemSpace *sp = gMem.NewLocalSpace(gMem.DefaultSpaceSize(), isMutable);
|
| H A D | gc_mark_phase.cpp | 584 if (space->isMutable && ! space->byteOnly)
822 if (! lSpace->isMutable) ASSERT(lSpace->m_marked == 0);
|
| H A D | savestate.cpp | 473 if (space->isMutable && !space->noOverwrite && !space->byteOnly)
506 if (space->isMutable)
527 if (space->isMutable)
1174 if (newSpace->isMutable && newSpace->byteOnly)
1743 if (space->isMutable && (descr->segmentFlags & SSF_BYTES) != 0)
|
| H A D | gc_share_phase.cpp | 659 if (space->isMutable && ! space->byteOnly)
|
| H A D | sharedata.cpp | 917 if (!space->isMutable && space->hierarchy == 0)
|
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/ |
| H A D | CODETREE_SIMPLIFIER.sml | 329 if isMutable addr orelse not(isWords addr) orelse wordOffset >= length addr
342 if isMutable addr orelse not(isBytes addr) orelse wordOffset >= length addr
356 if isMutable addr orelse not(isBytes addr) orelse offset <> 0w0
|
Completed in 107 milliseconds