]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/gimple-iterator.h
Daily bump.
[thirdparty/gcc.git] / gcc / gimple-iterator.h
CommitLineData
5be5c238 1/* Header file for gimple iterators.
5624e564 2 Copyright (C) 2013-2015 Free Software Foundation, Inc.
5be5c238
AM
3
4This file is part of GCC.
5
6GCC is free software; you can redistribute it and/or modify it under
7the terms of the GNU General Public License as published by the Free
8Software Foundation; either version 3, or (at your option) any later
9version.
10
11GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12WARRANTY; without even the implied warranty of MERCHANTABILITY or
13FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 for more details.
15
16You should have received a copy of the GNU General Public License
17along with GCC; see the file COPYING3. If not see
18<http://www.gnu.org/licenses/>. */
19
20#ifndef GCC_GIMPLE_ITERATOR_H
21#define GCC_GIMPLE_ITERATOR_H
22
23/* Iterator object for GIMPLE statement sequences. */
24
84562394 25struct gimple_stmt_iterator
5be5c238
AM
26{
27 /* Sequence node holding the current statement. */
28 gimple_seq_node ptr;
29
30 /* Sequence and basic block holding the statement. These fields
31 are necessary to handle edge cases such as when statement is
32 added to an empty basic block or when the last statement of a
33 block/sequence is removed. */
34 gimple_seq *seq;
35 basic_block bb;
84562394 36};
538dd0b7
DM
37
38/* Iterator over GIMPLE_PHI statements. */
39struct gphi_iterator : public gimple_stmt_iterator
40{
41 gphi *phi () const
42 {
43 return as_a <gphi *> (ptr);
44 }
45};
5be5c238 46
18f429e2
AM
47enum gsi_iterator_update
48{
49 GSI_NEW_STMT, /* Only valid when single statement is added, move
50 iterator to it. */
51 GSI_SAME_STMT, /* Leave the iterator at the same statement. */
52 GSI_CONTINUE_LINKING /* Move iterator to whatever position is suitable
53 for linking other statements in the same
54 direction. */
55};
56
5be5c238
AM
57extern void gsi_insert_seq_before_without_update (gimple_stmt_iterator *,
58 gimple_seq,
59 enum gsi_iterator_update);
60extern void gsi_insert_seq_before (gimple_stmt_iterator *, gimple_seq,
61 enum gsi_iterator_update);
62extern void gsi_insert_seq_after_without_update (gimple_stmt_iterator *,
63 gimple_seq,
64 enum gsi_iterator_update);
65extern void gsi_insert_seq_after (gimple_stmt_iterator *, gimple_seq,
66 enum gsi_iterator_update);
67extern gimple_seq gsi_split_seq_after (gimple_stmt_iterator);
68extern void gsi_set_stmt (gimple_stmt_iterator *, gimple);
69extern void gsi_split_seq_before (gimple_stmt_iterator *, gimple_seq *);
8cb65b37 70extern bool gsi_replace (gimple_stmt_iterator *, gimple, bool);
5be5c238
AM
71extern void gsi_replace_with_seq (gimple_stmt_iterator *, gimple_seq, bool);
72extern void gsi_insert_before_without_update (gimple_stmt_iterator *, gimple,
73 enum gsi_iterator_update);
74extern void gsi_insert_before (gimple_stmt_iterator *, gimple,
75 enum gsi_iterator_update);
76extern void gsi_insert_after_without_update (gimple_stmt_iterator *, gimple,
77 enum gsi_iterator_update);
78extern void gsi_insert_after (gimple_stmt_iterator *, gimple,
79 enum gsi_iterator_update);
80extern bool gsi_remove (gimple_stmt_iterator *, bool);
81extern gimple_stmt_iterator gsi_for_stmt (gimple);
538dd0b7 82extern gphi_iterator gsi_for_phi (gphi *);
5be5c238
AM
83extern void gsi_move_after (gimple_stmt_iterator *, gimple_stmt_iterator *);
84extern void gsi_move_before (gimple_stmt_iterator *, gimple_stmt_iterator *);
85extern void gsi_move_to_bb_end (gimple_stmt_iterator *, basic_block);
86extern void gsi_insert_on_edge (edge, gimple);
87extern void gsi_insert_seq_on_edge (edge, gimple_seq);
88extern basic_block gsi_insert_on_edge_immediate (edge, gimple);
89extern basic_block gsi_insert_seq_on_edge_immediate (edge, gimple_seq);
90extern void gsi_commit_edge_inserts (void);
91extern void gsi_commit_one_edge_insert (edge, basic_block *);
538dd0b7 92extern gphi_iterator gsi_start_phis (basic_block);
f8e89441 93extern void update_modified_stmts (gimple_seq);
5be5c238
AM
94
95/* Return a new iterator pointing to GIMPLE_SEQ's first statement. */
96
97static inline gimple_stmt_iterator
98gsi_start_1 (gimple_seq *seq)
99{
100 gimple_stmt_iterator i;
101
102 i.ptr = gimple_seq_first (*seq);
103 i.seq = seq;
104 i.bb = i.ptr ? gimple_bb (i.ptr) : NULL;
105
106 return i;
107}
108
109#define gsi_start(x) gsi_start_1 (&(x))
110
111static inline gimple_stmt_iterator
112gsi_none (void)
113{
114 gimple_stmt_iterator i;
115 i.ptr = NULL;
116 i.seq = NULL;
117 i.bb = NULL;
118 return i;
119}
120
121/* Return a new iterator pointing to the first statement in basic block BB. */
122
123static inline gimple_stmt_iterator
124gsi_start_bb (basic_block bb)
125{
126 gimple_stmt_iterator i;
127 gimple_seq *seq;
128
129 seq = bb_seq_addr (bb);
130 i.ptr = gimple_seq_first (*seq);
131 i.seq = seq;
132 i.bb = bb;
133
134 return i;
135}
136
104cb50b
MJ
137gimple_stmt_iterator gsi_start_edge (edge e);
138
5be5c238
AM
139/* Return a new iterator initially pointing to GIMPLE_SEQ's last statement. */
140
141static inline gimple_stmt_iterator
142gsi_last_1 (gimple_seq *seq)
143{
144 gimple_stmt_iterator i;
145
146 i.ptr = gimple_seq_last (*seq);
147 i.seq = seq;
148 i.bb = i.ptr ? gimple_bb (i.ptr) : NULL;
149
150 return i;
151}
152
153#define gsi_last(x) gsi_last_1 (&(x))
154
155/* Return a new iterator pointing to the last statement in basic block BB. */
156
157static inline gimple_stmt_iterator
158gsi_last_bb (basic_block bb)
159{
160 gimple_stmt_iterator i;
161 gimple_seq *seq;
162
163 seq = bb_seq_addr (bb);
164 i.ptr = gimple_seq_last (*seq);
165 i.seq = seq;
166 i.bb = bb;
167
168 return i;
169}
170
171/* Return true if I is at the end of its sequence. */
172
173static inline bool
174gsi_end_p (gimple_stmt_iterator i)
175{
176 return i.ptr == NULL;
177}
178
179/* Return true if I is one statement before the end of its sequence. */
180
181static inline bool
182gsi_one_before_end_p (gimple_stmt_iterator i)
183{
daa6e488 184 return i.ptr != NULL && i.ptr->next == NULL;
5be5c238
AM
185}
186
187/* Advance the iterator to the next gimple statement. */
188
189static inline void
190gsi_next (gimple_stmt_iterator *i)
191{
daa6e488 192 i->ptr = i->ptr->next;
5be5c238
AM
193}
194
195/* Advance the iterator to the previous gimple statement. */
196
197static inline void
198gsi_prev (gimple_stmt_iterator *i)
199{
daa6e488
DM
200 gimple prev = i->ptr->prev;
201 if (prev->next)
5be5c238
AM
202 i->ptr = prev;
203 else
204 i->ptr = NULL;
205}
206
207/* Return the current stmt. */
208
209static inline gimple
210gsi_stmt (gimple_stmt_iterator i)
211{
212 return i.ptr;
213}
214
42c0b54d
ML
215/* Return a new iterator pointing to the first non-debug statement
216 in basic block BB. */
217
218static inline gimple_stmt_iterator
219gsi_start_bb_nondebug (basic_block bb)
220{
221 gimple_stmt_iterator gsi = gsi_start_bb (bb);
222 while (!gsi_end_p (gsi) && is_gimple_debug (gsi_stmt (gsi)))
223 gsi_next (&gsi);
224
225 return gsi;
226}
227
5be5c238
AM
228/* Return a block statement iterator that points to the first non-label
229 statement in block BB. */
230
231static inline gimple_stmt_iterator
232gsi_after_labels (basic_block bb)
233{
234 gimple_stmt_iterator gsi = gsi_start_bb (bb);
235
236 while (!gsi_end_p (gsi) && gimple_code (gsi_stmt (gsi)) == GIMPLE_LABEL)
237 gsi_next (&gsi);
238
239 return gsi;
240}
241
242/* Advance the iterator to the next non-debug gimple statement. */
243
244static inline void
245gsi_next_nondebug (gimple_stmt_iterator *i)
246{
247 do
248 {
249 gsi_next (i);
250 }
251 while (!gsi_end_p (*i) && is_gimple_debug (gsi_stmt (*i)));
252}
253
7d1ff6f0 254/* Advance the iterator to the previous non-debug gimple statement. */
5be5c238
AM
255
256static inline void
257gsi_prev_nondebug (gimple_stmt_iterator *i)
258{
259 do
260 {
261 gsi_prev (i);
262 }
263 while (!gsi_end_p (*i) && is_gimple_debug (gsi_stmt (*i)));
264}
265
266/* Return a new iterator pointing to the first non-debug statement in
267 basic block BB. */
268
269static inline gimple_stmt_iterator
270gsi_start_nondebug_bb (basic_block bb)
271{
272 gimple_stmt_iterator i = gsi_start_bb (bb);
273
274 if (!gsi_end_p (i) && is_gimple_debug (gsi_stmt (i)))
275 gsi_next_nondebug (&i);
276
277 return i;
278}
279
280/* Return a new iterator pointing to the first non-debug non-label statement in
281 basic block BB. */
282
283static inline gimple_stmt_iterator
284gsi_start_nondebug_after_labels_bb (basic_block bb)
285{
286 gimple_stmt_iterator i = gsi_after_labels (bb);
287
288 if (!gsi_end_p (i) && is_gimple_debug (gsi_stmt (i)))
289 gsi_next_nondebug (&i);
290
291 return i;
292}
293
294/* Return a new iterator pointing to the last non-debug statement in
295 basic block BB. */
296
297static inline gimple_stmt_iterator
298gsi_last_nondebug_bb (basic_block bb)
299{
300 gimple_stmt_iterator i = gsi_last_bb (bb);
301
302 if (!gsi_end_p (i) && is_gimple_debug (gsi_stmt (i)))
303 gsi_prev_nondebug (&i);
304
305 return i;
306}
307
fd29c024
ML
308/* Iterates I statement iterator to the next non-virtual statement. */
309
310static inline void
538dd0b7 311gsi_next_nonvirtual_phi (gphi_iterator *i)
fd29c024 312{
538dd0b7 313 gphi *phi;
fd29c024
ML
314
315 if (gsi_end_p (*i))
316 return;
317
538dd0b7 318 phi = i->phi ();
fd29c024
ML
319 gcc_assert (phi != NULL);
320
321 while (virtual_operand_p (gimple_phi_result (phi)))
322 {
323 gsi_next (i);
324
325 if (gsi_end_p (*i))
326 return;
327
538dd0b7 328 phi = i->phi ();
fd29c024
ML
329 }
330}
331
5be5c238
AM
332/* Return the basic block associated with this iterator. */
333
334static inline basic_block
335gsi_bb (gimple_stmt_iterator i)
336{
337 return i.bb;
338}
339
340/* Return the sequence associated with this iterator. */
341
342static inline gimple_seq
343gsi_seq (gimple_stmt_iterator i)
344{
345 return *i.seq;
346}
347
1b7f61eb
TV
348/* Determine whether SEQ is a nondebug singleton. */
349
350static inline bool
351gimple_seq_nondebug_singleton_p (gimple_seq seq)
352{
353 gimple_stmt_iterator gsi;
e92e61a7
TV
354
355 /* Find a nondebug gimple. */
1b7f61eb
TV
356 gsi.ptr = gimple_seq_first (seq);
357 gsi.seq = &seq;
358 gsi.bb = NULL;
1b7f61eb
TV
359 while (!gsi_end_p (gsi)
360 && is_gimple_debug (gsi_stmt (gsi)))
361 gsi_next (&gsi);
362
e92e61a7
TV
363 /* No nondebug gimple found, not a singleton. */
364 if (gsi_end_p (gsi))
1b7f61eb
TV
365 return false;
366
e92e61a7
TV
367 /* Find a next nondebug gimple. */
368 gsi_next (&gsi);
1b7f61eb
TV
369 while (!gsi_end_p (gsi)
370 && is_gimple_debug (gsi_stmt (gsi)))
371 gsi_next (&gsi);
372
e92e61a7
TV
373 /* Only a singleton if there's no next nondebug gimple. */
374 return gsi_end_p (gsi);
1b7f61eb
TV
375}
376
5be5c238 377#endif /* GCC_GIMPLE_ITERATOR_H */