summaryrefslogtreecommitdiff
path: root/gcc/ipa-ref.c
diff options
context:
space:
mode:
authorhubicka <hubicka@138bc75d-0d04-0410-961f-82ee72b054a4>2010-05-06 08:39:32 +0000
committerhubicka <hubicka@138bc75d-0d04-0410-961f-82ee72b054a4>2010-05-06 08:39:32 +0000
commit8d8103295d80e9ef11e5eee58cb3e29e1709f299 (patch)
treee48d1955485a825be1e84a6a3218ce8974043c2a /gcc/ipa-ref.c
parentfbb73d9bb6980aacb2366cbde38d255de0fde0fe (diff)
downloadgcc-8d8103295d80e9ef11e5eee58cb3e29e1709f299.tar.gz
* cgraphbuild.c (record_reference_ctx): Add varpool_node.
(record_reference, mark_address, mark_load, mark_store): Record references. (record_references_in_initializer): Update call of record_references. (rebuild_cgraph_edges): Remove all references before rebuiding. * cgraph.c (cgraph_create_node): Clear ref list. (cgraph_remove_node): Remove references. (dump_cgraph_node): Dump references. (cgraph_clone_node): Clone references. * cgraph.h: Include ipa-ref.h and ipa-ref-inline.h (struct cgraph_node, varpool_node): Add ref_lst. * ipa-ref.c: New file. * ipa-ref.h: New file. * ipa-ref-inline.h: New file. * lto-cgraph.c (output_varpool): Take cgrag node set argument. (referenced_from_other_partition_p): New function. (lto_output_varpool_node): Take set arugment; call referenced_from_other_partition. (lto_output_ref): New. (add_references): New. (output_refs): New. (output_cgraph): Compute boundary based on references; output refs. (output_varpool): Accept cgraph_node_set argument. (input_ref): New. (input_refs): New. (input_cgraph): Call input_refs. * lto-section-in.c (lto_section_name): Add refs. * Makefile.in: (cgraph.h): Include ipa-ref.h and ipa-ref-inline.h (ipa-ref.o): New file. * varpool.c (varpool_node): Clear ipa ref list. (varpool_remove_node): Remove references. (dump_varpool_node): Dump references. (varpool_assemble_decl): Only compile finalized ones. (varpool_extra_name_alias): Initialize ref list. * lto-streamer.c (lto-get_section_name): Add .refs section. * lto-streamer.h (lto_section_type): Add LTO_section_refs. (referenced_from_other_partition_p): Declared. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@159097 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ipa-ref.c')
-rw-r--r--gcc/ipa-ref.c235
1 files changed, 235 insertions, 0 deletions
diff --git a/gcc/ipa-ref.c b/gcc/ipa-ref.c
index e69de29bb2d..dd6b009ce58 100644
--- a/gcc/ipa-ref.c
+++ b/gcc/ipa-ref.c
@@ -0,0 +1,235 @@
+/* Interprocedural reference lists.
+ Copyright (C) 2010
+ Free Software Foundation, Inc.
+ Contributed by Jan Hubicka
+
+This file is part of GCC.
+
+GCC is free software; you can redistribute it and/or modify it under
+the terms of the GNU General Public License as published by the Free
+Software Foundation; either version 3, or (at your option) any later
+version.
+
+GCC is distributed in the hope that it will be useful, but WITHOUT ANY
+WARRANTY; without even the implied warranty of MERCHANTABILITY or
+FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
+for more details.
+
+You should have received a copy of the GNU General Public License
+along with GCC; see the file COPYING3. If not see
+<http://www.gnu.org/licenses/>. */
+
+#include "config.h"
+#include "system.h"
+#include "coretypes.h"
+#include "tree.h"
+#include "ggc.h"
+#include "target.h"
+#include "cgraph.h"
+
+static const char *ipa_ref_use_name[] = {"read","write","addr"};
+
+/* Return ipa reference from REFERING_NODE or REFERING_VARPOOL_NODE
+ to REFERED_NODE or REFERED_VARPOOL_NODE. USE_TYPE specify type
+ of the use and STMT the statement (if it exists). */
+
+struct ipa_ref *
+ipa_record_reference (struct cgraph_node *refering_node,
+ struct varpool_node *refering_varpool_node,
+ struct cgraph_node *refered_node,
+ struct varpool_node *refered_varpool_node,
+ enum ipa_ref_use use_type, gimple stmt)
+{
+ struct ipa_ref *ref;
+ struct ipa_ref_list *list, *list2;
+ VEC(ipa_ref_t,gc) *old_references;
+ gcc_assert ((!refering_node) ^ (!refering_varpool_node));
+ gcc_assert ((!refered_node) ^ (!refered_varpool_node));
+ gcc_assert (!stmt || refering_node);
+
+ list = (refering_node ? &refering_node->ref_list
+ : &refering_varpool_node->ref_list);
+ old_references = list->references;
+ VEC_safe_grow (ipa_ref_t, gc, list->references,
+ VEC_length (ipa_ref_t, list->references) + 1);
+ ref = VEC_last (ipa_ref_t, list->references);
+
+ list2 = (refered_node ? &refered_node->ref_list
+ : &refered_varpool_node->ref_list);
+ VEC_safe_push (ipa_ref_ptr, heap, list2->refering, ref);
+ ref->refered_index = VEC_length (ipa_ref_ptr, list2->refering) - 1;
+ if (refering_node)
+ {
+ ref->refering.cgraph_node = refering_node;
+ ref->refering_type = IPA_REF_CGRAPH;
+ }
+ else
+ {
+ ref->refering.varpool_node = refering_varpool_node;
+ ref->refering_type = IPA_REF_VARPOOL;
+ gcc_assert (use_type == IPA_REF_ADDR);
+ }
+ if (refered_node)
+ {
+ ref->refered.cgraph_node = refered_node;
+ ref->refered_type = IPA_REF_CGRAPH;
+ gcc_assert (use_type == IPA_REF_ADDR);
+ }
+ else
+ {
+ varpool_mark_needed_node (refered_varpool_node);
+ ref->refered.varpool_node = refered_varpool_node;
+ ref->refered_type = IPA_REF_VARPOOL;
+ }
+ ref->stmt = stmt;
+ ref->use = use_type;
+
+ /* If vector was moved in memory, update pointers. */
+ if (old_references != list->references)
+ {
+ int i;
+ for (i = 0; ipa_ref_list_reference_iterate (list, i, ref); i++)
+ VEC_replace (ipa_ref_ptr,
+ ipa_ref_refered_ref_list (ref)->refering,
+ ref->refered_index, ref);
+ }
+ return ref;
+}
+
+/* Remove reference REF. */
+
+void
+ipa_remove_reference (struct ipa_ref *ref)
+{
+ struct ipa_ref_list *list = ipa_ref_refered_ref_list (ref);
+ struct ipa_ref_list *list2 = ipa_ref_refering_ref_list (ref);
+ VEC(ipa_ref_t,gc) *old_references = list2->references;
+ struct ipa_ref *last;
+
+ gcc_assert (VEC_index (ipa_ref_ptr, list->refering, ref->refered_index) == ref);
+ last = VEC_last (ipa_ref_ptr, list->refering);
+ if (ref != last)
+ {
+ VEC_replace (ipa_ref_ptr, list->refering,
+ ref->refered_index,
+ VEC_last (ipa_ref_ptr, list->refering));
+ VEC_index (ipa_ref_ptr, list->refering,
+ ref->refered_index)->refered_index = ref->refered_index;
+ }
+ VEC_pop (ipa_ref_ptr, list->refering);
+
+ last = VEC_last (ipa_ref_t, list2->references);
+ if (ref != last)
+ {
+ *ref = *last;
+ VEC_replace (ipa_ref_ptr,
+ ipa_ref_refered_ref_list (ref)->refering,
+ ref->refered_index, ref);
+ }
+ VEC_pop (ipa_ref_t, list2->references);
+ gcc_assert (list2->references == old_references);
+}
+
+/* Remove all references in ref list LIST. */
+
+void
+ipa_remove_all_references (struct ipa_ref_list *list)
+{
+ while (VEC_length (ipa_ref_t, list->references))
+ ipa_remove_reference (VEC_last (ipa_ref_t, list->references));
+ VEC_free (ipa_ref_t, gc, list->references);
+ list->references = NULL;
+}
+
+/* Remove all references in ref list LIST. */
+
+void
+ipa_remove_all_refering (struct ipa_ref_list *list)
+{
+ while (VEC_length (ipa_ref_ptr, list->refering))
+ ipa_remove_reference (VEC_last (ipa_ref_ptr, list->refering));
+ VEC_free (ipa_ref_ptr, heap, list->refering);
+ list->refering = NULL;
+}
+
+/* Dump references in LIST to FILE. */
+
+void
+ipa_dump_references (FILE * file, struct ipa_ref_list *list)
+{
+ struct ipa_ref *ref;
+ int i;
+ for (i = 0; ipa_ref_list_reference_iterate (list, i, ref); i++)
+ {
+ if (ref->refered_type == IPA_REF_CGRAPH)
+ {
+ fprintf (file, " fn:%s/%i (%s)", cgraph_node_name (ipa_ref_node (ref)),
+ ipa_ref_node (ref)->uid,
+ ipa_ref_use_name [ref->use]);
+ }
+ else
+ fprintf (file, " var:%s (%s)",
+ varpool_node_name (ipa_ref_varpool_node (ref)),
+ ipa_ref_use_name [ref->use]);
+ }
+ fprintf (file, "\n");
+}
+
+/* Dump refering in LIST to FILE. */
+
+void
+ipa_dump_refering (FILE * file, struct ipa_ref_list *list)
+{
+ struct ipa_ref *ref;
+ int i;
+ for (i = 0; ipa_ref_list_refering_iterate (list, i, ref); i++)
+ {
+ if (ref->refering_type == IPA_REF_CGRAPH)
+ fprintf (file, " fn:%s/%i (%s)",
+ cgraph_node_name (ipa_ref_refering_node (ref)),
+ ipa_ref_refering_node (ref)->uid,
+ ipa_ref_use_name [ref->use]);
+ else
+ fprintf (file, " var:%s (%s)",
+ varpool_node_name (ipa_ref_refering_varpool_node (ref)),
+ ipa_ref_use_name [ref->use]);
+ }
+ fprintf (file, "\n");
+}
+
+/* Clone all references from SRC to DEST_NODE or DEST_VARPOL_NODE. */
+
+void
+ipa_clone_references (struct cgraph_node *dest_node,
+ struct varpool_node *dest_varpool_node,
+ struct ipa_ref_list *src)
+{
+ struct ipa_ref *ref;
+ int i;
+ for (i = 0; ipa_ref_list_reference_iterate (src, i, ref); i++)
+ ipa_record_reference (dest_node, dest_varpool_node,
+ ref->refered_type == IPA_REF_CGRAPH
+ ? ipa_ref_node (ref) : NULL,
+ ref->refered_type == IPA_REF_VARPOOL
+ ? ipa_ref_varpool_node (ref) : NULL,
+ ref->use, ref->stmt);
+}
+
+/* Clone all refering from SRC to DEST_NODE or DEST_VARPOL_NODE. */
+
+void
+ipa_clone_refering (struct cgraph_node *dest_node,
+ struct varpool_node *dest_varpool_node,
+ struct ipa_ref_list *src)
+{
+ struct ipa_ref *ref;
+ int i;
+ for (i = 0; ipa_ref_list_refering_iterate (src, i, ref); i++)
+ ipa_record_reference (
+ ref->refering_type == IPA_REF_CGRAPH
+ ? ipa_ref_refering_node (ref) : NULL,
+ ref->refering_type == IPA_REF_VARPOOL
+ ? ipa_ref_refering_varpool_node (ref) : NULL,
+ dest_node, dest_varpool_node,
+ ref->use, ref->stmt);
+}