gc: flip twice and dump.

This commit is contained in:
Jan Nieuwenhuizen 2019-11-03 08:35:56 +01:00
parent 2dd537314c
commit b1cdcd2930
No known key found for this signature in database
GPG Key ID: F3C1A0D9C1D65273
1 changed files with 7 additions and 0 deletions

View File

@ -749,6 +749,8 @@ gc_ ()
SCM SCM
gc () gc ()
{ {
if (getenv ("MES_DUMP") != 0)
gc_dump_arena (g_cells, gc_free ());
if (g_debug > 5) if (g_debug > 5)
{ {
eputs ("symbols: "); eputs ("symbols: ");
@ -760,6 +762,9 @@ gc ()
} }
gc_push_frame (); gc_push_frame ();
gc_ (); gc_ ();
#if POINTER_CELLS && !GC_NOFLIP
gc_ ();
#endif
gc_pop_frame (); gc_pop_frame ();
if (g_debug > 5) if (g_debug > 5)
{ {
@ -770,6 +775,8 @@ gc ()
write_error_ (R0); write_error_ (R0);
eputs ("\n"); eputs ("\n");
} }
if (getenv ("MES_DUMP") != 0)
gc_dump_arena (g_cells, gc_free ());
return cell_unspecified; return cell_unspecified;
} }