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