Mercurial > hg > CbC > CbC_gcc

annotate gcc/ipa-ref.h @ 137:d22083d7f10b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
merge
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Thu, 08 Nov 2018 14:16:42 +0900
parents 84e7813d76e9
children 1830386684a0
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.
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
2 Copyright (C) 2010-2018 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;
111
kono
parents: 67
diff changeset
25 class varpool_node;
kono
parents: 67
diff changeset
26 class symtab_node;
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
kono
parents: 67
diff changeset
49 /* Return true if refernece may be used in address compare. */
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;
kono
parents: 67
diff changeset
62 unsigned int referred_index;
kono
parents: 67
diff changeset
63 ENUM_BITFIELD (ipa_ref_use) use:3;
kono
parents: 67
diff changeset
64 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
65 };
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
66
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
67 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
68 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
69
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
70
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
71 /* 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
72 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
73 {
111
kono
parents: 67
diff changeset
74 public:
kono
parents: 67
diff changeset
75 /* Return first reference in list or NULL if empty. */
kono
parents: 67
diff changeset
76 struct ipa_ref *first_reference (void)
kono
parents: 67
diff changeset
77 {
kono
parents: 67
diff changeset
78 if (!vec_safe_length (references))
kono
parents: 67
diff changeset
79 return NULL;
kono
parents: 67
diff changeset
80 return &(*references)[0];
kono
parents: 67
diff changeset
81 }
kono
parents: 67
diff changeset
82
kono
parents: 67
diff changeset
83 /* Return first referring ref in list or NULL if empty. */
kono
parents: 67
diff changeset
84 struct ipa_ref *first_referring (void)
kono
parents: 67
diff changeset
85 {
kono
parents: 67
diff changeset
86 if (!referring.length ())
kono
parents: 67
diff changeset
87 return NULL;
kono
parents: 67
diff changeset
88 return referring[0];
kono
parents: 67
diff changeset
89 }
kono
parents: 67
diff changeset
90
kono
parents: 67
diff changeset
91 /* Return first referring alias. */
kono
parents: 67
diff changeset
92 struct ipa_ref *first_alias (void)
kono
parents: 67
diff changeset
93 {
kono
parents: 67
diff changeset
94 struct ipa_ref *r = first_referring ();
kono
parents: 67
diff changeset
95
kono
parents: 67
diff changeset
96 return r && r->use == IPA_REF_ALIAS ? r : NULL;
kono
parents: 67
diff changeset
97 }
kono
parents: 67
diff changeset
98
kono
parents: 67
diff changeset
99 /* Return last referring alias. */
kono
parents: 67
diff changeset
100 struct ipa_ref *last_alias (void)
kono
parents: 67
diff changeset
101 {
kono
parents: 67
diff changeset
102 unsigned int i = 0;
kono
parents: 67
diff changeset
103
kono
parents: 67
diff changeset
104 for(i = 0; i < referring.length (); i++)
kono
parents: 67
diff changeset
105 if (referring[i]->use != IPA_REF_ALIAS)
kono
parents: 67
diff changeset
106 break;
kono
parents: 67
diff changeset
107
kono
parents: 67
diff changeset
108 return i == 0 ? NULL : referring[i - 1];
kono
parents: 67
diff changeset
109 }
kono
parents: 67
diff changeset
110
kono
parents: 67
diff changeset
111 /* Return true if the symbol has an alias. */
kono
parents: 67
diff changeset
112 bool inline has_aliases_p (void)
kono
parents: 67
diff changeset
113 {
kono
parents: 67
diff changeset
114 return first_alias ();
kono
parents: 67
diff changeset
115 }
kono
parents: 67
diff changeset
116
kono
parents: 67
diff changeset
117 /* Clear reference list. */
kono
parents: 67
diff changeset
118 void clear (void)
kono
parents: 67
diff changeset
119 {
kono
parents: 67
diff changeset
120 referring.create (0);
kono
parents: 67
diff changeset
121 references = NULL;
kono
parents: 67
diff changeset
122 }
kono
parents: 67
diff changeset
123
kono
parents: 67
diff changeset
124 /* Return number of references. */
kono
parents: 67
diff changeset
125 unsigned int nreferences (void)
kono
parents: 67
diff changeset
126 {
kono
parents: 67
diff changeset
127 return vec_safe_length (references);
kono
parents: 67
diff changeset
128 }
kono
parents: 67
diff changeset
129
63
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
130 /* Store actual references in references vector. */
111
kono
parents: 67
diff changeset
131 vec<ipa_ref_t, va_gc> *references;
kono
parents: 67
diff changeset
132 /* 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
133 or GGC will try to mark middle of references vectors. */
111
kono
parents: 67
diff changeset
134 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
135 };
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
136
111
kono
parents: 67
diff changeset
137 #endif /* GCC_IPA_REF_H */