* arith.c (gfc_range_check): Fix logic error.
[official-gcc.git] / gcc / tree-phinodes.c
blobe4fc904fd4a5e802a7405d755cf3d9e8619ffb7b
1 /* Generic routines for manipulating PHIs
2 Copyright (C) 2003 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 2, or (at your option)
9 any later version.
11 GCC is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING. If not, write to
18 the Free Software Foundation, 59 Temple Place - Suite 330,
19 Boston, MA 02111-1307, USA. */
21 #include "config.h"
22 #include "system.h"
23 #include "coretypes.h"
24 #include "tm.h"
25 #include "tree.h"
26 #include "rtl.h"
27 #include "varray.h"
28 #include "ggc.h"
29 #include "basic-block.h"
30 #include "tree-flow.h"
31 #include "toplev.h"
33 /* Rewriting a function into SSA form can create a huge number of PHIs
34 many of which may be thrown away shortly after their creation if jumps
35 were threaded through PHI nodes.
37 While our garbage collection mechanisms will handle this situation, it
38 is extremely wasteful to create nodes and throw them away, especially
39 when the nodes can be reused.
41 For PR 8361, we can significantly reduce the number of nodes allocated
42 and thus the total amount of memory allocated by managing PHIs a
43 little. This additionally helps reduce the amount of work done by the
44 garbage collector. Similar results have been seen on a wider variety
45 of tests (such as the compiler itself).
47 Right now we maintain our free list on a per-function basis. It may
48 or may not make sense to maintain the free list for the duration of
49 a compilation unit.
51 We could also use a zone allocator for these objects since they have
52 a very well defined lifetime. If someone wants to experiment with that
53 this is the place to try it.
55 PHI nodes have different sizes, so we can't have a single list of all
56 the PHI nodes as it would be too expensive to walk down that list to
57 find a PHI of a suitable size.
59 Instead we have an array of lists of free PHI nodes. The array is
60 indexed by the number of PHI alternatives that PHI node can hold.
61 Except for the last array member, which holds all remaining PHI
62 nodes.
64 So to find a free PHI node, we compute its index into the free PHI
65 node array and see if there are any elements with an exact match.
66 If so, then we are done. Otherwise, we test the next larger size
67 up and continue until we are in the last array element.
69 We do not actually walk members of the last array element. While it
70 might allow us to pick up a few reusable PHI nodes, it could potentially
71 be very expensive if the program has released a bunch of large PHI nodes,
72 but keeps asking for even larger PHI nodes. Experiments have shown that
73 walking the elements of the last array entry would result in finding less
74 than .1% additional reusable PHI nodes.
76 Note that we can never have less than two PHI argument slots. Thus,
77 the -2 on all the calculations below. */
79 #define NUM_BUCKETS 10
80 static GTY ((deletable (""))) tree free_phinodes[NUM_BUCKETS - 2];
81 static unsigned long free_phinode_count;
83 static int ideal_phi_node_len (int);
84 static void resize_phi_node (tree *, int);
86 #ifdef GATHER_STATISTICS
87 unsigned int phi_nodes_reused;
88 unsigned int phi_nodes_created;
89 #endif
91 /* Initialize management of PHIs. */
93 void
94 init_phinodes (void)
96 int i;
98 for (i = 0; i < NUM_BUCKETS - 2; i++)
99 free_phinodes[i] = NULL;
100 free_phinode_count = 0;
103 /* Finalize management of PHIs. */
105 void
106 fini_phinodes (void)
108 int i;
110 for (i = 0; i < NUM_BUCKETS - 2; i++)
111 free_phinodes[i] = NULL;
112 free_phinode_count = 0;
115 /* Dump some simple statistics regarding the re-use of PHI nodes. */
117 #ifdef GATHER_STATISTICS
118 void
119 phinodes_print_statistics (void)
121 fprintf (stderr, "PHI nodes allocated: %u\n", phi_nodes_created);
122 fprintf (stderr, "PHI nodes reused: %u\n", phi_nodes_reused);
124 #endif
126 /* Given LEN, the original number of requested PHI arguments, return
127 a new, "ideal" length for the PHI node. The "ideal" length rounds
128 the total size of the PHI node up to the next power of two bytes.
130 Rounding up will not result in wasting any memory since the size request
131 will be rounded up by the GC system anyway. [ Note this is not entirely
132 true since the original length might have fit on one of the special
133 GC pages. ] By rounding up, we may avoid the need to reallocate the
134 PHI node later if we increase the number of arguments for the PHI. */
136 static int
137 ideal_phi_node_len (int len)
139 size_t size, new_size;
140 int log2, new_len;
142 /* We do not support allocations of less than two PHI argument slots. */
143 if (len < 2)
144 len = 2;
146 /* Compute the number of bytes of the original request. */
147 size = sizeof (struct tree_phi_node) + (len - 1) * sizeof (struct phi_arg_d);
149 /* Round it up to the next power of two. */
150 log2 = ceil_log2 (size);
151 new_size = 1 << log2;
153 /* Now compute and return the number of PHI argument slots given an
154 ideal size allocation. */
155 new_len = len + (new_size - size) / sizeof (struct phi_arg_d);
156 return new_len;
159 /* Return a PHI node for variable VAR defined in statement STMT.
160 STMT may be an empty statement for artificial references (e.g., default
161 definitions created when a variable is used without a preceding
162 definition). */
164 tree
165 make_phi_node (tree var, int len)
167 tree phi;
168 int size;
169 int bucket = NUM_BUCKETS - 2;
171 len = ideal_phi_node_len (len);
173 size = sizeof (struct tree_phi_node) + (len - 1) * sizeof (struct phi_arg_d);
175 if (free_phinode_count)
176 for (bucket = len - 2; bucket < NUM_BUCKETS - 2; bucket++)
177 if (free_phinodes[bucket])
178 break;
180 /* If our free list has an element, then use it. */
181 if (bucket < NUM_BUCKETS - 2
182 && PHI_ARG_CAPACITY (free_phinodes[bucket]) >= len)
184 free_phinode_count--;
185 phi = free_phinodes[bucket];
186 free_phinodes[bucket] = TREE_CHAIN (free_phinodes[bucket]);
187 #ifdef GATHER_STATISTICS
188 phi_nodes_reused++;
189 #endif
191 else
193 phi = ggc_alloc (size);
194 #ifdef GATHER_STATISTICS
195 phi_nodes_created++;
196 tree_node_counts[(int) phi_kind]++;
197 tree_node_sizes[(int) phi_kind] += size;
198 #endif
202 memset (phi, 0, size);
203 TREE_SET_CODE (phi, PHI_NODE);
204 PHI_ARG_CAPACITY (phi) = len;
205 if (TREE_CODE (var) == SSA_NAME)
206 PHI_RESULT (phi) = var;
207 else
208 PHI_RESULT (phi) = make_ssa_name (var, phi);
210 return phi;
213 /* We no longer need PHI, release it so that it may be reused. */
215 void
216 release_phi_node (tree phi)
218 int bucket;
219 int len = PHI_ARG_CAPACITY (phi);
221 bucket = len > NUM_BUCKETS - 1 ? NUM_BUCKETS - 1 : len;
222 bucket -= 2;
223 TREE_CHAIN (phi) = free_phinodes[bucket];
224 free_phinodes[bucket] = phi;
225 free_phinode_count++;
228 /* Resize an existing PHI node. The only way is up. Return the
229 possibly relocated phi. */
231 static void
232 resize_phi_node (tree *phi, int len)
234 int size, old_size;
235 tree new_phi;
236 int i, old_len, bucket = NUM_BUCKETS - 2;
238 #ifdef ENABLE_CHECKING
239 if (len < PHI_ARG_CAPACITY (*phi))
240 abort ();
241 #endif
243 /* Note that OLD_SIZE is guaranteed to be smaller than SIZE. */
244 old_size = (sizeof (struct tree_phi_node)
245 + (PHI_ARG_CAPACITY (*phi) - 1) * sizeof (struct phi_arg_d));
246 size = sizeof (struct tree_phi_node) + (len - 1) * sizeof (struct phi_arg_d);
248 if (free_phinode_count)
249 for (bucket = len - 2; bucket < NUM_BUCKETS - 2; bucket++)
250 if (free_phinodes[bucket])
251 break;
253 /* If our free list has an element, then use it. */
254 if (bucket < NUM_BUCKETS - 2
255 && PHI_ARG_CAPACITY (free_phinodes[bucket]) >= len)
257 free_phinode_count--;
258 new_phi = free_phinodes[bucket];
259 free_phinodes[bucket] = TREE_CHAIN (free_phinodes[bucket]);
260 #ifdef GATHER_STATISTICS
261 phi_nodes_reused++;
262 #endif
264 else
266 new_phi = ggc_alloc (size);
267 #ifdef GATHER_STATISTICS
268 phi_nodes_created++;
269 tree_node_counts[(int) phi_kind]++;
270 tree_node_sizes[(int) phi_kind] += size;
271 #endif
274 memcpy (new_phi, *phi, old_size);
276 old_len = PHI_ARG_CAPACITY (new_phi);
277 PHI_ARG_CAPACITY (new_phi) = len;
279 for (i = old_len; i < len; i++)
281 PHI_ARG_DEF (new_phi, i) = NULL_TREE;
282 PHI_ARG_EDGE (new_phi, i) = NULL;
285 *phi = new_phi;
288 /* Create a new PHI node for variable VAR at basic block BB. */
290 tree
291 create_phi_node (tree var, basic_block bb)
293 tree phi;
295 phi = make_phi_node (var, bb_ann (bb)->num_preds);
297 /* This is a new phi node, so note that is has not yet been
298 rewritten. */
299 PHI_REWRITTEN (phi) = 0;
301 /* Add the new PHI node to the list of PHI nodes for block BB. */
302 TREE_CHAIN (phi) = phi_nodes (bb);
303 bb_ann (bb)->phi_nodes = phi;
305 /* Associate BB to the PHI node. */
306 set_bb_for_stmt (phi, bb);
308 return phi;
311 /* Add a new argument to PHI node PHI. DEF is the incoming reaching
312 definition and E is the edge through which DEF reaches PHI. The new
313 argument is added at the end of the argument list.
314 If PHI has reached its maximum capacity, add a few slots. In this case,
315 PHI points to the reallocated phi node when we return. */
317 void
318 add_phi_arg (tree *phi, tree def, edge e)
320 int i = PHI_NUM_ARGS (*phi);
322 if (i >= PHI_ARG_CAPACITY (*phi))
324 tree old_phi = *phi;
326 /* Resize the phi. Unfortunately, this may also relocate it. */
327 resize_phi_node (phi, ideal_phi_node_len (i + 4));
329 /* The result of the phi is defined by this phi node. */
330 SSA_NAME_DEF_STMT (PHI_RESULT (*phi)) = *phi;
332 /* If the PHI was relocated, update the PHI chains appropriately and
333 release the old PHI node. */
334 if (*phi != old_phi)
336 release_phi_node (old_phi);
338 /* Update the list head if replacing the first listed phi. */
339 if (phi_nodes (e->dest) == old_phi)
340 bb_ann (e->dest)->phi_nodes = *phi;
341 else
343 /* Traverse the list looking for the phi node to chain to. */
344 tree p;
346 for (p = phi_nodes (e->dest);
347 p && TREE_CHAIN (p) != old_phi;
348 p = TREE_CHAIN (p))
351 if (!p)
352 abort ();
354 TREE_CHAIN (p) = *phi;
359 /* Copy propagation needs to know what object occur in abnormal
360 PHI nodes. This is a convenient place to record such information. */
361 if (e->flags & EDGE_ABNORMAL)
363 SSA_NAME_OCCURS_IN_ABNORMAL_PHI (def) = 1;
364 SSA_NAME_OCCURS_IN_ABNORMAL_PHI (PHI_RESULT (*phi)) = 1;
367 PHI_ARG_DEF (*phi, i) = def;
368 PHI_ARG_EDGE (*phi, i) = e;
369 PHI_NUM_ARGS (*phi)++;
372 /* Remove a PHI argument from PHI. BLOCK is the predecessor block where
373 the PHI argument is coming from. */
375 void
376 remove_phi_arg (tree phi, basic_block block)
378 int i, num_elem = PHI_NUM_ARGS (phi);
380 for (i = 0; i < num_elem; i++)
382 basic_block src_bb;
384 src_bb = PHI_ARG_EDGE (phi, i)->src;
386 if (src_bb == block)
388 remove_phi_arg_num (phi, i);
389 return;
395 /* Remove the Ith argument from PHI's argument list. This routine assumes
396 ordering of alternatives in the vector is not important and implements
397 removal by swapping the last alternative with the alternative we want to
398 delete, then shrinking the vector. */
400 void
401 remove_phi_arg_num (tree phi, int i)
403 int num_elem = PHI_NUM_ARGS (phi);
405 /* If we are not at the last element, switch the last element
406 with the element we want to delete. */
407 if (i != num_elem - 1)
409 PHI_ARG_DEF (phi, i) = PHI_ARG_DEF (phi, num_elem - 1);
410 PHI_ARG_EDGE (phi, i) = PHI_ARG_EDGE (phi, num_elem - 1);
413 /* Shrink the vector and return. */
414 PHI_ARG_DEF (phi, num_elem - 1) = NULL_TREE;
415 PHI_ARG_EDGE (phi, num_elem - 1) = NULL;
416 PHI_NUM_ARGS (phi)--;
418 /* If we removed the last PHI argument, then go ahead and
419 remove the PHI node. */
420 if (PHI_NUM_ARGS (phi) == 0)
421 remove_phi_node (phi, NULL, bb_for_stmt (phi));
424 /* Remove PHI node PHI from basic block BB. If PREV is non-NULL, it is
425 used as the node immediately before PHI in the linked list. */
427 void
428 remove_phi_node (tree phi, tree prev, basic_block bb)
430 if (prev)
432 /* Rewire the list if we are given a PREV pointer. */
433 TREE_CHAIN (prev) = TREE_CHAIN (phi);
435 /* If we are deleting the PHI node, then we should release the
436 SSA_NAME node so that it can be reused. */
437 release_ssa_name (PHI_RESULT (phi));
438 release_phi_node (phi);
440 else if (phi == phi_nodes (bb))
442 /* Update the list head if removing the first element. */
443 bb_ann (bb)->phi_nodes = TREE_CHAIN (phi);
445 /* If we are deleting the PHI node, then we should release the
446 SSA_NAME node so that it can be reused. */
447 release_ssa_name (PHI_RESULT (phi));
448 release_phi_node (phi);
450 else
452 /* Traverse the list looking for the node to remove. */
453 tree prev, t;
454 prev = NULL_TREE;
455 for (t = phi_nodes (bb); t && t != phi; t = TREE_CHAIN (t))
456 prev = t;
457 if (t)
458 remove_phi_node (t, prev, bb);
463 /* Remove all the PHI nodes for variables in the VARS bitmap. */
465 void
466 remove_all_phi_nodes_for (bitmap vars)
468 basic_block bb;
470 FOR_EACH_BB (bb)
472 /* Build a new PHI list for BB without variables in VARS. */
473 tree phi, new_phi_list, last_phi, next;
475 last_phi = new_phi_list = NULL_TREE;
476 for (phi = phi_nodes (bb), next = NULL; phi; phi = next)
478 tree var = SSA_NAME_VAR (PHI_RESULT (phi));
480 next = TREE_CHAIN (phi);
481 /* Only add PHI nodes for variables not in VARS. */
482 if (!bitmap_bit_p (vars, var_ann (var)->uid))
484 /* If we're not removing this PHI node, then it must have
485 been rewritten by a previous call into the SSA rewriter.
486 Note that fact in PHI_REWRITTEN. */
487 PHI_REWRITTEN (phi) = 1;
489 if (new_phi_list == NULL_TREE)
490 new_phi_list = last_phi = phi;
491 else
493 TREE_CHAIN (last_phi) = phi;
494 last_phi = phi;
497 else
499 /* If we are deleting the PHI node, then we should release the
500 SSA_NAME node so that it can be reused. */
501 release_ssa_name (PHI_RESULT (phi));
502 release_phi_node (phi);
506 /* Make sure the last node in the new list has no successors. */
507 if (last_phi)
508 TREE_CHAIN (last_phi) = NULL_TREE;
509 bb_ann (bb)->phi_nodes = new_phi_list;
511 #if defined ENABLE_CHECKING
512 for (phi = phi_nodes (bb); phi; phi = TREE_CHAIN (phi))
514 tree var = SSA_NAME_VAR (PHI_RESULT (phi));
515 if (bitmap_bit_p (vars, var_ann (var)->uid))
516 abort ();
518 #endif
523 #include "gt-tree-phinodes.h"