2008-11-19 Andrew Stubbs <ams@codesourcery.com>
[official-gcc.git] / gcc / c-pretty-print.c
blob9ee2738ca82ac2acb75579abdcd5913bebb5290c
1 /* Subroutines common to both C and C++ pretty-printers.
2 Copyright (C) 2002, 2003, 2004, 2005, 2006, 2007, 2008
3 Free Software Foundation, Inc.
4 Contributed by Gabriel Dos Reis <gdr@integrable-solutions.net>
6 This file is part of GCC.
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.
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.
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/>. */
22 #include "config.h"
23 #include "system.h"
24 #include "coretypes.h"
25 #include "tm.h"
26 #include "real.h"
27 #include "fixed-value.h"
28 #include "c-pretty-print.h"
29 #include "c-tree.h"
30 #include "tree-iterator.h"
31 #include "diagnostic.h"
33 /* The pretty-printer code is primarily designed to closely follow
34 (GNU) C and C++ grammars. That is to be contrasted with spaghetti
35 codes we used to have in the past. Following a structured
36 approach (preferably the official grammars) is believed to make it
37 much easier to add extensions and nifty pretty-printing effects that
38 takes expression or declaration contexts into account. */
41 #define pp_c_maybe_whitespace(PP) \
42 do { \
43 if (pp_base (PP)->padding == pp_before) \
44 pp_c_whitespace (PP); \
45 } while (0)
47 /* literal */
48 static void pp_c_char (c_pretty_printer *, int);
50 /* postfix-expression */
51 static void pp_c_initializer_list (c_pretty_printer *, tree);
52 static void pp_c_brace_enclosed_initializer_list (c_pretty_printer *, tree);
54 static void pp_c_multiplicative_expression (c_pretty_printer *, tree);
55 static void pp_c_additive_expression (c_pretty_printer *, tree);
56 static void pp_c_shift_expression (c_pretty_printer *, tree);
57 static void pp_c_relational_expression (c_pretty_printer *, tree);
58 static void pp_c_equality_expression (c_pretty_printer *, tree);
59 static void pp_c_and_expression (c_pretty_printer *, tree);
60 static void pp_c_exclusive_or_expression (c_pretty_printer *, tree);
61 static void pp_c_inclusive_or_expression (c_pretty_printer *, tree);
62 static void pp_c_logical_and_expression (c_pretty_printer *, tree);
63 static void pp_c_conditional_expression (c_pretty_printer *, tree);
64 static void pp_c_assignment_expression (c_pretty_printer *, tree);
66 /* declarations. */
69 /* Helper functions. */
71 void
72 pp_c_whitespace (c_pretty_printer *pp)
74 pp_space (pp);
75 pp_base (pp)->padding = pp_none;
78 void
79 pp_c_left_paren (c_pretty_printer *pp)
81 pp_left_paren (pp);
82 pp_base (pp)->padding = pp_none;
85 void
86 pp_c_right_paren (c_pretty_printer *pp)
88 pp_right_paren (pp);
89 pp_base (pp)->padding = pp_none;
92 void
93 pp_c_left_brace (c_pretty_printer *pp)
95 pp_left_brace (pp);
96 pp_base (pp)->padding = pp_none;
99 void
100 pp_c_right_brace (c_pretty_printer *pp)
102 pp_right_brace (pp);
103 pp_base (pp)->padding = pp_none;
106 void
107 pp_c_left_bracket (c_pretty_printer *pp)
109 pp_left_bracket (pp);
110 pp_base (pp)->padding = pp_none;
113 void
114 pp_c_right_bracket (c_pretty_printer *pp)
116 pp_right_bracket (pp);
117 pp_base (pp)->padding = pp_none;
120 void
121 pp_c_dot (c_pretty_printer *pp)
123 pp_dot (pp);
124 pp_base (pp)->padding = pp_none;
127 void
128 pp_c_ampersand (c_pretty_printer *pp)
130 pp_ampersand (pp);
131 pp_base (pp)->padding = pp_none;
134 void
135 pp_c_star (c_pretty_printer *pp)
137 pp_star (pp);
138 pp_base (pp)->padding = pp_none;
141 void
142 pp_c_arrow (c_pretty_printer *pp)
144 pp_arrow (pp);
145 pp_base (pp)->padding = pp_none;
148 void
149 pp_c_semicolon (c_pretty_printer *pp)
151 pp_semicolon (pp);
152 pp_base (pp)->padding = pp_none;
155 void
156 pp_c_complement (c_pretty_printer *pp)
158 pp_complement (pp);
159 pp_base (pp)->padding = pp_none;
162 void
163 pp_c_exclamation (c_pretty_printer *pp)
165 pp_exclamation (pp);
166 pp_base (pp)->padding = pp_none;
169 /* Print out the external representation of CV-QUALIFIER. */
171 static void
172 pp_c_cv_qualifier (c_pretty_printer *pp, const char *cv)
174 const char *p = pp_last_position_in_text (pp);
175 /* The C programming language does not have references, but it is much
176 simpler to handle those here rather than going through the same
177 logic in the C++ pretty-printer. */
178 if (p != NULL && (*p == '*' || *p == '&'))
179 pp_c_whitespace (pp);
180 pp_c_identifier (pp, cv);
183 /* Pretty-print T using the type-cast notation '( type-name )'. */
185 static void
186 pp_c_type_cast (c_pretty_printer *pp, tree t)
188 pp_c_left_paren (pp);
189 pp_type_id (pp, t);
190 pp_c_right_paren (pp);
193 /* We're about to pretty-print a pointer type as indicated by T.
194 Output a whitespace, if needed, preparing for subsequent output. */
196 void
197 pp_c_space_for_pointer_operator (c_pretty_printer *pp, tree t)
199 if (POINTER_TYPE_P (t))
201 tree pointee = strip_pointer_operator (TREE_TYPE (t));
202 if (TREE_CODE (pointee) != ARRAY_TYPE
203 && TREE_CODE (pointee) != FUNCTION_TYPE)
204 pp_c_whitespace (pp);
209 /* Declarations. */
211 /* C++ cv-qualifiers are called type-qualifiers in C. Print out the
212 cv-qualifiers of T. If T is a declaration then it is the cv-qualifier
213 of its type. Take care of possible extensions.
215 type-qualifier-list:
216 type-qualifier
217 type-qualifier-list type-qualifier
219 type-qualifier:
220 const
221 restrict -- C99
222 __restrict__ -- GNU C
223 volatile */
225 void
226 pp_c_type_qualifier_list (c_pretty_printer *pp, tree t)
228 int qualifiers;
230 if (!t || t == error_mark_node)
231 return;
233 if (!TYPE_P (t))
234 t = TREE_TYPE (t);
236 qualifiers = TYPE_QUALS (t);
237 if (qualifiers & TYPE_QUAL_CONST)
238 pp_c_cv_qualifier (pp, "const");
239 if (qualifiers & TYPE_QUAL_VOLATILE)
240 pp_c_cv_qualifier (pp, "volatile");
241 if (qualifiers & TYPE_QUAL_RESTRICT)
242 pp_c_cv_qualifier (pp, flag_isoc99 ? "restrict" : "__restrict__");
245 /* pointer:
246 * type-qualifier-list(opt)
247 * type-qualifier-list(opt) pointer */
249 static void
250 pp_c_pointer (c_pretty_printer *pp, tree t)
252 if (!TYPE_P (t) && TREE_CODE (t) != TYPE_DECL)
253 t = TREE_TYPE (t);
254 switch (TREE_CODE (t))
256 case POINTER_TYPE:
257 /* It is easier to handle C++ reference types here. */
258 case REFERENCE_TYPE:
259 if (TREE_CODE (TREE_TYPE (t)) == POINTER_TYPE)
260 pp_c_pointer (pp, TREE_TYPE (t));
261 if (TREE_CODE (t) == POINTER_TYPE)
262 pp_c_star (pp);
263 else
264 pp_c_ampersand (pp);
265 pp_c_type_qualifier_list (pp, t);
266 break;
268 /* ??? This node is now in GENERIC and so shouldn't be here. But
269 we'll fix that later. */
270 case DECL_EXPR:
271 pp_declaration (pp, DECL_EXPR_DECL (t));
272 pp_needs_newline (pp) = true;
273 break;
275 default:
276 pp_unsupported_tree (pp, t);
280 /* type-specifier:
281 void
282 char
283 short
285 long
286 float
287 double
288 signed
289 unsigned
290 _Bool -- C99
291 _Complex -- C99
292 _Imaginary -- C99
293 struct-or-union-specifier
294 enum-specifier
295 typedef-name.
297 GNU extensions.
298 simple-type-specifier:
299 __complex__
300 __vector__ */
302 void
303 pp_c_type_specifier (c_pretty_printer *pp, tree t)
305 const enum tree_code code = TREE_CODE (t);
306 switch (code)
308 case ERROR_MARK:
309 pp_c_identifier (pp, "<type-error>");
310 break;
312 case IDENTIFIER_NODE:
313 pp_c_tree_decl_identifier (pp, t);
314 break;
316 case VOID_TYPE:
317 case BOOLEAN_TYPE:
318 case INTEGER_TYPE:
319 case REAL_TYPE:
320 case FIXED_POINT_TYPE:
321 if (TYPE_NAME (t))
323 t = TYPE_NAME (t);
324 pp_c_type_specifier (pp, t);
326 else
328 int prec = TYPE_PRECISION (t);
329 if (ALL_FIXED_POINT_MODE_P (TYPE_MODE (t)))
330 t = c_common_type_for_mode (TYPE_MODE (t), TYPE_SATURATING (t));
331 else
332 t = c_common_type_for_mode (TYPE_MODE (t), TYPE_UNSIGNED (t));
333 if (TYPE_NAME (t))
335 pp_c_type_specifier (pp, t);
336 if (TYPE_PRECISION (t) != prec)
338 pp_string (pp, ":");
339 pp_decimal_int (pp, prec);
342 else
344 switch (code)
346 case INTEGER_TYPE:
347 pp_string (pp, (TYPE_UNSIGNED (t)
348 ? "<unnamed-unsigned:"
349 : "<unnamed-signed:"));
350 break;
351 case REAL_TYPE:
352 pp_string (pp, "<unnamed-float:");
353 break;
354 case FIXED_POINT_TYPE:
355 pp_string (pp, "<unnamed-fixed:");
356 break;
357 default:
358 gcc_unreachable ();
360 pp_decimal_int (pp, prec);
361 pp_string (pp, ">");
364 break;
366 case TYPE_DECL:
367 if (DECL_NAME (t))
368 pp_id_expression (pp, t);
369 else
370 pp_c_identifier (pp, "<typedef-error>");
371 break;
373 case UNION_TYPE:
374 case RECORD_TYPE:
375 case ENUMERAL_TYPE:
376 if (code == UNION_TYPE)
377 pp_c_identifier (pp, "union");
378 else if (code == RECORD_TYPE)
379 pp_c_identifier (pp, "struct");
380 else if (code == ENUMERAL_TYPE)
381 pp_c_identifier (pp, "enum");
382 else
383 pp_c_identifier (pp, "<tag-error>");
385 if (TYPE_NAME (t))
386 pp_id_expression (pp, TYPE_NAME (t));
387 else
388 pp_c_identifier (pp, "<anonymous>");
389 break;
391 default:
392 pp_unsupported_tree (pp, t);
393 break;
397 /* specifier-qualifier-list:
398 type-specifier specifier-qualifier-list-opt
399 type-qualifier specifier-qualifier-list-opt
402 Implementation note: Because of the non-linearities in array or
403 function declarations, this routine prints not just the
404 specifier-qualifier-list of such entities or types of such entities,
405 but also the 'pointer' production part of their declarators. The
406 remaining part is done by pp_declarator or pp_c_abstract_declarator. */
408 void
409 pp_c_specifier_qualifier_list (c_pretty_printer *pp, tree t)
411 const enum tree_code code = TREE_CODE (t);
413 if (TREE_CODE (t) != POINTER_TYPE)
414 pp_c_type_qualifier_list (pp, t);
415 switch (code)
417 case REFERENCE_TYPE:
418 case POINTER_TYPE:
420 /* Get the types-specifier of this type. */
421 tree pointee = strip_pointer_operator (TREE_TYPE (t));
422 pp_c_specifier_qualifier_list (pp, pointee);
423 if (TREE_CODE (pointee) == ARRAY_TYPE
424 || TREE_CODE (pointee) == FUNCTION_TYPE)
426 pp_c_whitespace (pp);
427 pp_c_left_paren (pp);
429 else if (!c_dialect_cxx ())
430 pp_c_whitespace (pp);
431 pp_ptr_operator (pp, t);
433 break;
435 case FUNCTION_TYPE:
436 case ARRAY_TYPE:
437 pp_c_specifier_qualifier_list (pp, TREE_TYPE (t));
438 break;
440 case VECTOR_TYPE:
441 case COMPLEX_TYPE:
442 pp_c_specifier_qualifier_list (pp, TREE_TYPE (t));
443 if (code == COMPLEX_TYPE)
444 pp_c_identifier (pp, flag_isoc99 ? "_Complex" : "__complex__");
445 else if (code == VECTOR_TYPE)
446 pp_c_identifier (pp, "__vector__");
447 break;
449 default:
450 pp_simple_type_specifier (pp, t);
451 break;
455 /* parameter-type-list:
456 parameter-list
457 parameter-list , ...
459 parameter-list:
460 parameter-declaration
461 parameter-list , parameter-declaration
463 parameter-declaration:
464 declaration-specifiers declarator
465 declaration-specifiers abstract-declarator(opt) */
467 void
468 pp_c_parameter_type_list (c_pretty_printer *pp, tree t)
470 bool want_parm_decl = DECL_P (t) && !(pp->flags & pp_c_flag_abstract);
471 tree parms = want_parm_decl ? DECL_ARGUMENTS (t) : TYPE_ARG_TYPES (t);
472 pp_c_left_paren (pp);
473 if (parms == void_list_node)
474 pp_c_identifier (pp, "void");
475 else
477 bool first = true;
478 for ( ; parms && parms != void_list_node; parms = TREE_CHAIN (parms))
480 if (!first)
481 pp_separate_with (pp, ',');
482 first = false;
483 pp_declaration_specifiers
484 (pp, want_parm_decl ? parms : TREE_VALUE (parms));
485 if (want_parm_decl)
486 pp_declarator (pp, parms);
487 else
488 pp_abstract_declarator (pp, TREE_VALUE (parms));
491 pp_c_right_paren (pp);
494 /* abstract-declarator:
495 pointer
496 pointer(opt) direct-abstract-declarator */
498 static void
499 pp_c_abstract_declarator (c_pretty_printer *pp, tree t)
501 if (TREE_CODE (t) == POINTER_TYPE)
503 if (TREE_CODE (TREE_TYPE (t)) == ARRAY_TYPE
504 || TREE_CODE (TREE_TYPE (t)) == FUNCTION_TYPE)
505 pp_c_right_paren (pp);
506 t = TREE_TYPE (t);
509 pp_direct_abstract_declarator (pp, t);
512 /* direct-abstract-declarator:
513 ( abstract-declarator )
514 direct-abstract-declarator(opt) [ assignment-expression(opt) ]
515 direct-abstract-declarator(opt) [ * ]
516 direct-abstract-declarator(opt) ( parameter-type-list(opt) ) */
518 void
519 pp_c_direct_abstract_declarator (c_pretty_printer *pp, tree t)
521 switch (TREE_CODE (t))
523 case POINTER_TYPE:
524 pp_abstract_declarator (pp, t);
525 break;
527 case FUNCTION_TYPE:
528 pp_c_parameter_type_list (pp, t);
529 pp_direct_abstract_declarator (pp, TREE_TYPE (t));
530 break;
532 case ARRAY_TYPE:
533 pp_c_left_bracket (pp);
534 if (TYPE_DOMAIN (t) && TYPE_MAX_VALUE (TYPE_DOMAIN (t)))
536 tree maxval = TYPE_MAX_VALUE (TYPE_DOMAIN (t));
537 tree type = TREE_TYPE (maxval);
539 if (host_integerp (maxval, 0))
540 pp_wide_integer (pp, tree_low_cst (maxval, 0) + 1);
541 else
542 pp_expression (pp, fold_build2 (PLUS_EXPR, type, maxval,
543 build_int_cst (type, 1)));
545 pp_c_right_bracket (pp);
546 pp_direct_abstract_declarator (pp, TREE_TYPE (t));
547 break;
549 case IDENTIFIER_NODE:
550 case VOID_TYPE:
551 case BOOLEAN_TYPE:
552 case INTEGER_TYPE:
553 case REAL_TYPE:
554 case FIXED_POINT_TYPE:
555 case ENUMERAL_TYPE:
556 case RECORD_TYPE:
557 case UNION_TYPE:
558 case VECTOR_TYPE:
559 case COMPLEX_TYPE:
560 case TYPE_DECL:
561 break;
563 default:
564 pp_unsupported_tree (pp, t);
565 break;
569 /* type-name:
570 specifier-qualifier-list abstract-declarator(opt) */
572 void
573 pp_c_type_id (c_pretty_printer *pp, tree t)
575 pp_c_specifier_qualifier_list (pp, t);
576 pp_abstract_declarator (pp, t);
579 /* storage-class-specifier:
580 typedef
581 extern
582 static
583 auto
584 register */
586 void
587 pp_c_storage_class_specifier (c_pretty_printer *pp, tree t)
589 if (TREE_CODE (t) == TYPE_DECL)
590 pp_c_identifier (pp, "typedef");
591 else if (DECL_P (t))
593 if (DECL_REGISTER (t))
594 pp_c_identifier (pp, "register");
595 else if (TREE_STATIC (t) && TREE_CODE (t) == VAR_DECL)
596 pp_c_identifier (pp, "static");
600 /* function-specifier:
601 inline */
603 void
604 pp_c_function_specifier (c_pretty_printer *pp, tree t)
606 if (TREE_CODE (t) == FUNCTION_DECL && DECL_DECLARED_INLINE_P (t))
607 pp_c_identifier (pp, "inline");
610 /* declaration-specifiers:
611 storage-class-specifier declaration-specifiers(opt)
612 type-specifier declaration-specifiers(opt)
613 type-qualifier declaration-specifiers(opt)
614 function-specifier declaration-specifiers(opt) */
616 void
617 pp_c_declaration_specifiers (c_pretty_printer *pp, tree t)
619 pp_storage_class_specifier (pp, t);
620 pp_function_specifier (pp, t);
621 pp_c_specifier_qualifier_list (pp, DECL_P (t) ? TREE_TYPE (t) : t);
624 /* direct-declarator
625 identifier
626 ( declarator )
627 direct-declarator [ type-qualifier-list(opt) assignment-expression(opt) ]
628 direct-declarator [ static type-qualifier-list(opt) assignment-expression(opt)]
629 direct-declarator [ type-qualifier-list static assignment-expression ]
630 direct-declarator [ type-qualifier-list * ]
631 direct-declarator ( parameter-type-list )
632 direct-declarator ( identifier-list(opt) ) */
634 void
635 pp_c_direct_declarator (c_pretty_printer *pp, tree t)
637 switch (TREE_CODE (t))
639 case VAR_DECL:
640 case PARM_DECL:
641 case TYPE_DECL:
642 case FIELD_DECL:
643 case LABEL_DECL:
644 pp_c_space_for_pointer_operator (pp, TREE_TYPE (t));
645 pp_c_tree_decl_identifier (pp, t);
646 break;
648 case ARRAY_TYPE:
649 case POINTER_TYPE:
650 pp_abstract_declarator (pp, TREE_TYPE (t));
651 break;
653 case FUNCTION_TYPE:
654 pp_parameter_list (pp, t);
655 pp_abstract_declarator (pp, TREE_TYPE (t));
656 break;
658 case FUNCTION_DECL:
659 pp_c_space_for_pointer_operator (pp, TREE_TYPE (TREE_TYPE (t)));
660 pp_c_tree_decl_identifier (pp, t);
661 if (pp_c_base (pp)->flags & pp_c_flag_abstract)
662 pp_abstract_declarator (pp, TREE_TYPE (t));
663 else
665 pp_parameter_list (pp, t);
666 pp_abstract_declarator (pp, TREE_TYPE (TREE_TYPE (t)));
668 break;
670 case INTEGER_TYPE:
671 case REAL_TYPE:
672 case FIXED_POINT_TYPE:
673 case ENUMERAL_TYPE:
674 case UNION_TYPE:
675 case RECORD_TYPE:
676 break;
678 default:
679 pp_unsupported_tree (pp, t);
680 break;
685 /* declarator:
686 pointer(opt) direct-declarator */
688 void
689 pp_c_declarator (c_pretty_printer *pp, tree t)
691 switch (TREE_CODE (t))
693 case INTEGER_TYPE:
694 case REAL_TYPE:
695 case FIXED_POINT_TYPE:
696 case ENUMERAL_TYPE:
697 case UNION_TYPE:
698 case RECORD_TYPE:
699 break;
701 case VAR_DECL:
702 case PARM_DECL:
703 case FIELD_DECL:
704 case ARRAY_TYPE:
705 case FUNCTION_TYPE:
706 case FUNCTION_DECL:
707 case TYPE_DECL:
708 pp_direct_declarator (pp, t);
709 break;
712 default:
713 pp_unsupported_tree (pp, t);
714 break;
718 /* declaration:
719 declaration-specifiers init-declarator-list(opt) ; */
721 void
722 pp_c_declaration (c_pretty_printer *pp, tree t)
724 pp_declaration_specifiers (pp, t);
725 pp_c_init_declarator (pp, t);
728 /* Pretty-print ATTRIBUTES using GNU C extension syntax. */
730 void
731 pp_c_attributes (c_pretty_printer *pp, tree attributes)
733 if (attributes == NULL_TREE)
734 return;
736 pp_c_identifier (pp, "__attribute__");
737 pp_c_left_paren (pp);
738 pp_c_left_paren (pp);
739 for (; attributes != NULL_TREE; attributes = TREE_CHAIN (attributes))
741 pp_tree_identifier (pp, TREE_PURPOSE (attributes));
742 if (TREE_VALUE (attributes))
743 pp_c_call_argument_list (pp, TREE_VALUE (attributes));
745 if (TREE_CHAIN (attributes))
746 pp_separate_with (pp, ',');
748 pp_c_right_paren (pp);
749 pp_c_right_paren (pp);
752 /* function-definition:
753 declaration-specifiers declarator compound-statement */
755 void
756 pp_c_function_definition (c_pretty_printer *pp, tree t)
758 pp_declaration_specifiers (pp, t);
759 pp_declarator (pp, t);
760 pp_needs_newline (pp) = true;
761 pp_statement (pp, DECL_SAVED_TREE (t));
762 pp_newline (pp);
763 pp_flush (pp);
767 /* Expressions. */
769 /* Print out a c-char. This is called solely for characters which are
770 in the *target* execution character set. We ought to convert them
771 back to the *host* execution character set before printing, but we
772 have no way to do this at present. A decent compromise is to print
773 all characters as if they were in the host execution character set,
774 and not attempt to recover any named escape characters, but render
775 all unprintables as octal escapes. If the host and target character
776 sets are the same, this produces relatively readable output. If they
777 are not the same, strings may appear as gibberish, but that's okay
778 (in fact, it may well be what the reader wants, e.g. if they are looking
779 to see if conversion to the target character set happened correctly).
781 A special case: we need to prefix \, ", and ' with backslashes. It is
782 correct to do so for the *host*'s \, ", and ', because the rest of the
783 file appears in the host character set. */
785 static void
786 pp_c_char (c_pretty_printer *pp, int c)
788 if (ISPRINT (c))
790 switch (c)
792 case '\\': pp_string (pp, "\\\\"); break;
793 case '\'': pp_string (pp, "\\\'"); break;
794 case '\"': pp_string (pp, "\\\""); break;
795 default: pp_character (pp, c);
798 else
799 pp_scalar (pp, "\\%03o", (unsigned) c);
802 /* Print out a STRING literal. */
804 void
805 pp_c_string_literal (c_pretty_printer *pp, tree s)
807 const char *p = TREE_STRING_POINTER (s);
808 int n = TREE_STRING_LENGTH (s) - 1;
809 int i;
810 pp_doublequote (pp);
811 for (i = 0; i < n; ++i)
812 pp_c_char (pp, p[i]);
813 pp_doublequote (pp);
816 /* Pretty-print an INTEGER literal. */
818 static void
819 pp_c_integer_constant (c_pretty_printer *pp, tree i)
821 tree type = TREE_TYPE (i);
823 if (TREE_INT_CST_HIGH (i) == 0)
824 pp_wide_integer (pp, TREE_INT_CST_LOW (i));
825 else
827 unsigned HOST_WIDE_INT low = TREE_INT_CST_LOW (i);
828 HOST_WIDE_INT high = TREE_INT_CST_HIGH (i);
829 if (tree_int_cst_sgn (i) < 0)
831 pp_character (pp, '-');
832 high = ~high + !low;
833 low = -low;
835 sprintf (pp_buffer (pp)->digit_buffer, HOST_WIDE_INT_PRINT_DOUBLE_HEX,
836 (unsigned HOST_WIDE_INT) high, (unsigned HOST_WIDE_INT) low);
837 pp_string (pp, pp_buffer (pp)->digit_buffer);
839 if (TYPE_UNSIGNED (type))
840 pp_character (pp, 'u');
841 if (type == long_integer_type_node || type == long_unsigned_type_node)
842 pp_character (pp, 'l');
843 else if (type == long_long_integer_type_node
844 || type == long_long_unsigned_type_node)
845 pp_string (pp, "ll");
848 /* Print out a CHARACTER literal. */
850 static void
851 pp_c_character_constant (c_pretty_printer *pp, tree c)
853 tree type = TREE_TYPE (c);
854 if (type == wchar_type_node)
855 pp_character (pp, 'L');
856 pp_quote (pp);
857 if (host_integerp (c, TYPE_UNSIGNED (type)))
858 pp_c_char (pp, tree_low_cst (c, TYPE_UNSIGNED (type)));
859 else
860 pp_scalar (pp, "\\x%x", (unsigned) TREE_INT_CST_LOW (c));
861 pp_quote (pp);
864 /* Print out a BOOLEAN literal. */
866 static void
867 pp_c_bool_constant (c_pretty_printer *pp, tree b)
869 if (b == boolean_false_node)
871 if (c_dialect_cxx ())
872 pp_c_identifier (pp, "false");
873 else if (flag_isoc99)
874 pp_c_identifier (pp, "_False");
875 else
876 pp_unsupported_tree (pp, b);
878 else if (b == boolean_true_node)
880 if (c_dialect_cxx ())
881 pp_c_identifier (pp, "true");
882 else if (flag_isoc99)
883 pp_c_identifier (pp, "_True");
884 else
885 pp_unsupported_tree (pp, b);
887 else if (TREE_CODE (b) == INTEGER_CST)
888 pp_c_integer_constant (pp, b);
889 else
890 pp_unsupported_tree (pp, b);
893 /* Attempt to print out an ENUMERATOR. Return true on success. Else return
894 false; that means the value was obtained by a cast, in which case
895 print out the type-id part of the cast-expression -- the casted value
896 is then printed by pp_c_integer_literal. */
898 static bool
899 pp_c_enumeration_constant (c_pretty_printer *pp, tree e)
901 bool value_is_named = true;
902 tree type = TREE_TYPE (e);
903 tree value;
905 /* Find the name of this constant. */
906 for (value = TYPE_VALUES (type);
907 value != NULL_TREE && !tree_int_cst_equal (TREE_VALUE (value), e);
908 value = TREE_CHAIN (value))
911 if (value != NULL_TREE)
912 pp_id_expression (pp, TREE_PURPOSE (value));
913 else
915 /* Value must have been cast. */
916 pp_c_type_cast (pp, type);
917 value_is_named = false;
920 return value_is_named;
923 /* Print out a REAL value as a decimal-floating-constant. */
925 static void
926 pp_c_floating_constant (c_pretty_printer *pp, tree r)
928 real_to_decimal (pp_buffer (pp)->digit_buffer, &TREE_REAL_CST (r),
929 sizeof (pp_buffer (pp)->digit_buffer), 0, 1);
930 pp_string (pp, pp_buffer(pp)->digit_buffer);
931 if (TREE_TYPE (r) == float_type_node)
932 pp_character (pp, 'f');
933 else if (TREE_TYPE (r) == long_double_type_node)
934 pp_character (pp, 'l');
935 else if (TREE_TYPE (r) == dfloat128_type_node)
936 pp_string (pp, "dl");
937 else if (TREE_TYPE (r) == dfloat64_type_node)
938 pp_string (pp, "dd");
939 else if (TREE_TYPE (r) == dfloat32_type_node)
940 pp_string (pp, "df");
943 /* Print out a FIXED value as a decimal-floating-constant. */
945 static void
946 pp_c_fixed_constant (c_pretty_printer *pp, tree r)
948 fixed_to_decimal (pp_buffer (pp)->digit_buffer, &TREE_FIXED_CST (r),
949 sizeof (pp_buffer (pp)->digit_buffer));
950 pp_string (pp, pp_buffer(pp)->digit_buffer);
953 /* Pretty-print a compound literal expression. GNU extensions include
954 vector constants. */
956 static void
957 pp_c_compound_literal (c_pretty_printer *pp, tree e)
959 tree type = TREE_TYPE (e);
960 pp_c_type_cast (pp, type);
962 switch (TREE_CODE (type))
964 case RECORD_TYPE:
965 case UNION_TYPE:
966 case ARRAY_TYPE:
967 case VECTOR_TYPE:
968 case COMPLEX_TYPE:
969 pp_c_brace_enclosed_initializer_list (pp, e);
970 break;
972 default:
973 pp_unsupported_tree (pp, e);
974 break;
978 /* Pretty-print a COMPLEX_EXPR expression. */
980 static void
981 pp_c_complex_expr (c_pretty_printer *pp, tree e)
983 /* Handle a few common special cases, otherwise fallback
984 to printing it as compound literal. */
985 tree type = TREE_TYPE (e);
986 tree realexpr = TREE_OPERAND (e, 0);
987 tree imagexpr = TREE_OPERAND (e, 1);
989 /* Cast of an COMPLEX_TYPE expression to a different COMPLEX_TYPE. */
990 if (TREE_CODE (realexpr) == NOP_EXPR
991 && TREE_CODE (imagexpr) == NOP_EXPR
992 && TREE_TYPE (realexpr) == TREE_TYPE (type)
993 && TREE_TYPE (imagexpr) == TREE_TYPE (type)
994 && TREE_CODE (TREE_OPERAND (realexpr, 0)) == REALPART_EXPR
995 && TREE_CODE (TREE_OPERAND (imagexpr, 0)) == IMAGPART_EXPR
996 && TREE_OPERAND (TREE_OPERAND (realexpr, 0), 0)
997 == TREE_OPERAND (TREE_OPERAND (imagexpr, 0), 0))
999 pp_c_type_cast (pp, type);
1000 pp_expression (pp, TREE_OPERAND (TREE_OPERAND (realexpr, 0), 0));
1001 return;
1004 /* Cast of an scalar expression to COMPLEX_TYPE. */
1005 if ((integer_zerop (imagexpr) || real_zerop (imagexpr))
1006 && TREE_TYPE (realexpr) == TREE_TYPE (type))
1008 pp_c_type_cast (pp, type);
1009 if (TREE_CODE (realexpr) == NOP_EXPR)
1010 realexpr = TREE_OPERAND (realexpr, 0);
1011 pp_expression (pp, realexpr);
1012 return;
1015 pp_c_compound_literal (pp, e);
1018 /* constant:
1019 integer-constant
1020 floating-constant
1021 fixed-point-constant
1022 enumeration-constant
1023 character-constant */
1025 void
1026 pp_c_constant (c_pretty_printer *pp, tree e)
1028 const enum tree_code code = TREE_CODE (e);
1030 switch (code)
1032 case INTEGER_CST:
1034 tree type = TREE_TYPE (e);
1035 if (type == boolean_type_node)
1036 pp_c_bool_constant (pp, e);
1037 else if (type == char_type_node)
1038 pp_c_character_constant (pp, e);
1039 else if (TREE_CODE (type) == ENUMERAL_TYPE
1040 && pp_c_enumeration_constant (pp, e))
1042 else
1043 pp_c_integer_constant (pp, e);
1045 break;
1047 case REAL_CST:
1048 pp_c_floating_constant (pp, e);
1049 break;
1051 case FIXED_CST:
1052 pp_c_fixed_constant (pp, e);
1053 break;
1055 case STRING_CST:
1056 pp_c_string_literal (pp, e);
1057 break;
1059 case COMPLEX_CST:
1060 /* Sometimes, we are confused and we think a complex literal
1061 is a constant. Such thing is a compound literal which
1062 grammatically belongs to postfix-expr production. */
1063 pp_c_compound_literal (pp, e);
1064 break;
1066 default:
1067 pp_unsupported_tree (pp, e);
1068 break;
1072 /* Pretty-print an IDENTIFIER_NODE, preceded by whitespace is necessary. */
1074 void
1075 pp_c_identifier (c_pretty_printer *pp, const char *id)
1077 pp_c_maybe_whitespace (pp);
1078 pp_identifier (pp, id);
1079 pp_base (pp)->padding = pp_before;
1082 /* Pretty-print a C primary-expression.
1083 primary-expression:
1084 identifier
1085 constant
1086 string-literal
1087 ( expression ) */
1089 void
1090 pp_c_primary_expression (c_pretty_printer *pp, tree e)
1092 switch (TREE_CODE (e))
1094 case VAR_DECL:
1095 case PARM_DECL:
1096 case FIELD_DECL:
1097 case CONST_DECL:
1098 case FUNCTION_DECL:
1099 case LABEL_DECL:
1100 pp_c_tree_decl_identifier (pp, e);
1101 break;
1103 case IDENTIFIER_NODE:
1104 pp_c_tree_identifier (pp, e);
1105 break;
1107 case ERROR_MARK:
1108 pp_c_identifier (pp, "<erroneous-expression>");
1109 break;
1111 case RESULT_DECL:
1112 pp_c_identifier (pp, "<return-value>");
1113 break;
1115 case INTEGER_CST:
1116 case REAL_CST:
1117 case FIXED_CST:
1118 case STRING_CST:
1119 pp_c_constant (pp, e);
1120 break;
1122 case TARGET_EXPR:
1123 pp_c_identifier (pp, "__builtin_memcpy");
1124 pp_c_left_paren (pp);
1125 pp_ampersand (pp);
1126 pp_primary_expression (pp, TREE_OPERAND (e, 0));
1127 pp_separate_with (pp, ',');
1128 pp_ampersand (pp);
1129 pp_initializer (pp, TREE_OPERAND (e, 1));
1130 if (TREE_OPERAND (e, 2))
1132 pp_separate_with (pp, ',');
1133 pp_c_expression (pp, TREE_OPERAND (e, 2));
1135 pp_c_right_paren (pp);
1136 break;
1138 default:
1139 /* FIXME: Make sure we won't get into an infinite loop. */
1140 pp_c_left_paren (pp);
1141 pp_expression (pp, e);
1142 pp_c_right_paren (pp);
1143 break;
1147 /* Print out a C initializer -- also support C compound-literals.
1148 initializer:
1149 assignment-expression:
1150 { initializer-list }
1151 { initializer-list , } */
1153 static void
1154 pp_c_initializer (c_pretty_printer *pp, tree e)
1156 if (TREE_CODE (e) == CONSTRUCTOR)
1157 pp_c_brace_enclosed_initializer_list (pp, e);
1158 else
1159 pp_expression (pp, e);
1162 /* init-declarator:
1163 declarator:
1164 declarator = initializer */
1166 void
1167 pp_c_init_declarator (c_pretty_printer *pp, tree t)
1169 pp_declarator (pp, t);
1170 /* We don't want to output function definitions here. There are handled
1171 elsewhere (and the syntactic form is bogus anyway). */
1172 if (TREE_CODE (t) != FUNCTION_DECL && DECL_INITIAL (t))
1174 tree init = DECL_INITIAL (t);
1175 /* This C++ bit is handled here because it is easier to do so.
1176 In templates, the C++ parser builds a TREE_LIST for a
1177 direct-initialization; the TREE_PURPOSE is the variable to
1178 initialize and the TREE_VALUE is the initializer. */
1179 if (TREE_CODE (init) == TREE_LIST)
1181 pp_c_left_paren (pp);
1182 pp_expression (pp, TREE_VALUE (init));
1183 pp_right_paren (pp);
1185 else
1187 pp_space (pp);
1188 pp_equal (pp);
1189 pp_space (pp);
1190 pp_c_initializer (pp, init);
1195 /* initializer-list:
1196 designation(opt) initializer
1197 initializer-list , designation(opt) initializer
1199 designation:
1200 designator-list =
1202 designator-list:
1203 designator
1204 designator-list designator
1206 designator:
1207 [ constant-expression ]
1208 identifier */
1210 static void
1211 pp_c_initializer_list (c_pretty_printer *pp, tree e)
1213 tree type = TREE_TYPE (e);
1214 const enum tree_code code = TREE_CODE (type);
1216 if (TREE_CODE (e) == CONSTRUCTOR)
1218 pp_c_constructor_elts (pp, CONSTRUCTOR_ELTS (e));
1219 return;
1222 switch (code)
1224 case RECORD_TYPE:
1225 case UNION_TYPE:
1226 case ARRAY_TYPE:
1228 tree init = TREE_OPERAND (e, 0);
1229 for (; init != NULL_TREE; init = TREE_CHAIN (init))
1231 if (code == RECORD_TYPE || code == UNION_TYPE)
1233 pp_c_dot (pp);
1234 pp_c_primary_expression (pp, TREE_PURPOSE (init));
1236 else
1238 pp_c_left_bracket (pp);
1239 if (TREE_PURPOSE (init))
1240 pp_c_constant (pp, TREE_PURPOSE (init));
1241 pp_c_right_bracket (pp);
1243 pp_c_whitespace (pp);
1244 pp_equal (pp);
1245 pp_c_whitespace (pp);
1246 pp_initializer (pp, TREE_VALUE (init));
1247 if (TREE_CHAIN (init))
1248 pp_separate_with (pp, ',');
1251 return;
1253 case VECTOR_TYPE:
1254 if (TREE_CODE (e) == VECTOR_CST)
1255 pp_c_expression_list (pp, TREE_VECTOR_CST_ELTS (e));
1256 else
1257 break;
1258 return;
1260 case COMPLEX_TYPE:
1261 if (TREE_CODE (e) == COMPLEX_CST || TREE_CODE (e) == COMPLEX_EXPR)
1263 const bool cst = TREE_CODE (e) == COMPLEX_CST;
1264 pp_expression (pp, cst ? TREE_REALPART (e) : TREE_OPERAND (e, 0));
1265 pp_separate_with (pp, ',');
1266 pp_expression (pp, cst ? TREE_IMAGPART (e) : TREE_OPERAND (e, 1));
1268 else
1269 break;
1270 return;
1272 default:
1273 break;
1276 pp_unsupported_tree (pp, type);
1279 /* Pretty-print a brace-enclosed initializer-list. */
1281 static void
1282 pp_c_brace_enclosed_initializer_list (c_pretty_printer *pp, tree l)
1284 pp_c_left_brace (pp);
1285 pp_c_initializer_list (pp, l);
1286 pp_c_right_brace (pp);
1290 /* This is a convenient function, used to bridge gap between C and C++
1291 grammars.
1293 id-expression:
1294 identifier */
1296 void
1297 pp_c_id_expression (c_pretty_printer *pp, tree t)
1299 switch (TREE_CODE (t))
1301 case VAR_DECL:
1302 case PARM_DECL:
1303 case CONST_DECL:
1304 case TYPE_DECL:
1305 case FUNCTION_DECL:
1306 case FIELD_DECL:
1307 case LABEL_DECL:
1308 pp_c_tree_decl_identifier (pp, t);
1309 break;
1311 case IDENTIFIER_NODE:
1312 pp_c_tree_identifier (pp, t);
1313 break;
1315 default:
1316 pp_unsupported_tree (pp, t);
1317 break;
1321 /* postfix-expression:
1322 primary-expression
1323 postfix-expression [ expression ]
1324 postfix-expression ( argument-expression-list(opt) )
1325 postfix-expression . identifier
1326 postfix-expression -> identifier
1327 postfix-expression ++
1328 postfix-expression --
1329 ( type-name ) { initializer-list }
1330 ( type-name ) { initializer-list , } */
1332 void
1333 pp_c_postfix_expression (c_pretty_printer *pp, tree e)
1335 enum tree_code code = TREE_CODE (e);
1336 switch (code)
1338 case POSTINCREMENT_EXPR:
1339 case POSTDECREMENT_EXPR:
1340 pp_postfix_expression (pp, TREE_OPERAND (e, 0));
1341 pp_identifier (pp, code == POSTINCREMENT_EXPR ? "++" : "--");
1342 break;
1344 case ARRAY_REF:
1345 pp_postfix_expression (pp, TREE_OPERAND (e, 0));
1346 pp_c_left_bracket (pp);
1347 pp_expression (pp, TREE_OPERAND (e, 1));
1348 pp_c_right_bracket (pp);
1349 break;
1351 case CALL_EXPR:
1353 call_expr_arg_iterator iter;
1354 tree arg;
1355 pp_postfix_expression (pp, CALL_EXPR_FN (e));
1356 pp_c_left_paren (pp);
1357 FOR_EACH_CALL_EXPR_ARG (arg, iter, e)
1359 pp_expression (pp, arg);
1360 if (more_call_expr_args_p (&iter))
1361 pp_separate_with (pp, ',');
1363 pp_c_right_paren (pp);
1364 break;
1367 case UNORDERED_EXPR:
1368 pp_c_identifier (pp, flag_isoc99
1369 ? "isunordered"
1370 : "__builtin_isunordered");
1371 goto two_args_fun;
1373 case ORDERED_EXPR:
1374 pp_c_identifier (pp, flag_isoc99
1375 ? "!isunordered"
1376 : "!__builtin_isunordered");
1377 goto two_args_fun;
1379 case UNLT_EXPR:
1380 pp_c_identifier (pp, flag_isoc99
1381 ? "!isgreaterequal"
1382 : "!__builtin_isgreaterequal");
1383 goto two_args_fun;
1385 case UNLE_EXPR:
1386 pp_c_identifier (pp, flag_isoc99
1387 ? "!isgreater"
1388 : "!__builtin_isgreater");
1389 goto two_args_fun;
1391 case UNGT_EXPR:
1392 pp_c_identifier (pp, flag_isoc99
1393 ? "!islessequal"
1394 : "!__builtin_islessequal");
1395 goto two_args_fun;
1397 case UNGE_EXPR:
1398 pp_c_identifier (pp, flag_isoc99
1399 ? "!isless"
1400 : "!__builtin_isless");
1401 goto two_args_fun;
1403 case UNEQ_EXPR:
1404 pp_c_identifier (pp, flag_isoc99
1405 ? "!islessgreater"
1406 : "!__builtin_islessgreater");
1407 goto two_args_fun;
1409 case LTGT_EXPR:
1410 pp_c_identifier (pp, flag_isoc99
1411 ? "islessgreater"
1412 : "__builtin_islessgreater");
1413 goto two_args_fun;
1415 two_args_fun:
1416 pp_c_left_paren (pp);
1417 pp_expression (pp, TREE_OPERAND (e, 0));
1418 pp_separate_with (pp, ',');
1419 pp_expression (pp, TREE_OPERAND (e, 1));
1420 pp_c_right_paren (pp);
1421 break;
1423 case ABS_EXPR:
1424 pp_c_identifier (pp, "__builtin_abs");
1425 pp_c_left_paren (pp);
1426 pp_expression (pp, TREE_OPERAND (e, 0));
1427 pp_c_right_paren (pp);
1428 break;
1430 case COMPONENT_REF:
1432 tree object = TREE_OPERAND (e, 0);
1433 if (TREE_CODE (object) == INDIRECT_REF)
1435 pp_postfix_expression (pp, TREE_OPERAND (object, 0));
1436 pp_c_arrow (pp);
1438 else
1440 pp_postfix_expression (pp, object);
1441 pp_c_dot (pp);
1443 pp_expression (pp, TREE_OPERAND (e, 1));
1445 break;
1447 case COMPLEX_CST:
1448 case VECTOR_CST:
1449 pp_c_compound_literal (pp, e);
1450 break;
1452 case COMPLEX_EXPR:
1453 pp_c_complex_expr (pp, e);
1454 break;
1456 case COMPOUND_LITERAL_EXPR:
1457 e = DECL_INITIAL (COMPOUND_LITERAL_EXPR_DECL (e));
1458 /* Fall through. */
1459 case CONSTRUCTOR:
1460 pp_initializer (pp, e);
1461 break;
1463 case VA_ARG_EXPR:
1464 pp_c_identifier (pp, "__builtin_va_arg");
1465 pp_c_left_paren (pp);
1466 pp_assignment_expression (pp, TREE_OPERAND (e, 0));
1467 pp_separate_with (pp, ',');
1468 pp_type_id (pp, TREE_TYPE (e));
1469 pp_c_right_paren (pp);
1470 break;
1472 case ADDR_EXPR:
1473 if (TREE_CODE (TREE_OPERAND (e, 0)) == FUNCTION_DECL)
1475 pp_c_id_expression (pp, TREE_OPERAND (e, 0));
1476 break;
1478 /* else fall through. */
1480 default:
1481 pp_primary_expression (pp, e);
1482 break;
1486 /* Print out an expression-list; E is expected to be a TREE_LIST. */
1488 void
1489 pp_c_expression_list (c_pretty_printer *pp, tree e)
1491 for (; e != NULL_TREE; e = TREE_CHAIN (e))
1493 pp_expression (pp, TREE_VALUE (e));
1494 if (TREE_CHAIN (e))
1495 pp_separate_with (pp, ',');
1499 /* Print out V, which contains the elements of a constructor. */
1501 void
1502 pp_c_constructor_elts (c_pretty_printer *pp, VEC(constructor_elt,gc) *v)
1504 unsigned HOST_WIDE_INT ix;
1505 tree value;
1507 FOR_EACH_CONSTRUCTOR_VALUE (v, ix, value)
1509 pp_expression (pp, value);
1510 if (ix != VEC_length (constructor_elt, v) - 1)
1511 pp_separate_with (pp, ',');
1515 /* Print out an expression-list in parens, as if it were the argument
1516 list to a function. */
1518 void
1519 pp_c_call_argument_list (c_pretty_printer *pp, tree t)
1521 pp_c_left_paren (pp);
1522 if (t && TREE_CODE (t) == TREE_LIST)
1523 pp_c_expression_list (pp, t);
1524 pp_c_right_paren (pp);
1527 /* unary-expression:
1528 postfix-expression
1529 ++ cast-expression
1530 -- cast-expression
1531 unary-operator cast-expression
1532 sizeof unary-expression
1533 sizeof ( type-id )
1535 unary-operator: one of
1536 * & + - ! ~
1538 GNU extensions.
1539 unary-expression:
1540 __alignof__ unary-expression
1541 __alignof__ ( type-id )
1542 __real__ unary-expression
1543 __imag__ unary-expression */
1545 void
1546 pp_c_unary_expression (c_pretty_printer *pp, tree e)
1548 enum tree_code code = TREE_CODE (e);
1549 switch (code)
1551 case PREINCREMENT_EXPR:
1552 case PREDECREMENT_EXPR:
1553 pp_identifier (pp, code == PREINCREMENT_EXPR ? "++" : "--");
1554 pp_c_unary_expression (pp, TREE_OPERAND (e, 0));
1555 break;
1557 case ADDR_EXPR:
1558 case INDIRECT_REF:
1559 case NEGATE_EXPR:
1560 case BIT_NOT_EXPR:
1561 case TRUTH_NOT_EXPR:
1562 case CONJ_EXPR:
1563 /* String literal are used by address. */
1564 if (code == ADDR_EXPR && TREE_CODE (TREE_OPERAND (e, 0)) != STRING_CST)
1565 pp_ampersand (pp);
1566 else if (code == INDIRECT_REF)
1567 pp_c_star (pp);
1568 else if (code == NEGATE_EXPR)
1569 pp_minus (pp);
1570 else if (code == BIT_NOT_EXPR || code == CONJ_EXPR)
1571 pp_complement (pp);
1572 else if (code == TRUTH_NOT_EXPR)
1573 pp_exclamation (pp);
1574 pp_c_cast_expression (pp, TREE_OPERAND (e, 0));
1575 break;
1577 case REALPART_EXPR:
1578 case IMAGPART_EXPR:
1579 pp_c_identifier (pp, code == REALPART_EXPR ? "__real__" : "__imag__");
1580 pp_c_whitespace (pp);
1581 pp_unary_expression (pp, TREE_OPERAND (e, 0));
1582 break;
1584 default:
1585 pp_postfix_expression (pp, e);
1586 break;
1590 /* cast-expression:
1591 unary-expression
1592 ( type-name ) cast-expression */
1594 void
1595 pp_c_cast_expression (c_pretty_printer *pp, tree e)
1597 switch (TREE_CODE (e))
1599 case FLOAT_EXPR:
1600 case FIX_TRUNC_EXPR:
1601 CASE_CONVERT:
1602 pp_c_type_cast (pp, TREE_TYPE (e));
1603 pp_c_cast_expression (pp, TREE_OPERAND (e, 0));
1604 break;
1606 default:
1607 pp_unary_expression (pp, e);
1611 /* multiplicative-expression:
1612 cast-expression
1613 multiplicative-expression * cast-expression
1614 multiplicative-expression / cast-expression
1615 multiplicative-expression % cast-expression */
1617 static void
1618 pp_c_multiplicative_expression (c_pretty_printer *pp, tree e)
1620 enum tree_code code = TREE_CODE (e);
1621 switch (code)
1623 case MULT_EXPR:
1624 case TRUNC_DIV_EXPR:
1625 case TRUNC_MOD_EXPR:
1626 pp_multiplicative_expression (pp, TREE_OPERAND (e, 0));
1627 pp_c_whitespace (pp);
1628 if (code == MULT_EXPR)
1629 pp_c_star (pp);
1630 else if (code == TRUNC_DIV_EXPR)
1631 pp_slash (pp);
1632 else
1633 pp_modulo (pp);
1634 pp_c_whitespace (pp);
1635 pp_c_cast_expression (pp, TREE_OPERAND (e, 1));
1636 break;
1638 default:
1639 pp_c_cast_expression (pp, e);
1640 break;
1644 /* additive-expression:
1645 multiplicative-expression
1646 additive-expression + multiplicative-expression
1647 additive-expression - multiplicative-expression */
1649 static void
1650 pp_c_additive_expression (c_pretty_printer *pp, tree e)
1652 enum tree_code code = TREE_CODE (e);
1653 switch (code)
1655 case POINTER_PLUS_EXPR:
1656 case PLUS_EXPR:
1657 case MINUS_EXPR:
1658 pp_c_additive_expression (pp, TREE_OPERAND (e, 0));
1659 pp_c_whitespace (pp);
1660 if (code == PLUS_EXPR || code == POINTER_PLUS_EXPR)
1661 pp_plus (pp);
1662 else
1663 pp_minus (pp);
1664 pp_c_whitespace (pp);
1665 pp_multiplicative_expression (pp, TREE_OPERAND (e, 1));
1666 break;
1668 default:
1669 pp_multiplicative_expression (pp, e);
1670 break;
1674 /* additive-expression:
1675 additive-expression
1676 shift-expression << additive-expression
1677 shift-expression >> additive-expression */
1679 static void
1680 pp_c_shift_expression (c_pretty_printer *pp, tree e)
1682 enum tree_code code = TREE_CODE (e);
1683 switch (code)
1685 case LSHIFT_EXPR:
1686 case RSHIFT_EXPR:
1687 pp_c_shift_expression (pp, TREE_OPERAND (e, 0));
1688 pp_c_whitespace (pp);
1689 pp_identifier (pp, code == LSHIFT_EXPR ? "<<" : ">>");
1690 pp_c_whitespace (pp);
1691 pp_c_additive_expression (pp, TREE_OPERAND (e, 1));
1692 break;
1694 default:
1695 pp_c_additive_expression (pp, e);
1699 /* relational-expression:
1700 shift-expression
1701 relational-expression < shift-expression
1702 relational-expression > shift-expression
1703 relational-expression <= shift-expression
1704 relational-expression >= shift-expression */
1706 static void
1707 pp_c_relational_expression (c_pretty_printer *pp, tree e)
1709 enum tree_code code = TREE_CODE (e);
1710 switch (code)
1712 case LT_EXPR:
1713 case GT_EXPR:
1714 case LE_EXPR:
1715 case GE_EXPR:
1716 pp_c_relational_expression (pp, TREE_OPERAND (e, 0));
1717 pp_c_whitespace (pp);
1718 if (code == LT_EXPR)
1719 pp_less (pp);
1720 else if (code == GT_EXPR)
1721 pp_greater (pp);
1722 else if (code == LE_EXPR)
1723 pp_identifier (pp, "<=");
1724 else if (code == GE_EXPR)
1725 pp_identifier (pp, ">=");
1726 pp_c_whitespace (pp);
1727 pp_c_shift_expression (pp, TREE_OPERAND (e, 1));
1728 break;
1730 default:
1731 pp_c_shift_expression (pp, e);
1732 break;
1736 /* equality-expression:
1737 relational-expression
1738 equality-expression == relational-expression
1739 equality-equality != relational-expression */
1741 static void
1742 pp_c_equality_expression (c_pretty_printer *pp, tree e)
1744 enum tree_code code = TREE_CODE (e);
1745 switch (code)
1747 case EQ_EXPR:
1748 case NE_EXPR:
1749 pp_c_equality_expression (pp, TREE_OPERAND (e, 0));
1750 pp_c_whitespace (pp);
1751 pp_identifier (pp, code == EQ_EXPR ? "==" : "!=");
1752 pp_c_whitespace (pp);
1753 pp_c_relational_expression (pp, TREE_OPERAND (e, 1));
1754 break;
1756 default:
1757 pp_c_relational_expression (pp, e);
1758 break;
1762 /* AND-expression:
1763 equality-expression
1764 AND-expression & equality-equality */
1766 static void
1767 pp_c_and_expression (c_pretty_printer *pp, tree e)
1769 if (TREE_CODE (e) == BIT_AND_EXPR)
1771 pp_c_and_expression (pp, TREE_OPERAND (e, 0));
1772 pp_c_whitespace (pp);
1773 pp_ampersand (pp);
1774 pp_c_whitespace (pp);
1775 pp_c_equality_expression (pp, TREE_OPERAND (e, 1));
1777 else
1778 pp_c_equality_expression (pp, e);
1781 /* exclusive-OR-expression:
1782 AND-expression
1783 exclusive-OR-expression ^ AND-expression */
1785 static void
1786 pp_c_exclusive_or_expression (c_pretty_printer *pp, tree e)
1788 if (TREE_CODE (e) == BIT_XOR_EXPR
1789 || TREE_CODE (e) == TRUTH_XOR_EXPR)
1791 pp_c_exclusive_or_expression (pp, TREE_OPERAND (e, 0));
1792 if (TREE_CODE (e) == BIT_XOR_EXPR)
1793 pp_c_maybe_whitespace (pp);
1794 else
1795 pp_c_whitespace (pp);
1796 pp_carret (pp);
1797 pp_c_whitespace (pp);
1798 pp_c_and_expression (pp, TREE_OPERAND (e, 1));
1800 else
1801 pp_c_and_expression (pp, e);
1804 /* inclusive-OR-expression:
1805 exclusive-OR-expression
1806 inclusive-OR-expression | exclusive-OR-expression */
1808 static void
1809 pp_c_inclusive_or_expression (c_pretty_printer *pp, tree e)
1811 if (TREE_CODE (e) == BIT_IOR_EXPR)
1813 pp_c_exclusive_or_expression (pp, TREE_OPERAND (e, 0));
1814 pp_c_whitespace (pp);
1815 pp_bar (pp);
1816 pp_c_whitespace (pp);
1817 pp_c_exclusive_or_expression (pp, TREE_OPERAND (e, 1));
1819 else
1820 pp_c_exclusive_or_expression (pp, e);
1823 /* logical-AND-expression:
1824 inclusive-OR-expression
1825 logical-AND-expression && inclusive-OR-expression */
1827 static void
1828 pp_c_logical_and_expression (c_pretty_printer *pp, tree e)
1830 if (TREE_CODE (e) == TRUTH_ANDIF_EXPR
1831 || TREE_CODE (e) == TRUTH_AND_EXPR)
1833 pp_c_logical_and_expression (pp, TREE_OPERAND (e, 0));
1834 pp_c_whitespace (pp);
1835 pp_identifier (pp, "&&");
1836 pp_c_whitespace (pp);
1837 pp_c_inclusive_or_expression (pp, TREE_OPERAND (e, 1));
1839 else
1840 pp_c_inclusive_or_expression (pp, e);
1843 /* logical-OR-expression:
1844 logical-AND-expression
1845 logical-OR-expression || logical-AND-expression */
1847 void
1848 pp_c_logical_or_expression (c_pretty_printer *pp, tree e)
1850 if (TREE_CODE (e) == TRUTH_ORIF_EXPR
1851 || TREE_CODE (e) == TRUTH_OR_EXPR)
1853 pp_c_logical_or_expression (pp, TREE_OPERAND (e, 0));
1854 pp_c_whitespace (pp);
1855 pp_identifier (pp, "||");
1856 pp_c_whitespace (pp);
1857 pp_c_logical_and_expression (pp, TREE_OPERAND (e, 1));
1859 else
1860 pp_c_logical_and_expression (pp, e);
1863 /* conditional-expression:
1864 logical-OR-expression
1865 logical-OR-expression ? expression : conditional-expression */
1867 static void
1868 pp_c_conditional_expression (c_pretty_printer *pp, tree e)
1870 if (TREE_CODE (e) == COND_EXPR)
1872 pp_c_logical_or_expression (pp, TREE_OPERAND (e, 0));
1873 pp_c_whitespace (pp);
1874 pp_question (pp);
1875 pp_c_whitespace (pp);
1876 pp_expression (pp, TREE_OPERAND (e, 1));
1877 pp_c_whitespace (pp);
1878 pp_colon (pp);
1879 pp_c_whitespace (pp);
1880 pp_c_conditional_expression (pp, TREE_OPERAND (e, 2));
1882 else
1883 pp_c_logical_or_expression (pp, e);
1887 /* assignment-expression:
1888 conditional-expression
1889 unary-expression assignment-operator assignment-expression
1891 assignment-expression: one of
1892 = *= /= %= += -= >>= <<= &= ^= |= */
1894 static void
1895 pp_c_assignment_expression (c_pretty_printer *pp, tree e)
1897 if (TREE_CODE (e) == MODIFY_EXPR
1898 || TREE_CODE (e) == INIT_EXPR)
1900 pp_c_unary_expression (pp, TREE_OPERAND (e, 0));
1901 pp_c_whitespace (pp);
1902 pp_equal (pp);
1903 pp_space (pp);
1904 pp_c_expression (pp, TREE_OPERAND (e, 1));
1906 else
1907 pp_c_conditional_expression (pp, e);
1910 /* expression:
1911 assignment-expression
1912 expression , assignment-expression
1914 Implementation note: instead of going through the usual recursion
1915 chain, I take the liberty of dispatching nodes to the appropriate
1916 functions. This makes some redundancy, but it worths it. That also
1917 prevents a possible infinite recursion between pp_c_primary_expression ()
1918 and pp_c_expression (). */
1920 void
1921 pp_c_expression (c_pretty_printer *pp, tree e)
1923 switch (TREE_CODE (e))
1925 case INTEGER_CST:
1926 pp_c_integer_constant (pp, e);
1927 break;
1929 case REAL_CST:
1930 pp_c_floating_constant (pp, e);
1931 break;
1933 case FIXED_CST:
1934 pp_c_fixed_constant (pp, e);
1935 break;
1937 case STRING_CST:
1938 pp_c_string_literal (pp, e);
1939 break;
1941 case IDENTIFIER_NODE:
1942 case FUNCTION_DECL:
1943 case VAR_DECL:
1944 case CONST_DECL:
1945 case PARM_DECL:
1946 case RESULT_DECL:
1947 case FIELD_DECL:
1948 case LABEL_DECL:
1949 case ERROR_MARK:
1950 pp_primary_expression (pp, e);
1951 break;
1953 case POSTINCREMENT_EXPR:
1954 case POSTDECREMENT_EXPR:
1955 case ARRAY_REF:
1956 case CALL_EXPR:
1957 case COMPONENT_REF:
1958 case COMPLEX_CST:
1959 case COMPLEX_EXPR:
1960 case VECTOR_CST:
1961 case ORDERED_EXPR:
1962 case UNORDERED_EXPR:
1963 case LTGT_EXPR:
1964 case UNEQ_EXPR:
1965 case UNLE_EXPR:
1966 case UNLT_EXPR:
1967 case UNGE_EXPR:
1968 case UNGT_EXPR:
1969 case ABS_EXPR:
1970 case CONSTRUCTOR:
1971 case COMPOUND_LITERAL_EXPR:
1972 case VA_ARG_EXPR:
1973 pp_postfix_expression (pp, e);
1974 break;
1976 case CONJ_EXPR:
1977 case ADDR_EXPR:
1978 case INDIRECT_REF:
1979 case NEGATE_EXPR:
1980 case BIT_NOT_EXPR:
1981 case TRUTH_NOT_EXPR:
1982 case PREINCREMENT_EXPR:
1983 case PREDECREMENT_EXPR:
1984 case REALPART_EXPR:
1985 case IMAGPART_EXPR:
1986 pp_c_unary_expression (pp, e);
1987 break;
1989 case FLOAT_EXPR:
1990 case FIX_TRUNC_EXPR:
1991 CASE_CONVERT:
1992 pp_c_cast_expression (pp, e);
1993 break;
1995 case MULT_EXPR:
1996 case TRUNC_MOD_EXPR:
1997 case TRUNC_DIV_EXPR:
1998 pp_multiplicative_expression (pp, e);
1999 break;
2001 case LSHIFT_EXPR:
2002 case RSHIFT_EXPR:
2003 pp_c_shift_expression (pp, e);
2004 break;
2006 case LT_EXPR:
2007 case GT_EXPR:
2008 case LE_EXPR:
2009 case GE_EXPR:
2010 pp_c_relational_expression (pp, e);
2011 break;
2013 case BIT_AND_EXPR:
2014 pp_c_and_expression (pp, e);
2015 break;
2017 case BIT_XOR_EXPR:
2018 case TRUTH_XOR_EXPR:
2019 pp_c_exclusive_or_expression (pp, e);
2020 break;
2022 case BIT_IOR_EXPR:
2023 pp_c_inclusive_or_expression (pp, e);
2024 break;
2026 case TRUTH_ANDIF_EXPR:
2027 case TRUTH_AND_EXPR:
2028 pp_c_logical_and_expression (pp, e);
2029 break;
2031 case TRUTH_ORIF_EXPR:
2032 case TRUTH_OR_EXPR:
2033 pp_c_logical_or_expression (pp, e);
2034 break;
2036 case EQ_EXPR:
2037 case NE_EXPR:
2038 pp_c_equality_expression (pp, e);
2039 break;
2041 case COND_EXPR:
2042 pp_conditional_expression (pp, e);
2043 break;
2045 case POINTER_PLUS_EXPR:
2046 case PLUS_EXPR:
2047 case MINUS_EXPR:
2048 pp_c_additive_expression (pp, e);
2049 break;
2051 case MODIFY_EXPR:
2052 case INIT_EXPR:
2053 pp_assignment_expression (pp, e);
2054 break;
2056 case COMPOUND_EXPR:
2057 pp_c_left_paren (pp);
2058 pp_expression (pp, TREE_OPERAND (e, 0));
2059 pp_separate_with (pp, ',');
2060 pp_assignment_expression (pp, TREE_OPERAND (e, 1));
2061 pp_c_right_paren (pp);
2062 break;
2064 case NON_LVALUE_EXPR:
2065 case SAVE_EXPR:
2066 pp_expression (pp, TREE_OPERAND (e, 0));
2067 break;
2069 case TARGET_EXPR:
2070 pp_postfix_expression (pp, TREE_OPERAND (e, 1));
2071 break;
2073 default:
2074 pp_unsupported_tree (pp, e);
2075 break;
2081 /* Statements. */
2083 void
2084 pp_c_statement (c_pretty_printer *pp, tree stmt)
2086 if (stmt == NULL)
2087 return;
2089 if (pp_needs_newline (pp))
2090 pp_newline_and_indent (pp, 0);
2092 dump_generic_node (pp_base (pp), stmt, pp_indentation (pp), 0, true);
2096 /* Initialize the PRETTY-PRINTER for handling C codes. */
2098 void
2099 pp_c_pretty_printer_init (c_pretty_printer *pp)
2101 pp->offset_list = 0;
2103 pp->declaration = pp_c_declaration;
2104 pp->declaration_specifiers = pp_c_declaration_specifiers;
2105 pp->declarator = pp_c_declarator;
2106 pp->direct_declarator = pp_c_direct_declarator;
2107 pp->type_specifier_seq = pp_c_specifier_qualifier_list;
2108 pp->abstract_declarator = pp_c_abstract_declarator;
2109 pp->direct_abstract_declarator = pp_c_direct_abstract_declarator;
2110 pp->ptr_operator = pp_c_pointer;
2111 pp->parameter_list = pp_c_parameter_type_list;
2112 pp->type_id = pp_c_type_id;
2113 pp->simple_type_specifier = pp_c_type_specifier;
2114 pp->function_specifier = pp_c_function_specifier;
2115 pp->storage_class_specifier = pp_c_storage_class_specifier;
2117 pp->statement = pp_c_statement;
2119 pp->constant = pp_c_constant;
2120 pp->id_expression = pp_c_id_expression;
2121 pp->primary_expression = pp_c_primary_expression;
2122 pp->postfix_expression = pp_c_postfix_expression;
2123 pp->unary_expression = pp_c_unary_expression;
2124 pp->initializer = pp_c_initializer;
2125 pp->multiplicative_expression = pp_c_multiplicative_expression;
2126 pp->conditional_expression = pp_c_conditional_expression;
2127 pp->assignment_expression = pp_c_assignment_expression;
2128 pp->expression = pp_c_expression;
2132 /* Print the tree T in full, on file FILE. */
2134 void
2135 print_c_tree (FILE *file, tree t)
2137 static c_pretty_printer pp_rec;
2138 static bool initialized = 0;
2139 c_pretty_printer *pp = &pp_rec;
2141 if (!initialized)
2143 initialized = 1;
2144 pp_construct (pp_base (pp), NULL, 0);
2145 pp_c_pretty_printer_init (pp);
2146 pp_needs_newline (pp) = true;
2148 pp_base (pp)->buffer->stream = file;
2150 pp_statement (pp, t);
2152 pp_newline (pp);
2153 pp_flush (pp);
2156 /* Print the tree T in full, on stderr. */
2158 void
2159 debug_c_tree (tree t)
2161 print_c_tree (stderr, t);
2162 fputc ('\n', stderr);
2165 /* Output the DECL_NAME of T. If T has no DECL_NAME, output a string made
2166 up of T's memory address. */
2168 void
2169 pp_c_tree_decl_identifier (c_pretty_printer *pp, tree t)
2171 const char *name;
2173 gcc_assert (DECL_P (t));
2175 if (DECL_NAME (t))
2176 name = IDENTIFIER_POINTER (DECL_NAME (t));
2177 else
2179 static char xname[8];
2180 sprintf (xname, "<U%4x>", ((unsigned)((unsigned long)(t) & 0xffff)));
2181 name = xname;
2184 pp_c_identifier (pp, name);