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