1 /* Dump infrastructure for optimizations and intermediate representation.
2 Copyright (C) 2012-2018 Free Software Foundation, Inc.
4 This file is part of GCC.
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
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
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/>. */
22 #include "coretypes.h"
25 #include "gimple-pretty-print.h"
26 #include "diagnostic-core.h"
29 #include "profile-count.h"
31 #include "langhooks.h"
32 #include "backend.h" /* for gimple.h. */
33 #include "gimple.h" /* for dump_user_location_t ctor. */
34 #include "rtl.h" /* for dump_user_location_t ctor. */
37 /* If non-NULL, return one past-the-end of the matching SUBPART of
39 #define skip_leading_substring(whole, part) \
40 (strncmp (whole, part, strlen (part)) ? NULL : whole + strlen (part))
42 static dump_flags_t pflags
; /* current dump_flags */
44 static void dump_loc (dump_flags_t
, FILE *, source_location
);
46 /* Current -fopt-info output stream, if any, and flags. */
47 static FILE *alt_dump_file
= NULL
;
48 static dump_flags_t alt_flags
;
50 static FILE *dump_open_alternate_stream (struct dump_file_info
*);
52 /* These are currently used for communicating between passes.
53 However, instead of accessing them directly, the passes can use
54 dump_printf () for dumps. */
55 FILE *dump_file
= NULL
;
56 const char *dump_file_name
;
57 dump_flags_t dump_flags
;
58 bool dumps_are_enabled
= false;
61 /* Update the "dumps_are_enabled" global; to be called whenever dump_file
62 or alt_dump_file change. */
65 refresh_dumps_are_enabled ()
67 dumps_are_enabled
= (dump_file
|| alt_dump_file
);
70 /* Set global "dump_file" to NEW_DUMP_FILE, refreshing the "dumps_are_enabled"
74 set_dump_file (FILE *new_dump_file
)
76 dump_file
= new_dump_file
;
77 refresh_dumps_are_enabled ();
80 /* Set "alt_dump_file" to NEW_ALT_DUMP_FILE, refreshing the "dumps_are_enabled"
84 set_alt_dump_file (FILE *new_alt_dump_file
)
86 alt_dump_file
= new_alt_dump_file
;
87 refresh_dumps_are_enabled ();
90 #define DUMP_FILE_INFO(suffix, swtch, dkind, num) \
91 {suffix, swtch, NULL, NULL, NULL, NULL, NULL, dkind, TDF_NONE, TDF_NONE, \
92 OPTGROUP_NONE, 0, 0, num, false, false}
94 /* Table of tree dump switches. This must be consistent with the
95 TREE_DUMP_INDEX enumeration in dumpfile.h. */
96 static struct dump_file_info dump_files
[TDI_end
] =
98 DUMP_FILE_INFO (NULL
, NULL
, DK_none
, 0),
99 DUMP_FILE_INFO (".cgraph", "ipa-cgraph", DK_ipa
, 0),
100 DUMP_FILE_INFO (".type-inheritance", "ipa-type-inheritance", DK_ipa
, 0),
101 DUMP_FILE_INFO (".ipa-clones", "ipa-clones", DK_ipa
, 0),
102 DUMP_FILE_INFO (".original", "tree-original", DK_tree
, 0),
103 DUMP_FILE_INFO (".gimple", "tree-gimple", DK_tree
, 0),
104 DUMP_FILE_INFO (".nested", "tree-nested", DK_tree
, 0),
105 DUMP_FILE_INFO (".lto-stream-out", "ipa-lto-stream-out", DK_ipa
, 0),
106 #define FIRST_AUTO_NUMBERED_DUMP 1
107 #define FIRST_ME_AUTO_NUMBERED_DUMP 4
109 DUMP_FILE_INFO (NULL
, "lang-all", DK_lang
, 0),
110 DUMP_FILE_INFO (NULL
, "tree-all", DK_tree
, 0),
111 DUMP_FILE_INFO (NULL
, "rtl-all", DK_rtl
, 0),
112 DUMP_FILE_INFO (NULL
, "ipa-all", DK_ipa
, 0),
115 /* Define a name->number mapping for a dump flag value. */
116 template <typename ValueType
>
119 const char *const name
; /* the name of the value */
120 const ValueType value
; /* the value of the name */
123 /* Table of dump options. This must be consistent with the TDF_* flags
124 in dumpfile.h and opt_info_options below. */
125 static const kv_pair
<dump_flags_t
> dump_options
[] =
127 {"address", TDF_ADDRESS
},
128 {"asmname", TDF_ASMNAME
},
131 {"graph", TDF_GRAPH
},
132 {"details", (TDF_DETAILS
| MSG_OPTIMIZED_LOCATIONS
133 | MSG_MISSED_OPTIMIZATION
135 {"cselib", TDF_CSELIB
},
136 {"stats", TDF_STATS
},
137 {"blocks", TDF_BLOCKS
},
139 {"lineno", TDF_LINENO
},
141 {"stmtaddr", TDF_STMTADDR
},
142 {"memsyms", TDF_MEMSYMS
},
144 {"alias", TDF_ALIAS
},
145 {"nouid", TDF_NOUID
},
146 {"enumerate_locals", TDF_ENUMERATE_LOCALS
},
148 {"gimple", TDF_GIMPLE
},
149 {"folding", TDF_FOLDING
},
150 {"optimized", MSG_OPTIMIZED_LOCATIONS
},
151 {"missed", MSG_MISSED_OPTIMIZATION
},
154 {"all", dump_flags_t (~(TDF_RAW
| TDF_SLIM
| TDF_LINENO
| TDF_GRAPH
155 | TDF_STMTADDR
| TDF_RHS_ONLY
| TDF_NOUID
156 | TDF_ENUMERATE_LOCALS
| TDF_SCEV
| TDF_GIMPLE
))},
160 /* A subset of the dump_options table which is used for -fopt-info
161 types. This must be consistent with the MSG_* flags in dumpfile.h.
163 static const kv_pair
<dump_flags_t
> optinfo_verbosity_options
[] =
165 {"optimized", MSG_OPTIMIZED_LOCATIONS
},
166 {"missed", MSG_MISSED_OPTIMIZATION
},
172 /* Flags used for -fopt-info groups. */
173 static const kv_pair
<optgroup_flags_t
> optgroup_options
[] =
175 {"ipa", OPTGROUP_IPA
},
176 {"loop", OPTGROUP_LOOP
},
177 {"inline", OPTGROUP_INLINE
},
178 {"omp", OPTGROUP_OMP
},
179 {"vec", OPTGROUP_VEC
},
180 {"optall", OPTGROUP_ALL
},
181 {NULL
, OPTGROUP_NONE
}
184 gcc::dump_manager::dump_manager ():
185 m_next_dump (FIRST_AUTO_NUMBERED_DUMP
),
186 m_extra_dump_files (NULL
),
187 m_extra_dump_files_in_use (0),
188 m_extra_dump_files_alloced (0)
192 gcc::dump_manager::~dump_manager ()
194 for (size_t i
= 0; i
< m_extra_dump_files_in_use
; i
++)
196 dump_file_info
*dfi
= &m_extra_dump_files
[i
];
197 /* suffix, swtch, glob are statically allocated for the entries
198 in dump_files, and for statistics, but are dynamically allocated
199 for those for passes. */
200 if (dfi
->owns_strings
)
202 XDELETEVEC (const_cast <char *> (dfi
->suffix
));
203 XDELETEVEC (const_cast <char *> (dfi
->swtch
));
204 XDELETEVEC (const_cast <char *> (dfi
->glob
));
206 /* These, if non-NULL, are always dynamically allocated. */
207 XDELETEVEC (const_cast <char *> (dfi
->pfilename
));
208 XDELETEVEC (const_cast <char *> (dfi
->alt_filename
));
210 XDELETEVEC (m_extra_dump_files
);
215 dump_register (const char *suffix
, const char *swtch
, const char *glob
,
216 dump_kind dkind
, optgroup_flags_t optgroup_flags
,
219 int num
= m_next_dump
++;
221 size_t count
= m_extra_dump_files_in_use
++;
223 if (count
>= m_extra_dump_files_alloced
)
225 if (m_extra_dump_files_alloced
== 0)
226 m_extra_dump_files_alloced
= 512;
228 m_extra_dump_files_alloced
*= 2;
229 m_extra_dump_files
= XRESIZEVEC (struct dump_file_info
,
231 m_extra_dump_files_alloced
);
233 /* Construct a new object in the space allocated above. */
234 new (m_extra_dump_files
+ count
) dump_file_info ();
238 /* Zero out the already constructed object. */
239 m_extra_dump_files
[count
] = dump_file_info ();
242 m_extra_dump_files
[count
].suffix
= suffix
;
243 m_extra_dump_files
[count
].swtch
= swtch
;
244 m_extra_dump_files
[count
].glob
= glob
;
245 m_extra_dump_files
[count
].dkind
= dkind
;
246 m_extra_dump_files
[count
].optgroup_flags
= optgroup_flags
;
247 m_extra_dump_files
[count
].num
= num
;
248 m_extra_dump_files
[count
].owns_strings
= take_ownership
;
250 return count
+ TDI_end
;
254 /* Allow languages and middle-end to register their dumps before the
255 optimization passes. */
261 lang_hooks
.register_dumps (this);
262 /* If this assert fails, some FE registered more than
263 FIRST_ME_AUTO_NUMBERED_DUMP - FIRST_AUTO_NUMBERED_DUMP
264 dump files. Bump FIRST_ME_AUTO_NUMBERED_DUMP accordingly. */
265 gcc_assert (m_next_dump
<= FIRST_ME_AUTO_NUMBERED_DUMP
);
266 m_next_dump
= FIRST_ME_AUTO_NUMBERED_DUMP
;
267 dump_files
[TDI_original
].num
= m_next_dump
++;
268 dump_files
[TDI_gimple
].num
= m_next_dump
++;
269 dump_files
[TDI_nested
].num
= m_next_dump
++;
273 /* Return the dump_file_info for the given phase. */
275 struct dump_file_info
*
277 get_dump_file_info (int phase
) const
280 return &dump_files
[phase
];
281 else if ((size_t) (phase
- TDI_end
) >= m_extra_dump_files_in_use
)
284 return m_extra_dump_files
+ (phase
- TDI_end
);
287 /* Locate the dump_file_info with swtch equal to SWTCH,
288 or return NULL if no such dump_file_info exists. */
290 struct dump_file_info
*
292 get_dump_file_info_by_switch (const char *swtch
) const
294 for (unsigned i
= 0; i
< m_extra_dump_files_in_use
; i
++)
295 if (strcmp (m_extra_dump_files
[i
].swtch
, swtch
) == 0)
296 return &m_extra_dump_files
[i
];
303 /* Return the name of the dump file for the given phase.
304 The caller is responsible for calling free on the returned
306 If the dump is not enabled, returns NULL. */
310 get_dump_file_name (int phase
, int part
) const
312 struct dump_file_info
*dfi
;
314 if (phase
== TDI_none
)
317 dfi
= get_dump_file_info (phase
);
319 return get_dump_file_name (dfi
, part
);
322 /* Return the name of the dump file for the given dump_file_info.
323 The caller is responsible for calling free on the returned
325 If the dump is not enabled, returns NULL. */
329 get_dump_file_name (struct dump_file_info
*dfi
, int part
) const
335 if (dfi
->pstate
== 0)
338 /* If available, use the command line dump filename. */
340 return xstrdup (dfi
->pfilename
);
346 /* (null), LANG, TREE, RTL, IPA. */
347 char suffix
= " ltri"[dfi
->dkind
];
349 if (snprintf (dump_id
, sizeof (dump_id
), ".%03d%c", dfi
->num
, suffix
) < 0)
356 snprintf (part_id
, sizeof (part_id
), ".%i", part
);
357 return concat (dump_base_name
, dump_id
, part_id
, dfi
->suffix
, NULL
);
360 return concat (dump_base_name
, dump_id
, dfi
->suffix
, NULL
);
363 /* Open a dump file called FILENAME. Some filenames are special and
364 refer to the standard streams. TRUNC indicates whether this is the
365 first open (so the file should be truncated, rather than appended).
366 An error message is emitted in the event of failure. */
369 dump_open (const char *filename
, bool trunc
)
371 if (strcmp ("stderr", filename
) == 0)
374 if (strcmp ("stdout", filename
) == 0
375 || strcmp ("-", filename
) == 0)
378 FILE *stream
= fopen (filename
, trunc
? "w" : "a");
381 error ("could not open dump file %qs: %m", filename
);
385 /* For a given DFI, open an alternate dump filename (which could also
386 be a standard stream such as stdout/stderr). If the alternate dump
387 file cannot be opened, return NULL. */
390 dump_open_alternate_stream (struct dump_file_info
*dfi
)
392 if (!dfi
->alt_filename
)
396 return dfi
->alt_stream
;
398 FILE *stream
= dump_open (dfi
->alt_filename
, dfi
->alt_state
< 0);
406 /* Construct a dump_user_location_t from STMT (using its location and
409 dump_user_location_t::dump_user_location_t (gimple
*stmt
)
410 : m_count (), m_loc (UNKNOWN_LOCATION
)
415 m_count
= stmt
->bb
->count
;
416 m_loc
= gimple_location (stmt
);
420 /* Construct a dump_user_location_t from an RTL instruction (using its
421 location and hotness). */
423 dump_user_location_t::dump_user_location_t (rtx_insn
*insn
)
424 : m_count (), m_loc (UNKNOWN_LOCATION
)
428 basic_block bb
= BLOCK_FOR_INSN (insn
);
431 m_loc
= INSN_LOCATION (insn
);
435 /* Construct from a function declaration. This one requires spelling out
436 to avoid accidentally constructing from other kinds of tree. */
439 dump_user_location_t::from_function_decl (tree fndecl
)
443 // FIXME: profile count for function?
444 return dump_user_location_t (profile_count (),
445 DECL_SOURCE_LOCATION (fndecl
));
448 /* Print source location on DFILE if enabled. */
451 dump_loc (dump_flags_t dump_kind
, FILE *dfile
, source_location loc
)
455 if (LOCATION_LOCUS (loc
) > BUILTINS_LOCATION
)
456 fprintf (dfile
, "%s:%d:%d: note: ", LOCATION_FILE (loc
),
457 LOCATION_LINE (loc
), LOCATION_COLUMN (loc
));
458 else if (current_function_decl
)
459 fprintf (dfile
, "%s:%d:%d: note: ",
460 DECL_SOURCE_FILE (current_function_decl
),
461 DECL_SOURCE_LINE (current_function_decl
),
462 DECL_SOURCE_COLUMN (current_function_decl
));
463 /* Indentation based on scope depth. */
464 fprintf (dfile
, "%*s", get_dump_scope_depth (), "");
468 /* Dump gimple statement GS with SPC indentation spaces and
469 EXTRA_DUMP_FLAGS on the dump streams if DUMP_KIND is enabled. */
472 dump_gimple_stmt (dump_flags_t dump_kind
, dump_flags_t extra_dump_flags
,
475 if (dump_file
&& (dump_kind
& pflags
))
476 print_gimple_stmt (dump_file
, gs
, spc
, dump_flags
| extra_dump_flags
);
478 if (alt_dump_file
&& (dump_kind
& alt_flags
))
479 print_gimple_stmt (alt_dump_file
, gs
, spc
, dump_flags
| extra_dump_flags
);
482 /* Similar to dump_gimple_stmt, except additionally print source location. */
485 dump_gimple_stmt_loc (dump_flags_t dump_kind
, const dump_location_t
&loc
,
486 dump_flags_t extra_dump_flags
, gimple
*gs
, int spc
)
488 location_t srcloc
= loc
.get_location_t ();
489 if (dump_file
&& (dump_kind
& pflags
))
491 dump_loc (dump_kind
, dump_file
, srcloc
);
492 print_gimple_stmt (dump_file
, gs
, spc
, dump_flags
| extra_dump_flags
);
495 if (alt_dump_file
&& (dump_kind
& alt_flags
))
497 dump_loc (dump_kind
, alt_dump_file
, srcloc
);
498 print_gimple_stmt (alt_dump_file
, gs
, spc
, dump_flags
| extra_dump_flags
);
502 /* Dump gimple statement GS with SPC indentation spaces and
503 EXTRA_DUMP_FLAGS on the dump streams if DUMP_KIND is enabled.
504 Do not terminate with a newline or semicolon. */
507 dump_gimple_expr (dump_flags_t dump_kind
, dump_flags_t extra_dump_flags
,
510 if (dump_file
&& (dump_kind
& pflags
))
511 print_gimple_expr (dump_file
, gs
, spc
, dump_flags
| extra_dump_flags
);
513 if (alt_dump_file
&& (dump_kind
& alt_flags
))
514 print_gimple_expr (alt_dump_file
, gs
, spc
, dump_flags
| extra_dump_flags
);
517 /* Similar to dump_gimple_expr, except additionally print source location. */
520 dump_gimple_expr_loc (dump_flags_t dump_kind
, const dump_location_t
&loc
,
521 dump_flags_t extra_dump_flags
, gimple
*gs
, int spc
)
523 location_t srcloc
= loc
.get_location_t ();
524 if (dump_file
&& (dump_kind
& pflags
))
526 dump_loc (dump_kind
, dump_file
, srcloc
);
527 print_gimple_expr (dump_file
, gs
, spc
, dump_flags
| extra_dump_flags
);
530 if (alt_dump_file
&& (dump_kind
& alt_flags
))
532 dump_loc (dump_kind
, alt_dump_file
, srcloc
);
533 print_gimple_expr (alt_dump_file
, gs
, spc
, dump_flags
| extra_dump_flags
);
538 /* Dump expression tree T using EXTRA_DUMP_FLAGS on dump streams if
539 DUMP_KIND is enabled. */
542 dump_generic_expr (dump_flags_t dump_kind
, dump_flags_t extra_dump_flags
,
545 if (dump_file
&& (dump_kind
& pflags
))
546 print_generic_expr (dump_file
, t
, dump_flags
| extra_dump_flags
);
548 if (alt_dump_file
&& (dump_kind
& alt_flags
))
549 print_generic_expr (alt_dump_file
, t
, dump_flags
| extra_dump_flags
);
553 /* Similar to dump_generic_expr, except additionally print the source
557 dump_generic_expr_loc (dump_flags_t dump_kind
, const dump_location_t
&loc
,
558 dump_flags_t extra_dump_flags
, tree t
)
560 location_t srcloc
= loc
.get_location_t ();
561 if (dump_file
&& (dump_kind
& pflags
))
563 dump_loc (dump_kind
, dump_file
, srcloc
);
564 print_generic_expr (dump_file
, t
, dump_flags
| extra_dump_flags
);
567 if (alt_dump_file
&& (dump_kind
& alt_flags
))
569 dump_loc (dump_kind
, alt_dump_file
, srcloc
);
570 print_generic_expr (alt_dump_file
, t
, dump_flags
| extra_dump_flags
);
574 /* Output a formatted message using FORMAT on appropriate dump streams. */
577 dump_printf (dump_flags_t dump_kind
, const char *format
, ...)
579 if (dump_file
&& (dump_kind
& pflags
))
582 va_start (ap
, format
);
583 vfprintf (dump_file
, format
, ap
);
587 if (alt_dump_file
&& (dump_kind
& alt_flags
))
590 va_start (ap
, format
);
591 vfprintf (alt_dump_file
, format
, ap
);
596 /* Similar to dump_printf, except source location is also printed. */
599 dump_printf_loc (dump_flags_t dump_kind
, const dump_location_t
&loc
,
600 const char *format
, ...)
602 location_t srcloc
= loc
.get_location_t ();
603 if (dump_file
&& (dump_kind
& pflags
))
606 dump_loc (dump_kind
, dump_file
, srcloc
);
607 va_start (ap
, format
);
608 vfprintf (dump_file
, format
, ap
);
612 if (alt_dump_file
&& (dump_kind
& alt_flags
))
615 dump_loc (dump_kind
, alt_dump_file
, srcloc
);
616 va_start (ap
, format
);
617 vfprintf (alt_dump_file
, format
, ap
);
622 /* Output VALUE in decimal to appropriate dump streams. */
624 template<unsigned int N
, typename C
>
626 dump_dec (dump_flags_t dump_kind
, const poly_int
<N
, C
> &value
)
628 STATIC_ASSERT (poly_coeff_traits
<C
>::signedness
>= 0);
629 signop sgn
= poly_coeff_traits
<C
>::signedness
? SIGNED
: UNSIGNED
;
630 if (dump_file
&& (dump_kind
& pflags
))
631 print_dec (value
, dump_file
, sgn
);
633 if (alt_dump_file
&& (dump_kind
& alt_flags
))
634 print_dec (value
, alt_dump_file
, sgn
);
637 template void dump_dec (dump_flags_t
, const poly_uint16
&);
638 template void dump_dec (dump_flags_t
, const poly_int64
&);
639 template void dump_dec (dump_flags_t
, const poly_uint64
&);
640 template void dump_dec (dump_flags_t
, const poly_offset_int
&);
641 template void dump_dec (dump_flags_t
, const poly_widest_int
&);
644 dump_dec (dump_flags_t dump_kind
, const poly_wide_int
&value
, signop sgn
)
646 if (dump_file
&& (dump_kind
& pflags
))
647 print_dec (value
, dump_file
, sgn
);
649 if (alt_dump_file
&& (dump_kind
& alt_flags
))
650 print_dec (value
, alt_dump_file
, sgn
);
653 /* Output VALUE in hexadecimal to appropriate dump streams. */
656 dump_hex (dump_flags_t dump_kind
, const poly_wide_int
&value
)
658 if (dump_file
&& (dump_kind
& pflags
))
659 print_hex (value
, dump_file
);
661 if (alt_dump_file
&& (dump_kind
& alt_flags
))
662 print_hex (value
, alt_dump_file
);
665 /* The current dump scope-nesting depth. */
667 static int dump_scope_depth
;
669 /* Get the current dump scope-nesting depth.
670 For use by dump_*_loc (for showing nesting via indentation). */
673 get_dump_scope_depth ()
675 return dump_scope_depth
;
678 /* Push a nested dump scope.
679 Print "=== NAME ===\n" to the dumpfile, if any, and to the -fopt-info
681 Increment the scope depth. */
684 dump_begin_scope (const char *name
, const dump_location_t
&loc
)
686 dump_printf_loc (MSG_NOTE
, loc
, "=== %s ===\n", name
);
690 /* Pop a nested dump scope. */
698 /* Start a dump for PHASE. Store user-supplied dump flags in
699 *FLAG_PTR. Return the number of streams opened. Set globals
700 DUMP_FILE, and ALT_DUMP_FILE to point to the opened streams, and
701 set dump_flags appropriately for both pass dump stream and
702 -fopt-info stream. */
706 dump_start (int phase
, dump_flags_t
*flag_ptr
)
710 struct dump_file_info
*dfi
;
712 if (phase
== TDI_none
|| !dump_phase_enabled_p (phase
))
715 dfi
= get_dump_file_info (phase
);
716 name
= get_dump_file_name (phase
);
719 stream
= dump_open (name
, dfi
->pstate
< 0);
726 dfi
->pstream
= stream
;
727 set_dump_file (dfi
->pstream
);
728 /* Initialize current dump flags. */
729 pflags
= dfi
->pflags
;
732 stream
= dump_open_alternate_stream (dfi
);
735 dfi
->alt_stream
= stream
;
737 set_alt_dump_file (dfi
->alt_stream
);
738 /* Initialize current -fopt-info flags. */
739 alt_flags
= dfi
->alt_flags
;
743 *flag_ptr
= dfi
->pflags
;
748 /* Finish a tree dump for PHASE and close associated dump streams. Also
749 reset the globals DUMP_FILE, ALT_DUMP_FILE, and DUMP_FLAGS. */
753 dump_finish (int phase
)
755 struct dump_file_info
*dfi
;
759 dfi
= get_dump_file_info (phase
);
760 if (dfi
->pstream
&& dfi
->pstream
!= stdout
&& dfi
->pstream
!= stderr
)
761 fclose (dfi
->pstream
);
763 if (dfi
->alt_stream
&& dfi
->alt_stream
!= stdout
&& dfi
->alt_stream
!= stderr
)
764 fclose (dfi
->alt_stream
);
766 dfi
->alt_stream
= NULL
;
768 set_dump_file (NULL
);
769 set_alt_dump_file (NULL
);
770 dump_flags
= TDF_NONE
;
771 alt_flags
= TDF_NONE
;
775 /* Begin a tree dump for PHASE. Stores any user supplied flag in
776 *FLAG_PTR and returns a stream to write to. If the dump is not
777 enabled, returns NULL.
778 PART can be used for dump files which should be split to multiple
779 parts. PART == -1 indicates dump file with no parts.
780 If PART is -1, multiple calls will reopen and append to the dump file. */
783 dump_begin (int phase
, dump_flags_t
*flag_ptr
, int part
)
785 return g
->get_dumps ()->dump_begin (phase
, flag_ptr
, part
);
790 dump_begin (int phase
, dump_flags_t
*flag_ptr
, int part
)
793 struct dump_file_info
*dfi
;
796 if (phase
== TDI_none
|| !dump_phase_enabled_p (phase
))
799 name
= get_dump_file_name (phase
, part
);
802 dfi
= get_dump_file_info (phase
);
804 /* We do not support re-opening of dump files with parts. This would require
805 tracking pstate per part of the dump file. */
806 stream
= dump_open (name
, part
!= -1 || dfi
->pstate
< 0);
812 *flag_ptr
= dfi
->pflags
;
814 /* Initialize current flags */
815 pflags
= dfi
->pflags
;
819 /* Returns nonzero if dump PHASE is enabled for at least one stream.
820 If PHASE is TDI_tree_all, return nonzero if any dump is enabled for
825 dump_phase_enabled_p (int phase
) const
827 if (phase
== TDI_tree_all
)
830 for (i
= TDI_none
+ 1; i
< (size_t) TDI_end
; i
++)
831 if (dump_files
[i
].pstate
|| dump_files
[i
].alt_state
)
833 for (i
= 0; i
< m_extra_dump_files_in_use
; i
++)
834 if (m_extra_dump_files
[i
].pstate
|| m_extra_dump_files
[i
].alt_state
)
840 struct dump_file_info
*dfi
= get_dump_file_info (phase
);
841 return dfi
->pstate
|| dfi
->alt_state
;
845 /* Returns nonzero if tree dump PHASE has been initialized. */
849 dump_initialized_p (int phase
) const
851 struct dump_file_info
*dfi
= get_dump_file_info (phase
);
852 return dfi
->pstate
> 0 || dfi
->alt_state
> 0;
855 /* Returns the switch name of PHASE. */
858 dump_flag_name (int phase
)
860 return g
->get_dumps ()->dump_flag_name (phase
);
865 dump_flag_name (int phase
) const
867 struct dump_file_info
*dfi
= get_dump_file_info (phase
);
871 /* Finish a tree dump for PHASE. STREAM is the stream created by
875 dump_end (int phase ATTRIBUTE_UNUSED
, FILE *stream
)
877 if (stream
!= stderr
&& stream
!= stdout
)
881 /* Enable all tree dumps with FLAGS on FILENAME. Return number of
882 enabled tree dumps. */
886 dump_enable_all (dump_kind dkind
, dump_flags_t flags
, const char *filename
)
891 for (i
= TDI_none
+ 1; i
< (size_t) TDI_end
; i
++)
893 if ((dump_files
[i
].dkind
== dkind
))
895 const char *old_filename
= dump_files
[i
].pfilename
;
896 dump_files
[i
].pstate
= -1;
897 dump_files
[i
].pflags
|= flags
;
899 /* Override the existing filename. */
902 dump_files
[i
].pfilename
= xstrdup (filename
);
903 /* Since it is a command-line provided file, which is
904 common to all the phases, use it in append mode. */
905 dump_files
[i
].pstate
= 1;
907 if (old_filename
&& filename
!= old_filename
)
908 free (CONST_CAST (char *, old_filename
));
912 for (i
= 0; i
< m_extra_dump_files_in_use
; i
++)
914 if ((m_extra_dump_files
[i
].dkind
== dkind
))
916 const char *old_filename
= m_extra_dump_files
[i
].pfilename
;
917 m_extra_dump_files
[i
].pstate
= -1;
918 m_extra_dump_files
[i
].pflags
|= flags
;
920 /* Override the existing filename. */
923 m_extra_dump_files
[i
].pfilename
= xstrdup (filename
);
924 /* Since it is a command-line provided file, which is
925 common to all the phases, use it in append mode. */
926 m_extra_dump_files
[i
].pstate
= 1;
928 if (old_filename
&& filename
!= old_filename
)
929 free (CONST_CAST (char *, old_filename
));
936 /* Enable -fopt-info dumps on all dump files matching OPTGROUP_FLAGS.
937 Enable dumps with FLAGS on FILENAME. Return the number of enabled
942 opt_info_enable_passes (optgroup_flags_t optgroup_flags
, dump_flags_t flags
,
943 const char *filename
)
948 for (i
= TDI_none
+ 1; i
< (size_t) TDI_end
; i
++)
950 if ((dump_files
[i
].optgroup_flags
& optgroup_flags
))
952 const char *old_filename
= dump_files
[i
].alt_filename
;
953 /* Since this file is shared among different passes, it
954 should be opened in append mode. */
955 dump_files
[i
].alt_state
= 1;
956 dump_files
[i
].alt_flags
|= flags
;
958 /* Override the existing filename. */
960 dump_files
[i
].alt_filename
= xstrdup (filename
);
961 if (old_filename
&& filename
!= old_filename
)
962 free (CONST_CAST (char *, old_filename
));
966 for (i
= 0; i
< m_extra_dump_files_in_use
; i
++)
968 if ((m_extra_dump_files
[i
].optgroup_flags
& optgroup_flags
))
970 const char *old_filename
= m_extra_dump_files
[i
].alt_filename
;
971 /* Since this file is shared among different passes, it
972 should be opened in append mode. */
973 m_extra_dump_files
[i
].alt_state
= 1;
974 m_extra_dump_files
[i
].alt_flags
|= flags
;
976 /* Override the existing filename. */
978 m_extra_dump_files
[i
].alt_filename
= xstrdup (filename
);
979 if (old_filename
&& filename
!= old_filename
)
980 free (CONST_CAST (char *, old_filename
));
987 /* Parse ARG as a dump switch. Return nonzero if it is, and store the
988 relevant details in the dump_files array. */
992 dump_switch_p_1 (const char *arg
, struct dump_file_info
*dfi
, bool doglob
)
994 const char *option_value
;
998 if (doglob
&& !dfi
->glob
)
1001 option_value
= skip_leading_substring (arg
, doglob
? dfi
->glob
: dfi
->swtch
);
1005 if (*option_value
&& *option_value
!= '-' && *option_value
!= '=')
1013 const struct kv_pair
<dump_flags_t
> *option_ptr
;
1014 const char *end_ptr
;
1020 end_ptr
= strchr (ptr
, '-');
1021 eq_ptr
= strchr (ptr
, '=');
1023 if (eq_ptr
&& !end_ptr
)
1027 end_ptr
= ptr
+ strlen (ptr
);
1028 length
= end_ptr
- ptr
;
1030 for (option_ptr
= dump_options
; option_ptr
->name
; option_ptr
++)
1031 if (strlen (option_ptr
->name
) == length
1032 && !memcmp (option_ptr
->name
, ptr
, length
))
1034 flags
|= option_ptr
->value
;
1040 /* Interpret rest of the argument as a dump filename. This
1041 filename overrides other command line filenames. */
1043 free (CONST_CAST (char *, dfi
->pfilename
));
1044 dfi
->pfilename
= xstrdup (ptr
+ 1);
1048 warning (0, "ignoring unknown option %q.*s in %<-fdump-%s%>",
1049 length
, ptr
, dfi
->swtch
);
1055 dfi
->pflags
|= flags
;
1057 /* Process -fdump-tree-all and -fdump-rtl-all, by enabling all the
1059 if (dfi
->suffix
== NULL
)
1060 dump_enable_all (dfi
->dkind
, dfi
->pflags
, dfi
->pfilename
);
1067 dump_switch_p (const char *arg
)
1072 for (i
= TDI_none
+ 1; i
!= TDI_end
; i
++)
1073 any
|= dump_switch_p_1 (arg
, &dump_files
[i
], false);
1075 /* Don't glob if we got a hit already */
1077 for (i
= TDI_none
+ 1; i
!= TDI_end
; i
++)
1078 any
|= dump_switch_p_1 (arg
, &dump_files
[i
], true);
1080 for (i
= 0; i
< m_extra_dump_files_in_use
; i
++)
1081 any
|= dump_switch_p_1 (arg
, &m_extra_dump_files
[i
], false);
1084 for (i
= 0; i
< m_extra_dump_files_in_use
; i
++)
1085 any
|= dump_switch_p_1 (arg
, &m_extra_dump_files
[i
], true);
1091 /* Parse ARG as a -fopt-info switch and store flags, optgroup_flags
1092 and filename. Return non-zero if it is a recognized switch. */
1095 opt_info_switch_p_1 (const char *arg
, dump_flags_t
*flags
,
1096 optgroup_flags_t
*optgroup_flags
, char **filename
)
1098 const char *option_value
;
1106 *optgroup_flags
= OPTGROUP_NONE
;
1109 return 1; /* Handle '-fopt-info' without any additional options. */
1113 const char *end_ptr
;
1119 end_ptr
= strchr (ptr
, '-');
1120 eq_ptr
= strchr (ptr
, '=');
1122 if (eq_ptr
&& !end_ptr
)
1126 end_ptr
= ptr
+ strlen (ptr
);
1127 length
= end_ptr
- ptr
;
1129 for (const kv_pair
<dump_flags_t
> *option_ptr
= optinfo_verbosity_options
;
1130 option_ptr
->name
; option_ptr
++)
1131 if (strlen (option_ptr
->name
) == length
1132 && !memcmp (option_ptr
->name
, ptr
, length
))
1134 *flags
|= option_ptr
->value
;
1138 for (const kv_pair
<optgroup_flags_t
> *option_ptr
= optgroup_options
;
1139 option_ptr
->name
; option_ptr
++)
1140 if (strlen (option_ptr
->name
) == length
1141 && !memcmp (option_ptr
->name
, ptr
, length
))
1143 *optgroup_flags
|= option_ptr
->value
;
1149 /* Interpret rest of the argument as a dump filename. This
1150 filename overrides other command line filenames. */
1151 *filename
= xstrdup (ptr
+ 1);
1156 warning (0, "unknown option %q.*s in %<-fopt-info-%s%>",
1167 /* Return non-zero if ARG is a recognized switch for
1168 -fopt-info. Return zero otherwise. */
1171 opt_info_switch_p (const char *arg
)
1174 optgroup_flags_t optgroup_flags
;
1176 static char *file_seen
= NULL
;
1177 gcc::dump_manager
*dumps
= g
->get_dumps ();
1179 if (!opt_info_switch_p_1 (arg
, &flags
, &optgroup_flags
, &filename
))
1183 filename
= xstrdup ("stderr");
1185 /* Bail out if a different filename has been specified. */
1186 if (file_seen
&& strcmp (file_seen
, filename
))
1188 warning (0, "ignoring possibly conflicting option %<-fopt-info-%s%>",
1193 file_seen
= xstrdup (filename
);
1195 flags
= MSG_OPTIMIZED_LOCATIONS
;
1196 if (!optgroup_flags
)
1197 optgroup_flags
= OPTGROUP_ALL
;
1199 return dumps
->opt_info_enable_passes (optgroup_flags
, flags
, filename
);
1202 /* Print basic block on the dump streams. */
1205 dump_basic_block (dump_flags_t dump_kind
, basic_block bb
, int indent
)
1207 if (dump_file
&& (dump_kind
& pflags
))
1208 dump_bb (dump_file
, bb
, indent
, TDF_DETAILS
);
1209 if (alt_dump_file
&& (dump_kind
& alt_flags
))
1210 dump_bb (alt_dump_file
, bb
, indent
, TDF_DETAILS
);
1213 /* Dump FUNCTION_DECL FN as tree dump PHASE. */
1216 dump_function (int phase
, tree fn
)
1221 stream
= dump_begin (phase
, &flags
);
1224 dump_function_to_file (fn
, stream
, flags
);
1225 dump_end (phase
, stream
);
1229 /* Print information from the combine pass on dump_file. */
1232 print_combine_total_stats (void)
1235 dump_combine_total_stats (dump_file
);
1238 /* Enable RTL dump for all the RTL passes. */
1241 enable_rtl_dump_file (void)
1243 gcc::dump_manager
*dumps
= g
->get_dumps ();
1245 dumps
->dump_enable_all (DK_rtl
, dump_flags_t (TDF_DETAILS
) | TDF_BLOCKS
,
1247 return num_enabled
> 0;
1252 namespace selftest
{
1254 /* Verify that the dump_location_t constructors capture the source location
1255 at which they were called (provided that the build compiler is sufficiently
1259 test_impl_location ()
1261 #if __GNUC__ > 4 || (__GNUC__ == 4 && __GNUC_MINOR__ >= 8)
1264 dump_location_t loc
;
1265 const int expected_line
= __LINE__
- 1;
1266 ASSERT_STR_CONTAINS (loc
.get_impl_location ().m_file
, "dumpfile.c");
1267 ASSERT_EQ (loc
.get_impl_location ().m_line
, expected_line
);
1270 /* Constructing from a gimple. */
1272 dump_location_t
loc ((gimple
*)NULL
);
1273 const int expected_line
= __LINE__
- 1;
1274 ASSERT_STR_CONTAINS (loc
.get_impl_location ().m_file
, "dumpfile.c");
1275 ASSERT_EQ (loc
.get_impl_location ().m_line
, expected_line
);
1278 /* Constructing from an rtx_insn. */
1280 dump_location_t
loc ((rtx_insn
*)NULL
);
1281 const int expected_line
= __LINE__
- 1;
1282 ASSERT_STR_CONTAINS (loc
.get_impl_location ().m_file
, "dumpfile.c");
1283 ASSERT_EQ (loc
.get_impl_location ().m_line
, expected_line
);
1288 /* Run all of the selftests within this file. */
1293 test_impl_location ();
1296 } // namespace selftest
1298 #endif /* CHECKING_P */