gcc/tree-dump.c

   1 /* Tree-dumping functionality for intermediate representation.
   2    Copyright (C) 1999, 2000, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009
   3    Free Software Foundation, Inc.
   4    Written by Mark Mitchell <mark@codesourcery.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 "splay-tree.h"
  28 #include "diagnostic.h"
  29 #include "toplev.h"
  30 #include "tree-dump.h"
  31 #include "tree-pass.h"
  32 #include "langhooks.h"
  33 #include "tree-iterator.h"
  34 #include "real.h"
  35 #include "fixed-value.h"
  36
  37 static unsigned int queue (dump_info_p, const_tree, int);
  38 static void dump_index (dump_info_p, unsigned int);
  39 static void dequeue_and_dump (dump_info_p);
  40 static void dump_new_line (dump_info_p);
  41 static void dump_maybe_newline (dump_info_p);
  42
  43 /* Add T to the end of the queue of nodes to dump.  Returns the index
  44    assigned to T.  */
  45
  46 static unsigned int
  47 queue (dump_info_p di, const_tree t, int flags)
  48 {
  49   dump_queue_p dq;
  50   dump_node_info_p dni;
  51   unsigned int index;
  52
  53   /* Assign the next available index to T.  */
  54   index = ++di->index;
  55
  56   /* Obtain a new queue node.  */
  57   if (di->free_list)
  58     {
  59       dq = di->free_list;
  60       di->free_list = dq->next;
  61     }
  62   else
  63     dq = XNEW (struct dump_queue);
  64
  65   /* Create a new entry in the splay-tree.  */
  66   dni = XNEW (struct dump_node_info);
  67   dni->index = index;
  68   dni->binfo_p = ((flags & DUMP_BINFO) != 0);
  69   dq->node = splay_tree_insert (di->nodes, (splay_tree_key) t,
  70                                 (splay_tree_value) dni);
  71
  72   /* Add it to the end of the queue.  */
  73   dq->next = 0;
  74   if (!di->queue_end)
  75     di->queue = dq;
  76   else
  77     di->queue_end->next = dq;
  78   di->queue_end = dq;
  79
  80   /* Return the index.  */
  81   return index;
  82 }
  83
  84 static void
  85 dump_index (dump_info_p di, unsigned int index)
  86 {
  87   fprintf (di->stream, "@%-6u ", index);
  88   di->column += 8;
  89 }
  90
  91 /* If T has not already been output, queue it for subsequent output.
  92    FIELD is a string to print before printing the index.  Then, the
  93    index of T is printed.  */
  94
  95 void
  96 queue_and_dump_index (dump_info_p di, const char *field, const_tree t, int flags)
  97 {
  98   unsigned int index;
  99   splay_tree_node n;
 100
 101   /* If there's no node, just return.  This makes for fewer checks in
 102      our callers.  */
 103   if (!t)
 104     return;
 105
 106   /* See if we've already queued or dumped this node.  */
 107   n = splay_tree_lookup (di->nodes, (splay_tree_key) t);
 108   if (n)
 109     index = ((dump_node_info_p) n->value)->index;
 110   else
 111     /* If we haven't, add it to the queue.  */
 112     index = queue (di, t, flags);
 113
 114   /* Print the index of the node.  */
 115   dump_maybe_newline (di);
 116   fprintf (di->stream, "%-4s: ", field);
 117   di->column += 6;
 118   dump_index (di, index);
 119 }
 120
 121 /* Dump the type of T.  */
 122
 123 void
 124 queue_and_dump_type (dump_info_p di, const_tree t)
 125 {
 126   queue_and_dump_index (di, "type", TREE_TYPE (t), DUMP_NONE);
 127 }
 128
 129 /* Dump column control */
 130 #define SOL_COLUMN 25           /* Start of line column.  */
 131 #define EOL_COLUMN 55           /* End of line column.  */
 132 #define COLUMN_ALIGNMENT 15     /* Alignment.  */
 133
 134 /* Insert a new line in the dump output, and indent to an appropriate
 135    place to start printing more fields.  */
 136
 137 static void
 138 dump_new_line (dump_info_p di)
 139 {
 140   fprintf (di->stream, "\n%*s", SOL_COLUMN, "");
 141   di->column = SOL_COLUMN;
 142 }
 143
 144 /* If necessary, insert a new line.  */
 145
 146 static void
 147 dump_maybe_newline (dump_info_p di)
 148 {
 149   int extra;
 150
 151   /* See if we need a new line.  */
 152   if (di->column > EOL_COLUMN)
 153     dump_new_line (di);
 154   /* See if we need any padding.  */
 155   else if ((extra = (di->column - SOL_COLUMN) % COLUMN_ALIGNMENT) != 0)
 156     {
 157       fprintf (di->stream, "%*s", COLUMN_ALIGNMENT - extra, "");
 158       di->column += COLUMN_ALIGNMENT - extra;
 159     }
 160 }
 161
 162 /* Dump pointer PTR using FIELD to identify it.  */
 163
 164 void
 165 dump_pointer (dump_info_p di, const char *field, void *ptr)
 166 {
 167   dump_maybe_newline (di);
 168   fprintf (di->stream, "%-4s: %-8lx ", field, (unsigned long) ptr);
 169   di->column += 15;
 170 }
 171
 172 /* Dump integer I using FIELD to identify it.  */
 173
 174 void
 175 dump_int (dump_info_p di, const char *field, int i)
 176 {
 177   dump_maybe_newline (di);
 178   fprintf (di->stream, "%-4s: %-7d ", field, i);
 179   di->column += 14;
 180 }
 181
 182 /* Dump the floating point value R, using FIELD to identify it.  */
 183
 184 static void
 185 dump_real (dump_info_p di, const char *field, const REAL_VALUE_TYPE *r)
 186 {
 187   char buf[32];
 188   real_to_decimal (buf, r, sizeof (buf), 0, true);
 189   dump_maybe_newline (di);
 190   fprintf (di->stream, "%-4s: %s ", field, buf);
 191   di->column += strlen (buf) + 7;
 192 }
 193
 194 /* Dump the fixed-point value F, using FIELD to identify it.  */
 195
 196 static void
 197 dump_fixed (dump_info_p di, const char *field, const FIXED_VALUE_TYPE *f)
 198 {
 199   char buf[32];
 200   fixed_to_decimal (buf, f, sizeof (buf));
 201   dump_maybe_newline (di);
 202   fprintf (di->stream, "%-4s: %s ", field, buf);
 203   di->column += strlen (buf) + 7;
 204 }
 205
 206
 207 /* Dump the string S.  */
 208
 209 void
 210 dump_string (dump_info_p di, const char *string)
 211 {
 212   dump_maybe_newline (di);
 213   fprintf (di->stream, "%-13s ", string);
 214   if (strlen (string) > 13)
 215     di->column += strlen (string) + 1;
 216   else
 217     di->column += 14;
 218 }
 219
 220 /* Dump the string field S.  */
 221
 222 void
 223 dump_string_field (dump_info_p di, const char *field, const char *string)
 224 {
 225   dump_maybe_newline (di);
 226   fprintf (di->stream, "%-4s: %-7s ", field, string);
 227   if (strlen (string) > 7)
 228     di->column += 6 + strlen (string) + 1;
 229   else
 230     di->column += 14;
 231 }
 232
 233 /* Dump the next node in the queue.  */
 234
 235 static void
 236 dequeue_and_dump (dump_info_p di)
 237 {
 238   dump_queue_p dq;
 239   splay_tree_node stn;
 240   dump_node_info_p dni;
 241   tree t;
 242   unsigned int index;
 243   enum tree_code code;
 244   enum tree_code_class code_class;
 245   const char* code_name;
 246
 247   /* Get the next node from the queue.  */
 248   dq = di->queue;
 249   stn = dq->node;
 250   t = (tree) stn->key;
 251   dni = (dump_node_info_p) stn->value;
 252   index = dni->index;
 253
 254   /* Remove the node from the queue, and put it on the free list.  */
 255   di->queue = dq->next;
 256   if (!di->queue)
 257     di->queue_end = 0;
 258   dq->next = di->free_list;
 259   di->free_list = dq;
 260
 261   /* Print the node index.  */
 262   dump_index (di, index);
 263   /* And the type of node this is.  */
 264   if (dni->binfo_p)
 265     code_name = "binfo";
 266   else
 267     code_name = tree_code_name[(int) TREE_CODE (t)];
 268   fprintf (di->stream, "%-16s ", code_name);
 269   di->column = 25;
 270
 271   /* Figure out what kind of node this is.  */
 272   code = TREE_CODE (t);
 273   code_class = TREE_CODE_CLASS (code);
 274
 275   /* Although BINFOs are TREE_VECs, we dump them specially so as to be
 276      more informative.  */
 277   if (dni->binfo_p)
 278     {
 279       unsigned ix;
 280       tree base;
 281       VEC(tree,gc) *accesses = BINFO_BASE_ACCESSES (t);
 282
 283       dump_child ("type", BINFO_TYPE (t));
 284
 285       if (BINFO_VIRTUAL_P (t))
 286         dump_string_field (di, "spec", "virt");
 287
 288       dump_int (di, "bases", BINFO_N_BASE_BINFOS (t));
 289       for (ix = 0; BINFO_BASE_ITERATE (t, ix, base); ix++)
 290         {
 291           tree access = (accesses ? VEC_index (tree, accesses, ix)
 292                          : access_public_node);
 293           const char *string = NULL;
 294
 295           if (access == access_public_node)
 296             string = "pub";
 297           else if (access == access_protected_node)
 298             string = "prot";
 299           else if (access == access_private_node)
 300             string = "priv";
 301           else
 302             gcc_unreachable ();
 303
 304           dump_string_field (di, "accs", string);
 305           queue_and_dump_index (di, "binf", base, DUMP_BINFO);
 306         }
 307
 308       goto done;
 309     }
 310
 311   /* We can knock off a bunch of expression nodes in exactly the same
 312      way.  */
 313   if (IS_EXPR_CODE_CLASS (code_class))
 314     {
 315       /* If we're dumping children, dump them now.  */
 316       queue_and_dump_type (di, t);
 317
 318       switch (code_class)
 319         {
 320         case tcc_unary:
 321           dump_child ("op 0", TREE_OPERAND (t, 0));
 322           break;
 323
 324         case tcc_binary:
 325         case tcc_comparison:
 326           dump_child ("op 0", TREE_OPERAND (t, 0));
 327           dump_child ("op 1", TREE_OPERAND (t, 1));
 328           break;
 329
 330         case tcc_expression:
 331         case tcc_reference:
 332         case tcc_statement:
 333         case tcc_vl_exp:
 334           /* These nodes are handled explicitly below.  */
 335           break;
 336
 337         default:
 338           gcc_unreachable ();
 339         }
 340     }
 341   else if (DECL_P (t))
 342     {
 343       expanded_location xloc;
 344       /* All declarations have names.  */
 345       if (DECL_NAME (t))
 346         dump_child ("name", DECL_NAME (t));
 347       if (DECL_ASSEMBLER_NAME_SET_P (t)
 348           && DECL_ASSEMBLER_NAME (t) != DECL_NAME (t))
 349         dump_child ("mngl", DECL_ASSEMBLER_NAME (t));
 350       if (DECL_ABSTRACT_ORIGIN (t))
 351         dump_child ("orig", DECL_ABSTRACT_ORIGIN (t));
 352       /* And types.  */
 353       queue_and_dump_type (di, t);
 354       dump_child ("scpe", DECL_CONTEXT (t));
 355       /* And a source position.  */
 356       xloc = expand_location (DECL_SOURCE_LOCATION (t));
 357       if (xloc.file)
 358         {
 359           const char *filename = strrchr (xloc.file, '/');
 360           if (!filename)
 361             filename = xloc.file;
 362           else
 363             /* Skip the slash.  */
 364             ++filename;
 365
 366           dump_maybe_newline (di);
 367           fprintf (di->stream, "srcp: %s:%-6d ", filename,
 368                    xloc.line);
 369           di->column += 6 + strlen (filename) + 8;
 370         }
 371       /* And any declaration can be compiler-generated.  */
 372       if (CODE_CONTAINS_STRUCT (TREE_CODE (t), TS_DECL_COMMON)
 373           && DECL_ARTIFICIAL (t))
 374         dump_string_field (di, "note", "artificial");
 375       if (TREE_CHAIN (t) && !dump_flag (di, TDF_SLIM, NULL))
 376         dump_child ("chan", TREE_CHAIN (t));
 377     }
 378   else if (code_class == tcc_type)
 379     {
 380       /* All types have qualifiers.  */
 381       int quals = lang_hooks.tree_dump.type_quals (t);
 382
 383       if (quals != TYPE_UNQUALIFIED)
 384         {
 385           fprintf (di->stream, "qual: %c%c%c     ",
 386                    (quals & TYPE_QUAL_CONST) ? 'c' : ' ',
 387                    (quals & TYPE_QUAL_VOLATILE) ? 'v' : ' ',
 388                    (quals & TYPE_QUAL_RESTRICT) ? 'r' : ' ');
 389           di->column += 14;
 390         }
 391
 392       /* All types have associated declarations.  */
 393       dump_child ("name", TYPE_NAME (t));
 394
 395       /* All types have a main variant.  */
 396       if (TYPE_MAIN_VARIANT (t) != t)
 397         dump_child ("unql", TYPE_MAIN_VARIANT (t));
 398
 399       /* And sizes.  */
 400       dump_child ("size", TYPE_SIZE (t));
 401
 402       /* All types have alignments.  */
 403       dump_int (di, "algn", TYPE_ALIGN (t));
 404     }
 405   else if (code_class == tcc_constant)
 406     /* All constants can have types.  */
 407     queue_and_dump_type (di, t);
 408
 409   /* Give the language-specific code a chance to print something.  If
 410      it's completely taken care of things, don't bother printing
 411      anything more ourselves.  */
 412   if (lang_hooks.tree_dump.dump_tree (di, t))
 413     goto done;
 414
 415   /* Now handle the various kinds of nodes.  */
 416   switch (code)
 417     {
 418       int i;
 419
 420     case IDENTIFIER_NODE:
 421       dump_string_field (di, "strg", IDENTIFIER_POINTER (t));
 422       dump_int (di, "lngt", IDENTIFIER_LENGTH (t));
 423       break;
 424
 425     case TREE_LIST:
 426       dump_child ("purp", TREE_PURPOSE (t));
 427       dump_child ("valu", TREE_VALUE (t));
 428       dump_child ("chan", TREE_CHAIN (t));
 429       break;
 430
 431     case STATEMENT_LIST:
 432       {
 433         tree_stmt_iterator it;
 434         for (i = 0, it = tsi_start (t); !tsi_end_p (it); tsi_next (&it), i++)
 435           {
 436             char buffer[32];
 437             sprintf (buffer, "%u", i);
 438             dump_child (buffer, tsi_stmt (it));
 439           }
 440       }
 441       break;
 442
 443     case TREE_VEC:
 444       dump_int (di, "lngt", TREE_VEC_LENGTH (t));
 445       for (i = 0; i < TREE_VEC_LENGTH (t); ++i)
 446         {
 447           char buffer[32];
 448           sprintf (buffer, "%u", i);
 449           dump_child (buffer, TREE_VEC_ELT (t, i));
 450         }
 451       break;
 452
 453     case INTEGER_TYPE:
 454     case ENUMERAL_TYPE:
 455       dump_int (di, "prec", TYPE_PRECISION (t));
 456       dump_string_field (di, "sign", TYPE_UNSIGNED (t) ? "unsigned": "signed");
 457       dump_child ("min", TYPE_MIN_VALUE (t));
 458       dump_child ("max", TYPE_MAX_VALUE (t));
 459
 460       if (code == ENUMERAL_TYPE)
 461         dump_child ("csts", TYPE_VALUES (t));
 462       break;
 463
 464     case REAL_TYPE:
 465       dump_int (di, "prec", TYPE_PRECISION (t));
 466       break;
 467
 468     case FIXED_POINT_TYPE:
 469       dump_int (di, "prec", TYPE_PRECISION (t));
 470       dump_string_field (di, "sign", TYPE_UNSIGNED (t) ? "unsigned": "signed");
 471       dump_string_field (di, "saturating",
 472                          TYPE_SATURATING (t) ? "saturating": "non-saturating");
 473       break;
 474
 475     case POINTER_TYPE:
 476       dump_child ("ptd", TREE_TYPE (t));
 477       break;
 478
 479     case REFERENCE_TYPE:
 480       dump_child ("refd", TREE_TYPE (t));
 481       break;
 482
 483     case METHOD_TYPE:
 484       dump_child ("clas", TYPE_METHOD_BASETYPE (t));
 485       /* Fall through.  */
 486
 487     case FUNCTION_TYPE:
 488       dump_child ("retn", TREE_TYPE (t));
 489       dump_child ("prms", TYPE_ARG_TYPES (t));
 490       break;
 491
 492     case ARRAY_TYPE:
 493       dump_child ("elts", TREE_TYPE (t));
 494       dump_child ("domn", TYPE_DOMAIN (t));
 495       break;
 496
 497     case RECORD_TYPE:
 498     case UNION_TYPE:
 499       if (TREE_CODE (t) == RECORD_TYPE)
 500         dump_string_field (di, "tag", "struct");
 501       else
 502         dump_string_field (di, "tag", "union");
 503
 504       dump_child ("flds", TYPE_FIELDS (t));
 505       dump_child ("fncs", TYPE_METHODS (t));
 506       queue_and_dump_index (di, "binf", TYPE_BINFO (t),
 507                             DUMP_BINFO);
 508       break;
 509
 510     case CONST_DECL:
 511       dump_child ("cnst", DECL_INITIAL (t));
 512       break;
 513
 514     case VAR_DECL:
 515     case PARM_DECL:
 516     case FIELD_DECL:
 517     case RESULT_DECL:
 518       if (TREE_CODE (t) == PARM_DECL)
 519         dump_child ("argt", DECL_ARG_TYPE (t));
 520       else
 521         dump_child ("init", DECL_INITIAL (t));
 522       dump_child ("size", DECL_SIZE (t));
 523       dump_int (di, "algn", DECL_ALIGN (t));
 524
 525       if (TREE_CODE (t) == FIELD_DECL)
 526         {
 527           if (DECL_FIELD_OFFSET (t))
 528             dump_child ("bpos", bit_position (t));
 529         }
 530       else if (TREE_CODE (t) == VAR_DECL
 531                || TREE_CODE (t) == PARM_DECL)
 532         {
 533           dump_int (di, "used", TREE_USED (t));
 534           if (DECL_REGISTER (t))
 535             dump_string_field (di, "spec", "register");
 536         }
 537       break;
 538
 539     case FUNCTION_DECL:
 540       dump_child ("args", DECL_ARGUMENTS (t));
 541       if (DECL_EXTERNAL (t))
 542         dump_string_field (di, "body", "undefined");
 543       if (TREE_PUBLIC (t))
 544         dump_string_field (di, "link", "extern");
 545       else
 546         dump_string_field (di, "link", "static");
 547       if (DECL_SAVED_TREE (t) && !dump_flag (di, TDF_SLIM, t))
 548         dump_child ("body", DECL_SAVED_TREE (t));
 549       break;
 550
 551     case INTEGER_CST:
 552       if (TREE_INT_CST_HIGH (t))
 553         dump_int (di, "high", TREE_INT_CST_HIGH (t));
 554       dump_int (di, "low", TREE_INT_CST_LOW (t));
 555       break;
 556
 557     case STRING_CST:
 558       fprintf (di->stream, "strg: %-7s ", TREE_STRING_POINTER (t));
 559       dump_int (di, "lngt", TREE_STRING_LENGTH (t));
 560       break;
 561
 562     case REAL_CST:
 563       dump_real (di, "valu", TREE_REAL_CST_PTR (t));
 564       break;
 565
 566     case FIXED_CST:
 567       dump_fixed (di, "valu", TREE_FIXED_CST_PTR (t));
 568       break;
 569
 570     case TRUTH_NOT_EXPR:
 571     case ADDR_EXPR:
 572     case INDIRECT_REF:
 573     case ALIGN_INDIRECT_REF:
 574     case MISALIGNED_INDIRECT_REF:
 575     case CLEANUP_POINT_EXPR:
 576     case SAVE_EXPR:
 577     case REALPART_EXPR:
 578     case IMAGPART_EXPR:
 579       /* These nodes are unary, but do not have code class `1'.  */
 580       dump_child ("op 0", TREE_OPERAND (t, 0));
 581       break;
 582
 583     case TRUTH_ANDIF_EXPR:
 584     case TRUTH_ORIF_EXPR:
 585     case INIT_EXPR:
 586     case MODIFY_EXPR:
 587     case COMPOUND_EXPR:
 588     case PREDECREMENT_EXPR:
 589     case PREINCREMENT_EXPR:
 590     case POSTDECREMENT_EXPR:
 591     case POSTINCREMENT_EXPR:
 592       /* These nodes are binary, but do not have code class `2'.  */
 593       dump_child ("op 0", TREE_OPERAND (t, 0));
 594       dump_child ("op 1", TREE_OPERAND (t, 1));
 595       break;
 596
 597     case COMPONENT_REF:
 598       dump_child ("op 0", TREE_OPERAND (t, 0));
 599       dump_child ("op 1", TREE_OPERAND (t, 1));
 600       dump_child ("op 2", TREE_OPERAND (t, 2));
 601       break;
 602
 603     case ARRAY_REF:
 604     case ARRAY_RANGE_REF:
 605       dump_child ("op 0", TREE_OPERAND (t, 0));
 606       dump_child ("op 1", TREE_OPERAND (t, 1));
 607       dump_child ("op 2", TREE_OPERAND (t, 2));
 608       dump_child ("op 3", TREE_OPERAND (t, 3));
 609       break;
 610
 611     case COND_EXPR:
 612       dump_child ("op 0", TREE_OPERAND (t, 0));
 613       dump_child ("op 1", TREE_OPERAND (t, 1));
 614       dump_child ("op 2", TREE_OPERAND (t, 2));
 615       break;
 616
 617     case TRY_FINALLY_EXPR:
 618       dump_child ("op 0", TREE_OPERAND (t, 0));
 619       dump_child ("op 1", TREE_OPERAND (t, 1));
 620       break;
 621
 622     case CALL_EXPR:
 623       {
 624         int i = 0;
 625         tree arg;
 626         call_expr_arg_iterator iter;
 627         dump_child ("fn", CALL_EXPR_FN (t));
 628         FOR_EACH_CALL_EXPR_ARG (arg, iter, t)
 629           {
 630             char buffer[32];
 631             sprintf (buffer, "%u", i);
 632             dump_child (buffer, arg);
 633             i++;
 634           }
 635       }
 636       break;
 637
 638     case CONSTRUCTOR:
 639       {
 640         unsigned HOST_WIDE_INT cnt;
 641         tree index, value;
 642         dump_int (di, "lngt", VEC_length (constructor_elt,
 643                                           CONSTRUCTOR_ELTS (t)));
 644         FOR_EACH_CONSTRUCTOR_ELT (CONSTRUCTOR_ELTS (t), cnt, index, value)
 645           {
 646             dump_child ("idx", index);
 647             dump_child ("val", value);
 648           }
 649       }
 650       break;
 651
 652     case BIND_EXPR:
 653       dump_child ("vars", TREE_OPERAND (t, 0));
 654       dump_child ("body", TREE_OPERAND (t, 1));
 655       break;
 656
 657     case LOOP_EXPR:
 658       dump_child ("body", TREE_OPERAND (t, 0));
 659       break;
 660
 661     case EXIT_EXPR:
 662       dump_child ("cond", TREE_OPERAND (t, 0));
 663       break;
 664
 665     case RETURN_EXPR:
 666       dump_child ("expr", TREE_OPERAND (t, 0));
 667       break;
 668
 669     case TARGET_EXPR:
 670       dump_child ("decl", TREE_OPERAND (t, 0));
 671       dump_child ("init", TREE_OPERAND (t, 1));
 672       dump_child ("clnp", TREE_OPERAND (t, 2));
 673       /* There really are two possible places the initializer can be.
 674          After RTL expansion, the second operand is moved to the
 675          position of the fourth operand, and the second operand
 676          becomes NULL.  */
 677       dump_child ("init", TREE_OPERAND (t, 3));
 678       break;
 679
 680     case CASE_LABEL_EXPR:
 681       dump_child ("name", CASE_LABEL (t));
 682       if (CASE_LOW (t))
 683         {
 684           dump_child ("low ", CASE_LOW (t));
 685           if (CASE_HIGH (t))
 686             dump_child ("high", CASE_HIGH (t));
 687         }
 688       break;
 689     case LABEL_EXPR:
 690       dump_child ("name", TREE_OPERAND (t,0));
 691       break;
 692     case GOTO_EXPR:
 693       dump_child ("labl", TREE_OPERAND (t, 0));
 694       break;
 695     case SWITCH_EXPR:
 696       dump_child ("cond", TREE_OPERAND (t, 0));
 697       dump_child ("body", TREE_OPERAND (t, 1));
 698       if (TREE_OPERAND (t, 2))
 699         {
 700           dump_child ("labl", TREE_OPERAND (t,2));
 701         }
 702       break;
 703     case OMP_CLAUSE:
 704       {
 705         int i;
 706         fprintf (di->stream, "%s\n", omp_clause_code_name[OMP_CLAUSE_CODE (t)]);
 707         for (i = 0; i < omp_clause_num_ops[OMP_CLAUSE_CODE (t)]; i++)
 708           dump_child ("op: ", OMP_CLAUSE_OPERAND (t, i));
 709       }
 710       break;
 711     default:
 712       /* There are no additional fields to print.  */
 713       break;
 714     }
 715
 716  done:
 717   if (dump_flag (di, TDF_ADDRESS, NULL))
 718     dump_pointer (di, "addr", (void *)t);
 719
 720   /* Terminate the line.  */
 721   fprintf (di->stream, "\n");
 722 }
 723
 724 /* Return nonzero if FLAG has been specified for the dump, and NODE
 725    is not the root node of the dump.  */
 726
 727 int dump_flag (dump_info_p di, int flag, const_tree node)
 728 {
 729   return (di->flags & flag) && (node != di->node);
 730 }
 731
 732 /* Dump T, and all its children, on STREAM.  */
 733
 734 void
 735 dump_node (const_tree t, int flags, FILE *stream)
 736 {
 737   struct dump_info di;
 738   dump_queue_p dq;
 739   dump_queue_p next_dq;
 740
 741   /* Initialize the dump-information structure.  */
 742   di.stream = stream;
 743   di.index = 0;
 744   di.column = 0;
 745   di.queue = 0;
 746   di.queue_end = 0;
 747   di.free_list = 0;
 748   di.flags = flags;
 749   di.node = t;
 750   di.nodes = splay_tree_new (splay_tree_compare_pointers, 0,
 751                              (splay_tree_delete_value_fn) &free);
 752
 753   /* Queue up the first node.  */
 754   queue (&di, t, DUMP_NONE);
 755
 756   /* Until the queue is empty, keep dumping nodes.  */
 757   while (di.queue)
 758     dequeue_and_dump (&di);
 759
 760   /* Now, clean up.  */
 761   for (dq = di.free_list; dq; dq = next_dq)
 762     {
 763       next_dq = dq->next;
 764       free (dq);
 765     }
 766   splay_tree_delete (di.nodes);
 767 }
 768 \f
 769
 770 /* Table of tree dump switches. This must be consistent with the
 771    tree_dump_index enumeration in tree-pass.h.  */
 772 static struct dump_file_info dump_files[TDI_end] =
 773 {
 774   {NULL, NULL, NULL, 0, 0, 0},
 775   {".cgraph", "ipa-cgraph", NULL, TDF_IPA, 0,  0},
 776   {".tu", "translation-unit", NULL, TDF_TREE, 0, 1},
 777   {".class", "class-hierarchy", NULL, TDF_TREE, 0, 2},
 778   {".original", "tree-original", NULL, TDF_TREE, 0, 3},
 779   {".gimple", "tree-gimple", NULL, TDF_TREE, 0, 4},
 780   {".nested", "tree-nested", NULL, TDF_TREE, 0, 5},
 781   {".vcg", "tree-vcg", NULL, TDF_TREE, 0, 6},
 782 #define FIRST_AUTO_NUMBERED_DUMP 7
 783
 784   {NULL, "tree-all", NULL, TDF_TREE, 0, 0},
 785   {NULL, "rtl-all", NULL, TDF_RTL, 0, 0},
 786   {NULL, "ipa-all", NULL, TDF_IPA, 0, 0},
 787 };
 788
 789 /* Dynamically registered tree dump files and switches.  */
 790 static struct dump_file_info *extra_dump_files;
 791 static size_t extra_dump_files_in_use;
 792 static size_t extra_dump_files_alloced;
 793
 794 /* Define a name->number mapping for a dump flag value.  */
 795 struct dump_option_value_info
 796 {
 797   const char *const name;       /* the name of the value */
 798   const int value;              /* the value of the name */
 799 };
 800
 801 /* Table of dump options. This must be consistent with the TDF_* flags
 802    in tree.h */
 803 static const struct dump_option_value_info dump_options[] =
 804 {
 805   {"address", TDF_ADDRESS},
 806   {"asmname", TDF_ASMNAME},
 807   {"slim", TDF_SLIM},
 808   {"raw", TDF_RAW},
 809   {"graph", TDF_GRAPH},
 810   {"details", TDF_DETAILS},
 811   {"stats", TDF_STATS},
 812   {"blocks", TDF_BLOCKS},
 813   {"vops", TDF_VOPS},
 814   {"lineno", TDF_LINENO},
 815   {"uid", TDF_UID},
 816   {"stmtaddr", TDF_STMTADDR},
 817   {"memsyms", TDF_MEMSYMS},
 818   {"verbose", TDF_VERBOSE},
 819   {"eh", TDF_EH},
 820   {"all", ~(TDF_RAW | TDF_SLIM | TDF_LINENO | TDF_TREE | TDF_RTL | TDF_IPA
 821             | TDF_STMTADDR | TDF_GRAPH | TDF_DIAGNOSTIC | TDF_VERBOSE
 822             | TDF_RHS_ONLY)},
 823   {NULL, 0}
 824 };
 825
 826 unsigned int
 827 dump_register (const char *suffix, const char *swtch, const char *glob,
 828                int flags)
 829 {
 830   static int next_dump = FIRST_AUTO_NUMBERED_DUMP;
 831   int num = next_dump++;
 832
 833   size_t count = extra_dump_files_in_use++;
 834
 835   if (count >= extra_dump_files_alloced)
 836     {
 837       if (extra_dump_files_alloced == 0)
 838         extra_dump_files_alloced = 32;
 839       else
 840         extra_dump_files_alloced *= 2;
 841       extra_dump_files = XRESIZEVEC (struct dump_file_info,
 842                                      extra_dump_files,
 843                                      extra_dump_files_alloced);
 844     }
 845
 846   memset (&extra_dump_files[count], 0, sizeof (struct dump_file_info));
 847   extra_dump_files[count].suffix = suffix;
 848   extra_dump_files[count].swtch = swtch;
 849   extra_dump_files[count].glob = glob;
 850   extra_dump_files[count].flags = flags;
 851   extra_dump_files[count].num = num;
 852
 853   return count + TDI_end;
 854 }
 855
 856
 857 /* Return the dump_file_info for the given phase.  */
 858
 859 struct dump_file_info *
 860 get_dump_file_info (int phase)
 861 {
 862   if (phase < TDI_end)
 863     return &dump_files[phase];
 864   else if ((size_t) (phase - TDI_end) >= extra_dump_files_in_use)
 865     return NULL;
 866   else
 867     return extra_dump_files + (phase - TDI_end);
 868 }
 869
 870
 871 /* Return the name of the dump file for the given phase.
 872    If the dump is not enabled, returns NULL.  */
 873
 874 char *
 875 get_dump_file_name (int phase)
 876 {
 877   char dump_id[10];
 878   struct dump_file_info *dfi;
 879
 880   if (phase == TDI_none)
 881     return NULL;
 882
 883   dfi = get_dump_file_info (phase);
 884   if (dfi->state == 0)
 885     return NULL;
 886
 887   if (dfi->num < 0)
 888     dump_id[0] = '\0';
 889   else
 890     {
 891       char suffix;
 892       if (dfi->flags & TDF_TREE)
 893         suffix = 't';
 894       else if (dfi->flags & TDF_IPA)
 895         suffix = 'i';
 896       else
 897         suffix = 'r';
 898
 899       if (snprintf (dump_id, sizeof (dump_id), ".%03d%c", dfi->num, suffix) < 0)
 900         dump_id[0] = '\0';
 901     }
 902
 903   return concat (dump_base_name, dump_id, dfi->suffix, NULL);
 904 }
 905
 906 /* Begin a tree dump for PHASE. Stores any user supplied flag in
 907    *FLAG_PTR and returns a stream to write to. If the dump is not
 908    enabled, returns NULL.
 909    Multiple calls will reopen and append to the dump file.  */
 910
 911 FILE *
 912 dump_begin (int phase, int *flag_ptr)
 913 {
 914   char *name;
 915   struct dump_file_info *dfi;
 916   FILE *stream;
 917
 918   if (phase == TDI_none || !dump_enabled_p (phase))
 919     return NULL;
 920
 921   name = get_dump_file_name (phase);
 922   dfi = get_dump_file_info (phase);
 923   stream = fopen (name, dfi->state < 0 ? "w" : "a");
 924   if (!stream)
 925     error ("could not open dump file %qs: %s", name, strerror (errno));
 926   else
 927     dfi->state = 1;
 928   free (name);
 929
 930   if (flag_ptr)
 931     *flag_ptr = dfi->flags;
 932
 933   return stream;
 934 }
 935
 936 /* Returns nonzero if tree dump PHASE is enabled.  If PHASE is
 937    TDI_tree_all, return nonzero if any dump is enabled.  */
 938
 939 int
 940 dump_enabled_p (int phase)
 941 {
 942   if (phase == TDI_tree_all)
 943     {
 944       size_t i;
 945       for (i = TDI_none + 1; i < (size_t) TDI_end; i++)
 946         if (dump_files[i].state)
 947           return 1;
 948       for (i = 0; i < extra_dump_files_in_use; i++)
 949         if (extra_dump_files[i].state)
 950           return 1;
 951       return 0;
 952     }
 953   else
 954     {
 955       struct dump_file_info *dfi = get_dump_file_info (phase);
 956       return dfi->state;
 957     }
 958 }
 959
 960 /* Returns nonzero if tree dump PHASE has been initialized.  */
 961
 962 int
 963 dump_initialized_p (int phase)
 964 {
 965   struct dump_file_info *dfi = get_dump_file_info (phase);
 966   return dfi->state > 0;
 967 }
 968
 969 /* Returns the switch name of PHASE.  */
 970
 971 const char *
 972 dump_flag_name (int phase)
 973 {
 974   struct dump_file_info *dfi = get_dump_file_info (phase);
 975   return dfi->swtch;
 976 }
 977
 978 /* Finish a tree dump for PHASE. STREAM is the stream created by
 979    dump_begin.  */
 980
 981 void
 982 dump_end (int phase ATTRIBUTE_UNUSED, FILE *stream)
 983 {
 984   fclose (stream);
 985 }
 986
 987 /* Enable all tree dumps.  Return number of enabled tree dumps.  */
 988
 989 static int
 990 dump_enable_all (int flags)
 991 {
 992   int ir_dump_type = (flags & (TDF_TREE | TDF_RTL | TDF_IPA));
 993   int n = 0;
 994   size_t i;
 995
 996   for (i = TDI_none + 1; i < (size_t) TDI_end; i++)
 997     if ((dump_files[i].flags & ir_dump_type))
 998       {
 999         dump_files[i].state = -1;
1000         dump_files[i].flags |= flags;
1001         n++;
1002       }
1003
1004   for (i = 0; i < extra_dump_files_in_use; i++)
1005     if ((extra_dump_files[i].flags & ir_dump_type))
1006       {
1007         extra_dump_files[i].state = -1;
1008         extra_dump_files[i].flags |= flags;
1009         n++;
1010       }
1011
1012   return n;
1013 }
1014
1015 /* Parse ARG as a dump switch. Return nonzero if it is, and store the
1016    relevant details in the dump_files array.  */
1017
1018 static int
1019 dump_switch_p_1 (const char *arg, struct dump_file_info *dfi, bool doglob)
1020 {
1021   const char *option_value;
1022   const char *ptr;
1023   int flags;
1024
1025   if (doglob && !dfi->glob)
1026     return 0;
1027
1028   option_value = skip_leading_substring (arg, doglob ? dfi->glob : dfi->swtch);
1029   if (!option_value)
1030     return 0;
1031
1032   if (*option_value && *option_value != '-')
1033     return 0;
1034
1035   ptr = option_value;
1036   flags = 0;
1037
1038   while (*ptr)
1039     {
1040       const struct dump_option_value_info *option_ptr;
1041       const char *end_ptr;
1042       unsigned length;
1043
1044       while (*ptr == '-')
1045         ptr++;
1046       end_ptr = strchr (ptr, '-');
1047       if (!end_ptr)
1048         end_ptr = ptr + strlen (ptr);
1049       length = end_ptr - ptr;
1050
1051       for (option_ptr = dump_options; option_ptr->name; option_ptr++)
1052         if (strlen (option_ptr->name) == length
1053             && !memcmp (option_ptr->name, ptr, length))
1054           {
1055             flags |= option_ptr->value;
1056             goto found;
1057           }
1058       warning (0, "ignoring unknown option %q.*s in %<-fdump-%s%>",
1059                length, ptr, dfi->swtch);
1060     found:;
1061       ptr = end_ptr;
1062     }
1063
1064   dfi->state = -1;
1065   dfi->flags |= flags;
1066
1067   /* Process -fdump-tree-all and -fdump-rtl-all, by enabling all the
1068      known dumps.  */
1069   if (dfi->suffix == NULL)
1070     dump_enable_all (dfi->flags);
1071
1072   return 1;
1073 }
1074
1075 int
1076 dump_switch_p (const char *arg)
1077 {
1078   size_t i;
1079   int any = 0;
1080
1081   for (i = TDI_none + 1; i != TDI_end; i++)
1082     any |= dump_switch_p_1 (arg, &dump_files[i], false);
1083
1084   /* Don't glob if we got a hit already */
1085   if (!any)
1086     for (i = TDI_none + 1; i != TDI_end; i++)
1087       any |= dump_switch_p_1 (arg, &dump_files[i], true);
1088
1089   for (i = 0; i < extra_dump_files_in_use; i++)
1090     any |= dump_switch_p_1 (arg, &extra_dump_files[i], false);
1091
1092   if (!any)
1093     for (i = 0; i < extra_dump_files_in_use; i++)
1094       any |= dump_switch_p_1 (arg, &extra_dump_files[i], true);
1095
1096
1097   return any;
1098 }
1099
1100 /* Dump FUNCTION_DECL FN as tree dump PHASE.  */
1101
1102 void
1103 dump_function (int phase, tree fn)
1104 {
1105   FILE *stream;
1106   int flags;
1107
1108   stream = dump_begin (phase, &flags);
1109   if (stream)
1110     {
1111       dump_function_to_file (fn, stream, flags);
1112       dump_end (phase, stream);
1113     }
1114 }
1115
1116 bool
1117 enable_rtl_dump_file (void)
1118 {
1119   return dump_enable_all (TDF_RTL | TDF_DETAILS | TDF_BLOCKS) > 0;
1120 }