2015-03-02 Hristian Kirtchev <kirtchev@adacore.com>
[official-gcc.git] / gcc / toplev.c
blob99cf180690532630dfe013d4ce283201ba395b21
1 /* Top level of GCC compilers (cc1, cc1plus, etc.)
2 Copyright (C) 1987-2015 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
9 version.
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.
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/>. */
20 /* This is the top level of cc1/c++.
21 It parses command args, opens files, invokes the various passes
22 in the proper order, and counts the time used by each.
23 Error messages and low-level interface to malloc also handled here. */
25 #include "config.h"
26 #include "system.h"
27 #include "coretypes.h"
28 #include "tm.h"
29 #include "line-map.h"
30 #include "input.h"
31 #include "hash-set.h"
32 #include "machmode.h"
33 #include "vec.h"
34 #include "double-int.h"
35 #include "alias.h"
36 #include "symtab.h"
37 #include "wide-int.h"
38 #include "inchash.h"
39 #include "tree.h"
40 #include "fold-const.h"
41 #include "varasm.h"
42 #include "tree-inline.h"
43 #include "realmpfr.h" /* For GMP/MPFR/MPC versions, in print_version. */
44 #include "version.h"
45 #include "rtl.h"
46 #include "tm_p.h"
47 #include "flags.h"
48 #include "insn-attr.h"
49 #include "insn-config.h"
50 #include "insn-flags.h"
51 #include "hard-reg-set.h"
52 #include "recog.h"
53 #include "output.h"
54 #include "except.h"
55 #include "function.h"
56 #include "toplev.h"
57 #include "hashtab.h"
58 #include "statistics.h"
59 #include "real.h"
60 #include "fixed-value.h"
61 #include "expmed.h"
62 #include "dojump.h"
63 #include "explow.h"
64 #include "calls.h"
65 #include "emit-rtl.h"
66 #include "stmt.h"
67 #include "expr.h"
68 #include "intl.h"
69 #include "regs.h"
70 #include "timevar.h"
71 #include "diagnostic.h"
72 #include "tree-diagnostic.h"
73 #include "tree-pretty-print.h"
74 #include "params.h"
75 #include "reload.h"
76 #include "ira.h"
77 #include "lra.h"
78 #include "dwarf2asm.h"
79 #include "debug.h"
80 #include "target.h"
81 #include "common/common-target.h"
82 #include "langhooks.h"
83 #include "cfgloop.h" /* for init_set_costs */
84 #include "hosthooks.h"
85 #include "predict.h"
86 #include "basic-block.h"
87 #include "hash-map.h"
88 #include "is-a.h"
89 #include "plugin-api.h"
90 #include "ipa-ref.h"
91 #include "cgraph.h"
92 #include "opts.h"
93 #include "opts-diagnostic.h"
94 #include "coverage.h"
95 #include "value-prof.h"
96 #include "alloc-pool.h"
97 #include "asan.h"
98 #include "tsan.h"
99 #include "tree-ssa-alias.h"
100 #include "internal-fn.h"
101 #include "gimple-expr.h"
102 #include "gimple.h"
103 #include "plugin.h"
104 #include "context.h"
105 #include "pass_manager.h"
106 #include "auto-profile.h"
107 #include "dwarf2out.h"
108 #include "bitmap.h"
109 #include "ipa-reference.h"
110 #include "symbol-summary.h"
111 #include "ipa-prop.h"
112 #include "gcse.h"
113 #include "insn-codes.h"
114 #include "optabs.h"
115 #include "tree-chkp.h"
116 #include "omp-low.h"
118 #if defined(DBX_DEBUGGING_INFO) || defined(XCOFF_DEBUGGING_INFO)
119 #include "dbxout.h"
120 #endif
122 #ifdef SDB_DEBUGGING_INFO
123 #include "sdbout.h"
124 #endif
126 #ifdef XCOFF_DEBUGGING_INFO
127 #include "xcoffout.h" /* Needed for external data
128 declarations for e.g. AIX 4.x. */
129 #endif
131 #ifndef HAVE_epilogue
132 #define HAVE_epilogue 0
133 #endif
134 #ifndef HAVE_prologue
135 #define HAVE_prologue 0
136 #endif
138 #include <new>
140 static void general_init (const char *, bool);
141 static void do_compile ();
142 static void process_options (void);
143 static void backend_init (void);
144 static int lang_dependent_init (const char *);
145 static void init_asm_output (const char *);
146 static void finalize (bool);
148 static void crash_signal (int) ATTRIBUTE_NORETURN;
149 static void compile_file (void);
151 /* True if we don't need a backend (e.g. preprocessing only). */
152 static bool no_backend;
154 /* Length of line when printing switch values. */
155 #define MAX_LINE 75
157 /* Decoded options, and number of such options. */
158 struct cl_decoded_option *save_decoded_options;
159 unsigned int save_decoded_options_count;
161 /* Used to enable -fvar-tracking, -fweb and -frename-registers according
162 to optimize in process_options (). */
163 #define AUTODETECT_VALUE 2
165 /* Debug hooks - dependent upon command line options. */
167 const struct gcc_debug_hooks *debug_hooks;
169 /* The FUNCTION_DECL for the function currently being compiled,
170 or 0 if between functions. */
171 tree current_function_decl;
173 /* Set to the FUNC_BEGIN label of the current function, or NULL
174 if none. */
175 const char * current_function_func_begin_label;
177 /* A random sequence of characters, unless overridden by user. */
178 static const char *flag_random_seed;
180 /* A local time stamp derived from the time of compilation. It will be
181 zero if the system cannot provide a time. It will be -1u, if the
182 user has specified a particular random seed. */
183 unsigned local_tick;
185 /* Random number for this compilation */
186 HOST_WIDE_INT random_seed;
188 /* -f flags. */
190 /* When non-NULL, indicates that whenever space is allocated on the
191 stack, the resulting stack pointer must not pass this
192 address---that is, for stacks that grow downward, the stack pointer
193 must always be greater than or equal to this address; for stacks
194 that grow upward, the stack pointer must be less than this address.
195 At present, the rtx may be either a REG or a SYMBOL_REF, although
196 the support provided depends on the backend. */
197 rtx stack_limit_rtx;
199 /* True if the user has tagged the function with the 'section'
200 attribute. */
202 bool user_defined_section_attribute = false;
204 struct target_flag_state default_target_flag_state;
205 #if SWITCHABLE_TARGET
206 struct target_flag_state *this_target_flag_state = &default_target_flag_state;
207 #else
208 #define this_target_flag_state (&default_target_flag_state)
209 #endif
211 /* The user symbol prefix after having resolved same. */
212 const char *user_label_prefix;
214 /* Output files for assembler code (real compiler output)
215 and debugging dumps. */
217 FILE *asm_out_file;
218 FILE *aux_info_file;
219 FILE *stack_usage_file = NULL;
221 /* The current working directory of a translation. It's generally the
222 directory from which compilation was initiated, but a preprocessed
223 file may specify the original directory in which it was
224 created. */
226 static const char *src_pwd;
228 /* Initialize src_pwd with the given string, and return true. If it
229 was already initialized, return false. As a special case, it may
230 be called with a NULL argument to test whether src_pwd has NOT been
231 initialized yet. */
233 bool
234 set_src_pwd (const char *pwd)
236 if (src_pwd)
238 if (strcmp (src_pwd, pwd) == 0)
239 return true;
240 else
241 return false;
244 src_pwd = xstrdup (pwd);
245 return true;
248 /* Return the directory from which the translation unit was initiated,
249 in case set_src_pwd() was not called before to assign it a
250 different value. */
252 const char *
253 get_src_pwd (void)
255 if (! src_pwd)
257 src_pwd = getpwd ();
258 if (!src_pwd)
259 src_pwd = ".";
262 return src_pwd;
265 /* Called when the start of a function definition is parsed,
266 this function prints on stderr the name of the function. */
267 void
268 announce_function (tree decl)
270 if (!quiet_flag)
272 if (rtl_dump_and_exit)
273 fprintf (stderr, "%s ",
274 identifier_to_locale (IDENTIFIER_POINTER (DECL_NAME (decl))));
275 else
276 fprintf (stderr, " %s",
277 identifier_to_locale (lang_hooks.decl_printable_name (decl, 2)));
278 fflush (stderr);
279 pp_needs_newline (global_dc->printer) = true;
280 diagnostic_set_last_function (global_dc, (diagnostic_info *) NULL);
284 /* Initialize local_tick with a random number or -1 if
285 flag_random_seed is set. */
287 static void
288 init_local_tick (void)
290 if (!flag_random_seed)
292 /* Try urandom first. Time of day is too likely to collide.
293 In case of any error we just use the local tick. */
295 int fd = open ("/dev/urandom", O_RDONLY);
296 if (fd >= 0)
298 if (read (fd, &random_seed, sizeof (random_seed))
299 != sizeof (random_seed))
300 random_seed = 0;
301 close (fd);
304 /* Now get the tick anyways */
305 #ifdef HAVE_GETTIMEOFDAY
307 struct timeval tv;
309 gettimeofday (&tv, NULL);
310 local_tick = (unsigned) tv.tv_sec * 1000 + tv.tv_usec / 1000;
312 #else
314 time_t now = time (NULL);
316 if (now != (time_t)-1)
317 local_tick = (unsigned) now;
319 #endif
321 else
322 local_tick = -1;
325 /* Set up a default flag_random_seed and local_tick, unless the user
326 already specified one. Must be called after init_local_tick. */
328 static void
329 init_random_seed (void)
331 if (!random_seed)
332 random_seed = local_tick ^ getpid (); /* Old racey fallback method */
335 /* Obtain the random_seed. Unless NOINIT, initialize it if
336 it's not provided in the command line. */
338 HOST_WIDE_INT
339 get_random_seed (bool noinit)
341 if (!flag_random_seed && !noinit)
342 init_random_seed ();
343 return random_seed;
346 /* Modify the random_seed string to VAL. Return its previous
347 value. */
349 const char *
350 set_random_seed (const char *val)
352 const char *old = flag_random_seed;
353 flag_random_seed = val;
354 if (flag_random_seed)
356 char *endp;
358 /* When the driver passed in a hex number don't crc it again */
359 random_seed = strtoul (flag_random_seed, &endp, 0);
360 if (!(endp > flag_random_seed && *endp == 0))
361 random_seed = crc32_string (0, flag_random_seed);
363 return old;
366 /* Handler for fatal signals, such as SIGSEGV. These are transformed
367 into ICE messages, which is much more user friendly. In case the
368 error printer crashes, reset the signal to prevent infinite recursion. */
370 static void
371 crash_signal (int signo)
373 signal (signo, SIG_DFL);
375 /* If we crashed while processing an ASM statement, then be a little more
376 graceful. It's most likely the user's fault. */
377 if (this_is_asm_operands)
379 output_operand_lossage ("unrecoverable error");
380 exit (FATAL_EXIT_CODE);
383 internal_error ("%s", strsignal (signo));
386 /* A subroutine of wrapup_global_declarations. We've come to the end of
387 the compilation unit. All deferred variables should be undeferred,
388 and all incomplete decls should be finalized. */
390 void
391 wrapup_global_declaration_1 (tree decl)
393 /* We're not deferring this any longer. Assignment is conditional to
394 avoid needlessly dirtying PCH pages. */
395 if (CODE_CONTAINS_STRUCT (TREE_CODE (decl), TS_DECL_WITH_VIS)
396 && DECL_DEFER_OUTPUT (decl) != 0)
397 DECL_DEFER_OUTPUT (decl) = 0;
399 if (TREE_CODE (decl) == VAR_DECL && DECL_SIZE (decl) == 0)
400 lang_hooks.finish_incomplete_decl (decl);
403 /* A subroutine of wrapup_global_declarations. Decide whether or not DECL
404 needs to be output. Return true if it is output. */
406 bool
407 wrapup_global_declaration_2 (tree decl)
409 if (TREE_ASM_WRITTEN (decl) || DECL_EXTERNAL (decl)
410 || (TREE_CODE (decl) == VAR_DECL && DECL_HAS_VALUE_EXPR_P (decl)))
411 return false;
413 /* Don't write out static consts, unless we still need them.
415 We also keep static consts if not optimizing (for debugging),
416 unless the user specified -fno-keep-static-consts.
417 ??? They might be better written into the debug information.
418 This is possible when using DWARF.
420 A language processor that wants static constants to be always
421 written out (even if it is not used) is responsible for
422 calling rest_of_decl_compilation itself. E.g. the C front-end
423 calls rest_of_decl_compilation from finish_decl.
424 One motivation for this is that is conventional in some
425 environments to write things like:
426 static const char rcsid[] = "... version string ...";
427 intending to force the string to be in the executable.
429 A language processor that would prefer to have unneeded
430 static constants "optimized away" would just defer writing
431 them out until here. E.g. C++ does this, because static
432 constants are often defined in header files.
434 ??? A tempting alternative (for both C and C++) would be
435 to force a constant to be written if and only if it is
436 defined in a main file, as opposed to an include file. */
438 if (TREE_CODE (decl) == VAR_DECL && TREE_STATIC (decl))
440 varpool_node *node;
441 bool needed = true;
442 node = varpool_node::get (decl);
444 if (!node && flag_ltrans)
445 needed = false;
446 else if (node && node->definition)
447 needed = false;
448 else if (node && node->alias)
449 needed = false;
450 else if (!symtab->global_info_ready
451 && (TREE_USED (decl)
452 || TREE_USED (DECL_ASSEMBLER_NAME (decl))))
453 /* needed */;
454 else if (node && node->analyzed)
455 /* needed */;
456 else if (DECL_COMDAT (decl))
457 needed = false;
458 else if (TREE_READONLY (decl) && !TREE_PUBLIC (decl)
459 && (optimize || !flag_keep_static_consts
460 || DECL_ARTIFICIAL (decl)))
461 needed = false;
463 if (needed)
465 rest_of_decl_compilation (decl, 1, 1);
466 return true;
470 return false;
473 /* Do any final processing required for the declarations in VEC, of
474 which there are LEN. We write out inline functions and variables
475 that have been deferred until this point, but which are required.
476 Returns nonzero if anything was put out. */
478 bool
479 wrapup_global_declarations (tree *vec, int len)
481 bool reconsider, output_something = false;
482 int i;
484 for (i = 0; i < len; i++)
485 wrapup_global_declaration_1 (vec[i]);
487 /* Now emit any global variables or functions that we have been
488 putting off. We need to loop in case one of the things emitted
489 here references another one which comes earlier in the list. */
492 reconsider = false;
493 for (i = 0; i < len; i++)
494 reconsider |= wrapup_global_declaration_2 (vec[i]);
495 if (reconsider)
496 output_something = true;
498 while (reconsider);
500 return output_something;
503 /* A subroutine of check_global_declarations. Issue appropriate warnings
504 for the global declaration DECL. */
506 void
507 check_global_declaration_1 (tree decl)
509 /* Warn about any function declared static but not defined. We don't
510 warn about variables, because many programs have static variables
511 that exist only to get some text into the object file. */
512 if (TREE_CODE (decl) == FUNCTION_DECL
513 && DECL_INITIAL (decl) == 0
514 && DECL_EXTERNAL (decl)
515 && ! DECL_ARTIFICIAL (decl)
516 && ! TREE_NO_WARNING (decl)
517 && ! TREE_PUBLIC (decl)
518 && (warn_unused_function
519 || TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl))))
521 if (TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl)))
522 pedwarn (input_location, 0, "%q+F used but never defined", decl);
523 else
524 warning (OPT_Wunused_function, "%q+F declared %<static%> but never defined", decl);
525 /* This symbol is effectively an "extern" declaration now. */
526 TREE_PUBLIC (decl) = 1;
529 /* Warn about static fns or vars defined but not used. */
530 if (((warn_unused_function && TREE_CODE (decl) == FUNCTION_DECL)
531 /* We don't warn about "static const" variables because the
532 "rcs_id" idiom uses that construction. */
533 || (warn_unused_variable
534 && TREE_CODE (decl) == VAR_DECL && ! TREE_READONLY (decl)))
535 && ! DECL_IN_SYSTEM_HEADER (decl)
536 && ! TREE_USED (decl)
537 /* The TREE_USED bit for file-scope decls is kept in the identifier,
538 to handle multiple external decls in different scopes. */
539 && ! (DECL_NAME (decl) && TREE_USED (DECL_NAME (decl)))
540 && ! DECL_EXTERNAL (decl)
541 && ! TREE_PUBLIC (decl)
542 /* A volatile variable might be used in some non-obvious way. */
543 && ! TREE_THIS_VOLATILE (decl)
544 /* Global register variables must be declared to reserve them. */
545 && ! (TREE_CODE (decl) == VAR_DECL && DECL_REGISTER (decl))
546 /* Otherwise, ask the language. */
547 && lang_hooks.decls.warn_unused_global (decl))
548 warning ((TREE_CODE (decl) == FUNCTION_DECL)
549 ? OPT_Wunused_function
550 : OPT_Wunused_variable,
551 "%q+D defined but not used", decl);
554 /* Issue appropriate warnings for the global declarations in V (of
555 which there are LEN). */
557 void
558 check_global_declarations (tree *v, int len)
560 int i;
562 for (i = 0; i < len; i++)
563 check_global_declaration_1 (v[i]);
566 /* Emit debugging information for all global declarations in VEC. */
568 void
569 emit_debug_global_declarations (tree *vec, int len)
571 int i;
573 /* Avoid confusing the debug information machinery when there are errors. */
574 if (seen_error ())
575 return;
577 timevar_push (TV_SYMOUT);
578 for (i = 0; i < len; i++)
579 debug_hooks->global_decl (vec[i]);
580 timevar_pop (TV_SYMOUT);
583 /* Compile an entire translation unit. Write a file of assembly
584 output and various debugging dumps. */
586 static void
587 compile_file (void)
589 timevar_start (TV_PHASE_PARSING);
590 timevar_push (TV_PARSE_GLOBAL);
592 /* Call the parser, which parses the entire file (calling
593 rest_of_compilation for each function). */
594 lang_hooks.parse_file ();
596 timevar_pop (TV_PARSE_GLOBAL);
597 timevar_stop (TV_PHASE_PARSING);
599 /* Compilation is now finished except for writing
600 what's left of the symbol table output. */
602 if (flag_syntax_only || flag_wpa)
603 return;
605 ggc_protect_identifiers = false;
607 /* This must also call finalize_compilation_unit. */
608 lang_hooks.decls.final_write_globals ();
610 if (seen_error ())
611 return;
613 timevar_start (TV_PHASE_LATE_ASM);
615 /* Compilation unit is finalized. When producing non-fat LTO object, we are
616 basically finished. */
617 if (in_lto_p || !flag_lto || flag_fat_lto_objects)
619 /* File-scope initialization for AddressSanitizer. */
620 if (flag_sanitize & SANITIZE_ADDRESS)
621 asan_finish_file ();
623 if (flag_sanitize & SANITIZE_THREAD)
624 tsan_finish_file ();
626 if (flag_check_pointer_bounds)
627 chkp_finish_file ();
629 omp_finish_file ();
631 output_shared_constant_pool ();
632 output_object_blocks ();
633 finish_tm_clone_pairs ();
635 /* Write out any pending weak symbol declarations. */
636 weak_finish ();
638 /* This must be at the end before unwind and debug info.
639 Some target ports emit PIC setup thunks here. */
640 targetm.asm_out.code_end ();
642 /* Do dbx symbols. */
643 timevar_push (TV_SYMOUT);
645 #if defined DWARF2_DEBUGGING_INFO || defined DWARF2_UNWIND_INFO
646 if (dwarf2out_do_frame ())
647 dwarf2out_frame_finish ();
648 #endif
650 (*debug_hooks->finish) (main_input_filename);
651 timevar_pop (TV_SYMOUT);
653 /* Output some stuff at end of file if nec. */
655 dw2_output_indirect_constants ();
657 /* Flush any pending external directives. */
658 process_pending_assemble_externals ();
661 /* Emit LTO marker if LTO info has been previously emitted. This is
662 used by collect2 to determine whether an object file contains IL.
663 We used to emit an undefined reference here, but this produces
664 link errors if an object file with IL is stored into a shared
665 library without invoking lto1. */
666 if (flag_generate_lto || flag_generate_offload)
668 #if defined ASM_OUTPUT_ALIGNED_DECL_COMMON
669 ASM_OUTPUT_ALIGNED_DECL_COMMON (asm_out_file, NULL_TREE,
670 "__gnu_lto_v1",
671 (unsigned HOST_WIDE_INT) 1, 8);
672 #elif defined ASM_OUTPUT_ALIGNED_COMMON
673 ASM_OUTPUT_ALIGNED_COMMON (asm_out_file, "__gnu_lto_v1",
674 (unsigned HOST_WIDE_INT) 1, 8);
675 #else
676 ASM_OUTPUT_COMMON (asm_out_file, "__gnu_lto_v1",
677 (unsigned HOST_WIDE_INT) 1,
678 (unsigned HOST_WIDE_INT) 1);
679 #endif
682 /* Let linker plugin know that this is a slim object and must be LTOed
683 even when user did not ask for it. */
684 if (flag_generate_lto && !flag_fat_lto_objects)
686 #if defined ASM_OUTPUT_ALIGNED_DECL_COMMON
687 ASM_OUTPUT_ALIGNED_DECL_COMMON (asm_out_file, NULL_TREE, "__gnu_lto_slim",
688 (unsigned HOST_WIDE_INT) 1, 8);
689 #elif defined ASM_OUTPUT_ALIGNED_COMMON
690 ASM_OUTPUT_ALIGNED_COMMON (asm_out_file, "__gnu_lto_slim",
691 (unsigned HOST_WIDE_INT) 1, 8);
692 #else
693 ASM_OUTPUT_COMMON (asm_out_file, "__gnu_lto_slim",
694 (unsigned HOST_WIDE_INT) 1,
695 (unsigned HOST_WIDE_INT) 1);
696 #endif
699 /* Attach a special .ident directive to the end of the file to identify
700 the version of GCC which compiled this code. The format of the .ident
701 string is patterned after the ones produced by native SVR4 compilers. */
702 if (!flag_no_ident)
704 const char *pkg_version = "(GNU) ";
705 char *ident_str;
707 if (strcmp ("(GCC) ", pkgversion_string))
708 pkg_version = pkgversion_string;
710 ident_str = ACONCAT (("GCC: ", pkg_version, version_string, NULL));
711 targetm.asm_out.output_ident (ident_str);
714 /* Auto profile finalization. */
715 if (flag_auto_profile)
716 end_auto_profile ();
718 /* Invoke registered plugin callbacks. */
719 invoke_plugin_callbacks (PLUGIN_FINISH_UNIT, NULL);
721 /* This must be at the end. Some target ports emit end of file directives
722 into the assembly file here, and hence we can not output anything to the
723 assembly file after this point. */
724 targetm.asm_out.file_end ();
726 timevar_stop (TV_PHASE_LATE_ASM);
729 /* Print version information to FILE.
730 Each line begins with INDENT (for the case where FILE is the
731 assembler output file).
733 If SHOW_GLOBAL_STATE is true (for cc1 etc), we are within the compiler
734 proper and can print pertinent state (e.g. params and plugins).
736 If SHOW_GLOBAL_STATE is false (for use by libgccjit), we are outside the
737 compiler, and we don't hold the mutex on the compiler's global state:
738 we can't print params and plugins, since they might not be initialized,
739 or might be being manipulated by a compile running in another
740 thread. */
742 void
743 print_version (FILE *file, const char *indent, bool show_global_state)
745 static const char fmt1[] =
746 #ifdef __GNUC__
747 N_("%s%s%s %sversion %s (%s)\n%s\tcompiled by GNU C version %s, ")
748 #else
749 N_("%s%s%s %sversion %s (%s) compiled by CC, ")
750 #endif
752 static const char fmt2[] =
753 N_("GMP version %s, MPFR version %s, MPC version %s\n");
754 static const char fmt3[] =
755 N_("%s%swarning: %s header version %s differs from library version %s.\n");
756 static const char fmt4[] =
757 N_("%s%sGGC heuristics: --param ggc-min-expand=%d --param ggc-min-heapsize=%d\n");
758 #ifndef __VERSION__
759 #define __VERSION__ "[?]"
760 #endif
761 fprintf (file,
762 file == stderr ? _(fmt1) : fmt1,
763 indent, *indent != 0 ? " " : "",
764 lang_hooks.name, pkgversion_string, version_string, TARGET_NAME,
765 indent, __VERSION__);
767 /* We need to stringify the GMP macro values. Ugh, gmp_version has
768 two string formats, "i.j.k" and "i.j" when k is zero. As of
769 gmp-4.3.0, GMP always uses the 3 number format. */
770 #define GCC_GMP_STRINGIFY_VERSION3(X) #X
771 #define GCC_GMP_STRINGIFY_VERSION2(X) GCC_GMP_STRINGIFY_VERSION3 (X)
772 #define GCC_GMP_VERSION_NUM(X,Y,Z) (((X) << 16L) | ((Y) << 8) | (Z))
773 #define GCC_GMP_VERSION \
774 GCC_GMP_VERSION_NUM(__GNU_MP_VERSION, __GNU_MP_VERSION_MINOR, __GNU_MP_VERSION_PATCHLEVEL)
775 #if GCC_GMP_VERSION < GCC_GMP_VERSION_NUM(4,3,0) && __GNU_MP_VERSION_PATCHLEVEL == 0
776 #define GCC_GMP_STRINGIFY_VERSION \
777 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION) "." \
778 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_MINOR)
779 #else
780 #define GCC_GMP_STRINGIFY_VERSION \
781 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION) "." \
782 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_MINOR) "." \
783 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_PATCHLEVEL)
784 #endif
785 fprintf (file,
786 file == stderr ? _(fmt2) : fmt2,
787 GCC_GMP_STRINGIFY_VERSION, MPFR_VERSION_STRING, MPC_VERSION_STRING);
788 if (strcmp (GCC_GMP_STRINGIFY_VERSION, gmp_version))
789 fprintf (file,
790 file == stderr ? _(fmt3) : fmt3,
791 indent, *indent != 0 ? " " : "",
792 "GMP", GCC_GMP_STRINGIFY_VERSION, gmp_version);
793 if (strcmp (MPFR_VERSION_STRING, mpfr_get_version ()))
794 fprintf (file,
795 file == stderr ? _(fmt3) : fmt3,
796 indent, *indent != 0 ? " " : "",
797 "MPFR", MPFR_VERSION_STRING, mpfr_get_version ());
798 if (strcmp (MPC_VERSION_STRING, mpc_get_version ()))
799 fprintf (file,
800 file == stderr ? _(fmt3) : fmt3,
801 indent, *indent != 0 ? " " : "",
802 "MPC", MPC_VERSION_STRING, mpc_get_version ());
804 if (show_global_state)
806 fprintf (file,
807 file == stderr ? _(fmt4) : fmt4,
808 indent, *indent != 0 ? " " : "",
809 PARAM_VALUE (GGC_MIN_EXPAND), PARAM_VALUE (GGC_MIN_HEAPSIZE));
811 print_plugins_versions (file, indent);
815 static int
816 print_to_asm_out_file (print_switch_type type, const char * text)
818 bool prepend_sep = true;
820 switch (type)
822 case SWITCH_TYPE_LINE_END:
823 putc ('\n', asm_out_file);
824 return 1;
826 case SWITCH_TYPE_LINE_START:
827 fputs (ASM_COMMENT_START, asm_out_file);
828 return strlen (ASM_COMMENT_START);
830 case SWITCH_TYPE_DESCRIPTIVE:
831 if (ASM_COMMENT_START[0] == 0)
832 prepend_sep = false;
833 /* Drop through. */
834 case SWITCH_TYPE_PASSED:
835 case SWITCH_TYPE_ENABLED:
836 if (prepend_sep)
837 fputc (' ', asm_out_file);
838 fputs (text, asm_out_file);
839 /* No need to return the length here as
840 print_single_switch has already done it. */
841 return 0;
843 default:
844 return -1;
848 static int
849 print_to_stderr (print_switch_type type, const char * text)
851 switch (type)
853 case SWITCH_TYPE_LINE_END:
854 putc ('\n', stderr);
855 return 1;
857 case SWITCH_TYPE_LINE_START:
858 return 0;
860 case SWITCH_TYPE_PASSED:
861 case SWITCH_TYPE_ENABLED:
862 fputc (' ', stderr);
863 /* Drop through. */
865 case SWITCH_TYPE_DESCRIPTIVE:
866 fputs (text, stderr);
867 /* No need to return the length here as
868 print_single_switch has already done it. */
869 return 0;
871 default:
872 return -1;
876 /* Print an option value and return the adjusted position in the line.
877 ??? print_fn doesn't handle errors, eg disk full; presumably other
878 code will catch a disk full though. */
880 static int
881 print_single_switch (print_switch_fn_type print_fn,
882 int pos,
883 print_switch_type type,
884 const char * text)
886 /* The ultrix fprintf returns 0 on success, so compute the result
887 we want here since we need it for the following test. The +1
888 is for the separator character that will probably be emitted. */
889 int len = strlen (text) + 1;
891 if (pos != 0
892 && pos + len > MAX_LINE)
894 print_fn (SWITCH_TYPE_LINE_END, NULL);
895 pos = 0;
898 if (pos == 0)
899 pos += print_fn (SWITCH_TYPE_LINE_START, NULL);
901 print_fn (type, text);
902 return pos + len;
905 /* Print active target switches using PRINT_FN.
906 POS is the current cursor position and MAX is the size of a "line".
907 Each line begins with INDENT and ends with TERM.
908 Each switch is separated from the next by SEP. */
910 static void
911 print_switch_values (print_switch_fn_type print_fn)
913 int pos = 0;
914 size_t j;
916 /* Fill in the -frandom-seed option, if the user didn't pass it, so
917 that it can be printed below. This helps reproducibility. */
918 if (!flag_random_seed)
919 init_random_seed ();
921 /* Print the options as passed. */
922 pos = print_single_switch (print_fn, pos,
923 SWITCH_TYPE_DESCRIPTIVE, _("options passed: "));
925 for (j = 1; j < save_decoded_options_count; j++)
927 switch (save_decoded_options[j].opt_index)
929 case OPT_o:
930 case OPT_d:
931 case OPT_dumpbase:
932 case OPT_dumpdir:
933 case OPT_auxbase:
934 case OPT_quiet:
935 case OPT_version:
936 /* Ignore these. */
937 continue;
940 pos = print_single_switch (print_fn, pos, SWITCH_TYPE_PASSED,
941 save_decoded_options[j].orig_option_with_args_text);
944 if (pos > 0)
945 print_fn (SWITCH_TYPE_LINE_END, NULL);
947 /* Print the -f and -m options that have been enabled.
948 We don't handle language specific options but printing argv
949 should suffice. */
950 pos = print_single_switch (print_fn, 0,
951 SWITCH_TYPE_DESCRIPTIVE, _("options enabled: "));
953 for (j = 0; j < cl_options_count; j++)
954 if (cl_options[j].cl_report
955 && option_enabled (j, &global_options) > 0)
956 pos = print_single_switch (print_fn, pos,
957 SWITCH_TYPE_ENABLED, cl_options[j].opt_text);
959 print_fn (SWITCH_TYPE_LINE_END, NULL);
962 /* Open assembly code output file. Do this even if -fsyntax-only is
963 on, because then the driver will have provided the name of a
964 temporary file or bit bucket for us. NAME is the file specified on
965 the command line, possibly NULL. */
966 static void
967 init_asm_output (const char *name)
969 if (name == NULL && asm_file_name == 0)
970 asm_out_file = stdout;
971 else
973 if (asm_file_name == 0)
975 int len = strlen (dump_base_name);
976 char *dumpname = XNEWVEC (char, len + 6);
978 memcpy (dumpname, dump_base_name, len + 1);
979 strip_off_ending (dumpname, len);
980 strcat (dumpname, ".s");
981 asm_file_name = dumpname;
983 if (!strcmp (asm_file_name, "-"))
984 asm_out_file = stdout;
985 else if (!canonical_filename_eq (asm_file_name, name)
986 || !strcmp (asm_file_name, HOST_BIT_BUCKET))
987 asm_out_file = fopen (asm_file_name, "w");
988 else
989 /* Use UNKOWN_LOCATION to prevent gcc from printing the first
990 line in the current file. */
991 fatal_error (UNKNOWN_LOCATION,
992 "input file %qs is the same as output file",
993 asm_file_name);
994 if (asm_out_file == 0)
995 fatal_error (UNKNOWN_LOCATION,
996 "can%'t open %qs for writing: %m", asm_file_name);
999 if (!flag_syntax_only)
1001 targetm.asm_out.file_start ();
1003 if (flag_record_gcc_switches)
1005 if (targetm.asm_out.record_gcc_switches)
1007 /* Let the target know that we are about to start recording. */
1008 targetm.asm_out.record_gcc_switches (SWITCH_TYPE_DESCRIPTIVE,
1009 NULL);
1010 /* Now record the switches. */
1011 print_switch_values (targetm.asm_out.record_gcc_switches);
1012 /* Let the target know that the recording is over. */
1013 targetm.asm_out.record_gcc_switches (SWITCH_TYPE_DESCRIPTIVE,
1014 NULL);
1016 else
1017 inform (input_location, "-frecord-gcc-switches is not supported by the current target");
1020 if (flag_verbose_asm)
1022 /* Print the list of switches in effect
1023 into the assembler file as comments. */
1024 print_version (asm_out_file, ASM_COMMENT_START, true);
1025 print_switch_values (print_to_asm_out_file);
1026 putc ('\n', asm_out_file);
1031 /* A helper function; used as the reallocator function for cpp's line
1032 table. */
1033 static void *
1034 realloc_for_line_map (void *ptr, size_t len)
1036 return ggc_realloc (ptr, len);
1039 /* A helper function: used as the allocator function for
1040 identifier_to_locale. */
1041 static void *
1042 alloc_for_identifier_to_locale (size_t len)
1044 return ggc_alloc_atomic (len);
1047 /* Output stack usage information. */
1048 void
1049 output_stack_usage (void)
1051 static bool warning_issued = false;
1052 enum stack_usage_kind_type { STATIC = 0, DYNAMIC, DYNAMIC_BOUNDED };
1053 const char *stack_usage_kind_str[] = {
1054 "static",
1055 "dynamic",
1056 "dynamic,bounded"
1058 HOST_WIDE_INT stack_usage = current_function_static_stack_size;
1059 enum stack_usage_kind_type stack_usage_kind;
1061 if (stack_usage < 0)
1063 if (!warning_issued)
1065 warning (0, "stack usage computation not supported for this target");
1066 warning_issued = true;
1068 return;
1071 stack_usage_kind = STATIC;
1073 /* Add the maximum amount of space pushed onto the stack. */
1074 if (current_function_pushed_stack_size > 0)
1076 stack_usage += current_function_pushed_stack_size;
1077 stack_usage_kind = DYNAMIC_BOUNDED;
1080 /* Now on to the tricky part: dynamic stack allocation. */
1081 if (current_function_allocates_dynamic_stack_space)
1083 if (current_function_has_unbounded_dynamic_stack_size)
1084 stack_usage_kind = DYNAMIC;
1085 else
1086 stack_usage_kind = DYNAMIC_BOUNDED;
1088 /* Add the size even in the unbounded case, this can't hurt. */
1089 stack_usage += current_function_dynamic_stack_size;
1092 if (flag_stack_usage)
1094 expanded_location loc
1095 = expand_location (DECL_SOURCE_LOCATION (current_function_decl));
1096 /* We don't want to print the full qualified name because it can be long,
1097 so we strip the scope prefix, but we may need to deal with the suffix
1098 created by the compiler. */
1099 const char *suffix
1100 = strchr (IDENTIFIER_POINTER (DECL_NAME (current_function_decl)), '.');
1101 const char *name
1102 = lang_hooks.decl_printable_name (current_function_decl, 2);
1103 if (suffix)
1105 const char *dot = strchr (name, '.');
1106 while (dot && strcasecmp (dot, suffix) != 0)
1108 name = dot + 1;
1109 dot = strchr (name, '.');
1112 else
1114 const char *dot = strrchr (name, '.');
1115 if (dot)
1116 name = dot + 1;
1119 fprintf (stack_usage_file,
1120 "%s:%d:%d:%s\t"HOST_WIDE_INT_PRINT_DEC"\t%s\n",
1121 lbasename (loc.file),
1122 loc.line,
1123 loc.column,
1124 name,
1125 stack_usage,
1126 stack_usage_kind_str[stack_usage_kind]);
1129 if (warn_stack_usage >= 0)
1131 const location_t loc = DECL_SOURCE_LOCATION (current_function_decl);
1133 if (stack_usage_kind == DYNAMIC)
1134 warning_at (loc, OPT_Wstack_usage_, "stack usage might be unbounded");
1135 else if (stack_usage > warn_stack_usage)
1137 if (stack_usage_kind == DYNAMIC_BOUNDED)
1138 warning_at (loc,
1139 OPT_Wstack_usage_, "stack usage might be %wd bytes",
1140 stack_usage);
1141 else
1142 warning_at (loc, OPT_Wstack_usage_, "stack usage is %wd bytes",
1143 stack_usage);
1148 /* Open an auxiliary output file. */
1149 static FILE *
1150 open_auxiliary_file (const char *ext)
1152 char *filename;
1153 FILE *file;
1155 filename = concat (aux_base_name, ".", ext, NULL);
1156 file = fopen (filename, "w");
1157 if (!file)
1158 fatal_error (input_location, "can%'t open %s for writing: %m", filename);
1159 free (filename);
1160 return file;
1163 /* Initialization of the front end environment, before command line
1164 options are parsed. Signal handlers, internationalization etc.
1165 ARGV0 is main's argv[0]. */
1166 static void
1167 general_init (const char *argv0, bool init_signals)
1169 const char *p;
1171 p = argv0 + strlen (argv0);
1172 while (p != argv0 && !IS_DIR_SEPARATOR (p[-1]))
1173 --p;
1174 progname = p;
1176 xmalloc_set_program_name (progname);
1178 hex_init ();
1180 /* Unlock the stdio streams. */
1181 unlock_std_streams ();
1183 gcc_init_libintl ();
1185 identifier_to_locale_alloc = alloc_for_identifier_to_locale;
1186 identifier_to_locale_free = ggc_free;
1188 /* Initialize the diagnostics reporting machinery, so option parsing
1189 can give warnings and errors. */
1190 diagnostic_initialize (global_dc, N_OPTS);
1191 /* Set a default printer. Language specific initializations will
1192 override it later. */
1193 tree_diagnostics_defaults (global_dc);
1195 global_dc->show_caret
1196 = global_options_init.x_flag_diagnostics_show_caret;
1197 global_dc->show_option_requested
1198 = global_options_init.x_flag_diagnostics_show_option;
1199 global_dc->show_column
1200 = global_options_init.x_flag_show_column;
1201 global_dc->internal_error = plugins_internal_error_function;
1202 global_dc->option_enabled = option_enabled;
1203 global_dc->option_state = &global_options;
1204 global_dc->option_name = option_name;
1206 if (init_signals)
1208 /* Trap fatal signals, e.g. SIGSEGV, and convert them to ICE messages. */
1209 #ifdef SIGSEGV
1210 signal (SIGSEGV, crash_signal);
1211 #endif
1212 #ifdef SIGILL
1213 signal (SIGILL, crash_signal);
1214 #endif
1215 #ifdef SIGBUS
1216 signal (SIGBUS, crash_signal);
1217 #endif
1218 #ifdef SIGABRT
1219 signal (SIGABRT, crash_signal);
1220 #endif
1221 #if defined SIGIOT && (!defined SIGABRT || SIGABRT != SIGIOT)
1222 signal (SIGIOT, crash_signal);
1223 #endif
1224 #ifdef SIGFPE
1225 signal (SIGFPE, crash_signal);
1226 #endif
1228 /* Other host-specific signal setup. */
1229 (*host_hooks.extra_signals)();
1232 /* Initialize the garbage-collector, string pools and tree type hash
1233 table. */
1234 init_ggc ();
1235 init_stringpool ();
1236 input_location = UNKNOWN_LOCATION;
1237 line_table = ggc_alloc<line_maps> ();
1238 linemap_init (line_table, BUILTINS_LOCATION);
1239 line_table->reallocator = realloc_for_line_map;
1240 line_table->round_alloc_size = ggc_round_alloc_size;
1241 init_ttree ();
1243 /* Initialize register usage now so switches may override. */
1244 init_reg_sets ();
1246 /* Register the language-independent parameters. */
1247 global_init_params ();
1249 /* This must be done after global_init_params but before argument
1250 processing. */
1251 init_ggc_heuristics ();
1253 /* Create the singleton holder for global state.
1254 Doing so also creates the pass manager and with it the passes. */
1255 g = new gcc::context ();
1256 symtab = new (ggc_cleared_alloc <symbol_table> ()) symbol_table ();
1258 statistics_early_init ();
1259 finish_params ();
1262 /* Return true if the current target supports -fsection-anchors. */
1264 static bool
1265 target_supports_section_anchors_p (void)
1267 if (targetm.min_anchor_offset == 0 && targetm.max_anchor_offset == 0)
1268 return false;
1270 if (targetm.asm_out.output_anchor == NULL)
1271 return false;
1273 return true;
1276 /* Default the align_* variables to 1 if they're still unset, and
1277 set up the align_*_log variables. */
1278 static void
1279 init_alignments (void)
1281 if (align_loops <= 0)
1282 align_loops = 1;
1283 if (align_loops_max_skip > align_loops)
1284 align_loops_max_skip = align_loops - 1;
1285 align_loops_log = floor_log2 (align_loops * 2 - 1);
1286 if (align_jumps <= 0)
1287 align_jumps = 1;
1288 if (align_jumps_max_skip > align_jumps)
1289 align_jumps_max_skip = align_jumps - 1;
1290 align_jumps_log = floor_log2 (align_jumps * 2 - 1);
1291 if (align_labels <= 0)
1292 align_labels = 1;
1293 align_labels_log = floor_log2 (align_labels * 2 - 1);
1294 if (align_labels_max_skip > align_labels)
1295 align_labels_max_skip = align_labels - 1;
1296 if (align_functions <= 0)
1297 align_functions = 1;
1298 align_functions_log = floor_log2 (align_functions * 2 - 1);
1301 /* Process the options that have been parsed. */
1302 static void
1303 process_options (void)
1305 /* Just in case lang_hooks.post_options ends up calling a debug_hook.
1306 This can happen with incorrect pre-processed input. */
1307 debug_hooks = &do_nothing_debug_hooks;
1309 maximum_field_alignment = initial_max_fld_align * BITS_PER_UNIT;
1311 /* Allow the front end to perform consistency checks and do further
1312 initialization based on the command line options. This hook also
1313 sets the original filename if appropriate (e.g. foo.i -> foo.c)
1314 so we can correctly initialize debug output. */
1315 no_backend = lang_hooks.post_options (&main_input_filename);
1317 /* Set default values for parameters relation to the Scalar Reduction
1318 of Aggregates passes (SRA and IP-SRA). We must do this here, rather
1319 than in opts.c:default_options_optimization as historically these
1320 tuning heuristics have been based on MOVE_RATIO, which on some
1321 targets requires other symbols from the backend. */
1322 maybe_set_param_value
1323 (PARAM_SRA_MAX_SCALARIZATION_SIZE_SPEED,
1324 get_move_ratio (true) * UNITS_PER_WORD,
1325 global_options.x_param_values, global_options_set.x_param_values);
1326 maybe_set_param_value
1327 (PARAM_SRA_MAX_SCALARIZATION_SIZE_SIZE,
1328 get_move_ratio (false) * UNITS_PER_WORD,
1329 global_options.x_param_values, global_options_set.x_param_values);
1331 /* Some machines may reject certain combinations of options. */
1332 targetm.target_option.override ();
1334 /* Avoid any informative notes in the second run of -fcompare-debug. */
1335 if (flag_compare_debug)
1336 diagnostic_inhibit_notes (global_dc);
1338 if (flag_section_anchors && !target_supports_section_anchors_p ())
1340 warning (OPT_fsection_anchors,
1341 "this target does not support %qs", "-fsection-anchors");
1342 flag_section_anchors = 0;
1345 if (flag_short_enums == 2)
1346 flag_short_enums = targetm.default_short_enums ();
1348 /* Set aux_base_name if not already set. */
1349 if (aux_base_name)
1351 else if (main_input_filename)
1353 char *name = xstrdup (lbasename (main_input_filename));
1355 strip_off_ending (name, strlen (name));
1356 aux_base_name = name;
1358 else
1359 aux_base_name = "gccaux";
1361 #ifndef HAVE_isl
1362 if (flag_graphite
1363 || flag_graphite_identity
1364 || flag_loop_block
1365 || flag_loop_interchange
1366 || flag_loop_strip_mine
1367 || flag_loop_parallelize_all
1368 || flag_loop_unroll_jam)
1369 sorry ("Graphite loop optimizations cannot be used (ISL is not available)"
1370 "(-fgraphite, -fgraphite-identity, -floop-block, "
1371 "-floop-interchange, -floop-strip-mine, -floop-parallelize-all, "
1372 "-floop-unroll-and-jam, and -ftree-loop-linear)");
1373 #endif
1375 if (flag_check_pointer_bounds)
1377 if (targetm.chkp_bound_mode () == VOIDmode)
1378 error ("-fcheck-pointer-bounds is not supported for this target");
1381 /* One region RA really helps to decrease the code size. */
1382 if (flag_ira_region == IRA_REGION_AUTODETECT)
1383 flag_ira_region
1384 = optimize_size || !optimize ? IRA_REGION_ONE : IRA_REGION_MIXED;
1386 if (!abi_version_at_least (2))
1388 /* -fabi-version=1 support was removed after GCC 4.9. */
1389 error ("%<-fabi-version=1%> is no longer supported");
1390 flag_abi_version = 2;
1393 /* Unrolling all loops implies that standard loop unrolling must also
1394 be done. */
1395 if (flag_unroll_all_loops)
1396 flag_unroll_loops = 1;
1398 /* web and rename-registers help when run after loop unrolling. */
1399 if (flag_web == AUTODETECT_VALUE)
1400 flag_web = flag_unroll_loops || flag_peel_loops;
1402 if (flag_rename_registers == AUTODETECT_VALUE)
1403 flag_rename_registers = flag_unroll_loops || flag_peel_loops;
1405 if (flag_non_call_exceptions)
1406 flag_asynchronous_unwind_tables = 1;
1407 if (flag_asynchronous_unwind_tables)
1408 flag_unwind_tables = 1;
1410 if (flag_value_profile_transformations)
1411 flag_profile_values = 1;
1413 /* Warn about options that are not supported on this machine. */
1414 #ifndef INSN_SCHEDULING
1415 if (flag_schedule_insns || flag_schedule_insns_after_reload)
1416 warning (0, "instruction scheduling not supported on this target machine");
1417 #endif
1418 #ifndef DELAY_SLOTS
1419 if (flag_delayed_branch)
1420 warning (0, "this target machine does not have delayed branches");
1421 #endif
1423 user_label_prefix = USER_LABEL_PREFIX;
1424 if (flag_leading_underscore != -1)
1426 /* If the default prefix is more complicated than "" or "_",
1427 issue a warning and ignore this option. */
1428 if (user_label_prefix[0] == 0 ||
1429 (user_label_prefix[0] == '_' && user_label_prefix[1] == 0))
1431 user_label_prefix = flag_leading_underscore ? "_" : "";
1433 else
1434 warning (0, "-f%sleading-underscore not supported on this target machine",
1435 flag_leading_underscore ? "" : "no-");
1438 /* If we are in verbose mode, write out the version and maybe all the
1439 option flags in use. */
1440 if (version_flag)
1442 print_version (stderr, "", true);
1443 if (! quiet_flag)
1444 print_switch_values (print_to_stderr);
1447 if (flag_syntax_only)
1449 write_symbols = NO_DEBUG;
1450 profile_flag = 0;
1453 if (flag_gtoggle)
1455 if (debug_info_level == DINFO_LEVEL_NONE)
1457 debug_info_level = DINFO_LEVEL_NORMAL;
1459 if (write_symbols == NO_DEBUG)
1460 write_symbols = PREFERRED_DEBUGGING_TYPE;
1462 else
1463 debug_info_level = DINFO_LEVEL_NONE;
1466 if (flag_dump_final_insns && !flag_syntax_only && !no_backend)
1468 FILE *final_output = fopen (flag_dump_final_insns, "w");
1469 if (!final_output)
1471 error ("could not open final insn dump file %qs: %m",
1472 flag_dump_final_insns);
1473 flag_dump_final_insns = NULL;
1475 else if (fclose (final_output))
1477 error ("could not close zeroed insn dump file %qs: %m",
1478 flag_dump_final_insns);
1479 flag_dump_final_insns = NULL;
1483 /* A lot of code assumes write_symbols == NO_DEBUG if the debugging
1484 level is 0. */
1485 if (debug_info_level == DINFO_LEVEL_NONE)
1486 write_symbols = NO_DEBUG;
1488 if (write_symbols == NO_DEBUG)
1490 #if defined(DBX_DEBUGGING_INFO)
1491 else if (write_symbols == DBX_DEBUG)
1492 debug_hooks = &dbx_debug_hooks;
1493 #endif
1494 #if defined(XCOFF_DEBUGGING_INFO)
1495 else if (write_symbols == XCOFF_DEBUG)
1496 debug_hooks = &xcoff_debug_hooks;
1497 #endif
1498 #ifdef SDB_DEBUGGING_INFO
1499 else if (write_symbols == SDB_DEBUG)
1500 debug_hooks = &sdb_debug_hooks;
1501 #endif
1502 #ifdef DWARF2_DEBUGGING_INFO
1503 else if (write_symbols == DWARF2_DEBUG)
1504 debug_hooks = &dwarf2_debug_hooks;
1505 #endif
1506 #ifdef VMS_DEBUGGING_INFO
1507 else if (write_symbols == VMS_DEBUG || write_symbols == VMS_AND_DWARF2_DEBUG)
1508 debug_hooks = &vmsdbg_debug_hooks;
1509 #endif
1510 else
1511 error ("target system does not support the %qs debug format",
1512 debug_type_names[write_symbols]);
1514 /* We know which debug output will be used so we can set flag_var_tracking
1515 and flag_var_tracking_uninit if the user has not specified them. */
1516 if (debug_info_level < DINFO_LEVEL_NORMAL
1517 || debug_hooks->var_location == do_nothing_debug_hooks.var_location)
1519 if (flag_var_tracking == 1
1520 || flag_var_tracking_uninit == 1)
1522 if (debug_info_level < DINFO_LEVEL_NORMAL)
1523 warning (0, "variable tracking requested, but useless unless "
1524 "producing debug info");
1525 else
1526 warning (0, "variable tracking requested, but not supported "
1527 "by this debug format");
1529 flag_var_tracking = 0;
1530 flag_var_tracking_uninit = 0;
1533 /* The debug hooks are used to implement -fdump-go-spec because it
1534 gives a simple and stable API for all the information we need to
1535 dump. */
1536 if (flag_dump_go_spec != NULL)
1537 debug_hooks = dump_go_spec_init (flag_dump_go_spec, debug_hooks);
1539 /* If the user specifically requested variable tracking with tagging
1540 uninitialized variables, we need to turn on variable tracking.
1541 (We already determined above that variable tracking is feasible.) */
1542 if (flag_var_tracking_uninit == 1)
1543 flag_var_tracking = 1;
1545 if (flag_var_tracking == AUTODETECT_VALUE)
1546 flag_var_tracking = optimize >= 1;
1548 if (flag_var_tracking_uninit == AUTODETECT_VALUE)
1549 flag_var_tracking_uninit = flag_var_tracking;
1551 if (flag_var_tracking_assignments == AUTODETECT_VALUE)
1552 flag_var_tracking_assignments = flag_var_tracking
1553 && !(flag_selective_scheduling || flag_selective_scheduling2);
1555 if (flag_var_tracking_assignments_toggle)
1556 flag_var_tracking_assignments = !flag_var_tracking_assignments;
1558 if (flag_var_tracking_assignments && !flag_var_tracking)
1559 flag_var_tracking = flag_var_tracking_assignments = -1;
1561 if (flag_var_tracking_assignments
1562 && (flag_selective_scheduling || flag_selective_scheduling2))
1563 warning (0, "var-tracking-assignments changes selective scheduling");
1565 if (flag_tree_cselim == AUTODETECT_VALUE)
1566 #ifdef HAVE_conditional_move
1567 flag_tree_cselim = 1;
1568 #else
1569 flag_tree_cselim = 0;
1570 #endif
1572 /* If auxiliary info generation is desired, open the output file.
1573 This goes in the same directory as the source file--unlike
1574 all the other output files. */
1575 if (flag_gen_aux_info)
1577 aux_info_file = fopen (aux_info_file_name, "w");
1578 if (aux_info_file == 0)
1579 fatal_error (input_location, "can%'t open %s: %m", aux_info_file_name);
1582 if (!targetm_common.have_named_sections)
1584 if (flag_function_sections)
1586 warning (0, "-ffunction-sections not supported for this target");
1587 flag_function_sections = 0;
1589 if (flag_data_sections)
1591 warning (0, "-fdata-sections not supported for this target");
1592 flag_data_sections = 0;
1596 #ifndef HAVE_prefetch
1597 if (flag_prefetch_loop_arrays > 0)
1599 warning (0, "-fprefetch-loop-arrays not supported for this target");
1600 flag_prefetch_loop_arrays = 0;
1602 #else
1603 if (flag_prefetch_loop_arrays > 0 && !HAVE_prefetch)
1605 warning (0, "-fprefetch-loop-arrays not supported for this target (try -march switches)");
1606 flag_prefetch_loop_arrays = 0;
1608 #endif
1610 /* This combination of options isn't handled for i386 targets and doesn't
1611 make much sense anyway, so don't allow it. */
1612 if (flag_prefetch_loop_arrays > 0 && optimize_size)
1614 warning (0, "-fprefetch-loop-arrays is not supported with -Os");
1615 flag_prefetch_loop_arrays = 0;
1618 /* The presence of IEEE signaling NaNs, implies all math can trap. */
1619 if (flag_signaling_nans)
1620 flag_trapping_math = 1;
1622 /* We cannot reassociate if we want traps or signed zeros. */
1623 if (flag_associative_math && (flag_trapping_math || flag_signed_zeros))
1625 warning (0, "-fassociative-math disabled; other options take precedence");
1626 flag_associative_math = 0;
1629 /* With -fcx-limited-range, we do cheap and quick complex arithmetic. */
1630 if (flag_cx_limited_range)
1631 flag_complex_method = 0;
1633 /* With -fcx-fortran-rules, we do something in-between cheap and C99. */
1634 if (flag_cx_fortran_rules)
1635 flag_complex_method = 1;
1637 /* Targets must be able to place spill slots at lower addresses. If the
1638 target already uses a soft frame pointer, the transition is trivial. */
1639 if (!FRAME_GROWS_DOWNWARD && flag_stack_protect)
1641 warning (0, "-fstack-protector not supported for this target");
1642 flag_stack_protect = 0;
1644 if (!flag_stack_protect)
1645 warn_stack_protect = 0;
1647 /* Address Sanitizer needs porting to each target architecture. */
1649 if ((flag_sanitize & SANITIZE_ADDRESS)
1650 && !FRAME_GROWS_DOWNWARD)
1652 warning (0,
1653 "-fsanitize=address and -fsanitize=kernel-address "
1654 "are not supported for this target");
1655 flag_sanitize &= ~SANITIZE_ADDRESS;
1658 if ((flag_sanitize & SANITIZE_USER_ADDRESS)
1659 && targetm.asan_shadow_offset == NULL)
1661 warning (0, "-fsanitize=address not supported for this target");
1662 flag_sanitize &= ~SANITIZE_ADDRESS;
1665 /* Do not use IPA optimizations for register allocation if profiler is active
1666 or port does not emit prologue and epilogue as RTL. */
1667 if (profile_flag || !HAVE_prologue || !HAVE_epilogue)
1668 flag_ipa_ra = 0;
1670 /* Enable -Werror=coverage-mismatch when -Werror and -Wno-error
1671 have not been set. */
1672 if (!global_options_set.x_warnings_are_errors
1673 && warn_coverage_mismatch
1674 && (global_dc->classify_diagnostic[OPT_Wcoverage_mismatch] ==
1675 DK_UNSPECIFIED))
1676 diagnostic_classify_diagnostic (global_dc, OPT_Wcoverage_mismatch,
1677 DK_ERROR, UNKNOWN_LOCATION);
1679 /* Save the current optimization options. */
1680 optimization_default_node = build_optimization_node (&global_options);
1681 optimization_current_node = optimization_default_node;
1683 /* Please don't change global_options after this point, those changes won't
1684 be reflected in optimization_{default,current}_node. */
1687 /* This function can be called multiple times to reinitialize the compiler
1688 back end when register classes or instruction sets have changed,
1689 before each function. */
1690 static void
1691 backend_init_target (void)
1693 /* Initialize alignment variables. */
1694 init_alignments ();
1696 /* This depends on stack_pointer_rtx. */
1697 init_fake_stack_mems ();
1699 /* Sets static_base_value[HARD_FRAME_POINTER_REGNUM], which is
1700 mode-dependent. */
1701 init_alias_target ();
1703 /* Depends on HARD_FRAME_POINTER_REGNUM. */
1704 init_reload ();
1706 /* Depends on the enabled attribute. */
1707 recog_init ();
1709 /* The following initialization functions need to generate rtl, so
1710 provide a dummy function context for them. */
1711 init_dummy_function_start ();
1713 /* rtx_cost is mode-dependent, so cached values need to be recomputed
1714 on a mode change. */
1715 init_expmed ();
1716 init_lower_subreg ();
1717 init_set_costs ();
1719 init_expr_target ();
1720 ira_init ();
1722 /* We may need to recompute regno_save_code[] and regno_restore_code[]
1723 after a mode change as well. */
1724 caller_save_initialized_p = false;
1726 expand_dummy_function_end ();
1729 /* Initialize the compiler back end. This function is called only once,
1730 when starting the compiler. */
1731 static void
1732 backend_init (void)
1734 init_emit_once ();
1736 init_rtlanal ();
1737 init_inline_once ();
1738 init_varasm_once ();
1739 save_register_info ();
1741 /* Middle end needs this initialization for default mem attributes
1742 used by early calls to make_decl_rtl. */
1743 init_emit_regs ();
1745 /* Middle end needs this initialization for mode tables used to assign
1746 modes to vector variables. */
1747 init_regs ();
1750 /* Initialize excess precision settings. */
1751 static void
1752 init_excess_precision (void)
1754 /* Adjust excess precision handling based on the target options. If
1755 the front end cannot handle it, flag_excess_precision_cmdline
1756 will already have been set accordingly in the post_options
1757 hook. */
1758 gcc_assert (flag_excess_precision_cmdline != EXCESS_PRECISION_DEFAULT);
1759 flag_excess_precision = flag_excess_precision_cmdline;
1760 if (flag_unsafe_math_optimizations)
1761 flag_excess_precision = EXCESS_PRECISION_FAST;
1762 if (flag_excess_precision == EXCESS_PRECISION_STANDARD)
1764 int flt_eval_method = TARGET_FLT_EVAL_METHOD;
1765 switch (flt_eval_method)
1767 case -1:
1768 case 0:
1769 /* Either the target acts unpredictably (-1) or has all the
1770 operations required not to have excess precision (0). */
1771 flag_excess_precision = EXCESS_PRECISION_FAST;
1772 break;
1773 case 1:
1774 case 2:
1775 /* In these cases, predictable excess precision makes
1776 sense. */
1777 break;
1778 default:
1779 /* Any other implementation-defined FLT_EVAL_METHOD values
1780 require the compiler to handle the associated excess
1781 precision rules in excess_precision_type. */
1782 gcc_unreachable ();
1787 /* Initialize things that are both lang-dependent and target-dependent.
1788 This function can be called more than once if target parameters change. */
1789 static void
1790 lang_dependent_init_target (void)
1792 /* This determines excess precision settings. */
1793 init_excess_precision ();
1795 /* This creates various _DECL nodes, so needs to be called after the
1796 front end is initialized. It also depends on the HAVE_xxx macros
1797 generated from the target machine description. */
1798 init_optabs ();
1800 gcc_assert (!this_target_rtl->target_specific_initialized);
1803 /* Perform initializations that are lang-dependent or target-dependent.
1804 but matters only for late optimizations and RTL generation. */
1806 static int rtl_initialized;
1808 void
1809 initialize_rtl (void)
1811 /* Initialization done just once per compilation, but delayed
1812 till code generation. */
1813 if (!rtl_initialized)
1814 ira_init_once ();
1815 rtl_initialized = true;
1817 /* Target specific RTL backend initialization. */
1818 if (!this_target_rtl->target_specific_initialized)
1820 backend_init_target ();
1821 this_target_rtl->target_specific_initialized = true;
1825 /* Language-dependent initialization. Returns nonzero on success. */
1826 static int
1827 lang_dependent_init (const char *name)
1829 location_t save_loc = input_location;
1830 if (dump_base_name == 0)
1831 dump_base_name = name && name[0] ? name : "gccdump";
1833 /* Other front-end initialization. */
1834 input_location = BUILTINS_LOCATION;
1835 if (lang_hooks.init () == 0)
1836 return 0;
1837 input_location = save_loc;
1839 if (!flag_wpa)
1841 init_asm_output (name);
1843 /* If stack usage information is desired, open the output file. */
1844 if (flag_stack_usage)
1845 stack_usage_file = open_auxiliary_file ("su");
1848 /* This creates various _DECL nodes, so needs to be called after the
1849 front end is initialized. */
1850 init_eh ();
1852 /* Do the target-specific parts of the initialization. */
1853 lang_dependent_init_target ();
1855 if (!flag_wpa)
1857 /* If dbx symbol table desired, initialize writing it and output the
1858 predefined types. */
1859 timevar_push (TV_SYMOUT);
1861 /* Now we have the correct original filename, we can initialize
1862 debug output. */
1863 (*debug_hooks->init) (name);
1865 timevar_pop (TV_SYMOUT);
1868 return 1;
1872 /* Reinitialize everything when target parameters, such as register usage,
1873 have changed. */
1874 void
1875 target_reinit (void)
1877 struct rtl_data saved_x_rtl;
1878 rtx *saved_regno_reg_rtx;
1879 tree saved_optimization_current_node;
1880 struct target_optabs *saved_this_fn_optabs;
1882 /* Temporarily switch to the default optimization node, so that
1883 *this_target_optabs is set to the default, not reflecting
1884 whatever a previous function used for the optimize
1885 attribute. */
1886 saved_optimization_current_node = optimization_current_node;
1887 saved_this_fn_optabs = this_fn_optabs;
1888 if (saved_optimization_current_node != optimization_default_node)
1890 optimization_current_node = optimization_default_node;
1891 cl_optimization_restore
1892 (&global_options,
1893 TREE_OPTIMIZATION (optimization_default_node));
1895 this_fn_optabs = this_target_optabs;
1897 /* Save *crtl and regno_reg_rtx around the reinitialization
1898 to allow target_reinit being called even after prepare_function_start. */
1899 saved_regno_reg_rtx = regno_reg_rtx;
1900 if (saved_regno_reg_rtx)
1902 saved_x_rtl = *crtl;
1903 memset (crtl, '\0', sizeof (*crtl));
1904 regno_reg_rtx = NULL;
1907 this_target_rtl->target_specific_initialized = false;
1909 /* This initializes hard_frame_pointer, and calls init_reg_modes_target()
1910 to initialize reg_raw_mode[]. */
1911 init_emit_regs ();
1913 /* This invokes target hooks to set fixed_reg[] etc, which is
1914 mode-dependent. */
1915 init_regs ();
1917 /* Reinitialize lang-dependent parts. */
1918 lang_dependent_init_target ();
1920 /* Restore the original optimization node. */
1921 if (saved_optimization_current_node != optimization_default_node)
1923 optimization_current_node = saved_optimization_current_node;
1924 cl_optimization_restore (&global_options,
1925 TREE_OPTIMIZATION (optimization_current_node));
1927 this_fn_optabs = saved_this_fn_optabs;
1929 /* Restore regno_reg_rtx at the end, as free_after_compilation from
1930 expand_dummy_function_end clears it. */
1931 if (saved_regno_reg_rtx)
1933 *crtl = saved_x_rtl;
1934 regno_reg_rtx = saved_regno_reg_rtx;
1935 saved_regno_reg_rtx = NULL;
1939 void
1940 dump_memory_report (bool final)
1942 dump_line_table_statistics ();
1943 ggc_print_statistics ();
1944 stringpool_statistics ();
1945 dump_tree_statistics ();
1946 dump_gimple_statistics ();
1947 dump_rtx_statistics ();
1948 dump_alloc_pool_statistics ();
1949 dump_bitmap_statistics ();
1950 dump_vec_loc_statistics ();
1951 dump_ggc_loc_statistics (final);
1952 dump_alias_stats (stderr);
1953 dump_pta_stats (stderr);
1956 /* Clean up: close opened files, etc. */
1958 static void
1959 finalize (bool no_backend)
1961 /* Close the dump files. */
1962 if (flag_gen_aux_info)
1964 fclose (aux_info_file);
1965 if (seen_error ())
1966 unlink (aux_info_file_name);
1969 /* Close non-debugging input and output files. Take special care to note
1970 whether fclose returns an error, since the pages might still be on the
1971 buffer chain while the file is open. */
1973 if (asm_out_file)
1975 if (ferror (asm_out_file) != 0)
1976 fatal_error (input_location, "error writing to %s: %m", asm_file_name);
1977 if (fclose (asm_out_file) != 0)
1978 fatal_error (input_location, "error closing %s: %m", asm_file_name);
1981 if (stack_usage_file)
1982 fclose (stack_usage_file);
1984 if (!no_backend)
1986 statistics_fini ();
1988 g->get_passes ()->finish_optimization_passes ();
1990 lra_finish_once ();
1993 if (mem_report)
1994 dump_memory_report (true);
1996 if (profile_report)
1997 dump_profile_report ();
1999 /* Language-specific end of compilation actions. */
2000 lang_hooks.finish ();
2003 static bool
2004 standard_type_bitsize (int bitsize)
2006 /* As a special exception, we always want __int128 enabled if possible. */
2007 if (bitsize == 128)
2008 return false;
2009 if (bitsize == CHAR_TYPE_SIZE
2010 || bitsize == SHORT_TYPE_SIZE
2011 || bitsize == INT_TYPE_SIZE
2012 || bitsize == LONG_TYPE_SIZE
2013 || bitsize == LONG_LONG_TYPE_SIZE)
2014 return true;
2015 return false;
2018 /* Initialize the compiler, and compile the input file. */
2019 static void
2020 do_compile ()
2022 process_options ();
2024 /* Don't do any more if an error has already occurred. */
2025 if (!seen_error ())
2027 int i;
2029 timevar_start (TV_PHASE_SETUP);
2031 /* This must be run always, because it is needed to compute the FP
2032 predefined macros, such as __LDBL_MAX__, for targets using non
2033 default FP formats. */
2034 init_adjust_machine_modes ();
2035 init_derived_machine_modes ();
2037 /* This must happen after the backend has a chance to process
2038 command line options, but before the parsers are
2039 initialized. */
2040 for (i = 0; i < NUM_INT_N_ENTS; i ++)
2041 if (targetm.scalar_mode_supported_p (int_n_data[i].m)
2042 && ! standard_type_bitsize (int_n_data[i].bitsize))
2043 int_n_enabled_p[i] = true;
2044 else
2045 int_n_enabled_p[i] = false;
2047 /* Set up the back-end if requested. */
2048 if (!no_backend)
2049 backend_init ();
2051 /* Language-dependent initialization. Returns true on success. */
2052 if (lang_dependent_init (main_input_filename))
2054 /* Initialize yet another pass. */
2056 ggc_protect_identifiers = true;
2058 symtab->initialize ();
2059 init_final (main_input_filename);
2060 coverage_init (aux_base_name);
2061 statistics_init ();
2062 invoke_plugin_callbacks (PLUGIN_START_UNIT, NULL);
2064 timevar_stop (TV_PHASE_SETUP);
2066 compile_file ();
2068 else
2070 timevar_stop (TV_PHASE_SETUP);
2073 timevar_start (TV_PHASE_FINALIZE);
2075 finalize (no_backend);
2077 timevar_stop (TV_PHASE_FINALIZE);
2081 toplev::toplev (bool use_TV_TOTAL, bool init_signals)
2082 : m_use_TV_TOTAL (use_TV_TOTAL),
2083 m_init_signals (init_signals)
2085 if (!m_use_TV_TOTAL)
2086 start_timevars ();
2089 toplev::~toplev ()
2091 timevar_stop (TV_TOTAL);
2092 timevar_print (stderr);
2095 void
2096 toplev::start_timevars ()
2098 if (time_report || !quiet_flag || flag_detailed_statistics)
2099 timevar_init ();
2101 timevar_start (TV_TOTAL);
2104 /* Entry point of cc1, cc1plus, jc1, f771, etc.
2105 Exit code is FATAL_EXIT_CODE if can't open files or if there were
2106 any errors, or SUCCESS_EXIT_CODE if compilation succeeded.
2108 It is not safe to call this function more than once. */
2111 toplev::main (int argc, char **argv)
2113 /* Parsing and gimplification sometimes need quite large stack.
2114 Increase stack size limits if possible. */
2115 stack_limit_increase (64 * 1024 * 1024);
2117 expandargv (&argc, &argv);
2119 /* Initialization of GCC's environment, and diagnostics. */
2120 general_init (argv[0], m_init_signals);
2122 /* One-off initialization of options that does not need to be
2123 repeated when options are added for particular functions. */
2124 init_options_once ();
2126 /* Initialize global options structures; this must be repeated for
2127 each structure used for parsing options. */
2128 init_options_struct (&global_options, &global_options_set);
2129 lang_hooks.init_options_struct (&global_options);
2131 /* Convert the options to an array. */
2132 decode_cmdline_options_to_array_default_mask (argc,
2133 CONST_CAST2 (const char **,
2134 char **, argv),
2135 &save_decoded_options,
2136 &save_decoded_options_count);
2138 /* Perform language-specific options initialization. */
2139 lang_hooks.init_options (save_decoded_options_count, save_decoded_options);
2141 /* Parse the options and do minimal processing; basically just
2142 enough to default flags appropriately. */
2143 decode_options (&global_options, &global_options_set,
2144 save_decoded_options, save_decoded_options_count,
2145 UNKNOWN_LOCATION, global_dc);
2147 handle_common_deferred_options ();
2149 init_local_tick ();
2151 initialize_plugins ();
2153 if (version_flag)
2154 print_version (stderr, "", true);
2156 if (help_flag)
2157 print_plugins_help (stderr, "");
2159 /* Exit early if we can (e.g. -help). */
2160 if (!exit_after_options)
2162 if (m_use_TV_TOTAL)
2163 start_timevars ();
2164 do_compile ();
2167 if (warningcount || errorcount || werrorcount)
2168 print_ignored_options ();
2170 /* Invoke registered plugin callbacks if any. Some plugins could
2171 emit some diagnostics here. */
2172 invoke_plugin_callbacks (PLUGIN_FINISH, NULL);
2174 diagnostic_finish (global_dc);
2176 finalize_plugins ();
2177 location_adhoc_data_fini (line_table);
2178 if (seen_error () || werrorcount)
2179 return (FATAL_EXIT_CODE);
2181 return (SUCCESS_EXIT_CODE);
2184 /* For those that want to, this function aims to clean up enough state that
2185 you can call toplev::main again. */
2186 void
2187 toplev::finalize (void)
2189 rtl_initialized = false;
2190 this_target_rtl->target_specific_initialized = false;
2192 /* Needs to be called before cgraph_c_finalize since it uses symtab. */
2193 ipa_reference_c_finalize ();
2195 cgraph_c_finalize ();
2196 cgraphunit_c_finalize ();
2197 dwarf2out_c_finalize ();
2198 gcse_c_finalize ();
2199 ipa_cp_c_finalize ();
2200 ira_costs_c_finalize ();
2201 params_c_finalize ();
2203 finalize_options_struct (&global_options);
2204 finalize_options_struct (&global_options_set);
2206 XDELETEVEC (save_decoded_options);
2208 /* Clean up the context (and pass_manager etc). */
2209 delete g;
2210 g = NULL;
2212 obstack_free (&opts_obstack, NULL);