some more boiler plate code on how calls will be evaluated
[official-gcc.git] / gcc / toplev.c
blob64af11200e9f2ac0fa7cb2ae03b78229714e3831
1 /* Top level of GCC compilers (cc1, cc1plus, etc.)
2 Copyright (C) 1987, 1988, 1989, 1992, 1993, 1994, 1995, 1996, 1997, 1998,
3 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010,
4 2011 Free Software Foundation, Inc.
6 This file is part of GCC.
8 GCC is free software; you can redistribute it and/or modify it under
9 the terms of the GNU General Public License as published by the Free
10 Software Foundation; either version 3, or (at your option) any later
11 version.
13 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14 WARRANTY; without even the implied warranty of MERCHANTABILITY or
15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
16 for more details.
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING3. If not see
20 <http://www.gnu.org/licenses/>. */
22 /* This is the top level of cc1/c++.
23 It parses command args, opens files, invokes the various passes
24 in the proper order, and counts the time used by each.
25 Error messages and low-level interface to malloc also handled here. */
27 #include "config.h"
28 #include "system.h"
29 #include "coretypes.h"
30 #include "tm.h"
31 #include "line-map.h"
32 #include "input.h"
33 #include "tree.h"
34 #include "realmpfr.h" /* For GMP/MPFR/MPC versions, in print_version. */
35 #include "version.h"
36 #include "rtl.h"
37 #include "tm_p.h"
38 #include "flags.h"
39 #include "insn-attr.h"
40 #include "insn-config.h"
41 #include "insn-flags.h"
42 #include "hard-reg-set.h"
43 #include "recog.h"
44 #include "output.h"
45 #include "except.h"
46 #include "function.h"
47 #include "toplev.h"
48 #include "expr.h"
49 #include "basic-block.h"
50 #include "intl.h"
51 #include "ggc.h"
52 #include "graph.h"
53 #include "regs.h"
54 #include "timevar.h"
55 #include "diagnostic.h"
56 #include "tree-diagnostic.h"
57 #include "tree-pretty-print.h"
58 #include "params.h"
59 #include "reload.h"
60 #include "ira.h"
61 #include "dwarf2asm.h"
62 #include "integrate.h"
63 #include "debug.h"
64 #include "target.h"
65 #include "langhooks.h"
66 #include "cfglayout.h"
67 #include "cfgloop.h"
68 #include "hosthooks.h"
69 #include "cgraph.h"
70 #include "opts.h"
71 #include "opts-diagnostic.h"
72 #include "coverage.h"
73 #include "value-prof.h"
74 #include "alloc-pool.h"
75 #include "tree-mudflap.h"
76 #include "tree-pass.h"
77 #include "gimple.h"
78 #include "tree-ssa-alias.h"
79 #include "plugin.h"
81 #if defined (DWARF2_UNWIND_INFO) || defined (DWARF2_DEBUGGING_INFO)
82 #include "dwarf2out.h"
83 #endif
85 #if defined(DBX_DEBUGGING_INFO) || defined(XCOFF_DEBUGGING_INFO)
86 #include "dbxout.h"
87 #endif
89 #ifdef SDB_DEBUGGING_INFO
90 #include "sdbout.h"
91 #endif
93 #ifdef XCOFF_DEBUGGING_INFO
94 #include "xcoffout.h" /* Needed for external data
95 declarations for e.g. AIX 4.x. */
96 #endif
98 static void general_init (const char *);
99 static void do_compile (void);
100 static void process_options (void);
101 static void backend_init (void);
102 static int lang_dependent_init (const char *);
103 static void init_asm_output (const char *);
104 static void finalize (bool);
106 static void crash_signal (int) ATTRIBUTE_NORETURN;
107 static void compile_file (void);
109 /* True if we don't need a backend (e.g. preprocessing only). */
110 static bool no_backend;
112 /* Length of line when printing switch values. */
113 #define MAX_LINE 75
115 /* Decoded options, and number of such options. */
116 struct cl_decoded_option *save_decoded_options;
117 unsigned int save_decoded_options_count;
119 /* Used to enable -fvar-tracking, -fweb and -frename-registers according
120 to optimize in process_options (). */
121 #define AUTODETECT_VALUE 2
123 /* Debug hooks - dependent upon command line options. */
125 const struct gcc_debug_hooks *debug_hooks;
127 /* True if this is the lto front end. This is used to disable
128 gimple generation and lowering passes that are normally run on the
129 output of a front end. These passes must be bypassed for lto since
130 they have already been done before the gimple was written. */
132 bool in_lto_p = false;
134 /* The FUNCTION_DECL for the function currently being compiled,
135 or 0 if between functions. */
136 tree current_function_decl;
138 /* Set to the FUNC_BEGIN label of the current function, or NULL
139 if none. */
140 const char * current_function_func_begin_label;
142 /* A random sequence of characters, unless overridden by user. */
143 static const char *flag_random_seed;
145 /* A local time stamp derived from the time of compilation. It will be
146 zero if the system cannot provide a time. It will be -1u, if the
147 user has specified a particular random seed. */
148 unsigned local_tick;
150 /* -f flags. */
152 /* Generate code for GNU or NeXT Objective-C runtime environment. */
154 #ifdef NEXT_OBJC_RUNTIME
155 int flag_next_runtime = 1;
156 #else
157 int flag_next_runtime = 0;
158 #endif
160 /* Nonzero means make permerror produce warnings instead of errors. */
162 int flag_permissive = 0;
164 /* When non-NULL, indicates that whenever space is allocated on the
165 stack, the resulting stack pointer must not pass this
166 address---that is, for stacks that grow downward, the stack pointer
167 must always be greater than or equal to this address; for stacks
168 that grow upward, the stack pointer must be less than this address.
169 At present, the rtx may be either a REG or a SYMBOL_REF, although
170 the support provided depends on the backend. */
171 rtx stack_limit_rtx;
173 /* True if the user has tagged the function with the 'section'
174 attribute. */
176 bool user_defined_section_attribute = false;
178 struct target_flag_state default_target_flag_state;
179 #if SWITCHABLE_TARGET
180 struct target_flag_state *this_target_flag_state = &default_target_flag_state;
181 #else
182 #define this_target_flag_state (&default_target_flag_state)
183 #endif
185 typedef struct
187 const char *const string;
188 int *const variable;
189 const int on_value;
191 lang_independent_options;
193 /* The user symbol prefix after having resolved same. */
194 const char *user_label_prefix;
196 static const param_info lang_independent_params[] = {
197 #define DEFPARAM(ENUM, OPTION, HELP, DEFAULT, MIN, MAX) \
198 { OPTION, DEFAULT, MIN, MAX, HELP },
199 #include "params.def"
200 #undef DEFPARAM
201 { NULL, 0, 0, 0, NULL }
204 /* Output files for assembler code (real compiler output)
205 and debugging dumps. */
207 FILE *asm_out_file;
208 FILE *aux_info_file;
209 FILE *stack_usage_file = NULL;
210 FILE *dump_file = NULL;
211 const char *dump_file_name;
213 /* The current working directory of a translation. It's generally the
214 directory from which compilation was initiated, but a preprocessed
215 file may specify the original directory in which it was
216 created. */
218 static const char *src_pwd;
220 /* Initialize src_pwd with the given string, and return true. If it
221 was already initialized, return false. As a special case, it may
222 be called with a NULL argument to test whether src_pwd has NOT been
223 initialized yet. */
225 bool
226 set_src_pwd (const char *pwd)
228 if (src_pwd)
230 if (strcmp (src_pwd, pwd) == 0)
231 return true;
232 else
233 return false;
236 src_pwd = xstrdup (pwd);
237 return true;
240 /* Return the directory from which the translation unit was initiated,
241 in case set_src_pwd() was not called before to assign it a
242 different value. */
244 const char *
245 get_src_pwd (void)
247 if (! src_pwd)
249 src_pwd = getpwd ();
250 if (!src_pwd)
251 src_pwd = ".";
254 return src_pwd;
257 /* Called when the start of a function definition is parsed,
258 this function prints on stderr the name of the function. */
259 void
260 announce_function (tree decl)
262 if (!quiet_flag)
264 if (rtl_dump_and_exit)
265 fprintf (stderr, "%s ",
266 identifier_to_locale (IDENTIFIER_POINTER (DECL_NAME (decl))));
267 else
268 fprintf (stderr, " %s",
269 identifier_to_locale (lang_hooks.decl_printable_name (decl, 2)));
270 fflush (stderr);
271 pp_needs_newline (global_dc->printer) = true;
272 diagnostic_set_last_function (global_dc, (diagnostic_info *) NULL);
276 /* Initialize local_tick with the time of day, or -1 if
277 flag_random_seed is set. */
279 static void
280 init_local_tick (void)
282 if (!flag_random_seed)
284 /* Get some more or less random data. */
285 #ifdef HAVE_GETTIMEOFDAY
287 struct timeval tv;
289 gettimeofday (&tv, NULL);
290 local_tick = tv.tv_sec * 1000 + tv.tv_usec / 1000;
292 #else
294 time_t now = time (NULL);
296 if (now != (time_t)-1)
297 local_tick = (unsigned) now;
299 #endif
301 else
302 local_tick = -1;
305 /* Set up a default flag_random_seed and local_tick, unless the user
306 already specified one. Must be called after init_local_tick. */
308 static void
309 init_random_seed (void)
311 unsigned HOST_WIDE_INT value;
312 static char random_seed[HOST_BITS_PER_WIDE_INT / 4 + 3];
314 value = local_tick ^ getpid ();
316 sprintf (random_seed, HOST_WIDE_INT_PRINT_HEX, value);
317 flag_random_seed = random_seed;
320 /* Obtain the random_seed string. Unless NOINIT, initialize it if
321 it's not provided in the command line. */
323 const char *
324 get_random_seed (bool noinit)
326 if (!flag_random_seed && !noinit)
327 init_random_seed ();
328 return flag_random_seed;
331 /* Modify the random_seed string to VAL. Return its previous
332 value. */
334 const char *
335 set_random_seed (const char *val)
337 const char *old = flag_random_seed;
338 flag_random_seed = val;
339 return old;
342 /* Handler for fatal signals, such as SIGSEGV. These are transformed
343 into ICE messages, which is much more user friendly. In case the
344 error printer crashes, reset the signal to prevent infinite recursion. */
346 static void
347 crash_signal (int signo)
349 signal (signo, SIG_DFL);
351 /* If we crashed while processing an ASM statement, then be a little more
352 graceful. It's most likely the user's fault. */
353 if (this_is_asm_operands)
355 output_operand_lossage ("unrecoverable error");
356 exit (FATAL_EXIT_CODE);
359 internal_error ("%s", strsignal (signo));
362 /* A subroutine of wrapup_global_declarations. We've come to the end of
363 the compilation unit. All deferred variables should be undeferred,
364 and all incomplete decls should be finalized. */
366 void
367 wrapup_global_declaration_1 (tree decl)
369 /* We're not deferring this any longer. Assignment is conditional to
370 avoid needlessly dirtying PCH pages. */
371 if (CODE_CONTAINS_STRUCT (TREE_CODE (decl), TS_DECL_WITH_VIS)
372 && DECL_DEFER_OUTPUT (decl) != 0)
373 DECL_DEFER_OUTPUT (decl) = 0;
375 if (TREE_CODE (decl) == VAR_DECL && DECL_SIZE (decl) == 0)
376 lang_hooks.finish_incomplete_decl (decl);
379 /* A subroutine of wrapup_global_declarations. Decide whether or not DECL
380 needs to be output. Return true if it is output. */
382 bool
383 wrapup_global_declaration_2 (tree decl)
385 if (TREE_ASM_WRITTEN (decl) || DECL_EXTERNAL (decl))
386 return false;
388 /* Don't write out static consts, unless we still need them.
390 We also keep static consts if not optimizing (for debugging),
391 unless the user specified -fno-keep-static-consts.
392 ??? They might be better written into the debug information.
393 This is possible when using DWARF.
395 A language processor that wants static constants to be always
396 written out (even if it is not used) is responsible for
397 calling rest_of_decl_compilation itself. E.g. the C front-end
398 calls rest_of_decl_compilation from finish_decl.
399 One motivation for this is that is conventional in some
400 environments to write things like:
401 static const char rcsid[] = "... version string ...";
402 intending to force the string to be in the executable.
404 A language processor that would prefer to have unneeded
405 static constants "optimized away" would just defer writing
406 them out until here. E.g. C++ does this, because static
407 constants are often defined in header files.
409 ??? A tempting alternative (for both C and C++) would be
410 to force a constant to be written if and only if it is
411 defined in a main file, as opposed to an include file. */
413 if (TREE_CODE (decl) == VAR_DECL && TREE_STATIC (decl))
415 struct varpool_node *node;
416 bool needed = true;
417 node = varpool_get_node (decl);
419 if (!node && flag_ltrans)
420 needed = false;
421 else if (node && node->finalized)
422 needed = false;
423 else if (node && node->alias)
424 needed = false;
425 else if (!cgraph_global_info_ready
426 && (TREE_USED (decl)
427 || TREE_USED (DECL_ASSEMBLER_NAME (decl))))
428 /* needed */;
429 else if (node && node->needed)
430 /* needed */;
431 else if (DECL_COMDAT (decl))
432 needed = false;
433 else if (TREE_READONLY (decl) && !TREE_PUBLIC (decl)
434 && (optimize || !flag_keep_static_consts
435 || DECL_ARTIFICIAL (decl)))
436 needed = false;
438 if (needed)
440 rest_of_decl_compilation (decl, 1, 1);
441 return true;
445 return false;
448 /* Do any final processing required for the declarations in VEC, of
449 which there are LEN. We write out inline functions and variables
450 that have been deferred until this point, but which are required.
451 Returns nonzero if anything was put out. */
453 bool
454 wrapup_global_declarations (tree *vec, int len)
456 bool reconsider, output_something = false;
457 int i;
459 for (i = 0; i < len; i++)
460 wrapup_global_declaration_1 (vec[i]);
462 /* Now emit any global variables or functions that we have been
463 putting off. We need to loop in case one of the things emitted
464 here references another one which comes earlier in the list. */
467 reconsider = false;
468 for (i = 0; i < len; i++)
469 reconsider |= wrapup_global_declaration_2 (vec[i]);
470 if (reconsider)
471 output_something = true;
473 while (reconsider);
475 return output_something;
478 /* A subroutine of check_global_declarations. Issue appropriate warnings
479 for the global declaration DECL. */
481 void
482 check_global_declaration_1 (tree decl)
484 /* Warn about any function declared static but not defined. We don't
485 warn about variables, because many programs have static variables
486 that exist only to get some text into the object file. */
487 if (TREE_CODE (decl) == FUNCTION_DECL
488 && DECL_INITIAL (decl) == 0
489 && DECL_EXTERNAL (decl)
490 && ! DECL_ARTIFICIAL (decl)
491 && ! TREE_NO_WARNING (decl)
492 && ! TREE_PUBLIC (decl)
493 && (warn_unused_function
494 || TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl))))
496 if (TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl)))
497 pedwarn (input_location, 0, "%q+F used but never defined", decl);
498 else
499 warning (OPT_Wunused_function, "%q+F declared %<static%> but never defined", decl);
500 /* This symbol is effectively an "extern" declaration now. */
501 TREE_PUBLIC (decl) = 1;
502 assemble_external (decl);
505 /* Warn about static fns or vars defined but not used. */
506 if (((warn_unused_function && TREE_CODE (decl) == FUNCTION_DECL)
507 /* We don't warn about "static const" variables because the
508 "rcs_id" idiom uses that construction. */
509 || (warn_unused_variable
510 && TREE_CODE (decl) == VAR_DECL && ! TREE_READONLY (decl)))
511 && ! DECL_IN_SYSTEM_HEADER (decl)
512 && ! TREE_USED (decl)
513 /* The TREE_USED bit for file-scope decls is kept in the identifier,
514 to handle multiple external decls in different scopes. */
515 && ! (DECL_NAME (decl) && TREE_USED (DECL_NAME (decl)))
516 && ! DECL_EXTERNAL (decl)
517 && ! TREE_PUBLIC (decl)
518 /* A volatile variable might be used in some non-obvious way. */
519 && ! TREE_THIS_VOLATILE (decl)
520 /* Global register variables must be declared to reserve them. */
521 && ! (TREE_CODE (decl) == VAR_DECL && DECL_REGISTER (decl))
522 /* Otherwise, ask the language. */
523 && lang_hooks.decls.warn_unused_global (decl))
524 warning ((TREE_CODE (decl) == FUNCTION_DECL)
525 ? OPT_Wunused_function
526 : OPT_Wunused_variable,
527 "%q+D defined but not used", decl);
530 /* Issue appropriate warnings for the global declarations in VEC (of
531 which there are LEN). */
533 void
534 check_global_declarations (tree *vec, int len)
536 int i;
538 for (i = 0; i < len; i++)
539 check_global_declaration_1 (vec[i]);
542 /* Emit debugging information for all global declarations in VEC. */
544 void
545 emit_debug_global_declarations (tree *vec, int len)
547 int i;
549 /* Avoid confusing the debug information machinery when there are errors. */
550 if (seen_error ())
551 return;
553 timevar_push (TV_SYMOUT);
554 for (i = 0; i < len; i++)
555 debug_hooks->global_decl (vec[i]);
556 timevar_pop (TV_SYMOUT);
559 /* Compile an entire translation unit. Write a file of assembly
560 output and various debugging dumps. */
562 static void
563 compile_file (void)
565 /* Initialize yet another pass. */
567 ggc_protect_identifiers = true;
569 init_cgraph ();
570 init_final (main_input_filename);
571 coverage_init (aux_base_name);
572 statistics_init ();
573 invoke_plugin_callbacks (PLUGIN_START_UNIT, NULL);
575 timevar_push (TV_PARSE);
577 /* Call the parser, which parses the entire file (calling
578 rest_of_compilation for each function). */
579 lang_hooks.parse_file ();
581 /* Compilation is now finished except for writing
582 what's left of the symbol table output. */
583 timevar_pop (TV_PARSE);
585 if (flag_syntax_only || flag_wpa)
586 return;
588 ggc_protect_identifiers = false;
590 /* This must also call cgraph_finalize_compilation_unit. */
591 lang_hooks.decls.final_write_globals ();
593 if (seen_error ())
594 return;
596 varpool_assemble_pending_decls ();
597 finish_aliases_2 ();
599 /* Likewise for mudflap static object registrations. */
600 if (flag_mudflap)
601 mudflap_finish_file ();
603 output_shared_constant_pool ();
604 output_object_blocks ();
606 /* Write out any pending weak symbol declarations. */
607 weak_finish ();
609 /* This must be at the end before unwind and debug info.
610 Some target ports emit PIC setup thunks here. */
611 targetm.asm_out.code_end ();
613 /* Do dbx symbols. */
614 timevar_push (TV_SYMOUT);
616 #if defined DWARF2_DEBUGGING_INFO || defined DWARF2_UNWIND_INFO
617 if (dwarf2out_do_frame ())
618 dwarf2out_frame_finish ();
619 #endif
621 (*debug_hooks->finish) (main_input_filename);
622 timevar_pop (TV_SYMOUT);
624 /* Output some stuff at end of file if nec. */
626 dw2_output_indirect_constants ();
628 /* Flush any pending external directives. */
629 process_pending_assemble_externals ();
631 /* Emit LTO marker if LTO info has been previously emitted. This is
632 used by collect2 to determine whether an object file contains IL.
633 We used to emit an undefined reference here, but this produces
634 link errors if an object file with IL is stored into a shared
635 library without invoking lto1. */
636 if (flag_generate_lto)
638 #if defined ASM_OUTPUT_ALIGNED_DECL_COMMON
639 ASM_OUTPUT_ALIGNED_DECL_COMMON (asm_out_file, NULL_TREE,
640 "__gnu_lto_v1",
641 (unsigned HOST_WIDE_INT) 1, 8);
642 #elif defined ASM_OUTPUT_ALIGNED_COMMON
643 ASM_OUTPUT_ALIGNED_COMMON (asm_out_file, "__gnu_lto_v1",
644 (unsigned HOST_WIDE_INT) 1, 8);
645 #else
646 ASM_OUTPUT_COMMON (asm_out_file, "__gnu_lto_v1",
647 (unsigned HOST_WIDE_INT) 1,
648 (unsigned HOST_WIDE_INT) 1);
649 #endif
652 /* Attach a special .ident directive to the end of the file to identify
653 the version of GCC which compiled this code. The format of the .ident
654 string is patterned after the ones produced by native SVR4 compilers. */
655 #ifdef IDENT_ASM_OP
656 if (!flag_no_ident)
658 const char *pkg_version = "(GNU) ";
660 if (strcmp ("(GCC) ", pkgversion_string))
661 pkg_version = pkgversion_string;
662 fprintf (asm_out_file, "%s\"GCC: %s%s\"\n",
663 IDENT_ASM_OP, pkg_version, version_string);
665 #endif
667 /* Invoke registered plugin callbacks. */
668 invoke_plugin_callbacks (PLUGIN_FINISH_UNIT, NULL);
670 /* This must be at the end. Some target ports emit end of file directives
671 into the assembly file here, and hence we can not output anything to the
672 assembly file after this point. */
673 targetm.asm_out.file_end ();
676 /* Indexed by enum debug_info_type. */
677 const char *const debug_type_names[] =
679 "none", "stabs", "coff", "dwarf-2", "xcoff", "vms"
682 /* Print version information to FILE.
683 Each line begins with INDENT (for the case where FILE is the
684 assembler output file). */
686 void
687 print_version (FILE *file, const char *indent)
689 static const char fmt1[] =
690 #ifdef __GNUC__
691 N_("%s%s%s %sversion %s (%s)\n%s\tcompiled by GNU C version %s, ")
692 #else
693 N_("%s%s%s %sversion %s (%s) compiled by CC, ")
694 #endif
696 static const char fmt2[] =
697 N_("GMP version %s, MPFR version %s, MPC version %s\n");
698 static const char fmt3[] =
699 N_("%s%swarning: %s header version %s differs from library version %s.\n");
700 static const char fmt4[] =
701 N_("%s%sGGC heuristics: --param ggc-min-expand=%d --param ggc-min-heapsize=%d\n");
702 #ifndef __VERSION__
703 #define __VERSION__ "[?]"
704 #endif
705 fprintf (file,
706 file == stderr ? _(fmt1) : fmt1,
707 indent, *indent != 0 ? " " : "",
708 lang_hooks.name, pkgversion_string, version_string, TARGET_NAME,
709 indent, __VERSION__);
711 /* We need to stringify the GMP macro values. Ugh, gmp_version has
712 two string formats, "i.j.k" and "i.j" when k is zero. As of
713 gmp-4.3.0, GMP always uses the 3 number format. */
714 #define GCC_GMP_STRINGIFY_VERSION3(X) #X
715 #define GCC_GMP_STRINGIFY_VERSION2(X) GCC_GMP_STRINGIFY_VERSION3(X)
716 #define GCC_GMP_VERSION_NUM(X,Y,Z) (((X) << 16L) | ((Y) << 8) | (Z))
717 #define GCC_GMP_VERSION \
718 GCC_GMP_VERSION_NUM(__GNU_MP_VERSION, __GNU_MP_VERSION_MINOR, __GNU_MP_VERSION_PATCHLEVEL)
719 #if GCC_GMP_VERSION < GCC_GMP_VERSION_NUM(4,3,0) && __GNU_MP_VERSION_PATCHLEVEL == 0
720 #define GCC_GMP_STRINGIFY_VERSION GCC_GMP_STRINGIFY_VERSION2(__GNU_MP_VERSION) "." \
721 GCC_GMP_STRINGIFY_VERSION2(__GNU_MP_VERSION_MINOR)
722 #else
723 #define GCC_GMP_STRINGIFY_VERSION GCC_GMP_STRINGIFY_VERSION2(__GNU_MP_VERSION) "." \
724 GCC_GMP_STRINGIFY_VERSION2(__GNU_MP_VERSION_MINOR) "." \
725 GCC_GMP_STRINGIFY_VERSION2(__GNU_MP_VERSION_PATCHLEVEL)
726 #endif
727 fprintf (file,
728 file == stderr ? _(fmt2) : fmt2,
729 GCC_GMP_STRINGIFY_VERSION, MPFR_VERSION_STRING, MPC_VERSION_STRING);
730 if (strcmp (GCC_GMP_STRINGIFY_VERSION, gmp_version))
731 fprintf (file,
732 file == stderr ? _(fmt3) : fmt3,
733 indent, *indent != 0 ? " " : "",
734 "GMP", GCC_GMP_STRINGIFY_VERSION, gmp_version);
735 if (strcmp (MPFR_VERSION_STRING, mpfr_get_version ()))
736 fprintf (file,
737 file == stderr ? _(fmt3) : fmt3,
738 indent, *indent != 0 ? " " : "",
739 "MPFR", MPFR_VERSION_STRING, mpfr_get_version ());
740 if (strcmp (MPC_VERSION_STRING, mpc_get_version ()))
741 fprintf (file,
742 file == stderr ? _(fmt3) : fmt3,
743 indent, *indent != 0 ? " " : "",
744 "MPC", MPC_VERSION_STRING, mpc_get_version ());
745 fprintf (file,
746 file == stderr ? _(fmt4) : fmt4,
747 indent, *indent != 0 ? " " : "",
748 PARAM_VALUE (GGC_MIN_EXPAND), PARAM_VALUE (GGC_MIN_HEAPSIZE));
750 print_plugins_versions (file, indent);
753 #ifdef ASM_COMMENT_START
754 static int
755 print_to_asm_out_file (print_switch_type type, const char * text)
757 bool prepend_sep = true;
759 switch (type)
761 case SWITCH_TYPE_LINE_END:
762 putc ('\n', asm_out_file);
763 return 1;
765 case SWITCH_TYPE_LINE_START:
766 fputs (ASM_COMMENT_START, asm_out_file);
767 return strlen (ASM_COMMENT_START);
769 case SWITCH_TYPE_DESCRIPTIVE:
770 if (ASM_COMMENT_START[0] == 0)
771 prepend_sep = false;
772 /* Drop through. */
773 case SWITCH_TYPE_PASSED:
774 case SWITCH_TYPE_ENABLED:
775 if (prepend_sep)
776 fputc (' ', asm_out_file);
777 fputs (text, asm_out_file);
778 /* No need to return the length here as
779 print_single_switch has already done it. */
780 return 0;
782 default:
783 return -1;
786 #endif
788 static int
789 print_to_stderr (print_switch_type type, const char * text)
791 switch (type)
793 case SWITCH_TYPE_LINE_END:
794 putc ('\n', stderr);
795 return 1;
797 case SWITCH_TYPE_LINE_START:
798 return 0;
800 case SWITCH_TYPE_PASSED:
801 case SWITCH_TYPE_ENABLED:
802 fputc (' ', stderr);
803 /* Drop through. */
805 case SWITCH_TYPE_DESCRIPTIVE:
806 fputs (text, stderr);
807 /* No need to return the length here as
808 print_single_switch has already done it. */
809 return 0;
811 default:
812 return -1;
816 /* Print an option value and return the adjusted position in the line.
817 ??? print_fn doesn't handle errors, eg disk full; presumably other
818 code will catch a disk full though. */
820 static int
821 print_single_switch (print_switch_fn_type print_fn,
822 int pos,
823 print_switch_type type,
824 const char * text)
826 /* The ultrix fprintf returns 0 on success, so compute the result
827 we want here since we need it for the following test. The +1
828 is for the separator character that will probably be emitted. */
829 int len = strlen (text) + 1;
831 if (pos != 0
832 && pos + len > MAX_LINE)
834 print_fn (SWITCH_TYPE_LINE_END, NULL);
835 pos = 0;
838 if (pos == 0)
839 pos += print_fn (SWITCH_TYPE_LINE_START, NULL);
841 print_fn (type, text);
842 return pos + len;
845 /* Print active target switches using PRINT_FN.
846 POS is the current cursor position and MAX is the size of a "line".
847 Each line begins with INDENT and ends with TERM.
848 Each switch is separated from the next by SEP. */
850 static void
851 print_switch_values (print_switch_fn_type print_fn)
853 int pos = 0;
854 size_t j;
856 /* Fill in the -frandom-seed option, if the user didn't pass it, so
857 that it can be printed below. This helps reproducibility. */
858 if (!flag_random_seed)
859 init_random_seed ();
861 /* Print the options as passed. */
862 pos = print_single_switch (print_fn, pos,
863 SWITCH_TYPE_DESCRIPTIVE, _("options passed: "));
865 for (j = 1; j < save_decoded_options_count; j++)
867 switch (save_decoded_options[j].opt_index)
869 case OPT_o:
870 case OPT_d:
871 case OPT_dumpbase:
872 case OPT_dumpdir:
873 case OPT_auxbase:
874 case OPT_quiet:
875 case OPT_version:
876 /* Ignore these. */
877 continue;
880 pos = print_single_switch (print_fn, pos, SWITCH_TYPE_PASSED,
881 save_decoded_options[j].orig_option_with_args_text);
884 if (pos > 0)
885 print_fn (SWITCH_TYPE_LINE_END, NULL);
887 /* Print the -f and -m options that have been enabled.
888 We don't handle language specific options but printing argv
889 should suffice. */
890 pos = print_single_switch (print_fn, 0,
891 SWITCH_TYPE_DESCRIPTIVE, _("options enabled: "));
893 for (j = 0; j < cl_options_count; j++)
894 if ((cl_options[j].flags & CL_REPORT)
895 && option_enabled (j, &global_options) > 0)
896 pos = print_single_switch (print_fn, pos,
897 SWITCH_TYPE_ENABLED, cl_options[j].opt_text);
899 print_fn (SWITCH_TYPE_LINE_END, NULL);
902 /* Open assembly code output file. Do this even if -fsyntax-only is
903 on, because then the driver will have provided the name of a
904 temporary file or bit bucket for us. NAME is the file specified on
905 the command line, possibly NULL. */
906 static void
907 init_asm_output (const char *name)
909 if (name == NULL && asm_file_name == 0)
910 asm_out_file = stdout;
911 else
913 if (asm_file_name == 0)
915 int len = strlen (dump_base_name);
916 char *dumpname = XNEWVEC (char, len + 6);
918 memcpy (dumpname, dump_base_name, len + 1);
919 strip_off_ending (dumpname, len);
920 strcat (dumpname, ".s");
921 asm_file_name = dumpname;
923 if (!strcmp (asm_file_name, "-"))
924 asm_out_file = stdout;
925 else
926 asm_out_file = fopen (asm_file_name, "w+b");
927 if (asm_out_file == 0)
928 fatal_error ("can%'t open %s for writing: %m", asm_file_name);
931 if (!flag_syntax_only)
933 targetm.asm_out.file_start ();
935 if (flag_record_gcc_switches)
937 if (targetm.asm_out.record_gcc_switches)
939 /* Let the target know that we are about to start recording. */
940 targetm.asm_out.record_gcc_switches (SWITCH_TYPE_DESCRIPTIVE,
941 NULL);
942 /* Now record the switches. */
943 print_switch_values (targetm.asm_out.record_gcc_switches);
944 /* Let the target know that the recording is over. */
945 targetm.asm_out.record_gcc_switches (SWITCH_TYPE_DESCRIPTIVE,
946 NULL);
948 else
949 inform (input_location, "-frecord-gcc-switches is not supported by the current target");
952 #ifdef ASM_COMMENT_START
953 if (flag_verbose_asm)
955 /* Print the list of switches in effect
956 into the assembler file as comments. */
957 print_version (asm_out_file, ASM_COMMENT_START);
958 print_switch_values (print_to_asm_out_file);
959 putc ('\n', asm_out_file);
961 #endif
965 /* Default tree printer. Handles declarations only. */
966 bool
967 default_tree_printer (pretty_printer *pp, text_info *text, const char *spec,
968 int precision, bool wide, bool set_locus, bool hash)
970 tree t;
972 /* FUTURE: %+x should set the locus. */
973 if (precision != 0 || wide || hash)
974 return false;
976 switch (*spec)
978 case 'E':
979 t = va_arg (*text->args_ptr, tree);
980 if (TREE_CODE (t) == IDENTIFIER_NODE)
982 pp_identifier (pp, IDENTIFIER_POINTER (t));
983 return true;
985 break;
987 case 'D':
988 t = va_arg (*text->args_ptr, tree);
989 if (DECL_DEBUG_EXPR_IS_FROM (t) && DECL_DEBUG_EXPR (t))
990 t = DECL_DEBUG_EXPR (t);
991 break;
993 case 'F':
994 case 'T':
995 t = va_arg (*text->args_ptr, tree);
996 break;
998 case 'K':
999 percent_K_format (text);
1000 return true;
1002 default:
1003 return false;
1006 if (set_locus && text->locus)
1007 *text->locus = DECL_SOURCE_LOCATION (t);
1009 if (DECL_P (t))
1011 const char *n = DECL_NAME (t)
1012 ? identifier_to_locale (lang_hooks.decl_printable_name (t, 2))
1013 : _("<anonymous>");
1014 pp_string (pp, n);
1016 else
1017 dump_generic_node (pp, t, 0, TDF_DIAGNOSTIC, 0);
1019 return true;
1022 /* A helper function; used as the reallocator function for cpp's line
1023 table. */
1024 static void *
1025 realloc_for_line_map (void *ptr, size_t len)
1027 return GGC_RESIZEVAR (void, ptr, len);
1030 /* A helper function: used as the allocator function for
1031 identifier_to_locale. */
1032 static void *
1033 alloc_for_identifier_to_locale (size_t len)
1035 return ggc_alloc_atomic (len);
1038 /* Output stack usage information. */
1039 void
1040 output_stack_usage (void)
1042 static bool warning_issued = false;
1043 enum stack_usage_kind_type { STATIC = 0, DYNAMIC, DYNAMIC_BOUNDED };
1044 const char *stack_usage_kind_str[] = {
1045 "static",
1046 "dynamic",
1047 "dynamic,bounded"
1049 HOST_WIDE_INT stack_usage = current_function_static_stack_size;
1050 enum stack_usage_kind_type stack_usage_kind;
1051 expanded_location loc;
1052 const char *raw_id, *id;
1054 if (stack_usage < 0)
1056 if (!warning_issued)
1058 warning (0, "-fstack-usage not supported for this target");
1059 warning_issued = true;
1061 return;
1064 stack_usage_kind = STATIC;
1066 /* Add the maximum amount of space pushed onto the stack. */
1067 if (current_function_pushed_stack_size > 0)
1069 stack_usage += current_function_pushed_stack_size;
1070 stack_usage_kind = DYNAMIC_BOUNDED;
1073 /* Now on to the tricky part: dynamic stack allocation. */
1074 if (current_function_allocates_dynamic_stack_space)
1076 if (current_function_has_unbounded_dynamic_stack_size)
1077 stack_usage_kind = DYNAMIC;
1078 else
1079 stack_usage_kind = DYNAMIC_BOUNDED;
1081 /* Add the size even in the unbounded case, this can't hurt. */
1082 stack_usage += current_function_dynamic_stack_size;
1085 loc = expand_location (DECL_SOURCE_LOCATION (current_function_decl));
1087 /* Strip the scope prefix if any. */
1088 raw_id = lang_hooks.decl_printable_name (current_function_decl, 2);
1089 id = strrchr (raw_id, '.');
1090 if (id)
1091 id++;
1092 else
1093 id = raw_id;
1095 fprintf (stack_usage_file,
1096 "%s:%d:%d:%s\t"HOST_WIDE_INT_PRINT_DEC"\t%s\n",
1097 lbasename (loc.file),
1098 loc.line,
1099 loc.column,
1101 stack_usage,
1102 stack_usage_kind_str[stack_usage_kind]);
1105 /* Open an auxiliary output file. */
1106 static FILE *
1107 open_auxiliary_file (const char *ext)
1109 char *filename;
1110 FILE *file;
1112 filename = concat (aux_base_name, ".", ext, NULL);
1113 file = fopen (filename, "w");
1114 if (!file)
1115 fatal_error ("can%'t open %s for writing: %m", filename);
1116 free (filename);
1117 return file;
1120 /* Initialization of the front end environment, before command line
1121 options are parsed. Signal handlers, internationalization etc.
1122 ARGV0 is main's argv[0]. */
1123 static void
1124 general_init (const char *argv0)
1126 const char *p;
1128 p = argv0 + strlen (argv0);
1129 while (p != argv0 && !IS_DIR_SEPARATOR (p[-1]))
1130 --p;
1131 progname = p;
1133 xmalloc_set_program_name (progname);
1135 hex_init ();
1137 /* Unlock the stdio streams. */
1138 unlock_std_streams ();
1140 gcc_init_libintl ();
1142 identifier_to_locale_alloc = alloc_for_identifier_to_locale;
1143 identifier_to_locale_free = ggc_free;
1145 /* Initialize the diagnostics reporting machinery, so option parsing
1146 can give warnings and errors. */
1147 diagnostic_initialize (global_dc, N_OPTS);
1148 diagnostic_starter (global_dc) = default_tree_diagnostic_starter;
1149 /* Set a default printer. Language specific initializations will
1150 override it later. */
1151 pp_format_decoder (global_dc->printer) = &default_tree_printer;
1152 global_dc->show_option_requested
1153 = global_options_init.x_flag_diagnostics_show_option;
1154 global_dc->show_column
1155 = global_options_init.x_flag_show_column;
1156 global_dc->internal_error = plugins_internal_error_function;
1157 global_dc->option_enabled = option_enabled;
1158 global_dc->option_state = &global_options;
1159 global_dc->option_name = option_name;
1161 /* Trap fatal signals, e.g. SIGSEGV, and convert them to ICE messages. */
1162 #ifdef SIGSEGV
1163 signal (SIGSEGV, crash_signal);
1164 #endif
1165 #ifdef SIGILL
1166 signal (SIGILL, crash_signal);
1167 #endif
1168 #ifdef SIGBUS
1169 signal (SIGBUS, crash_signal);
1170 #endif
1171 #ifdef SIGABRT
1172 signal (SIGABRT, crash_signal);
1173 #endif
1174 #if defined SIGIOT && (!defined SIGABRT || SIGABRT != SIGIOT)
1175 signal (SIGIOT, crash_signal);
1176 #endif
1177 #ifdef SIGFPE
1178 signal (SIGFPE, crash_signal);
1179 #endif
1181 /* Other host-specific signal setup. */
1182 (*host_hooks.extra_signals)();
1184 /* Initialize the garbage-collector, string pools and tree type hash
1185 table. */
1186 init_ggc ();
1187 init_stringpool ();
1188 line_table = ggc_alloc_line_maps ();
1189 linemap_init (line_table);
1190 line_table->reallocator = realloc_for_line_map;
1191 init_ttree ();
1193 /* Initialize register usage now so switches may override. */
1194 init_reg_sets ();
1196 /* Register the language-independent parameters. */
1197 add_params (lang_independent_params, LAST_PARAM);
1198 targetm.target_option.default_params ();
1200 /* This must be done after add_params but before argument processing. */
1201 init_ggc_heuristics();
1202 init_optimization_passes ();
1203 statistics_early_init ();
1204 finish_params ();
1207 /* Return true if the current target supports -fsection-anchors. */
1209 static bool
1210 target_supports_section_anchors_p (void)
1212 if (targetm.min_anchor_offset == 0 && targetm.max_anchor_offset == 0)
1213 return false;
1215 if (targetm.asm_out.output_anchor == NULL)
1216 return false;
1218 return true;
1221 /* Default the align_* variables to 1 if they're still unset, and
1222 set up the align_*_log variables. */
1223 static void
1224 init_alignments (void)
1226 if (align_loops <= 0)
1227 align_loops = 1;
1228 if (align_loops_max_skip > align_loops)
1229 align_loops_max_skip = align_loops - 1;
1230 align_loops_log = floor_log2 (align_loops * 2 - 1);
1231 if (align_jumps <= 0)
1232 align_jumps = 1;
1233 if (align_jumps_max_skip > align_jumps)
1234 align_jumps_max_skip = align_jumps - 1;
1235 align_jumps_log = floor_log2 (align_jumps * 2 - 1);
1236 if (align_labels <= 0)
1237 align_labels = 1;
1238 align_labels_log = floor_log2 (align_labels * 2 - 1);
1239 if (align_labels_max_skip > align_labels)
1240 align_labels_max_skip = align_labels - 1;
1241 if (align_functions <= 0)
1242 align_functions = 1;
1243 align_functions_log = floor_log2 (align_functions * 2 - 1);
1246 /* Process the options that have been parsed. */
1247 static void
1248 process_options (void)
1250 /* Just in case lang_hooks.post_options ends up calling a debug_hook.
1251 This can happen with incorrect pre-processed input. */
1252 debug_hooks = &do_nothing_debug_hooks;
1254 maximum_field_alignment = initial_max_fld_align * BITS_PER_UNIT;
1256 /* This replaces set_Wunused. */
1257 if (warn_unused_function == -1)
1258 warn_unused_function = warn_unused;
1259 if (warn_unused_label == -1)
1260 warn_unused_label = warn_unused;
1261 /* Wunused-parameter is enabled if both -Wunused -Wextra are enabled. */
1262 if (warn_unused_parameter == -1)
1263 warn_unused_parameter = (warn_unused && extra_warnings);
1264 if (warn_unused_variable == -1)
1265 warn_unused_variable = warn_unused;
1266 /* Wunused-but-set-parameter is enabled if both -Wunused -Wextra are
1267 enabled. */
1268 if (warn_unused_but_set_parameter == -1)
1269 warn_unused_but_set_parameter = (warn_unused && extra_warnings);
1270 if (warn_unused_but_set_variable == -1)
1271 warn_unused_but_set_variable = warn_unused;
1272 if (warn_unused_value == -1)
1273 warn_unused_value = warn_unused;
1275 /* This replaces set_Wextra. */
1276 if (warn_uninitialized == -1)
1277 warn_uninitialized = extra_warnings;
1279 /* Allow the front end to perform consistency checks and do further
1280 initialization based on the command line options. This hook also
1281 sets the original filename if appropriate (e.g. foo.i -> foo.c)
1282 so we can correctly initialize debug output. */
1283 no_backend = lang_hooks.post_options (&main_input_filename);
1285 /* Some machines may reject certain combinations of options. */
1286 targetm.target_option.override ();
1288 /* Avoid any informative notes in the second run of -fcompare-debug. */
1289 if (flag_compare_debug)
1290 diagnostic_inhibit_notes (global_dc);
1292 if (flag_section_anchors && !target_supports_section_anchors_p ())
1294 warning (OPT_fsection_anchors,
1295 "this target does not support %qs", "-fsection-anchors");
1296 flag_section_anchors = 0;
1299 if (flag_short_enums == 2)
1300 flag_short_enums = targetm.default_short_enums ();
1302 /* Set aux_base_name if not already set. */
1303 if (aux_base_name)
1305 else if (main_input_filename)
1307 char *name = xstrdup (lbasename (main_input_filename));
1309 strip_off_ending (name, strlen (name));
1310 aux_base_name = name;
1312 else
1313 aux_base_name = "gccaux";
1315 #ifndef HAVE_cloog
1316 if (flag_graphite
1317 || flag_graphite_identity
1318 || flag_loop_block
1319 || flag_loop_flatten
1320 || flag_loop_interchange
1321 || flag_loop_strip_mine
1322 || flag_loop_parallelize_all)
1323 sorry ("Graphite loop optimizations cannot be used (-fgraphite, "
1324 "-fgraphite-identity, -floop-block, -floop-flatten, "
1325 "-floop-interchange, -floop-strip-mine, -floop-parallelize-all, "
1326 "and -ftree-loop-linear)");
1327 #endif
1329 /* Unrolling all loops implies that standard loop unrolling must also
1330 be done. */
1331 if (flag_unroll_all_loops)
1332 flag_unroll_loops = 1;
1334 /* web and rename-registers help when run after loop unrolling. */
1335 if (flag_web == AUTODETECT_VALUE)
1336 flag_web = flag_unroll_loops || flag_peel_loops;
1338 if (flag_rename_registers == AUTODETECT_VALUE)
1339 flag_rename_registers = flag_unroll_loops || flag_peel_loops;
1341 if (flag_non_call_exceptions)
1342 flag_asynchronous_unwind_tables = 1;
1343 if (flag_asynchronous_unwind_tables)
1344 flag_unwind_tables = 1;
1346 if (flag_value_profile_transformations)
1347 flag_profile_values = 1;
1349 /* Warn about options that are not supported on this machine. */
1350 #ifndef INSN_SCHEDULING
1351 if (flag_schedule_insns || flag_schedule_insns_after_reload)
1352 warning (0, "instruction scheduling not supported on this target machine");
1353 #endif
1354 #ifndef DELAY_SLOTS
1355 if (flag_delayed_branch)
1356 warning (0, "this target machine does not have delayed branches");
1357 #endif
1359 user_label_prefix = USER_LABEL_PREFIX;
1360 if (flag_leading_underscore != -1)
1362 /* If the default prefix is more complicated than "" or "_",
1363 issue a warning and ignore this option. */
1364 if (user_label_prefix[0] == 0 ||
1365 (user_label_prefix[0] == '_' && user_label_prefix[1] == 0))
1367 user_label_prefix = flag_leading_underscore ? "_" : "";
1369 else
1370 warning (0, "-f%sleading-underscore not supported on this target machine",
1371 flag_leading_underscore ? "" : "no-");
1374 /* If we are in verbose mode, write out the version and maybe all the
1375 option flags in use. */
1376 if (version_flag)
1378 print_version (stderr, "");
1379 if (! quiet_flag)
1380 print_switch_values (print_to_stderr);
1383 if (flag_syntax_only)
1385 write_symbols = NO_DEBUG;
1386 profile_flag = 0;
1389 if (flag_gtoggle)
1391 if (debug_info_level == DINFO_LEVEL_NONE)
1393 debug_info_level = DINFO_LEVEL_NORMAL;
1395 if (write_symbols == NO_DEBUG)
1396 write_symbols = PREFERRED_DEBUGGING_TYPE;
1398 else
1399 debug_info_level = DINFO_LEVEL_NONE;
1402 if (flag_dump_final_insns && !flag_syntax_only && !no_backend)
1404 FILE *final_output = fopen (flag_dump_final_insns, "w");
1405 if (!final_output)
1407 error ("could not open final insn dump file %qs: %m",
1408 flag_dump_final_insns);
1409 flag_dump_final_insns = NULL;
1411 else if (fclose (final_output))
1413 error ("could not close zeroed insn dump file %qs: %m",
1414 flag_dump_final_insns);
1415 flag_dump_final_insns = NULL;
1419 /* Unless over-ridden for the target, assume that all DWARF levels
1420 may be emitted, if DWARF2_DEBUG is selected. */
1421 if (dwarf_strict < 0)
1422 dwarf_strict = 0;
1424 /* A lot of code assumes write_symbols == NO_DEBUG if the debugging
1425 level is 0. */
1426 if (debug_info_level == DINFO_LEVEL_NONE)
1427 write_symbols = NO_DEBUG;
1429 if (write_symbols == NO_DEBUG)
1431 #if defined(DBX_DEBUGGING_INFO)
1432 else if (write_symbols == DBX_DEBUG)
1433 debug_hooks = &dbx_debug_hooks;
1434 #endif
1435 #if defined(XCOFF_DEBUGGING_INFO)
1436 else if (write_symbols == XCOFF_DEBUG)
1437 debug_hooks = &xcoff_debug_hooks;
1438 #endif
1439 #ifdef SDB_DEBUGGING_INFO
1440 else if (write_symbols == SDB_DEBUG)
1441 debug_hooks = &sdb_debug_hooks;
1442 #endif
1443 #ifdef DWARF2_DEBUGGING_INFO
1444 else if (write_symbols == DWARF2_DEBUG)
1445 debug_hooks = &dwarf2_debug_hooks;
1446 #endif
1447 #ifdef VMS_DEBUGGING_INFO
1448 else if (write_symbols == VMS_DEBUG || write_symbols == VMS_AND_DWARF2_DEBUG)
1449 debug_hooks = &vmsdbg_debug_hooks;
1450 #endif
1451 else
1452 error ("target system does not support the \"%s\" debug format",
1453 debug_type_names[write_symbols]);
1455 /* We know which debug output will be used so we can set flag_var_tracking
1456 and flag_var_tracking_uninit if the user has not specified them. */
1457 if (debug_info_level < DINFO_LEVEL_NORMAL
1458 || debug_hooks->var_location == do_nothing_debug_hooks.var_location)
1460 if (flag_var_tracking == 1
1461 || flag_var_tracking_uninit == 1)
1463 if (debug_info_level < DINFO_LEVEL_NORMAL)
1464 warning (0, "variable tracking requested, but useless unless "
1465 "producing debug info");
1466 else
1467 warning (0, "variable tracking requested, but not supported "
1468 "by this debug format");
1470 flag_var_tracking = 0;
1471 flag_var_tracking_uninit = 0;
1474 /* The debug hooks are used to implement -fdump-go-spec because it
1475 gives a simple and stable API for all the information we need to
1476 dump. */
1477 if (flag_dump_go_spec != NULL)
1478 debug_hooks = dump_go_spec_init (flag_dump_go_spec, debug_hooks);
1480 /* If the user specifically requested variable tracking with tagging
1481 uninitialized variables, we need to turn on variable tracking.
1482 (We already determined above that variable tracking is feasible.) */
1483 if (flag_var_tracking_uninit)
1484 flag_var_tracking = 1;
1486 if (flag_var_tracking == AUTODETECT_VALUE)
1487 flag_var_tracking = optimize >= 1;
1489 if (flag_var_tracking_assignments == AUTODETECT_VALUE)
1490 flag_var_tracking_assignments = flag_var_tracking
1491 && !(flag_selective_scheduling || flag_selective_scheduling2);
1493 if (flag_var_tracking_assignments_toggle)
1494 flag_var_tracking_assignments = !flag_var_tracking_assignments;
1496 if (flag_var_tracking_assignments && !flag_var_tracking)
1497 flag_var_tracking = flag_var_tracking_assignments = -1;
1499 if (flag_var_tracking_assignments
1500 && (flag_selective_scheduling || flag_selective_scheduling2))
1501 warning (0, "var-tracking-assignments changes selective scheduling");
1503 if (flag_tree_cselim == AUTODETECT_VALUE)
1504 #ifdef HAVE_conditional_move
1505 flag_tree_cselim = 1;
1506 #else
1507 flag_tree_cselim = 0;
1508 #endif
1510 /* If auxiliary info generation is desired, open the output file.
1511 This goes in the same directory as the source file--unlike
1512 all the other output files. */
1513 if (flag_gen_aux_info)
1515 aux_info_file = fopen (aux_info_file_name, "w");
1516 if (aux_info_file == 0)
1517 fatal_error ("can%'t open %s: %m", aux_info_file_name);
1520 if (! targetm.have_named_sections)
1522 if (flag_function_sections)
1524 warning (0, "-ffunction-sections not supported for this target");
1525 flag_function_sections = 0;
1527 if (flag_data_sections)
1529 warning (0, "-fdata-sections not supported for this target");
1530 flag_data_sections = 0;
1534 if (flag_function_sections && profile_flag)
1536 warning (0, "-ffunction-sections disabled; it makes profiling impossible");
1537 flag_function_sections = 0;
1540 #ifndef HAVE_prefetch
1541 if (flag_prefetch_loop_arrays > 0)
1543 warning (0, "-fprefetch-loop-arrays not supported for this target");
1544 flag_prefetch_loop_arrays = 0;
1546 #else
1547 if (flag_prefetch_loop_arrays > 0 && !HAVE_prefetch)
1549 warning (0, "-fprefetch-loop-arrays not supported for this target (try -march switches)");
1550 flag_prefetch_loop_arrays = 0;
1552 #endif
1554 /* This combination of options isn't handled for i386 targets and doesn't
1555 make much sense anyway, so don't allow it. */
1556 if (flag_prefetch_loop_arrays > 0 && optimize_size)
1558 warning (0, "-fprefetch-loop-arrays is not supported with -Os");
1559 flag_prefetch_loop_arrays = 0;
1562 /* The presence of IEEE signaling NaNs, implies all math can trap. */
1563 if (flag_signaling_nans)
1564 flag_trapping_math = 1;
1566 /* We cannot reassociate if we want traps or signed zeros. */
1567 if (flag_associative_math && (flag_trapping_math || flag_signed_zeros))
1569 warning (0, "-fassociative-math disabled; other options take precedence");
1570 flag_associative_math = 0;
1573 /* With -fcx-limited-range, we do cheap and quick complex arithmetic. */
1574 if (flag_cx_limited_range)
1575 flag_complex_method = 0;
1577 /* With -fcx-fortran-rules, we do something in-between cheap and C99. */
1578 if (flag_cx_fortran_rules)
1579 flag_complex_method = 1;
1581 /* Targets must be able to place spill slots at lower addresses. If the
1582 target already uses a soft frame pointer, the transition is trivial. */
1583 if (!FRAME_GROWS_DOWNWARD && flag_stack_protect)
1585 warning (0, "-fstack-protector not supported for this target");
1586 flag_stack_protect = 0;
1588 if (!flag_stack_protect)
1589 warn_stack_protect = 0;
1591 /* ??? Unwind info is not correct around the CFG unless either a frame
1592 pointer is present or A_O_A is set. Fixing this requires rewriting
1593 unwind info generation to be aware of the CFG and propagating states
1594 around edges. */
1595 if (flag_unwind_tables && !ACCUMULATE_OUTGOING_ARGS
1596 && flag_omit_frame_pointer)
1598 warning (0, "unwind tables currently require a frame pointer "
1599 "for correctness");
1600 flag_omit_frame_pointer = 0;
1603 /* Save the current optimization options. */
1604 optimization_default_node = build_optimization_node ();
1605 optimization_current_node = optimization_default_node;
1608 /* This function can be called multiple times to reinitialize the compiler
1609 back end when register classes or instruction sets have changed,
1610 before each function. */
1611 static void
1612 backend_init_target (void)
1614 /* Initialize alignment variables. */
1615 init_alignments ();
1617 /* This reinitializes hard_frame_pointer, and calls init_reg_modes_target()
1618 to initialize reg_raw_mode[]. */
1619 init_emit_regs ();
1621 /* This invokes target hooks to set fixed_reg[] etc, which is
1622 mode-dependent. */
1623 init_regs ();
1625 /* This depends on stack_pointer_rtx. */
1626 init_fake_stack_mems ();
1628 /* Sets static_base_value[HARD_FRAME_POINTER_REGNUM], which is
1629 mode-dependent. */
1630 init_alias_target ();
1632 /* Depends on HARD_FRAME_POINTER_REGNUM. */
1633 init_reload ();
1635 /* The following initialization functions need to generate rtl, so
1636 provide a dummy function context for them. */
1637 init_dummy_function_start ();
1639 /* rtx_cost is mode-dependent, so cached values need to be recomputed
1640 on a mode change. */
1641 init_expmed ();
1643 /* We may need to recompute regno_save_code[] and regno_restore_code[]
1644 after a mode change as well. */
1645 caller_save_initialized_p = false;
1647 expand_dummy_function_end ();
1650 /* Initialize the compiler back end. This function is called only once,
1651 when starting the compiler. */
1652 static void
1653 backend_init (void)
1655 init_emit_once ();
1657 init_rtlanal ();
1658 init_inline_once ();
1659 init_varasm_once ();
1660 save_register_info ();
1662 /* Initialize the target-specific back end pieces. */
1663 ira_init_once ();
1664 backend_init_target ();
1667 /* Initialize excess precision settings. */
1668 static void
1669 init_excess_precision (void)
1671 /* Adjust excess precision handling based on the target options. If
1672 the front end cannot handle it, flag_excess_precision_cmdline
1673 will already have been set accordingly in the post_options
1674 hook. */
1675 gcc_assert (flag_excess_precision_cmdline != EXCESS_PRECISION_DEFAULT);
1676 flag_excess_precision = flag_excess_precision_cmdline;
1677 if (flag_unsafe_math_optimizations)
1678 flag_excess_precision = EXCESS_PRECISION_FAST;
1679 if (flag_excess_precision == EXCESS_PRECISION_STANDARD)
1681 int flt_eval_method = TARGET_FLT_EVAL_METHOD;
1682 switch (flt_eval_method)
1684 case -1:
1685 case 0:
1686 /* Either the target acts unpredictably (-1) or has all the
1687 operations required not to have excess precision (0). */
1688 flag_excess_precision = EXCESS_PRECISION_FAST;
1689 break;
1690 case 1:
1691 case 2:
1692 /* In these cases, predictable excess precision makes
1693 sense. */
1694 break;
1695 default:
1696 /* Any other implementation-defined FLT_EVAL_METHOD values
1697 require the compiler to handle the associated excess
1698 precision rules in excess_precision_type. */
1699 gcc_unreachable ();
1704 /* Initialize things that are both lang-dependent and target-dependent.
1705 This function can be called more than once if target parameters change. */
1706 static void
1707 lang_dependent_init_target (void)
1709 /* This determines excess precision settings. */
1710 init_excess_precision ();
1712 /* This creates various _DECL nodes, so needs to be called after the
1713 front end is initialized. It also depends on the HAVE_xxx macros
1714 generated from the target machine description. */
1715 init_optabs ();
1717 /* The following initialization functions need to generate rtl, so
1718 provide a dummy function context for them. */
1719 init_dummy_function_start ();
1721 /* Do the target-specific parts of expr initialization. */
1722 init_expr_target ();
1724 /* Although the actions of these functions are language-independent,
1725 they use optabs, so we cannot call them from backend_init. */
1726 init_set_costs ();
1727 ira_init ();
1729 expand_dummy_function_end ();
1732 /* Language-dependent initialization. Returns nonzero on success. */
1733 static int
1734 lang_dependent_init (const char *name)
1736 location_t save_loc = input_location;
1737 if (dump_base_name == 0)
1738 dump_base_name = name && name[0] ? name : "gccdump";
1740 /* Other front-end initialization. */
1741 input_location = BUILTINS_LOCATION;
1742 if (lang_hooks.init () == 0)
1743 return 0;
1744 input_location = save_loc;
1746 init_asm_output (name);
1748 /* If stack usage information is desired, open the output file. */
1749 if (flag_stack_usage)
1750 stack_usage_file = open_auxiliary_file ("su");
1752 /* This creates various _DECL nodes, so needs to be called after the
1753 front end is initialized. */
1754 init_eh ();
1756 /* Do the target-specific parts of the initialization. */
1757 lang_dependent_init_target ();
1759 /* If dbx symbol table desired, initialize writing it and output the
1760 predefined types. */
1761 timevar_push (TV_SYMOUT);
1763 #if defined DWARF2_DEBUGGING_INFO || defined DWARF2_UNWIND_INFO
1764 if (dwarf2out_do_frame ())
1765 dwarf2out_frame_init ();
1766 #endif
1768 /* Now we have the correct original filename, we can initialize
1769 debug output. */
1770 (*debug_hooks->init) (name);
1772 timevar_pop (TV_SYMOUT);
1774 return 1;
1778 /* Reinitialize everything when target parameters, such as register usage,
1779 have changed. */
1780 void
1781 target_reinit (void)
1783 struct rtl_data saved_x_rtl;
1784 rtx *saved_regno_reg_rtx;
1786 /* Save *crtl and regno_reg_rtx around the reinitialization
1787 to allow target_reinit being called even after prepare_function_start. */
1788 saved_regno_reg_rtx = regno_reg_rtx;
1789 if (saved_regno_reg_rtx)
1791 saved_x_rtl = *crtl;
1792 memset (crtl, '\0', sizeof (*crtl));
1793 regno_reg_rtx = NULL;
1796 /* Reinitialize RTL backend. */
1797 backend_init_target ();
1799 /* Reinitialize lang-dependent parts. */
1800 lang_dependent_init_target ();
1802 /* And restore it at the end, as free_after_compilation from
1803 expand_dummy_function_end clears it. */
1804 if (saved_regno_reg_rtx)
1806 *crtl = saved_x_rtl;
1807 regno_reg_rtx = saved_regno_reg_rtx;
1808 saved_regno_reg_rtx = NULL;
1812 void
1813 dump_memory_report (bool final)
1815 ggc_print_statistics ();
1816 stringpool_statistics ();
1817 dump_tree_statistics ();
1818 dump_gimple_statistics ();
1819 dump_rtx_statistics ();
1820 dump_alloc_pool_statistics ();
1821 dump_bitmap_statistics ();
1822 dump_vec_loc_statistics ();
1823 dump_ggc_loc_statistics (final);
1824 dump_alias_stats (stderr);
1825 dump_pta_stats (stderr);
1828 /* Clean up: close opened files, etc. */
1830 static void
1831 finalize (bool no_backend)
1833 /* Close the dump files. */
1834 if (flag_gen_aux_info)
1836 fclose (aux_info_file);
1837 if (seen_error ())
1838 unlink (aux_info_file_name);
1841 /* Close non-debugging input and output files. Take special care to note
1842 whether fclose returns an error, since the pages might still be on the
1843 buffer chain while the file is open. */
1845 if (asm_out_file)
1847 if (ferror (asm_out_file) != 0)
1848 fatal_error ("error writing to %s: %m", asm_file_name);
1849 if (fclose (asm_out_file) != 0)
1850 fatal_error ("error closing %s: %m", asm_file_name);
1851 if (flag_wpa)
1852 unlink_if_ordinary (asm_file_name);
1855 if (stack_usage_file)
1856 fclose (stack_usage_file);
1858 if (!no_backend)
1860 statistics_fini ();
1862 finish_optimization_passes ();
1864 ira_finish_once ();
1867 if (mem_report)
1868 dump_memory_report (true);
1870 /* Language-specific end of compilation actions. */
1871 lang_hooks.finish ();
1874 /* Initialize the compiler, and compile the input file. */
1875 static void
1876 do_compile (void)
1878 /* Initialize timing first. The C front ends read the main file in
1879 the post_options hook, and C++ does file timings. */
1880 if (time_report || !quiet_flag || flag_detailed_statistics)
1881 timevar_init ();
1882 timevar_start (TV_TOTAL);
1884 process_options ();
1886 /* Don't do any more if an error has already occurred. */
1887 if (!seen_error ())
1889 /* This must be run always, because it is needed to compute the FP
1890 predefined macros, such as __LDBL_MAX__, for targets using non
1891 default FP formats. */
1892 init_adjust_machine_modes ();
1894 /* Set up the back-end if requested. */
1895 if (!no_backend)
1896 backend_init ();
1898 /* Language-dependent initialization. Returns true on success. */
1899 if (lang_dependent_init (main_input_filename))
1900 compile_file ();
1902 finalize (no_backend);
1905 /* Stop timing and print the times. */
1906 timevar_stop (TV_TOTAL);
1907 timevar_print (stderr);
1910 /* Entry point of cc1, cc1plus, jc1, f771, etc.
1911 Exit code is FATAL_EXIT_CODE if can't open files or if there were
1912 any errors, or SUCCESS_EXIT_CODE if compilation succeeded.
1914 It is not safe to call this function more than once. */
1917 toplev_main (int argc, char **argv)
1919 expandargv (&argc, &argv);
1921 /* Initialization of GCC's environment, and diagnostics. */
1922 general_init (argv[0]);
1924 /* One-off initialization of options that does not need to be
1925 repeated when options are added for particular functions. */
1926 init_options_once ();
1928 /* Initialize global options structures; this must be repeated for
1929 each structure used for parsing options. */
1930 init_options_struct (&global_options, &global_options_set);
1931 lang_hooks.init_options_struct (&global_options);
1933 /* Convert the options to an array. */
1934 decode_cmdline_options_to_array_default_mask (argc,
1935 CONST_CAST2 (const char **,
1936 char **, argv),
1937 &save_decoded_options,
1938 &save_decoded_options_count);
1940 /* Perform language-specific options initialization. */
1941 lang_hooks.init_options (save_decoded_options_count, save_decoded_options);
1943 /* Parse the options and do minimal processing; basically just
1944 enough to default flags appropriately. */
1945 decode_options (&global_options, &global_options_set,
1946 save_decoded_options, save_decoded_options_count,
1947 UNKNOWN_LOCATION, global_dc);
1949 handle_common_deferred_options ();
1951 init_local_tick ();
1953 initialize_plugins ();
1955 if (version_flag)
1956 print_version (stderr, "");
1958 if (help_flag)
1959 print_plugins_help (stderr, "");
1961 /* Exit early if we can (e.g. -help). */
1962 if (!exit_after_options)
1963 do_compile ();
1965 if (warningcount || errorcount)
1966 print_ignored_options ();
1967 diagnostic_finish (global_dc);
1969 /* Invoke registered plugin callbacks if any. */
1970 invoke_plugin_callbacks (PLUGIN_FINISH, NULL);
1972 finalize_plugins ();
1973 if (seen_error ())
1974 return (FATAL_EXIT_CODE);
1976 return (SUCCESS_EXIT_CODE);