]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/print-rtl.c
Warning Fixes:
[thirdparty/gcc.git] / gcc / print-rtl.c
CommitLineData
e1a79915 1/* Print RTL for GNU C Compiler.
1d79197a 2 Copyright (C) 1987, 1988, 1992, 1997 Free Software Foundation, Inc.
e1a79915
RS
3
4This file is part of GNU CC.
5
6GNU CC is free software; you can redistribute it and/or modify
7it under the terms of the GNU General Public License as published by
8the Free Software Foundation; either version 2, or (at your option)
9any later version.
10
11GNU CC is distributed in the hope that it will be useful,
12but WITHOUT ANY WARRANTY; without even the implied warranty of
13MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14GNU General Public License for more details.
15
16You should have received a copy of the GNU General Public License
17along with GNU CC; see the file COPYING. If not, write to
e99215a3
RK
18the Free Software Foundation, 59 Temple Place - Suite 330,
19Boston, MA 02111-1307, USA. */
e1a79915
RS
20
21
22#include "config.h"
670ee920 23#include "system.h"
e1a79915 24#include "rtl.h"
487a6e06 25#include "bitmap.h"
e1a79915
RS
26
27
cf99a734
RS
28/* How to print out a register name.
29 We don't use PRINT_REG because some definitions of PRINT_REG
30 don't work here. */
31#ifndef DEBUG_PRINT_REG
32#define DEBUG_PRINT_REG(RTX, CODE, FILE) \
33 fprintf ((FILE), "%d %s", REGNO (RTX), reg_names[REGNO (RTX)])
34#endif
35
36/* Array containing all of the register names */
37
38#ifdef DEBUG_REGISTER_NAMES
39static char *reg_names[] = DEBUG_REGISTER_NAMES;
40#else
41static char *reg_names[] = REGISTER_NAMES;
42#endif
43
e1a79915
RS
44static FILE *outfile;
45
46char spaces[] = " ";
47
48static int sawclose = 0;
49
1d79197a
RK
50static int indent;
51
e1a79915
RS
52/* Names for patterns. Non-zero only when linked with insn-output.c. */
53
54extern char **insn_name_ptr;
55
56/* Print IN_RTX onto OUTFILE. This is the recursive part of printing. */
57
58static void
59print_rtx (in_rtx)
60 register rtx in_rtx;
61{
e1a79915
RS
62 register int i, j;
63 register char *format_ptr;
64 register int is_insn;
65
66 if (sawclose)
67 {
68 fprintf (outfile, "\n%s",
bcd4420d 69 (spaces + (sizeof spaces - 1 - indent * 2)));
e1a79915
RS
70 sawclose = 0;
71 }
72
73 if (in_rtx == 0)
74 {
75 fprintf (outfile, "(nil)");
76 sawclose = 1;
77 return;
78 }
79
80 /* print name of expression code */
81 fprintf (outfile, "(%s", GET_RTX_NAME (GET_CODE (in_rtx)));
82
83 if (in_rtx->in_struct)
84 fprintf (outfile, "/s");
85
86 if (in_rtx->volatil)
87 fprintf (outfile, "/v");
88
89 if (in_rtx->unchanging)
90 fprintf (outfile, "/u");
91
92 if (in_rtx->integrated)
93 fprintf (outfile, "/i");
94
95 if (GET_MODE (in_rtx) != VOIDmode)
96 {
97 /* Print REG_NOTE names for EXPR_LIST and INSN_LIST. */
98 if (GET_CODE (in_rtx) == EXPR_LIST || GET_CODE (in_rtx) == INSN_LIST)
99 fprintf (outfile, ":%s", GET_REG_NOTE_NAME (GET_MODE (in_rtx)));
100 else
101 fprintf (outfile, ":%s", GET_MODE_NAME (GET_MODE (in_rtx)));
102 }
103
104 is_insn = (GET_RTX_CLASS (GET_CODE (in_rtx)) == 'i');
105 format_ptr = GET_RTX_FORMAT (GET_CODE (in_rtx));
106
107 for (i = 0; i < GET_RTX_LENGTH (GET_CODE (in_rtx)); i++)
108 switch (*format_ptr++)
109 {
110 case 'S':
111 case 's':
6adb4e3a
MS
112 if (i == 3 && GET_CODE (in_rtx) == NOTE
113 && (NOTE_LINE_NUMBER (in_rtx) == NOTE_INSN_EH_REGION_BEG
0dfa1860
MM
114 || NOTE_LINE_NUMBER (in_rtx) == NOTE_INSN_EH_REGION_END
115 || NOTE_LINE_NUMBER (in_rtx) == NOTE_INSN_BLOCK_BEG
116 || NOTE_LINE_NUMBER (in_rtx) == NOTE_INSN_BLOCK_END))
6adb4e3a
MS
117 {
118 fprintf (outfile, " %d", NOTE_BLOCK_NUMBER (in_rtx));
119 sawclose = 1;
120 break;
121 }
0dfa1860
MM
122
123 if (i == 3 && GET_CODE (in_rtx) == NOTE
124 && (NOTE_LINE_NUMBER (in_rtx) == NOTE_INSN_RANGE_START
125 || NOTE_LINE_NUMBER (in_rtx) == NOTE_INSN_RANGE_END))
126 {
127 indent += 2;
128 if (!sawclose)
129 fprintf (outfile, " ");
130 print_rtx (NOTE_RANGE_INFO (in_rtx));
131 indent -= 2;
132 break;
133 }
134
135 if (i == 3 && GET_CODE (in_rtx) == NOTE
136 && NOTE_LINE_NUMBER (in_rtx) == NOTE_INSN_LIVE)
137 {
138 if (XBITMAP (in_rtx, i) == NULL)
139 fprintf (outfile, " {null}");
140 else
141 bitmap_print (outfile, XBITMAP (in_rtx, i), " {", "}");
142 sawclose = 0;
143 }
144
e1a79915
RS
145 if (XSTR (in_rtx, i) == 0)
146 fprintf (outfile, " \"\"");
147 else
148 fprintf (outfile, " (\"%s\")", XSTR (in_rtx, i));
149 sawclose = 1;
150 break;
151
152 /* 0 indicates a field for internal use that should not be printed. */
153 case '0':
154 break;
155
156 case 'e':
157 indent += 2;
158 if (!sawclose)
159 fprintf (outfile, " ");
160 print_rtx (XEXP (in_rtx, i));
161 indent -= 2;
162 break;
163
164 case 'E':
165 case 'V':
166 indent += 2;
167 if (sawclose)
168 {
169 fprintf (outfile, "\n%s",
bcd4420d 170 (spaces + (sizeof spaces - 1 - indent * 2)));
e1a79915
RS
171 sawclose = 0;
172 }
173 fprintf (outfile, "[ ");
174 if (NULL != XVEC (in_rtx, i))
175 {
176 indent += 2;
177 if (XVECLEN (in_rtx, i))
178 sawclose = 1;
179
180 for (j = 0; j < XVECLEN (in_rtx, i); j++)
181 print_rtx (XVECEXP (in_rtx, i, j));
182
183 indent -= 2;
184 }
185 if (sawclose)
186 fprintf (outfile, "\n%s",
bcd4420d 187 (spaces + (sizeof spaces - 1 - indent * 2)));
e1a79915
RS
188
189 fprintf (outfile, "] ");
190 sawclose = 1;
191 indent -= 2;
192 break;
193
5bf665df 194 case 'w':
734de8c8
RK
195 fprintf (outfile, " ");
196 fprintf (outfile, HOST_WIDE_INT_PRINT_DEC, XWINT (in_rtx, i));
5bf665df
RK
197 break;
198
e1a79915 199 case 'i':
cf99a734
RS
200 {
201 register int value = XINT (in_rtx, i);
202
203 if (GET_CODE (in_rtx) == REG && value < FIRST_PSEUDO_REGISTER)
204 {
205 fputc (' ', outfile);
206 DEBUG_PRINT_REG (in_rtx, 0, outfile);
207 }
208 else
209 fprintf (outfile, " %d", value);
210 }
e1a79915
RS
211 if (is_insn && &INSN_CODE (in_rtx) == &XINT (in_rtx, i)
212 && insn_name_ptr
213 && XINT (in_rtx, i) >= 0)
cf99a734 214 fprintf (outfile, " {%s}", insn_name_ptr[XINT (in_rtx, i)]);
e1a79915
RS
215 sawclose = 0;
216 break;
217
218 /* Print NOTE_INSN names rather than integer codes. */
219
220 case 'n':
221 if (XINT (in_rtx, i) <= 0)
222 fprintf (outfile, " %s", GET_NOTE_INSN_NAME (XINT (in_rtx, i)));
223 else
224 fprintf (outfile, " %d", XINT (in_rtx, i));
225 sawclose = 0;
226 break;
227
228 case 'u':
229 if (XEXP (in_rtx, i) != NULL)
d64be5ec 230 fprintf (outfile, " %d", INSN_UID (XEXP (in_rtx, i)));
e1a79915 231 else
d64be5ec
CH
232 fprintf (outfile, " 0");
233 sawclose = 0;
234 break;
235
0dfa1860
MM
236 case 'b':
237 if (XBITMAP (in_rtx, i) == NULL)
238 fprintf (outfile, " {null}");
239 else
240 bitmap_print (outfile, XBITMAP (in_rtx, i), " {", "}");
241 sawclose = 0;
242 break;
243
244 case 't':
245 putc (' ', outfile);
246 fprintf (outfile, HOST_WIDE_INT_PRINT_HEX,
247 (HOST_WIDE_INT) XTREE (in_rtx, i));
248 break;
249
d64be5ec
CH
250 case '*':
251 fprintf (outfile, " Unknown");
e1a79915
RS
252 sawclose = 0;
253 break;
254
255 default:
256 fprintf (stderr,
257 "switch format wrong in rtl.print_rtx(). format was: %c.\n",
258 format_ptr[-1]);
259 abort ();
260 }
261
262 fprintf (outfile, ")");
263 sawclose = 1;
264}
265
1d79197a
RK
266/* Print an rtx on the current line of FILE. Initially indent IND
267 characters. */
268
269void
270print_inline_rtx (outf, x, ind)
271 FILE *outf;
272 rtx x;
9870475c 273 int ind;
1d79197a 274{
956d6950
JL
275 int oldsaw = sawclose;
276 int oldindent = indent;
277
1d79197a
RK
278 sawclose = 0;
279 indent = ind;
280 outfile = outf;
281 print_rtx (x);
956d6950
JL
282 sawclose = oldsaw;
283 indent = oldindent;
1d79197a
RK
284}
285
e1a79915
RS
286/* Call this function from the debugger to see what X looks like. */
287
288void
289debug_rtx (x)
290 rtx x;
291{
292 outfile = stderr;
293 print_rtx (x);
294 fprintf (stderr, "\n");
295}
296
716f003f
DE
297/* Count of rtx's to print with debug_rtx_list.
298 This global exists because gdb user defined commands have no arguments. */
299
300int debug_rtx_count = 0; /* 0 is treated as equivalent to 1 */
301
302/* Call this function to print list from X on.
303
304 N is a count of the rtx's to print. Positive values print from the specified
305 rtx on. Negative values print a window around the rtx.
306 EG: -5 prints 2 rtx's on either side (in addition to the specified rtx). */
307
308void
309debug_rtx_list (x, n)
310 rtx x;
311 int n;
312{
313 int i,count;
314 rtx insn;
315
316 count = n == 0 ? 1 : n < 0 ? -n : n;
317
318 /* If we are printing a window, back up to the start. */
319
320 if (n < 0)
321 for (i = count / 2; i > 0; i--)
322 {
323 if (PREV_INSN (x) == 0)
324 break;
325 x = PREV_INSN (x);
326 }
327
328 for (i = count, insn = x; i > 0 && insn != 0; i--, insn = NEXT_INSN (insn))
329 debug_rtx (insn);
330}
331
332/* Call this function to search an rtx list to find one with insn uid UID,
333 and then call debug_rtx_list to print it, using DEBUG_RTX_COUNT.
334 The found insn is returned to enable further debugging analysis. */
335
336rtx
1d79197a 337debug_rtx_find (x, uid)
716f003f
DE
338 rtx x;
339 int uid;
340{
341 while (x != 0 && INSN_UID (x) != uid)
342 x = NEXT_INSN (x);
343 if (x != 0)
344 {
345 debug_rtx_list (x, debug_rtx_count);
346 return x;
347 }
348 else
349 {
350 fprintf (stderr, "insn uid %d not found\n", uid);
351 return 0;
352 }
353}
354
e1a79915
RS
355/* External entry point for printing a chain of insns
356 starting with RTX_FIRST onto file OUTF.
357 A blank line separates insns.
358
359 If RTX_FIRST is not an insn, then it alone is printed, with no newline. */
360
361void
362print_rtl (outf, rtx_first)
363 FILE *outf;
364 rtx rtx_first;
365{
366 register rtx tmp_rtx;
367
368 outfile = outf;
369 sawclose = 0;
370
371 if (rtx_first == 0)
372 fprintf (outf, "(nil)\n");
373 else
374 switch (GET_CODE (rtx_first))
375 {
376 case INSN:
377 case JUMP_INSN:
378 case CALL_INSN:
379 case NOTE:
380 case CODE_LABEL:
381 case BARRIER:
382 for (tmp_rtx = rtx_first; NULL != tmp_rtx; tmp_rtx = NEXT_INSN (tmp_rtx))
383 {
384 print_rtx (tmp_rtx);
385 fprintf (outfile, "\n");
386 }
387 break;
388
389 default:
390 print_rtx (rtx_first);
391 }
392}
3e28fe44
MM
393
394/* Like print_rtx, except specify a file. */
395
396void
397print_rtl_single (outf, x)
398 FILE *outf;
399 rtx x;
400{
401 outfile = outf;
402 sawclose = 0;
403 print_rtx (x);
404 putc ('\n', outf);
405}