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