gcc/print-rtl.c

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