678bbb9c4e3228fab26a910b2a49422311b261aa
[gcc.git] / gcc / tree-dfa.c
1 /* Data flow functions for trees.
2 Copyright (C) 2001-2013 Free Software Foundation, Inc.
3 Contributed by Diego Novillo <dnovillo@redhat.com>
4
5 This file is part of GCC.
6
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.
11
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.
16
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/>. */
20
21 #include "config.h"
22 #include "system.h"
23 #include "coretypes.h"
24 #include "tm.h"
25 #include "hashtab.h"
26 #include "pointer-set.h"
27 #include "tree.h"
28 #include "tm_p.h"
29 #include "basic-block.h"
30 #include "ggc.h"
31 #include "langhooks.h"
32 #include "flags.h"
33 #include "function.h"
34 #include "tree-pretty-print.h"
35 #include "gimple.h"
36 #include "gimple-iterator.h"
37 #include "gimple-walk.h"
38 #include "gimple-ssa.h"
39 #include "tree-phinodes.h"
40 #include "ssa-iterators.h"
41 #include "tree-ssanames.h"
42 #include "tree-dfa.h"
43 #include "tree-inline.h"
44 #include "tree-pass.h"
45 #include "convert.h"
46 #include "params.h"
47
48 /* Build and maintain data flow information for trees. */
49
50 /* Counters used to display DFA and SSA statistics. */
51 struct dfa_stats_d
52 {
53 long num_defs;
54 long num_uses;
55 long num_phis;
56 long num_phi_args;
57 size_t max_num_phi_args;
58 long num_vdefs;
59 long num_vuses;
60 };
61
62
63 /* Local functions. */
64 static void collect_dfa_stats (struct dfa_stats_d *);
65
66
67 /*---------------------------------------------------------------------------
68 Dataflow analysis (DFA) routines
69 ---------------------------------------------------------------------------*/
70
71 /* Renumber all of the gimple stmt uids. */
72
73 void
74 renumber_gimple_stmt_uids (void)
75 {
76 basic_block bb;
77
78 set_gimple_stmt_max_uid (cfun, 0);
79 FOR_ALL_BB (bb)
80 {
81 gimple_stmt_iterator bsi;
82 for (bsi = gsi_start_phis (bb); !gsi_end_p (bsi); gsi_next (&bsi))
83 {
84 gimple stmt = gsi_stmt (bsi);
85 gimple_set_uid (stmt, inc_gimple_stmt_max_uid (cfun));
86 }
87 for (bsi = gsi_start_bb (bb); !gsi_end_p (bsi); gsi_next (&bsi))
88 {
89 gimple stmt = gsi_stmt (bsi);
90 gimple_set_uid (stmt, inc_gimple_stmt_max_uid (cfun));
91 }
92 }
93 }
94
95 /* Like renumber_gimple_stmt_uids, but only do work on the basic blocks
96 in BLOCKS, of which there are N_BLOCKS. Also renumbers PHIs. */
97
98 void
99 renumber_gimple_stmt_uids_in_blocks (basic_block *blocks, int n_blocks)
100 {
101 int i;
102
103 set_gimple_stmt_max_uid (cfun, 0);
104 for (i = 0; i < n_blocks; i++)
105 {
106 basic_block bb = blocks[i];
107 gimple_stmt_iterator bsi;
108 for (bsi = gsi_start_phis (bb); !gsi_end_p (bsi); gsi_next (&bsi))
109 {
110 gimple stmt = gsi_stmt (bsi);
111 gimple_set_uid (stmt, inc_gimple_stmt_max_uid (cfun));
112 }
113 for (bsi = gsi_start_bb (bb); !gsi_end_p (bsi); gsi_next (&bsi))
114 {
115 gimple stmt = gsi_stmt (bsi);
116 gimple_set_uid (stmt, inc_gimple_stmt_max_uid (cfun));
117 }
118 }
119 }
120
121
122
123 /*---------------------------------------------------------------------------
124 Debugging functions
125 ---------------------------------------------------------------------------*/
126
127 /* Dump variable VAR and its may-aliases to FILE. */
128
129 void
130 dump_variable (FILE *file, tree var)
131 {
132 if (TREE_CODE (var) == SSA_NAME)
133 {
134 if (POINTER_TYPE_P (TREE_TYPE (var)))
135 dump_points_to_info_for (file, var);
136 var = SSA_NAME_VAR (var);
137 }
138
139 if (var == NULL_TREE)
140 {
141 fprintf (file, "<nil>");
142 return;
143 }
144
145 print_generic_expr (file, var, dump_flags);
146
147 fprintf (file, ", UID D.%u", (unsigned) DECL_UID (var));
148 if (DECL_PT_UID (var) != DECL_UID (var))
149 fprintf (file, ", PT-UID D.%u", (unsigned) DECL_PT_UID (var));
150
151 fprintf (file, ", ");
152 print_generic_expr (file, TREE_TYPE (var), dump_flags);
153
154 if (TREE_ADDRESSABLE (var))
155 fprintf (file, ", is addressable");
156
157 if (is_global_var (var))
158 fprintf (file, ", is global");
159
160 if (TREE_THIS_VOLATILE (var))
161 fprintf (file, ", is volatile");
162
163 if (cfun && ssa_default_def (cfun, var))
164 {
165 fprintf (file, ", default def: ");
166 print_generic_expr (file, ssa_default_def (cfun, var), dump_flags);
167 }
168
169 if (DECL_INITIAL (var))
170 {
171 fprintf (file, ", initial: ");
172 print_generic_expr (file, DECL_INITIAL (var), dump_flags);
173 }
174
175 fprintf (file, "\n");
176 }
177
178
179 /* Dump variable VAR and its may-aliases to stderr. */
180
181 DEBUG_FUNCTION void
182 debug_variable (tree var)
183 {
184 dump_variable (stderr, var);
185 }
186
187
188 /* Dump various DFA statistics to FILE. */
189
190 void
191 dump_dfa_stats (FILE *file)
192 {
193 struct dfa_stats_d dfa_stats;
194
195 unsigned long size, total = 0;
196 const char * const fmt_str = "%-30s%-13s%12s\n";
197 const char * const fmt_str_1 = "%-30s%13lu%11lu%c\n";
198 const char * const fmt_str_3 = "%-43s%11lu%c\n";
199 const char *funcname
200 = lang_hooks.decl_printable_name (current_function_decl, 2);
201
202 collect_dfa_stats (&dfa_stats);
203
204 fprintf (file, "\nDFA Statistics for %s\n\n", funcname);
205
206 fprintf (file, "---------------------------------------------------------\n");
207 fprintf (file, fmt_str, "", " Number of ", "Memory");
208 fprintf (file, fmt_str, "", " instances ", "used ");
209 fprintf (file, "---------------------------------------------------------\n");
210
211 size = dfa_stats.num_uses * sizeof (tree *);
212 total += size;
213 fprintf (file, fmt_str_1, "USE operands", dfa_stats.num_uses,
214 SCALE (size), LABEL (size));
215
216 size = dfa_stats.num_defs * sizeof (tree *);
217 total += size;
218 fprintf (file, fmt_str_1, "DEF operands", dfa_stats.num_defs,
219 SCALE (size), LABEL (size));
220
221 size = dfa_stats.num_vuses * sizeof (tree *);
222 total += size;
223 fprintf (file, fmt_str_1, "VUSE operands", dfa_stats.num_vuses,
224 SCALE (size), LABEL (size));
225
226 size = dfa_stats.num_vdefs * sizeof (tree *);
227 total += size;
228 fprintf (file, fmt_str_1, "VDEF operands", dfa_stats.num_vdefs,
229 SCALE (size), LABEL (size));
230
231 size = dfa_stats.num_phis * sizeof (struct gimple_statement_phi);
232 total += size;
233 fprintf (file, fmt_str_1, "PHI nodes", dfa_stats.num_phis,
234 SCALE (size), LABEL (size));
235
236 size = dfa_stats.num_phi_args * sizeof (struct phi_arg_d);
237 total += size;
238 fprintf (file, fmt_str_1, "PHI arguments", dfa_stats.num_phi_args,
239 SCALE (size), LABEL (size));
240
241 fprintf (file, "---------------------------------------------------------\n");
242 fprintf (file, fmt_str_3, "Total memory used by DFA/SSA data", SCALE (total),
243 LABEL (total));
244 fprintf (file, "---------------------------------------------------------\n");
245 fprintf (file, "\n");
246
247 if (dfa_stats.num_phis)
248 fprintf (file, "Average number of arguments per PHI node: %.1f (max: %ld)\n",
249 (float) dfa_stats.num_phi_args / (float) dfa_stats.num_phis,
250 (long) dfa_stats.max_num_phi_args);
251
252 fprintf (file, "\n");
253 }
254
255
256 /* Dump DFA statistics on stderr. */
257
258 DEBUG_FUNCTION void
259 debug_dfa_stats (void)
260 {
261 dump_dfa_stats (stderr);
262 }
263
264
265 /* Collect DFA statistics and store them in the structure pointed to by
266 DFA_STATS_P. */
267
268 static void
269 collect_dfa_stats (struct dfa_stats_d *dfa_stats_p ATTRIBUTE_UNUSED)
270 {
271 basic_block bb;
272
273 gcc_assert (dfa_stats_p);
274
275 memset ((void *)dfa_stats_p, 0, sizeof (struct dfa_stats_d));
276
277 /* Walk all the statements in the function counting references. */
278 FOR_EACH_BB (bb)
279 {
280 gimple_stmt_iterator si;
281
282 for (si = gsi_start_phis (bb); !gsi_end_p (si); gsi_next (&si))
283 {
284 gimple phi = gsi_stmt (si);
285 dfa_stats_p->num_phis++;
286 dfa_stats_p->num_phi_args += gimple_phi_num_args (phi);
287 if (gimple_phi_num_args (phi) > dfa_stats_p->max_num_phi_args)
288 dfa_stats_p->max_num_phi_args = gimple_phi_num_args (phi);
289 }
290
291 for (si = gsi_start_bb (bb); !gsi_end_p (si); gsi_next (&si))
292 {
293 gimple stmt = gsi_stmt (si);
294 dfa_stats_p->num_defs += NUM_SSA_OPERANDS (stmt, SSA_OP_DEF);
295 dfa_stats_p->num_uses += NUM_SSA_OPERANDS (stmt, SSA_OP_USE);
296 dfa_stats_p->num_vdefs += gimple_vdef (stmt) ? 1 : 0;
297 dfa_stats_p->num_vuses += gimple_vuse (stmt) ? 1 : 0;
298 }
299 }
300 }
301
302
303 /*---------------------------------------------------------------------------
304 Miscellaneous helpers
305 ---------------------------------------------------------------------------*/
306
307 /* Lookup VAR UID in the default_defs hashtable and return the associated
308 variable. */
309
310 tree
311 ssa_default_def (struct function *fn, tree var)
312 {
313 struct tree_decl_minimal ind;
314 struct tree_ssa_name in;
315 gcc_assert (TREE_CODE (var) == VAR_DECL
316 || TREE_CODE (var) == PARM_DECL
317 || TREE_CODE (var) == RESULT_DECL);
318 in.var = (tree)&ind;
319 ind.uid = DECL_UID (var);
320 return (tree) htab_find_with_hash (DEFAULT_DEFS (fn), &in, DECL_UID (var));
321 }
322
323 /* Insert the pair VAR's UID, DEF into the default_defs hashtable
324 of function FN. */
325
326 void
327 set_ssa_default_def (struct function *fn, tree var, tree def)
328 {
329 struct tree_decl_minimal ind;
330 struct tree_ssa_name in;
331 void **loc;
332
333 gcc_assert (TREE_CODE (var) == VAR_DECL
334 || TREE_CODE (var) == PARM_DECL
335 || TREE_CODE (var) == RESULT_DECL);
336 in.var = (tree)&ind;
337 ind.uid = DECL_UID (var);
338 if (!def)
339 {
340 loc = htab_find_slot_with_hash (DEFAULT_DEFS (fn), &in,
341 DECL_UID (var), NO_INSERT);
342 if (*loc)
343 {
344 SSA_NAME_IS_DEFAULT_DEF (*(tree *)loc) = false;
345 htab_clear_slot (DEFAULT_DEFS (fn), loc);
346 }
347 return;
348 }
349 gcc_assert (TREE_CODE (def) == SSA_NAME && SSA_NAME_VAR (def) == var);
350 loc = htab_find_slot_with_hash (DEFAULT_DEFS (fn), &in,
351 DECL_UID (var), INSERT);
352
353 /* Default definition might be changed by tail call optimization. */
354 if (*loc)
355 SSA_NAME_IS_DEFAULT_DEF (*(tree *) loc) = false;
356
357 /* Mark DEF as the default definition for VAR. */
358 *(tree *) loc = def;
359 SSA_NAME_IS_DEFAULT_DEF (def) = true;
360 }
361
362 /* Retrieve or create a default definition for VAR. */
363
364 tree
365 get_or_create_ssa_default_def (struct function *fn, tree var)
366 {
367 tree ddef = ssa_default_def (fn, var);
368 if (ddef == NULL_TREE)
369 {
370 ddef = make_ssa_name_fn (fn, var, gimple_build_nop ());
371 set_ssa_default_def (fn, var, ddef);
372 }
373 return ddef;
374 }
375
376
377 /* If EXP is a handled component reference for a structure, return the
378 base variable. The access range is delimited by bit positions *POFFSET and
379 *POFFSET + *PMAX_SIZE. The access size is *PSIZE bits. If either
380 *PSIZE or *PMAX_SIZE is -1, they could not be determined. If *PSIZE
381 and *PMAX_SIZE are equal, the access is non-variable. */
382
383 tree
384 get_ref_base_and_extent (tree exp, HOST_WIDE_INT *poffset,
385 HOST_WIDE_INT *psize,
386 HOST_WIDE_INT *pmax_size)
387 {
388 HOST_WIDE_INT bitsize = -1;
389 HOST_WIDE_INT maxsize = -1;
390 tree size_tree = NULL_TREE;
391 double_int bit_offset = double_int_zero;
392 HOST_WIDE_INT hbit_offset;
393 bool seen_variable_array_ref = false;
394
395 /* First get the final access size from just the outermost expression. */
396 if (TREE_CODE (exp) == COMPONENT_REF)
397 size_tree = DECL_SIZE (TREE_OPERAND (exp, 1));
398 else if (TREE_CODE (exp) == BIT_FIELD_REF)
399 size_tree = TREE_OPERAND (exp, 1);
400 else if (!VOID_TYPE_P (TREE_TYPE (exp)))
401 {
402 enum machine_mode mode = TYPE_MODE (TREE_TYPE (exp));
403 if (mode == BLKmode)
404 size_tree = TYPE_SIZE (TREE_TYPE (exp));
405 else
406 bitsize = GET_MODE_BITSIZE (mode);
407 }
408 if (size_tree != NULL_TREE)
409 {
410 if (! tree_fits_uhwi_p (size_tree))
411 bitsize = -1;
412 else
413 bitsize = TREE_INT_CST_LOW (size_tree);
414 }
415
416 /* Initially, maxsize is the same as the accessed element size.
417 In the following it will only grow (or become -1). */
418 maxsize = bitsize;
419
420 /* Compute cumulative bit-offset for nested component-refs and array-refs,
421 and find the ultimate containing object. */
422 while (1)
423 {
424 switch (TREE_CODE (exp))
425 {
426 case BIT_FIELD_REF:
427 bit_offset += tree_to_double_int (TREE_OPERAND (exp, 2));
428 break;
429
430 case COMPONENT_REF:
431 {
432 tree field = TREE_OPERAND (exp, 1);
433 tree this_offset = component_ref_field_offset (exp);
434
435 if (this_offset && TREE_CODE (this_offset) == INTEGER_CST)
436 {
437 double_int doffset = tree_to_double_int (this_offset);
438 doffset = doffset.lshift (BITS_PER_UNIT == 8
439 ? 3 : exact_log2 (BITS_PER_UNIT));
440 doffset += tree_to_double_int (DECL_FIELD_BIT_OFFSET (field));
441 bit_offset = bit_offset + doffset;
442
443 /* If we had seen a variable array ref already and we just
444 referenced the last field of a struct or a union member
445 then we have to adjust maxsize by the padding at the end
446 of our field. */
447 if (seen_variable_array_ref && maxsize != -1)
448 {
449 tree stype = TREE_TYPE (TREE_OPERAND (exp, 0));
450 tree next = DECL_CHAIN (field);
451 while (next && TREE_CODE (next) != FIELD_DECL)
452 next = DECL_CHAIN (next);
453 if (!next
454 || TREE_CODE (stype) != RECORD_TYPE)
455 {
456 tree fsize = DECL_SIZE_UNIT (field);
457 tree ssize = TYPE_SIZE_UNIT (stype);
458 if (tree_fits_shwi_p (fsize)
459 && tree_fits_shwi_p (ssize)
460 && doffset.fits_shwi ())
461 maxsize += ((TREE_INT_CST_LOW (ssize)
462 - TREE_INT_CST_LOW (fsize))
463 * BITS_PER_UNIT
464 - doffset.to_shwi ());
465 else
466 maxsize = -1;
467 }
468 }
469 }
470 else
471 {
472 tree csize = TYPE_SIZE (TREE_TYPE (TREE_OPERAND (exp, 0)));
473 /* We need to adjust maxsize to the whole structure bitsize.
474 But we can subtract any constant offset seen so far,
475 because that would get us out of the structure otherwise. */
476 if (maxsize != -1
477 && csize
478 && tree_fits_uhwi_p (csize)
479 && bit_offset.fits_shwi ())
480 maxsize = TREE_INT_CST_LOW (csize)
481 - bit_offset.to_shwi ();
482 else
483 maxsize = -1;
484 }
485 }
486 break;
487
488 case ARRAY_REF:
489 case ARRAY_RANGE_REF:
490 {
491 tree index = TREE_OPERAND (exp, 1);
492 tree low_bound, unit_size;
493
494 /* If the resulting bit-offset is constant, track it. */
495 if (TREE_CODE (index) == INTEGER_CST
496 && (low_bound = array_ref_low_bound (exp),
497 TREE_CODE (low_bound) == INTEGER_CST)
498 && (unit_size = array_ref_element_size (exp),
499 TREE_CODE (unit_size) == INTEGER_CST))
500 {
501 double_int doffset
502 = (TREE_INT_CST (index) - TREE_INT_CST (low_bound))
503 .sext (TYPE_PRECISION (TREE_TYPE (index)));
504 doffset *= tree_to_double_int (unit_size);
505 doffset = doffset.lshift (BITS_PER_UNIT == 8
506 ? 3 : exact_log2 (BITS_PER_UNIT));
507 bit_offset = bit_offset + doffset;
508
509 /* An array ref with a constant index up in the structure
510 hierarchy will constrain the size of any variable array ref
511 lower in the access hierarchy. */
512 seen_variable_array_ref = false;
513 }
514 else
515 {
516 tree asize = TYPE_SIZE (TREE_TYPE (TREE_OPERAND (exp, 0)));
517 /* We need to adjust maxsize to the whole array bitsize.
518 But we can subtract any constant offset seen so far,
519 because that would get us outside of the array otherwise. */
520 if (maxsize != -1
521 && asize
522 && tree_fits_uhwi_p (asize)
523 && bit_offset.fits_shwi ())
524 maxsize = TREE_INT_CST_LOW (asize)
525 - bit_offset.to_shwi ();
526 else
527 maxsize = -1;
528
529 /* Remember that we have seen an array ref with a variable
530 index. */
531 seen_variable_array_ref = true;
532 }
533 }
534 break;
535
536 case REALPART_EXPR:
537 break;
538
539 case IMAGPART_EXPR:
540 bit_offset += double_int::from_uhwi (bitsize);
541 break;
542
543 case VIEW_CONVERT_EXPR:
544 break;
545
546 case TARGET_MEM_REF:
547 /* Via the variable index or index2 we can reach the
548 whole object. Still hand back the decl here. */
549 if (TREE_CODE (TMR_BASE (exp)) == ADDR_EXPR
550 && (TMR_INDEX (exp) || TMR_INDEX2 (exp)))
551 {
552 exp = TREE_OPERAND (TMR_BASE (exp), 0);
553 bit_offset = double_int_zero;
554 maxsize = -1;
555 goto done;
556 }
557 /* Fallthru. */
558 case MEM_REF:
559 /* We need to deal with variable arrays ending structures such as
560 struct { int length; int a[1]; } x; x.a[d]
561 struct { struct { int a; int b; } a[1]; } x; x.a[d].a
562 struct { struct { int a[1]; } a[1]; } x; x.a[0][d], x.a[d][0]
563 struct { int len; union { int a[1]; struct X x; } u; } x; x.u.a[d]
564 where we do not know maxsize for variable index accesses to
565 the array. The simplest way to conservatively deal with this
566 is to punt in the case that offset + maxsize reaches the
567 base type boundary. This needs to include possible trailing
568 padding that is there for alignment purposes. */
569 if (seen_variable_array_ref
570 && maxsize != -1
571 && (!bit_offset.fits_shwi ()
572 || !tree_fits_uhwi_p (TYPE_SIZE (TREE_TYPE (exp)))
573 || (bit_offset.to_shwi () + maxsize
574 == (HOST_WIDE_INT) TREE_INT_CST_LOW
575 (TYPE_SIZE (TREE_TYPE (exp))))))
576 maxsize = -1;
577
578 /* Hand back the decl for MEM[&decl, off]. */
579 if (TREE_CODE (TREE_OPERAND (exp, 0)) == ADDR_EXPR)
580 {
581 if (integer_zerop (TREE_OPERAND (exp, 1)))
582 exp = TREE_OPERAND (TREE_OPERAND (exp, 0), 0);
583 else
584 {
585 double_int off = mem_ref_offset (exp);
586 off = off.lshift (BITS_PER_UNIT == 8
587 ? 3 : exact_log2 (BITS_PER_UNIT));
588 off += bit_offset;
589 if (off.fits_shwi ())
590 {
591 bit_offset = off;
592 exp = TREE_OPERAND (TREE_OPERAND (exp, 0), 0);
593 }
594 }
595 }
596 goto done;
597
598 default:
599 goto done;
600 }
601
602 exp = TREE_OPERAND (exp, 0);
603 }
604
605 /* We need to deal with variable arrays ending structures. */
606 if (seen_variable_array_ref
607 && maxsize != -1
608 && (!bit_offset.fits_shwi ()
609 || !tree_fits_uhwi_p (TYPE_SIZE (TREE_TYPE (exp)))
610 || (bit_offset.to_shwi () + maxsize
611 == (HOST_WIDE_INT) TREE_INT_CST_LOW
612 (TYPE_SIZE (TREE_TYPE (exp))))))
613 maxsize = -1;
614
615 done:
616 if (!bit_offset.fits_shwi ())
617 {
618 *poffset = 0;
619 *psize = bitsize;
620 *pmax_size = -1;
621
622 return exp;
623 }
624
625 hbit_offset = bit_offset.to_shwi ();
626
627 /* In case of a decl or constant base object we can do better. */
628
629 if (DECL_P (exp))
630 {
631 /* If maxsize is unknown adjust it according to the size of the
632 base decl. */
633 if (maxsize == -1
634 && tree_fits_uhwi_p (DECL_SIZE (exp)))
635 maxsize = TREE_INT_CST_LOW (DECL_SIZE (exp)) - hbit_offset;
636 }
637 else if (CONSTANT_CLASS_P (exp))
638 {
639 /* If maxsize is unknown adjust it according to the size of the
640 base type constant. */
641 if (maxsize == -1
642 && tree_fits_uhwi_p (TYPE_SIZE (TREE_TYPE (exp))))
643 maxsize = TREE_INT_CST_LOW (TYPE_SIZE (TREE_TYPE (exp))) - hbit_offset;
644 }
645
646 /* ??? Due to negative offsets in ARRAY_REF we can end up with
647 negative bit_offset here. We might want to store a zero offset
648 in this case. */
649 *poffset = hbit_offset;
650 *psize = bitsize;
651 *pmax_size = maxsize;
652
653 return exp;
654 }
655
656 /* Returns the base object and a constant BITS_PER_UNIT offset in *POFFSET that
657 denotes the starting address of the memory access EXP.
658 Returns NULL_TREE if the offset is not constant or any component
659 is not BITS_PER_UNIT-aligned. */
660
661 tree
662 get_addr_base_and_unit_offset (tree exp, HOST_WIDE_INT *poffset)
663 {
664 return get_addr_base_and_unit_offset_1 (exp, poffset, NULL);
665 }
666
667 /* Returns true if STMT references an SSA_NAME that has
668 SSA_NAME_OCCURS_IN_ABNORMAL_PHI set, otherwise false. */
669
670 bool
671 stmt_references_abnormal_ssa_name (gimple stmt)
672 {
673 ssa_op_iter oi;
674 use_operand_p use_p;
675
676 FOR_EACH_SSA_USE_OPERAND (use_p, stmt, oi, SSA_OP_USE)
677 {
678 if (SSA_NAME_OCCURS_IN_ABNORMAL_PHI (USE_FROM_PTR (use_p)))
679 return true;
680 }
681
682 return false;
683 }
684
685 /* Pair of tree and a sorting index, for dump_enumerated_decls. */
686 struct GTY(()) numbered_tree_d
687 {
688 tree t;
689 int num;
690 };
691 typedef struct numbered_tree_d numbered_tree;
692
693
694 /* Compare two declarations references by their DECL_UID / sequence number.
695 Called via qsort. */
696
697 static int
698 compare_decls_by_uid (const void *pa, const void *pb)
699 {
700 const numbered_tree *nt_a = ((const numbered_tree *)pa);
701 const numbered_tree *nt_b = ((const numbered_tree *)pb);
702
703 if (DECL_UID (nt_a->t) != DECL_UID (nt_b->t))
704 return DECL_UID (nt_a->t) - DECL_UID (nt_b->t);
705 return nt_a->num - nt_b->num;
706 }
707
708 /* Called via walk_gimple_stmt / walk_gimple_op by dump_enumerated_decls. */
709 static tree
710 dump_enumerated_decls_push (tree *tp, int *walk_subtrees, void *data)
711 {
712 struct walk_stmt_info *wi = (struct walk_stmt_info *) data;
713 vec<numbered_tree> *list = (vec<numbered_tree> *) wi->info;
714 numbered_tree nt;
715
716 if (!DECL_P (*tp))
717 return NULL_TREE;
718 nt.t = *tp;
719 nt.num = list->length ();
720 list->safe_push (nt);
721 *walk_subtrees = 0;
722 return NULL_TREE;
723 }
724
725 /* Find all the declarations used by the current function, sort them by uid,
726 and emit the sorted list. Each declaration is tagged with a sequence
727 number indicating when it was found during statement / tree walking,
728 so that TDF_NOUID comparisons of anonymous declarations are still
729 meaningful. Where a declaration was encountered more than once, we
730 emit only the sequence number of the first encounter.
731 FILE is the dump file where to output the list and FLAGS is as in
732 print_generic_expr. */
733 void
734 dump_enumerated_decls (FILE *file, int flags)
735 {
736 basic_block bb;
737 struct walk_stmt_info wi;
738 stack_vec<numbered_tree, 40> decl_list;
739
740 memset (&wi, '\0', sizeof (wi));
741 wi.info = (void *) &decl_list;
742 FOR_EACH_BB (bb)
743 {
744 gimple_stmt_iterator gsi;
745
746 for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
747 if (!is_gimple_debug (gsi_stmt (gsi)))
748 walk_gimple_stmt (&gsi, NULL, dump_enumerated_decls_push, &wi);
749 }
750 decl_list.qsort (compare_decls_by_uid);
751 if (decl_list.length ())
752 {
753 unsigned ix;
754 numbered_tree *ntp;
755 tree last = NULL_TREE;
756
757 fprintf (file, "Declarations used by %s, sorted by DECL_UID:\n",
758 current_function_name ());
759 FOR_EACH_VEC_ELT (decl_list, ix, ntp)
760 {
761 if (ntp->t == last)
762 continue;
763 fprintf (file, "%d: ", ntp->num);
764 print_generic_decl (file, ntp->t, flags);
765 fprintf (file, "\n");
766 last = ntp->t;
767 }
768 }
769 }