Mercurial > hg > CbC > CbC_gcc

annotate gcc/ipa-ref.h @ 120:f93fa5091070

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix conv1.c
author mir3636
date Thu, 08 Mar 2018 14:53:42 +0900
parents 04ced10e8804
children 84e7813d76e9
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.
111
kono
parents: 67
diff changeset
2 Copyright (C) 2010-2017 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,
kono
parents: 67
diff changeset
35 IPA_REF_ALIAS,
kono
parents: 67
diff changeset
36 IPA_REF_CHKP
63
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
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 /* 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
40 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
41 {
111
kono
parents: 67
diff changeset
42 public:
kono
parents: 67
diff changeset
43 /* Remove reference. */
kono
parents: 67
diff changeset
44 void remove_reference ();
kono
parents: 67
diff changeset
45
kono
parents: 67
diff changeset
46 /* Return true when execution of reference can lead to return from
kono
parents: 67
diff changeset
47 function. */
kono
parents: 67
diff changeset
48 bool cannot_lead_to_return ();
kono
parents: 67
diff changeset
49
kono
parents: 67
diff changeset
50 /* Return true if refernece may be used in address compare. */
kono
parents: 67
diff changeset
51 bool address_matters_p ();
kono
parents: 67
diff changeset
52
kono
parents: 67
diff changeset
53 /* Return reference list this reference is in. */
kono
parents: 67
diff changeset
54 struct ipa_ref_list * referring_ref_list (void);
kono
parents: 67
diff changeset
55
kono
parents: 67
diff changeset
56 /* Return reference list this reference is in. */
kono
parents: 67
diff changeset
57 struct ipa_ref_list * referred_ref_list (void);
kono
parents: 67
diff changeset
58
kono
parents: 67
diff changeset
59 symtab_node *referring;
kono
parents: 67
diff changeset
60 symtab_node *referred;
kono
parents: 67
diff changeset
61 gimple *stmt;
kono
parents: 67
diff changeset
62 unsigned int lto_stmt_uid;
kono
parents: 67
diff changeset
63 unsigned int referred_index;
kono
parents: 67
diff changeset
64 ENUM_BITFIELD (ipa_ref_use) use:3;
kono
parents: 67
diff changeset
65 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
66 };
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
67
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_t;
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
69 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
70
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
71
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
72 /* 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
73 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
74 {
111
kono
parents: 67
diff changeset
75 public:
kono
parents: 67
diff changeset
76 /* Return first reference in list or NULL if empty. */
kono
parents: 67
diff changeset
77 struct ipa_ref *first_reference (void)
kono
parents: 67
diff changeset
78 {
kono
parents: 67
diff changeset
79 if (!vec_safe_length (references))
kono
parents: 67
diff changeset
80 return NULL;
kono
parents: 67
diff changeset
81 return &(*references)[0];
kono
parents: 67
diff changeset
82 }
kono
parents: 67
diff changeset
83
kono
parents: 67
diff changeset
84 /* Return first referring ref in list or NULL if empty. */
kono
parents: 67
diff changeset
85 struct ipa_ref *first_referring (void)
kono
parents: 67
diff changeset
86 {
kono
parents: 67
diff changeset
87 if (!referring.length ())
kono
parents: 67
diff changeset
88 return NULL;
kono
parents: 67
diff changeset
89 return referring[0];
kono
parents: 67
diff changeset
90 }
kono
parents: 67
diff changeset
91
kono
parents: 67
diff changeset
92 /* Return first referring alias. */
kono
parents: 67
diff changeset
93 struct ipa_ref *first_alias (void)
kono
parents: 67
diff changeset
94 {
kono
parents: 67
diff changeset
95 struct ipa_ref *r = first_referring ();
kono
parents: 67
diff changeset
96
kono
parents: 67
diff changeset
97 return r && r->use == IPA_REF_ALIAS ? r : NULL;
kono
parents: 67
diff changeset
98 }
kono
parents: 67
diff changeset
99
kono
parents: 67
diff changeset
100 /* Return last referring alias. */
kono
parents: 67
diff changeset
101 struct ipa_ref *last_alias (void)
kono
parents: 67
diff changeset
102 {
kono
parents: 67
diff changeset
103 unsigned int i = 0;
kono
parents: 67
diff changeset
104
kono
parents: 67
diff changeset
105 for(i = 0; i < referring.length (); i++)
kono
parents: 67
diff changeset
106 if (referring[i]->use != IPA_REF_ALIAS)
kono
parents: 67
diff changeset
107 break;
kono
parents: 67
diff changeset
108
kono
parents: 67
diff changeset
109 return i == 0 ? NULL : referring[i - 1];
kono
parents: 67
diff changeset
110 }
kono
parents: 67
diff changeset
111
kono
parents: 67
diff changeset
112 /* Return true if the symbol has an alias. */
kono
parents: 67
diff changeset
113 bool inline has_aliases_p (void)
kono
parents: 67
diff changeset
114 {
kono
parents: 67
diff changeset
115 return first_alias ();
kono
parents: 67
diff changeset
116 }
kono
parents: 67
diff changeset
117
kono
parents: 67
diff changeset
118 /* Clear reference list. */
kono
parents: 67
diff changeset
119 void clear (void)
kono
parents: 67
diff changeset
120 {
kono
parents: 67
diff changeset
121 referring.create (0);
kono
parents: 67
diff changeset
122 references = NULL;
kono
parents: 67
diff changeset
123 }
kono
parents: 67
diff changeset
124
kono
parents: 67
diff changeset
125 /* Return number of references. */
kono
parents: 67
diff changeset
126 unsigned int nreferences (void)
kono
parents: 67
diff changeset
127 {
kono
parents: 67
diff changeset
128 return vec_safe_length (references);
kono
parents: 67
diff changeset
129 }
kono
parents: 67
diff changeset
130
63
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
131 /* Store actual references in references vector. */
111
kono
parents: 67
diff changeset
132 vec<ipa_ref_t, va_gc> *references;
kono
parents: 67
diff changeset
133 /* 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
134 or GGC will try to mark middle of references vectors. */
111
kono
parents: 67
diff changeset
135 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
136 };
b7f97abdc517 update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
diff changeset
137
111
kono
parents: 67
diff changeset
138 #endif /* GCC_IPA_REF_H */