Merged from trunk from revision r222717 up to r222905.
[official-gcc.git] / gcc / toplev.c
blob38de36b107bc3fa3b678a51bbb7aee5b37d559b6
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_prologue
132 #define HAVE_prologue 0
133 #endif
135 #include <new>
137 static void general_init (const char *, bool);
138 static void do_compile ();
139 static void process_options (void);
140 static void backend_init (void);
141 static int lang_dependent_init (const char *);
142 static void init_asm_output (const char *);
143 static void finalize (bool);
145 static void crash_signal (int) ATTRIBUTE_NORETURN;
146 static void compile_file (void);
148 /* True if we don't need a backend (e.g. preprocessing only). */
149 static bool no_backend;
151 /* Length of line when printing switch values. */
152 #define MAX_LINE 75
154 /* Decoded options, and number of such options. */
155 struct cl_decoded_option *save_decoded_options;
156 unsigned int save_decoded_options_count;
158 /* Used to enable -fvar-tracking, -fweb and -frename-registers according
159 to optimize in process_options (). */
160 #define AUTODETECT_VALUE 2
162 /* Debug hooks - dependent upon command line options. */
164 const struct gcc_debug_hooks *debug_hooks;
166 /* The FUNCTION_DECL for the function currently being compiled,
167 or 0 if between functions. */
168 tree current_function_decl;
170 /* Set to the FUNC_BEGIN label of the current function, or NULL
171 if none. */
172 const char * current_function_func_begin_label;
174 /* A random sequence of characters, unless overridden by user. */
175 static const char *flag_random_seed;
177 /* A local time stamp derived from the time of compilation. It will be
178 zero if the system cannot provide a time. It will be -1u, if the
179 user has specified a particular random seed. */
180 unsigned local_tick;
182 /* Random number for this compilation */
183 HOST_WIDE_INT random_seed;
185 /* -f flags. */
187 /* When non-NULL, indicates that whenever space is allocated on the
188 stack, the resulting stack pointer must not pass this
189 address---that is, for stacks that grow downward, the stack pointer
190 must always be greater than or equal to this address; for stacks
191 that grow upward, the stack pointer must be less than this address.
192 At present, the rtx may be either a REG or a SYMBOL_REF, although
193 the support provided depends on the backend. */
194 rtx stack_limit_rtx;
196 /* True if the user has tagged the function with the 'section'
197 attribute. */
199 bool user_defined_section_attribute = false;
201 struct target_flag_state default_target_flag_state;
202 #if SWITCHABLE_TARGET
203 struct target_flag_state *this_target_flag_state = &default_target_flag_state;
204 #else
205 #define this_target_flag_state (&default_target_flag_state)
206 #endif
208 /* The user symbol prefix after having resolved same. */
209 const char *user_label_prefix;
211 /* Output files for assembler code (real compiler output)
212 and debugging dumps. */
214 FILE *asm_out_file;
215 FILE *aux_info_file;
216 FILE *stack_usage_file = NULL;
218 /* The current working directory of a translation. It's generally the
219 directory from which compilation was initiated, but a preprocessed
220 file may specify the original directory in which it was
221 created. */
223 static const char *src_pwd;
225 /* Initialize src_pwd with the given string, and return true. If it
226 was already initialized, return false. As a special case, it may
227 be called with a NULL argument to test whether src_pwd has NOT been
228 initialized yet. */
230 bool
231 set_src_pwd (const char *pwd)
233 if (src_pwd)
235 if (strcmp (src_pwd, pwd) == 0)
236 return true;
237 else
238 return false;
241 src_pwd = xstrdup (pwd);
242 return true;
245 /* Return the directory from which the translation unit was initiated,
246 in case set_src_pwd() was not called before to assign it a
247 different value. */
249 const char *
250 get_src_pwd (void)
252 if (! src_pwd)
254 src_pwd = getpwd ();
255 if (!src_pwd)
256 src_pwd = ".";
259 return src_pwd;
262 /* Called when the start of a function definition is parsed,
263 this function prints on stderr the name of the function. */
264 void
265 announce_function (tree decl)
267 if (!quiet_flag)
269 if (rtl_dump_and_exit)
270 fprintf (stderr, "%s ",
271 identifier_to_locale (IDENTIFIER_POINTER (DECL_NAME (decl))));
272 else
273 fprintf (stderr, " %s",
274 identifier_to_locale (lang_hooks.decl_printable_name (decl, 2)));
275 fflush (stderr);
276 pp_needs_newline (global_dc->printer) = true;
277 diagnostic_set_last_function (global_dc, (diagnostic_info *) NULL);
281 /* Initialize local_tick with a random number or -1 if
282 flag_random_seed is set. */
284 static void
285 init_local_tick (void)
287 if (!flag_random_seed)
289 /* Try urandom first. Time of day is too likely to collide.
290 In case of any error we just use the local tick. */
292 int fd = open ("/dev/urandom", O_RDONLY);
293 if (fd >= 0)
295 if (read (fd, &random_seed, sizeof (random_seed))
296 != sizeof (random_seed))
297 random_seed = 0;
298 close (fd);
301 /* Now get the tick anyways */
302 #ifdef HAVE_GETTIMEOFDAY
304 struct timeval tv;
306 gettimeofday (&tv, NULL);
307 local_tick = (unsigned) tv.tv_sec * 1000 + tv.tv_usec / 1000;
309 #else
311 time_t now = time (NULL);
313 if (now != (time_t)-1)
314 local_tick = (unsigned) now;
316 #endif
318 else
319 local_tick = -1;
322 /* Set up a default flag_random_seed and local_tick, unless the user
323 already specified one. Must be called after init_local_tick. */
325 static void
326 init_random_seed (void)
328 if (!random_seed)
329 random_seed = local_tick ^ getpid (); /* Old racey fallback method */
332 /* Obtain the random_seed. Unless NOINIT, initialize it if
333 it's not provided in the command line. */
335 HOST_WIDE_INT
336 get_random_seed (bool noinit)
338 if (!flag_random_seed && !noinit)
339 init_random_seed ();
340 return random_seed;
343 /* Modify the random_seed string to VAL. Return its previous
344 value. */
346 const char *
347 set_random_seed (const char *val)
349 const char *old = flag_random_seed;
350 flag_random_seed = val;
351 if (flag_random_seed)
353 char *endp;
355 /* When the driver passed in a hex number don't crc it again */
356 random_seed = strtoul (flag_random_seed, &endp, 0);
357 if (!(endp > flag_random_seed && *endp == 0))
358 random_seed = crc32_string (0, flag_random_seed);
360 return old;
363 /* Handler for fatal signals, such as SIGSEGV. These are transformed
364 into ICE messages, which is much more user friendly. In case the
365 error printer crashes, reset the signal to prevent infinite recursion. */
367 static void
368 crash_signal (int signo)
370 signal (signo, SIG_DFL);
372 /* If we crashed while processing an ASM statement, then be a little more
373 graceful. It's most likely the user's fault. */
374 if (this_is_asm_operands)
376 output_operand_lossage ("unrecoverable error");
377 exit (FATAL_EXIT_CODE);
380 internal_error ("%s", strsignal (signo));
383 /* A subroutine of wrapup_global_declarations. We've come to the end of
384 the compilation unit. All deferred variables should be undeferred,
385 and all incomplete decls should be finalized. */
387 void
388 wrapup_global_declaration_1 (tree decl)
390 /* We're not deferring this any longer. Assignment is conditional to
391 avoid needlessly dirtying PCH pages. */
392 if (CODE_CONTAINS_STRUCT (TREE_CODE (decl), TS_DECL_WITH_VIS)
393 && DECL_DEFER_OUTPUT (decl) != 0)
394 DECL_DEFER_OUTPUT (decl) = 0;
396 if (TREE_CODE (decl) == VAR_DECL && DECL_SIZE (decl) == 0)
397 lang_hooks.finish_incomplete_decl (decl);
400 /* A subroutine of wrapup_global_declarations. Decide whether or not DECL
401 needs to be output. Return true if it is output. */
403 bool
404 wrapup_global_declaration_2 (tree decl)
406 if (TREE_ASM_WRITTEN (decl) || DECL_EXTERNAL (decl)
407 || (TREE_CODE (decl) == VAR_DECL && DECL_HAS_VALUE_EXPR_P (decl)))
408 return false;
410 /* Don't write out static consts, unless we still need them.
412 We also keep static consts if not optimizing (for debugging),
413 unless the user specified -fno-keep-static-consts.
414 ??? They might be better written into the debug information.
415 This is possible when using DWARF.
417 A language processor that wants static constants to be always
418 written out (even if it is not used) is responsible for
419 calling rest_of_decl_compilation itself. E.g. the C front-end
420 calls rest_of_decl_compilation from finish_decl.
421 One motivation for this is that is conventional in some
422 environments to write things like:
423 static const char rcsid[] = "... version string ...";
424 intending to force the string to be in the executable.
426 A language processor that would prefer to have unneeded
427 static constants "optimized away" would just defer writing
428 them out until here. E.g. C++ does this, because static
429 constants are often defined in header files.
431 ??? A tempting alternative (for both C and C++) would be
432 to force a constant to be written if and only if it is
433 defined in a main file, as opposed to an include file. */
435 if (TREE_CODE (decl) == VAR_DECL && TREE_STATIC (decl))
437 varpool_node *node;
438 bool needed = true;
439 node = varpool_node::get (decl);
441 if (!node && flag_ltrans)
442 needed = false;
443 else if (node && node->definition)
444 needed = false;
445 else if (node && node->alias)
446 needed = false;
447 else if (!symtab->global_info_ready
448 && (TREE_USED (decl)
449 || TREE_USED (DECL_ASSEMBLER_NAME (decl))))
450 /* needed */;
451 else if (node && node->analyzed)
452 /* needed */;
453 else if (DECL_COMDAT (decl))
454 needed = false;
455 else if (TREE_READONLY (decl) && !TREE_PUBLIC (decl)
456 && (optimize || !flag_keep_static_consts
457 || DECL_ARTIFICIAL (decl)))
458 needed = false;
460 if (needed)
462 rest_of_decl_compilation (decl, 1, 1);
463 return true;
467 return false;
470 /* Do any final processing required for the declarations in VEC, of
471 which there are LEN. We write out inline functions and variables
472 that have been deferred until this point, but which are required.
473 Returns nonzero if anything was put out. */
475 bool
476 wrapup_global_declarations (tree *vec, int len)
478 bool reconsider, output_something = false;
479 int i;
481 for (i = 0; i < len; i++)
482 wrapup_global_declaration_1 (vec[i]);
484 /* Now emit any global variables or functions that we have been
485 putting off. We need to loop in case one of the things emitted
486 here references another one which comes earlier in the list. */
489 reconsider = false;
490 for (i = 0; i < len; i++)
491 reconsider |= wrapup_global_declaration_2 (vec[i]);
492 if (reconsider)
493 output_something = true;
495 while (reconsider);
497 return output_something;
500 /* A subroutine of check_global_declarations. Issue appropriate warnings
501 for the global declaration DECL. */
503 void
504 check_global_declaration_1 (tree decl)
506 /* Warn about any function declared static but not defined. We don't
507 warn about variables, because many programs have static variables
508 that exist only to get some text into the object file. */
509 if (TREE_CODE (decl) == FUNCTION_DECL
510 && DECL_INITIAL (decl) == 0
511 && DECL_EXTERNAL (decl)
512 && ! DECL_ARTIFICIAL (decl)
513 && ! TREE_NO_WARNING (decl)
514 && ! TREE_PUBLIC (decl)
515 && (warn_unused_function
516 || TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl))))
518 if (TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl)))
519 pedwarn (input_location, 0, "%q+F used but never defined", decl);
520 else
521 warning (OPT_Wunused_function, "%q+F declared %<static%> but never defined", decl);
522 /* This symbol is effectively an "extern" declaration now. */
523 TREE_PUBLIC (decl) = 1;
526 /* Warn about static fns or vars defined but not used. */
527 if (((warn_unused_function && TREE_CODE (decl) == FUNCTION_DECL)
528 /* We don't warn about "static const" variables because the
529 "rcs_id" idiom uses that construction. */
530 || (warn_unused_variable
531 && TREE_CODE (decl) == VAR_DECL && ! TREE_READONLY (decl)))
532 && ! DECL_IN_SYSTEM_HEADER (decl)
533 && ! TREE_USED (decl)
534 /* The TREE_USED bit for file-scope decls is kept in the identifier,
535 to handle multiple external decls in different scopes. */
536 && ! (DECL_NAME (decl) && TREE_USED (DECL_NAME (decl)))
537 && ! DECL_EXTERNAL (decl)
538 && ! TREE_PUBLIC (decl)
539 /* A volatile variable might be used in some non-obvious way. */
540 && ! TREE_THIS_VOLATILE (decl)
541 /* Global register variables must be declared to reserve them. */
542 && ! (TREE_CODE (decl) == VAR_DECL && DECL_REGISTER (decl))
543 /* Otherwise, ask the language. */
544 && lang_hooks.decls.warn_unused_global (decl))
545 warning ((TREE_CODE (decl) == FUNCTION_DECL)
546 ? OPT_Wunused_function
547 : OPT_Wunused_variable,
548 "%q+D defined but not used", decl);
551 /* Issue appropriate warnings for the global declarations in V (of
552 which there are LEN). */
554 void
555 check_global_declarations (tree *v, int len)
557 int i;
559 for (i = 0; i < len; i++)
560 check_global_declaration_1 (v[i]);
563 /* Emit debugging information for all global declarations in VEC. */
565 void
566 emit_debug_global_declarations (tree *vec, int len)
568 int i;
570 /* Avoid confusing the debug information machinery when there are errors. */
571 if (seen_error ())
572 return;
574 timevar_push (TV_SYMOUT);
575 for (i = 0; i < len; i++)
576 debug_hooks->global_decl (vec[i]);
577 timevar_pop (TV_SYMOUT);
580 /* Compile an entire translation unit. Write a file of assembly
581 output and various debugging dumps. */
583 static void
584 compile_file (void)
586 timevar_start (TV_PHASE_PARSING);
587 timevar_push (TV_PARSE_GLOBAL);
589 /* Call the parser, which parses the entire file (calling
590 rest_of_compilation for each function). */
591 lang_hooks.parse_file ();
593 timevar_pop (TV_PARSE_GLOBAL);
594 timevar_stop (TV_PHASE_PARSING);
596 /* Compilation is now finished except for writing
597 what's left of the symbol table output. */
599 if (flag_syntax_only || flag_wpa)
600 return;
602 ggc_protect_identifiers = false;
604 /* This must also call finalize_compilation_unit. */
605 lang_hooks.decls.final_write_globals ();
607 if (seen_error ())
608 return;
610 timevar_start (TV_PHASE_LATE_ASM);
612 /* Compilation unit is finalized. When producing non-fat LTO object, we are
613 basically finished. */
614 if (in_lto_p || !flag_lto || flag_fat_lto_objects)
616 /* File-scope initialization for AddressSanitizer. */
617 if (flag_sanitize & SANITIZE_ADDRESS)
618 asan_finish_file ();
620 if (flag_sanitize & SANITIZE_THREAD)
621 tsan_finish_file ();
623 if (flag_check_pointer_bounds)
624 chkp_finish_file ();
626 omp_finish_file ();
628 output_shared_constant_pool ();
629 output_object_blocks ();
630 finish_tm_clone_pairs ();
632 /* Write out any pending weak symbol declarations. */
633 weak_finish ();
635 /* This must be at the end before unwind and debug info.
636 Some target ports emit PIC setup thunks here. */
637 targetm.asm_out.code_end ();
639 /* Do dbx symbols. */
640 timevar_push (TV_SYMOUT);
642 #if defined DWARF2_DEBUGGING_INFO || defined DWARF2_UNWIND_INFO
643 if (dwarf2out_do_frame ())
644 dwarf2out_frame_finish ();
645 #endif
647 (*debug_hooks->finish) (main_input_filename);
648 timevar_pop (TV_SYMOUT);
650 /* Output some stuff at end of file if nec. */
652 dw2_output_indirect_constants ();
654 /* Flush any pending external directives. */
655 process_pending_assemble_externals ();
658 /* Emit LTO marker if LTO info has been previously emitted. This is
659 used by collect2 to determine whether an object file contains IL.
660 We used to emit an undefined reference here, but this produces
661 link errors if an object file with IL is stored into a shared
662 library without invoking lto1. */
663 if (flag_generate_lto || flag_generate_offload)
665 #if defined ASM_OUTPUT_ALIGNED_DECL_COMMON
666 ASM_OUTPUT_ALIGNED_DECL_COMMON (asm_out_file, NULL_TREE,
667 "__gnu_lto_v1",
668 (unsigned HOST_WIDE_INT) 1, 8);
669 #elif defined ASM_OUTPUT_ALIGNED_COMMON
670 ASM_OUTPUT_ALIGNED_COMMON (asm_out_file, "__gnu_lto_v1",
671 (unsigned HOST_WIDE_INT) 1, 8);
672 #else
673 ASM_OUTPUT_COMMON (asm_out_file, "__gnu_lto_v1",
674 (unsigned HOST_WIDE_INT) 1,
675 (unsigned HOST_WIDE_INT) 1);
676 #endif
679 /* Let linker plugin know that this is a slim object and must be LTOed
680 even when user did not ask for it. */
681 if (flag_generate_lto && !flag_fat_lto_objects)
683 #if defined ASM_OUTPUT_ALIGNED_DECL_COMMON
684 ASM_OUTPUT_ALIGNED_DECL_COMMON (asm_out_file, NULL_TREE, "__gnu_lto_slim",
685 (unsigned HOST_WIDE_INT) 1, 8);
686 #elif defined ASM_OUTPUT_ALIGNED_COMMON
687 ASM_OUTPUT_ALIGNED_COMMON (asm_out_file, "__gnu_lto_slim",
688 (unsigned HOST_WIDE_INT) 1, 8);
689 #else
690 ASM_OUTPUT_COMMON (asm_out_file, "__gnu_lto_slim",
691 (unsigned HOST_WIDE_INT) 1,
692 (unsigned HOST_WIDE_INT) 1);
693 #endif
696 /* Attach a special .ident directive to the end of the file to identify
697 the version of GCC which compiled this code. The format of the .ident
698 string is patterned after the ones produced by native SVR4 compilers. */
699 if (!flag_no_ident)
701 const char *pkg_version = "(GNU) ";
702 char *ident_str;
704 if (strcmp ("(GCC) ", pkgversion_string))
705 pkg_version = pkgversion_string;
707 ident_str = ACONCAT (("GCC: ", pkg_version, version_string, NULL));
708 targetm.asm_out.output_ident (ident_str);
711 /* Auto profile finalization. */
712 if (flag_auto_profile)
713 end_auto_profile ();
715 /* Invoke registered plugin callbacks. */
716 invoke_plugin_callbacks (PLUGIN_FINISH_UNIT, NULL);
718 /* This must be at the end. Some target ports emit end of file directives
719 into the assembly file here, and hence we can not output anything to the
720 assembly file after this point. */
721 targetm.asm_out.file_end ();
723 timevar_stop (TV_PHASE_LATE_ASM);
726 /* Print version information to FILE.
727 Each line begins with INDENT (for the case where FILE is the
728 assembler output file).
730 If SHOW_GLOBAL_STATE is true (for cc1 etc), we are within the compiler
731 proper and can print pertinent state (e.g. params and plugins).
733 If SHOW_GLOBAL_STATE is false (for use by libgccjit), we are outside the
734 compiler, and we don't hold the mutex on the compiler's global state:
735 we can't print params and plugins, since they might not be initialized,
736 or might be being manipulated by a compile running in another
737 thread. */
739 void
740 print_version (FILE *file, const char *indent, bool show_global_state)
742 static const char fmt1[] =
743 #ifdef __GNUC__
744 N_("%s%s%s %sversion %s (%s)\n%s\tcompiled by GNU C version %s, ")
745 #else
746 N_("%s%s%s %sversion %s (%s) compiled by CC, ")
747 #endif
749 static const char fmt2[] =
750 N_("GMP version %s, MPFR version %s, MPC version %s\n");
751 static const char fmt3[] =
752 N_("%s%swarning: %s header version %s differs from library version %s.\n");
753 static const char fmt4[] =
754 N_("%s%sGGC heuristics: --param ggc-min-expand=%d --param ggc-min-heapsize=%d\n");
755 #ifndef __VERSION__
756 #define __VERSION__ "[?]"
757 #endif
758 fprintf (file,
759 file == stderr ? _(fmt1) : fmt1,
760 indent, *indent != 0 ? " " : "",
761 lang_hooks.name, pkgversion_string, version_string, TARGET_NAME,
762 indent, __VERSION__);
764 /* We need to stringify the GMP macro values. Ugh, gmp_version has
765 two string formats, "i.j.k" and "i.j" when k is zero. As of
766 gmp-4.3.0, GMP always uses the 3 number format. */
767 #define GCC_GMP_STRINGIFY_VERSION3(X) #X
768 #define GCC_GMP_STRINGIFY_VERSION2(X) GCC_GMP_STRINGIFY_VERSION3 (X)
769 #define GCC_GMP_VERSION_NUM(X,Y,Z) (((X) << 16L) | ((Y) << 8) | (Z))
770 #define GCC_GMP_VERSION \
771 GCC_GMP_VERSION_NUM(__GNU_MP_VERSION, __GNU_MP_VERSION_MINOR, __GNU_MP_VERSION_PATCHLEVEL)
772 #if GCC_GMP_VERSION < GCC_GMP_VERSION_NUM(4,3,0) && __GNU_MP_VERSION_PATCHLEVEL == 0
773 #define GCC_GMP_STRINGIFY_VERSION \
774 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION) "." \
775 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_MINOR)
776 #else
777 #define GCC_GMP_STRINGIFY_VERSION \
778 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION) "." \
779 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_MINOR) "." \
780 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_PATCHLEVEL)
781 #endif
782 fprintf (file,
783 file == stderr ? _(fmt2) : fmt2,
784 GCC_GMP_STRINGIFY_VERSION, MPFR_VERSION_STRING, MPC_VERSION_STRING);
785 if (strcmp (GCC_GMP_STRINGIFY_VERSION, gmp_version))
786 fprintf (file,
787 file == stderr ? _(fmt3) : fmt3,
788 indent, *indent != 0 ? " " : "",
789 "GMP", GCC_GMP_STRINGIFY_VERSION, gmp_version);
790 if (strcmp (MPFR_VERSION_STRING, mpfr_get_version ()))
791 fprintf (file,
792 file == stderr ? _(fmt3) : fmt3,
793 indent, *indent != 0 ? " " : "",
794 "MPFR", MPFR_VERSION_STRING, mpfr_get_version ());
795 if (strcmp (MPC_VERSION_STRING, mpc_get_version ()))
796 fprintf (file,
797 file == stderr ? _(fmt3) : fmt3,
798 indent, *indent != 0 ? " " : "",
799 "MPC", MPC_VERSION_STRING, mpc_get_version ());
801 if (show_global_state)
803 fprintf (file,
804 file == stderr ? _(fmt4) : fmt4,
805 indent, *indent != 0 ? " " : "",
806 PARAM_VALUE (GGC_MIN_EXPAND), PARAM_VALUE (GGC_MIN_HEAPSIZE));
808 print_plugins_versions (file, indent);
812 static int
813 print_to_asm_out_file (print_switch_type type, const char * text)
815 bool prepend_sep = true;
817 switch (type)
819 case SWITCH_TYPE_LINE_END:
820 putc ('\n', asm_out_file);
821 return 1;
823 case SWITCH_TYPE_LINE_START:
824 fputs (ASM_COMMENT_START, asm_out_file);
825 return strlen (ASM_COMMENT_START);
827 case SWITCH_TYPE_DESCRIPTIVE:
828 if (ASM_COMMENT_START[0] == 0)
829 prepend_sep = false;
830 /* Drop through. */
831 case SWITCH_TYPE_PASSED:
832 case SWITCH_TYPE_ENABLED:
833 if (prepend_sep)
834 fputc (' ', asm_out_file);
835 fputs (text, asm_out_file);
836 /* No need to return the length here as
837 print_single_switch has already done it. */
838 return 0;
840 default:
841 return -1;
845 static int
846 print_to_stderr (print_switch_type type, const char * text)
848 switch (type)
850 case SWITCH_TYPE_LINE_END:
851 putc ('\n', stderr);
852 return 1;
854 case SWITCH_TYPE_LINE_START:
855 return 0;
857 case SWITCH_TYPE_PASSED:
858 case SWITCH_TYPE_ENABLED:
859 fputc (' ', stderr);
860 /* Drop through. */
862 case SWITCH_TYPE_DESCRIPTIVE:
863 fputs (text, stderr);
864 /* No need to return the length here as
865 print_single_switch has already done it. */
866 return 0;
868 default:
869 return -1;
873 /* Print an option value and return the adjusted position in the line.
874 ??? print_fn doesn't handle errors, eg disk full; presumably other
875 code will catch a disk full though. */
877 static int
878 print_single_switch (print_switch_fn_type print_fn,
879 int pos,
880 print_switch_type type,
881 const char * text)
883 /* The ultrix fprintf returns 0 on success, so compute the result
884 we want here since we need it for the following test. The +1
885 is for the separator character that will probably be emitted. */
886 int len = strlen (text) + 1;
888 if (pos != 0
889 && pos + len > MAX_LINE)
891 print_fn (SWITCH_TYPE_LINE_END, NULL);
892 pos = 0;
895 if (pos == 0)
896 pos += print_fn (SWITCH_TYPE_LINE_START, NULL);
898 print_fn (type, text);
899 return pos + len;
902 /* Print active target switches using PRINT_FN.
903 POS is the current cursor position and MAX is the size of a "line".
904 Each line begins with INDENT and ends with TERM.
905 Each switch is separated from the next by SEP. */
907 static void
908 print_switch_values (print_switch_fn_type print_fn)
910 int pos = 0;
911 size_t j;
913 /* Fill in the -frandom-seed option, if the user didn't pass it, so
914 that it can be printed below. This helps reproducibility. */
915 if (!flag_random_seed)
916 init_random_seed ();
918 /* Print the options as passed. */
919 pos = print_single_switch (print_fn, pos,
920 SWITCH_TYPE_DESCRIPTIVE, _("options passed: "));
922 for (j = 1; j < save_decoded_options_count; j++)
924 switch (save_decoded_options[j].opt_index)
926 case OPT_o:
927 case OPT_d:
928 case OPT_dumpbase:
929 case OPT_dumpdir:
930 case OPT_auxbase:
931 case OPT_quiet:
932 case OPT_version:
933 /* Ignore these. */
934 continue;
937 pos = print_single_switch (print_fn, pos, SWITCH_TYPE_PASSED,
938 save_decoded_options[j].orig_option_with_args_text);
941 if (pos > 0)
942 print_fn (SWITCH_TYPE_LINE_END, NULL);
944 /* Print the -f and -m options that have been enabled.
945 We don't handle language specific options but printing argv
946 should suffice. */
947 pos = print_single_switch (print_fn, 0,
948 SWITCH_TYPE_DESCRIPTIVE, _("options enabled: "));
950 for (j = 0; j < cl_options_count; j++)
951 if (cl_options[j].cl_report
952 && option_enabled (j, &global_options) > 0)
953 pos = print_single_switch (print_fn, pos,
954 SWITCH_TYPE_ENABLED, cl_options[j].opt_text);
956 print_fn (SWITCH_TYPE_LINE_END, NULL);
959 /* Open assembly code output file. Do this even if -fsyntax-only is
960 on, because then the driver will have provided the name of a
961 temporary file or bit bucket for us. NAME is the file specified on
962 the command line, possibly NULL. */
963 static void
964 init_asm_output (const char *name)
966 if (name == NULL && asm_file_name == 0)
967 asm_out_file = stdout;
968 else
970 if (asm_file_name == 0)
972 int len = strlen (dump_base_name);
973 char *dumpname = XNEWVEC (char, len + 6);
975 memcpy (dumpname, dump_base_name, len + 1);
976 strip_off_ending (dumpname, len);
977 strcat (dumpname, ".s");
978 asm_file_name = dumpname;
980 if (!strcmp (asm_file_name, "-"))
981 asm_out_file = stdout;
982 else if (!canonical_filename_eq (asm_file_name, name)
983 || !strcmp (asm_file_name, HOST_BIT_BUCKET))
984 asm_out_file = fopen (asm_file_name, "w");
985 else
986 /* Use UNKOWN_LOCATION to prevent gcc from printing the first
987 line in the current file. */
988 fatal_error (UNKNOWN_LOCATION,
989 "input file %qs is the same as output file",
990 asm_file_name);
991 if (asm_out_file == 0)
992 fatal_error (UNKNOWN_LOCATION,
993 "can%'t open %qs for writing: %m", asm_file_name);
996 if (!flag_syntax_only)
998 targetm.asm_out.file_start ();
1000 if (flag_record_gcc_switches)
1002 if (targetm.asm_out.record_gcc_switches)
1004 /* Let the target know that we are about to start recording. */
1005 targetm.asm_out.record_gcc_switches (SWITCH_TYPE_DESCRIPTIVE,
1006 NULL);
1007 /* Now record the switches. */
1008 print_switch_values (targetm.asm_out.record_gcc_switches);
1009 /* Let the target know that the recording is over. */
1010 targetm.asm_out.record_gcc_switches (SWITCH_TYPE_DESCRIPTIVE,
1011 NULL);
1013 else
1014 inform (input_location, "-frecord-gcc-switches is not supported by the current target");
1017 if (flag_verbose_asm)
1019 /* Print the list of switches in effect
1020 into the assembler file as comments. */
1021 print_version (asm_out_file, ASM_COMMENT_START, true);
1022 print_switch_values (print_to_asm_out_file);
1023 putc ('\n', asm_out_file);
1028 /* A helper function; used as the reallocator function for cpp's line
1029 table. */
1030 static void *
1031 realloc_for_line_map (void *ptr, size_t len)
1033 return ggc_realloc (ptr, len);
1036 /* A helper function: used as the allocator function for
1037 identifier_to_locale. */
1038 static void *
1039 alloc_for_identifier_to_locale (size_t len)
1041 return ggc_alloc_atomic (len);
1044 /* Output stack usage information. */
1045 void
1046 output_stack_usage (void)
1048 static bool warning_issued = false;
1049 enum stack_usage_kind_type { STATIC = 0, DYNAMIC, DYNAMIC_BOUNDED };
1050 const char *stack_usage_kind_str[] = {
1051 "static",
1052 "dynamic",
1053 "dynamic,bounded"
1055 HOST_WIDE_INT stack_usage = current_function_static_stack_size;
1056 enum stack_usage_kind_type stack_usage_kind;
1058 if (stack_usage < 0)
1060 if (!warning_issued)
1062 warning (0, "stack usage computation not supported for this target");
1063 warning_issued = true;
1065 return;
1068 stack_usage_kind = STATIC;
1070 /* Add the maximum amount of space pushed onto the stack. */
1071 if (current_function_pushed_stack_size > 0)
1073 stack_usage += current_function_pushed_stack_size;
1074 stack_usage_kind = DYNAMIC_BOUNDED;
1077 /* Now on to the tricky part: dynamic stack allocation. */
1078 if (current_function_allocates_dynamic_stack_space)
1080 if (current_function_has_unbounded_dynamic_stack_size)
1081 stack_usage_kind = DYNAMIC;
1082 else
1083 stack_usage_kind = DYNAMIC_BOUNDED;
1085 /* Add the size even in the unbounded case, this can't hurt. */
1086 stack_usage += current_function_dynamic_stack_size;
1089 if (flag_stack_usage)
1091 expanded_location loc
1092 = expand_location (DECL_SOURCE_LOCATION (current_function_decl));
1093 /* We don't want to print the full qualified name because it can be long,
1094 so we strip the scope prefix, but we may need to deal with the suffix
1095 created by the compiler. */
1096 const char *suffix
1097 = strchr (IDENTIFIER_POINTER (DECL_NAME (current_function_decl)), '.');
1098 const char *name
1099 = lang_hooks.decl_printable_name (current_function_decl, 2);
1100 if (suffix)
1102 const char *dot = strchr (name, '.');
1103 while (dot && strcasecmp (dot, suffix) != 0)
1105 name = dot + 1;
1106 dot = strchr (name, '.');
1109 else
1111 const char *dot = strrchr (name, '.');
1112 if (dot)
1113 name = dot + 1;
1116 fprintf (stack_usage_file,
1117 "%s:%d:%d:%s\t"HOST_WIDE_INT_PRINT_DEC"\t%s\n",
1118 lbasename (loc.file),
1119 loc.line,
1120 loc.column,
1121 name,
1122 stack_usage,
1123 stack_usage_kind_str[stack_usage_kind]);
1126 if (warn_stack_usage >= 0)
1128 const location_t loc = DECL_SOURCE_LOCATION (current_function_decl);
1130 if (stack_usage_kind == DYNAMIC)
1131 warning_at (loc, OPT_Wstack_usage_, "stack usage might be unbounded");
1132 else if (stack_usage > warn_stack_usage)
1134 if (stack_usage_kind == DYNAMIC_BOUNDED)
1135 warning_at (loc,
1136 OPT_Wstack_usage_, "stack usage might be %wd bytes",
1137 stack_usage);
1138 else
1139 warning_at (loc, OPT_Wstack_usage_, "stack usage is %wd bytes",
1140 stack_usage);
1145 /* Open an auxiliary output file. */
1146 static FILE *
1147 open_auxiliary_file (const char *ext)
1149 char *filename;
1150 FILE *file;
1152 filename = concat (aux_base_name, ".", ext, NULL);
1153 file = fopen (filename, "w");
1154 if (!file)
1155 fatal_error (input_location, "can%'t open %s for writing: %m", filename);
1156 free (filename);
1157 return file;
1160 /* Initialization of the front end environment, before command line
1161 options are parsed. Signal handlers, internationalization etc.
1162 ARGV0 is main's argv[0]. */
1163 static void
1164 general_init (const char *argv0, bool init_signals)
1166 const char *p;
1168 p = argv0 + strlen (argv0);
1169 while (p != argv0 && !IS_DIR_SEPARATOR (p[-1]))
1170 --p;
1171 progname = p;
1173 xmalloc_set_program_name (progname);
1175 hex_init ();
1177 /* Unlock the stdio streams. */
1178 unlock_std_streams ();
1180 gcc_init_libintl ();
1182 identifier_to_locale_alloc = alloc_for_identifier_to_locale;
1183 identifier_to_locale_free = ggc_free;
1185 /* Initialize the diagnostics reporting machinery, so option parsing
1186 can give warnings and errors. */
1187 diagnostic_initialize (global_dc, N_OPTS);
1188 /* Set a default printer. Language specific initializations will
1189 override it later. */
1190 tree_diagnostics_defaults (global_dc);
1192 global_dc->show_caret
1193 = global_options_init.x_flag_diagnostics_show_caret;
1194 global_dc->show_option_requested
1195 = global_options_init.x_flag_diagnostics_show_option;
1196 global_dc->show_column
1197 = global_options_init.x_flag_show_column;
1198 global_dc->internal_error = plugins_internal_error_function;
1199 global_dc->option_enabled = option_enabled;
1200 global_dc->option_state = &global_options;
1201 global_dc->option_name = option_name;
1203 if (init_signals)
1205 /* Trap fatal signals, e.g. SIGSEGV, and convert them to ICE messages. */
1206 #ifdef SIGSEGV
1207 signal (SIGSEGV, crash_signal);
1208 #endif
1209 #ifdef SIGILL
1210 signal (SIGILL, crash_signal);
1211 #endif
1212 #ifdef SIGBUS
1213 signal (SIGBUS, crash_signal);
1214 #endif
1215 #ifdef SIGABRT
1216 signal (SIGABRT, crash_signal);
1217 #endif
1218 #if defined SIGIOT && (!defined SIGABRT || SIGABRT != SIGIOT)
1219 signal (SIGIOT, crash_signal);
1220 #endif
1221 #ifdef SIGFPE
1222 signal (SIGFPE, crash_signal);
1223 #endif
1225 /* Other host-specific signal setup. */
1226 (*host_hooks.extra_signals)();
1229 /* Initialize the garbage-collector, string pools and tree type hash
1230 table. */
1231 init_ggc ();
1232 init_stringpool ();
1233 input_location = UNKNOWN_LOCATION;
1234 line_table = ggc_alloc<line_maps> ();
1235 linemap_init (line_table, BUILTINS_LOCATION);
1236 line_table->reallocator = realloc_for_line_map;
1237 line_table->round_alloc_size = ggc_round_alloc_size;
1238 init_ttree ();
1240 /* Initialize register usage now so switches may override. */
1241 init_reg_sets ();
1243 /* Register the language-independent parameters. */
1244 global_init_params ();
1246 /* This must be done after global_init_params but before argument
1247 processing. */
1248 init_ggc_heuristics ();
1250 /* Create the singleton holder for global state.
1251 Doing so also creates the pass manager and with it the passes. */
1252 g = new gcc::context ();
1253 symtab = new (ggc_cleared_alloc <symbol_table> ()) symbol_table ();
1255 statistics_early_init ();
1256 finish_params ();
1259 /* Return true if the current target supports -fsection-anchors. */
1261 static bool
1262 target_supports_section_anchors_p (void)
1264 if (targetm.min_anchor_offset == 0 && targetm.max_anchor_offset == 0)
1265 return false;
1267 if (targetm.asm_out.output_anchor == NULL)
1268 return false;
1270 return true;
1273 /* Default the align_* variables to 1 if they're still unset, and
1274 set up the align_*_log variables. */
1275 static void
1276 init_alignments (void)
1278 if (align_loops <= 0)
1279 align_loops = 1;
1280 if (align_loops_max_skip > align_loops)
1281 align_loops_max_skip = align_loops - 1;
1282 align_loops_log = floor_log2 (align_loops * 2 - 1);
1283 if (align_jumps <= 0)
1284 align_jumps = 1;
1285 if (align_jumps_max_skip > align_jumps)
1286 align_jumps_max_skip = align_jumps - 1;
1287 align_jumps_log = floor_log2 (align_jumps * 2 - 1);
1288 if (align_labels <= 0)
1289 align_labels = 1;
1290 align_labels_log = floor_log2 (align_labels * 2 - 1);
1291 if (align_labels_max_skip > align_labels)
1292 align_labels_max_skip = align_labels - 1;
1293 if (align_functions <= 0)
1294 align_functions = 1;
1295 align_functions_log = floor_log2 (align_functions * 2 - 1);
1298 /* Process the options that have been parsed. */
1299 static void
1300 process_options (void)
1302 /* Just in case lang_hooks.post_options ends up calling a debug_hook.
1303 This can happen with incorrect pre-processed input. */
1304 debug_hooks = &do_nothing_debug_hooks;
1306 maximum_field_alignment = initial_max_fld_align * BITS_PER_UNIT;
1308 /* Allow the front end to perform consistency checks and do further
1309 initialization based on the command line options. This hook also
1310 sets the original filename if appropriate (e.g. foo.i -> foo.c)
1311 so we can correctly initialize debug output. */
1312 no_backend = lang_hooks.post_options (&main_input_filename);
1314 /* Set default values for parameters relation to the Scalar Reduction
1315 of Aggregates passes (SRA and IP-SRA). We must do this here, rather
1316 than in opts.c:default_options_optimization as historically these
1317 tuning heuristics have been based on MOVE_RATIO, which on some
1318 targets requires other symbols from the backend. */
1319 maybe_set_param_value
1320 (PARAM_SRA_MAX_SCALARIZATION_SIZE_SPEED,
1321 get_move_ratio (true) * UNITS_PER_WORD,
1322 global_options.x_param_values, global_options_set.x_param_values);
1323 maybe_set_param_value
1324 (PARAM_SRA_MAX_SCALARIZATION_SIZE_SIZE,
1325 get_move_ratio (false) * UNITS_PER_WORD,
1326 global_options.x_param_values, global_options_set.x_param_values);
1328 /* Some machines may reject certain combinations of options. */
1329 targetm.target_option.override ();
1331 /* Avoid any informative notes in the second run of -fcompare-debug. */
1332 if (flag_compare_debug)
1333 diagnostic_inhibit_notes (global_dc);
1335 if (flag_section_anchors && !target_supports_section_anchors_p ())
1337 warning (OPT_fsection_anchors,
1338 "this target does not support %qs", "-fsection-anchors");
1339 flag_section_anchors = 0;
1342 if (flag_short_enums == 2)
1343 flag_short_enums = targetm.default_short_enums ();
1345 /* Set aux_base_name if not already set. */
1346 if (aux_base_name)
1348 else if (main_input_filename)
1350 char *name = xstrdup (lbasename (main_input_filename));
1352 strip_off_ending (name, strlen (name));
1353 aux_base_name = name;
1355 else
1356 aux_base_name = "gccaux";
1358 #ifndef HAVE_isl
1359 if (flag_graphite
1360 || flag_graphite_identity
1361 || flag_loop_block
1362 || flag_loop_interchange
1363 || flag_loop_strip_mine
1364 || flag_loop_parallelize_all
1365 || flag_loop_unroll_jam)
1366 sorry ("Graphite loop optimizations cannot be used (ISL is not available)"
1367 "(-fgraphite, -fgraphite-identity, -floop-block, "
1368 "-floop-interchange, -floop-strip-mine, -floop-parallelize-all, "
1369 "-floop-unroll-and-jam, and -ftree-loop-linear)");
1370 #endif
1372 if (flag_check_pointer_bounds)
1374 if (targetm.chkp_bound_mode () == VOIDmode)
1376 error ("-fcheck-pointer-bounds is not supported for this target");
1377 flag_check_pointer_bounds = 0;
1380 if (flag_sanitize & SANITIZE_ADDRESS)
1382 error ("-fcheck-pointer-bounds is not supported with "
1383 "Address Sanitizer");
1384 flag_check_pointer_bounds = 0;
1388 /* One region RA really helps to decrease the code size. */
1389 if (flag_ira_region == IRA_REGION_AUTODETECT)
1390 flag_ira_region
1391 = optimize_size || !optimize ? IRA_REGION_ONE : IRA_REGION_MIXED;
1393 if (!abi_version_at_least (2))
1395 /* -fabi-version=1 support was removed after GCC 4.9. */
1396 error ("%<-fabi-version=1%> is no longer supported");
1397 flag_abi_version = 2;
1400 /* Unrolling all loops implies that standard loop unrolling must also
1401 be done. */
1402 if (flag_unroll_all_loops)
1403 flag_unroll_loops = 1;
1405 /* web and rename-registers help when run after loop unrolling. */
1406 if (flag_web == AUTODETECT_VALUE)
1407 flag_web = flag_unroll_loops || flag_peel_loops;
1409 if (flag_rename_registers == AUTODETECT_VALUE)
1410 flag_rename_registers = flag_unroll_loops || flag_peel_loops;
1412 if (flag_non_call_exceptions)
1413 flag_asynchronous_unwind_tables = 1;
1414 if (flag_asynchronous_unwind_tables)
1415 flag_unwind_tables = 1;
1417 if (flag_value_profile_transformations)
1418 flag_profile_values = 1;
1420 /* Warn about options that are not supported on this machine. */
1421 #ifndef INSN_SCHEDULING
1422 if (flag_schedule_insns || flag_schedule_insns_after_reload)
1423 warning (0, "instruction scheduling not supported on this target machine");
1424 #endif
1425 #ifndef DELAY_SLOTS
1426 if (flag_delayed_branch)
1427 warning (0, "this target machine does not have delayed branches");
1428 #endif
1430 user_label_prefix = USER_LABEL_PREFIX;
1431 if (flag_leading_underscore != -1)
1433 /* If the default prefix is more complicated than "" or "_",
1434 issue a warning and ignore this option. */
1435 if (user_label_prefix[0] == 0 ||
1436 (user_label_prefix[0] == '_' && user_label_prefix[1] == 0))
1438 user_label_prefix = flag_leading_underscore ? "_" : "";
1440 else
1441 warning (0, "-f%sleading-underscore not supported on this target machine",
1442 flag_leading_underscore ? "" : "no-");
1445 /* If we are in verbose mode, write out the version and maybe all the
1446 option flags in use. */
1447 if (version_flag)
1449 print_version (stderr, "", true);
1450 if (! quiet_flag)
1451 print_switch_values (print_to_stderr);
1454 if (flag_syntax_only)
1456 write_symbols = NO_DEBUG;
1457 profile_flag = 0;
1460 if (flag_gtoggle)
1462 if (debug_info_level == DINFO_LEVEL_NONE)
1464 debug_info_level = DINFO_LEVEL_NORMAL;
1466 if (write_symbols == NO_DEBUG)
1467 write_symbols = PREFERRED_DEBUGGING_TYPE;
1469 else
1470 debug_info_level = DINFO_LEVEL_NONE;
1473 if (flag_dump_final_insns && !flag_syntax_only && !no_backend)
1475 FILE *final_output = fopen (flag_dump_final_insns, "w");
1476 if (!final_output)
1478 error ("could not open final insn dump file %qs: %m",
1479 flag_dump_final_insns);
1480 flag_dump_final_insns = NULL;
1482 else if (fclose (final_output))
1484 error ("could not close zeroed insn dump file %qs: %m",
1485 flag_dump_final_insns);
1486 flag_dump_final_insns = NULL;
1490 /* A lot of code assumes write_symbols == NO_DEBUG if the debugging
1491 level is 0. */
1492 if (debug_info_level == DINFO_LEVEL_NONE)
1493 write_symbols = NO_DEBUG;
1495 if (write_symbols == NO_DEBUG)
1497 #if defined(DBX_DEBUGGING_INFO)
1498 else if (write_symbols == DBX_DEBUG)
1499 debug_hooks = &dbx_debug_hooks;
1500 #endif
1501 #if defined(XCOFF_DEBUGGING_INFO)
1502 else if (write_symbols == XCOFF_DEBUG)
1503 debug_hooks = &xcoff_debug_hooks;
1504 #endif
1505 #ifdef SDB_DEBUGGING_INFO
1506 else if (write_symbols == SDB_DEBUG)
1507 debug_hooks = &sdb_debug_hooks;
1508 #endif
1509 #ifdef DWARF2_DEBUGGING_INFO
1510 else if (write_symbols == DWARF2_DEBUG)
1511 debug_hooks = &dwarf2_debug_hooks;
1512 #endif
1513 #ifdef VMS_DEBUGGING_INFO
1514 else if (write_symbols == VMS_DEBUG || write_symbols == VMS_AND_DWARF2_DEBUG)
1515 debug_hooks = &vmsdbg_debug_hooks;
1516 #endif
1517 else
1518 error ("target system does not support the %qs debug format",
1519 debug_type_names[write_symbols]);
1521 /* We know which debug output will be used so we can set flag_var_tracking
1522 and flag_var_tracking_uninit if the user has not specified them. */
1523 if (debug_info_level < DINFO_LEVEL_NORMAL
1524 || debug_hooks->var_location == do_nothing_debug_hooks.var_location)
1526 if (flag_var_tracking == 1
1527 || flag_var_tracking_uninit == 1)
1529 if (debug_info_level < DINFO_LEVEL_NORMAL)
1530 warning (0, "variable tracking requested, but useless unless "
1531 "producing debug info");
1532 else
1533 warning (0, "variable tracking requested, but not supported "
1534 "by this debug format");
1536 flag_var_tracking = 0;
1537 flag_var_tracking_uninit = 0;
1540 /* The debug hooks are used to implement -fdump-go-spec because it
1541 gives a simple and stable API for all the information we need to
1542 dump. */
1543 if (flag_dump_go_spec != NULL)
1544 debug_hooks = dump_go_spec_init (flag_dump_go_spec, debug_hooks);
1546 /* If the user specifically requested variable tracking with tagging
1547 uninitialized variables, we need to turn on variable tracking.
1548 (We already determined above that variable tracking is feasible.) */
1549 if (flag_var_tracking_uninit == 1)
1550 flag_var_tracking = 1;
1552 if (flag_var_tracking == AUTODETECT_VALUE)
1553 flag_var_tracking = optimize >= 1;
1555 if (flag_var_tracking_uninit == AUTODETECT_VALUE)
1556 flag_var_tracking_uninit = flag_var_tracking;
1558 if (flag_var_tracking_assignments == AUTODETECT_VALUE)
1559 flag_var_tracking_assignments = flag_var_tracking
1560 && !(flag_selective_scheduling || flag_selective_scheduling2);
1562 if (flag_var_tracking_assignments_toggle)
1563 flag_var_tracking_assignments = !flag_var_tracking_assignments;
1565 if (flag_var_tracking_assignments && !flag_var_tracking)
1566 flag_var_tracking = flag_var_tracking_assignments = -1;
1568 if (flag_var_tracking_assignments
1569 && (flag_selective_scheduling || flag_selective_scheduling2))
1570 warning (0, "var-tracking-assignments changes selective scheduling");
1572 if (flag_tree_cselim == AUTODETECT_VALUE)
1573 #ifdef HAVE_conditional_move
1574 flag_tree_cselim = 1;
1575 #else
1576 flag_tree_cselim = 0;
1577 #endif
1579 /* If auxiliary info generation is desired, open the output file.
1580 This goes in the same directory as the source file--unlike
1581 all the other output files. */
1582 if (flag_gen_aux_info)
1584 aux_info_file = fopen (aux_info_file_name, "w");
1585 if (aux_info_file == 0)
1586 fatal_error (input_location, "can%'t open %s: %m", aux_info_file_name);
1589 if (!targetm_common.have_named_sections)
1591 if (flag_function_sections)
1593 warning (0, "-ffunction-sections not supported for this target");
1594 flag_function_sections = 0;
1596 if (flag_data_sections)
1598 warning (0, "-fdata-sections not supported for this target");
1599 flag_data_sections = 0;
1603 #ifndef HAVE_prefetch
1604 if (flag_prefetch_loop_arrays > 0)
1606 warning (0, "-fprefetch-loop-arrays not supported for this target");
1607 flag_prefetch_loop_arrays = 0;
1609 #else
1610 if (flag_prefetch_loop_arrays > 0 && !HAVE_prefetch)
1612 warning (0, "-fprefetch-loop-arrays not supported for this target (try -march switches)");
1613 flag_prefetch_loop_arrays = 0;
1615 #endif
1617 /* This combination of options isn't handled for i386 targets and doesn't
1618 make much sense anyway, so don't allow it. */
1619 if (flag_prefetch_loop_arrays > 0 && optimize_size)
1621 warning (0, "-fprefetch-loop-arrays is not supported with -Os");
1622 flag_prefetch_loop_arrays = 0;
1625 /* The presence of IEEE signaling NaNs, implies all math can trap. */
1626 if (flag_signaling_nans)
1627 flag_trapping_math = 1;
1629 /* We cannot reassociate if we want traps or signed zeros. */
1630 if (flag_associative_math && (flag_trapping_math || flag_signed_zeros))
1632 warning (0, "-fassociative-math disabled; other options take precedence");
1633 flag_associative_math = 0;
1636 /* With -fcx-limited-range, we do cheap and quick complex arithmetic. */
1637 if (flag_cx_limited_range)
1638 flag_complex_method = 0;
1640 /* With -fcx-fortran-rules, we do something in-between cheap and C99. */
1641 if (flag_cx_fortran_rules)
1642 flag_complex_method = 1;
1644 /* Targets must be able to place spill slots at lower addresses. If the
1645 target already uses a soft frame pointer, the transition is trivial. */
1646 if (!FRAME_GROWS_DOWNWARD && flag_stack_protect)
1648 warning (0, "-fstack-protector not supported for this target");
1649 flag_stack_protect = 0;
1651 if (!flag_stack_protect)
1652 warn_stack_protect = 0;
1654 /* Address Sanitizer needs porting to each target architecture. */
1656 if ((flag_sanitize & SANITIZE_ADDRESS)
1657 && !FRAME_GROWS_DOWNWARD)
1659 warning (0,
1660 "-fsanitize=address and -fsanitize=kernel-address "
1661 "are not supported for this target");
1662 flag_sanitize &= ~SANITIZE_ADDRESS;
1665 if ((flag_sanitize & SANITIZE_USER_ADDRESS)
1666 && targetm.asan_shadow_offset == NULL)
1668 warning (0, "-fsanitize=address not supported for this target");
1669 flag_sanitize &= ~SANITIZE_ADDRESS;
1672 /* Do not use IPA optimizations for register allocation if profiler is active
1673 or port does not emit prologue and epilogue as RTL. */
1674 if (profile_flag || !HAVE_prologue || !HAVE_epilogue)
1675 flag_ipa_ra = 0;
1677 /* Enable -Werror=coverage-mismatch when -Werror and -Wno-error
1678 have not been set. */
1679 if (!global_options_set.x_warnings_are_errors
1680 && warn_coverage_mismatch
1681 && (global_dc->classify_diagnostic[OPT_Wcoverage_mismatch] ==
1682 DK_UNSPECIFIED))
1683 diagnostic_classify_diagnostic (global_dc, OPT_Wcoverage_mismatch,
1684 DK_ERROR, UNKNOWN_LOCATION);
1686 /* Save the current optimization options. */
1687 optimization_default_node = build_optimization_node (&global_options);
1688 optimization_current_node = optimization_default_node;
1690 /* Please don't change global_options after this point, those changes won't
1691 be reflected in optimization_{default,current}_node. */
1694 /* This function can be called multiple times to reinitialize the compiler
1695 back end when register classes or instruction sets have changed,
1696 before each function. */
1697 static void
1698 backend_init_target (void)
1700 /* Initialize alignment variables. */
1701 init_alignments ();
1703 /* This depends on stack_pointer_rtx. */
1704 init_fake_stack_mems ();
1706 /* Sets static_base_value[HARD_FRAME_POINTER_REGNUM], which is
1707 mode-dependent. */
1708 init_alias_target ();
1710 /* Depends on HARD_FRAME_POINTER_REGNUM. */
1711 init_reload ();
1713 /* Depends on the enabled attribute. */
1714 recog_init ();
1716 /* The following initialization functions need to generate rtl, so
1717 provide a dummy function context for them. */
1718 init_dummy_function_start ();
1720 /* rtx_cost is mode-dependent, so cached values need to be recomputed
1721 on a mode change. */
1722 init_expmed ();
1723 init_lower_subreg ();
1724 init_set_costs ();
1726 init_expr_target ();
1727 ira_init ();
1729 /* We may need to recompute regno_save_code[] and regno_restore_code[]
1730 after a mode change as well. */
1731 caller_save_initialized_p = false;
1733 expand_dummy_function_end ();
1736 /* Initialize the compiler back end. This function is called only once,
1737 when starting the compiler. */
1738 static void
1739 backend_init (void)
1741 init_emit_once ();
1743 init_rtlanal ();
1744 init_inline_once ();
1745 init_varasm_once ();
1746 save_register_info ();
1748 /* Middle end needs this initialization for default mem attributes
1749 used by early calls to make_decl_rtl. */
1750 init_emit_regs ();
1752 /* Middle end needs this initialization for mode tables used to assign
1753 modes to vector variables. */
1754 init_regs ();
1757 /* Initialize excess precision settings. */
1758 static void
1759 init_excess_precision (void)
1761 /* Adjust excess precision handling based on the target options. If
1762 the front end cannot handle it, flag_excess_precision_cmdline
1763 will already have been set accordingly in the post_options
1764 hook. */
1765 gcc_assert (flag_excess_precision_cmdline != EXCESS_PRECISION_DEFAULT);
1766 flag_excess_precision = flag_excess_precision_cmdline;
1767 if (flag_unsafe_math_optimizations)
1768 flag_excess_precision = EXCESS_PRECISION_FAST;
1769 if (flag_excess_precision == EXCESS_PRECISION_STANDARD)
1771 int flt_eval_method = TARGET_FLT_EVAL_METHOD;
1772 switch (flt_eval_method)
1774 case -1:
1775 case 0:
1776 /* Either the target acts unpredictably (-1) or has all the
1777 operations required not to have excess precision (0). */
1778 flag_excess_precision = EXCESS_PRECISION_FAST;
1779 break;
1780 case 1:
1781 case 2:
1782 /* In these cases, predictable excess precision makes
1783 sense. */
1784 break;
1785 default:
1786 /* Any other implementation-defined FLT_EVAL_METHOD values
1787 require the compiler to handle the associated excess
1788 precision rules in excess_precision_type. */
1789 gcc_unreachable ();
1794 /* Initialize things that are both lang-dependent and target-dependent.
1795 This function can be called more than once if target parameters change. */
1796 static void
1797 lang_dependent_init_target (void)
1799 /* This determines excess precision settings. */
1800 init_excess_precision ();
1802 /* This creates various _DECL nodes, so needs to be called after the
1803 front end is initialized. It also depends on the HAVE_xxx macros
1804 generated from the target machine description. */
1805 init_optabs ();
1807 gcc_assert (!this_target_rtl->target_specific_initialized);
1810 /* Perform initializations that are lang-dependent or target-dependent.
1811 but matters only for late optimizations and RTL generation. */
1813 static int rtl_initialized;
1815 void
1816 initialize_rtl (void)
1818 /* Initialization done just once per compilation, but delayed
1819 till code generation. */
1820 if (!rtl_initialized)
1821 ira_init_once ();
1822 rtl_initialized = true;
1824 /* Target specific RTL backend initialization. */
1825 if (!this_target_rtl->target_specific_initialized)
1827 backend_init_target ();
1828 this_target_rtl->target_specific_initialized = true;
1832 /* Language-dependent initialization. Returns nonzero on success. */
1833 static int
1834 lang_dependent_init (const char *name)
1836 location_t save_loc = input_location;
1837 if (dump_base_name == 0)
1838 dump_base_name = name && name[0] ? name : "gccdump";
1840 /* Other front-end initialization. */
1841 input_location = BUILTINS_LOCATION;
1842 if (lang_hooks.init () == 0)
1843 return 0;
1844 input_location = save_loc;
1846 if (!flag_wpa)
1848 init_asm_output (name);
1850 /* If stack usage information is desired, open the output file. */
1851 if (flag_stack_usage)
1852 stack_usage_file = open_auxiliary_file ("su");
1855 /* This creates various _DECL nodes, so needs to be called after the
1856 front end is initialized. */
1857 init_eh ();
1859 /* Do the target-specific parts of the initialization. */
1860 lang_dependent_init_target ();
1862 if (!flag_wpa)
1864 /* If dbx symbol table desired, initialize writing it and output the
1865 predefined types. */
1866 timevar_push (TV_SYMOUT);
1868 /* Now we have the correct original filename, we can initialize
1869 debug output. */
1870 (*debug_hooks->init) (name);
1872 timevar_pop (TV_SYMOUT);
1875 return 1;
1879 /* Reinitialize everything when target parameters, such as register usage,
1880 have changed. */
1881 void
1882 target_reinit (void)
1884 struct rtl_data saved_x_rtl;
1885 rtx *saved_regno_reg_rtx;
1886 tree saved_optimization_current_node;
1887 struct target_optabs *saved_this_fn_optabs;
1889 /* Temporarily switch to the default optimization node, so that
1890 *this_target_optabs is set to the default, not reflecting
1891 whatever a previous function used for the optimize
1892 attribute. */
1893 saved_optimization_current_node = optimization_current_node;
1894 saved_this_fn_optabs = this_fn_optabs;
1895 if (saved_optimization_current_node != optimization_default_node)
1897 optimization_current_node = optimization_default_node;
1898 cl_optimization_restore
1899 (&global_options,
1900 TREE_OPTIMIZATION (optimization_default_node));
1902 this_fn_optabs = this_target_optabs;
1904 /* Save *crtl and regno_reg_rtx around the reinitialization
1905 to allow target_reinit being called even after prepare_function_start. */
1906 saved_regno_reg_rtx = regno_reg_rtx;
1907 if (saved_regno_reg_rtx)
1909 saved_x_rtl = *crtl;
1910 memset (crtl, '\0', sizeof (*crtl));
1911 regno_reg_rtx = NULL;
1914 this_target_rtl->target_specific_initialized = false;
1916 /* This initializes hard_frame_pointer, and calls init_reg_modes_target()
1917 to initialize reg_raw_mode[]. */
1918 init_emit_regs ();
1920 /* This invokes target hooks to set fixed_reg[] etc, which is
1921 mode-dependent. */
1922 init_regs ();
1924 /* Reinitialize lang-dependent parts. */
1925 lang_dependent_init_target ();
1927 /* Restore the original optimization node. */
1928 if (saved_optimization_current_node != optimization_default_node)
1930 optimization_current_node = saved_optimization_current_node;
1931 cl_optimization_restore (&global_options,
1932 TREE_OPTIMIZATION (optimization_current_node));
1934 this_fn_optabs = saved_this_fn_optabs;
1936 /* Restore regno_reg_rtx at the end, as free_after_compilation from
1937 expand_dummy_function_end clears it. */
1938 if (saved_regno_reg_rtx)
1940 *crtl = saved_x_rtl;
1941 regno_reg_rtx = saved_regno_reg_rtx;
1942 saved_regno_reg_rtx = NULL;
1946 void
1947 dump_memory_report (bool final)
1949 dump_line_table_statistics ();
1950 ggc_print_statistics ();
1951 stringpool_statistics ();
1952 dump_tree_statistics ();
1953 dump_gimple_statistics ();
1954 dump_rtx_statistics ();
1955 dump_alloc_pool_statistics ();
1956 dump_bitmap_statistics ();
1957 dump_vec_loc_statistics ();
1958 dump_ggc_loc_statistics (final);
1959 dump_alias_stats (stderr);
1960 dump_pta_stats (stderr);
1963 /* Clean up: close opened files, etc. */
1965 static void
1966 finalize (bool no_backend)
1968 /* Close the dump files. */
1969 if (flag_gen_aux_info)
1971 fclose (aux_info_file);
1972 if (seen_error ())
1973 unlink (aux_info_file_name);
1976 /* Close non-debugging input and output files. Take special care to note
1977 whether fclose returns an error, since the pages might still be on the
1978 buffer chain while the file is open. */
1980 if (asm_out_file)
1982 if (ferror (asm_out_file) != 0)
1983 fatal_error (input_location, "error writing to %s: %m", asm_file_name);
1984 if (fclose (asm_out_file) != 0)
1985 fatal_error (input_location, "error closing %s: %m", asm_file_name);
1988 if (stack_usage_file)
1989 fclose (stack_usage_file);
1991 if (!no_backend)
1993 statistics_fini ();
1995 g->get_passes ()->finish_optimization_passes ();
1997 lra_finish_once ();
2000 if (mem_report)
2001 dump_memory_report (true);
2003 if (profile_report)
2004 dump_profile_report ();
2006 /* Language-specific end of compilation actions. */
2007 lang_hooks.finish ();
2010 static bool
2011 standard_type_bitsize (int bitsize)
2013 /* As a special exception, we always want __int128 enabled if possible. */
2014 if (bitsize == 128)
2015 return false;
2016 if (bitsize == CHAR_TYPE_SIZE
2017 || bitsize == SHORT_TYPE_SIZE
2018 || bitsize == INT_TYPE_SIZE
2019 || bitsize == LONG_TYPE_SIZE
2020 || bitsize == LONG_LONG_TYPE_SIZE)
2021 return true;
2022 return false;
2025 /* Initialize the compiler, and compile the input file. */
2026 static void
2027 do_compile ()
2029 process_options ();
2031 /* Don't do any more if an error has already occurred. */
2032 if (!seen_error ())
2034 int i;
2036 timevar_start (TV_PHASE_SETUP);
2038 /* This must be run always, because it is needed to compute the FP
2039 predefined macros, such as __LDBL_MAX__, for targets using non
2040 default FP formats. */
2041 init_adjust_machine_modes ();
2042 init_derived_machine_modes ();
2044 /* This must happen after the backend has a chance to process
2045 command line options, but before the parsers are
2046 initialized. */
2047 for (i = 0; i < NUM_INT_N_ENTS; i ++)
2048 if (targetm.scalar_mode_supported_p (int_n_data[i].m)
2049 && ! standard_type_bitsize (int_n_data[i].bitsize))
2050 int_n_enabled_p[i] = true;
2051 else
2052 int_n_enabled_p[i] = false;
2054 /* Set up the back-end if requested. */
2055 if (!no_backend)
2056 backend_init ();
2058 /* Language-dependent initialization. Returns true on success. */
2059 if (lang_dependent_init (main_input_filename))
2061 /* Initialize yet another pass. */
2063 ggc_protect_identifiers = true;
2065 symtab->initialize ();
2066 init_final (main_input_filename);
2067 coverage_init (aux_base_name);
2068 statistics_init ();
2069 invoke_plugin_callbacks (PLUGIN_START_UNIT, NULL);
2071 timevar_stop (TV_PHASE_SETUP);
2073 compile_file ();
2075 else
2077 timevar_stop (TV_PHASE_SETUP);
2080 timevar_start (TV_PHASE_FINALIZE);
2082 finalize (no_backend);
2084 timevar_stop (TV_PHASE_FINALIZE);
2088 toplev::toplev (bool use_TV_TOTAL, bool init_signals)
2089 : m_use_TV_TOTAL (use_TV_TOTAL),
2090 m_init_signals (init_signals)
2092 if (!m_use_TV_TOTAL)
2093 start_timevars ();
2096 toplev::~toplev ()
2098 timevar_stop (TV_TOTAL);
2099 timevar_print (stderr);
2102 void
2103 toplev::start_timevars ()
2105 if (time_report || !quiet_flag || flag_detailed_statistics)
2106 timevar_init ();
2108 timevar_start (TV_TOTAL);
2111 /* Entry point of cc1, cc1plus, jc1, f771, etc.
2112 Exit code is FATAL_EXIT_CODE if can't open files or if there were
2113 any errors, or SUCCESS_EXIT_CODE if compilation succeeded.
2115 It is not safe to call this function more than once. */
2118 toplev::main (int argc, char **argv)
2120 /* Parsing and gimplification sometimes need quite large stack.
2121 Increase stack size limits if possible. */
2122 stack_limit_increase (64 * 1024 * 1024);
2124 expandargv (&argc, &argv);
2126 /* Initialization of GCC's environment, and diagnostics. */
2127 general_init (argv[0], m_init_signals);
2129 /* One-off initialization of options that does not need to be
2130 repeated when options are added for particular functions. */
2131 init_options_once ();
2133 /* Initialize global options structures; this must be repeated for
2134 each structure used for parsing options. */
2135 init_options_struct (&global_options, &global_options_set);
2136 lang_hooks.init_options_struct (&global_options);
2138 /* Convert the options to an array. */
2139 decode_cmdline_options_to_array_default_mask (argc,
2140 CONST_CAST2 (const char **,
2141 char **, argv),
2142 &save_decoded_options,
2143 &save_decoded_options_count);
2145 /* Perform language-specific options initialization. */
2146 lang_hooks.init_options (save_decoded_options_count, save_decoded_options);
2148 /* Parse the options and do minimal processing; basically just
2149 enough to default flags appropriately. */
2150 decode_options (&global_options, &global_options_set,
2151 save_decoded_options, save_decoded_options_count,
2152 UNKNOWN_LOCATION, global_dc);
2154 handle_common_deferred_options ();
2156 init_local_tick ();
2158 initialize_plugins ();
2160 if (version_flag)
2161 print_version (stderr, "", true);
2163 if (help_flag)
2164 print_plugins_help (stderr, "");
2166 /* Exit early if we can (e.g. -help). */
2167 if (!exit_after_options)
2169 if (m_use_TV_TOTAL)
2170 start_timevars ();
2171 do_compile ();
2174 if (warningcount || errorcount || werrorcount)
2175 print_ignored_options ();
2177 /* Invoke registered plugin callbacks if any. Some plugins could
2178 emit some diagnostics here. */
2179 invoke_plugin_callbacks (PLUGIN_FINISH, NULL);
2181 diagnostic_finish (global_dc);
2183 finalize_plugins ();
2184 location_adhoc_data_fini (line_table);
2185 if (seen_error () || werrorcount)
2186 return (FATAL_EXIT_CODE);
2188 return (SUCCESS_EXIT_CODE);
2191 /* For those that want to, this function aims to clean up enough state that
2192 you can call toplev::main again. */
2193 void
2194 toplev::finalize (void)
2196 rtl_initialized = false;
2197 this_target_rtl->target_specific_initialized = false;
2199 /* Needs to be called before cgraph_c_finalize since it uses symtab. */
2200 ipa_reference_c_finalize ();
2202 cgraph_c_finalize ();
2203 cgraphunit_c_finalize ();
2204 dwarf2out_c_finalize ();
2205 gcse_c_finalize ();
2206 ipa_cp_c_finalize ();
2207 ira_costs_c_finalize ();
2208 params_c_finalize ();
2210 finalize_options_struct (&global_options);
2211 finalize_options_struct (&global_options_set);
2213 XDELETEVEC (save_decoded_options);
2215 /* Clean up the context (and pass_manager etc). */
2216 delete g;
2217 g = NULL;
2219 obstack_free (&opts_obstack, NULL);