mirror of
git://gcc.gnu.org/git/gcc.git
synced 2025-04-18 23:31:22 +08:00
Make opt_pass and gcc::pass_manager be GC-managed
2013-08-20 David Malcolm <dmalcolm@redhat.com> Make opt_pass and gcc::pass_manager be GC-managed, so that pass instances can own GC refs. * Makefile.in (GTFILES): Add pass_manager.h and tree-pass.h. * context.c (gcc::context::gt_ggc_mx): Traverse passes_. (gcc::context::gt_pch_nx): Likewise. (gcc::context::gt_pch_nx): Likewise. * ggc.h (gt_ggc_mx <T>): New. (gt_pch_nx_with_op <T>): New. (gt_pch_nx <T>): New. * passes.c (opt_pass::gt_ggc_mx): New. (opt_pass::gt_pch_nx): New. (opt_pass::gt_pch_nx_with_op): New. (pass_manager::gt_ggc_mx): New. (pass_manager::gt_pch_nx): New. (pass_manager::gt_pch_nx_with_op): New. (pass_manager::operator new): Use ggc_internal_cleared_alloc_stat rather than xcalloc. * pass_manager.h (class pass_manager): Add GTY((user)) marking. (pass_manager::gt_ggc_mx): New. (pass_manager::gt_pch_nx): New. (pass_manager::gt_pch_nx_with_op): New. * tree-pass.h (class opt_pass): Add GTY((user)) marking. (opt_pass::operator new): New. (opt_pass::gt_ggc_mx): New. (opt_pass::gt_pch_nx): New. (opt_pass::gt_pch_nx_with_op): New. From-SVN: r201865
This commit is contained in:
parent
910c02a071
commit
e42c64cb6d
@ -1,3 +1,33 @@
|
||||
2013-08-20 David Malcolm <dmalcolm@redhat.com>
|
||||
|
||||
Make opt_pass and gcc::pass_manager be GC-managed, so that pass
|
||||
instances can own GC refs.
|
||||
|
||||
* Makefile.in (GTFILES): Add pass_manager.h and tree-pass.h.
|
||||
* context.c (gcc::context::gt_ggc_mx): Traverse passes_.
|
||||
(gcc::context::gt_pch_nx): Likewise.
|
||||
(gcc::context::gt_pch_nx): Likewise.
|
||||
* ggc.h (gt_ggc_mx <T>): New.
|
||||
(gt_pch_nx_with_op <T>): New.
|
||||
(gt_pch_nx <T>): New.
|
||||
* passes.c (opt_pass::gt_ggc_mx): New.
|
||||
(opt_pass::gt_pch_nx): New.
|
||||
(opt_pass::gt_pch_nx_with_op): New.
|
||||
(pass_manager::gt_ggc_mx): New.
|
||||
(pass_manager::gt_pch_nx): New.
|
||||
(pass_manager::gt_pch_nx_with_op): New.
|
||||
(pass_manager::operator new): Use
|
||||
ggc_internal_cleared_alloc_stat rather than xcalloc.
|
||||
* pass_manager.h (class pass_manager): Add GTY((user)) marking.
|
||||
(pass_manager::gt_ggc_mx): New.
|
||||
(pass_manager::gt_pch_nx): New.
|
||||
(pass_manager::gt_pch_nx_with_op): New.
|
||||
* tree-pass.h (class opt_pass): Add GTY((user)) marking.
|
||||
(opt_pass::operator new): New.
|
||||
(opt_pass::gt_ggc_mx): New.
|
||||
(opt_pass::gt_pch_nx): New.
|
||||
(opt_pass::gt_pch_nx_with_op): New.
|
||||
|
||||
2013-08-20 David Malcolm <dmalcolm@redhat.com>
|
||||
|
||||
* Makefile.in (GTFILES): Add context.h.
|
||||
|
@ -3832,6 +3832,8 @@ GTFILES = $(CPP_ID_DATA_H) $(srcdir)/input.h $(srcdir)/coretypes.h \
|
||||
$(srcdir)/asan.c \
|
||||
$(srcdir)/tsan.c $(srcdir)/ipa-devirt.c \
|
||||
$(srcdir)/context.h \
|
||||
$(srcdir)/pass_manager.h \
|
||||
$(srcdir)/tree-pass.h \
|
||||
@all_gtfiles@
|
||||
|
||||
# Compute the list of GT header files from the corresponding C sources,
|
||||
|
@ -42,18 +42,18 @@ gcc::context::context()
|
||||
void
|
||||
gcc::context::gt_ggc_mx ()
|
||||
{
|
||||
/* Currently a no-op. */
|
||||
::gt_ggc_mx (passes_);
|
||||
}
|
||||
|
||||
void
|
||||
gcc::context::gt_pch_nx ()
|
||||
{
|
||||
/* Currently a no-op. */
|
||||
::gt_pch_nx (passes_);
|
||||
}
|
||||
|
||||
void
|
||||
gcc::context::gt_pch_nx (gt_pointer_operator op ATTRIBUTE_UNUSED,
|
||||
void *cookie ATTRIBUTE_UNUSED)
|
||||
{
|
||||
/* Currently a no-op. */
|
||||
op (&passes_, cookie);
|
||||
}
|
||||
|
46
gcc/ggc.h
46
gcc/ggc.h
@ -276,4 +276,50 @@ ggc_alloc_cleared_gimple_statement_d_stat (size_t s MEM_STAT_DECL)
|
||||
ggc_internal_cleared_alloc_stat (s PASS_MEM_STAT);
|
||||
}
|
||||
|
||||
/* gengtype will autogenerate traversal functions (in gtype-desc.c) for
|
||||
all GTY-marked types that it sees are referenced by a GTY marker.
|
||||
|
||||
Unfortunately, it will not generate traveral functions for types that
|
||||
are only referenced by GTY((user)) types.
|
||||
|
||||
The following templates are a substitute, providing equivalent
|
||||
traversal functions for such types. They are instantiated for
|
||||
types whose objects that are traversed during GC/PCH, and are
|
||||
called *every time* that an instance of type T is traversed during
|
||||
GC/PCH.
|
||||
|
||||
They require the presence of the following member functions
|
||||
|
||||
void gt_ggc_mx ();
|
||||
void gt_pch_nx ();
|
||||
void gt_pch_nx_with_op (gt_pointer_operator op, void *cookie);
|
||||
|
||||
within class T, which are called *once* per object - the first
|
||||
time the object is visited during the traversal. */
|
||||
|
||||
template<class T>
|
||||
inline void gt_ggc_mx (T *p)
|
||||
{
|
||||
if (ggc_test_and_set_mark (p))
|
||||
p->gt_ggc_mx ();
|
||||
}
|
||||
|
||||
template<class T>
|
||||
void gt_pch_nx_with_op (void *this_obj, void *p,
|
||||
gt_pointer_operator op, void *cookie)
|
||||
{
|
||||
if (p == this_obj)
|
||||
{
|
||||
T *t = static_cast<T *>(p);
|
||||
t->gt_pch_nx_with_op (op, cookie);
|
||||
}
|
||||
}
|
||||
|
||||
template<class T>
|
||||
inline void gt_pch_nx (T *p)
|
||||
{
|
||||
if (gt_pch_note_object (p, p, gt_pch_nx_with_op<T>))
|
||||
p->gt_pch_nx ();
|
||||
}
|
||||
|
||||
#endif
|
||||
|
@ -44,13 +44,19 @@ namespace gcc {
|
||||
|
||||
class context;
|
||||
|
||||
class pass_manager
|
||||
class GTY((user)) pass_manager
|
||||
{
|
||||
public:
|
||||
/* Ensure that instances are allocated in the GC-managed heap. */
|
||||
void *operator new (size_t sz);
|
||||
|
||||
pass_manager(context *ctxt);
|
||||
|
||||
/* GTY((user)) methods. */
|
||||
void gt_ggc_mx ();
|
||||
void gt_pch_nx ();
|
||||
void gt_pch_nx_with_op (gt_pointer_operator op, void *cookie);
|
||||
|
||||
void register_pass (struct register_pass_info *pass_info);
|
||||
void register_one_dump_file (struct opt_pass *pass);
|
||||
|
||||
@ -134,4 +140,3 @@ private:
|
||||
} // namespace gcc
|
||||
|
||||
#endif /* ! GCC_PASS_MANAGER_H */
|
||||
|
||||
|
140
gcc/passes.c
140
gcc/passes.c
@ -82,6 +82,58 @@ struct opt_pass *current_pass;
|
||||
|
||||
static void register_pass_name (struct opt_pass *, const char *);
|
||||
|
||||
void*
|
||||
opt_pass::operator new (size_t sz)
|
||||
{
|
||||
return ggc_internal_cleared_alloc_stat (sz MEM_STAT_INFO);
|
||||
}
|
||||
|
||||
void opt_pass::gt_ggc_mx ()
|
||||
{
|
||||
::gt_ggc_mx (ctxt_);
|
||||
::gt_ggc_mx (sub);
|
||||
|
||||
/* Avoid deep stack usage by iteratively walking the chain of "next"
|
||||
passes, rather than recursing (analogous to the chain_next/chain_prev
|
||||
GTY options). */
|
||||
|
||||
/* "this" has already been marked.
|
||||
Mark a chain of as-yet-unmarked passes. */
|
||||
opt_pass *limit = this->next;
|
||||
while (ggc_test_and_set_mark (limit))
|
||||
limit = limit->next;
|
||||
|
||||
/* "limit" is the first in the chain that wasn't just marked, either
|
||||
because it is NULL, or because it was already marked.
|
||||
Hence all of the passes in the half-open interval:
|
||||
[this->next...limit)
|
||||
have just been marked: visit them. */
|
||||
for (opt_pass *iter = this->next; iter != limit; iter = iter->next)
|
||||
iter->gt_ggc_mx ();
|
||||
}
|
||||
|
||||
void opt_pass::gt_pch_nx ()
|
||||
{
|
||||
::gt_pch_nx (ctxt_);
|
||||
::gt_pch_nx (sub);
|
||||
|
||||
/* Analogous to opt_pass::gt_ggc_mx. */
|
||||
opt_pass *limit = this->next;
|
||||
while (gt_pch_note_object (limit, limit, ::gt_pch_nx_with_op<opt_pass>))
|
||||
limit = limit->next;
|
||||
|
||||
for (opt_pass *iter = this->next; iter != limit; iter = iter->next)
|
||||
iter->gt_pch_nx ();
|
||||
|
||||
}
|
||||
|
||||
void opt_pass::gt_pch_nx_with_op (gt_pointer_operator op, void *cookie)
|
||||
{
|
||||
op (&(ctxt_), cookie);
|
||||
op (&(sub), cookie);
|
||||
op (&(next), cookie);
|
||||
}
|
||||
|
||||
/* Most passes are single-instance (within their context) and thus don't
|
||||
need to implement cloning, but passes that support multiple instances
|
||||
*must* provide their own implementation of the clone method.
|
||||
@ -116,6 +168,92 @@ opt_pass::opt_pass(const pass_data &data, context *ctxt)
|
||||
{
|
||||
}
|
||||
|
||||
void
|
||||
pass_manager::gt_ggc_mx ()
|
||||
{
|
||||
/* We want to efficiently visit all pass objects without incurring deep
|
||||
call chains that could blow the stack.
|
||||
|
||||
Although there are multiple fields referencing passes within the
|
||||
pass_manager, *almost* all of the underlying pass instances are
|
||||
referenced by the passes_by_id array.
|
||||
|
||||
Specifically, passes are in the passes_by_id array if they have
|
||||
register_one_dump_file called on them, which requires them to have
|
||||
a name, and for that name to *not* begin with "*". Currently
|
||||
there are 25 passes with a "*" prefix and thus not in the array.
|
||||
|
||||
Each pass holds references to its sub and next, so visiting a pass
|
||||
will potentially trigger a recursive traversal through these
|
||||
neighbours - if these passes haven't been visited yet.
|
||||
|
||||
By walking the passes_by_id array *backwards*, in the common case
|
||||
this leads to us walking the pass tree from the leaf passes first,
|
||||
eventually reaching the trunk passes, and hence none of the calls
|
||||
should recurse, given that at each point in the iteration pass->sub
|
||||
and pass->next will already have been marked.
|
||||
|
||||
Having walked the array, we then walk the higher-level fields,
|
||||
again in bottom-up order, which will ensure that we visit all
|
||||
remaining passes. Most of the passes will have already been
|
||||
visited, which should minimize further recursion. */
|
||||
for (int i = passes_by_id_size ; i > 0; )
|
||||
::gt_ggc_mx (passes_by_id[--i]);
|
||||
|
||||
::gt_ggc_mx (all_late_ipa_passes);
|
||||
::gt_ggc_mx (all_lto_gen_passes);
|
||||
::gt_ggc_mx (all_regular_ipa_passes);
|
||||
::gt_ggc_mx (all_lowering_passes);
|
||||
::gt_ggc_mx (all_small_ipa_passes);
|
||||
::gt_ggc_mx (all_passes);
|
||||
}
|
||||
|
||||
void
|
||||
pass_manager::gt_pch_nx ()
|
||||
{
|
||||
/* Analogous to pass_manager::gt_ggc_mx */
|
||||
for (int i = passes_by_id_size ; i > 0; )
|
||||
::gt_pch_nx (passes_by_id[--i]);
|
||||
|
||||
::gt_pch_nx (all_late_ipa_passes);
|
||||
::gt_pch_nx (all_lto_gen_passes);
|
||||
::gt_pch_nx (all_regular_ipa_passes);
|
||||
::gt_pch_nx (all_lowering_passes);
|
||||
::gt_pch_nx (all_small_ipa_passes);
|
||||
::gt_pch_nx (all_passes);
|
||||
}
|
||||
|
||||
void
|
||||
pass_manager::gt_pch_nx_with_op (gt_pointer_operator op, void *cookie)
|
||||
{
|
||||
/* Unlike the _mx and _nx hooks, we must visit *every* field, since
|
||||
they must each be reconstructed when reading the data back from
|
||||
disk. */
|
||||
op (&(all_passes), cookie);
|
||||
op (&(all_small_ipa_passes), cookie);
|
||||
op (&(all_lowering_passes), cookie);
|
||||
op (&(all_regular_ipa_passes), cookie);
|
||||
op (&(all_lto_gen_passes), cookie);
|
||||
op (&(all_late_ipa_passes), cookie);
|
||||
|
||||
for (int i = 0; i < passes_by_id_size; i++)
|
||||
op (&(passes_by_id[i]), cookie);
|
||||
|
||||
#define INSERT_PASSES_AFTER(PASS)
|
||||
#define PUSH_INSERT_PASSES_WITHIN(PASS)
|
||||
#define POP_INSERT_PASSES()
|
||||
#define NEXT_PASS(PASS, NUM) op (&(PASS ## _ ## NUM), cookie);
|
||||
#define TERMINATE_PASS_LIST()
|
||||
|
||||
#include "pass-instances.def"
|
||||
|
||||
#undef INSERT_PASSES_AFTER
|
||||
#undef PUSH_INSERT_PASSES_WITHIN
|
||||
#undef POP_INSERT_PASSES
|
||||
#undef NEXT_PASS
|
||||
#undef TERMINATE_PASS_LIST
|
||||
|
||||
}
|
||||
|
||||
void
|
||||
pass_manager::execute_early_local_passes ()
|
||||
@ -1464,7 +1602,7 @@ void *
|
||||
pass_manager::operator new (size_t sz)
|
||||
{
|
||||
/* Ensure that all fields of the pass manager are zero-initialized. */
|
||||
return xcalloc (1, sz);
|
||||
return ggc_internal_cleared_alloc_stat (sz MEM_STAT_INFO);
|
||||
}
|
||||
|
||||
pass_manager::pass_manager (context *ctxt)
|
||||
|
@ -76,11 +76,22 @@ namespace gcc
|
||||
|
||||
/* An instance of a pass. This is also "pass_data" to minimize the
|
||||
changes in existing code. */
|
||||
class opt_pass : public pass_data
|
||||
class GTY((user)) opt_pass : public pass_data
|
||||
{
|
||||
public:
|
||||
/* Ensure that instances are allocated in the GC-managed heap. */
|
||||
void *operator new (size_t sz);
|
||||
|
||||
virtual ~opt_pass () { }
|
||||
|
||||
/* GTY((user)) methods, to be called once per traversal.
|
||||
opt_pass subclasses with additional GC-managed data should override
|
||||
these, chain up to the base class implementation, then walk their
|
||||
extra fields. */
|
||||
virtual void gt_ggc_mx ();
|
||||
virtual void gt_pch_nx ();
|
||||
virtual void gt_pch_nx_with_op (gt_pointer_operator op, void *cookie);
|
||||
|
||||
/* Create a copy of this pass.
|
||||
|
||||
Passes that can have multiple instances must provide their own
|
||||
|
Loading…
x
Reference in New Issue
Block a user