gcc/print-rtl.c

   1 /* Print RTL for GNU C Compiler.
   2    Copyright (C) 1987, 1988, 1992, 1997, 1998, 1999, 2000
   3    Free Software Foundation, Inc.
   4
   5 This file is part of GCC.
   6
   7 GCC is free software; you can redistribute it and/or modify it under
   8 the terms of the GNU General Public License as published by the Free
   9 Software Foundation; either version 2, or (at your option) any later
  10 version.
  11
  12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
  13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
  14 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  15 for more details.
  16
  17 You should have received a copy of the GNU General Public License
  18 along with GCC; see the file COPYING.  If not, write to the Free
  19 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
  20 02111-1307, USA.  */
  21
  22
  23 #include "config.h"
  24 #include "system.h"
  25 #include "rtl.h"
  26
  27 /* We don't want the tree code checking code for the access to the
  28    DECL_NAME to be included in the gen* programs.  */
  29 #undef ENABLE_TREE_CHECKING
  30 #include "tree.h"
  31 #include "real.h"
  32 #include "flags.h"
  33 #include "hard-reg-set.h"
  34 #include "basic-block.h"
  35
  36 /* How to print out a register name.
  37    We don't use PRINT_REG because some definitions of PRINT_REG
  38    don't work here.  */
  39 #ifndef DEBUG_PRINT_REG
  40 #define DEBUG_PRINT_REG(RTX, CODE, FILE) \
  41   fprintf ((FILE), "%d %s", REGNO (RTX), reg_names[REGNO (RTX)])
  42 #endif
  43
  44 /* Array containing all of the register names */
  45
  46 #ifdef DEBUG_REGISTER_NAMES
  47 static const char * const debug_reg_names[] = DEBUG_REGISTER_NAMES;
  48 #define reg_names debug_reg_names
  49 #else
  50 const char * reg_names[] = REGISTER_NAMES;
  51 #endif
  52
  53 static FILE *outfile;
  54
  55 static int sawclose = 0;
  56
  57 static int indent;
  58
  59 static void print_rtx           PARAMS ((rtx));
  60
  61 /* String printed at beginning of each RTL when it is dumped.
  62    This string is set to ASM_COMMENT_START when the RTL is dumped in
  63    the assembly output file.  */
  64 const char *print_rtx_head = "";
  65
  66 /* Nonzero means suppress output of instruction numbers and line number
  67    notes in debugging dumps.
  68    This must be defined here so that programs like gencodes can be linked.  */
  69 int flag_dump_unnumbered = 0;
  70
  71 /* Nonzero means use simplified format without flags, modes, etc.  */
  72 int flag_simple = 0;
  73
  74 /* Nonzero if we are dumping graphical description.  */
  75 int dump_for_graph;
  76
  77 /* Nonzero to dump all call_placeholder alternatives.  */
  78 static int debug_call_placeholder_verbose;
  79
  80 void
  81 print_mem_expr (outfile, expr)
  82      FILE *outfile;
  83      tree expr;
  84 {
  85   if (TREE_CODE (expr) == COMPONENT_REF)
  86     {
  87       if (TREE_OPERAND (expr, 0))
  88         print_mem_expr (outfile, TREE_OPERAND (expr, 0));
  89       else
  90         fputs (" <variable>", outfile);
  91       fprintf (outfile, ".%s",
  92                IDENTIFIER_POINTER (DECL_NAME (TREE_OPERAND (expr, 1))));
  93     }
  94   else if (DECL_NAME (expr))
  95     fprintf (outfile, " %s", IDENTIFIER_POINTER (DECL_NAME (expr)));
  96   else if (TREE_CODE (expr) == RESULT_DECL)
  97     fputs (" <result>", outfile);
  98   else
  99     fputs (" <anonymous>", outfile);
 100 }
 101
 102 /* Print IN_RTX onto OUTFILE.  This is the recursive part of printing.  */
 103
 104 static void
 105 print_rtx (in_rtx)
 106      rtx in_rtx;
 107 {
 108   int i = 0;
 109   int j;
 110   const char *format_ptr;
 111   int is_insn;
 112   rtx tem;
 113
 114   if (sawclose)
 115     {
 116       if (flag_simple)
 117         fputc (' ', outfile);
 118       else
 119         fprintf (outfile, "\n%s%*s", print_rtx_head, indent * 2, "");
 120       sawclose = 0;
 121     }
 122
 123   if (in_rtx == 0)
 124     {
 125       fputs ("(nil)", outfile);
 126       sawclose = 1;
 127       return;
 128     }
 129   else if (GET_CODE (in_rtx) > NUM_RTX_CODE)
 130     {
 131        fprintf (outfile, "(??? bad code %d\n)", GET_CODE (in_rtx));
 132        sawclose = 1;
 133        return;
 134     }
 135
 136   is_insn = INSN_P (in_rtx);
 137
 138   /* When printing in VCG format we write INSNs, NOTE, LABEL, and BARRIER
 139      in separate nodes and therefore have to handle them special here.  */
 140   if (dump_for_graph
 141       && (is_insn || GET_CODE (in_rtx) == NOTE
 142           || GET_CODE (in_rtx) == CODE_LABEL || GET_CODE (in_rtx) == BARRIER))
 143     {
 144       i = 3;
 145       indent = 0;
 146     }
 147   else
 148     {
 149       /* Print name of expression code.  */
 150       if (flag_simple && GET_CODE (in_rtx) == CONST_INT)
 151         fputc ('(', outfile);
 152       else
 153         fprintf (outfile, "(%s", GET_RTX_NAME (GET_CODE (in_rtx)));
 154
 155       if (! flag_simple)
 156         {
 157           if (in_rtx->in_struct)
 158             fputs ("/s", outfile);
 159
 160           if (in_rtx->volatil)
 161             fputs ("/v", outfile);
 162
 163           if (in_rtx->unchanging)
 164             fputs ("/u", outfile);
 165
 166           if (in_rtx->integrated)
 167             fputs ("/i", outfile);
 168
 169           if (in_rtx->frame_related)
 170             fputs ("/f", outfile);
 171
 172           if (in_rtx->jump)
 173             fputs ("/j", outfile);
 174
 175           if (in_rtx->call)
 176             fputs ("/c", outfile);
 177
 178           if (GET_MODE (in_rtx) != VOIDmode)
 179             {
 180               /* Print REG_NOTE names for EXPR_LIST and INSN_LIST.  */
 181               if (GET_CODE (in_rtx) == EXPR_LIST
 182                   || GET_CODE (in_rtx) == INSN_LIST)
 183                 fprintf (outfile, ":%s",
 184                          GET_REG_NOTE_NAME (GET_MODE (in_rtx)));
 185               else
 186                 fprintf (outfile, ":%s", GET_MODE_NAME (GET_MODE (in_rtx)));
 187             }
 188         }
 189     }
 190
 191   /* Get the format string and skip the first elements if we have handled
 192      them already.  */
 193   format_ptr = GET_RTX_FORMAT (GET_CODE (in_rtx)) + i;
 194   for (; i < GET_RTX_LENGTH (GET_CODE (in_rtx)); i++)
 195     switch (*format_ptr++)
 196       {
 197         const char *str;
 198
 199       case 'T':
 200         str = XTMPL (in_rtx, i);
 201         goto string;
 202
 203       case 'S':
 204       case 's':
 205         str = XSTR (in_rtx, i);
 206       string:
 207
 208         if (str == 0)
 209           fputs (dump_for_graph ? " \\\"\\\"" : " \"\"", outfile);
 210         else
 211           {
 212             if (dump_for_graph)
 213               fprintf (outfile, " (\\\"%s\\\")", str);
 214             else
 215               fprintf (outfile, " (\"%s\")", str);
 216           }
 217         sawclose = 1;
 218         break;
 219
 220         /* 0 indicates a field for internal use that should not be printed.
 221            An exception is the third field of a NOTE, where it indicates
 222            that the field has several different valid contents.  */
 223       case '0':
 224         if (i == 1 && GET_CODE (in_rtx) == REG)
 225           {
 226             if (REGNO (in_rtx) != ORIGINAL_REGNO (in_rtx))
 227               fprintf (outfile, " [%d]", ORIGINAL_REGNO (in_rtx));
 228             break;
 229           }
 230         if (i == 3 && GET_CODE (in_rtx) == NOTE)
 231           {
 232             switch (NOTE_LINE_NUMBER (in_rtx))
 233               {
 234               case NOTE_INSN_EH_REGION_BEG:
 235               case NOTE_INSN_EH_REGION_END:
 236                 if (flag_dump_unnumbered)
 237                   fprintf (outfile, " #");
 238                 else
 239                   fprintf (outfile, " %d", NOTE_EH_HANDLER (in_rtx));
 240                 sawclose = 1;
 241                 break;
 242
 243               case NOTE_INSN_BLOCK_BEG:
 244               case NOTE_INSN_BLOCK_END:
 245                 fprintf (outfile, " ");
 246                 if (flag_dump_unnumbered)
 247                   fprintf (outfile, "#");
 248                 else
 249                   fprintf (outfile, HOST_PTR_PRINTF,
 250                            (char *) NOTE_BLOCK (in_rtx));
 251                 sawclose = 1;
 252                 break;
 253
 254               case NOTE_INSN_RANGE_BEG:
 255               case NOTE_INSN_RANGE_END:
 256               case NOTE_INSN_LIVE:
 257                 indent += 2;
 258                 if (!sawclose)
 259                   fprintf (outfile, " ");
 260                 print_rtx (NOTE_RANGE_INFO (in_rtx));
 261                 indent -= 2;
 262                 break;
 263
 264               case NOTE_INSN_BASIC_BLOCK:
 265                 {
 266                   basic_block bb = NOTE_BASIC_BLOCK (in_rtx);
 267                   if (bb != 0)
 268                     fprintf (outfile, " [bb %d]", bb->index);
 269                   break;
 270                 }
 271
 272               case NOTE_INSN_EXPECTED_VALUE:
 273                 indent += 2;
 274                 if (!sawclose)
 275                   fprintf (outfile, " ");
 276                 print_rtx (NOTE_EXPECTED_VALUE (in_rtx));
 277                 indent -= 2;
 278                 break;
 279
 280               case NOTE_INSN_DELETED_LABEL:
 281                 if (NOTE_SOURCE_FILE (in_rtx))
 282                   fprintf (outfile, " (\"%s\")", NOTE_SOURCE_FILE (in_rtx));
 283                 else
 284                   fprintf (outfile, " \"\"");
 285                 break;
 286
 287               default:
 288                 {
 289                   const char * const str = X0STR (in_rtx, i);
 290
 291                   if (NOTE_LINE_NUMBER (in_rtx) < 0)
 292                     ;
 293                   else if (str == 0)
 294                     fputs (dump_for_graph ? " \\\"\\\"" : " \"\"", outfile);
 295                   else
 296                     {
 297                       if (dump_for_graph)
 298                         fprintf (outfile, " (\\\"%s\\\")", str);
 299                       else
 300                         fprintf (outfile, " (\"%s\")", str);
 301                     }
 302                   break;
 303                 }
 304               }
 305           }
 306         break;
 307
 308       case 'e':
 309       do_e:
 310         indent += 2;
 311         if (!sawclose)
 312           fprintf (outfile, " ");
 313         print_rtx (XEXP (in_rtx, i));
 314         indent -= 2;
 315         break;
 316
 317       case 'E':
 318       case 'V':
 319         indent += 2;
 320         if (sawclose)
 321           {
 322             fprintf (outfile, "\n%s%*s",
 323                      print_rtx_head, indent * 2, "");
 324             sawclose = 0;
 325           }
 326         fputs ("[ ", outfile);
 327         if (NULL != XVEC (in_rtx, i))
 328           {
 329             indent += 2;
 330             if (XVECLEN (in_rtx, i))
 331               sawclose = 1;
 332
 333             for (j = 0; j < XVECLEN (in_rtx, i); j++)
 334               print_rtx (XVECEXP (in_rtx, i, j));
 335
 336             indent -= 2;
 337           }
 338         if (sawclose)
 339           fprintf (outfile, "\n%s%*s", print_rtx_head, indent * 2, "");
 340
 341         fputs ("] ", outfile);
 342         sawclose = 1;
 343         indent -= 2;
 344         break;
 345
 346       case 'w':
 347         if (! flag_simple)
 348           fprintf (outfile, " ");
 349         fprintf (outfile, HOST_WIDE_INT_PRINT_DEC, XWINT (in_rtx, i));
 350         if (! flag_simple)
 351           {
 352             fprintf (outfile, " [");
 353             fprintf (outfile, HOST_WIDE_INT_PRINT_HEX, XWINT (in_rtx, i));
 354             fprintf (outfile, "]");
 355           }
 356         break;
 357
 358       case 'i':
 359         if (i == 5 && GET_CODE (in_rtx) == NOTE)
 360           {
 361             /* This field is only used for NOTE_INSN_DELETED_LABEL, and
 362                other times often contains garbage from INSN->NOTE death.  */
 363             if (NOTE_LINE_NUMBER (in_rtx) == NOTE_INSN_DELETED_LABEL)
 364               fprintf (outfile, " %d",  XINT (in_rtx, i));
 365           }
 366         else
 367           {
 368             int value = XINT (in_rtx, i);
 369             const char *name;
 370
 371             if (GET_CODE (in_rtx) == REG && value < FIRST_PSEUDO_REGISTER)
 372               {
 373                 fputc (' ', outfile);
 374                 DEBUG_PRINT_REG (in_rtx, 0, outfile);
 375               }
 376             else if (GET_CODE (in_rtx) == REG
 377                      && value <= LAST_VIRTUAL_REGISTER)
 378               {
 379                 if (value == VIRTUAL_INCOMING_ARGS_REGNUM)
 380                   fprintf (outfile, " %d virtual-incoming-args", value);
 381                 else if (value == VIRTUAL_STACK_VARS_REGNUM)
 382                   fprintf (outfile, " %d virtual-stack-vars", value);
 383                 else if (value == VIRTUAL_STACK_DYNAMIC_REGNUM)
 384                   fprintf (outfile, " %d virtual-stack-dynamic", value);
 385                 else if (value == VIRTUAL_OUTGOING_ARGS_REGNUM)
 386                   fprintf (outfile, " %d virtual-outgoing-args", value);
 387                 else if (value == VIRTUAL_CFA_REGNUM)
 388                   fprintf (outfile, " %d virtual-cfa", value);
 389                 else
 390                   fprintf (outfile, " %d virtual-reg-%d", value,
 391                            value-FIRST_VIRTUAL_REGISTER);
 392               }
 393             else if (flag_dump_unnumbered
 394                      && (is_insn || GET_CODE (in_rtx) == NOTE))
 395               fputc ('#', outfile);
 396             else
 397               fprintf (outfile, " %d", value);
 398
 399             if (is_insn && &INSN_CODE (in_rtx) == &XINT (in_rtx, i)
 400                 && XINT (in_rtx, i) >= 0
 401                 && (name = get_insn_name (XINT (in_rtx, i))) != NULL)
 402               fprintf (outfile, " {%s}", name);
 403             sawclose = 0;
 404           }
 405         break;
 406
 407       /* Print NOTE_INSN names rather than integer codes.  */
 408
 409       case 'n':
 410         if (XINT (in_rtx, i) >= (int) NOTE_INSN_BIAS
 411             && XINT (in_rtx, i) < (int) NOTE_INSN_MAX)
 412           fprintf (outfile, " %s", GET_NOTE_INSN_NAME (XINT (in_rtx, i)));
 413         else
 414           fprintf (outfile, " %d", XINT (in_rtx, i));
 415         sawclose = 0;
 416         break;
 417
 418       case 'u':
 419         if (XEXP (in_rtx, i) != NULL)
 420           {
 421             rtx sub = XEXP (in_rtx, i);
 422             enum rtx_code subc = GET_CODE (sub);
 423
 424             if (GET_CODE (in_rtx) == LABEL_REF)
 425               {
 426                 if (subc == NOTE
 427                     && NOTE_LINE_NUMBER (sub) == NOTE_INSN_DELETED_LABEL)
 428                   {
 429                     if (flag_dump_unnumbered)
 430                       fprintf (outfile, " [# deleted]");
 431                     else
 432                       fprintf (outfile, " [%d deleted]", INSN_UID (sub));
 433                     sawclose = 0;
 434                     break;
 435                   }
 436
 437                 if (subc != CODE_LABEL)
 438                   goto do_e;
 439               }
 440
 441             if (flag_dump_unnumbered)
 442               fputs (" #", outfile);
 443             else
 444               fprintf (outfile, " %d", INSN_UID (sub));
 445           }
 446         else
 447           fputs (" 0", outfile);
 448         sawclose = 0;
 449         break;
 450
 451       case 'b':
 452         if (XBITMAP (in_rtx, i) == NULL)
 453           fputs (" {null}", outfile);
 454         else
 455           bitmap_print (outfile, XBITMAP (in_rtx, i), " {", "}");
 456         sawclose = 0;
 457         break;
 458
 459       case 't':
 460         putc (' ', outfile);
 461         fprintf (outfile, HOST_PTR_PRINTF, (char *) XTREE (in_rtx, i));
 462         break;
 463
 464       case '*':
 465         fputs (" Unknown", outfile);
 466         sawclose = 0;
 467         break;
 468
 469       default:
 470         fprintf (stderr,
 471                  "switch format wrong in rtl.print_rtx(). format was: %c.\n",
 472                  format_ptr[-1]);
 473         abort ();
 474       }
 475
 476   switch (GET_CODE (in_rtx))
 477     {
 478     case MEM:
 479       fputs (" [", outfile);
 480       fprintf (outfile, HOST_WIDE_INT_PRINT_DEC, MEM_ALIAS_SET (in_rtx));
 481
 482       if (MEM_EXPR (in_rtx))
 483         print_mem_expr (outfile, MEM_EXPR (in_rtx));
 484
 485       if (MEM_OFFSET (in_rtx))
 486         {
 487           fputc ('+', outfile);
 488           fprintf (outfile, HOST_WIDE_INT_PRINT_DEC,
 489                    INTVAL (MEM_OFFSET (in_rtx)));
 490         }
 491
 492       if (MEM_SIZE (in_rtx))
 493         {
 494           fputs (" S", outfile);
 495           fprintf (outfile, HOST_WIDE_INT_PRINT_DEC,
 496                    INTVAL (MEM_SIZE (in_rtx)));
 497         }
 498
 499       if (MEM_ALIGN (in_rtx) != 1)
 500         fprintf (outfile, " A%u", MEM_ALIGN (in_rtx));
 501
 502       fputc (']', outfile);
 503       break;
 504
 505 #if 0
 506     /* It would be nice to do this, but it would require real.o to
 507        be linked into the MD-generator programs.  Maybe we should
 508        do that.  -zw 2002-03-03  */
 509     case CONST_DOUBLE:
 510       if (FLOAT_MODE_P (GET_MODE (in_rtx)))
 511         {
 512           REAL_VALUE_TYPE val;
 513           char s[30];
 514
 515           REAL_VALUE_FROM_CONST_DOUBLE (val, in_rtx);
 516           REAL_VALUE_TO_DECIMAL (val, "%.16g", s);
 517           fprintf (outfile, " [%s]", s);
 518         }
 519       break;
 520 #endif
 521
 522     case CODE_LABEL:
 523       fprintf (outfile, " [%d uses]", LABEL_NUSES (in_rtx));
 524       if (LABEL_ALTERNATE_NAME (in_rtx))
 525         fprintf (outfile, " [alternate name: %s]",
 526                  LABEL_ALTERNATE_NAME (in_rtx));
 527       break;
 528
 529     case CALL_PLACEHOLDER:
 530       if (debug_call_placeholder_verbose)
 531         {
 532           fputs (" (cond [\n  (const_string \"normal\") (sequence [", outfile);
 533           for (tem = XEXP (in_rtx, 0); tem != 0; tem = NEXT_INSN (tem))
 534             {
 535               fputs ("\n    ", outfile);
 536               print_inline_rtx (outfile, tem, 4);
 537             }
 538
 539           tem = XEXP (in_rtx, 1);
 540           if (tem)
 541             fputs ("\n    ])\n  (const_string \"tail_call\") (sequence [",
 542                    outfile);
 543           for (; tem != 0; tem = NEXT_INSN (tem))
 544             {
 545               fputs ("\n    ", outfile);
 546               print_inline_rtx (outfile, tem, 4);
 547             }
 548
 549           tem = XEXP (in_rtx, 2);
 550           if (tem)
 551             fputs ("\n    ])\n  (const_string \"tail_recursion\") (sequence [",
 552                    outfile);
 553           for (; tem != 0; tem = NEXT_INSN (tem))
 554             {
 555               fputs ("\n    ", outfile);
 556               print_inline_rtx (outfile, tem, 4);
 557             }
 558
 559           fputs ("\n    ])\n  ])", outfile);
 560           break;
 561         }
 562
 563       for (tem = XEXP (in_rtx, 0); tem != 0; tem = NEXT_INSN (tem))
 564         if (GET_CODE (tem) == CALL_INSN)
 565           {
 566             fprintf (outfile, " ");
 567             print_rtx (tem);
 568             break;
 569           }
 570       break;
 571
 572     default:
 573       break;
 574     }
 575
 576   if (dump_for_graph
 577       && (is_insn || GET_CODE (in_rtx) == NOTE
 578           || GET_CODE (in_rtx) == CODE_LABEL || GET_CODE (in_rtx) == BARRIER))
 579     sawclose = 0;
 580   else
 581     {
 582       fputc (')', outfile);
 583       sawclose = 1;
 584     }
 585 }
 586
 587 /* Print an rtx on the current line of FILE.  Initially indent IND
 588    characters.  */
 589
 590 void
 591 print_inline_rtx (outf, x, ind)
 592      FILE *outf;
 593      rtx x;
 594      int ind;
 595 {
 596   int oldsaw = sawclose;
 597   int oldindent = indent;
 598
 599   sawclose = 0;
 600   indent = ind;
 601   outfile = outf;
 602   print_rtx (x);
 603   sawclose = oldsaw;
 604   indent = oldindent;
 605 }
 606
 607 /* Call this function from the debugger to see what X looks like.  */
 608
 609 void
 610 debug_rtx (x)
 611      rtx x;
 612 {
 613   outfile = stderr;
 614   print_rtx (x);
 615   fprintf (stderr, "\n");
 616 }
 617
 618 /* Count of rtx's to print with debug_rtx_list.
 619    This global exists because gdb user defined commands have no arguments.  */
 620
 621 int debug_rtx_count = 0;        /* 0 is treated as equivalent to 1 */
 622
 623 /* Call this function to print list from X on.
 624
 625    N is a count of the rtx's to print. Positive values print from the specified
 626    rtx on.  Negative values print a window around the rtx.
 627    EG: -5 prints 2 rtx's on either side (in addition to the specified rtx).  */
 628
 629 void
 630 debug_rtx_list (x, n)
 631      rtx x;
 632      int n;
 633 {
 634   int i,count;
 635   rtx insn;
 636
 637   count = n == 0 ? 1 : n < 0 ? -n : n;
 638
 639   /* If we are printing a window, back up to the start.  */
 640
 641   if (n < 0)
 642     for (i = count / 2; i > 0; i--)
 643       {
 644         if (PREV_INSN (x) == 0)
 645           break;
 646         x = PREV_INSN (x);
 647       }
 648
 649   for (i = count, insn = x; i > 0 && insn != 0; i--, insn = NEXT_INSN (insn))
 650     debug_rtx (insn);
 651 }
 652
 653 /* Call this function to print an rtx list from START to END inclusive.  */
 654
 655 void
 656 debug_rtx_range (start, end)
 657      rtx start, end;
 658 {
 659   while (1)
 660     {
 661       debug_rtx (start);
 662       if (!start || start == end)
 663         break;
 664       start = NEXT_INSN (start);
 665     }
 666 }
 667
 668 /* Call this function to search an rtx list to find one with insn uid UID,
 669    and then call debug_rtx_list to print it, using DEBUG_RTX_COUNT.
 670    The found insn is returned to enable further debugging analysis.  */
 671
 672 rtx
 673 debug_rtx_find (x, uid)
 674      rtx x;
 675      int uid;
 676 {
 677   while (x != 0 && INSN_UID (x) != uid)
 678     x = NEXT_INSN (x);
 679   if (x != 0)
 680     {
 681       debug_rtx_list (x, debug_rtx_count);
 682       return x;
 683     }
 684   else
 685     {
 686       fprintf (stderr, "insn uid %d not found\n", uid);
 687       return 0;
 688     }
 689 }
 690
 691 /* External entry point for printing a chain of insns
 692    starting with RTX_FIRST onto file OUTF.
 693    A blank line separates insns.
 694
 695    If RTX_FIRST is not an insn, then it alone is printed, with no newline.  */
 696
 697 void
 698 print_rtl (outf, rtx_first)
 699      FILE *outf;
 700      rtx rtx_first;
 701 {
 702   rtx tmp_rtx;
 703
 704   outfile = outf;
 705   sawclose = 0;
 706
 707   if (rtx_first == 0)
 708     {
 709       fputs (print_rtx_head, outf);
 710       fputs ("(nil)\n", outf);
 711     }
 712   else
 713     switch (GET_CODE (rtx_first))
 714       {
 715       case INSN:
 716       case JUMP_INSN:
 717       case CALL_INSN:
 718       case NOTE:
 719       case CODE_LABEL:
 720       case BARRIER:
 721         for (tmp_rtx = rtx_first; tmp_rtx != 0; tmp_rtx = NEXT_INSN (tmp_rtx))
 722           if (! flag_dump_unnumbered
 723               || GET_CODE (tmp_rtx) != NOTE || NOTE_LINE_NUMBER (tmp_rtx) < 0)
 724             {
 725               fputs (print_rtx_head, outfile);
 726               print_rtx (tmp_rtx);
 727               fprintf (outfile, "\n");
 728             }
 729         break;
 730
 731       default:
 732         fputs (print_rtx_head, outfile);
 733         print_rtx (rtx_first);
 734       }
 735 }
 736
 737 /* Like print_rtx, except specify a file.  */
 738 /* Return nonzero if we actually printed anything.  */
 739
 740 int
 741 print_rtl_single (outf, x)
 742      FILE *outf;
 743      rtx x;
 744 {
 745   outfile = outf;
 746   sawclose = 0;
 747   if (! flag_dump_unnumbered
 748       || GET_CODE (x) != NOTE || NOTE_LINE_NUMBER (x) < 0)
 749     {
 750       fputs (print_rtx_head, outfile);
 751       print_rtx (x);
 752       putc ('\n', outf);
 753       return 1;
 754     }
 755   return 0;
 756 }
 757
 758
 759 /* Like print_rtl except without all the detail; for example,
 760    if RTX is a CONST_INT then print in decimal format.  */
 761
 762 void
 763 print_simple_rtl (outf, x)
 764      FILE *outf;
 765      rtx x;
 766 {
 767   flag_simple = 1;
 768   print_rtl (outf, x);
 769   flag_simple = 0;
 770 }