111
|
1 /* Loop splitting.
|
|
2 Copyright (C) 2015-2017 Free Software Foundation, Inc.
|
|
3
|
|
4 This file is part of GCC.
|
|
5
|
|
6 GCC is free software; you can redistribute it and/or modify it
|
|
7 under the terms of the GNU General Public License as published by the
|
|
8 Free Software Foundation; either version 3, or (at your option) any
|
|
9 later version.
|
|
10
|
|
11 GCC is distributed in the hope that it will be useful, but WITHOUT
|
|
12 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
|
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
|
14 for more details.
|
|
15
|
|
16 You should have received a copy of the GNU General Public License
|
|
17 along with GCC; see the file COPYING3. If not see
|
|
18 <http://www.gnu.org/licenses/>. */
|
|
19
|
|
20 #include "config.h"
|
|
21 #include "system.h"
|
|
22 #include "coretypes.h"
|
|
23 #include "backend.h"
|
|
24 #include "tree.h"
|
|
25 #include "gimple.h"
|
|
26 #include "tree-pass.h"
|
|
27 #include "ssa.h"
|
|
28 #include "fold-const.h"
|
|
29 #include "tree-cfg.h"
|
|
30 #include "tree-ssa.h"
|
|
31 #include "tree-ssa-loop-niter.h"
|
|
32 #include "tree-ssa-loop.h"
|
|
33 #include "tree-ssa-loop-manip.h"
|
|
34 #include "tree-into-ssa.h"
|
|
35 #include "cfgloop.h"
|
|
36 #include "tree-scalar-evolution.h"
|
|
37 #include "gimple-iterator.h"
|
|
38 #include "gimple-pretty-print.h"
|
|
39 #include "cfghooks.h"
|
|
40 #include "gimple-fold.h"
|
|
41 #include "gimplify-me.h"
|
|
42
|
|
43 /* This file implements loop splitting, i.e. transformation of loops like
|
|
44
|
|
45 for (i = 0; i < 100; i++)
|
|
46 {
|
|
47 if (i < 50)
|
|
48 A;
|
|
49 else
|
|
50 B;
|
|
51 }
|
|
52
|
|
53 into:
|
|
54
|
|
55 for (i = 0; i < 50; i++)
|
|
56 {
|
|
57 A;
|
|
58 }
|
|
59 for (; i < 100; i++)
|
|
60 {
|
|
61 B;
|
|
62 }
|
|
63
|
|
64 */
|
|
65
|
|
66 /* Return true when BB inside LOOP is a potential iteration space
|
|
67 split point, i.e. ends with a condition like "IV < comp", which
|
|
68 is true on one side of the iteration space and false on the other,
|
|
69 and the split point can be computed. If so, also return the border
|
|
70 point in *BORDER and the comparison induction variable in IV. */
|
|
71
|
|
72 static tree
|
|
73 split_at_bb_p (struct loop *loop, basic_block bb, tree *border, affine_iv *iv)
|
|
74 {
|
|
75 gimple *last;
|
|
76 gcond *stmt;
|
|
77 affine_iv iv2;
|
|
78
|
|
79 /* BB must end in a simple conditional jump. */
|
|
80 last = last_stmt (bb);
|
|
81 if (!last || gimple_code (last) != GIMPLE_COND)
|
|
82 return NULL_TREE;
|
|
83 stmt = as_a <gcond *> (last);
|
|
84
|
|
85 enum tree_code code = gimple_cond_code (stmt);
|
|
86
|
|
87 /* Only handle relational comparisons, for equality and non-equality
|
|
88 we'd have to split the loop into two loops and a middle statement. */
|
|
89 switch (code)
|
|
90 {
|
|
91 case LT_EXPR:
|
|
92 case LE_EXPR:
|
|
93 case GT_EXPR:
|
|
94 case GE_EXPR:
|
|
95 break;
|
|
96 default:
|
|
97 return NULL_TREE;
|
|
98 }
|
|
99
|
|
100 if (loop_exits_from_bb_p (loop, bb))
|
|
101 return NULL_TREE;
|
|
102
|
|
103 tree op0 = gimple_cond_lhs (stmt);
|
|
104 tree op1 = gimple_cond_rhs (stmt);
|
|
105 struct loop *useloop = loop_containing_stmt (stmt);
|
|
106
|
|
107 if (!simple_iv (loop, useloop, op0, iv, false))
|
|
108 return NULL_TREE;
|
|
109 if (!simple_iv (loop, useloop, op1, &iv2, false))
|
|
110 return NULL_TREE;
|
|
111
|
|
112 /* Make it so that the first argument of the condition is
|
|
113 the looping one. */
|
|
114 if (!integer_zerop (iv2.step))
|
|
115 {
|
|
116 std::swap (op0, op1);
|
|
117 std::swap (*iv, iv2);
|
|
118 code = swap_tree_comparison (code);
|
|
119 gimple_cond_set_condition (stmt, code, op0, op1);
|
|
120 update_stmt (stmt);
|
|
121 }
|
|
122 else if (integer_zerop (iv->step))
|
|
123 return NULL_TREE;
|
|
124 if (!integer_zerop (iv2.step))
|
|
125 return NULL_TREE;
|
|
126 if (!iv->no_overflow)
|
|
127 return NULL_TREE;
|
|
128
|
|
129 if (dump_file && (dump_flags & TDF_DETAILS))
|
|
130 {
|
|
131 fprintf (dump_file, "Found potential split point: ");
|
|
132 print_gimple_stmt (dump_file, stmt, 0, TDF_SLIM);
|
|
133 fprintf (dump_file, " { ");
|
|
134 print_generic_expr (dump_file, iv->base, TDF_SLIM);
|
|
135 fprintf (dump_file, " + I*");
|
|
136 print_generic_expr (dump_file, iv->step, TDF_SLIM);
|
|
137 fprintf (dump_file, " } %s ", get_tree_code_name (code));
|
|
138 print_generic_expr (dump_file, iv2.base, TDF_SLIM);
|
|
139 fprintf (dump_file, "\n");
|
|
140 }
|
|
141
|
|
142 *border = iv2.base;
|
|
143 return op0;
|
|
144 }
|
|
145
|
|
146 /* Given a GUARD conditional stmt inside LOOP, which we want to make always
|
|
147 true or false depending on INITIAL_TRUE, and adjusted values NEXTVAL
|
|
148 (a post-increment IV) and NEWBOUND (the comparator) adjust the loop
|
|
149 exit test statement to loop back only if the GUARD statement will
|
|
150 also be true/false in the next iteration. */
|
|
151
|
|
152 static void
|
|
153 patch_loop_exit (struct loop *loop, gcond *guard, tree nextval, tree newbound,
|
|
154 bool initial_true)
|
|
155 {
|
|
156 edge exit = single_exit (loop);
|
|
157 gcond *stmt = as_a <gcond *> (last_stmt (exit->src));
|
|
158 gimple_cond_set_condition (stmt, gimple_cond_code (guard),
|
|
159 nextval, newbound);
|
|
160 update_stmt (stmt);
|
|
161
|
|
162 edge stay = EDGE_SUCC (exit->src, EDGE_SUCC (exit->src, 0) == exit);
|
|
163
|
|
164 exit->flags &= ~(EDGE_TRUE_VALUE | EDGE_FALSE_VALUE);
|
|
165 stay->flags &= ~(EDGE_TRUE_VALUE | EDGE_FALSE_VALUE);
|
|
166
|
|
167 if (initial_true)
|
|
168 {
|
|
169 exit->flags |= EDGE_FALSE_VALUE;
|
|
170 stay->flags |= EDGE_TRUE_VALUE;
|
|
171 }
|
|
172 else
|
|
173 {
|
|
174 exit->flags |= EDGE_TRUE_VALUE;
|
|
175 stay->flags |= EDGE_FALSE_VALUE;
|
|
176 }
|
|
177 }
|
|
178
|
|
179 /* Give an induction variable GUARD_IV, and its affine descriptor IV,
|
|
180 find the loop phi node in LOOP defining it directly, or create
|
|
181 such phi node. Return that phi node. */
|
|
182
|
|
183 static gphi *
|
|
184 find_or_create_guard_phi (struct loop *loop, tree guard_iv, affine_iv * /*iv*/)
|
|
185 {
|
|
186 gimple *def = SSA_NAME_DEF_STMT (guard_iv);
|
|
187 gphi *phi;
|
|
188 if ((phi = dyn_cast <gphi *> (def))
|
|
189 && gimple_bb (phi) == loop->header)
|
|
190 return phi;
|
|
191
|
|
192 /* XXX Create the PHI instead. */
|
|
193 return NULL;
|
|
194 }
|
|
195
|
|
196 /* Returns true if the exit values of all loop phi nodes can be
|
|
197 determined easily (i.e. that connect_loop_phis can determine them). */
|
|
198
|
|
199 static bool
|
|
200 easy_exit_values (struct loop *loop)
|
|
201 {
|
|
202 edge exit = single_exit (loop);
|
|
203 edge latch = loop_latch_edge (loop);
|
|
204 gphi_iterator psi;
|
|
205
|
|
206 /* Currently we regard the exit values as easy if they are the same
|
|
207 as the value over the backedge. Which is the case if the definition
|
|
208 of the backedge value dominates the exit edge. */
|
|
209 for (psi = gsi_start_phis (loop->header); !gsi_end_p (psi); gsi_next (&psi))
|
|
210 {
|
|
211 gphi *phi = psi.phi ();
|
|
212 tree next = PHI_ARG_DEF_FROM_EDGE (phi, latch);
|
|
213 basic_block bb;
|
|
214 if (TREE_CODE (next) == SSA_NAME
|
|
215 && (bb = gimple_bb (SSA_NAME_DEF_STMT (next)))
|
|
216 && !dominated_by_p (CDI_DOMINATORS, exit->src, bb))
|
|
217 return false;
|
|
218 }
|
|
219
|
|
220 return true;
|
|
221 }
|
|
222
|
|
223 /* This function updates the SSA form after connect_loops made a new
|
|
224 edge NEW_E leading from LOOP1 exit to LOOP2 (via in intermediate
|
|
225 conditional). I.e. the second loop can now be entered either
|
|
226 via the original entry or via NEW_E, so the entry values of LOOP2
|
|
227 phi nodes are either the original ones or those at the exit
|
|
228 of LOOP1. Insert new phi nodes in LOOP2 pre-header reflecting
|
|
229 this. The loops need to fulfill easy_exit_values(). */
|
|
230
|
|
231 static void
|
|
232 connect_loop_phis (struct loop *loop1, struct loop *loop2, edge new_e)
|
|
233 {
|
|
234 basic_block rest = loop_preheader_edge (loop2)->src;
|
|
235 gcc_assert (new_e->dest == rest);
|
|
236 edge skip_first = EDGE_PRED (rest, EDGE_PRED (rest, 0) == new_e);
|
|
237
|
|
238 edge firste = loop_preheader_edge (loop1);
|
|
239 edge seconde = loop_preheader_edge (loop2);
|
|
240 edge firstn = loop_latch_edge (loop1);
|
|
241 gphi_iterator psi_first, psi_second;
|
|
242 for (psi_first = gsi_start_phis (loop1->header),
|
|
243 psi_second = gsi_start_phis (loop2->header);
|
|
244 !gsi_end_p (psi_first);
|
|
245 gsi_next (&psi_first), gsi_next (&psi_second))
|
|
246 {
|
|
247 tree init, next, new_init;
|
|
248 use_operand_p op;
|
|
249 gphi *phi_first = psi_first.phi ();
|
|
250 gphi *phi_second = psi_second.phi ();
|
|
251
|
|
252 init = PHI_ARG_DEF_FROM_EDGE (phi_first, firste);
|
|
253 next = PHI_ARG_DEF_FROM_EDGE (phi_first, firstn);
|
|
254 op = PHI_ARG_DEF_PTR_FROM_EDGE (phi_second, seconde);
|
|
255 gcc_assert (operand_equal_for_phi_arg_p (init, USE_FROM_PTR (op)));
|
|
256
|
|
257 /* Prefer using original variable as a base for the new ssa name.
|
|
258 This is necessary for virtual ops, and useful in order to avoid
|
|
259 losing debug info for real ops. */
|
|
260 if (TREE_CODE (next) == SSA_NAME
|
|
261 && useless_type_conversion_p (TREE_TYPE (next),
|
|
262 TREE_TYPE (init)))
|
|
263 new_init = copy_ssa_name (next);
|
|
264 else if (TREE_CODE (init) == SSA_NAME
|
|
265 && useless_type_conversion_p (TREE_TYPE (init),
|
|
266 TREE_TYPE (next)))
|
|
267 new_init = copy_ssa_name (init);
|
|
268 else if (useless_type_conversion_p (TREE_TYPE (next),
|
|
269 TREE_TYPE (init)))
|
|
270 new_init = make_temp_ssa_name (TREE_TYPE (next), NULL,
|
|
271 "unrinittmp");
|
|
272 else
|
|
273 new_init = make_temp_ssa_name (TREE_TYPE (init), NULL,
|
|
274 "unrinittmp");
|
|
275
|
|
276 gphi * newphi = create_phi_node (new_init, rest);
|
|
277 add_phi_arg (newphi, init, skip_first, UNKNOWN_LOCATION);
|
|
278 add_phi_arg (newphi, next, new_e, UNKNOWN_LOCATION);
|
|
279 SET_USE (op, new_init);
|
|
280 }
|
|
281 }
|
|
282
|
|
283 /* The two loops LOOP1 and LOOP2 were just created by loop versioning,
|
|
284 they are still equivalent and placed in two arms of a diamond, like so:
|
|
285
|
|
286 .------if (cond)------.
|
|
287 v v
|
|
288 pre1 pre2
|
|
289 | |
|
|
290 .--->h1 h2<----.
|
|
291 | | | |
|
|
292 | ex1---. .---ex2 |
|
|
293 | / | | \ |
|
|
294 '---l1 X | l2---'
|
|
295 | |
|
|
296 | |
|
|
297 '--->join<---'
|
|
298
|
|
299 This function transforms the program such that LOOP1 is conditionally
|
|
300 falling through to LOOP2, or skipping it. This is done by splitting
|
|
301 the ex1->join edge at X in the diagram above, and inserting a condition
|
|
302 whose one arm goes to pre2, resulting in this situation:
|
|
303
|
|
304 .------if (cond)------.
|
|
305 v v
|
|
306 pre1 .---------->pre2
|
|
307 | | |
|
|
308 .--->h1 | h2<----.
|
|
309 | | | | |
|
|
310 | ex1---. | .---ex2 |
|
|
311 | / v | | \ |
|
|
312 '---l1 skip---' | l2---'
|
|
313 | |
|
|
314 | |
|
|
315 '--->join<---'
|
|
316
|
|
317
|
|
318 The condition used is the exit condition of LOOP1, which effectively means
|
|
319 that when the first loop exits (for whatever reason) but the real original
|
|
320 exit expression is still false the second loop will be entered.
|
|
321 The function returns the new edge cond->pre2.
|
|
322
|
|
323 This doesn't update the SSA form, see connect_loop_phis for that. */
|
|
324
|
|
325 static edge
|
|
326 connect_loops (struct loop *loop1, struct loop *loop2)
|
|
327 {
|
|
328 edge exit = single_exit (loop1);
|
|
329 basic_block skip_bb = split_edge (exit);
|
|
330 gcond *skip_stmt;
|
|
331 gimple_stmt_iterator gsi;
|
|
332 edge new_e, skip_e;
|
|
333
|
|
334 gimple *stmt = last_stmt (exit->src);
|
|
335 skip_stmt = gimple_build_cond (gimple_cond_code (stmt),
|
|
336 gimple_cond_lhs (stmt),
|
|
337 gimple_cond_rhs (stmt),
|
|
338 NULL_TREE, NULL_TREE);
|
|
339 gsi = gsi_last_bb (skip_bb);
|
|
340 gsi_insert_after (&gsi, skip_stmt, GSI_NEW_STMT);
|
|
341
|
|
342 skip_e = EDGE_SUCC (skip_bb, 0);
|
|
343 skip_e->flags &= ~EDGE_FALLTHRU;
|
|
344 new_e = make_edge (skip_bb, loop_preheader_edge (loop2)->src, 0);
|
|
345 if (exit->flags & EDGE_TRUE_VALUE)
|
|
346 {
|
|
347 skip_e->flags |= EDGE_TRUE_VALUE;
|
|
348 new_e->flags |= EDGE_FALSE_VALUE;
|
|
349 }
|
|
350 else
|
|
351 {
|
|
352 skip_e->flags |= EDGE_FALSE_VALUE;
|
|
353 new_e->flags |= EDGE_TRUE_VALUE;
|
|
354 }
|
|
355
|
|
356 new_e->probability = profile_probability::likely ();
|
|
357 skip_e->probability = new_e->probability.invert ();
|
|
358
|
|
359 return new_e;
|
|
360 }
|
|
361
|
|
362 /* This returns the new bound for iterations given the original iteration
|
|
363 space in NITER, an arbitrary new bound BORDER, assumed to be some
|
|
364 comparison value with a different IV, the initial value GUARD_INIT of
|
|
365 that other IV, and the comparison code GUARD_CODE that compares
|
|
366 that other IV with BORDER. We return an SSA name, and place any
|
|
367 necessary statements for that computation into *STMTS.
|
|
368
|
|
369 For example for such a loop:
|
|
370
|
|
371 for (i = beg, j = guard_init; i < end; i++, j++)
|
|
372 if (j < border) // this is supposed to be true/false
|
|
373 ...
|
|
374
|
|
375 we want to return a new bound (on j) that makes the loop iterate
|
|
376 as long as the condition j < border stays true. We also don't want
|
|
377 to iterate more often than the original loop, so we have to introduce
|
|
378 some cut-off as well (via min/max), effectively resulting in:
|
|
379
|
|
380 newend = min (end+guard_init-beg, border)
|
|
381 for (i = beg; j = guard_init; j < newend; i++, j++)
|
|
382 if (j < c)
|
|
383 ...
|
|
384
|
|
385 Depending on the direction of the IVs and if the exit tests
|
|
386 are strict or non-strict we need to use MIN or MAX,
|
|
387 and add or subtract 1. This routine computes newend above. */
|
|
388
|
|
389 static tree
|
|
390 compute_new_first_bound (gimple_seq *stmts, struct tree_niter_desc *niter,
|
|
391 tree border,
|
|
392 enum tree_code guard_code, tree guard_init)
|
|
393 {
|
|
394 /* The niter structure contains the after-increment IV, we need
|
|
395 the loop-enter base, so subtract STEP once. */
|
|
396 tree controlbase = force_gimple_operand (niter->control.base,
|
|
397 stmts, true, NULL_TREE);
|
|
398 tree controlstep = niter->control.step;
|
|
399 tree enddiff;
|
|
400 if (POINTER_TYPE_P (TREE_TYPE (controlbase)))
|
|
401 {
|
|
402 controlstep = gimple_build (stmts, NEGATE_EXPR,
|
|
403 TREE_TYPE (controlstep), controlstep);
|
|
404 enddiff = gimple_build (stmts, POINTER_PLUS_EXPR,
|
|
405 TREE_TYPE (controlbase),
|
|
406 controlbase, controlstep);
|
|
407 }
|
|
408 else
|
|
409 enddiff = gimple_build (stmts, MINUS_EXPR,
|
|
410 TREE_TYPE (controlbase),
|
|
411 controlbase, controlstep);
|
|
412
|
|
413 /* Compute end-beg. */
|
|
414 gimple_seq stmts2;
|
|
415 tree end = force_gimple_operand (niter->bound, &stmts2,
|
|
416 true, NULL_TREE);
|
|
417 gimple_seq_add_seq_without_update (stmts, stmts2);
|
|
418 if (POINTER_TYPE_P (TREE_TYPE (enddiff)))
|
|
419 {
|
|
420 tree tem = gimple_convert (stmts, sizetype, enddiff);
|
|
421 tem = gimple_build (stmts, NEGATE_EXPR, sizetype, tem);
|
|
422 enddiff = gimple_build (stmts, POINTER_PLUS_EXPR,
|
|
423 TREE_TYPE (enddiff),
|
|
424 end, tem);
|
|
425 }
|
|
426 else
|
|
427 enddiff = gimple_build (stmts, MINUS_EXPR, TREE_TYPE (enddiff),
|
|
428 end, enddiff);
|
|
429
|
|
430 /* Compute guard_init + (end-beg). */
|
|
431 tree newbound;
|
|
432 enddiff = gimple_convert (stmts, TREE_TYPE (guard_init), enddiff);
|
|
433 if (POINTER_TYPE_P (TREE_TYPE (guard_init)))
|
|
434 {
|
|
435 enddiff = gimple_convert (stmts, sizetype, enddiff);
|
|
436 newbound = gimple_build (stmts, POINTER_PLUS_EXPR,
|
|
437 TREE_TYPE (guard_init),
|
|
438 guard_init, enddiff);
|
|
439 }
|
|
440 else
|
|
441 newbound = gimple_build (stmts, PLUS_EXPR, TREE_TYPE (guard_init),
|
|
442 guard_init, enddiff);
|
|
443
|
|
444 /* Depending on the direction of the IVs the new bound for the first
|
|
445 loop is the minimum or maximum of old bound and border.
|
|
446 Also, if the guard condition isn't strictly less or greater,
|
|
447 we need to adjust the bound. */
|
|
448 int addbound = 0;
|
|
449 enum tree_code minmax;
|
|
450 if (niter->cmp == LT_EXPR)
|
|
451 {
|
|
452 /* GT and LE are the same, inverted. */
|
|
453 if (guard_code == GT_EXPR || guard_code == LE_EXPR)
|
|
454 addbound = -1;
|
|
455 minmax = MIN_EXPR;
|
|
456 }
|
|
457 else
|
|
458 {
|
|
459 gcc_assert (niter->cmp == GT_EXPR);
|
|
460 if (guard_code == GE_EXPR || guard_code == LT_EXPR)
|
|
461 addbound = 1;
|
|
462 minmax = MAX_EXPR;
|
|
463 }
|
|
464
|
|
465 if (addbound)
|
|
466 {
|
|
467 tree type2 = TREE_TYPE (newbound);
|
|
468 if (POINTER_TYPE_P (type2))
|
|
469 type2 = sizetype;
|
|
470 newbound = gimple_build (stmts,
|
|
471 POINTER_TYPE_P (TREE_TYPE (newbound))
|
|
472 ? POINTER_PLUS_EXPR : PLUS_EXPR,
|
|
473 TREE_TYPE (newbound),
|
|
474 newbound,
|
|
475 build_int_cst (type2, addbound));
|
|
476 }
|
|
477
|
|
478 tree newend = gimple_build (stmts, minmax, TREE_TYPE (border),
|
|
479 border, newbound);
|
|
480 return newend;
|
|
481 }
|
|
482
|
|
483 /* Checks if LOOP contains an conditional block whose condition
|
|
484 depends on which side in the iteration space it is, and if so
|
|
485 splits the iteration space into two loops. Returns true if the
|
|
486 loop was split. NITER must contain the iteration descriptor for the
|
|
487 single exit of LOOP. */
|
|
488
|
|
489 static bool
|
|
490 split_loop (struct loop *loop1, struct tree_niter_desc *niter)
|
|
491 {
|
|
492 basic_block *bbs;
|
|
493 unsigned i;
|
|
494 bool changed = false;
|
|
495 tree guard_iv;
|
|
496 tree border = NULL_TREE;
|
|
497 affine_iv iv;
|
|
498
|
|
499 bbs = get_loop_body (loop1);
|
|
500
|
|
501 /* Find a splitting opportunity. */
|
|
502 for (i = 0; i < loop1->num_nodes; i++)
|
|
503 if ((guard_iv = split_at_bb_p (loop1, bbs[i], &border, &iv)))
|
|
504 {
|
|
505 /* Handling opposite steps is not implemented yet. Neither
|
|
506 is handling different step sizes. */
|
|
507 if ((tree_int_cst_sign_bit (iv.step)
|
|
508 != tree_int_cst_sign_bit (niter->control.step))
|
|
509 || !tree_int_cst_equal (iv.step, niter->control.step))
|
|
510 continue;
|
|
511
|
|
512 /* Find a loop PHI node that defines guard_iv directly,
|
|
513 or create one doing that. */
|
|
514 gphi *phi = find_or_create_guard_phi (loop1, guard_iv, &iv);
|
|
515 if (!phi)
|
|
516 continue;
|
|
517 gcond *guard_stmt = as_a<gcond *> (last_stmt (bbs[i]));
|
|
518 tree guard_init = PHI_ARG_DEF_FROM_EDGE (phi,
|
|
519 loop_preheader_edge (loop1));
|
|
520 enum tree_code guard_code = gimple_cond_code (guard_stmt);
|
|
521
|
|
522 /* Loop splitting is implemented by versioning the loop, placing
|
|
523 the new loop after the old loop, make the first loop iterate
|
|
524 as long as the conditional stays true (or false) and let the
|
|
525 second (new) loop handle the rest of the iterations.
|
|
526
|
|
527 First we need to determine if the condition will start being true
|
|
528 or false in the first loop. */
|
|
529 bool initial_true;
|
|
530 switch (guard_code)
|
|
531 {
|
|
532 case LT_EXPR:
|
|
533 case LE_EXPR:
|
|
534 initial_true = !tree_int_cst_sign_bit (iv.step);
|
|
535 break;
|
|
536 case GT_EXPR:
|
|
537 case GE_EXPR:
|
|
538 initial_true = tree_int_cst_sign_bit (iv.step);
|
|
539 break;
|
|
540 default:
|
|
541 gcc_unreachable ();
|
|
542 }
|
|
543
|
|
544 /* Build a condition that will skip the first loop when the
|
|
545 guard condition won't ever be true (or false). */
|
|
546 gimple_seq stmts2;
|
|
547 border = force_gimple_operand (border, &stmts2, true, NULL_TREE);
|
|
548 if (stmts2)
|
|
549 gsi_insert_seq_on_edge_immediate (loop_preheader_edge (loop1),
|
|
550 stmts2);
|
|
551 tree cond = build2 (guard_code, boolean_type_node, guard_init, border);
|
|
552 if (!initial_true)
|
|
553 cond = fold_build1 (TRUTH_NOT_EXPR, boolean_type_node, cond);
|
|
554
|
|
555 /* Now version the loop, placing loop2 after loop1 connecting
|
|
556 them, and fix up SSA form for that. */
|
|
557 initialize_original_copy_tables ();
|
|
558 basic_block cond_bb;
|
|
559
|
|
560 struct loop *loop2 = loop_version (loop1, cond, &cond_bb,
|
|
561 profile_probability::always (),
|
|
562 profile_probability::always (),
|
|
563 profile_probability::always (),
|
|
564 profile_probability::always (),
|
|
565 true);
|
|
566 gcc_assert (loop2);
|
|
567 update_ssa (TODO_update_ssa);
|
|
568
|
|
569 edge new_e = connect_loops (loop1, loop2);
|
|
570 connect_loop_phis (loop1, loop2, new_e);
|
|
571
|
|
572 /* The iterations of the second loop is now already
|
|
573 exactly those that the first loop didn't do, but the
|
|
574 iteration space of the first loop is still the original one.
|
|
575 Compute the new bound for the guarding IV and patch the
|
|
576 loop exit to use it instead of original IV and bound. */
|
|
577 gimple_seq stmts = NULL;
|
|
578 tree newend = compute_new_first_bound (&stmts, niter, border,
|
|
579 guard_code, guard_init);
|
|
580 if (stmts)
|
|
581 gsi_insert_seq_on_edge_immediate (loop_preheader_edge (loop1),
|
|
582 stmts);
|
|
583 tree guard_next = PHI_ARG_DEF_FROM_EDGE (phi, loop_latch_edge (loop1));
|
|
584 patch_loop_exit (loop1, guard_stmt, guard_next, newend, initial_true);
|
|
585
|
|
586 /* Finally patch out the two copies of the condition to be always
|
|
587 true/false (or opposite). */
|
|
588 gcond *force_true = as_a<gcond *> (last_stmt (bbs[i]));
|
|
589 gcond *force_false = as_a<gcond *> (last_stmt (get_bb_copy (bbs[i])));
|
|
590 if (!initial_true)
|
|
591 std::swap (force_true, force_false);
|
|
592 gimple_cond_make_true (force_true);
|
|
593 gimple_cond_make_false (force_false);
|
|
594 update_stmt (force_true);
|
|
595 update_stmt (force_false);
|
|
596
|
|
597 free_original_copy_tables ();
|
|
598
|
|
599 /* We destroyed LCSSA form above. Eventually we might be able
|
|
600 to fix it on the fly, for now simply punt and use the helper. */
|
|
601 rewrite_into_loop_closed_ssa_1 (NULL, 0, SSA_OP_USE, loop1);
|
|
602
|
|
603 changed = true;
|
|
604 if (dump_file && (dump_flags & TDF_DETAILS))
|
|
605 fprintf (dump_file, ";; Loop split.\n");
|
|
606
|
|
607 /* Only deal with the first opportunity. */
|
|
608 break;
|
|
609 }
|
|
610
|
|
611 free (bbs);
|
|
612 return changed;
|
|
613 }
|
|
614
|
|
615 /* Main entry point. Perform loop splitting on all suitable loops. */
|
|
616
|
|
617 static unsigned int
|
|
618 tree_ssa_split_loops (void)
|
|
619 {
|
|
620 struct loop *loop;
|
|
621 bool changed = false;
|
|
622
|
|
623 gcc_assert (scev_initialized_p ());
|
|
624 FOR_EACH_LOOP (loop, LI_INCLUDE_ROOT)
|
|
625 loop->aux = NULL;
|
|
626
|
|
627 /* Go through all loops starting from innermost. */
|
|
628 FOR_EACH_LOOP (loop, LI_FROM_INNERMOST)
|
|
629 {
|
|
630 struct tree_niter_desc niter;
|
|
631 if (loop->aux)
|
|
632 {
|
|
633 /* If any of our inner loops was split, don't split us,
|
|
634 and mark our containing loop as having had splits as well. */
|
|
635 loop_outer (loop)->aux = loop;
|
|
636 continue;
|
|
637 }
|
|
638
|
|
639 if (single_exit (loop)
|
|
640 /* ??? We could handle non-empty latches when we split
|
|
641 the latch edge (not the exit edge), and put the new
|
|
642 exit condition in the new block. OTOH this executes some
|
|
643 code unconditionally that might have been skipped by the
|
|
644 original exit before. */
|
|
645 && empty_block_p (loop->latch)
|
|
646 && !optimize_loop_for_size_p (loop)
|
|
647 && easy_exit_values (loop)
|
|
648 && number_of_iterations_exit (loop, single_exit (loop), &niter,
|
|
649 false, true)
|
|
650 && niter.cmp != ERROR_MARK
|
|
651 /* We can't yet handle loops controlled by a != predicate. */
|
|
652 && niter.cmp != NE_EXPR)
|
|
653 {
|
|
654 if (split_loop (loop, &niter))
|
|
655 {
|
|
656 /* Mark our containing loop as having had some split inner
|
|
657 loops. */
|
|
658 loop_outer (loop)->aux = loop;
|
|
659 changed = true;
|
|
660 }
|
|
661 }
|
|
662 }
|
|
663
|
|
664 FOR_EACH_LOOP (loop, LI_INCLUDE_ROOT)
|
|
665 loop->aux = NULL;
|
|
666
|
|
667 if (changed)
|
|
668 return TODO_cleanup_cfg;
|
|
669 return 0;
|
|
670 }
|
|
671
|
|
672 /* Loop splitting pass. */
|
|
673
|
|
674 namespace {
|
|
675
|
|
676 const pass_data pass_data_loop_split =
|
|
677 {
|
|
678 GIMPLE_PASS, /* type */
|
|
679 "lsplit", /* name */
|
|
680 OPTGROUP_LOOP, /* optinfo_flags */
|
|
681 TV_LOOP_SPLIT, /* tv_id */
|
|
682 PROP_cfg, /* properties_required */
|
|
683 0, /* properties_provided */
|
|
684 0, /* properties_destroyed */
|
|
685 0, /* todo_flags_start */
|
|
686 0, /* todo_flags_finish */
|
|
687 };
|
|
688
|
|
689 class pass_loop_split : public gimple_opt_pass
|
|
690 {
|
|
691 public:
|
|
692 pass_loop_split (gcc::context *ctxt)
|
|
693 : gimple_opt_pass (pass_data_loop_split, ctxt)
|
|
694 {}
|
|
695
|
|
696 /* opt_pass methods: */
|
|
697 virtual bool gate (function *) { return flag_split_loops != 0; }
|
|
698 virtual unsigned int execute (function *);
|
|
699
|
|
700 }; // class pass_loop_split
|
|
701
|
|
702 unsigned int
|
|
703 pass_loop_split::execute (function *fun)
|
|
704 {
|
|
705 if (number_of_loops (fun) <= 1)
|
|
706 return 0;
|
|
707
|
|
708 return tree_ssa_split_loops ();
|
|
709 }
|
|
710
|
|
711 } // anon namespace
|
|
712
|
|
713 gimple_opt_pass *
|
|
714 make_pass_loop_split (gcc::context *ctxt)
|
|
715 {
|
|
716 return new pass_loop_split (ctxt);
|
|
717 }
|