1 /* Simple garbage collection for the GNU compiler.
2 Copyright (C) 1999, 2000, 2001, 2002 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC is free software; you can redistribute it and/or modify it under
7 the terms of the GNU General Public License as published by the Free
8 Software Foundation; either version 2, or (at your option) any later
11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING. If not, write to the Free
18 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
21 /* Generic garbage collection (GC) functions and data, not specific to
22 any particular GC implementation. */
33 #include "langhooks.h"
35 /* Statistics about the allocation. */
36 static ggc_statistics
*ggc_stats
;
38 /* Trees that have been marked, but whose children still need marking. */
39 varray_type ggc_pending_trees
;
41 static void ggc_mark_rtx_children_1
PARAMS ((rtx
));
42 static void ggc_mark_rtx_ptr
PARAMS ((void *));
43 static void ggc_mark_tree_ptr
PARAMS ((void *));
44 static void ggc_mark_rtx_varray_ptr
PARAMS ((void *));
45 static void ggc_mark_tree_varray_ptr
PARAMS ((void *));
46 static void ggc_mark_tree_hash_table_ptr
PARAMS ((void *));
47 static int ggc_htab_delete
PARAMS ((void **, void *));
48 static void ggc_mark_trees
PARAMS ((void));
49 static bool ggc_mark_tree_hash_table_entry
PARAMS ((struct hash_entry
*,
52 /* Maintain global roots that are preserved during GC. */
54 /* Global roots that are preserved during calls to gc. */
58 struct ggc_root
*next
;
62 void (*cb
) PARAMS ((void *));
65 static struct ggc_root
*roots
;
67 /* Add BASE as a new garbage collection root. It is an array of
68 length NELT with each element SIZE bytes long. CB is a
69 function that will be called with a pointer to each element
70 of the array; it is the intention that CB call the appropriate
71 routine to mark gc-able memory for that element. */
74 ggc_add_root (base
, nelt
, size
, cb
)
77 void (*cb
) PARAMS ((void *));
79 struct ggc_root
*x
= (struct ggc_root
*) xmalloc (sizeof (*x
));
90 /* Register an array of rtx as a GC root. */
93 ggc_add_rtx_root (base
, nelt
)
97 ggc_add_root (base
, nelt
, sizeof (rtx
), ggc_mark_rtx_ptr
);
100 /* Register an array of trees as a GC root. */
103 ggc_add_tree_root (base
, nelt
)
107 ggc_add_root (base
, nelt
, sizeof (tree
), ggc_mark_tree_ptr
);
110 /* Register a varray of rtxs as a GC root. */
113 ggc_add_rtx_varray_root (base
, nelt
)
117 ggc_add_root (base
, nelt
, sizeof (varray_type
),
118 ggc_mark_rtx_varray_ptr
);
121 /* Register a varray of trees as a GC root. */
124 ggc_add_tree_varray_root (base
, nelt
)
128 ggc_add_root (base
, nelt
, sizeof (varray_type
),
129 ggc_mark_tree_varray_ptr
);
132 /* Register a hash table of trees as a GC root. */
135 ggc_add_tree_hash_table_root (base
, nelt
)
136 struct hash_table
**base
;
139 ggc_add_root (base
, nelt
, sizeof (struct hash_table
*),
140 ggc_mark_tree_hash_table_ptr
);
143 /* Remove the previously registered GC root at BASE. */
149 struct ggc_root
*x
, **p
;
151 p
= &roots
, x
= roots
;
167 /* Add a hash table to be scanned when all roots have been processed. We
168 delete any entry in the table that has not been marked. */
172 struct d_htab_root
*next
;
174 ggc_htab_marked_p marked_p
;
178 static struct d_htab_root
*d_htab_roots
;
180 /* Add X, an htab, to a list of htabs that contain objects which are allocated
181 from GC memory. Once all other roots are marked, we check each object in
182 the htab to see if it has already been marked. If not, it is deleted.
184 MARKED_P, if specified, is a function that returns 1 if the entry is to
185 be considered as "marked". If not present, the data structure pointed to
186 by the htab slot is tested. This function should be supplied if some
187 other object (such as something pointed to by that object) should be tested
188 in which case the function tests whether that object (or objects) are
189 marked (using ggc_marked_p) and returns nonzero if it is.
191 MARK, if specified, is a function that is passed the contents of a slot
192 that has been determined to have been "marked" (via the above function)
193 and marks any other objects pointed to by that object. For example,
194 we might have a hash table of memory attribute blocks, which are pointed
195 to by a MEM RTL but have a pointer to a DECL. MARKED_P in that case will
196 not be specified because we want to know if the attribute block is pointed
197 to by the MEM, but MARK must be specified because if the block has been
198 marked, we need to mark the DECL. */
201 ggc_add_deletable_htab (x
, marked_p
, mark
)
203 ggc_htab_marked_p marked_p
;
206 struct d_htab_root
*r
207 = (struct d_htab_root
*) xmalloc (sizeof (struct d_htab_root
));
209 r
->next
= d_htab_roots
;
210 r
->htab
= (htab_t
) x
;
211 r
->marked_p
= marked_p
? marked_p
: ggc_marked_p
;
216 /* Process a slot of an htab by deleting it if it has not been marked. */
219 ggc_htab_delete (slot
, info
)
223 struct d_htab_root
*r
= (struct d_htab_root
*) info
;
225 if (! (*r
->marked_p
) (*slot
))
226 htab_clear_slot (r
->htab
, slot
);
233 /* Iterate through all registered roots and mark each element. */
239 struct d_htab_root
*y
;
241 VARRAY_TREE_INIT (ggc_pending_trees
, 4096, "ggc_pending_trees");
243 for (x
= roots
; x
!= NULL
; x
= x
->next
)
246 int s
= x
->size
, n
= x
->nelt
;
247 void (*cb
) PARAMS ((void *)) = x
->cb
;
250 for (i
= 0; i
< n
; ++i
, elt
+= s
)
254 /* Mark all the queued up trees, and their children. */
256 VARRAY_FREE (ggc_pending_trees
);
258 /* Now scan all hash tables that have objects which are to be deleted if
259 they are not already marked. Since these may mark more trees, we need
260 to reinitialize that varray. */
261 VARRAY_TREE_INIT (ggc_pending_trees
, 1024, "ggc_pending_trees");
263 for (y
= d_htab_roots
; y
!= NULL
; y
= y
->next
)
264 htab_traverse (y
->htab
, ggc_htab_delete
, (PTR
) y
);
266 VARRAY_FREE (ggc_pending_trees
);
269 /* R had not been previously marked, but has now been marked via
270 ggc_set_mark. Now recurse and process the children. */
273 ggc_mark_rtx_children (r
)
278 /* Special case the instruction chain. This is a data structure whose
279 chain length is potentially unbounded, and which contain references
280 within the chain (e.g. label_ref and insn_list). If do nothing here,
281 we risk blowing the stack recursing through a long chain of insns.
283 Combat this by marking all of the instructions in the chain before
284 marking the contents of those instructions. */
286 switch (GET_CODE (r
))
294 for (i
= NEXT_INSN (r
); ; i
= NEXT_INSN (i
))
295 if (! ggc_test_and_set_mark (i
))
299 for (i
= NEXT_INSN (r
); i
!= last
; i
= NEXT_INSN (i
))
300 ggc_mark_rtx_children_1 (i
);
306 ggc_mark_rtx_children_1 (r
);
310 ggc_mark_rtx_children_1 (r
)
319 enum rtx_code code
= GET_CODE (r
);
320 /* This gets set to a child rtx to eliminate tail recursion. */
323 /* Collect statistics, if appropriate. */
326 ++ggc_stats
->num_rtxs
[(int) code
];
327 ggc_stats
->size_rtxs
[(int) code
] += ggc_get_size (r
);
330 /* ??? If (some of) these are really pass-dependent info, do we
331 have any right poking our noses in? */
335 ggc_mark (MEM_ATTRS (r
));
338 ggc_mark_rtx (JUMP_LABEL (r
));
341 ggc_mark_rtx (LABEL_REFS (r
));
344 ggc_mark_rtx (LABEL_NEXTREF (r
));
345 ggc_mark_rtx (CONTAINING_INSN (r
));
348 ggc_mark_tree (ADDRESSOF_DECL (r
));
351 ggc_mark_rtx (CONST_DOUBLE_CHAIN (r
));
354 switch (NOTE_LINE_NUMBER (r
))
356 case NOTE_INSN_RANGE_BEG
:
357 case NOTE_INSN_RANGE_END
:
359 case NOTE_INSN_EXPECTED_VALUE
:
360 ggc_mark_rtx (NOTE_RANGE_INFO (r
));
363 case NOTE_INSN_BLOCK_BEG
:
364 case NOTE_INSN_BLOCK_END
:
365 ggc_mark_tree (NOTE_BLOCK (r
));
377 for (fmt
= GET_RTX_FORMAT (GET_CODE (r
)), i
= 0; *fmt
; ++fmt
, ++i
)
384 if (ggc_test_and_set_mark (exp
))
386 if (next_rtx
== NULL
)
389 ggc_mark_rtx_children (exp
);
393 ggc_mark_rtvec (XVEC (r
, i
));
398 while ((r
= next_rtx
) != NULL
);
401 /* V had not been previously marked, but has now been marked via
402 ggc_set_mark. Now recurse and process the children. */
405 ggc_mark_rtvec_children (v
)
410 i
= GET_NUM_ELEM (v
);
412 ggc_mark_rtx (RTVEC_ELT (v
, i
));
415 /* Recursively set marks on all of the children of the
416 GCC_PENDING_TREES. */
421 while (ggc_pending_trees
->elements_used
)
426 t
= VARRAY_TOP_TREE (ggc_pending_trees
);
427 VARRAY_POP (ggc_pending_trees
);
428 code
= TREE_CODE (t
);
430 /* Collect statistics, if appropriate. */
433 ++ggc_stats
->num_trees
[(int) code
];
434 ggc_stats
->size_trees
[(int) code
] += ggc_get_size (t
);
437 /* Bits from common. */
438 ggc_mark_tree (TREE_TYPE (t
));
439 ggc_mark_tree (TREE_CHAIN (t
));
441 /* Some nodes require special handling. */
445 ggc_mark_tree (TREE_PURPOSE (t
));
446 ggc_mark_tree (TREE_VALUE (t
));
451 int i
= TREE_VEC_LENGTH (t
);
454 ggc_mark_tree (TREE_VEC_ELT (t
, i
));
459 ggc_mark_tree (TREE_REALPART (t
));
460 ggc_mark_tree (TREE_IMAGPART (t
));
464 ggc_mark_rtx (DECL_INCOMING_RTL (t
));
468 ggc_mark_tree (DECL_FIELD_BIT_OFFSET (t
));
471 case IDENTIFIER_NODE
:
472 (*lang_hooks
.mark_tree
) (t
);
479 /* But in general we can handle them by class. */
480 switch (TREE_CODE_CLASS (code
))
482 case 'd': /* A decl node. */
483 ggc_mark_tree (DECL_SIZE (t
));
484 ggc_mark_tree (DECL_SIZE_UNIT (t
));
485 ggc_mark_tree (DECL_NAME (t
));
486 ggc_mark_tree (DECL_CONTEXT (t
));
487 ggc_mark_tree (DECL_ARGUMENTS (t
));
488 ggc_mark_tree (DECL_RESULT_FLD (t
));
489 ggc_mark_tree (DECL_INITIAL (t
));
490 ggc_mark_tree (DECL_ABSTRACT_ORIGIN (t
));
491 ggc_mark_tree (DECL_SECTION_NAME (t
));
492 ggc_mark_tree (DECL_ATTRIBUTES (t
));
493 if (DECL_RTL_SET_P (t
))
494 ggc_mark_rtx (DECL_RTL (t
));
495 ggc_mark_rtx (DECL_LIVE_RANGE_RTL (t
));
496 ggc_mark_tree (DECL_VINDEX (t
));
497 if (DECL_ASSEMBLER_NAME_SET_P (t
))
498 ggc_mark_tree (DECL_ASSEMBLER_NAME (t
));
499 if (TREE_CODE (t
) == FUNCTION_DECL
)
501 ggc_mark_tree (DECL_SAVED_TREE (t
));
502 ggc_mark_tree (DECL_INLINED_FNS (t
));
503 if (DECL_SAVED_INSNS (t
))
504 ggc_mark_struct_function (DECL_SAVED_INSNS (t
));
506 (*lang_hooks
.mark_tree
) (t
);
509 case 't': /* A type node. */
510 ggc_mark_tree (TYPE_SIZE (t
));
511 ggc_mark_tree (TYPE_SIZE_UNIT (t
));
512 ggc_mark_tree (TYPE_ATTRIBUTES (t
));
513 ggc_mark_tree (TYPE_VALUES (t
));
514 ggc_mark_tree (TYPE_POINTER_TO (t
));
515 ggc_mark_tree (TYPE_REFERENCE_TO (t
));
516 ggc_mark_tree (TYPE_NAME (t
));
517 ggc_mark_tree (TYPE_MIN_VALUE (t
));
518 ggc_mark_tree (TYPE_MAX_VALUE (t
));
519 ggc_mark_tree (TYPE_NEXT_VARIANT (t
));
520 ggc_mark_tree (TYPE_MAIN_VARIANT (t
));
521 ggc_mark_tree (TYPE_BINFO (t
));
522 ggc_mark_tree (TYPE_CONTEXT (t
));
523 (*lang_hooks
.mark_tree
) (t
);
526 case 'b': /* A lexical block. */
527 ggc_mark_tree (BLOCK_VARS (t
));
528 ggc_mark_tree (BLOCK_SUBBLOCKS (t
));
529 ggc_mark_tree (BLOCK_SUPERCONTEXT (t
));
530 ggc_mark_tree (BLOCK_ABSTRACT_ORIGIN (t
));
533 case 'c': /* A constant. */
534 ggc_mark_rtx (TREE_CST_RTL (t
));
537 case 'r': case '<': case '1':
538 case '2': case 'e': case 's': /* Expressions. */
540 int i
= TREE_CODE_LENGTH (TREE_CODE (t
));
541 int first_rtl
= first_rtl_op (TREE_CODE (t
));
546 ggc_mark_rtx ((rtx
) TREE_OPERAND (t
, i
));
548 ggc_mark_tree (TREE_OPERAND (t
, i
));
554 (*lang_hooks
.mark_tree
) (t
);
560 /* Mark all the elements of the varray V, which contains rtxs. */
563 ggc_mark_rtx_varray (v
)
569 for (i
= v
->num_elements
- 1; i
>= 0; --i
)
570 ggc_mark_rtx (VARRAY_RTX (v
, i
));
573 /* Mark all the elements of the varray V, which contains trees. */
576 ggc_mark_tree_varray (v
)
582 for (i
= v
->num_elements
- 1; i
>= 0; --i
)
583 ggc_mark_tree (VARRAY_TREE (v
, i
));
586 /* Mark the hash table-entry HE. Its key field is really a tree. */
589 ggc_mark_tree_hash_table_entry (he
, k
)
590 struct hash_entry
*he
;
591 hash_table_key k ATTRIBUTE_UNUSED
;
593 ggc_mark_tree ((tree
) he
->key
);
597 /* Mark all the elements of the hash-table H, which contains trees. */
600 ggc_mark_tree_hash_table (ht
)
601 struct hash_table
*ht
;
603 hash_traverse (ht
, ggc_mark_tree_hash_table_entry
, /*info=*/0);
606 /* Type-correct function to pass to ggc_add_root. It just forwards
607 *ELT (which is an rtx) to ggc_mark_rtx. */
610 ggc_mark_rtx_ptr (elt
)
613 ggc_mark_rtx (*(rtx
*) elt
);
616 /* Type-correct function to pass to ggc_add_root. It just forwards
617 *ELT (which is a tree) to ggc_mark_tree. */
620 ggc_mark_tree_ptr (elt
)
623 ggc_mark_tree (*(tree
*) elt
);
626 /* Type-correct function to pass to ggc_add_root. It just forwards
627 ELT (which is really a varray_type *) to ggc_mark_rtx_varray. */
630 ggc_mark_rtx_varray_ptr (elt
)
633 ggc_mark_rtx_varray (*(varray_type
*) elt
);
636 /* Type-correct function to pass to ggc_add_root. It just forwards
637 ELT (which is really a varray_type *) to ggc_mark_tree_varray. */
640 ggc_mark_tree_varray_ptr (elt
)
643 ggc_mark_tree_varray (*(varray_type
*) elt
);
646 /* Type-correct function to pass to ggc_add_root. It just forwards
647 ELT (which is really a struct hash_table **) to
648 ggc_mark_tree_hash_table. */
651 ggc_mark_tree_hash_table_ptr (elt
)
654 ggc_mark_tree_hash_table (*(struct hash_table
**) elt
);
657 /* Allocate a block of memory, then clear it. */
659 ggc_alloc_cleared (size
)
662 void *buf
= ggc_alloc (size
);
663 memset (buf
, 0, size
);
667 /* Print statistics that are independent of the collector in use. */
668 #define SCALE(x) ((unsigned long) ((x) < 1024*10 \
670 : ((x) < 1024*1024*10 \
672 : (x) / (1024*1024))))
673 #define LABEL(x) ((x) < 1024*10 ? ' ' : ((x) < 1024*1024*10 ? 'k' : 'M'))
676 ggc_print_common_statistics (stream
, stats
)
678 ggc_statistics
*stats
;
682 /* Set the pointer so that during collection we will actually gather
686 /* Then do one collection to fill in the statistics. */
689 /* Total the statistics. */
690 for (code
= 0; code
< MAX_TREE_CODES
; ++code
)
692 stats
->total_num_trees
+= stats
->num_trees
[code
];
693 stats
->total_size_trees
+= stats
->size_trees
[code
];
695 for (code
= 0; code
< NUM_RTX_CODE
; ++code
)
697 stats
->total_num_rtxs
+= stats
->num_rtxs
[code
];
698 stats
->total_size_rtxs
+= stats
->size_rtxs
[code
];
701 /* Print the statistics for trees. */
702 fprintf (stream
, "\n%-17s%10s %16s %10s\n", "Tree",
703 "Number", "Bytes", "% Total");
704 for (code
= 0; code
< MAX_TREE_CODES
; ++code
)
705 if (ggc_stats
->num_trees
[code
])
707 fprintf (stream
, "%-17s%10u%16ld%c %10.3f\n",
708 tree_code_name
[code
],
709 ggc_stats
->num_trees
[code
],
710 SCALE (ggc_stats
->size_trees
[code
]),
711 LABEL (ggc_stats
->size_trees
[code
]),
712 (100 * ((double) ggc_stats
->size_trees
[code
])
713 / ggc_stats
->total_size_trees
));
716 "%-17s%10u%16ld%c\n", "Total",
717 ggc_stats
->total_num_trees
,
718 SCALE (ggc_stats
->total_size_trees
),
719 LABEL (ggc_stats
->total_size_trees
));
721 /* Print the statistics for RTL. */
722 fprintf (stream
, "\n%-17s%10s %16s %10s\n", "RTX",
723 "Number", "Bytes", "% Total");
724 for (code
= 0; code
< NUM_RTX_CODE
; ++code
)
725 if (ggc_stats
->num_rtxs
[code
])
727 fprintf (stream
, "%-17s%10u%16ld%c %10.3f\n",
729 ggc_stats
->num_rtxs
[code
],
730 SCALE (ggc_stats
->size_rtxs
[code
]),
731 LABEL (ggc_stats
->size_rtxs
[code
]),
732 (100 * ((double) ggc_stats
->size_rtxs
[code
])
733 / ggc_stats
->total_size_rtxs
));
736 "%-17s%10u%16ld%c\n", "Total",
737 ggc_stats
->total_num_rtxs
,
738 SCALE (ggc_stats
->total_size_rtxs
),
739 LABEL (ggc_stats
->total_size_rtxs
));
741 /* Don't gather statistics any more. */