1 /* The tracer pass for the GNU compiler.
2 Contributed by Jan Hubicka, SuSE Labs.
3 Copyright (C) 2001, 2002, 2003, 2004 Free Software Foundation, Inc.
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify it
8 under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2, or (at your option)
12 GCC is distributed in the hope that it will be useful, but WITHOUT
13 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
14 or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
15 License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING. If not, write to the Free
19 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
22 /* This pass performs the tail duplication needed for superblock formation.
23 For more information see:
25 Design and Analysis of Profile-Based Optimization in Compaq's
26 Compilation Tools for Alpha; Journal of Instruction-Level
27 Parallelism 3 (2000) 1-25
29 Unlike Compaq's implementation we don't do the loop peeling as most
30 probably a better job can be done by a special pass and we don't
31 need to worry too much about the code size implications as the tail
32 duplicates are crossjumped again if optimizations are not
38 #include "coretypes.h"
42 #include "hard-reg-set.h"
43 #include "basic-block.h"
45 #include "cfglayout.h"
52 static int count_insns (basic_block
);
53 static bool ignore_bb_p (basic_block
);
54 static bool better_p (edge
, edge
);
55 static edge
find_best_successor (basic_block
);
56 static edge
find_best_predecessor (basic_block
);
57 static int find_trace (basic_block
, basic_block
*);
58 static void tail_duplicate (void);
59 static void layout_superblocks (void);
61 /* Minimal outgoing edge probability considered for superblock formation. */
62 static int probability_cutoff
;
63 static int branch_ratio_cutoff
;
65 /* Return true if BB has been seen - it is connected to some trace
68 #define seen(bb) (bb->rbi->visited || bb->rbi->next)
70 /* Return true if we should ignore the basic block for purposes of tracing. */
72 ignore_bb_p (basic_block bb
)
76 if (!maybe_hot_bb_p (bb
))
81 /* Return number of instructions in the block. */
84 count_insns (basic_block bb
)
89 for (insn
= BB_HEAD (bb
);
90 insn
!= NEXT_INSN (BB_END (bb
));
91 insn
= NEXT_INSN (insn
))
92 if (active_insn_p (insn
))
97 /* Return true if E1 is more frequent than E2. */
99 better_p (edge e1
, edge e2
)
101 if (e1
->count
!= e2
->count
)
102 return e1
->count
> e2
->count
;
103 if (e1
->src
->frequency
* e1
->probability
!=
104 e2
->src
->frequency
* e2
->probability
)
105 return (e1
->src
->frequency
* e1
->probability
106 > e2
->src
->frequency
* e2
->probability
);
107 /* This is needed to avoid changes in the decision after
109 if (e1
->src
!= e2
->src
)
110 return e1
->src
->index
> e2
->src
->index
;
111 return e1
->dest
->index
> e2
->dest
->index
;
114 /* Return most frequent successor of basic block BB. */
117 find_best_successor (basic_block bb
)
123 FOR_EACH_EDGE (e
, ei
, bb
->succs
)
124 if (!best
|| better_p (e
, best
))
126 if (!best
|| ignore_bb_p (best
->dest
))
128 if (best
->probability
<= probability_cutoff
)
133 /* Return most frequent predecessor of basic block BB. */
136 find_best_predecessor (basic_block bb
)
142 FOR_EACH_EDGE (e
, ei
, bb
->preds
)
143 if (!best
|| better_p (e
, best
))
145 if (!best
|| ignore_bb_p (best
->src
))
147 if (EDGE_FREQUENCY (best
) * REG_BR_PROB_BASE
148 < bb
->frequency
* branch_ratio_cutoff
)
153 /* Find the trace using bb and record it in the TRACE array.
154 Return number of basic blocks recorded. */
157 find_trace (basic_block bb
, basic_block
*trace
)
163 fprintf (dump_file
, "Trace seed %i [%i]", bb
->index
, bb
->frequency
);
165 while ((e
= find_best_predecessor (bb
)) != NULL
)
167 basic_block bb2
= e
->src
;
168 if (seen (bb2
) || (e
->flags
& (EDGE_DFS_BACK
| EDGE_COMPLEX
))
169 || find_best_successor (bb2
) != e
)
172 fprintf (dump_file
, ",%i [%i]", bb
->index
, bb
->frequency
);
176 fprintf (dump_file
, " forward %i [%i]", bb
->index
, bb
->frequency
);
179 /* Follow the trace in forward direction. */
180 while ((e
= find_best_successor (bb
)) != NULL
)
183 if (seen (bb
) || (e
->flags
& (EDGE_DFS_BACK
| EDGE_COMPLEX
))
184 || find_best_predecessor (bb
) != e
)
187 fprintf (dump_file
, ",%i [%i]", bb
->index
, bb
->frequency
);
191 fprintf (dump_file
, "\n");
195 /* Look for basic blocks in frequency order, construct traces and tail duplicate
199 tail_duplicate (void)
201 fibnode_t
*blocks
= xcalloc (last_basic_block
, sizeof (fibnode_t
));
202 basic_block
*trace
= xmalloc (sizeof (basic_block
) * n_basic_blocks
);
203 int *counts
= xmalloc (sizeof (int) * last_basic_block
);
204 int ninsns
= 0, nduplicated
= 0;
205 gcov_type weighted_insns
= 0, traced_insns
= 0;
206 fibheap_t heap
= fibheap_new ();
207 gcov_type cover_insns
;
211 if (profile_info
&& flag_branch_probabilities
)
212 probability_cutoff
= PARAM_VALUE (TRACER_MIN_BRANCH_PROBABILITY_FEEDBACK
);
214 probability_cutoff
= PARAM_VALUE (TRACER_MIN_BRANCH_PROBABILITY
);
215 probability_cutoff
= REG_BR_PROB_BASE
/ 100 * probability_cutoff
;
217 branch_ratio_cutoff
=
218 (REG_BR_PROB_BASE
/ 100 * PARAM_VALUE (TRACER_MIN_BRANCH_RATIO
));
222 int n
= count_insns (bb
);
223 if (!ignore_bb_p (bb
))
224 blocks
[bb
->index
] = fibheap_insert (heap
, -bb
->frequency
,
227 counts
[bb
->index
] = n
;
229 weighted_insns
+= n
* bb
->frequency
;
232 if (profile_info
&& flag_branch_probabilities
)
233 cover_insns
= PARAM_VALUE (TRACER_DYNAMIC_COVERAGE_FEEDBACK
);
235 cover_insns
= PARAM_VALUE (TRACER_DYNAMIC_COVERAGE
);
236 cover_insns
= (weighted_insns
* cover_insns
+ 50) / 100;
237 max_dup_insns
= (ninsns
* PARAM_VALUE (TRACER_MAX_CODE_GROWTH
) + 50) / 100;
239 while (traced_insns
< cover_insns
&& nduplicated
< max_dup_insns
240 && !fibheap_empty (heap
))
242 basic_block bb
= fibheap_extract_min (heap
);
248 blocks
[bb
->index
] = NULL
;
250 if (ignore_bb_p (bb
))
252 gcc_assert (!seen (bb
));
254 n
= find_trace (bb
, trace
);
257 traced_insns
+= bb
->frequency
* counts
[bb
->index
];
258 if (blocks
[bb
->index
])
260 fibheap_delete_node (heap
, blocks
[bb
->index
]);
261 blocks
[bb
->index
] = NULL
;
264 for (pos
= 1; pos
< n
; pos
++)
266 basic_block bb2
= trace
[pos
];
268 if (blocks
[bb2
->index
])
270 fibheap_delete_node (heap
, blocks
[bb2
->index
]);
271 blocks
[bb2
->index
] = NULL
;
273 traced_insns
+= bb2
->frequency
* counts
[bb2
->index
];
274 if (EDGE_COUNT (bb2
->preds
) > 1
275 && can_duplicate_block_p (bb2
))
278 basic_block old
= bb2
;
280 e
= find_edge (bb
, bb2
);
282 nduplicated
+= counts
[bb2
->index
];
283 bb2
= duplicate_block (bb2
, e
);
285 /* Reconsider the original copy of block we've duplicated.
286 Removing the most common predecessor may make it to be
289 fibheap_insert (heap
, -old
->frequency
, old
);
292 fprintf (dump_file
, "Duplicated %i as %i [%i]\n",
293 old
->index
, bb2
->index
, bb2
->frequency
);
296 bb2
->rbi
->visited
= 1;
298 /* In case the trace became infrequent, stop duplicating. */
299 if (ignore_bb_p (bb
))
303 fprintf (dump_file
, " covered now %.1f\n\n",
304 traced_insns
* 100.0 / weighted_insns
);
307 fprintf (dump_file
, "Duplicated %i insns (%i%%)\n", nduplicated
,
308 nduplicated
* 100 / ninsns
);
313 fibheap_delete (heap
);
316 /* Connect the superblocks into linear sequence. At the moment we attempt to keep
317 the original order as much as possible, but the algorithm may be made smarter
318 later if needed. BB reordering pass should void most of the benefits of such
322 layout_superblocks (void)
324 basic_block end
= EDGE_SUCC (ENTRY_BLOCK_PTR
, 0)->dest
;
325 basic_block bb
= EDGE_SUCC (ENTRY_BLOCK_PTR
, 0)->dest
->next_bb
;
327 while (bb
!= EXIT_BLOCK_PTR
)
331 while (end
->rbi
->next
)
332 end
= end
->rbi
->next
;
334 FOR_EACH_EDGE (e
, ei
, end
->succs
)
335 if (e
->dest
!= EXIT_BLOCK_PTR
336 && e
->dest
!= EDGE_SUCC (ENTRY_BLOCK_PTR
, 0)->dest
337 && !e
->dest
->rbi
->visited
338 && (!best
|| EDGE_FREQUENCY (e
) > EDGE_FREQUENCY (best
)))
343 end
->rbi
->next
= best
->dest
;
344 best
->dest
->rbi
->visited
= 1;
347 for (; bb
!= EXIT_BLOCK_PTR
; bb
= bb
->next_bb
)
349 if (!bb
->rbi
->visited
)
352 bb
->rbi
->visited
= 1;
359 /* Main entry point to this file. FLAGS is the set of flags to pass
360 to cfg_layout_initialize(). */
363 tracer (unsigned int flags
)
365 if (n_basic_blocks
<= 1)
368 timevar_push (TV_TRACER
);
370 cfg_layout_initialize (flags
);
371 mark_dfs_back_edges ();
373 dump_flow_info (dump_file
);
375 layout_superblocks ();
377 dump_flow_info (dump_file
);
378 cfg_layout_finalize ();
380 /* Merge basic blocks in duplicated traces. */
381 cleanup_cfg (CLEANUP_EXPENSIVE
);
383 timevar_pop (TV_TRACER
);