?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Daily bump.
[official-gcc.git] / gcc / tree-pretty-print.c
blob4d1f6f48245b3e518eda40893be537808c3a9925
1 /* Pretty formatting of GENERIC trees in C syntax.
2 Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007
3 Free Software Foundation, Inc.
4 Adapted from c-pretty-print.c by Diego Novillo <dnovillo@redhat.com>
5
6 This file is part of GCC.
7
8 GCC is free software; you can redistribute it and/or modify it under
9 the terms of the GNU General Public License as published by the Free
10 Software Foundation; either version 3, or (at your option) any later
11 version.
12
13 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14 WARRANTY; without even the implied warranty of MERCHANTABILITY or
15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
16 for more details.
17
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING3. If not see
20 <http://www.gnu.org/licenses/>. */
21
22 #include "config.h"
23 #include "system.h"
24 #include "coretypes.h"
25 #include "tm.h"
26 #include "tree.h"
27 #include "output.h"
28 #include "diagnostic.h"
29 #include "real.h"
30 #include "hashtab.h"
31 #include "tree-flow.h"
32 #include "langhooks.h"
33 #include "tree-iterator.h"
34 #include "tree-chrec.h"
35 #include "tree-pass.h"
36 #include "fixed-value.h"
37 #include "value-prof.h"
38
39 /* Local functions, macros and variables. */
40 static int op_prio (const_tree);
41 static const char *op_symbol (const_tree);
42 static void pretty_print_string (pretty_printer *, const char*);
43 static void print_call_name (pretty_printer *, const_tree);
44 static void newline_and_indent (pretty_printer *, int);
45 static void maybe_init_pretty_print (FILE *);
46 static void print_declaration (pretty_printer *, tree, int, int);
47 static void print_struct_decl (pretty_printer *, const_tree, int, int);
48 static void do_niy (pretty_printer *, const_tree);
49 static void dump_vops (pretty_printer *, tree, int, int);
50 static void dump_generic_bb_buff (pretty_printer *, basic_block, int, int);
51
52 #define INDENT(SPACE) do { \
53 int i; for (i = 0; i<SPACE; i++) pp_space (buffer); } while (0)
54
55 #define NIY do_niy(buffer,node)
56
57 #define PRINT_FUNCTION_NAME(NODE) pp_printf \
58 (buffer, "%s", TREE_CODE (NODE) == NOP_EXPR ? \
59 lang_hooks.decl_printable_name (TREE_OPERAND (NODE, 0), 1) : \
60 lang_hooks.decl_printable_name (NODE, 1))
61
62 static pretty_printer buffer;
63 static int initialized = 0;
64
65 /* Try to print something for an unknown tree code. */
66
67 static void
68 do_niy (pretty_printer *buffer, const_tree node)
69 {
70 int i, len;
71
72 pp_string (buffer, "<<< Unknown tree: ");
73 pp_string (buffer, tree_code_name[(int) TREE_CODE (node)]);
74
75 if (EXPR_P (node))
76 {
77 len = TREE_OPERAND_LENGTH (node);
78 for (i = 0; i < len; ++i)
79 {
80 newline_and_indent (buffer, 2);
81 dump_generic_node (buffer, TREE_OPERAND (node, i), 2, 0, false);
82 }
83 }
84
85 pp_string (buffer, " >>>\n");
86 }
87
88 /* Debugging function to print out a generic expression. */
89
90 void
91 debug_generic_expr (tree t)
92 {
93 print_generic_expr (stderr, t, TDF_VOPS|TDF_MEMSYMS);
94 fprintf (stderr, "\n");
95 }
96
97 /* Debugging function to print out a generic statement. */
98
99 void
100 debug_generic_stmt (tree t)
101 {
102 print_generic_stmt (stderr, t, TDF_VOPS|TDF_MEMSYMS);
103 fprintf (stderr, "\n");
104 }
105
106 /* Debugging function to print out a chain of trees . */
107
108 void
109 debug_tree_chain (tree t)
110 {
111 while (t)
112 {
113 print_generic_expr (stderr, t, TDF_VOPS|TDF_MEMSYMS|TDF_UID);
114 fprintf(stderr, " ");
115 t = TREE_CHAIN (t);
116 }
117 fprintf (stderr, "\n");
118 }
119
120 /* Prints declaration DECL to the FILE with details specified by FLAGS. */
121 void
122 print_generic_decl (FILE *file, tree decl, int flags)
123 {
124 maybe_init_pretty_print (file);
125 print_declaration (&buffer, decl, 2, flags);
126 pp_write_text_to_stream (&buffer);
127 }
128
129 /* Print tree T, and its successors, on file FILE. FLAGS specifies details
130 to show in the dump. See TDF_* in tree-pass.h. */
131
132 void
133 print_generic_stmt (FILE *file, tree t, int flags)
134 {
135 maybe_init_pretty_print (file);
136 dump_generic_node (&buffer, t, 0, flags, true);
137 pp_flush (&buffer);
138 }
139
140 /* Print tree T, and its successors, on file FILE. FLAGS specifies details
141 to show in the dump. See TDF_* in tree-pass.h. The output is indented by
142 INDENT spaces. */
143
144 void
145 print_generic_stmt_indented (FILE *file, tree t, int flags, int indent)
146 {
147 int i;
148
149 maybe_init_pretty_print (file);
150
151 for (i = 0; i < indent; i++)
152 pp_space (&buffer);
153 dump_generic_node (&buffer, t, indent, flags, true);
154 pp_flush (&buffer);
155 }
156
157 /* Print a single expression T on file FILE. FLAGS specifies details to show
158 in the dump. See TDF_* in tree-pass.h. */
159
160 void
161 print_generic_expr (FILE *file, tree t, int flags)
162 {
163 maybe_init_pretty_print (file);
164 dump_generic_node (&buffer, t, 0, flags, false);
165 }
166
167 /* Dump the name of a _DECL node and its DECL_UID if TDF_UID is set
168 in FLAGS. */
169
170 static void
171 dump_decl_name (pretty_printer *buffer, tree node, int flags)
172 {
173 tree t = node;
174
175 if (DECL_NAME (t))
176 pp_tree_identifier (buffer, DECL_NAME (t));
177 if ((flags & TDF_UID)
178 || DECL_NAME (t) == NULL_TREE)
179 {
180 if (TREE_CODE (t) == LABEL_DECL
181 && LABEL_DECL_UID (t) != -1)
182 pp_printf (buffer, "L.%d", (int) LABEL_DECL_UID (t));
183 else
184 {
185 char c = TREE_CODE (t) == CONST_DECL ? 'C' : 'D';
186 pp_printf (buffer, "%c.%u", c, DECL_UID (t));
187 }
188 }
189 }
190
191 /* Like the above, but used for pretty printing function calls. */
192
193 static void
194 dump_function_name (pretty_printer *buffer, tree node)
195 {
196 if (DECL_NAME (node))
197 PRINT_FUNCTION_NAME (node);
198 else
199 dump_decl_name (buffer, node, 0);
200 }
201
202 /* Dump a function declaration. NODE is the FUNCTION_TYPE. BUFFER, SPC and
203 FLAGS are as in dump_generic_node. */
204
205 static void
206 dump_function_declaration (pretty_printer *buffer, tree node,
207 int spc, int flags)
208 {
209 bool wrote_arg = false;
210 tree arg;
211
212 pp_space (buffer);
213 pp_character (buffer, '(');
214
215 /* Print the argument types. The last element in the list is a VOID_TYPE.
216 The following avoids printing the last element. */
217 arg = TYPE_ARG_TYPES (node);
218 while (arg && TREE_CHAIN (arg) && arg != error_mark_node)
219 {
220 wrote_arg = true;
221 dump_generic_node (buffer, TREE_VALUE (arg), spc, flags, false);
222 arg = TREE_CHAIN (arg);
223 if (TREE_CHAIN (arg) && TREE_CODE (TREE_CHAIN (arg)) == TREE_LIST)
224 {
225 pp_character (buffer, ',');
226 pp_space (buffer);
227 }
228 }
229
230 if (!wrote_arg)
231 pp_string (buffer, "void");
232
233 pp_character (buffer, ')');
234 }
235
236 /* Dump the domain associated with an array. */
237
238 static void
239 dump_array_domain (pretty_printer *buffer, tree domain, int spc, int flags)
240 {
241 pp_character (buffer, '[');
242 if (domain)
243 {
244 tree min = TYPE_MIN_VALUE (domain);
245 tree max = TYPE_MAX_VALUE (domain);
246
247 if (min && max
248 && integer_zerop (min)
249 && host_integerp (max, 0))
250 pp_wide_integer (buffer, TREE_INT_CST_LOW (max) + 1);
251 else
252 {
253 if (min)
254 dump_generic_node (buffer, min, spc, flags, false);
255 pp_character (buffer, ':');
256 if (max)
257 dump_generic_node (buffer, max, spc, flags, false);
258 }
259 }
260 else
261 pp_string (buffer, "<unknown>");
262 pp_character (buffer, ']');
263 }
264
265
266 /* Dump OpenMP clause CLAUSE. BUFFER, CLAUSE, SPC and FLAGS are as in
267 dump_generic_node. */
268
269 static void
270 dump_omp_clause (pretty_printer *buffer, tree clause, int spc, int flags)
271 {
272 const char *name;
273
274 switch (OMP_CLAUSE_CODE (clause))
275 {
276 case OMP_CLAUSE_PRIVATE:
277 name = "private";
278 goto print_remap;
279 case OMP_CLAUSE_SHARED:
280 name = "shared";
281 goto print_remap;
282 case OMP_CLAUSE_FIRSTPRIVATE:
283 name = "firstprivate";
284 goto print_remap;
285 case OMP_CLAUSE_LASTPRIVATE:
286 name = "lastprivate";
287 goto print_remap;
288 case OMP_CLAUSE_COPYIN:
289 name = "copyin";
290 goto print_remap;
291 case OMP_CLAUSE_COPYPRIVATE:
292 name = "copyprivate";
293 goto print_remap;
294 print_remap:
295 pp_string (buffer, name);
296 pp_character (buffer, '(');
297 dump_generic_node (buffer, OMP_CLAUSE_DECL (clause),
298 spc, flags, false);
299 pp_character (buffer, ')');
300 break;
301
302 case OMP_CLAUSE_REDUCTION:
303 pp_string (buffer, "reduction(");
304 pp_string (buffer, op_symbol_code (OMP_CLAUSE_REDUCTION_CODE (clause)));
305 pp_character (buffer, ':');
306 dump_generic_node (buffer, OMP_CLAUSE_DECL (clause),
307 spc, flags, false);
308 pp_character (buffer, ')');
309 break;
310
311 case OMP_CLAUSE_IF:
312 pp_string (buffer, "if(");
313 dump_generic_node (buffer, OMP_CLAUSE_IF_EXPR (clause),
314 spc, flags, false);
315 pp_character (buffer, ')');
316 break;
317
318 case OMP_CLAUSE_NUM_THREADS:
319 pp_string (buffer, "num_threads(");
320 dump_generic_node (buffer, OMP_CLAUSE_NUM_THREADS_EXPR (clause),
321 spc, flags, false);
322 pp_character (buffer, ')');
323 break;
324
325 case OMP_CLAUSE_NOWAIT:
326 pp_string (buffer, "nowait");
327 break;
328 case OMP_CLAUSE_ORDERED:
329 pp_string (buffer, "ordered");
330 break;
331
332 case OMP_CLAUSE_DEFAULT:
333 pp_string (buffer, "default(");
334 switch (OMP_CLAUSE_DEFAULT_KIND (clause))
335 {
336 case OMP_CLAUSE_DEFAULT_UNSPECIFIED:
337 break;
338 case OMP_CLAUSE_DEFAULT_SHARED:
339 pp_string (buffer, "shared");
340 break;
341 case OMP_CLAUSE_DEFAULT_NONE:
342 pp_string (buffer, "none");
343 break;
344 case OMP_CLAUSE_DEFAULT_PRIVATE:
345 pp_string (buffer, "private");
346 break;
347 default:
348 gcc_unreachable ();
349 }
350 pp_character (buffer, ')');
351 break;
352
353 case OMP_CLAUSE_SCHEDULE:
354 pp_string (buffer, "schedule(");
355 switch (OMP_CLAUSE_SCHEDULE_KIND (clause))
356 {
357 case OMP_CLAUSE_SCHEDULE_STATIC:
358 pp_string (buffer, "static");
359 break;
360 case OMP_CLAUSE_SCHEDULE_DYNAMIC:
361 pp_string (buffer, "dynamic");
362 break;
363 case OMP_CLAUSE_SCHEDULE_GUIDED:
364 pp_string (buffer, "guided");
365 break;
366 case OMP_CLAUSE_SCHEDULE_RUNTIME:
367 pp_string (buffer, "runtime");
368 break;
369 default:
370 gcc_unreachable ();
371 }
372 if (OMP_CLAUSE_SCHEDULE_CHUNK_EXPR (clause))
373 {
374 pp_character (buffer, ',');
375 dump_generic_node (buffer,
376 OMP_CLAUSE_SCHEDULE_CHUNK_EXPR (clause),
377 spc, flags, false);
378 }
379 pp_character (buffer, ')');
380 break;
381
382 default:
383 /* Should never happen. */
384 dump_generic_node (buffer, clause, spc, flags, false);
385 break;
386 }
387 }
388
389
390 /* Dump the list of OpenMP clauses. BUFFER, SPC and FLAGS are as in
391 dump_generic_node. */
392
393 static void
394 dump_omp_clauses (pretty_printer *buffer, tree clause, int spc, int flags)
395 {
396 if (clause == NULL)
397 return;
398
399 pp_space (buffer);
400 while (1)
401 {
402 dump_omp_clause (buffer, clause, spc, flags);
403 clause = OMP_CLAUSE_CHAIN (clause);
404 if (clause == NULL)
405 return;
406 pp_space (buffer);
407 }
408 }
409
410
411 /* Dump the set of decls SYMS. BUFFER, SPC and FLAGS are as in
412 dump_generic_node. */
413
414 static void
415 dump_symbols (pretty_printer *buffer, bitmap syms, int flags)
416 {
417 unsigned i;
418 bitmap_iterator bi;
419
420 if (syms == NULL)
421 pp_string (buffer, "NIL");
422 else
423 {
424 pp_string (buffer, " { ");
425
426 EXECUTE_IF_SET_IN_BITMAP (syms, 0, i, bi)
427 {
428 tree sym = referenced_var_lookup (i);
429 dump_generic_node (buffer, sym, 0, flags, false);
430 pp_string (buffer, " ");
431 }
432
433 pp_string (buffer, "}");
434 }
435 }
436
437
438 /* Dump the node NODE on the pretty_printer BUFFER, SPC spaces of indent.
439 FLAGS specifies details to show in the dump (see TDF_* in tree-pass.h).
440 If IS_STMT is true, the object printed is considered to be a statement
441 and it is terminated by ';' if appropriate. */
442
443 int
444 dump_generic_node (pretty_printer *buffer, tree node, int spc, int flags,
445 bool is_stmt)
446 {
447 tree type;
448 tree op0, op1;
449 const char *str;
450 bool is_expr;
451
452 if (node == NULL_TREE)
453 return spc;
454
455 is_expr = EXPR_P (node) || GIMPLE_STMT_P (node);
456
457 /* We use has_stmt_ann because CALL_EXPR can be both an expression
458 and a statement, and we have no guarantee that it will have a
459 stmt_ann when it is used as an RHS expression. stmt_ann will assert
460 if you call it on something with a non-stmt annotation attached. */
461 if (TREE_CODE (node) != ERROR_MARK
462 && is_gimple_stmt (node)
463 && (flags & (TDF_VOPS|TDF_MEMSYMS))
464 && has_stmt_ann (node)
465 && TREE_CODE (node) != PHI_NODE)
466 dump_vops (buffer, node, spc, flags);
467
468 if (is_stmt && (flags & TDF_STMTADDR))
469 pp_printf (buffer, "<&%p> ", (void *)node);
470
471 if ((flags & TDF_LINENO) && EXPR_HAS_LOCATION (node))
472 {
473 expanded_location xloc = expand_location (EXPR_LOCATION (node));
474 pp_character (buffer, '[');
475 if (xloc.file)
476 {
477 pp_string (buffer, xloc.file);
478 pp_string (buffer, " : ");
479 }
480 pp_decimal_int (buffer, xloc.line);
481 pp_string (buffer, "] ");
482 }
483
484 switch (TREE_CODE (node))
485 {
486 case ERROR_MARK:
487 pp_string (buffer, "<<< error >>>");
488 break;
489
490 case IDENTIFIER_NODE:
491 pp_tree_identifier (buffer, node);
492 break;
493
494 case TREE_LIST:
495 while (node && node != error_mark_node)
496 {
497 if (TREE_PURPOSE (node))
498 {
499 dump_generic_node (buffer, TREE_PURPOSE (node), spc, flags, false);
500 pp_space (buffer);
501 }
502 dump_generic_node (buffer, TREE_VALUE (node), spc, flags, false);
503 node = TREE_CHAIN (node);
504 if (node && TREE_CODE (node) == TREE_LIST)
505 {
506 pp_character (buffer, ',');
507 pp_space (buffer);
508 }
509 }
510 break;
511
512 case TREE_BINFO:
513 dump_generic_node (buffer, BINFO_TYPE (node), spc, flags, false);
514
515 case TREE_VEC:
516 {
517 size_t i;
518 if (TREE_VEC_LENGTH (node) > 0)
519 {
520 size_t len = TREE_VEC_LENGTH (node);
521 for (i = 0; i < len - 1; i++)
522 {
523 dump_generic_node (buffer, TREE_VEC_ELT (node, i), spc, flags,
524 false);
525 pp_character (buffer, ',');
526 pp_space (buffer);
527 }
528 dump_generic_node (buffer, TREE_VEC_ELT (node, len - 1), spc,
529 flags, false);
530 }
531 }
532 break;
533
534 case VOID_TYPE:
535 case INTEGER_TYPE:
536 case REAL_TYPE:
537 case FIXED_POINT_TYPE:
538 case COMPLEX_TYPE:
539 case VECTOR_TYPE:
540 case ENUMERAL_TYPE:
541 case BOOLEAN_TYPE:
542 {
543 unsigned int quals = TYPE_QUALS (node);
544 enum tree_code_class class;
545
546 if (quals & TYPE_QUAL_CONST)
547 pp_string (buffer, "const ");
548 else if (quals & TYPE_QUAL_VOLATILE)
549 pp_string (buffer, "volatile ");
550 else if (quals & TYPE_QUAL_RESTRICT)
551 pp_string (buffer, "restrict ");
552
553 class = TREE_CODE_CLASS (TREE_CODE (node));
554
555 if (class == tcc_declaration)
556 {
557 if (DECL_NAME (node))
558 dump_decl_name (buffer, node, flags);
559 else
560 pp_string (buffer, "<unnamed type decl>");
561 }
562 else if (class == tcc_type)
563 {
564 if (TYPE_NAME (node))
565 {
566 if (TREE_CODE (TYPE_NAME (node)) == IDENTIFIER_NODE)
567 pp_tree_identifier (buffer, TYPE_NAME (node));
568 else if (TREE_CODE (TYPE_NAME (node)) == TYPE_DECL
569 && DECL_NAME (TYPE_NAME (node)))
570 dump_decl_name (buffer, TYPE_NAME (node), flags);
571 else
572 pp_string (buffer, "<unnamed type>");
573 }
574 else if (TREE_CODE (node) == VECTOR_TYPE)
575 {
576 pp_string (buffer, "vector ");
577 dump_generic_node (buffer, TREE_TYPE (node),
578 spc, flags, false);
579 }
580 else if (TREE_CODE (node) == INTEGER_TYPE)
581 {
582 pp_string (buffer, (TYPE_UNSIGNED (node)
583 ? "<unnamed-unsigned:"
584 : "<unnamed-signed:"));
585 pp_decimal_int (buffer, TYPE_PRECISION (node));
586 pp_string (buffer, ">");
587 }
588 else
589 pp_string (buffer, "<unnamed type>");
590 }
591 break;
592 }
593
594 case POINTER_TYPE:
595 case REFERENCE_TYPE:
596 str = (TREE_CODE (node) == POINTER_TYPE ? "*" : "&");
597
598 if (TREE_CODE (TREE_TYPE (node)) == FUNCTION_TYPE)
599 {
600 tree fnode = TREE_TYPE (node);
601
602 dump_generic_node (buffer, TREE_TYPE (fnode), spc, flags, false);
603 pp_space (buffer);
604 pp_character (buffer, '(');
605 pp_string (buffer, str);
606 if (TYPE_NAME (node) && DECL_NAME (TYPE_NAME (node)))
607 dump_decl_name (buffer, TYPE_NAME (node), flags);
608 else
609 pp_printf (buffer, "<T%x>", TYPE_UID (node));
610
611 pp_character (buffer, ')');
612 dump_function_declaration (buffer, fnode, spc, flags);
613 }
614 else
615 {
616 unsigned int quals = TYPE_QUALS (node);
617
618 dump_generic_node (buffer, TREE_TYPE (node), spc, flags, false);
619 pp_space (buffer);
620 pp_string (buffer, str);
621
622 if (quals & TYPE_QUAL_CONST)
623 pp_string (buffer, " const");
624 if (quals & TYPE_QUAL_VOLATILE)
625 pp_string (buffer, " volatile");
626 if (quals & TYPE_QUAL_RESTRICT)
627 pp_string (buffer, " restrict");
628
629 if (TYPE_REF_CAN_ALIAS_ALL (node))
630 pp_string (buffer, " {ref-all}");
631 }
632 break;
633
634 case OFFSET_TYPE:
635 NIY;
636 break;
637
638 case METHOD_TYPE:
639 dump_decl_name (buffer, TYPE_NAME (TYPE_METHOD_BASETYPE (node)), flags);
640 pp_string (buffer, "::");
641 break;
642
643 case TARGET_MEM_REF:
644 {
645 const char *sep = "";
646 tree tmp;
647
648 pp_string (buffer, "MEM[");
649
650 tmp = TMR_SYMBOL (node);
651 if (tmp)
652 {
653 pp_string (buffer, sep);
654 sep = ", ";
655 pp_string (buffer, "symbol: ");
656 dump_generic_node (buffer, tmp, spc, flags, false);
657 }
658 tmp = TMR_BASE (node);
659 if (tmp)
660 {
661 pp_string (buffer, sep);
662 sep = ", ";
663 pp_string (buffer, "base: ");
664 dump_generic_node (buffer, tmp, spc, flags, false);
665 }
666 tmp = TMR_INDEX (node);
667 if (tmp)
668 {
669 pp_string (buffer, sep);
670 sep = ", ";
671 pp_string (buffer, "index: ");
672 dump_generic_node (buffer, tmp, spc, flags, false);
673 }
674 tmp = TMR_STEP (node);
675 if (tmp)
676 {
677 pp_string (buffer, sep);
678 sep = ", ";
679 pp_string (buffer, "step: ");
680 dump_generic_node (buffer, tmp, spc, flags, false);
681 }
682 tmp = TMR_OFFSET (node);
683 if (tmp)
684 {
685 pp_string (buffer, sep);
686 sep = ", ";
687 pp_string (buffer, "offset: ");
688 dump_generic_node (buffer, tmp, spc, flags, false);
689 }
690 pp_string (buffer, "]");
691 if (flags & TDF_DETAILS)
692 {
693 pp_string (buffer, "{");
694 dump_generic_node (buffer, TMR_ORIGINAL (node), spc, flags,
695 false);
696 pp_string (buffer, "}");
697 }
698 }
699 break;
700
701 case ARRAY_TYPE:
702 {
703 tree tmp;
704
705 /* Print the innermost component type. */
706 for (tmp = TREE_TYPE (node); TREE_CODE (tmp) == ARRAY_TYPE;
707 tmp = TREE_TYPE (tmp))
708 ;
709 dump_generic_node (buffer, tmp, spc, flags, false);
710
711 /* Print the dimensions. */
712 for (tmp = node; TREE_CODE (tmp) == ARRAY_TYPE; tmp = TREE_TYPE (tmp))
713 dump_array_domain (buffer, TYPE_DOMAIN (tmp), spc, flags);
714 break;
715 }
716
717 case RECORD_TYPE:
718 case UNION_TYPE:
719 case QUAL_UNION_TYPE:
720 {
721 unsigned int quals = TYPE_QUALS (node);
722
723 if (quals & TYPE_QUAL_CONST)
724 pp_string (buffer, "const ");
725 if (quals & TYPE_QUAL_VOLATILE)
726 pp_string (buffer, "volatile ");
727
728 /* Print the name of the structure. */
729 if (TREE_CODE (node) == RECORD_TYPE)
730 pp_string (buffer, "struct ");
731 else if (TREE_CODE (node) == UNION_TYPE)
732 pp_string (buffer, "union ");
733
734 if (TYPE_NAME (node))
735 dump_generic_node (buffer, TYPE_NAME (node), spc, flags, false);
736 else
737 print_struct_decl (buffer, node, spc, flags);
738 break;
739 }
740
741 case LANG_TYPE:
742 NIY;
743 break;
744
745 case INTEGER_CST:
746 if (TREE_CODE (TREE_TYPE (node)) == POINTER_TYPE)
747 {
748 /* In the case of a pointer, one may want to divide by the
749 size of the pointed-to type. Unfortunately, this not
750 straightforward. The C front-end maps expressions
751
752 (int *) 5
753 int *p; (p + 5)
754
755 in such a way that the two INTEGER_CST nodes for "5" have
756 different values but identical types. In the latter
757 case, the 5 is multiplied by sizeof (int) in c-common.c
758 (pointer_int_sum) to convert it to a byte address, and
759 yet the type of the node is left unchanged. Argh. What
760 is consistent though is that the number value corresponds
761 to bytes (UNITS) offset.
762
763 NB: Neither of the following divisors can be trivially
764 used to recover the original literal:
765
766 TREE_INT_CST_LOW (TYPE_SIZE_UNIT (TREE_TYPE (node)))
767 TYPE_PRECISION (TREE_TYPE (TREE_TYPE (node))) */
768 pp_wide_integer (buffer, TREE_INT_CST_LOW (node));
769 pp_string (buffer, "B"); /* pseudo-unit */
770 }
771 else if (! host_integerp (node, 0))
772 {
773 tree val = node;
774 unsigned HOST_WIDE_INT low = TREE_INT_CST_LOW (val);
775 HOST_WIDE_INT high = TREE_INT_CST_HIGH (val);
776
777 if (tree_int_cst_sgn (val) < 0)
778 {
779 pp_character (buffer, '-');
780 high = ~high + !low;
781 low = -low;
782 }
783 /* Would "%x%0*x" or "%x%*0x" get zero-padding on all
784 systems? */
785 sprintf (pp_buffer (buffer)->digit_buffer,
786 HOST_WIDE_INT_PRINT_DOUBLE_HEX, high, low);
787 pp_string (buffer, pp_buffer (buffer)->digit_buffer);
788 }
789 else
790 pp_wide_integer (buffer, TREE_INT_CST_LOW (node));
791 break;
792
793 case REAL_CST:
794 /* Code copied from print_node. */
795 {
796 REAL_VALUE_TYPE d;
797 if (TREE_OVERFLOW (node))
798 pp_string (buffer, " overflow");
799
800 #if !defined(REAL_IS_NOT_DOUBLE) || defined(REAL_ARITHMETIC)
801 d = TREE_REAL_CST (node);
802 if (REAL_VALUE_ISINF (d))
803 pp_string (buffer, REAL_VALUE_NEGATIVE (d) ? " -Inf" : " Inf");
804 else if (REAL_VALUE_ISNAN (d))
805 pp_string (buffer, " Nan");
806 else
807 {
808 char string[100];
809 real_to_decimal (string, &d, sizeof (string), 0, 1);
810 pp_string (buffer, string);
811 }
812 #else
813 {
814 HOST_WIDE_INT i;
815 unsigned char *p = (unsigned char *) &TREE_REAL_CST (node);
816 pp_string (buffer, "0x");
817 for (i = 0; i < sizeof TREE_REAL_CST (node); i++)
818 output_formatted_integer (buffer, "%02x", *p++);
819 }
820 #endif
821 break;
822 }
823
824 case FIXED_CST:
825 {
826 char string[100];
827 fixed_to_decimal (string, TREE_FIXED_CST_PTR (node), sizeof (string));
828 pp_string (buffer, string);
829 break;
830 }
831
832 case COMPLEX_CST:
833 pp_string (buffer, "__complex__ (");
834 dump_generic_node (buffer, TREE_REALPART (node), spc, flags, false);
835 pp_string (buffer, ", ");
836 dump_generic_node (buffer, TREE_IMAGPART (node), spc, flags, false);
837 pp_string (buffer, ")");
838 break;
839
840 case STRING_CST:
841 pp_string (buffer, "\"");
842 pretty_print_string (buffer, TREE_STRING_POINTER (node));
843 pp_string (buffer, "\"");
844 break;
845
846 case VECTOR_CST:
847 {
848 tree elt;
849 pp_string (buffer, "{ ");
850 for (elt = TREE_VECTOR_CST_ELTS (node); elt; elt = TREE_CHAIN (elt))
851 {
852 dump_generic_node (buffer, TREE_VALUE (elt), spc, flags, false);
853 if (TREE_CHAIN (elt))
854 pp_string (buffer, ", ");
855 }
856 pp_string (buffer, " }");
857 }
858 break;
859
860 case FUNCTION_TYPE:
861 break;
862
863 case FUNCTION_DECL:
864 case CONST_DECL:
865 dump_decl_name (buffer, node, flags);
866 break;
867
868 case LABEL_DECL:
869 if (DECL_NAME (node))
870 dump_decl_name (buffer, node, flags);
871 else if (LABEL_DECL_UID (node) != -1)
872 pp_printf (buffer, "<L%d>", (int) LABEL_DECL_UID (node));
873 else
874 pp_printf (buffer, "<D.%u>", DECL_UID (node));
875 break;
876
877 case TYPE_DECL:
878 if (DECL_IS_BUILTIN (node))
879 {
880 /* Don't print the declaration of built-in types. */
881 break;
882 }
883 if (DECL_NAME (node))
884 dump_decl_name (buffer, node, flags);
885 else
886 {
887 if ((TREE_CODE (TREE_TYPE (node)) == RECORD_TYPE
888 || TREE_CODE (TREE_TYPE (node)) == UNION_TYPE)
889 && TYPE_METHODS (TREE_TYPE (node)))
890 {
891 /* The type is a c++ class: all structures have at least
892 4 methods. */
893 pp_string (buffer, "class ");
894 dump_generic_node (buffer, TREE_TYPE (node), spc, flags, false);
895 }
896 else
897 {
898 pp_string (buffer,
899 (TREE_CODE (TREE_TYPE (node)) == UNION_TYPE
900 ? "union" : "struct "));
901 dump_generic_node (buffer, TREE_TYPE (node), spc, flags, false);
902 }
903 }
904 break;
905
906 case SYMBOL_MEMORY_TAG:
907 case NAME_MEMORY_TAG:
908 case STRUCT_FIELD_TAG:
909 case VAR_DECL:
910 case PARM_DECL:
911 case FIELD_DECL:
912 case NAMESPACE_DECL:
913 case MEMORY_PARTITION_TAG:
914 dump_decl_name (buffer, node, flags);
915 break;
916
917 case RESULT_DECL:
918 pp_string (buffer, "<retval>");
919 break;
920
921 case COMPONENT_REF:
922 op0 = TREE_OPERAND (node, 0);
923 str = ".";
924 if (TREE_CODE (op0) == INDIRECT_REF)
925 {
926 op0 = TREE_OPERAND (op0, 0);
927 str = "->";
928 }
929 if (op_prio (op0) < op_prio (node))
930 pp_character (buffer, '(');
931 dump_generic_node (buffer, op0, spc, flags, false);
932 if (op_prio (op0) < op_prio (node))
933 pp_character (buffer, ')');
934 pp_string (buffer, str);
935 dump_generic_node (buffer, TREE_OPERAND (node, 1), spc, flags, false);
936
937 if (TREE_CODE (op0) != VALUE_HANDLE)
938 {
939 op0 = component_ref_field_offset (node);
940 if (op0 && TREE_CODE (op0) != INTEGER_CST)
941 {
942 pp_string (buffer, "{off: ");
943 dump_generic_node (buffer, op0, spc, flags, false);
944 pp_character (buffer, '}');
945 }
946 }
947 break;
948
949 case BIT_FIELD_REF:
950 pp_string (buffer, "BIT_FIELD_REF <");
951 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
952 pp_string (buffer, ", ");
953 dump_generic_node (buffer, TREE_OPERAND (node, 1), spc, flags, false);
954 pp_string (buffer, ", ");
955 dump_generic_node (buffer, TREE_OPERAND (node, 2), spc, flags, false);
956 pp_string (buffer, ">");
957 break;
958
959 case ARRAY_REF:
960 case ARRAY_RANGE_REF:
961 op0 = TREE_OPERAND (node, 0);
962 if (op_prio (op0) < op_prio (node))
963 pp_character (buffer, '(');
964 dump_generic_node (buffer, op0, spc, flags, false);
965 if (op_prio (op0) < op_prio (node))
966 pp_character (buffer, ')');
967 pp_character (buffer, '[');
968 dump_generic_node (buffer, TREE_OPERAND (node, 1), spc, flags, false);
969 if (TREE_CODE (node) == ARRAY_RANGE_REF)
970 pp_string (buffer, " ...");
971 pp_character (buffer, ']');
972
973 op0 = array_ref_low_bound (node);
974 op1 = array_ref_element_size (node);
975
976 if (!integer_zerop (op0)
977 || TREE_OPERAND (node, 2)
978 || TREE_OPERAND (node, 3))
979 {
980 pp_string (buffer, "{lb: ");
981 dump_generic_node (buffer, op0, spc, flags, false);
982 pp_string (buffer, " sz: ");
983 dump_generic_node (buffer, op1, spc, flags, false);
984 pp_character (buffer, '}');
985 }
986 break;
987
988 case CONSTRUCTOR:
989 {
990 unsigned HOST_WIDE_INT ix;
991 tree field, val;
992 bool is_struct_init = FALSE;
993 pp_character (buffer, '{');
994 if (TREE_CODE (TREE_TYPE (node)) == RECORD_TYPE
995 || TREE_CODE (TREE_TYPE (node)) == UNION_TYPE)
996 is_struct_init = TRUE;
997 FOR_EACH_CONSTRUCTOR_ELT (CONSTRUCTOR_ELTS (node), ix, field, val)
998 {
999 if (field && is_struct_init)
1000 {
1001 pp_character (buffer, '.');
1002 dump_generic_node (buffer, field, spc, flags, false);
1003 pp_string (buffer, "=");
1004 }
1005 if (val && TREE_CODE (val) == ADDR_EXPR)
1006 if (TREE_CODE (TREE_OPERAND (val, 0)) == FUNCTION_DECL)
1007 val = TREE_OPERAND (val, 0);
1008 if (val && TREE_CODE (val) == FUNCTION_DECL)
1009 dump_decl_name (buffer, val, flags);
1010 else
1011 dump_generic_node (buffer, val, spc, flags, false);
1012 if (ix != VEC_length (constructor_elt, CONSTRUCTOR_ELTS (node)) - 1)
1013 {
1014 pp_character (buffer, ',');
1015 pp_space (buffer);
1016 }
1017 }
1018 pp_character (buffer, '}');
1019 }
1020 break;
1021
1022 case COMPOUND_EXPR:
1023 {
1024 tree *tp;
1025 if (flags & TDF_SLIM)
1026 {
1027 pp_string (buffer, "<COMPOUND_EXPR>");
1028 break;
1029 }
1030
1031 dump_generic_node (buffer, TREE_OPERAND (node, 0),
1032 spc, flags, !(flags & TDF_SLIM));
1033 if (flags & TDF_SLIM)
1034 newline_and_indent (buffer, spc);
1035 else
1036 {
1037 pp_character (buffer, ',');
1038 pp_space (buffer);
1039 }
1040
1041 for (tp = &TREE_OPERAND (node, 1);
1042 TREE_CODE (*tp) == COMPOUND_EXPR;
1043 tp = &TREE_OPERAND (*tp, 1))
1044 {
1045 dump_generic_node (buffer, TREE_OPERAND (*tp, 0),
1046 spc, flags, !(flags & TDF_SLIM));
1047 if (flags & TDF_SLIM)
1048 newline_and_indent (buffer, spc);
1049 else
1050 {
1051 pp_character (buffer, ',');
1052 pp_space (buffer);
1053 }
1054 }
1055
1056 dump_generic_node (buffer, *tp, spc, flags, !(flags & TDF_SLIM));
1057 }
1058 break;
1059
1060 case STATEMENT_LIST:
1061 {
1062 tree_stmt_iterator si;
1063 bool first = true;
1064
1065 if (flags & TDF_SLIM)
1066 {
1067 pp_string (buffer, "<STATEMENT_LIST>");
1068 break;
1069 }
1070
1071 for (si = tsi_start (node); !tsi_end_p (si); tsi_next (&si))
1072 {
1073 if (!first)
1074 newline_and_indent (buffer, spc);
1075 else
1076 first = false;
1077 dump_generic_node (buffer, tsi_stmt (si), spc, flags, true);
1078 }
1079 }
1080 break;
1081
1082 case MODIFY_EXPR:
1083 case GIMPLE_MODIFY_STMT:
1084 case INIT_EXPR:
1085 dump_generic_node (buffer, GENERIC_TREE_OPERAND (node, 0), spc, flags,
1086 false);
1087 pp_space (buffer);
1088 pp_character (buffer, '=');
1089 if (TREE_CODE (node) == GIMPLE_MODIFY_STMT
1090 && MOVE_NONTEMPORAL (node))
1091 pp_string (buffer, "{nt}");
1092 if (TREE_CODE (node) == GIMPLE_MODIFY_STMT)
1093 {
1094 stmt_ann_t ann;
1095 if ((ann = stmt_ann (node))
1096 && ann->has_volatile_ops)
1097 pp_string (buffer, "{v}");
1098 }
1099 pp_space (buffer);
1100 dump_generic_node (buffer, GENERIC_TREE_OPERAND (node, 1), spc, flags,
1101 false);
1102 break;
1103
1104 case TARGET_EXPR:
1105 pp_string (buffer, "TARGET_EXPR <");
1106 dump_generic_node (buffer, TARGET_EXPR_SLOT (node), spc, flags, false);
1107 pp_character (buffer, ',');
1108 pp_space (buffer);
1109 dump_generic_node (buffer, TARGET_EXPR_INITIAL (node), spc, flags, false);
1110 pp_character (buffer, '>');
1111 break;
1112
1113 case DECL_EXPR:
1114 print_declaration (buffer, DECL_EXPR_DECL (node), spc, flags);
1115 is_stmt = false;
1116 break;
1117
1118 case COND_EXPR:
1119 if (TREE_TYPE (node) == NULL || TREE_TYPE (node) == void_type_node)
1120 {
1121 pp_string (buffer, "if (");
1122 dump_generic_node (buffer, COND_EXPR_COND (node), spc, flags, false);
1123 pp_character (buffer, ')');
1124 /* The lowered cond_exprs should always be printed in full. */
1125 if (COND_EXPR_THEN (node)
1126 && (IS_EMPTY_STMT (COND_EXPR_THEN (node))
1127 || TREE_CODE (COND_EXPR_THEN (node)) == GOTO_EXPR)
1128 && COND_EXPR_ELSE (node)
1129 && (IS_EMPTY_STMT (COND_EXPR_ELSE (node))
1130 || TREE_CODE (COND_EXPR_ELSE (node)) == GOTO_EXPR))
1131 {
1132 pp_space (buffer);
1133 dump_generic_node (buffer, COND_EXPR_THEN (node),
1134 0, flags, true);
1135 if (!IS_EMPTY_STMT (COND_EXPR_ELSE (node)))
1136 {
1137 pp_string (buffer, " else ");
1138 dump_generic_node (buffer, COND_EXPR_ELSE (node),
1139 0, flags, true);
1140 }
1141 }
1142 else if (!(flags & TDF_SLIM))
1143 {
1144 /* Output COND_EXPR_THEN. */
1145 if (COND_EXPR_THEN (node))
1146 {
1147 newline_and_indent (buffer, spc+2);
1148 pp_character (buffer, '{');
1149 newline_and_indent (buffer, spc+4);
1150 dump_generic_node (buffer, COND_EXPR_THEN (node), spc+4,
1151 flags, true);
1152 newline_and_indent (buffer, spc+2);
1153 pp_character (buffer, '}');
1154 }
1155
1156 /* Output COND_EXPR_ELSE. */
1157 if (COND_EXPR_ELSE (node)
1158 && !IS_EMPTY_STMT (COND_EXPR_ELSE (node)))
1159 {
1160 newline_and_indent (buffer, spc);
1161 pp_string (buffer, "else");
1162 newline_and_indent (buffer, spc+2);
1163 pp_character (buffer, '{');
1164 newline_and_indent (buffer, spc+4);
1165 dump_generic_node (buffer, COND_EXPR_ELSE (node), spc+4,
1166 flags, true);
1167 newline_and_indent (buffer, spc+2);
1168 pp_character (buffer, '}');
1169 }
1170 }
1171 is_expr = false;
1172 }
1173 else
1174 {
1175 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
1176 pp_space (buffer);
1177 pp_character (buffer, '?');
1178 pp_space (buffer);
1179 dump_generic_node (buffer, TREE_OPERAND (node, 1), spc, flags, false);
1180 pp_space (buffer);
1181 pp_character (buffer, ':');
1182 pp_space (buffer);
1183 dump_generic_node (buffer, TREE_OPERAND (node, 2), spc, flags, false);
1184 }
1185 break;
1186
1187 case BIND_EXPR:
1188 pp_character (buffer, '{');
1189 if (!(flags & TDF_SLIM))
1190 {
1191 if (BIND_EXPR_VARS (node))
1192 {
1193 pp_newline (buffer);
1194
1195 for (op0 = BIND_EXPR_VARS (node); op0; op0 = TREE_CHAIN (op0))
1196 {
1197 print_declaration (buffer, op0, spc+2, flags);
1198 pp_newline (buffer);
1199 }
1200 }
1201
1202 newline_and_indent (buffer, spc+2);
1203 dump_generic_node (buffer, BIND_EXPR_BODY (node), spc+2, flags, true);
1204 newline_and_indent (buffer, spc);
1205 pp_character (buffer, '}');
1206 }
1207 is_expr = false;
1208 break;
1209
1210 case CALL_EXPR:
1211 print_call_name (buffer, node);
1212
1213 /* Print parameters. */
1214 pp_space (buffer);
1215 pp_character (buffer, '(');
1216 {
1217 tree arg;
1218 call_expr_arg_iterator iter;
1219 FOR_EACH_CALL_EXPR_ARG (arg, iter, node)
1220 {
1221 dump_generic_node (buffer, arg, spc, flags, false);
1222 if (more_call_expr_args_p (&iter))
1223 {
1224 pp_character (buffer, ',');
1225 pp_space (buffer);
1226 }
1227 }
1228 }
1229 if (CALL_EXPR_VA_ARG_PACK (node))
1230 {
1231 if (call_expr_nargs (node) > 0)
1232 {
1233 pp_character (buffer, ',');
1234 pp_space (buffer);
1235 }
1236 pp_string (buffer, "__builtin_va_arg_pack ()");
1237 }
1238 pp_character (buffer, ')');
1239
1240 op1 = CALL_EXPR_STATIC_CHAIN (node);
1241 if (op1)
1242 {
1243 pp_string (buffer, " [static-chain: ");
1244 dump_generic_node (buffer, op1, spc, flags, false);
1245 pp_character (buffer, ']');
1246 }
1247
1248 if (CALL_EXPR_RETURN_SLOT_OPT (node))
1249 pp_string (buffer, " [return slot optimization]");
1250 if (CALL_EXPR_TAILCALL (node))
1251 pp_string (buffer, " [tail call]");
1252 break;
1253
1254 case WITH_CLEANUP_EXPR:
1255 NIY;
1256 break;
1257
1258 case CLEANUP_POINT_EXPR:
1259 pp_string (buffer, "<<cleanup_point ");
1260 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
1261 pp_string (buffer, ">>");
1262 break;
1263
1264 case PLACEHOLDER_EXPR:
1265 pp_string (buffer, "<PLACEHOLDER_EXPR ");
1266 dump_generic_node (buffer, TREE_TYPE (node), spc, flags, false);
1267 pp_character (buffer, '>');
1268 break;
1269
1270 /* Binary arithmetic and logic expressions. */
1271 case WIDEN_SUM_EXPR:
1272 case WIDEN_MULT_EXPR:
1273 case MULT_EXPR:
1274 case PLUS_EXPR:
1275 case POINTER_PLUS_EXPR:
1276 case MINUS_EXPR:
1277 case TRUNC_DIV_EXPR:
1278 case CEIL_DIV_EXPR:
1279 case FLOOR_DIV_EXPR:
1280 case ROUND_DIV_EXPR:
1281 case TRUNC_MOD_EXPR:
1282 case CEIL_MOD_EXPR:
1283 case FLOOR_MOD_EXPR:
1284 case ROUND_MOD_EXPR:
1285 case RDIV_EXPR:
1286 case EXACT_DIV_EXPR:
1287 case LSHIFT_EXPR:
1288 case RSHIFT_EXPR:
1289 case LROTATE_EXPR:
1290 case RROTATE_EXPR:
1291 case VEC_LSHIFT_EXPR:
1292 case VEC_RSHIFT_EXPR:
1293 case BIT_IOR_EXPR:
1294 case BIT_XOR_EXPR:
1295 case BIT_AND_EXPR:
1296 case TRUTH_ANDIF_EXPR:
1297 case TRUTH_ORIF_EXPR:
1298 case TRUTH_AND_EXPR:
1299 case TRUTH_OR_EXPR:
1300 case TRUTH_XOR_EXPR:
1301 case LT_EXPR:
1302 case LE_EXPR:
1303 case GT_EXPR:
1304 case GE_EXPR:
1305 case EQ_EXPR:
1306 case NE_EXPR:
1307 case UNLT_EXPR:
1308 case UNLE_EXPR:
1309 case UNGT_EXPR:
1310 case UNGE_EXPR:
1311 case UNEQ_EXPR:
1312 case LTGT_EXPR:
1313 case ORDERED_EXPR:
1314 case UNORDERED_EXPR:
1315 {
1316 const char *op = op_symbol (node);
1317 op0 = TREE_OPERAND (node, 0);
1318 op1 = TREE_OPERAND (node, 1);
1319
1320 /* When the operands are expressions with less priority,
1321 keep semantics of the tree representation. */
1322 if (op_prio (op0) <= op_prio (node))
1323 {
1324 pp_character (buffer, '(');
1325 dump_generic_node (buffer, op0, spc, flags, false);
1326 pp_character (buffer, ')');
1327 }
1328 else
1329 dump_generic_node (buffer, op0, spc, flags, false);
1330
1331 pp_space (buffer);
1332 pp_string (buffer, op);
1333 pp_space (buffer);
1334
1335 /* When the operands are expressions with less priority,
1336 keep semantics of the tree representation. */
1337 if (op_prio (op1) <= op_prio (node))
1338 {
1339 pp_character (buffer, '(');
1340 dump_generic_node (buffer, op1, spc, flags, false);
1341 pp_character (buffer, ')');
1342 }
1343 else
1344 dump_generic_node (buffer, op1, spc, flags, false);
1345 }
1346 break;
1347
1348 /* Unary arithmetic and logic expressions. */
1349 case NEGATE_EXPR:
1350 case BIT_NOT_EXPR:
1351 case TRUTH_NOT_EXPR:
1352 case ADDR_EXPR:
1353 case PREDECREMENT_EXPR:
1354 case PREINCREMENT_EXPR:
1355 case ALIGN_INDIRECT_REF:
1356 case MISALIGNED_INDIRECT_REF:
1357 case INDIRECT_REF:
1358 if (TREE_CODE (node) == ADDR_EXPR
1359 && (TREE_CODE (TREE_OPERAND (node, 0)) == STRING_CST
1360 || TREE_CODE (TREE_OPERAND (node, 0)) == FUNCTION_DECL))
1361 ; /* Do not output '&' for strings and function pointers. */
1362 else
1363 pp_string (buffer, op_symbol (node));
1364
1365 if (op_prio (TREE_OPERAND (node, 0)) < op_prio (node))
1366 {
1367 pp_character (buffer, '(');
1368 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
1369 pp_character (buffer, ')');
1370 }
1371 else
1372 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
1373
1374 if (TREE_CODE (node) == MISALIGNED_INDIRECT_REF)
1375 {
1376 pp_string (buffer, "{misalignment: ");
1377 dump_generic_node (buffer, TREE_OPERAND (node, 1), spc, flags, false);
1378 pp_character (buffer, '}');
1379 }
1380 break;
1381
1382 case POSTDECREMENT_EXPR:
1383 case POSTINCREMENT_EXPR:
1384 if (op_prio (TREE_OPERAND (node, 0)) < op_prio (node))
1385 {
1386 pp_character (buffer, '(');
1387 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
1388 pp_character (buffer, ')');
1389 }
1390 else
1391 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
1392 pp_string (buffer, op_symbol (node));
1393 break;
1394
1395 case MIN_EXPR:
1396 pp_string (buffer, "MIN_EXPR <");
1397 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
1398 pp_string (buffer, ", ");
1399 dump_generic_node (buffer, TREE_OPERAND (node, 1), spc, flags, false);
1400 pp_character (buffer, '>');
1401 break;
1402
1403 case MAX_EXPR:
1404 pp_string (buffer, "MAX_EXPR <");
1405 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
1406 pp_string (buffer, ", ");
1407 dump_generic_node (buffer, TREE_OPERAND (node, 1), spc, flags, false);
1408 pp_character (buffer, '>');
1409 break;
1410
1411 case ABS_EXPR:
1412 pp_string (buffer, "ABS_EXPR <");
1413 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
1414 pp_character (buffer, '>');
1415 break;
1416
1417 case RANGE_EXPR:
1418 NIY;
1419 break;
1420
1421 case FIXED_CONVERT_EXPR:
1422 case FIX_TRUNC_EXPR:
1423 case FLOAT_EXPR:
1424 case CONVERT_EXPR:
1425 case NOP_EXPR:
1426 type = TREE_TYPE (node);
1427 op0 = TREE_OPERAND (node, 0);
1428 if (type != TREE_TYPE (op0))
1429 {
1430 pp_character (buffer, '(');
1431 dump_generic_node (buffer, type, spc, flags, false);
1432 pp_string (buffer, ") ");
1433 }
1434 if (op_prio (op0) < op_prio (node))
1435 pp_character (buffer, '(');
1436 dump_generic_node (buffer, op0, spc, flags, false);
1437 if (op_prio (op0) < op_prio (node))
1438 pp_character (buffer, ')');
1439 break;
1440
1441 case VIEW_CONVERT_EXPR:
1442 pp_string (buffer, "VIEW_CONVERT_EXPR<");
1443 dump_generic_node (buffer, TREE_TYPE (node), spc, flags, false);
1444 pp_string (buffer, ">(");
1445 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
1446 pp_character (buffer, ')');
1447 break;
1448
1449 case NON_LVALUE_EXPR:
1450 pp_string (buffer, "NON_LVALUE_EXPR <");
1451 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
1452 pp_character (buffer, '>');
1453 break;
1454
1455 case SAVE_EXPR:
1456 pp_string (buffer, "SAVE_EXPR <");
1457 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
1458 pp_character (buffer, '>');
1459 break;
1460
1461 case COMPLEX_EXPR:
1462 pp_string (buffer, "COMPLEX_EXPR <");
1463 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
1464 pp_string (buffer, ", ");
1465 dump_generic_node (buffer, TREE_OPERAND (node, 1), spc, flags, false);
1466 pp_string (buffer, ">");
1467 break;
1468
1469 case CONJ_EXPR:
1470 pp_string (buffer, "CONJ_EXPR <");
1471 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
1472 pp_string (buffer, ">");
1473 break;
1474
1475 case REALPART_EXPR:
1476 pp_string (buffer, "REALPART_EXPR <");
1477 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
1478 pp_string (buffer, ">");
1479 break;
1480
1481 case IMAGPART_EXPR:
1482 pp_string (buffer, "IMAGPART_EXPR <");
1483 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
1484 pp_string (buffer, ">");
1485 break;
1486
1487 case VA_ARG_EXPR:
1488 pp_string (buffer, "VA_ARG_EXPR <");
1489 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
1490 pp_string (buffer, ">");
1491 break;
1492
1493 case TRY_FINALLY_EXPR:
1494 case TRY_CATCH_EXPR:
1495 pp_string (buffer, "try");
1496 newline_and_indent (buffer, spc+2);
1497 pp_string (buffer, "{");
1498 newline_and_indent (buffer, spc+4);
1499 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc+4, flags, true);
1500 newline_and_indent (buffer, spc+2);
1501 pp_string (buffer, "}");
1502 newline_and_indent (buffer, spc);
1503 pp_string (buffer,
1504 (TREE_CODE (node) == TRY_CATCH_EXPR) ? "catch" : "finally");
1505 newline_and_indent (buffer, spc+2);
1506 pp_string (buffer, "{");
1507 newline_and_indent (buffer, spc+4);
1508 dump_generic_node (buffer, TREE_OPERAND (node, 1), spc+4, flags, true);
1509 newline_and_indent (buffer, spc+2);
1510 pp_string (buffer, "}");
1511 is_expr = false;
1512 break;
1513
1514 case CATCH_EXPR:
1515 pp_string (buffer, "catch (");
1516 dump_generic_node (buffer, CATCH_TYPES (node), spc+2, flags, false);
1517 pp_string (buffer, ")");
1518 newline_and_indent (buffer, spc+2);
1519 pp_string (buffer, "{");
1520 newline_and_indent (buffer, spc+4);
1521 dump_generic_node (buffer, CATCH_BODY (node), spc+4, flags, true);
1522 newline_and_indent (buffer, spc+2);
1523 pp_string (buffer, "}");
1524 is_expr = false;
1525 break;
1526
1527 case EH_FILTER_EXPR:
1528 pp_string (buffer, "<<<eh_filter (");
1529 dump_generic_node (buffer, EH_FILTER_TYPES (node), spc+2, flags, false);
1530 pp_string (buffer, ")>>>");
1531 newline_and_indent (buffer, spc+2);
1532 pp_string (buffer, "{");
1533 newline_and_indent (buffer, spc+4);
1534 dump_generic_node (buffer, EH_FILTER_FAILURE (node), spc+4, flags, true);
1535 newline_and_indent (buffer, spc+2);
1536 pp_string (buffer, "}");
1537 is_expr = false;
1538 break;
1539
1540 case CHANGE_DYNAMIC_TYPE_EXPR:
1541 pp_string (buffer, "<<<change_dynamic_type (");
1542 dump_generic_node (buffer, CHANGE_DYNAMIC_TYPE_NEW_TYPE (node), spc + 2,
1543 flags, false);
1544 pp_string (buffer, ") ");
1545 dump_generic_node (buffer, CHANGE_DYNAMIC_TYPE_LOCATION (node), spc + 2,
1546 flags, false);
1547 pp_string (buffer, ")>>>");
1548 is_expr = false;
1549 break;
1550
1551 case LABEL_EXPR:
1552 op0 = TREE_OPERAND (node, 0);
1553 /* If this is for break or continue, don't bother printing it. */
1554 if (DECL_NAME (op0))
1555 {
1556 const char *name = IDENTIFIER_POINTER (DECL_NAME (op0));
1557 if (strcmp (name, "break") == 0
1558 || strcmp (name, "continue") == 0)
1559 break;
1560 }
1561 dump_generic_node (buffer, op0, spc, flags, false);
1562 pp_character (buffer, ':');
1563 if (DECL_NONLOCAL (op0))
1564 pp_string (buffer, " [non-local]");
1565 break;
1566
1567 case EXC_PTR_EXPR:
1568 pp_string (buffer, "<<<exception object>>>");
1569 break;
1570
1571 case FILTER_EXPR:
1572 pp_string (buffer, "<<<filter object>>>");
1573 break;
1574
1575 case LOOP_EXPR:
1576 pp_string (buffer, "while (1)");
1577 if (!(flags & TDF_SLIM))
1578 {
1579 newline_and_indent (buffer, spc+2);
1580 pp_character (buffer, '{');
1581 newline_and_indent (buffer, spc+4);
1582 dump_generic_node (buffer, LOOP_EXPR_BODY (node), spc+4, flags, true);
1583 newline_and_indent (buffer, spc+2);
1584 pp_character (buffer, '}');
1585 }
1586 is_expr = false;
1587 break;
1588
1589 case RETURN_EXPR:
1590 pp_string (buffer, "return");
1591 op0 = TREE_OPERAND (node, 0);
1592 if (op0)
1593 {
1594 pp_space (buffer);
1595 if (TREE_CODE (op0) == MODIFY_EXPR
1596 || TREE_CODE (op0) == GIMPLE_MODIFY_STMT)
1597 dump_generic_node (buffer, GENERIC_TREE_OPERAND (op0, 1),
1598 spc, flags, false);
1599 else
1600 dump_generic_node (buffer, op0, spc, flags, false);
1601 }
1602 break;
1603
1604 case EXIT_EXPR:
1605 pp_string (buffer, "if (");
1606 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
1607 pp_string (buffer, ") break");
1608 break;
1609
1610 case SWITCH_EXPR:
1611 pp_string (buffer, "switch (");
1612 dump_generic_node (buffer, SWITCH_COND (node), spc, flags, false);
1613 pp_character (buffer, ')');
1614 if (!(flags & TDF_SLIM))
1615 {
1616 newline_and_indent (buffer, spc+2);
1617 pp_character (buffer, '{');
1618 if (SWITCH_BODY (node))
1619 {
1620 newline_and_indent (buffer, spc+4);
1621 dump_generic_node (buffer, SWITCH_BODY (node), spc+4, flags,
1622 true);
1623 }
1624 else
1625 {
1626 tree vec = SWITCH_LABELS (node);
1627 size_t i, n = TREE_VEC_LENGTH (vec);
1628 for (i = 0; i < n; ++i)
1629 {
1630 tree elt = TREE_VEC_ELT (vec, i);
1631 newline_and_indent (buffer, spc+4);
1632 if (elt)
1633 {
1634 dump_generic_node (buffer, elt, spc+4, flags, false);
1635 pp_string (buffer, " goto ");
1636 dump_generic_node (buffer, CASE_LABEL (elt), spc+4,
1637 flags, true);
1638 pp_semicolon (buffer);
1639 }
1640 else
1641 pp_string (buffer, "case ???: goto ???;");
1642 }
1643 }
1644 newline_and_indent (buffer, spc+2);
1645 pp_character (buffer, '}');
1646 }
1647 is_expr = false;
1648 break;
1649
1650 case GOTO_EXPR:
1651 op0 = GOTO_DESTINATION (node);
1652 if (TREE_CODE (op0) != SSA_NAME && DECL_P (op0) && DECL_NAME (op0))
1653 {
1654 const char *name = IDENTIFIER_POINTER (DECL_NAME (op0));
1655 if (strcmp (name, "break") == 0
1656 || strcmp (name, "continue") == 0)
1657 {
1658 pp_string (buffer, name);
1659 break;
1660 }
1661 }
1662 pp_string (buffer, "goto ");
1663 dump_generic_node (buffer, op0, spc, flags, false);
1664 break;
1665
1666 case RESX_EXPR:
1667 pp_string (buffer, "resx ");
1668 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
1669 break;
1670
1671 case ASM_EXPR:
1672 pp_string (buffer, "__asm__");
1673 if (ASM_VOLATILE_P (node))
1674 pp_string (buffer, " __volatile__");
1675 pp_character (buffer, '(');
1676 dump_generic_node (buffer, ASM_STRING (node), spc, flags, false);
1677 pp_character (buffer, ':');
1678 dump_generic_node (buffer, ASM_OUTPUTS (node), spc, flags, false);
1679 pp_character (buffer, ':');
1680 dump_generic_node (buffer, ASM_INPUTS (node), spc, flags, false);
1681 if (ASM_CLOBBERS (node))
1682 {
1683 pp_character (buffer, ':');
1684 dump_generic_node (buffer, ASM_CLOBBERS (node), spc, flags, false);
1685 }
1686 pp_string (buffer, ")");
1687 break;
1688
1689 case CASE_LABEL_EXPR:
1690 if (CASE_LOW (node) && CASE_HIGH (node))
1691 {
1692 pp_string (buffer, "case ");
1693 dump_generic_node (buffer, CASE_LOW (node), spc, flags, false);
1694 pp_string (buffer, " ... ");
1695 dump_generic_node (buffer, CASE_HIGH (node), spc, flags, false);
1696 }
1697 else if (CASE_LOW (node))
1698 {
1699 pp_string (buffer, "case ");
1700 dump_generic_node (buffer, CASE_LOW (node), spc, flags, false);
1701 }
1702 else
1703 pp_string (buffer, "default ");
1704 pp_character (buffer, ':');
1705 break;
1706
1707 case OBJ_TYPE_REF:
1708 pp_string (buffer, "OBJ_TYPE_REF(");
1709 dump_generic_node (buffer, OBJ_TYPE_REF_EXPR (node), spc, flags, false);
1710 pp_character (buffer, ';');
1711 dump_generic_node (buffer, OBJ_TYPE_REF_OBJECT (node), spc, flags, false);
1712 pp_character (buffer, '-');
1713 pp_character (buffer, '>');
1714 dump_generic_node (buffer, OBJ_TYPE_REF_TOKEN (node), spc, flags, false);
1715 pp_character (buffer, ')');
1716 break;
1717
1718 case PHI_NODE:
1719 {
1720 int i;
1721
1722 dump_generic_node (buffer, PHI_RESULT (node), spc, flags, false);
1723 pp_string (buffer, " = PHI <");
1724 for (i = 0; i < PHI_NUM_ARGS (node); i++)
1725 {
1726 dump_generic_node (buffer, PHI_ARG_DEF (node, i), spc, flags, false);
1727 pp_string (buffer, "(");
1728 pp_decimal_int (buffer, PHI_ARG_EDGE (node, i)->src->index);
1729 pp_string (buffer, ")");
1730 if (i < PHI_NUM_ARGS (node) - 1)
1731 pp_string (buffer, ", ");
1732 }
1733 pp_string (buffer, ">");
1734
1735 if (stmt_references_memory_p (node) && (flags & TDF_MEMSYMS))
1736 dump_symbols (buffer, STORED_SYMS (node), flags);
1737 }
1738 break;
1739
1740 case SSA_NAME:
1741 dump_generic_node (buffer, SSA_NAME_VAR (node), spc, flags, false);
1742 pp_string (buffer, "_");
1743 pp_decimal_int (buffer, SSA_NAME_VERSION (node));
1744 if (SSA_NAME_OCCURS_IN_ABNORMAL_PHI (node))
1745 pp_string (buffer, "(ab)");
1746 else if (SSA_NAME_IS_DEFAULT_DEF (node))
1747 pp_string (buffer, "(D)");
1748 break;
1749
1750 case WITH_SIZE_EXPR:
1751 pp_string (buffer, "WITH_SIZE_EXPR <");
1752 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
1753 pp_string (buffer, ", ");
1754 dump_generic_node (buffer, TREE_OPERAND (node, 1), spc, flags, false);
1755 pp_string (buffer, ">");
1756 break;
1757
1758 case VALUE_HANDLE:
1759 pp_printf (buffer, "VH.%d", VALUE_HANDLE_ID (node));
1760 break;
1761
1762 case ASSERT_EXPR:
1763 pp_string (buffer, "ASSERT_EXPR <");
1764 dump_generic_node (buffer, ASSERT_EXPR_VAR (node), spc, flags, false);
1765 pp_string (buffer, ", ");
1766 dump_generic_node (buffer, ASSERT_EXPR_COND (node), spc, flags, false);
1767 pp_string (buffer, ">");
1768 break;
1769
1770 case SCEV_KNOWN:
1771 pp_string (buffer, "scev_known");
1772 break;
1773
1774 case SCEV_NOT_KNOWN:
1775 pp_string (buffer, "scev_not_known");
1776 break;
1777
1778 case POLYNOMIAL_CHREC:
1779 pp_string (buffer, "{");
1780 dump_generic_node (buffer, CHREC_LEFT (node), spc, flags, false);
1781 pp_string (buffer, ", +, ");
1782 dump_generic_node (buffer, CHREC_RIGHT (node), spc, flags, false);
1783 pp_string (buffer, "}_");
1784 dump_generic_node (buffer, CHREC_VAR (node), spc, flags, false);
1785 is_stmt = false;
1786 break;
1787
1788 case REALIGN_LOAD_EXPR:
1789 pp_string (buffer, "REALIGN_LOAD <");
1790 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
1791 pp_string (buffer, ", ");
1792 dump_generic_node (buffer, TREE_OPERAND (node, 1), spc, flags, false);
1793 pp_string (buffer, ", ");
1794 dump_generic_node (buffer, TREE_OPERAND (node, 2), spc, flags, false);
1795 pp_string (buffer, ">");
1796 break;
1797
1798 case VEC_COND_EXPR:
1799 pp_string (buffer, " VEC_COND_EXPR < ");
1800 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
1801 pp_string (buffer, " , ");
1802 dump_generic_node (buffer, TREE_OPERAND (node, 1), spc, flags, false);
1803 pp_string (buffer, " , ");
1804 dump_generic_node (buffer, TREE_OPERAND (node, 2), spc, flags, false);
1805 pp_string (buffer, " > ");
1806 break;
1807
1808 case DOT_PROD_EXPR:
1809 pp_string (buffer, " DOT_PROD_EXPR < ");
1810 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
1811 pp_string (buffer, ", ");
1812 dump_generic_node (buffer, TREE_OPERAND (node, 1), spc, flags, false);
1813 pp_string (buffer, ", ");
1814 dump_generic_node (buffer, TREE_OPERAND (node, 2), spc, flags, false);
1815 pp_string (buffer, " > ");
1816 break;
1817
1818 case OMP_PARALLEL:
1819 pp_string (buffer, "#pragma omp parallel");
1820 dump_omp_clauses (buffer, OMP_PARALLEL_CLAUSES (node), spc, flags);
1821 if (OMP_PARALLEL_FN (node))
1822 {
1823 pp_string (buffer, " [child fn: ");
1824 dump_generic_node (buffer, OMP_PARALLEL_FN (node), spc, flags, false);
1825
1826 pp_string (buffer, " (");
1827
1828 if (OMP_PARALLEL_DATA_ARG (node))
1829 dump_generic_node (buffer, OMP_PARALLEL_DATA_ARG (node), spc, flags,
1830 false);
1831 else
1832 pp_string (buffer, "???");
1833
1834 pp_string (buffer, ")]");
1835 }
1836
1837 dump_omp_body:
1838 if (!(flags & TDF_SLIM) && OMP_BODY (node))
1839 {
1840 newline_and_indent (buffer, spc + 2);
1841 pp_character (buffer, '{');
1842 newline_and_indent (buffer, spc + 4);
1843 dump_generic_node (buffer, OMP_BODY (node), spc + 4, flags, false);
1844 newline_and_indent (buffer, spc + 2);
1845 pp_character (buffer, '}');
1846 }
1847 is_expr = false;
1848 break;
1849
1850 case OMP_FOR:
1851 pp_string (buffer, "#pragma omp for");
1852 dump_omp_clauses (buffer, OMP_FOR_CLAUSES (node), spc, flags);
1853
1854 if (!(flags & TDF_SLIM))
1855 {
1856 if (OMP_FOR_PRE_BODY (node))
1857 {
1858 newline_and_indent (buffer, spc + 2);
1859 pp_character (buffer, '{');
1860 spc += 4;
1861 newline_and_indent (buffer, spc);
1862 dump_generic_node (buffer, OMP_FOR_PRE_BODY (node),
1863 spc, flags, false);
1864 }
1865 newline_and_indent (buffer, spc);
1866 pp_string (buffer, "for (");
1867 dump_generic_node (buffer, OMP_FOR_INIT (node), spc, flags, false);
1868 pp_string (buffer, "; ");
1869 dump_generic_node (buffer, OMP_FOR_COND (node), spc, flags, false);
1870 pp_string (buffer, "; ");
1871 dump_generic_node (buffer, OMP_FOR_INCR (node), spc, flags, false);
1872 pp_string (buffer, ")");
1873 if (OMP_FOR_BODY (node))
1874 {
1875 newline_and_indent (buffer, spc + 2);
1876 pp_character (buffer, '{');
1877 newline_and_indent (buffer, spc + 4);
1878 dump_generic_node (buffer, OMP_FOR_BODY (node), spc + 4, flags,
1879 false);
1880 newline_and_indent (buffer, spc + 2);
1881 pp_character (buffer, '}');
1882 }
1883 if (OMP_FOR_PRE_BODY (node))
1884 {
1885 spc -= 4;
1886 newline_and_indent (buffer, spc + 2);
1887 pp_character (buffer, '}');
1888 }
1889 }
1890 is_expr = false;
1891 break;
1892
1893 case OMP_SECTIONS:
1894 pp_string (buffer, "#pragma omp sections");
1895 if (OMP_SECTIONS_CONTROL (node))
1896 {
1897 pp_string (buffer, " <");
1898 dump_generic_node (buffer, OMP_SECTIONS_CONTROL (node), spc,
1899 flags, false);
1900 pp_string (buffer, ">");
1901 }
1902 dump_omp_clauses (buffer, OMP_SECTIONS_CLAUSES (node), spc, flags);
1903 goto dump_omp_body;
1904
1905 case OMP_SECTIONS_SWITCH:
1906 pp_string (buffer, "OMP_SECTIONS_SWITCH");
1907 is_expr = false;
1908 break;
1909
1910 case OMP_SECTION:
1911 pp_string (buffer, "#pragma omp section");
1912 goto dump_omp_body;
1913
1914 case OMP_MASTER:
1915 pp_string (buffer, "#pragma omp master");
1916 goto dump_omp_body;
1917
1918 case OMP_ORDERED:
1919 pp_string (buffer, "#pragma omp ordered");
1920 goto dump_omp_body;
1921
1922 case OMP_CRITICAL:
1923 pp_string (buffer, "#pragma omp critical");
1924 if (OMP_CRITICAL_NAME (node))
1925 {
1926 pp_space (buffer);
1927 pp_character (buffer, '(');
1928 dump_generic_node (buffer, OMP_CRITICAL_NAME (node), spc,
1929 flags, false);
1930 pp_character (buffer, ')');
1931 }
1932 goto dump_omp_body;
1933
1934 case OMP_ATOMIC:
1935 pp_string (buffer, "#pragma omp atomic");
1936 newline_and_indent (buffer, spc + 2);
1937 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
1938 pp_space (buffer);
1939 pp_character (buffer, '=');
1940 pp_space (buffer);
1941 dump_generic_node (buffer, TREE_OPERAND (node, 1), spc, flags, false);
1942 break;
1943
1944 case OMP_ATOMIC_LOAD:
1945 pp_string (buffer, "#pragma omp atomic_load");
1946 newline_and_indent (buffer, spc + 2);
1947 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
1948 pp_space (buffer);
1949 pp_character (buffer, '=');
1950 pp_space (buffer);
1951 pp_character (buffer, '*');
1952 dump_generic_node (buffer, TREE_OPERAND (node, 1), spc, flags, false);
1953 break;
1954
1955 case OMP_ATOMIC_STORE:
1956 pp_string (buffer, "#pragma omp atomic_store (");
1957 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
1958 pp_character (buffer, ')');
1959 break;
1960
1961 case OMP_SINGLE:
1962 pp_string (buffer, "#pragma omp single");
1963 dump_omp_clauses (buffer, OMP_SINGLE_CLAUSES (node), spc, flags);
1964 goto dump_omp_body;
1965
1966 case OMP_RETURN:
1967 pp_string (buffer, "OMP_RETURN");
1968 if (OMP_RETURN_NOWAIT (node))
1969 pp_string (buffer, " [nowait]");
1970 is_expr = false;
1971 break;
1972
1973 case OMP_CONTINUE:
1974 pp_string (buffer, "OMP_CONTINUE <");
1975 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
1976 pp_string (buffer, " <- ");
1977 dump_generic_node (buffer, TREE_OPERAND (node, 1), spc, flags, false);
1978 pp_string (buffer, ">");
1979 is_expr = false;
1980 break;
1981
1982 case OMP_CLAUSE:
1983 dump_omp_clause (buffer, node, spc, flags);
1984 is_expr = false;
1985 break;
1986
1987 case REDUC_MAX_EXPR:
1988 pp_string (buffer, " REDUC_MAX_EXPR < ");
1989 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
1990 pp_string (buffer, " > ");
1991 break;
1992
1993 case REDUC_MIN_EXPR:
1994 pp_string (buffer, " REDUC_MIN_EXPR < ");
1995 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
1996 pp_string (buffer, " > ");
1997 break;
1998
1999 case REDUC_PLUS_EXPR:
2000 pp_string (buffer, " REDUC_PLUS_EXPR < ");
2001 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
2002 pp_string (buffer, " > ");
2003 break;
2004
2005 case VEC_WIDEN_MULT_HI_EXPR:
2006 pp_string (buffer, " VEC_WIDEN_MULT_HI_EXPR < ");
2007 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
2008 pp_string (buffer, ", ");
2009 dump_generic_node (buffer, TREE_OPERAND (node, 1), spc, flags, false);
2010 pp_string (buffer, " > ");
2011 break;
2012
2013 case VEC_WIDEN_MULT_LO_EXPR:
2014 pp_string (buffer, " VEC_WIDEN_MULT_LO_EXPR < ");
2015 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
2016 pp_string (buffer, ", ");
2017 dump_generic_node (buffer, TREE_OPERAND (node, 1), spc, flags, false);
2018 pp_string (buffer, " > ");
2019 break;
2020
2021 case VEC_UNPACK_HI_EXPR:
2022 pp_string (buffer, " VEC_UNPACK_HI_EXPR < ");
2023 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
2024 pp_string (buffer, " > ");
2025 break;
2026
2027 case VEC_UNPACK_LO_EXPR:
2028 pp_string (buffer, " VEC_UNPACK_LO_EXPR < ");
2029 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
2030 pp_string (buffer, " > ");
2031 break;
2032
2033 case VEC_UNPACK_FLOAT_HI_EXPR:
2034 pp_string (buffer, " VEC_UNPACK_FLOAT_HI_EXPR < ");
2035 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
2036 pp_string (buffer, " > ");
2037 break;
2038
2039 case VEC_UNPACK_FLOAT_LO_EXPR:
2040 pp_string (buffer, " VEC_UNPACK_FLOAT_LO_EXPR < ");
2041 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
2042 pp_string (buffer, " > ");
2043 break;
2044
2045 case VEC_PACK_TRUNC_EXPR:
2046 pp_string (buffer, " VEC_PACK_TRUNC_EXPR < ");
2047 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
2048 pp_string (buffer, ", ");
2049 dump_generic_node (buffer, TREE_OPERAND (node, 1), spc, flags, false);
2050 pp_string (buffer, " > ");
2051 break;
2052
2053 case VEC_PACK_SAT_EXPR:
2054 pp_string (buffer, " VEC_PACK_SAT_EXPR < ");
2055 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
2056 pp_string (buffer, ", ");
2057 dump_generic_node (buffer, TREE_OPERAND (node, 1), spc, flags, false);
2058 pp_string (buffer, " > ");
2059 break;
2060
2061 case VEC_PACK_FIX_TRUNC_EXPR:
2062 pp_string (buffer, " VEC_PACK_FIX_TRUNC_EXPR < ");
2063 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
2064 pp_string (buffer, ", ");
2065 dump_generic_node (buffer, TREE_OPERAND (node, 1), spc, flags, false);
2066 pp_string (buffer, " > ");
2067 break;
2068
2069 case BLOCK:
2070 {
2071 tree t;
2072 pp_string (buffer, "BLOCK");
2073
2074 if (BLOCK_ABSTRACT (node))
2075 pp_string (buffer, " [abstract]");
2076
2077 if (TREE_ASM_WRITTEN (node))
2078 pp_string (buffer, " [written]");
2079
2080 newline_and_indent (buffer, spc + 2);
2081
2082 if (BLOCK_SUPERCONTEXT (node))
2083 {
2084 pp_string (buffer, "SUPERCONTEXT: ");
2085 if (TREE_CODE (BLOCK_SUPERCONTEXT (node)) == BLOCK)
2086 pp_printf (buffer, "BLOCK %p",
2087 (void *)BLOCK_SUPERCONTEXT (node));
2088 else
2089 dump_generic_node (buffer, BLOCK_SUPERCONTEXT (node), 0, flags,
2090 false);
2091 newline_and_indent (buffer, spc + 2);
2092 }
2093
2094 if (BLOCK_SUBBLOCKS (node))
2095 {
2096 pp_string (buffer, "SUBBLOCKS: ");
2097 for (t = BLOCK_SUBBLOCKS (node); t; t = BLOCK_CHAIN (t))
2098 pp_printf (buffer, "%p ", (void *)t);
2099 newline_and_indent (buffer, spc + 2);
2100 }
2101
2102 if (BLOCK_VARS (node))
2103 {
2104 pp_string (buffer, "VARS: ");
2105 for (t = BLOCK_VARS (node); t; t = TREE_CHAIN (t))
2106 {
2107 dump_generic_node (buffer, t, 0, flags, false);
2108 pp_string (buffer, " ");
2109 }
2110 newline_and_indent (buffer, spc + 2);
2111 }
2112
2113 if (BLOCK_ABSTRACT_ORIGIN (node))
2114 {
2115 pp_string (buffer, "ABSTRACT_ORIGIN: ");
2116 if (TREE_CODE (BLOCK_ABSTRACT_ORIGIN (node)) == BLOCK)
2117 pp_printf (buffer, "BLOCK %p",
2118 (void *)BLOCK_ABSTRACT_ORIGIN (node));
2119 else
2120 dump_generic_node (buffer, BLOCK_ABSTRACT_ORIGIN (node), 0, flags,
2121 false);
2122 newline_and_indent (buffer, spc + 2);
2123 }
2124 }
2125 break;
2126
2127 case VEC_EXTRACT_EVEN_EXPR:
2128 pp_string (buffer, " VEC_EXTRACT_EVEN_EXPR < ");
2129 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
2130 pp_string (buffer, ", ");
2131 dump_generic_node (buffer, TREE_OPERAND (node, 1), spc, flags, false);
2132 pp_string (buffer, " > ");
2133 break;
2134
2135 case VEC_EXTRACT_ODD_EXPR:
2136 pp_string (buffer, " VEC_EXTRACT_ODD_EXPR < ");
2137 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
2138 pp_string (buffer, ", ");
2139 dump_generic_node (buffer, TREE_OPERAND (node, 1), spc, flags, false);
2140 pp_string (buffer, " > ");
2141 break;
2142
2143 case VEC_INTERLEAVE_HIGH_EXPR:
2144 pp_string (buffer, " VEC_INTERLEAVE_HIGH_EXPR < ");
2145 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
2146 pp_string (buffer, ", ");
2147 dump_generic_node (buffer, TREE_OPERAND (node, 1), spc, flags, false);
2148 pp_string (buffer, " > ");
2149 break;
2150
2151 case VEC_INTERLEAVE_LOW_EXPR:
2152 pp_string (buffer, " VEC_INTERLEAVE_LOW_EXPR < ");
2153 dump_generic_node (buffer, TREE_OPERAND (node, 0), spc, flags, false);
2154 pp_string (buffer, ", ");
2155 dump_generic_node (buffer, TREE_OPERAND (node, 1), spc, flags, false);
2156 pp_string (buffer, " > ");
2157 break;
2158
2159 default:
2160 NIY;
2161 }
2162
2163 if (is_stmt && is_expr)
2164 pp_semicolon (buffer);
2165
2166 /* If we're building a diagnostic, the formatted text will be written
2167 into BUFFER's stream by the caller; otherwise, write it now. */
2168 if (!(flags & TDF_DIAGNOSTIC))
2169 pp_write_text_to_stream (buffer);
2170
2171 return spc;
2172 }
2173
2174 /* Print the declaration of a variable. */
2175
2176 static void
2177 print_declaration (pretty_printer *buffer, tree t, int spc, int flags)
2178 {
2179 INDENT (spc);
2180
2181 if (TREE_CODE (t) == TYPE_DECL)
2182 pp_string (buffer, "typedef ");
2183
2184 if (CODE_CONTAINS_STRUCT (TREE_CODE (t), TS_DECL_WRTL) && DECL_REGISTER (t))
2185 pp_string (buffer, "register ");
2186
2187 if (TREE_PUBLIC (t) && DECL_EXTERNAL (t))
2188 pp_string (buffer, "extern ");
2189 else if (TREE_STATIC (t))
2190 pp_string (buffer, "static ");
2191
2192 /* Print the type and name. */
2193 if (TREE_CODE (TREE_TYPE (t)) == ARRAY_TYPE)
2194 {
2195 tree tmp;
2196
2197 /* Print array's type. */
2198 tmp = TREE_TYPE (t);
2199 while (TREE_CODE (TREE_TYPE (tmp)) == ARRAY_TYPE)
2200 tmp = TREE_TYPE (tmp);
2201 dump_generic_node (buffer, TREE_TYPE (tmp), spc, flags, false);
2202
2203 /* Print variable's name. */
2204 pp_space (buffer);
2205 dump_generic_node (buffer, t, spc, flags, false);
2206
2207 /* Print the dimensions. */
2208 tmp = TREE_TYPE (t);
2209 while (TREE_CODE (tmp) == ARRAY_TYPE)
2210 {
2211 dump_array_domain (buffer, TYPE_DOMAIN (tmp), spc, flags);
2212 tmp = TREE_TYPE (tmp);
2213 }
2214 }
2215 else if (TREE_CODE (t) == FUNCTION_DECL)
2216 {
2217 dump_generic_node (buffer, TREE_TYPE (TREE_TYPE (t)), spc, flags, false);
2218 pp_space (buffer);
2219 dump_decl_name (buffer, t, flags);
2220 dump_function_declaration (buffer, TREE_TYPE (t), spc, flags);
2221 }
2222 else
2223 {
2224 /* Print type declaration. */
2225 dump_generic_node (buffer, TREE_TYPE (t), spc, flags, false);
2226
2227 /* Print variable's name. */
2228 pp_space (buffer);
2229 dump_generic_node (buffer, t, spc, flags, false);
2230 }
2231
2232 if (TREE_CODE (t) == VAR_DECL && DECL_HARD_REGISTER (t))
2233 {
2234 pp_string (buffer, " __asm__ ");
2235 pp_character (buffer, '(');
2236 dump_generic_node (buffer, DECL_ASSEMBLER_NAME (t), spc, flags, false);
2237 pp_character (buffer, ')');
2238 }
2239
2240 /* The initial value of a function serves to determine wether the function
2241 is declared or defined. So the following does not apply to function
2242 nodes. */
2243 if (TREE_CODE (t) != FUNCTION_DECL)
2244 {
2245 /* Print the initial value. */
2246 if (DECL_INITIAL (t))
2247 {
2248 pp_space (buffer);
2249 pp_character (buffer, '=');
2250 pp_space (buffer);
2251 dump_generic_node (buffer, DECL_INITIAL (t), spc, flags, false);
2252 }
2253 }
2254
2255 if (TREE_CODE (t) == VAR_DECL && DECL_HAS_VALUE_EXPR_P (t))
2256 {
2257 pp_string (buffer, " [value-expr: ");
2258 dump_generic_node (buffer, DECL_VALUE_EXPR (t), spc, flags, false);
2259 pp_character (buffer, ']');
2260 }
2261
2262 pp_character (buffer, ';');
2263 }
2264
2265
2266 /* Prints a structure: name, fields, and methods.
2267 FIXME: Still incomplete. */
2268
2269 static void
2270 print_struct_decl (pretty_printer *buffer, const_tree node, int spc, int flags)
2271 {
2272 /* Print the name of the structure. */
2273 if (TYPE_NAME (node))
2274 {
2275 INDENT (spc);
2276 if (TREE_CODE (node) == RECORD_TYPE)
2277 pp_string (buffer, "struct ");
2278 else if ((TREE_CODE (node) == UNION_TYPE
2279 || TREE_CODE (node) == QUAL_UNION_TYPE))
2280 pp_string (buffer, "union ");
2281
2282 dump_generic_node (buffer, TYPE_NAME (node), spc, 0, false);
2283 }
2284
2285 /* Print the contents of the structure. */
2286 pp_newline (buffer);
2287 INDENT (spc);
2288 pp_character (buffer, '{');
2289 pp_newline (buffer);
2290
2291 /* Print the fields of the structure. */
2292 {
2293 tree tmp;
2294 tmp = TYPE_FIELDS (node);
2295 while (tmp)
2296 {
2297 /* Avoid to print recursively the structure. */
2298 /* FIXME : Not implemented correctly...,
2299 what about the case when we have a cycle in the contain graph? ...
2300 Maybe this could be solved by looking at the scope in which the
2301 structure was declared. */
2302 if (TREE_TYPE (tmp) != node
2303 || (TREE_CODE (TREE_TYPE (tmp)) == POINTER_TYPE
2304 && TREE_TYPE (TREE_TYPE (tmp)) != node))
2305 {
2306 print_declaration (buffer, tmp, spc+2, flags);
2307 pp_newline (buffer);
2308 }
2309 tmp = TREE_CHAIN (tmp);
2310 }
2311 }
2312 INDENT (spc);
2313 pp_character (buffer, '}');
2314 }
2315
2316 /* Return the priority of the operator OP.
2317
2318 From lowest to highest precedence with either left-to-right (L-R)
2319 or right-to-left (R-L) associativity]:
2320
2321 1 [L-R] ,
2322 2 [R-L] = += -= *= /= %= &= ^= |= <<= >>=
2323 3 [R-L] ?:
2324 4 [L-R] ||
2325 5 [L-R] &&
2326 6 [L-R] |
2327 7 [L-R] ^
2328 8 [L-R] &
2329 9 [L-R] == !=
2330 10 [L-R] < <= > >=
2331 11 [L-R] << >>
2332 12 [L-R] + -
2333 13 [L-R] * / %
2334 14 [R-L] ! ~ ++ -- + - * & (type) sizeof
2335 15 [L-R] fn() [] -> .
2336
2337 unary +, - and * have higher precedence than the corresponding binary
2338 operators. */
2339
2340 static int
2341 op_prio (const_tree op)
2342 {
2343 if (op == NULL)
2344 return 9999;
2345
2346 switch (TREE_CODE (op))
2347 {
2348 case TREE_LIST:
2349 case COMPOUND_EXPR:
2350 case BIND_EXPR:
2351 return 1;
2352
2353 case MODIFY_EXPR:
2354 case GIMPLE_MODIFY_STMT:
2355 case INIT_EXPR:
2356 return 2;
2357
2358 case COND_EXPR:
2359 return 3;
2360
2361 case TRUTH_OR_EXPR:
2362 case TRUTH_ORIF_EXPR:
2363 return 4;
2364
2365 case TRUTH_AND_EXPR:
2366 case TRUTH_ANDIF_EXPR:
2367 return 5;
2368
2369 case BIT_IOR_EXPR:
2370 return 6;
2371
2372 case BIT_XOR_EXPR:
2373 case TRUTH_XOR_EXPR:
2374 return 7;
2375
2376 case BIT_AND_EXPR:
2377 return 8;
2378
2379 case EQ_EXPR:
2380 case NE_EXPR:
2381 return 9;
2382
2383 case UNLT_EXPR:
2384 case UNLE_EXPR:
2385 case UNGT_EXPR:
2386 case UNGE_EXPR:
2387 case UNEQ_EXPR:
2388 case LTGT_EXPR:
2389 case ORDERED_EXPR:
2390 case UNORDERED_EXPR:
2391 case LT_EXPR:
2392 case LE_EXPR:
2393 case GT_EXPR:
2394 case GE_EXPR:
2395 return 10;
2396
2397 case LSHIFT_EXPR:
2398 case RSHIFT_EXPR:
2399 case LROTATE_EXPR:
2400 case RROTATE_EXPR:
2401 return 11;
2402
2403 case WIDEN_SUM_EXPR:
2404 case PLUS_EXPR:
2405 case POINTER_PLUS_EXPR:
2406 case MINUS_EXPR:
2407 return 12;
2408
2409 case VEC_WIDEN_MULT_HI_EXPR:
2410 case VEC_WIDEN_MULT_LO_EXPR:
2411 case WIDEN_MULT_EXPR:
2412 case DOT_PROD_EXPR:
2413 case MULT_EXPR:
2414 case TRUNC_DIV_EXPR:
2415 case CEIL_DIV_EXPR:
2416 case FLOOR_DIV_EXPR:
2417 case ROUND_DIV_EXPR:
2418 case RDIV_EXPR:
2419 case EXACT_DIV_EXPR:
2420 case TRUNC_MOD_EXPR:
2421 case CEIL_MOD_EXPR:
2422 case FLOOR_MOD_EXPR:
2423 case ROUND_MOD_EXPR:
2424 return 13;
2425
2426 case TRUTH_NOT_EXPR:
2427 case BIT_NOT_EXPR:
2428 case POSTINCREMENT_EXPR:
2429 case POSTDECREMENT_EXPR:
2430 case PREINCREMENT_EXPR:
2431 case PREDECREMENT_EXPR:
2432 case NEGATE_EXPR:
2433 case ALIGN_INDIRECT_REF:
2434 case MISALIGNED_INDIRECT_REF:
2435 case INDIRECT_REF:
2436 case ADDR_EXPR:
2437 case FLOAT_EXPR:
2438 case NOP_EXPR:
2439 case CONVERT_EXPR:
2440 case FIX_TRUNC_EXPR:
2441 case TARGET_EXPR:
2442 return 14;
2443
2444 case CALL_EXPR:
2445 case ARRAY_REF:
2446 case ARRAY_RANGE_REF:
2447 case COMPONENT_REF:
2448 return 15;
2449
2450 /* Special expressions. */
2451 case MIN_EXPR:
2452 case MAX_EXPR:
2453 case ABS_EXPR:
2454 case REALPART_EXPR:
2455 case IMAGPART_EXPR:
2456 case REDUC_MAX_EXPR:
2457 case REDUC_MIN_EXPR:
2458 case REDUC_PLUS_EXPR:
2459 case VEC_LSHIFT_EXPR:
2460 case VEC_RSHIFT_EXPR:
2461 case VEC_UNPACK_HI_EXPR:
2462 case VEC_UNPACK_LO_EXPR:
2463 case VEC_UNPACK_FLOAT_HI_EXPR:
2464 case VEC_UNPACK_FLOAT_LO_EXPR:
2465 case VEC_PACK_TRUNC_EXPR:
2466 case VEC_PACK_SAT_EXPR:
2467 return 16;
2468
2469 case SAVE_EXPR:
2470 case NON_LVALUE_EXPR:
2471 return op_prio (TREE_OPERAND (op, 0));
2472
2473 default:
2474 /* Return an arbitrarily high precedence to avoid surrounding single
2475 VAR_DECLs in ()s. */
2476 return 9999;
2477 }
2478 }
2479
2480
2481 /* Return the symbol associated with operator CODE. */
2482
2483 const char *
2484 op_symbol_code (enum tree_code code)
2485 {
2486 switch (code)
2487 {
2488 case MODIFY_EXPR:
2489 case GIMPLE_MODIFY_STMT:
2490 return "=";
2491
2492 case TRUTH_OR_EXPR:
2493 case TRUTH_ORIF_EXPR:
2494 return "||";
2495
2496 case TRUTH_AND_EXPR:
2497 case TRUTH_ANDIF_EXPR:
2498 return "&&";
2499
2500 case BIT_IOR_EXPR:
2501 return "|";
2502
2503 case TRUTH_XOR_EXPR:
2504 case BIT_XOR_EXPR:
2505 return "^";
2506
2507 case ADDR_EXPR:
2508 case BIT_AND_EXPR:
2509 return "&";
2510
2511 case ORDERED_EXPR:
2512 return "ord";
2513 case UNORDERED_EXPR:
2514 return "unord";
2515
2516 case EQ_EXPR:
2517 return "==";
2518 case UNEQ_EXPR:
2519 return "u==";
2520
2521 case NE_EXPR:
2522 return "!=";
2523
2524 case LT_EXPR:
2525 return "<";
2526 case UNLT_EXPR:
2527 return "u<";
2528
2529 case LE_EXPR:
2530 return "<=";
2531 case UNLE_EXPR:
2532 return "u<=";
2533
2534 case GT_EXPR:
2535 return ">";
2536 case UNGT_EXPR:
2537 return "u>";
2538
2539 case GE_EXPR:
2540 return ">=";
2541 case UNGE_EXPR:
2542 return "u>=";
2543
2544 case LTGT_EXPR:
2545 return "<>";
2546
2547 case LSHIFT_EXPR:
2548 return "<<";
2549
2550 case RSHIFT_EXPR:
2551 return ">>";
2552
2553 case LROTATE_EXPR:
2554 return "r<<";
2555
2556 case RROTATE_EXPR:
2557 return "r>>";
2558
2559 case VEC_LSHIFT_EXPR:
2560 return "v<<";
2561
2562 case VEC_RSHIFT_EXPR:
2563 return "v>>";
2564
2565 case POINTER_PLUS_EXPR:
2566 return "+";
2567
2568 case PLUS_EXPR:
2569 return "+";
2570
2571 case REDUC_PLUS_EXPR:
2572 return "r+";
2573
2574 case WIDEN_SUM_EXPR:
2575 return "w+";
2576
2577 case WIDEN_MULT_EXPR:
2578 return "w*";
2579
2580 case NEGATE_EXPR:
2581 case MINUS_EXPR:
2582 return "-";
2583
2584 case BIT_NOT_EXPR:
2585 return "~";
2586
2587 case TRUTH_NOT_EXPR:
2588 return "!";
2589
2590 case MULT_EXPR:
2591 case INDIRECT_REF:
2592 return "*";
2593
2594 case ALIGN_INDIRECT_REF:
2595 return "A*";
2596
2597 case MISALIGNED_INDIRECT_REF:
2598 return "M*";
2599
2600 case TRUNC_DIV_EXPR:
2601 case RDIV_EXPR:
2602 return "/";
2603
2604 case CEIL_DIV_EXPR:
2605 return "/[cl]";
2606
2607 case FLOOR_DIV_EXPR:
2608 return "/[fl]";
2609
2610 case ROUND_DIV_EXPR:
2611 return "/[rd]";
2612
2613 case EXACT_DIV_EXPR:
2614 return "/[ex]";
2615
2616 case TRUNC_MOD_EXPR:
2617 return "%";
2618
2619 case CEIL_MOD_EXPR:
2620 return "%[cl]";
2621
2622 case FLOOR_MOD_EXPR:
2623 return "%[fl]";
2624
2625 case ROUND_MOD_EXPR:
2626 return "%[rd]";
2627
2628 case PREDECREMENT_EXPR:
2629 return " --";
2630
2631 case PREINCREMENT_EXPR:
2632 return " ++";
2633
2634 case POSTDECREMENT_EXPR:
2635 return "-- ";
2636
2637 case POSTINCREMENT_EXPR:
2638 return "++ ";
2639
2640 case MAX_EXPR:
2641 return "max";
2642
2643 case MIN_EXPR:
2644 return "min";
2645
2646 default:
2647 return "<<< ??? >>>";
2648 }
2649 }
2650
2651 /* Return the symbol associated with operator OP. */
2652
2653 static const char *
2654 op_symbol (const_tree op)
2655 {
2656 return op_symbol_code (TREE_CODE (op));
2657 }
2658
2659 /* Prints the name of a CALL_EXPR. */
2660
2661 static void
2662 print_call_name (pretty_printer *buffer, const_tree node)
2663 {
2664 tree op0;
2665
2666 gcc_assert (TREE_CODE (node) == CALL_EXPR);
2667
2668 op0 = CALL_EXPR_FN (node);
2669
2670 if (TREE_CODE (op0) == NON_LVALUE_EXPR)
2671 op0 = TREE_OPERAND (op0, 0);
2672
2673 switch (TREE_CODE (op0))
2674 {
2675 case VAR_DECL:
2676 case PARM_DECL:
2677 dump_function_name (buffer, op0);
2678 break;
2679
2680 case ADDR_EXPR:
2681 case INDIRECT_REF:
2682 case NOP_EXPR:
2683 dump_generic_node (buffer, TREE_OPERAND (op0, 0), 0, 0, false);
2684 break;
2685
2686 case COND_EXPR:
2687 pp_string (buffer, "(");
2688 dump_generic_node (buffer, TREE_OPERAND (op0, 0), 0, 0, false);
2689 pp_string (buffer, ") ? ");
2690 dump_generic_node (buffer, TREE_OPERAND (op0, 1), 0, 0, false);
2691 pp_string (buffer, " : ");
2692 dump_generic_node (buffer, TREE_OPERAND (op0, 2), 0, 0, false);
2693 break;
2694
2695 case COMPONENT_REF:
2696 /* The function is a pointer contained in a structure. */
2697 if (TREE_CODE (TREE_OPERAND (op0, 0)) == INDIRECT_REF ||
2698 TREE_CODE (TREE_OPERAND (op0, 0)) == VAR_DECL)
2699 dump_function_name (buffer, TREE_OPERAND (op0, 1));
2700 else
2701 dump_generic_node (buffer, TREE_OPERAND (op0, 0), 0, 0, false);
2702 /* else
2703 We can have several levels of structures and a function
2704 pointer inside. This is not implemented yet... */
2705 /* NIY;*/
2706 break;
2707
2708 case ARRAY_REF:
2709 if (TREE_CODE (TREE_OPERAND (op0, 0)) == VAR_DECL)
2710 dump_function_name (buffer, TREE_OPERAND (op0, 0));
2711 else
2712 dump_generic_node (buffer, op0, 0, 0, false);
2713 break;
2714
2715 case SSA_NAME:
2716 case OBJ_TYPE_REF:
2717 dump_generic_node (buffer, op0, 0, 0, false);
2718 break;
2719
2720 default:
2721 NIY;
2722 }
2723 }
2724
2725 /* Parses the string STR and replaces new-lines by '\n', tabs by '\t', ... */
2726
2727 static void
2728 pretty_print_string (pretty_printer *buffer, const char *str)
2729 {
2730 if (str == NULL)
2731 return;
2732
2733 while (*str)
2734 {
2735 switch (str[0])
2736 {
2737 case '\b':
2738 pp_string (buffer, "\\b");
2739 break;
2740
2741 case '\f':
2742 pp_string (buffer, "\\f");
2743 break;
2744
2745 case '\n':
2746 pp_string (buffer, "\\n");
2747 break;
2748
2749 case '\r':
2750 pp_string (buffer, "\\r");
2751 break;
2752
2753 case '\t':
2754 pp_string (buffer, "\\t");
2755 break;
2756
2757 case '\v':
2758 pp_string (buffer, "\\v");
2759 break;
2760
2761 case '\\':
2762 pp_string (buffer, "\\\\");
2763 break;
2764
2765 case '\"':
2766 pp_string (buffer, "\\\"");
2767 break;
2768
2769 case '\'':
2770 pp_string (buffer, "\\'");
2771 break;
2772
2773 /* No need to handle \0; the loop terminates on \0. */
2774
2775 case '\1':
2776 pp_string (buffer, "\\1");
2777 break;
2778
2779 case '\2':
2780 pp_string (buffer, "\\2");
2781 break;
2782
2783 case '\3':
2784 pp_string (buffer, "\\3");
2785 break;
2786
2787 case '\4':
2788 pp_string (buffer, "\\4");
2789 break;
2790
2791 case '\5':
2792 pp_string (buffer, "\\5");
2793 break;
2794
2795 case '\6':
2796 pp_string (buffer, "\\6");
2797 break;
2798
2799 case '\7':
2800 pp_string (buffer, "\\7");
2801 break;
2802
2803 default:
2804 pp_character (buffer, str[0]);
2805 break;
2806 }
2807 str++;
2808 }
2809 }
2810
2811 static void
2812 maybe_init_pretty_print (FILE *file)
2813 {
2814 if (!initialized)
2815 {
2816 pp_construct (&buffer, /* prefix */NULL, /* line-width */0);
2817 pp_needs_newline (&buffer) = true;
2818 initialized = 1;
2819 }
2820
2821 buffer.buffer->stream = file;
2822 }
2823
2824 static void
2825 newline_and_indent (pretty_printer *buffer, int spc)
2826 {
2827 pp_newline (buffer);
2828 INDENT (spc);
2829 }
2830
2831
2832 static void
2833 dump_vops (pretty_printer *buffer, tree stmt, int spc, int flags)
2834 {
2835 struct voptype_d *vdefs;
2836 struct voptype_d *vuses;
2837 int i, n;
2838
2839 if (!ssa_operands_active () || !stmt_references_memory_p (stmt))
2840 return;
2841
2842 /* Even if the statement doesn't have virtual operators yet, it may
2843 contain symbol information (this happens before aliases have been
2844 computed). */
2845 if ((flags & TDF_MEMSYMS)
2846 && VUSE_OPS (stmt) == NULL
2847 && VDEF_OPS (stmt) == NULL)
2848 {
2849 if (LOADED_SYMS (stmt))
2850 {
2851 pp_string (buffer, "# LOADS: ");
2852 dump_symbols (buffer, LOADED_SYMS (stmt), flags);
2853 newline_and_indent (buffer, spc);
2854 }
2855
2856 if (STORED_SYMS (stmt))
2857 {
2858 pp_string (buffer, "# STORES: ");
2859 dump_symbols (buffer, STORED_SYMS (stmt), flags);
2860 newline_and_indent (buffer, spc);
2861 }
2862
2863 return;
2864 }
2865
2866 vuses = VUSE_OPS (stmt);
2867 while (vuses)
2868 {
2869 pp_string (buffer, "# VUSE <");
2870
2871 n = VUSE_NUM (vuses);
2872 for (i = 0; i < n; i++)
2873 {
2874 dump_generic_node (buffer, VUSE_OP (vuses, i), spc + 2, flags, false);
2875 if (i < n - 1)
2876 pp_string (buffer, ", ");
2877 }
2878
2879 pp_string (buffer, ">");
2880
2881 if (flags & TDF_MEMSYMS)
2882 dump_symbols (buffer, LOADED_SYMS (stmt), flags);
2883
2884 newline_and_indent (buffer, spc);
2885 vuses = vuses->next;
2886 }
2887
2888 vdefs = VDEF_OPS (stmt);
2889 while (vdefs)
2890 {
2891 pp_string (buffer, "# ");
2892 dump_generic_node (buffer, VDEF_RESULT (vdefs), spc + 2, flags, false);
2893 pp_string (buffer, " = VDEF <");
2894
2895 n = VDEF_NUM (vdefs);
2896 for (i = 0; i < n; i++)
2897 {
2898 dump_generic_node (buffer, VDEF_OP (vdefs, i), spc + 2, flags, 0);
2899 if (i < n - 1)
2900 pp_string (buffer, ", ");
2901 }
2902
2903 pp_string (buffer, ">");
2904
2905 if ((flags & TDF_MEMSYMS) && vdefs->next == NULL)
2906 dump_symbols (buffer, STORED_SYMS (stmt), flags);
2907
2908 newline_and_indent (buffer, spc);
2909 vdefs = vdefs->next;
2910 }
2911 }
2912
2913
2914 /* Dumps basic block BB to FILE with details described by FLAGS and
2915 indented by INDENT spaces. */
2916
2917 void
2918 dump_generic_bb (FILE *file, basic_block bb, int indent, int flags)
2919 {
2920 maybe_init_pretty_print (file);
2921 dump_generic_bb_buff (&buffer, bb, indent, flags);
2922 pp_flush (&buffer);
2923 }
2924
2925 /* Dumps header of basic block BB to buffer BUFFER indented by INDENT
2926 spaces and details described by flags. */
2927
2928 static void
2929 dump_bb_header (pretty_printer *buffer, basic_block bb, int indent, int flags)
2930 {
2931 edge e;
2932 tree stmt;
2933 edge_iterator ei;
2934
2935 if (flags & TDF_BLOCKS)
2936 {
2937 INDENT (indent);
2938 pp_string (buffer, "# BLOCK ");
2939 pp_decimal_int (buffer, bb->index);
2940 if (bb->frequency)
2941 {
2942 pp_string (buffer, " freq:");
2943 pp_decimal_int (buffer, bb->frequency);
2944 }
2945 if (bb->count)
2946 {
2947 pp_string (buffer, " count:");
2948 pp_widest_integer (buffer, bb->count);
2949 }
2950
2951 if (flags & TDF_LINENO)
2952 {
2953 block_stmt_iterator bsi;
2954
2955 for (bsi = bsi_start (bb); !bsi_end_p (bsi); bsi_next (&bsi))
2956 if (get_lineno (bsi_stmt (bsi)) != -1)
2957 {
2958 pp_string (buffer, ", starting at line ");
2959 pp_decimal_int (buffer, get_lineno (bsi_stmt (bsi)));
2960 break;
2961 }
2962 }
2963 newline_and_indent (buffer, indent);
2964
2965 pp_string (buffer, "# PRED:");
2966 pp_write_text_to_stream (buffer);
2967 FOR_EACH_EDGE (e, ei, bb->preds)
2968 if (flags & TDF_SLIM)
2969 {
2970 pp_string (buffer, " ");
2971 if (e->src == ENTRY_BLOCK_PTR)
2972 pp_string (buffer, "ENTRY");
2973 else
2974 pp_decimal_int (buffer, e->src->index);
2975 }
2976 else
2977 dump_edge_info (buffer->buffer->stream, e, 0);
2978 pp_newline (buffer);
2979 }
2980 else
2981 {
2982 stmt = first_stmt (bb);
2983 if (!stmt || TREE_CODE (stmt) != LABEL_EXPR)
2984 {
2985 INDENT (indent - 2);
2986 pp_string (buffer, "<bb ");
2987 pp_decimal_int (buffer, bb->index);
2988 pp_string (buffer, ">:");
2989 pp_newline (buffer);
2990 }
2991 }
2992 pp_write_text_to_stream (buffer);
2993 check_bb_profile (bb, buffer->buffer->stream);
2994 }
2995
2996 /* Dumps end of basic block BB to buffer BUFFER indented by INDENT
2997 spaces. */
2998
2999 static void
3000 dump_bb_end (pretty_printer *buffer, basic_block bb, int indent, int flags)
3001 {
3002 edge e;
3003 edge_iterator ei;
3004
3005 INDENT (indent);
3006 pp_string (buffer, "# SUCC:");
3007 pp_write_text_to_stream (buffer);
3008 FOR_EACH_EDGE (e, ei, bb->succs)
3009 if (flags & TDF_SLIM)
3010 {
3011 pp_string (buffer, " ");
3012 if (e->dest == EXIT_BLOCK_PTR)
3013 pp_string (buffer, "EXIT");
3014 else
3015 pp_decimal_int (buffer, e->dest->index);
3016 }
3017 else
3018 dump_edge_info (buffer->buffer->stream, e, 1);
3019 pp_newline (buffer);
3020 }
3021
3022 /* Dump PHI nodes of basic block BB to BUFFER with details described
3023 by FLAGS and indented by INDENT spaces. */
3024
3025 static void
3026 dump_phi_nodes (pretty_printer *buffer, basic_block bb, int indent, int flags)
3027 {
3028 tree phi = phi_nodes (bb);
3029 if (!phi)
3030 return;
3031
3032 for (; phi; phi = PHI_CHAIN (phi))
3033 {
3034 if (is_gimple_reg (PHI_RESULT (phi)) || (flags & TDF_VOPS))
3035 {
3036 INDENT (indent);
3037 pp_string (buffer, "# ");
3038 dump_generic_node (buffer, phi, indent, flags, false);
3039 pp_newline (buffer);
3040 }
3041 }
3042 }
3043
3044
3045 /* Dump jump to basic block BB that is represented implicitly in the cfg
3046 to BUFFER. */
3047
3048 static void
3049 pp_cfg_jump (pretty_printer *buffer, basic_block bb)
3050 {
3051 tree stmt;
3052
3053 stmt = first_stmt (bb);
3054
3055 pp_string (buffer, "goto <bb ");
3056 pp_decimal_int (buffer, bb->index);
3057 pp_string (buffer, ">");
3058 if (stmt && TREE_CODE (stmt) == LABEL_EXPR)
3059 {
3060 pp_string (buffer, " (");
3061 dump_generic_node (buffer, LABEL_EXPR_LABEL (stmt), 0, 0, false);
3062 pp_string (buffer, ")");
3063 }
3064 pp_semicolon (buffer);
3065 }
3066
3067 /* Dump edges represented implicitly in basic block BB to BUFFER, indented
3068 by INDENT spaces, with details given by FLAGS. */
3069
3070 static void
3071 dump_implicit_edges (pretty_printer *buffer, basic_block bb, int indent,
3072 int flags)
3073 {
3074 edge e;
3075 edge_iterator ei;
3076 tree stmt;
3077
3078 stmt = last_stmt (bb);
3079 if (stmt && TREE_CODE (stmt) == COND_EXPR)
3080 {
3081 edge true_edge, false_edge;
3082
3083 /* When we are emitting the code or changing CFG, it is possible that
3084 the edges are not yet created. When we are using debug_bb in such
3085 a situation, we do not want it to crash. */
3086 if (EDGE_COUNT (bb->succs) != 2)
3087 return;
3088 extract_true_false_edges_from_block (bb, &true_edge, &false_edge);
3089
3090 INDENT (indent + 2);
3091 pp_cfg_jump (buffer, true_edge->dest);
3092 newline_and_indent (buffer, indent);
3093 pp_string (buffer, "else");
3094 newline_and_indent (buffer, indent + 2);
3095 pp_cfg_jump (buffer, false_edge->dest);
3096 pp_newline (buffer);
3097 return;
3098 }
3099
3100 /* If there is a fallthru edge, we may need to add an artificial goto to the
3101 dump. */
3102 FOR_EACH_EDGE (e, ei, bb->succs)
3103 if (e->flags & EDGE_FALLTHRU)
3104 break;
3105 if (e && e->dest != bb->next_bb)
3106 {
3107 INDENT (indent);
3108
3109 if ((flags & TDF_LINENO)
3110 #ifdef USE_MAPPED_LOCATION
3111 && e->goto_locus != UNKNOWN_LOCATION
3112 #else
3113 && e->goto_locus
3114 #endif
3115 )
3116 {
3117 expanded_location goto_xloc;
3118 #ifdef USE_MAPPED_LOCATION
3119 goto_xloc = expand_location (e->goto_locus);
3120 #else
3121 goto_xloc = *e->goto_locus;
3122 #endif
3123 pp_character (buffer, '[');
3124 if (goto_xloc.file)
3125 {
3126 pp_string (buffer, goto_xloc.file);
3127 pp_string (buffer, " : ");
3128 }
3129 pp_decimal_int (buffer, goto_xloc.line);
3130 pp_string (buffer, "] ");
3131 }
3132
3133 pp_cfg_jump (buffer, e->dest);
3134 pp_newline (buffer);
3135 }
3136 }
3137
3138 /* Dumps basic block BB to buffer BUFFER with details described by FLAGS and
3139 indented by INDENT spaces. */
3140
3141 static void
3142 dump_generic_bb_buff (pretty_printer *buffer, basic_block bb,
3143 int indent, int flags)
3144 {
3145 block_stmt_iterator bsi;
3146 tree stmt;
3147 int label_indent = indent - 2;
3148
3149 if (label_indent < 0)
3150 label_indent = 0;
3151
3152 dump_bb_header (buffer, bb, indent, flags);
3153
3154 dump_phi_nodes (buffer, bb, indent, flags);
3155
3156 for (bsi = bsi_start (bb); !bsi_end_p (bsi); bsi_next (&bsi))
3157 {
3158 int curr_indent;
3159
3160 stmt = bsi_stmt (bsi);
3161
3162 curr_indent = TREE_CODE (stmt) == LABEL_EXPR ? label_indent : indent;
3163
3164 INDENT (curr_indent);
3165 dump_generic_node (buffer, stmt, curr_indent, flags, true);
3166 pp_newline (buffer);
3167 dump_histograms_for_stmt (cfun, buffer->buffer->stream, stmt);
3168 }
3169
3170 dump_implicit_edges (buffer, bb, indent, flags);
3171
3172 if (flags & TDF_BLOCKS)
3173 dump_bb_end (buffer, bb, indent, flags);
3174 }
Mirror of the offical gcc git repository hosted at gcc.gnu.org