xref: /dflybsd-src/contrib/gcc-8.0/gcc/gimple-iterator.h (revision 38fd149817dfbff97799f62fcb70be98c4e32523)
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