Mercurial > hg > CbC > CbC_gcc

annotate gcc/ipa-ref.h @ 158:494b0b89df80 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 1830386684a0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
63
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 /* IPA reference lists.
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
2 Copyright (C) 2010-2020 Free Software Foundation, Inc.
63
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 Contributed by Jan Hubicka
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 This file is part of GCC.
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 GCC is free software; you can redistribute it and/or modify it under
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 the terms of the GNU General Public License as published by the Free
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 Software Foundation; either version 3, or (at your option) any later
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 version.
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 for more details.
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 You should have received a copy of the GNU General Public License
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 along with GCC; see the file COPYING3. If not see
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 <http://www.gnu.org/licenses/>. */
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20
111
kono
parents: 67
diff changeset
21 #ifndef GCC_IPA_REF_H
kono
parents: 67
diff changeset
22 #define GCC_IPA_REF_H
kono
parents: 67
diff changeset
23
63
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 struct cgraph_node;
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
25 struct varpool_node;
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
26 struct symtab_node;
111
kono
parents: 67
diff changeset
27
63
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
28
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 /* How the reference is done. */
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 enum GTY(()) ipa_ref_use
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 {
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 IPA_REF_LOAD,
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 IPA_REF_STORE,
111
kono
parents: 67
diff changeset
34 IPA_REF_ADDR,
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
35 IPA_REF_ALIAS
63
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
36 };
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
37
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 /* Record of reference in callgraph or varpool. */
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 struct GTY(()) ipa_ref
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 {
111
kono
parents: 67
diff changeset
41 public:
kono
parents: 67
diff changeset
42 /* Remove reference. */
kono
parents: 67
diff changeset
43 void remove_reference ();
kono
parents: 67
diff changeset
44
kono
parents: 67
diff changeset
45 /* Return true when execution of reference can lead to return from
kono
parents: 67
diff changeset
46 function. */
kono
parents: 67
diff changeset
47 bool cannot_lead_to_return ();
kono
parents: 67
diff changeset
48
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
49 /* Return true if reference may be used in address compare. */
111
kono
parents: 67
diff changeset
50 bool address_matters_p ();
kono
parents: 67
diff changeset
51
kono
parents: 67
diff changeset
52 /* Return reference list this reference is in. */
kono
parents: 67
diff changeset
53 struct ipa_ref_list * referring_ref_list (void);
kono
parents: 67
diff changeset
54
kono
parents: 67
diff changeset
55 /* Return reference list this reference is in. */
kono
parents: 67
diff changeset
56 struct ipa_ref_list * referred_ref_list (void);
kono
parents: 67
diff changeset
57
kono
parents: 67
diff changeset
58 symtab_node *referring;
kono
parents: 67
diff changeset
59 symtab_node *referred;
kono
parents: 67
diff changeset
60 gimple *stmt;
kono
parents: 67
diff changeset
61 unsigned int lto_stmt_uid;
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
62 /* speculative id is used to link direct calls with their corresponding
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
63 IPA_REF_ADDR references when representing speculative calls. */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
64 unsigned int speculative_id : 16;
111
kono
parents: 67
diff changeset
65 unsigned int referred_index;
kono
parents: 67
diff changeset
66 ENUM_BITFIELD (ipa_ref_use) use:3;
kono
parents: 67
diff changeset
67 unsigned int speculative:1;
63
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
68 };
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
69
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
70 typedef struct ipa_ref ipa_ref_t;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
71 typedef struct ipa_ref *ipa_ref_ptr;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
72
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
73
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
74 /* List of references. This is stored in both callgraph and varpool nodes. */
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
75 struct GTY(()) ipa_ref_list
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
76 {
111
kono
parents: 67
diff changeset
77 public:
kono
parents: 67
diff changeset
78 /* Return first reference in list or NULL if empty. */
kono
parents: 67
diff changeset
79 struct ipa_ref *first_reference (void)
kono
parents: 67
diff changeset
80 {
kono
parents: 67
diff changeset
81 if (!vec_safe_length (references))
kono
parents: 67
diff changeset
82 return NULL;
kono
parents: 67
diff changeset
83 return &(*references)[0];
kono
parents: 67
diff changeset
84 }
kono
parents: 67
diff changeset
85
kono
parents: 67
diff changeset
86 /* Return first referring ref in list or NULL if empty. */
kono
parents: 67
diff changeset
87 struct ipa_ref *first_referring (void)
kono
parents: 67
diff changeset
88 {
kono
parents: 67
diff changeset
89 if (!referring.length ())
kono
parents: 67
diff changeset
90 return NULL;
kono
parents: 67
diff changeset
91 return referring[0];
kono
parents: 67
diff changeset
92 }
kono
parents: 67
diff changeset
93
kono
parents: 67
diff changeset
94 /* Return first referring alias. */
kono
parents: 67
diff changeset
95 struct ipa_ref *first_alias (void)
kono
parents: 67
diff changeset
96 {
kono
parents: 67
diff changeset
97 struct ipa_ref *r = first_referring ();
kono
parents: 67
diff changeset
98
kono
parents: 67
diff changeset
99 return r && r->use == IPA_REF_ALIAS ? r : NULL;
kono
parents: 67
diff changeset
100 }
kono
parents: 67
diff changeset
101
kono
parents: 67
diff changeset
102 /* Return last referring alias. */
kono
parents: 67
diff changeset
103 struct ipa_ref *last_alias (void)
kono
parents: 67
diff changeset
104 {
kono
parents: 67
diff changeset
105 unsigned int i = 0;
kono
parents: 67
diff changeset
106
kono
parents: 67
diff changeset
107 for(i = 0; i < referring.length (); i++)
kono
parents: 67
diff changeset
108 if (referring[i]->use != IPA_REF_ALIAS)
kono
parents: 67
diff changeset
109 break;
kono
parents: 67
diff changeset
110
kono
parents: 67
diff changeset
111 return i == 0 ? NULL : referring[i - 1];
kono
parents: 67
diff changeset
112 }
kono
parents: 67
diff changeset
113
kono
parents: 67
diff changeset
114 /* Return true if the symbol has an alias. */
kono
parents: 67
diff changeset
115 bool inline has_aliases_p (void)
kono
parents: 67
diff changeset
116 {
kono
parents: 67
diff changeset
117 return first_alias ();
kono
parents: 67
diff changeset
118 }
kono
parents: 67
diff changeset
119
kono
parents: 67
diff changeset
120 /* Clear reference list. */
kono
parents: 67
diff changeset
121 void clear (void)
kono
parents: 67
diff changeset
122 {
kono
parents: 67
diff changeset
123 referring.create (0);
kono
parents: 67
diff changeset
124 references = NULL;
kono
parents: 67
diff changeset
125 }
kono
parents: 67
diff changeset
126
kono
parents: 67
diff changeset
127 /* Return number of references. */
kono
parents: 67
diff changeset
128 unsigned int nreferences (void)
kono
parents: 67
diff changeset
129 {
kono
parents: 67
diff changeset
130 return vec_safe_length (references);
kono
parents: 67
diff changeset
131 }
kono
parents: 67
diff changeset
132
63
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
133 /* Store actual references in references vector. */
111
kono
parents: 67
diff changeset
134 vec<ipa_ref_t, va_gc> *references;
kono
parents: 67
diff changeset
135 /* Referring is vector of pointers to references. It must not live in GGC space
63
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
136 or GGC will try to mark middle of references vectors. */
111
kono
parents: 67
diff changeset
137 vec<ipa_ref_ptr> GTY((skip)) referring;
63
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
138 };
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
139
111
kono
parents: 67
diff changeset
140 #endif /* GCC_IPA_REF_H */