Merge branch 'vendor/GCC47'
[dragonfly.git] / contrib / gcc-4.7 / gcc / ipa-ref.h
1 /* IPA reference lists.
2    Copyright (C) 2010
3    Free Software Foundation, Inc.
4    Contributed by Jan Hubicka
5
6 This file is part of GCC.
7
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.
12
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.
17
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/>.  */
21
22 struct cgraph_node;
23 struct varpool_node;
24
25 /* How the reference is done.  */
26 enum GTY(()) ipa_ref_use
27 {
28   IPA_REF_LOAD,
29   IPA_REF_STORE,
30   IPA_REF_ADDR,
31   IPA_REF_ALIAS
32 };
33
34 /* Type of refering or refered type.  */
35 enum GTY(()) ipa_ref_type
36 {
37   IPA_REF_CGRAPH,
38   IPA_REF_VARPOOL
39 };
40
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
44 {
45   struct cgraph_node * GTY((tag ("IPA_REF_CGRAPH"))) cgraph_node;
46   struct varpool_node * GTY((tag ("IPA_REF_VARPOOL"))) varpool_node;
47 };
48
49 /* Record of reference in callgraph or varpool.  */
50 struct GTY(()) ipa_ref
51 {
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;
59 };
60
61 typedef struct ipa_ref ipa_ref_t;
62 typedef struct ipa_ref *ipa_ref_ptr;
63
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);
68
69 /* List of references.  This is stored in both callgraph and varpool nodes.  */
70 struct GTY(()) ipa_ref_list
71 {
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;
77 };
78
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);
84
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 *);