EnumSet*.class: Regenerate
[official-gcc.git] / gcc / tree-ssa-ter.c
blob824252e8b9f6782ed2e38c6926841e39351e22b0
1 /* Routines for performing Temporary Expression Replacement (TER) in SSA trees.
2 Copyright (C) 2003, 2004, 2005, 2006, 2007 Free Software Foundation, Inc.
3 Contributed by Andrew MacLeod <amacleod@redhat.com>
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3, or (at your option)
10 any later version.
12 GCC is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING3. If not see
19 <http://www.gnu.org/licenses/>. */
22 #include "config.h"
23 #include "system.h"
24 #include "coretypes.h"
25 #include "tm.h"
26 #include "tree.h"
27 #include "diagnostic.h"
28 #include "bitmap.h"
29 #include "tree-flow.h"
30 #include "tree-dump.h"
31 #include "tree-ssa-live.h"
34 /* Temporary Expression Replacement (TER)
36 Replace SSA version variables during out-of-ssa with their defining
37 expression if there is only one use of the variable.
39 This pass is required in order for the RTL expansion pass to see larger
40 chunks of code. This allows it to make better choices on RTL pattern
41 selection. When expand is rewritten and merged with out-of-ssa, and
42 understands SSA, this should be eliminated.
44 A pass is made through the function, one block at a time. No cross block
45 information is tracked.
47 Variables which only have one use, and whose defining stmt is considered
48 a replaceable expression (see is_replaceable_p) are tracked to see whether
49 they can be replaced at their use location.
51 n_12 = C * 10
52 a_2 = b_5 + 6
53 v_9 = a_2 * n_12
55 if there are the only use of n_12 and a_2, TER will substitute in their
56 expressions in v_9, and end up with:
58 v_9 = (b_5 + 6) * (C * 10)
60 which will then have the ssa_name assigned to regular variables, and the
61 resulting code which will be passed ot the expander looks something like:
63 v = (b + 6) * (C * 10)
66 This requires ensuring that none of the variables used by the expression
67 change between the def point and where it is used. Furthermore, if any
68 of the ssa_names used in this expression are themselves replaceable, we
69 have to ensure none of that expressions' arguments change either.
70 Although SSA_NAMES themselves don't change, this pass is performed after
71 coalescing has coalesced different SSA_NAMES together, so there could be a
72 definition of an SSA_NAME which is coalesced with a use that causes a
73 problem. ie
75 PHI b_5 = <b_8(2), b_14(1)>
76 <...>
77 a_2 = b_5 + 6
78 b_8 = c_4 + 4
79 v_9 = a_2 * n_12
80 <...>
82 If b_5, b_8 and b_14 are all coalesced together...
83 The expression b_5 + 6 CANNOT replace the use in the statement defining v_9
84 because b_8 is in fact killing the value of b_5 since they share a partition
85 and will be assigned the same memory or register location.
87 TER implements this but stepping through the instructions in a block and
88 tracking potential expressions for replacement, and the partitions they are
89 dependent on. Expressions are represented by the SSA_NAME_VERSION of the
90 DEF on the LHS of a GIMPLE_MODIFY_STMT and the expression is the RHS.
92 When a stmt is determined to be a possible replacement expression, the
93 following steps are taken:
95 EXPR_DECL_UID bitmap is allocated and set to the base variable UID of the
96 def and any uses in the expression. non-NULL means the expression is being
97 tracked. The UID's themselves are used to prevent TER substitution into
98 accumulating sequences.
100 x = x + y
101 x = x + z
102 x = x + w
103 etc.
104 this can result in very large expressions which don't accomplish anything
105 see PR tree-optimization/17549.
107 PARTITION_DEPENDENCIES is another bitmap array, and it has a bit set for any
108 partition which is used in the expression. This is primarily used to remove
109 an expression from the partition kill lists when a decision is made whether
110 to replace it or not. This is indexed by ssa version number as well, and
111 indicates a partition number. virtual operands are not tracked individually,
112 but they are summarized by an artificial partition called VIRTUAL_PARTITION.
113 This means a MAY or MUST def will kill *ALL* expressions that are dependent
114 on a virtual operand.
115 Note that the EXPR_DECL_UID and this bitmap represent very similar
116 information, but the info in one is not easy to obtain from the other.
118 KILL_LIST is yet another bitmap array, this time it is indexed by partition
119 number, and represents a list of active expressions which will will no
120 longer be valid if a definition into this partition takes place.
122 PARTITION_IN_USE is simply a bitmap which is used to track which partitions
123 currently have something in their kill list. This is used at the end of
124 a block to clear out the KILL_LIST bitmaps at the end of each block.
126 NEW_REPLACEABLE_DEPENDENCIES is used as a temporary place to store
127 dependencies which will be reused by the current definition. ALl the uses
128 on an expression are processed before anything else is done. If a use is
129 determined to be a replaceable expression AND the current stmt is also going
130 to be replaceable, all the dependencies of this replaceable use will be
131 picked up by the current stmt's expression. Rather than recreate them, they
132 are simply copied here and then copied into the new expression when it is
133 processed.
135 a_2 = b_5 + 6
136 v_8 = a_2 + c_4
138 a_2's expression 'b_5 + 6' is determined to be replaceable at the use
139 location. It is dependent on the partition 'b_5' is in. This is cached into
140 the NEW_REPLACEABLE_DEPENDENCIES bitmap. and when v_8 is examined for
141 replaceablility, it is a candidate, and it is dependent on the partition
142 b_5 is in *NOT* a_2, as well as c_4's partition.
144 if v_8 is also replaceable:
146 x_9 = v_8 * 5
148 x_9 is dependent on partitions b_5, and c_4
150 if a statement is found which has either of those partitions written to
151 before x_9 is used, then x_9 itself is NOT replaceable. */
154 /* Temporary Expression Replacement (TER) table information. */
156 typedef struct temp_expr_table_d
158 var_map map;
159 bitmap *partition_dependencies; /* Partitions expr is dependent on. */
160 tree *replaceable_expressions; /* Replacement expression table. */
161 bitmap *expr_decl_uids; /* Base uids of exprs. */
162 bitmap *kill_list; /* Expr's killed by a partition. */
163 int virtual_partition; /* Pseudo partition for virtual ops. */
164 bitmap partition_in_use; /* Partitions with kill entries. */
165 bitmap new_replaceable_dependencies; /* Holding place for pending dep's. */
166 int *num_in_part; /* # of ssa_names in a partition. */
167 } *temp_expr_table_p;
169 /* Used to indicate a dependency on VDEFs. */
170 #define VIRTUAL_PARTITION(table) (table->virtual_partition)
172 #ifdef ENABLE_CHECKING
173 extern void debug_ter (FILE *, temp_expr_table_p);
174 #endif
177 /* Create a new TER table for MAP. */
179 static temp_expr_table_p
180 new_temp_expr_table (var_map map)
182 temp_expr_table_p t;
183 unsigned x;
185 t = XNEW (struct temp_expr_table_d);
186 t->map = map;
188 t->partition_dependencies = XCNEWVEC (bitmap, num_ssa_names + 1);
189 t->expr_decl_uids = XCNEWVEC (bitmap, num_ssa_names + 1);
190 t->kill_list = XCNEWVEC (bitmap, num_var_partitions (map) + 1);
192 t->partition_in_use = BITMAP_ALLOC (NULL);
194 t->virtual_partition = num_var_partitions (map);
195 t->new_replaceable_dependencies = BITMAP_ALLOC (NULL);
197 t->replaceable_expressions = NULL;
198 t->num_in_part = XCNEWVEC (int, num_var_partitions (map));
199 for (x = 1; x < num_ssa_names; x++)
201 int p;
202 tree name = ssa_name (x);
203 if (!name)
204 continue;
205 p = var_to_partition (map, name);
206 if (p != NO_PARTITION)
207 t->num_in_part[p]++;
210 return t;
214 /* Free TER table T. If there are valid replacements, return the expression
215 vector. */
217 static tree *
218 free_temp_expr_table (temp_expr_table_p t)
220 tree *ret = NULL;
221 unsigned i;
223 #ifdef ENABLE_CHECKING
224 unsigned x;
225 for (x = 0; x <= num_var_partitions (t->map); x++)
226 gcc_assert (!t->kill_list[x]);
227 #endif
229 BITMAP_FREE (t->partition_in_use);
231 for (i = 0; i <= num_ssa_names; i++)
232 if (t->expr_decl_uids[i])
233 BITMAP_FREE (t->expr_decl_uids[i]);
234 free (t->expr_decl_uids);
236 free (t->kill_list);
237 free (t->partition_dependencies);
239 if (t->replaceable_expressions)
240 ret = t->replaceable_expressions;
242 free (t);
243 return ret;
247 /* Return TRUE if VERSION is to be replaced by an expression in TAB. */
249 static inline bool
250 version_to_be_replaced_p (temp_expr_table_p tab, int version)
252 if (!tab->replaceable_expressions)
253 return false;
254 return tab->replaceable_expressions[version] != NULL_TREE;
258 /* Add partition P to the list if partitions VERSION is dependent on. TAB is
259 the expression table */
261 static inline void
262 make_dependent_on_partition (temp_expr_table_p tab, int version, int p)
264 if (!tab->partition_dependencies[version])
265 tab->partition_dependencies[version] = BITMAP_ALLOC (NULL);
267 bitmap_set_bit (tab->partition_dependencies[version], p);
271 /* Add VER to the kill list for P. TAB is the expression table */
273 static inline void
274 add_to_partition_kill_list (temp_expr_table_p tab, int p, int ver)
276 if (!tab->kill_list[p])
278 tab->kill_list[p] = BITMAP_ALLOC (NULL);
279 bitmap_set_bit (tab->partition_in_use, p);
281 bitmap_set_bit (tab->kill_list[p], ver);
285 /* Remove VER from the partition kill list for P. TAB is the expression
286 table. */
288 static inline void
289 remove_from_partition_kill_list (temp_expr_table_p tab, int p, int version)
291 #ifdef ENABLE_CHECKING
292 gcc_assert (tab->kill_list[p]);
293 #endif
294 bitmap_clear_bit (tab->kill_list[p], version);
295 if (bitmap_empty_p (tab->kill_list[p]))
297 bitmap_clear_bit (tab->partition_in_use, p);
298 BITMAP_FREE (tab->kill_list[p]);
303 /* Add a dependency between the def of ssa VERSION and VAR. If VAR is
304 replaceable by an expression, add a dependence each of the elements of the
305 expression. These are contained in the new_replaceable list. TAB is the
306 expression table. */
308 static void
309 add_dependence (temp_expr_table_p tab, int version, tree var)
311 int i;
312 bitmap_iterator bi;
313 unsigned x;
315 i = SSA_NAME_VERSION (var);
316 if (version_to_be_replaced_p (tab, i))
318 if (!bitmap_empty_p (tab->new_replaceable_dependencies))
320 /* Version will now be killed by a write to any partition the
321 substituted expression would have been killed by. */
322 EXECUTE_IF_SET_IN_BITMAP (tab->new_replaceable_dependencies, 0, x, bi)
323 add_to_partition_kill_list (tab, x, version);
325 /* Rather than set partition_dependencies and in_use lists bit by
326 bit, simply OR in the new_replaceable_dependencies bits. */
327 if (!tab->partition_dependencies[version])
328 tab->partition_dependencies[version] = BITMAP_ALLOC (NULL);
329 bitmap_ior_into (tab->partition_dependencies[version],
330 tab->new_replaceable_dependencies);
331 bitmap_ior_into (tab->partition_in_use,
332 tab->new_replaceable_dependencies);
333 /* It is only necessary to add these once. */
334 bitmap_clear (tab->new_replaceable_dependencies);
337 else
339 i = var_to_partition (tab->map, var);
340 #ifdef ENABLE_CHECKING
341 gcc_assert (i != NO_PARTITION);
342 gcc_assert (tab->num_in_part[i] != 0);
343 #endif
344 /* Only dependencies on ssa_names which are coalesced with something need
345 to be tracked. Partitions with containing only a single SSA_NAME
346 *cannot* have their value changed. */
347 if (tab->num_in_part[i] > 1)
349 add_to_partition_kill_list (tab, i, version);
350 make_dependent_on_partition (tab, version, i);
356 /* Return TRUE if expression STMT is suitable for replacement. */
358 static inline bool
359 is_replaceable_p (tree stmt)
361 tree call_expr;
362 use_operand_p use_p;
363 tree def, use_stmt;
365 /* Only consider modify stmts. */
366 if (TREE_CODE (stmt) != GIMPLE_MODIFY_STMT)
367 return false;
369 /* Punt if there is more than 1 def. */
370 def = SINGLE_SSA_TREE_OPERAND (stmt, SSA_OP_DEF);
371 if (!def)
372 return false;
374 /* Only consider definitions which have a single use. */
375 if (!single_imm_use (def, &use_p, &use_stmt))
376 return false;
378 /* If the use isn't in this block, it wont be replaced either. */
379 if (bb_for_stmt (use_stmt) != bb_for_stmt (stmt))
380 return false;
382 /* Used in this block, but at the TOP of the block, not the end. */
383 if (TREE_CODE (use_stmt) == PHI_NODE)
384 return false;
386 /* There must be no VDEFs. */
387 if (!(ZERO_SSA_OPERANDS (stmt, SSA_OP_VDEF)))
388 return false;
390 /* Float expressions must go through memory if float-store is on. */
391 if (flag_float_store
392 && FLOAT_TYPE_P (TREE_TYPE (GENERIC_TREE_OPERAND (stmt, 1))))
393 return false;
395 /* An assignment with a register variable on the RHS is not
396 replaceable. */
397 if (TREE_CODE (GENERIC_TREE_OPERAND (stmt, 1)) == VAR_DECL
398 && DECL_HARD_REGISTER (GENERIC_TREE_OPERAND (stmt, 1)))
399 return false;
401 /* Calls to functions with side-effects cannot be replaced. */
402 if ((call_expr = get_call_expr_in (stmt)) != NULL_TREE)
404 int call_flags = call_expr_flags (call_expr);
405 if (TREE_SIDE_EFFECTS (call_expr)
406 && !(call_flags & (ECF_PURE | ECF_CONST | ECF_NORETURN)))
407 return false;
410 /* Leave any stmt with volatile operands alone as well. */
411 if (stmt_ann (stmt)->has_volatile_ops)
412 return false;
415 return true;
419 /* This function will remove the expression for VERSION from replacement
420 consideration in table TAB. If FREE_EXPR is true, then remove the
421 expression from consideration as well by freeing the decl uid bitmap. */
423 static void
424 finished_with_expr (temp_expr_table_p tab, int version, bool free_expr)
426 unsigned i;
427 bitmap_iterator bi;
429 /* Remove this expression from its dependent lists. The partition dependence
430 list is retained and transfered later to whomever uses this version. */
431 if (tab->partition_dependencies[version])
433 EXECUTE_IF_SET_IN_BITMAP (tab->partition_dependencies[version], 0, i, bi)
434 remove_from_partition_kill_list (tab, i, version);
435 BITMAP_FREE (tab->partition_dependencies[version]);
437 if (free_expr)
438 BITMAP_FREE (tab->expr_decl_uids[version]);
442 /* Create an expression entry fora replaceable expression. */
444 static void
445 process_replaceable (temp_expr_table_p tab, tree stmt)
447 tree var, def, basevar;
448 int version;
449 ssa_op_iter iter;
450 bitmap def_vars, use_vars;
452 #ifdef ENABLE_CHECKING
453 gcc_assert (is_replaceable_p (stmt));
454 #endif
456 def = SINGLE_SSA_TREE_OPERAND (stmt, SSA_OP_DEF);
457 version = SSA_NAME_VERSION (def);
458 basevar = SSA_NAME_VAR (def);
459 def_vars = BITMAP_ALLOC (NULL);
461 bitmap_set_bit (def_vars, DECL_UID (basevar));
463 /* Add this expression to the dependency list for each use partition. */
464 FOR_EACH_SSA_TREE_OPERAND (var, stmt, iter, SSA_OP_USE)
466 int var_version = SSA_NAME_VERSION (var);
468 use_vars = tab->expr_decl_uids[var_version];
469 add_dependence (tab, version, var);
470 if (use_vars)
472 bitmap_ior_into (def_vars, use_vars);
473 BITMAP_FREE (tab->expr_decl_uids[var_version]);
475 else
476 bitmap_set_bit (def_vars, DECL_UID (SSA_NAME_VAR (var)));
478 tab->expr_decl_uids[version] = def_vars;
480 /* If there are VUSES, add a dependence on virtual defs. */
481 if (!ZERO_SSA_OPERANDS (stmt, SSA_OP_VUSE))
483 make_dependent_on_partition (tab, version, VIRTUAL_PARTITION (tab));
484 add_to_partition_kill_list (tab, VIRTUAL_PARTITION (tab), version);
489 /* This function removes any expression in TAB which is dependent on PARTITION
490 from consideration, making it not replaceable. */
492 static inline void
493 kill_expr (temp_expr_table_p tab, int partition)
495 unsigned version;
497 /* Mark every active expr dependent on this var as not replaceable.
498 finished_with_expr can modify the bitmap, so we can't execute over it. */
499 while (tab->kill_list[partition])
501 version = bitmap_first_set_bit (tab->kill_list[partition]);
502 finished_with_expr (tab, version, true);
505 #ifdef ENABLE_CHECKING
506 gcc_assert (!tab->kill_list[partition]);
507 #endif
511 /* This function kills all expressions in TAB which are dependent on virtual
512 partitions. */
514 static inline void
515 kill_virtual_exprs (temp_expr_table_p tab)
517 kill_expr (tab, VIRTUAL_PARTITION (tab));
521 /* Mark the expression associated with VAR as replaceable, and enter
522 the defining stmt into the partition_dependencies table TAB. if
523 MORE_REPLACING is true, accumulate the pending partition dependencies. */
525 static void
526 mark_replaceable (temp_expr_table_p tab, tree var, bool more_replacing)
528 int version = SSA_NAME_VERSION (var);
530 /* Move the dependence list to the pending listpending. */
531 if (more_replacing && tab->partition_dependencies[version])
532 bitmap_ior_into (tab->new_replaceable_dependencies,
533 tab->partition_dependencies[version]);
535 finished_with_expr (tab, version, !more_replacing);
537 /* Set the replaceable expression. */
538 if (!tab->replaceable_expressions)
539 tab->replaceable_expressions = XCNEWVEC (tree, num_ssa_names + 1);
540 tab->replaceable_expressions[version] = SSA_NAME_DEF_STMT (var);
544 /* This function processes basic block BB, and looks for variables which can
545 be replaced by their expressions. Results are stored in the table TAB. */
547 static void
548 find_replaceable_in_bb (temp_expr_table_p tab, basic_block bb)
550 block_stmt_iterator bsi;
551 tree stmt, def, use;
552 stmt_ann_t ann;
553 int partition;
554 var_map map = tab->map;
555 ssa_op_iter iter;
556 bool stmt_replaceable;
558 for (bsi = bsi_start (bb); !bsi_end_p (bsi); bsi_next (&bsi))
560 stmt = bsi_stmt (bsi);
561 ann = stmt_ann (stmt);
563 stmt_replaceable = is_replaceable_p (stmt);
564 /* Determine if this stmt finishes an existing expression. */
565 FOR_EACH_SSA_TREE_OPERAND (use, stmt, iter, SSA_OP_USE)
567 unsigned ver = SSA_NAME_VERSION (use);
569 /* If this use is a potential replacement variable, process it. */
570 if (tab->expr_decl_uids[ver])
572 bool same_root_var = false;
573 ssa_op_iter iter2;
574 bitmap vars = tab->expr_decl_uids[ver];
576 /* See if the root variables are the same. If they are, we
577 do not want to do the replacement to avoid problems with
578 code size, see PR tree-optimization/17549. */
579 if (!bitmap_empty_p (vars))
580 FOR_EACH_SSA_TREE_OPERAND (def, stmt, iter2, SSA_OP_DEF)
582 if (bitmap_bit_p (vars, DECL_UID (SSA_NAME_VAR (def))))
584 same_root_var = true;
585 break;
589 /* Mark expression as replaceable unless stmt is volatile or the
590 def variable has the same root variable as something in the
591 substitution list. */
592 if (ann->has_volatile_ops || same_root_var)
593 finished_with_expr (tab, ver, true);
594 else
595 mark_replaceable (tab, use, stmt_replaceable);
599 /* Next, see if this stmt kills off an active expression. */
600 FOR_EACH_SSA_TREE_OPERAND (def, stmt, iter, SSA_OP_DEF)
602 partition = var_to_partition (map, def);
603 if (partition != NO_PARTITION && tab->kill_list[partition])
604 kill_expr (tab, partition);
607 /* Now see if we are creating a new expression or not. */
608 if (stmt_replaceable)
609 process_replaceable (tab, stmt);
611 /* Free any unused dependency lists. */
612 bitmap_clear (tab->new_replaceable_dependencies);
614 /* A V_{MAY,MUST}_DEF kills any expression using a virtual operand,
615 including the current stmt. */
616 if (!ZERO_SSA_OPERANDS (stmt, SSA_OP_VIRTUAL_DEFS))
617 kill_virtual_exprs (tab);
622 /* This function is the driver routine for replacement of temporary expressions
623 in the SSA->normal phase, operating on MAP. If there are replaceable
624 expressions, a table is returned which maps SSA versions to the
625 expressions they should be replaced with. A NULL_TREE indicates no
626 replacement should take place. If there are no replacements at all,
627 NULL is returned by the function, otherwise an expression vector indexed
628 by SSA_NAME version numbers. */
630 extern tree *
631 find_replaceable_exprs (var_map map)
633 basic_block bb;
634 temp_expr_table_p table;
635 tree *ret;
637 table = new_temp_expr_table (map);
638 FOR_EACH_BB (bb)
640 find_replaceable_in_bb (table, bb);
641 gcc_assert (bitmap_empty_p (table->partition_in_use));
643 #ifdef ENABLE_CHECKING
645 unsigned i;
646 /* Make sure all the tables have been cleared out. */
647 for (i = 0; i < num_ssa_names + 1; i++)
649 gcc_assert (table->partition_dependencies[i] == NULL);
650 gcc_assert (table->expr_decl_uids[i] == NULL);
651 if (i < num_var_partitions (map))
652 gcc_assert (table->kill_list[i] == NULL);
655 #endif
658 ret = free_temp_expr_table (table);
659 return ret;
663 /* Dump TER expression table EXPR to file F. */
665 extern void
666 dump_replaceable_exprs (FILE *f, tree *expr)
668 tree stmt, var;
669 int x;
671 fprintf (f, "\nReplacing Expressions\n");
672 for (x = 0; x < (int)num_ssa_names; x++)
673 if (expr[x])
675 stmt = expr[x];
676 var = SINGLE_SSA_TREE_OPERAND (stmt, SSA_OP_DEF);
677 gcc_assert (var != NULL_TREE);
678 print_generic_expr (f, var, TDF_SLIM);
679 fprintf (f, " replace with --> ");
680 print_generic_expr (f, GENERIC_TREE_OPERAND (stmt, 1),
681 TDF_SLIM);
682 fprintf (f, "\n");
684 fprintf (f, "\n");
688 #ifdef ENABLE_CHECKING
689 /* Dump the status of the various tables in the expression table. This is used
690 exclusively to debug TER. F is the place to send debug info and T is the
691 table being debugged. */
693 extern void
694 debug_ter (FILE *f, temp_expr_table_p t)
696 unsigned x, y;
697 bitmap_iterator bi;
699 fprintf (f, "\nDumping current state of TER\n virtual partition = %d\n",
700 VIRTUAL_PARTITION (t));
701 if (t->replaceable_expressions)
702 dump_replaceable_exprs (f, t->replaceable_expressions);
703 fprintf (f, "Currently tracking the following expressions:\n");
705 for (x = 1; x < num_ssa_names; x++)
706 if (t->expr_decl_uids[x])
708 print_generic_expr (stderr, ssa_name (x), TDF_SLIM);
709 fprintf (f, " dep-parts : ");
710 if (t->partition_dependencies[x]
711 && !bitmap_empty_p (t->partition_dependencies[x]))
713 EXECUTE_IF_SET_IN_BITMAP (t->partition_dependencies[x], 0, y, bi)
714 fprintf (f, "P%d ",y);
716 fprintf (stderr, " basedecls: ");
717 EXECUTE_IF_SET_IN_BITMAP (t->expr_decl_uids[x], 0, y, bi)
718 fprintf (f, "%d ",y);
719 fprintf (stderr, "\n");
722 bitmap_print (f, t->partition_in_use, "Partitions in use ",
723 "\npartition KILL lists:\n");
725 for (x = 0; x <= num_var_partitions (t->map); x++)
726 if (t->kill_list[x])
728 fprintf (f, "Partition %d : ", x);
729 EXECUTE_IF_SET_IN_BITMAP (t->kill_list[x], 0, y, bi)
730 fprintf (f, "_%d ",y);
733 fprintf (f, "\n----------\n");
735 #endif