2011-11-06 François Dumont <fdumont@gcc.gnu.org>
[official-gcc.git] / gcc / ipa-ref.h
blob2fdb6ba4158f1ff7ae33de01fb5a86c537f40bb0
1 /* IPA reference lists.
2 Copyright (C) 2010
3 Free Software Foundation, Inc.
4 Contributed by Jan Hubicka
6 This file is part of GCC.
8 GCC is free software; you can redistribute it and/or modify it under
9 the terms of the GNU General Public License as published by the Free
10 Software Foundation; either version 3, or (at your option) any later
11 version.
13 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14 WARRANTY; without even the implied warranty of MERCHANTABILITY or
15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
16 for more details.
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING3. If not see
20 <http://www.gnu.org/licenses/>. */
22 struct cgraph_node;
23 struct varpool_node;
25 /* How the reference is done. */
26 enum GTY(()) ipa_ref_use
28 IPA_REF_LOAD,
29 IPA_REF_STORE,
30 IPA_REF_ADDR,
31 IPA_REF_ALIAS
34 /* Type of refering or refered type. */
35 enum GTY(()) ipa_ref_type
37 IPA_REF_CGRAPH,
38 IPA_REF_VARPOOL
41 /* We can have references spanning both callgraph and varpool,
42 so all pointers needs to be of both types. */
43 union GTY(()) ipa_ref_ptr_u
45 struct cgraph_node * GTY((tag ("IPA_REF_CGRAPH"))) cgraph_node;
46 struct varpool_node * GTY((tag ("IPA_REF_VARPOOL"))) varpool_node;
49 /* Record of reference in callgraph or varpool. */
50 struct GTY(()) ipa_ref
52 union ipa_ref_ptr_u GTY ((desc ("%1.refering_type"))) refering;
53 union ipa_ref_ptr_u GTY ((desc ("%1.refered_type"))) refered;
54 gimple stmt;
55 unsigned int refered_index;
56 ENUM_BITFIELD (ipa_ref_type) refering_type:1;
57 ENUM_BITFIELD (ipa_ref_type) refered_type:1;
58 ENUM_BITFIELD (ipa_ref_use) use:2;
61 typedef struct ipa_ref ipa_ref_t;
62 typedef struct ipa_ref *ipa_ref_ptr;
64 DEF_VEC_O(ipa_ref_t);
65 DEF_VEC_ALLOC_O(ipa_ref_t,gc);
66 DEF_VEC_P(ipa_ref_ptr);
67 DEF_VEC_ALLOC_P(ipa_ref_ptr,heap);
69 /* List of references. This is stored in both callgraph and varpool nodes. */
70 struct GTY(()) ipa_ref_list
72 /* Store actual references in references vector. */
73 VEC(ipa_ref_t,gc) *references;
74 /* Refering is vector of pointers to references. It must not live in GGC space
75 or GGC will try to mark middle of references vectors. */
76 VEC(ipa_ref_ptr,heap) * GTY((skip)) refering;
79 struct ipa_ref * ipa_record_reference (struct cgraph_node *,
80 struct varpool_node *,
81 struct cgraph_node *,
82 struct varpool_node *,
83 enum ipa_ref_use, gimple);
85 void ipa_remove_reference (struct ipa_ref *);
86 void ipa_remove_all_references (struct ipa_ref_list *);
87 void ipa_remove_all_refering (struct ipa_ref_list *);
88 void ipa_dump_references (FILE *, struct ipa_ref_list *);
89 void ipa_dump_refering (FILE *, struct ipa_ref_list *);
90 void ipa_clone_references (struct cgraph_node *, struct varpool_node *, struct ipa_ref_list *);
91 void ipa_clone_refering (struct cgraph_node *, struct varpool_node *, struct ipa_ref_list *);
92 bool ipa_ref_cannot_lead_to_return (struct ipa_ref *);
93 bool ipa_ref_has_aliases_p (struct ipa_ref_list *);