2015-01-15 Vladimir Makarov <vmakarov@redhat.com>
[official-gcc.git] / gcc / toplev.c
blob7bf177fa970538a57d8a24d6cd4d31ef2b311c86
1 /* Top level of GCC compilers (cc1, cc1plus, etc.)
2 Copyright (C) 1987-2015 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC is free software; you can redistribute it and/or modify it under
7 the terms of the GNU General Public License as published by the Free
8 Software Foundation; either version 3, or (at your option) any later
9 version.
11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 for more details.
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING3. If not see
18 <http://www.gnu.org/licenses/>. */
20 /* This is the top level of cc1/c++.
21 It parses command args, opens files, invokes the various passes
22 in the proper order, and counts the time used by each.
23 Error messages and low-level interface to malloc also handled here. */
25 #include "config.h"
26 #include "system.h"
27 #include "coretypes.h"
28 #include "tm.h"
29 #include "line-map.h"
30 #include "input.h"
31 #include "hash-set.h"
32 #include "machmode.h"
33 #include "vec.h"
34 #include "double-int.h"
35 #include "alias.h"
36 #include "symtab.h"
37 #include "wide-int.h"
38 #include "inchash.h"
39 #include "tree.h"
40 #include "fold-const.h"
41 #include "varasm.h"
42 #include "tree-inline.h"
43 #include "realmpfr.h" /* For GMP/MPFR/MPC versions, in print_version. */
44 #include "version.h"
45 #include "rtl.h"
46 #include "tm_p.h"
47 #include "flags.h"
48 #include "insn-attr.h"
49 #include "insn-config.h"
50 #include "insn-flags.h"
51 #include "hard-reg-set.h"
52 #include "recog.h"
53 #include "output.h"
54 #include "except.h"
55 #include "function.h"
56 #include "toplev.h"
57 #include "hashtab.h"
58 #include "statistics.h"
59 #include "real.h"
60 #include "fixed-value.h"
61 #include "expmed.h"
62 #include "dojump.h"
63 #include "explow.h"
64 #include "calls.h"
65 #include "emit-rtl.h"
66 #include "stmt.h"
67 #include "expr.h"
68 #include "intl.h"
69 #include "regs.h"
70 #include "timevar.h"
71 #include "diagnostic.h"
72 #include "tree-diagnostic.h"
73 #include "tree-pretty-print.h"
74 #include "params.h"
75 #include "reload.h"
76 #include "ira.h"
77 #include "lra.h"
78 #include "dwarf2asm.h"
79 #include "debug.h"
80 #include "target.h"
81 #include "common/common-target.h"
82 #include "langhooks.h"
83 #include "cfgloop.h" /* for init_set_costs */
84 #include "hosthooks.h"
85 #include "predict.h"
86 #include "basic-block.h"
87 #include "hash-map.h"
88 #include "is-a.h"
89 #include "plugin-api.h"
90 #include "ipa-ref.h"
91 #include "cgraph.h"
92 #include "opts.h"
93 #include "opts-diagnostic.h"
94 #include "coverage.h"
95 #include "value-prof.h"
96 #include "alloc-pool.h"
97 #include "asan.h"
98 #include "tsan.h"
99 #include "tree-ssa-alias.h"
100 #include "internal-fn.h"
101 #include "gimple-expr.h"
102 #include "gimple.h"
103 #include "plugin.h"
104 #include "context.h"
105 #include "pass_manager.h"
106 #include "auto-profile.h"
107 #include "dwarf2out.h"
108 #include "bitmap.h"
109 #include "ipa-reference.h"
110 #include "symbol-summary.h"
111 #include "ipa-prop.h"
112 #include "gcse.h"
113 #include "insn-codes.h"
114 #include "optabs.h"
115 #include "tree-chkp.h"
116 #include "omp-low.h"
118 #if defined(DBX_DEBUGGING_INFO) || defined(XCOFF_DEBUGGING_INFO)
119 #include "dbxout.h"
120 #endif
122 #ifdef SDB_DEBUGGING_INFO
123 #include "sdbout.h"
124 #endif
126 #ifdef XCOFF_DEBUGGING_INFO
127 #include "xcoffout.h" /* Needed for external data
128 declarations for e.g. AIX 4.x. */
129 #endif
131 #ifndef HAVE_epilogue
132 #define HAVE_epilogue 0
133 #endif
134 #ifndef HAVE_prologue
135 #define HAVE_prologue 0
136 #endif
138 #include <new>
140 static void general_init (const char *);
141 static void do_compile ();
142 static void process_options (void);
143 static void backend_init (void);
144 static int lang_dependent_init (const char *);
145 static void init_asm_output (const char *);
146 static void finalize (bool);
148 static void crash_signal (int) ATTRIBUTE_NORETURN;
149 static void compile_file (void);
151 /* True if we don't need a backend (e.g. preprocessing only). */
152 static bool no_backend;
154 /* Length of line when printing switch values. */
155 #define MAX_LINE 75
157 /* Decoded options, and number of such options. */
158 struct cl_decoded_option *save_decoded_options;
159 unsigned int save_decoded_options_count;
161 /* Used to enable -fvar-tracking, -fweb and -frename-registers according
162 to optimize in process_options (). */
163 #define AUTODETECT_VALUE 2
165 /* Debug hooks - dependent upon command line options. */
167 const struct gcc_debug_hooks *debug_hooks;
169 /* The FUNCTION_DECL for the function currently being compiled,
170 or 0 if between functions. */
171 tree current_function_decl;
173 /* Set to the FUNC_BEGIN label of the current function, or NULL
174 if none. */
175 const char * current_function_func_begin_label;
177 /* A random sequence of characters, unless overridden by user. */
178 static const char *flag_random_seed;
180 /* A local time stamp derived from the time of compilation. It will be
181 zero if the system cannot provide a time. It will be -1u, if the
182 user has specified a particular random seed. */
183 unsigned local_tick;
185 /* Random number for this compilation */
186 HOST_WIDE_INT random_seed;
188 /* -f flags. */
190 /* When non-NULL, indicates that whenever space is allocated on the
191 stack, the resulting stack pointer must not pass this
192 address---that is, for stacks that grow downward, the stack pointer
193 must always be greater than or equal to this address; for stacks
194 that grow upward, the stack pointer must be less than this address.
195 At present, the rtx may be either a REG or a SYMBOL_REF, although
196 the support provided depends on the backend. */
197 rtx stack_limit_rtx;
199 /* True if the user has tagged the function with the 'section'
200 attribute. */
202 bool user_defined_section_attribute = false;
204 struct target_flag_state default_target_flag_state;
205 #if SWITCHABLE_TARGET
206 struct target_flag_state *this_target_flag_state = &default_target_flag_state;
207 #else
208 #define this_target_flag_state (&default_target_flag_state)
209 #endif
211 /* The user symbol prefix after having resolved same. */
212 const char *user_label_prefix;
214 /* Output files for assembler code (real compiler output)
215 and debugging dumps. */
217 FILE *asm_out_file;
218 FILE *aux_info_file;
219 FILE *stack_usage_file = NULL;
221 /* The current working directory of a translation. It's generally the
222 directory from which compilation was initiated, but a preprocessed
223 file may specify the original directory in which it was
224 created. */
226 static const char *src_pwd;
228 /* Initialize src_pwd with the given string, and return true. If it
229 was already initialized, return false. As a special case, it may
230 be called with a NULL argument to test whether src_pwd has NOT been
231 initialized yet. */
233 bool
234 set_src_pwd (const char *pwd)
236 if (src_pwd)
238 if (strcmp (src_pwd, pwd) == 0)
239 return true;
240 else
241 return false;
244 src_pwd = xstrdup (pwd);
245 return true;
248 /* Return the directory from which the translation unit was initiated,
249 in case set_src_pwd() was not called before to assign it a
250 different value. */
252 const char *
253 get_src_pwd (void)
255 if (! src_pwd)
257 src_pwd = getpwd ();
258 if (!src_pwd)
259 src_pwd = ".";
262 return src_pwd;
265 /* Called when the start of a function definition is parsed,
266 this function prints on stderr the name of the function. */
267 void
268 announce_function (tree decl)
270 if (!quiet_flag)
272 if (rtl_dump_and_exit)
273 fprintf (stderr, "%s ",
274 identifier_to_locale (IDENTIFIER_POINTER (DECL_NAME (decl))));
275 else
276 fprintf (stderr, " %s",
277 identifier_to_locale (lang_hooks.decl_printable_name (decl, 2)));
278 fflush (stderr);
279 pp_needs_newline (global_dc->printer) = true;
280 diagnostic_set_last_function (global_dc, (diagnostic_info *) NULL);
284 /* Initialize local_tick with a random number or -1 if
285 flag_random_seed is set. */
287 static void
288 init_local_tick (void)
290 if (!flag_random_seed)
292 /* Try urandom first. Time of day is too likely to collide.
293 In case of any error we just use the local tick. */
295 int fd = open ("/dev/urandom", O_RDONLY);
296 if (fd >= 0)
298 read (fd, &random_seed, sizeof (random_seed));
299 close (fd);
302 /* Now get the tick anyways */
303 #ifdef HAVE_GETTIMEOFDAY
305 struct timeval tv;
307 gettimeofday (&tv, NULL);
308 local_tick = (unsigned) tv.tv_sec * 1000 + tv.tv_usec / 1000;
310 #else
312 time_t now = time (NULL);
314 if (now != (time_t)-1)
315 local_tick = (unsigned) now;
317 #endif
319 else
320 local_tick = -1;
323 /* Set up a default flag_random_seed and local_tick, unless the user
324 already specified one. Must be called after init_local_tick. */
326 static void
327 init_random_seed (void)
329 if (!random_seed)
330 random_seed = local_tick ^ getpid (); /* Old racey fallback method */
333 /* Obtain the random_seed. Unless NOINIT, initialize it if
334 it's not provided in the command line. */
336 HOST_WIDE_INT
337 get_random_seed (bool noinit)
339 if (!flag_random_seed && !noinit)
340 init_random_seed ();
341 return random_seed;
344 /* Modify the random_seed string to VAL. Return its previous
345 value. */
347 const char *
348 set_random_seed (const char *val)
350 const char *old = flag_random_seed;
351 flag_random_seed = val;
352 if (flag_random_seed)
354 char *endp;
356 /* When the driver passed in a hex number don't crc it again */
357 random_seed = strtoul (flag_random_seed, &endp, 0);
358 if (!(endp > flag_random_seed && *endp == 0))
359 random_seed = crc32_string (0, flag_random_seed);
361 return old;
364 /* Handler for fatal signals, such as SIGSEGV. These are transformed
365 into ICE messages, which is much more user friendly. In case the
366 error printer crashes, reset the signal to prevent infinite recursion. */
368 static void
369 crash_signal (int signo)
371 signal (signo, SIG_DFL);
373 /* If we crashed while processing an ASM statement, then be a little more
374 graceful. It's most likely the user's fault. */
375 if (this_is_asm_operands)
377 output_operand_lossage ("unrecoverable error");
378 exit (FATAL_EXIT_CODE);
381 internal_error ("%s", strsignal (signo));
384 /* A subroutine of wrapup_global_declarations. We've come to the end of
385 the compilation unit. All deferred variables should be undeferred,
386 and all incomplete decls should be finalized. */
388 void
389 wrapup_global_declaration_1 (tree decl)
391 /* We're not deferring this any longer. Assignment is conditional to
392 avoid needlessly dirtying PCH pages. */
393 if (CODE_CONTAINS_STRUCT (TREE_CODE (decl), TS_DECL_WITH_VIS)
394 && DECL_DEFER_OUTPUT (decl) != 0)
395 DECL_DEFER_OUTPUT (decl) = 0;
397 if (TREE_CODE (decl) == VAR_DECL && DECL_SIZE (decl) == 0)
398 lang_hooks.finish_incomplete_decl (decl);
401 /* A subroutine of wrapup_global_declarations. Decide whether or not DECL
402 needs to be output. Return true if it is output. */
404 bool
405 wrapup_global_declaration_2 (tree decl)
407 if (TREE_ASM_WRITTEN (decl) || DECL_EXTERNAL (decl)
408 || (TREE_CODE (decl) == VAR_DECL && DECL_HAS_VALUE_EXPR_P (decl)))
409 return false;
411 /* Don't write out static consts, unless we still need them.
413 We also keep static consts if not optimizing (for debugging),
414 unless the user specified -fno-keep-static-consts.
415 ??? They might be better written into the debug information.
416 This is possible when using DWARF.
418 A language processor that wants static constants to be always
419 written out (even if it is not used) is responsible for
420 calling rest_of_decl_compilation itself. E.g. the C front-end
421 calls rest_of_decl_compilation from finish_decl.
422 One motivation for this is that is conventional in some
423 environments to write things like:
424 static const char rcsid[] = "... version string ...";
425 intending to force the string to be in the executable.
427 A language processor that would prefer to have unneeded
428 static constants "optimized away" would just defer writing
429 them out until here. E.g. C++ does this, because static
430 constants are often defined in header files.
432 ??? A tempting alternative (for both C and C++) would be
433 to force a constant to be written if and only if it is
434 defined in a main file, as opposed to an include file. */
436 if (TREE_CODE (decl) == VAR_DECL && TREE_STATIC (decl))
438 varpool_node *node;
439 bool needed = true;
440 node = varpool_node::get (decl);
442 if (!node && flag_ltrans)
443 needed = false;
444 else if (node && node->definition)
445 needed = false;
446 else if (node && node->alias)
447 needed = false;
448 else if (!symtab->global_info_ready
449 && (TREE_USED (decl)
450 || TREE_USED (DECL_ASSEMBLER_NAME (decl))))
451 /* needed */;
452 else if (node && node->analyzed)
453 /* needed */;
454 else if (DECL_COMDAT (decl))
455 needed = false;
456 else if (TREE_READONLY (decl) && !TREE_PUBLIC (decl)
457 && (optimize || !flag_keep_static_consts
458 || DECL_ARTIFICIAL (decl)))
459 needed = false;
461 if (needed)
463 rest_of_decl_compilation (decl, 1, 1);
464 return true;
468 return false;
471 /* Do any final processing required for the declarations in VEC, of
472 which there are LEN. We write out inline functions and variables
473 that have been deferred until this point, but which are required.
474 Returns nonzero if anything was put out. */
476 bool
477 wrapup_global_declarations (tree *vec, int len)
479 bool reconsider, output_something = false;
480 int i;
482 for (i = 0; i < len; i++)
483 wrapup_global_declaration_1 (vec[i]);
485 /* Now emit any global variables or functions that we have been
486 putting off. We need to loop in case one of the things emitted
487 here references another one which comes earlier in the list. */
490 reconsider = false;
491 for (i = 0; i < len; i++)
492 reconsider |= wrapup_global_declaration_2 (vec[i]);
493 if (reconsider)
494 output_something = true;
496 while (reconsider);
498 return output_something;
501 /* A subroutine of check_global_declarations. Issue appropriate warnings
502 for the global declaration DECL. */
504 void
505 check_global_declaration_1 (tree decl)
507 /* Warn about any function declared static but not defined. We don't
508 warn about variables, because many programs have static variables
509 that exist only to get some text into the object file. */
510 if (TREE_CODE (decl) == FUNCTION_DECL
511 && DECL_INITIAL (decl) == 0
512 && DECL_EXTERNAL (decl)
513 && ! DECL_ARTIFICIAL (decl)
514 && ! TREE_NO_WARNING (decl)
515 && ! TREE_PUBLIC (decl)
516 && (warn_unused_function
517 || TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl))))
519 if (TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl)))
520 pedwarn (input_location, 0, "%q+F used but never defined", decl);
521 else
522 warning (OPT_Wunused_function, "%q+F declared %<static%> but never defined", decl);
523 /* This symbol is effectively an "extern" declaration now. */
524 TREE_PUBLIC (decl) = 1;
527 /* Warn about static fns or vars defined but not used. */
528 if (((warn_unused_function && TREE_CODE (decl) == FUNCTION_DECL)
529 /* We don't warn about "static const" variables because the
530 "rcs_id" idiom uses that construction. */
531 || (warn_unused_variable
532 && TREE_CODE (decl) == VAR_DECL && ! TREE_READONLY (decl)))
533 && ! DECL_IN_SYSTEM_HEADER (decl)
534 && ! TREE_USED (decl)
535 /* The TREE_USED bit for file-scope decls is kept in the identifier,
536 to handle multiple external decls in different scopes. */
537 && ! (DECL_NAME (decl) && TREE_USED (DECL_NAME (decl)))
538 && ! DECL_EXTERNAL (decl)
539 && ! TREE_PUBLIC (decl)
540 /* A volatile variable might be used in some non-obvious way. */
541 && ! TREE_THIS_VOLATILE (decl)
542 /* Global register variables must be declared to reserve them. */
543 && ! (TREE_CODE (decl) == VAR_DECL && DECL_REGISTER (decl))
544 /* Otherwise, ask the language. */
545 && lang_hooks.decls.warn_unused_global (decl))
546 warning ((TREE_CODE (decl) == FUNCTION_DECL)
547 ? OPT_Wunused_function
548 : OPT_Wunused_variable,
549 "%q+D defined but not used", decl);
552 /* Issue appropriate warnings for the global declarations in V (of
553 which there are LEN). */
555 void
556 check_global_declarations (tree *v, int len)
558 int i;
560 for (i = 0; i < len; i++)
561 check_global_declaration_1 (v[i]);
564 /* Emit debugging information for all global declarations in VEC. */
566 void
567 emit_debug_global_declarations (tree *vec, int len)
569 int i;
571 /* Avoid confusing the debug information machinery when there are errors. */
572 if (seen_error ())
573 return;
575 timevar_push (TV_SYMOUT);
576 for (i = 0; i < len; i++)
577 debug_hooks->global_decl (vec[i]);
578 timevar_pop (TV_SYMOUT);
581 /* Compile an entire translation unit. Write a file of assembly
582 output and various debugging dumps. */
584 static void
585 compile_file (void)
587 timevar_start (TV_PHASE_PARSING);
588 timevar_push (TV_PARSE_GLOBAL);
590 /* Call the parser, which parses the entire file (calling
591 rest_of_compilation for each function). */
592 lang_hooks.parse_file ();
594 timevar_pop (TV_PARSE_GLOBAL);
595 timevar_stop (TV_PHASE_PARSING);
597 /* Compilation is now finished except for writing
598 what's left of the symbol table output. */
600 if (flag_syntax_only || flag_wpa)
601 return;
603 ggc_protect_identifiers = false;
605 /* This must also call finalize_compilation_unit. */
606 lang_hooks.decls.final_write_globals ();
608 if (seen_error ())
609 return;
611 timevar_start (TV_PHASE_LATE_ASM);
613 /* Compilation unit is finalized. When producing non-fat LTO object, we are
614 basically finished. */
615 if (in_lto_p || !flag_lto || flag_fat_lto_objects)
617 /* File-scope initialization for AddressSanitizer. */
618 if (flag_sanitize & SANITIZE_ADDRESS)
619 asan_finish_file ();
621 if (flag_sanitize & SANITIZE_THREAD)
622 tsan_finish_file ();
624 if (flag_check_pointer_bounds)
625 chkp_finish_file ();
627 omp_finish_file ();
629 output_shared_constant_pool ();
630 output_object_blocks ();
631 finish_tm_clone_pairs ();
633 /* Write out any pending weak symbol declarations. */
634 weak_finish ();
636 /* This must be at the end before unwind and debug info.
637 Some target ports emit PIC setup thunks here. */
638 targetm.asm_out.code_end ();
640 /* Do dbx symbols. */
641 timevar_push (TV_SYMOUT);
643 #if defined DWARF2_DEBUGGING_INFO || defined DWARF2_UNWIND_INFO
644 if (dwarf2out_do_frame ())
645 dwarf2out_frame_finish ();
646 #endif
648 (*debug_hooks->finish) (main_input_filename);
649 timevar_pop (TV_SYMOUT);
651 /* Output some stuff at end of file if nec. */
653 dw2_output_indirect_constants ();
655 /* Flush any pending external directives. */
656 process_pending_assemble_externals ();
659 /* Emit LTO marker if LTO info has been previously emitted. This is
660 used by collect2 to determine whether an object file contains IL.
661 We used to emit an undefined reference here, but this produces
662 link errors if an object file with IL is stored into a shared
663 library without invoking lto1. */
664 if (flag_generate_lto || flag_generate_offload)
666 #if defined ASM_OUTPUT_ALIGNED_DECL_COMMON
667 ASM_OUTPUT_ALIGNED_DECL_COMMON (asm_out_file, NULL_TREE,
668 "__gnu_lto_v1",
669 (unsigned HOST_WIDE_INT) 1, 8);
670 #elif defined ASM_OUTPUT_ALIGNED_COMMON
671 ASM_OUTPUT_ALIGNED_COMMON (asm_out_file, "__gnu_lto_v1",
672 (unsigned HOST_WIDE_INT) 1, 8);
673 #else
674 ASM_OUTPUT_COMMON (asm_out_file, "__gnu_lto_v1",
675 (unsigned HOST_WIDE_INT) 1,
676 (unsigned HOST_WIDE_INT) 1);
677 #endif
680 /* Let linker plugin know that this is a slim object and must be LTOed
681 even when user did not ask for it. */
682 if (flag_generate_lto && !flag_fat_lto_objects)
684 #if defined ASM_OUTPUT_ALIGNED_DECL_COMMON
685 ASM_OUTPUT_ALIGNED_DECL_COMMON (asm_out_file, NULL_TREE, "__gnu_lto_slim",
686 (unsigned HOST_WIDE_INT) 1, 8);
687 #elif defined ASM_OUTPUT_ALIGNED_COMMON
688 ASM_OUTPUT_ALIGNED_COMMON (asm_out_file, "__gnu_lto_slim",
689 (unsigned HOST_WIDE_INT) 1, 8);
690 #else
691 ASM_OUTPUT_COMMON (asm_out_file, "__gnu_lto_slim",
692 (unsigned HOST_WIDE_INT) 1,
693 (unsigned HOST_WIDE_INT) 1);
694 #endif
697 /* Attach a special .ident directive to the end of the file to identify
698 the version of GCC which compiled this code. The format of the .ident
699 string is patterned after the ones produced by native SVR4 compilers. */
700 if (!flag_no_ident)
702 const char *pkg_version = "(GNU) ";
703 char *ident_str;
705 if (strcmp ("(GCC) ", pkgversion_string))
706 pkg_version = pkgversion_string;
708 ident_str = ACONCAT (("GCC: ", pkg_version, version_string, NULL));
709 targetm.asm_out.output_ident (ident_str);
712 /* Auto profile finalization. */
713 if (flag_auto_profile)
714 end_auto_profile ();
716 /* Invoke registered plugin callbacks. */
717 invoke_plugin_callbacks (PLUGIN_FINISH_UNIT, NULL);
719 /* This must be at the end. Some target ports emit end of file directives
720 into the assembly file here, and hence we can not output anything to the
721 assembly file after this point. */
722 targetm.asm_out.file_end ();
724 timevar_stop (TV_PHASE_LATE_ASM);
727 /* Print version information to FILE.
728 Each line begins with INDENT (for the case where FILE is the
729 assembler output file). */
731 void
732 print_version (FILE *file, const char *indent)
734 static const char fmt1[] =
735 #ifdef __GNUC__
736 N_("%s%s%s %sversion %s (%s)\n%s\tcompiled by GNU C version %s, ")
737 #else
738 N_("%s%s%s %sversion %s (%s) compiled by CC, ")
739 #endif
741 static const char fmt2[] =
742 N_("GMP version %s, MPFR version %s, MPC version %s\n");
743 static const char fmt3[] =
744 N_("%s%swarning: %s header version %s differs from library version %s.\n");
745 static const char fmt4[] =
746 N_("%s%sGGC heuristics: --param ggc-min-expand=%d --param ggc-min-heapsize=%d\n");
747 #ifndef __VERSION__
748 #define __VERSION__ "[?]"
749 #endif
750 fprintf (file,
751 file == stderr ? _(fmt1) : fmt1,
752 indent, *indent != 0 ? " " : "",
753 lang_hooks.name, pkgversion_string, version_string, TARGET_NAME,
754 indent, __VERSION__);
756 /* We need to stringify the GMP macro values. Ugh, gmp_version has
757 two string formats, "i.j.k" and "i.j" when k is zero. As of
758 gmp-4.3.0, GMP always uses the 3 number format. */
759 #define GCC_GMP_STRINGIFY_VERSION3(X) #X
760 #define GCC_GMP_STRINGIFY_VERSION2(X) GCC_GMP_STRINGIFY_VERSION3 (X)
761 #define GCC_GMP_VERSION_NUM(X,Y,Z) (((X) << 16L) | ((Y) << 8) | (Z))
762 #define GCC_GMP_VERSION \
763 GCC_GMP_VERSION_NUM(__GNU_MP_VERSION, __GNU_MP_VERSION_MINOR, __GNU_MP_VERSION_PATCHLEVEL)
764 #if GCC_GMP_VERSION < GCC_GMP_VERSION_NUM(4,3,0) && __GNU_MP_VERSION_PATCHLEVEL == 0
765 #define GCC_GMP_STRINGIFY_VERSION \
766 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION) "." \
767 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_MINOR)
768 #else
769 #define GCC_GMP_STRINGIFY_VERSION \
770 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION) "." \
771 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_MINOR) "." \
772 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_PATCHLEVEL)
773 #endif
774 fprintf (file,
775 file == stderr ? _(fmt2) : fmt2,
776 GCC_GMP_STRINGIFY_VERSION, MPFR_VERSION_STRING, MPC_VERSION_STRING);
777 if (strcmp (GCC_GMP_STRINGIFY_VERSION, gmp_version))
778 fprintf (file,
779 file == stderr ? _(fmt3) : fmt3,
780 indent, *indent != 0 ? " " : "",
781 "GMP", GCC_GMP_STRINGIFY_VERSION, gmp_version);
782 if (strcmp (MPFR_VERSION_STRING, mpfr_get_version ()))
783 fprintf (file,
784 file == stderr ? _(fmt3) : fmt3,
785 indent, *indent != 0 ? " " : "",
786 "MPFR", MPFR_VERSION_STRING, mpfr_get_version ());
787 if (strcmp (MPC_VERSION_STRING, mpc_get_version ()))
788 fprintf (file,
789 file == stderr ? _(fmt3) : fmt3,
790 indent, *indent != 0 ? " " : "",
791 "MPC", MPC_VERSION_STRING, mpc_get_version ());
792 fprintf (file,
793 file == stderr ? _(fmt4) : fmt4,
794 indent, *indent != 0 ? " " : "",
795 PARAM_VALUE (GGC_MIN_EXPAND), PARAM_VALUE (GGC_MIN_HEAPSIZE));
797 print_plugins_versions (file, indent);
800 static int
801 print_to_asm_out_file (print_switch_type type, const char * text)
803 bool prepend_sep = true;
805 switch (type)
807 case SWITCH_TYPE_LINE_END:
808 putc ('\n', asm_out_file);
809 return 1;
811 case SWITCH_TYPE_LINE_START:
812 fputs (ASM_COMMENT_START, asm_out_file);
813 return strlen (ASM_COMMENT_START);
815 case SWITCH_TYPE_DESCRIPTIVE:
816 if (ASM_COMMENT_START[0] == 0)
817 prepend_sep = false;
818 /* Drop through. */
819 case SWITCH_TYPE_PASSED:
820 case SWITCH_TYPE_ENABLED:
821 if (prepend_sep)
822 fputc (' ', asm_out_file);
823 fputs (text, asm_out_file);
824 /* No need to return the length here as
825 print_single_switch has already done it. */
826 return 0;
828 default:
829 return -1;
833 static int
834 print_to_stderr (print_switch_type type, const char * text)
836 switch (type)
838 case SWITCH_TYPE_LINE_END:
839 putc ('\n', stderr);
840 return 1;
842 case SWITCH_TYPE_LINE_START:
843 return 0;
845 case SWITCH_TYPE_PASSED:
846 case SWITCH_TYPE_ENABLED:
847 fputc (' ', stderr);
848 /* Drop through. */
850 case SWITCH_TYPE_DESCRIPTIVE:
851 fputs (text, stderr);
852 /* No need to return the length here as
853 print_single_switch has already done it. */
854 return 0;
856 default:
857 return -1;
861 /* Print an option value and return the adjusted position in the line.
862 ??? print_fn doesn't handle errors, eg disk full; presumably other
863 code will catch a disk full though. */
865 static int
866 print_single_switch (print_switch_fn_type print_fn,
867 int pos,
868 print_switch_type type,
869 const char * text)
871 /* The ultrix fprintf returns 0 on success, so compute the result
872 we want here since we need it for the following test. The +1
873 is for the separator character that will probably be emitted. */
874 int len = strlen (text) + 1;
876 if (pos != 0
877 && pos + len > MAX_LINE)
879 print_fn (SWITCH_TYPE_LINE_END, NULL);
880 pos = 0;
883 if (pos == 0)
884 pos += print_fn (SWITCH_TYPE_LINE_START, NULL);
886 print_fn (type, text);
887 return pos + len;
890 /* Print active target switches using PRINT_FN.
891 POS is the current cursor position and MAX is the size of a "line".
892 Each line begins with INDENT and ends with TERM.
893 Each switch is separated from the next by SEP. */
895 static void
896 print_switch_values (print_switch_fn_type print_fn)
898 int pos = 0;
899 size_t j;
901 /* Fill in the -frandom-seed option, if the user didn't pass it, so
902 that it can be printed below. This helps reproducibility. */
903 if (!flag_random_seed)
904 init_random_seed ();
906 /* Print the options as passed. */
907 pos = print_single_switch (print_fn, pos,
908 SWITCH_TYPE_DESCRIPTIVE, _("options passed: "));
910 for (j = 1; j < save_decoded_options_count; j++)
912 switch (save_decoded_options[j].opt_index)
914 case OPT_o:
915 case OPT_d:
916 case OPT_dumpbase:
917 case OPT_dumpdir:
918 case OPT_auxbase:
919 case OPT_quiet:
920 case OPT_version:
921 /* Ignore these. */
922 continue;
925 pos = print_single_switch (print_fn, pos, SWITCH_TYPE_PASSED,
926 save_decoded_options[j].orig_option_with_args_text);
929 if (pos > 0)
930 print_fn (SWITCH_TYPE_LINE_END, NULL);
932 /* Print the -f and -m options that have been enabled.
933 We don't handle language specific options but printing argv
934 should suffice. */
935 pos = print_single_switch (print_fn, 0,
936 SWITCH_TYPE_DESCRIPTIVE, _("options enabled: "));
938 for (j = 0; j < cl_options_count; j++)
939 if (cl_options[j].cl_report
940 && option_enabled (j, &global_options) > 0)
941 pos = print_single_switch (print_fn, pos,
942 SWITCH_TYPE_ENABLED, cl_options[j].opt_text);
944 print_fn (SWITCH_TYPE_LINE_END, NULL);
947 /* Open assembly code output file. Do this even if -fsyntax-only is
948 on, because then the driver will have provided the name of a
949 temporary file or bit bucket for us. NAME is the file specified on
950 the command line, possibly NULL. */
951 static void
952 init_asm_output (const char *name)
954 if (name == NULL && asm_file_name == 0)
955 asm_out_file = stdout;
956 else
958 if (asm_file_name == 0)
960 int len = strlen (dump_base_name);
961 char *dumpname = XNEWVEC (char, len + 6);
963 memcpy (dumpname, dump_base_name, len + 1);
964 strip_off_ending (dumpname, len);
965 strcat (dumpname, ".s");
966 asm_file_name = dumpname;
968 if (!strcmp (asm_file_name, "-"))
969 asm_out_file = stdout;
970 else if (!canonical_filename_eq (asm_file_name, name)
971 || !strcmp (asm_file_name, HOST_BIT_BUCKET))
972 asm_out_file = fopen (asm_file_name, "w");
973 else
974 /* Use fatal_error (UNKOWN_LOCATION) instead of just fatal_error to
975 prevent gcc from printing the first line in the current file. */
976 fatal_error (UNKNOWN_LOCATION,
977 "input file %qs is the same as output file",
978 asm_file_name);
979 if (asm_out_file == 0)
980 fatal_error (UNKNOWN_LOCATION,
981 "can%'t open %qs for writing: %m", asm_file_name);
984 if (!flag_syntax_only)
986 targetm.asm_out.file_start ();
988 if (flag_record_gcc_switches)
990 if (targetm.asm_out.record_gcc_switches)
992 /* Let the target know that we are about to start recording. */
993 targetm.asm_out.record_gcc_switches (SWITCH_TYPE_DESCRIPTIVE,
994 NULL);
995 /* Now record the switches. */
996 print_switch_values (targetm.asm_out.record_gcc_switches);
997 /* Let the target know that the recording is over. */
998 targetm.asm_out.record_gcc_switches (SWITCH_TYPE_DESCRIPTIVE,
999 NULL);
1001 else
1002 inform (input_location, "-frecord-gcc-switches is not supported by the current target");
1005 if (flag_verbose_asm)
1007 /* Print the list of switches in effect
1008 into the assembler file as comments. */
1009 print_version (asm_out_file, ASM_COMMENT_START);
1010 print_switch_values (print_to_asm_out_file);
1011 putc ('\n', asm_out_file);
1016 /* A helper function; used as the reallocator function for cpp's line
1017 table. */
1018 static void *
1019 realloc_for_line_map (void *ptr, size_t len)
1021 return ggc_realloc (ptr, len);
1024 /* A helper function: used as the allocator function for
1025 identifier_to_locale. */
1026 static void *
1027 alloc_for_identifier_to_locale (size_t len)
1029 return ggc_alloc_atomic (len);
1032 /* Output stack usage information. */
1033 void
1034 output_stack_usage (void)
1036 static bool warning_issued = false;
1037 enum stack_usage_kind_type { STATIC = 0, DYNAMIC, DYNAMIC_BOUNDED };
1038 const char *stack_usage_kind_str[] = {
1039 "static",
1040 "dynamic",
1041 "dynamic,bounded"
1043 HOST_WIDE_INT stack_usage = current_function_static_stack_size;
1044 enum stack_usage_kind_type stack_usage_kind;
1046 if (stack_usage < 0)
1048 if (!warning_issued)
1050 warning (0, "stack usage computation not supported for this target");
1051 warning_issued = true;
1053 return;
1056 stack_usage_kind = STATIC;
1058 /* Add the maximum amount of space pushed onto the stack. */
1059 if (current_function_pushed_stack_size > 0)
1061 stack_usage += current_function_pushed_stack_size;
1062 stack_usage_kind = DYNAMIC_BOUNDED;
1065 /* Now on to the tricky part: dynamic stack allocation. */
1066 if (current_function_allocates_dynamic_stack_space)
1068 if (current_function_has_unbounded_dynamic_stack_size)
1069 stack_usage_kind = DYNAMIC;
1070 else
1071 stack_usage_kind = DYNAMIC_BOUNDED;
1073 /* Add the size even in the unbounded case, this can't hurt. */
1074 stack_usage += current_function_dynamic_stack_size;
1077 if (flag_stack_usage)
1079 expanded_location loc
1080 = expand_location (DECL_SOURCE_LOCATION (current_function_decl));
1081 /* We don't want to print the full qualified name because it can be long,
1082 so we strip the scope prefix, but we may need to deal with the suffix
1083 created by the compiler. */
1084 const char *suffix
1085 = strchr (IDENTIFIER_POINTER (DECL_NAME (current_function_decl)), '.');
1086 const char *name
1087 = lang_hooks.decl_printable_name (current_function_decl, 2);
1088 if (suffix)
1090 const char *dot = strchr (name, '.');
1091 while (dot && strcasecmp (dot, suffix) != 0)
1093 name = dot + 1;
1094 dot = strchr (name, '.');
1097 else
1099 const char *dot = strrchr (name, '.');
1100 if (dot)
1101 name = dot + 1;
1104 fprintf (stack_usage_file,
1105 "%s:%d:%d:%s\t"HOST_WIDE_INT_PRINT_DEC"\t%s\n",
1106 lbasename (loc.file),
1107 loc.line,
1108 loc.column,
1109 name,
1110 stack_usage,
1111 stack_usage_kind_str[stack_usage_kind]);
1114 if (warn_stack_usage >= 0)
1116 const location_t loc = DECL_SOURCE_LOCATION (current_function_decl);
1118 if (stack_usage_kind == DYNAMIC)
1119 warning_at (loc, OPT_Wstack_usage_, "stack usage might be unbounded");
1120 else if (stack_usage > warn_stack_usage)
1122 if (stack_usage_kind == DYNAMIC_BOUNDED)
1123 warning_at (loc,
1124 OPT_Wstack_usage_, "stack usage might be %wd bytes",
1125 stack_usage);
1126 else
1127 warning_at (loc, OPT_Wstack_usage_, "stack usage is %wd bytes",
1128 stack_usage);
1133 /* Open an auxiliary output file. */
1134 static FILE *
1135 open_auxiliary_file (const char *ext)
1137 char *filename;
1138 FILE *file;
1140 filename = concat (aux_base_name, ".", ext, NULL);
1141 file = fopen (filename, "w");
1142 if (!file)
1143 fatal_error ("can%'t open %s for writing: %m", filename);
1144 free (filename);
1145 return file;
1148 /* Initialization of the front end environment, before command line
1149 options are parsed. Signal handlers, internationalization etc.
1150 ARGV0 is main's argv[0]. */
1151 static void
1152 general_init (const char *argv0)
1154 const char *p;
1156 p = argv0 + strlen (argv0);
1157 while (p != argv0 && !IS_DIR_SEPARATOR (p[-1]))
1158 --p;
1159 progname = p;
1161 xmalloc_set_program_name (progname);
1163 hex_init ();
1165 /* Unlock the stdio streams. */
1166 unlock_std_streams ();
1168 gcc_init_libintl ();
1170 identifier_to_locale_alloc = alloc_for_identifier_to_locale;
1171 identifier_to_locale_free = ggc_free;
1173 /* Initialize the diagnostics reporting machinery, so option parsing
1174 can give warnings and errors. */
1175 diagnostic_initialize (global_dc, N_OPTS);
1176 /* Set a default printer. Language specific initializations will
1177 override it later. */
1178 tree_diagnostics_defaults (global_dc);
1180 global_dc->show_caret
1181 = global_options_init.x_flag_diagnostics_show_caret;
1182 global_dc->show_option_requested
1183 = global_options_init.x_flag_diagnostics_show_option;
1184 global_dc->show_column
1185 = global_options_init.x_flag_show_column;
1186 global_dc->internal_error = plugins_internal_error_function;
1187 global_dc->option_enabled = option_enabled;
1188 global_dc->option_state = &global_options;
1189 global_dc->option_name = option_name;
1191 /* Trap fatal signals, e.g. SIGSEGV, and convert them to ICE messages. */
1192 #ifdef SIGSEGV
1193 signal (SIGSEGV, crash_signal);
1194 #endif
1195 #ifdef SIGILL
1196 signal (SIGILL, crash_signal);
1197 #endif
1198 #ifdef SIGBUS
1199 signal (SIGBUS, crash_signal);
1200 #endif
1201 #ifdef SIGABRT
1202 signal (SIGABRT, crash_signal);
1203 #endif
1204 #if defined SIGIOT && (!defined SIGABRT || SIGABRT != SIGIOT)
1205 signal (SIGIOT, crash_signal);
1206 #endif
1207 #ifdef SIGFPE
1208 signal (SIGFPE, crash_signal);
1209 #endif
1211 /* Other host-specific signal setup. */
1212 (*host_hooks.extra_signals)();
1214 /* Initialize the garbage-collector, string pools and tree type hash
1215 table. */
1216 init_ggc ();
1217 init_stringpool ();
1218 input_location = UNKNOWN_LOCATION;
1219 line_table = ggc_alloc<line_maps> ();
1220 linemap_init (line_table, BUILTINS_LOCATION);
1221 line_table->reallocator = realloc_for_line_map;
1222 line_table->round_alloc_size = ggc_round_alloc_size;
1223 init_ttree ();
1225 /* Initialize register usage now so switches may override. */
1226 init_reg_sets ();
1228 /* Register the language-independent parameters. */
1229 global_init_params ();
1231 /* This must be done after global_init_params but before argument
1232 processing. */
1233 init_ggc_heuristics ();
1235 /* Create the singleton holder for global state.
1236 Doing so also creates the pass manager and with it the passes. */
1237 g = new gcc::context ();
1238 symtab = new (ggc_cleared_alloc <symbol_table> ()) symbol_table ();
1240 statistics_early_init ();
1241 finish_params ();
1244 /* Return true if the current target supports -fsection-anchors. */
1246 static bool
1247 target_supports_section_anchors_p (void)
1249 if (targetm.min_anchor_offset == 0 && targetm.max_anchor_offset == 0)
1250 return false;
1252 if (targetm.asm_out.output_anchor == NULL)
1253 return false;
1255 return true;
1258 /* Default the align_* variables to 1 if they're still unset, and
1259 set up the align_*_log variables. */
1260 static void
1261 init_alignments (void)
1263 if (align_loops <= 0)
1264 align_loops = 1;
1265 if (align_loops_max_skip > align_loops)
1266 align_loops_max_skip = align_loops - 1;
1267 align_loops_log = floor_log2 (align_loops * 2 - 1);
1268 if (align_jumps <= 0)
1269 align_jumps = 1;
1270 if (align_jumps_max_skip > align_jumps)
1271 align_jumps_max_skip = align_jumps - 1;
1272 align_jumps_log = floor_log2 (align_jumps * 2 - 1);
1273 if (align_labels <= 0)
1274 align_labels = 1;
1275 align_labels_log = floor_log2 (align_labels * 2 - 1);
1276 if (align_labels_max_skip > align_labels)
1277 align_labels_max_skip = align_labels - 1;
1278 if (align_functions <= 0)
1279 align_functions = 1;
1280 align_functions_log = floor_log2 (align_functions * 2 - 1);
1283 /* Process the options that have been parsed. */
1284 static void
1285 process_options (void)
1287 /* Just in case lang_hooks.post_options ends up calling a debug_hook.
1288 This can happen with incorrect pre-processed input. */
1289 debug_hooks = &do_nothing_debug_hooks;
1291 maximum_field_alignment = initial_max_fld_align * BITS_PER_UNIT;
1293 /* Allow the front end to perform consistency checks and do further
1294 initialization based on the command line options. This hook also
1295 sets the original filename if appropriate (e.g. foo.i -> foo.c)
1296 so we can correctly initialize debug output. */
1297 no_backend = lang_hooks.post_options (&main_input_filename);
1299 /* Set default values for parameters relation to the Scalar Reduction
1300 of Aggregates passes (SRA and IP-SRA). We must do this here, rather
1301 than in opts.c:default_options_optimization as historically these
1302 tuning heuristics have been based on MOVE_RATIO, which on some
1303 targets requires other symbols from the backend. */
1304 maybe_set_param_value
1305 (PARAM_SRA_MAX_SCALARIZATION_SIZE_SPEED,
1306 get_move_ratio (true) * UNITS_PER_WORD,
1307 global_options.x_param_values, global_options_set.x_param_values);
1308 maybe_set_param_value
1309 (PARAM_SRA_MAX_SCALARIZATION_SIZE_SIZE,
1310 get_move_ratio (false) * UNITS_PER_WORD,
1311 global_options.x_param_values, global_options_set.x_param_values);
1313 /* Some machines may reject certain combinations of options. */
1314 targetm.target_option.override ();
1316 /* Avoid any informative notes in the second run of -fcompare-debug. */
1317 if (flag_compare_debug)
1318 diagnostic_inhibit_notes (global_dc);
1320 if (flag_section_anchors && !target_supports_section_anchors_p ())
1322 warning (OPT_fsection_anchors,
1323 "this target does not support %qs", "-fsection-anchors");
1324 flag_section_anchors = 0;
1327 if (flag_short_enums == 2)
1328 flag_short_enums = targetm.default_short_enums ();
1330 /* Set aux_base_name if not already set. */
1331 if (aux_base_name)
1333 else if (main_input_filename)
1335 char *name = xstrdup (lbasename (main_input_filename));
1337 strip_off_ending (name, strlen (name));
1338 aux_base_name = name;
1340 else
1341 aux_base_name = "gccaux";
1343 #ifndef HAVE_isl
1344 if (flag_graphite
1345 || flag_graphite_identity
1346 || flag_loop_block
1347 || flag_loop_interchange
1348 || flag_loop_strip_mine
1349 || flag_loop_parallelize_all
1350 || flag_loop_unroll_jam)
1351 sorry ("Graphite loop optimizations cannot be used (ISL is not available)"
1352 "(-fgraphite, -fgraphite-identity, -floop-block, "
1353 "-floop-interchange, -floop-strip-mine, -floop-parallelize-all, "
1354 "-floop-unroll-and-jam, and -ftree-loop-linear)");
1355 #endif
1357 if (flag_check_pointer_bounds)
1359 if (targetm.chkp_bound_mode () == VOIDmode)
1360 error ("-fcheck-pointer-bounds is not supported for this target");
1363 /* One region RA really helps to decrease the code size. */
1364 if (flag_ira_region == IRA_REGION_AUTODETECT)
1365 flag_ira_region
1366 = optimize_size || !optimize ? IRA_REGION_ONE : IRA_REGION_MIXED;
1368 if (!abi_version_at_least (2))
1370 /* -fabi-version=1 support was removed after GCC 4.9. */
1371 error ("%<-fabi-version=1%> is no longer supported");
1372 flag_abi_version = 2;
1375 /* Unrolling all loops implies that standard loop unrolling must also
1376 be done. */
1377 if (flag_unroll_all_loops)
1378 flag_unroll_loops = 1;
1380 /* web and rename-registers help when run after loop unrolling. */
1381 if (flag_web == AUTODETECT_VALUE)
1382 flag_web = flag_unroll_loops || flag_peel_loops;
1384 if (flag_rename_registers == AUTODETECT_VALUE)
1385 flag_rename_registers = flag_unroll_loops || flag_peel_loops;
1387 if (flag_non_call_exceptions)
1388 flag_asynchronous_unwind_tables = 1;
1389 if (flag_asynchronous_unwind_tables)
1390 flag_unwind_tables = 1;
1392 if (flag_value_profile_transformations)
1393 flag_profile_values = 1;
1395 /* Warn about options that are not supported on this machine. */
1396 #ifndef INSN_SCHEDULING
1397 if (flag_schedule_insns || flag_schedule_insns_after_reload)
1398 warning (0, "instruction scheduling not supported on this target machine");
1399 #endif
1400 #ifndef DELAY_SLOTS
1401 if (flag_delayed_branch)
1402 warning (0, "this target machine does not have delayed branches");
1403 #endif
1405 user_label_prefix = USER_LABEL_PREFIX;
1406 if (flag_leading_underscore != -1)
1408 /* If the default prefix is more complicated than "" or "_",
1409 issue a warning and ignore this option. */
1410 if (user_label_prefix[0] == 0 ||
1411 (user_label_prefix[0] == '_' && user_label_prefix[1] == 0))
1413 user_label_prefix = flag_leading_underscore ? "_" : "";
1415 else
1416 warning (0, "-f%sleading-underscore not supported on this target machine",
1417 flag_leading_underscore ? "" : "no-");
1420 /* If we are in verbose mode, write out the version and maybe all the
1421 option flags in use. */
1422 if (version_flag)
1424 print_version (stderr, "");
1425 if (! quiet_flag)
1426 print_switch_values (print_to_stderr);
1429 if (flag_syntax_only)
1431 write_symbols = NO_DEBUG;
1432 profile_flag = 0;
1435 if (flag_gtoggle)
1437 if (debug_info_level == DINFO_LEVEL_NONE)
1439 debug_info_level = DINFO_LEVEL_NORMAL;
1441 if (write_symbols == NO_DEBUG)
1442 write_symbols = PREFERRED_DEBUGGING_TYPE;
1444 else
1445 debug_info_level = DINFO_LEVEL_NONE;
1448 if (flag_dump_final_insns && !flag_syntax_only && !no_backend)
1450 FILE *final_output = fopen (flag_dump_final_insns, "w");
1451 if (!final_output)
1453 error ("could not open final insn dump file %qs: %m",
1454 flag_dump_final_insns);
1455 flag_dump_final_insns = NULL;
1457 else if (fclose (final_output))
1459 error ("could not close zeroed insn dump file %qs: %m",
1460 flag_dump_final_insns);
1461 flag_dump_final_insns = NULL;
1465 /* A lot of code assumes write_symbols == NO_DEBUG if the debugging
1466 level is 0. */
1467 if (debug_info_level == DINFO_LEVEL_NONE)
1468 write_symbols = NO_DEBUG;
1470 if (write_symbols == NO_DEBUG)
1472 #if defined(DBX_DEBUGGING_INFO)
1473 else if (write_symbols == DBX_DEBUG)
1474 debug_hooks = &dbx_debug_hooks;
1475 #endif
1476 #if defined(XCOFF_DEBUGGING_INFO)
1477 else if (write_symbols == XCOFF_DEBUG)
1478 debug_hooks = &xcoff_debug_hooks;
1479 #endif
1480 #ifdef SDB_DEBUGGING_INFO
1481 else if (write_symbols == SDB_DEBUG)
1482 debug_hooks = &sdb_debug_hooks;
1483 #endif
1484 #ifdef DWARF2_DEBUGGING_INFO
1485 else if (write_symbols == DWARF2_DEBUG)
1486 debug_hooks = &dwarf2_debug_hooks;
1487 #endif
1488 #ifdef VMS_DEBUGGING_INFO
1489 else if (write_symbols == VMS_DEBUG || write_symbols == VMS_AND_DWARF2_DEBUG)
1490 debug_hooks = &vmsdbg_debug_hooks;
1491 #endif
1492 else
1493 error ("target system does not support the %qs debug format",
1494 debug_type_names[write_symbols]);
1496 /* We know which debug output will be used so we can set flag_var_tracking
1497 and flag_var_tracking_uninit if the user has not specified them. */
1498 if (debug_info_level < DINFO_LEVEL_NORMAL
1499 || debug_hooks->var_location == do_nothing_debug_hooks.var_location)
1501 if (flag_var_tracking == 1
1502 || flag_var_tracking_uninit == 1)
1504 if (debug_info_level < DINFO_LEVEL_NORMAL)
1505 warning (0, "variable tracking requested, but useless unless "
1506 "producing debug info");
1507 else
1508 warning (0, "variable tracking requested, but not supported "
1509 "by this debug format");
1511 flag_var_tracking = 0;
1512 flag_var_tracking_uninit = 0;
1515 /* The debug hooks are used to implement -fdump-go-spec because it
1516 gives a simple and stable API for all the information we need to
1517 dump. */
1518 if (flag_dump_go_spec != NULL)
1519 debug_hooks = dump_go_spec_init (flag_dump_go_spec, debug_hooks);
1521 /* If the user specifically requested variable tracking with tagging
1522 uninitialized variables, we need to turn on variable tracking.
1523 (We already determined above that variable tracking is feasible.) */
1524 if (flag_var_tracking_uninit == 1)
1525 flag_var_tracking = 1;
1527 if (flag_var_tracking == AUTODETECT_VALUE)
1528 flag_var_tracking = optimize >= 1;
1530 if (flag_var_tracking_uninit == AUTODETECT_VALUE)
1531 flag_var_tracking_uninit = flag_var_tracking;
1533 if (flag_var_tracking_assignments == AUTODETECT_VALUE)
1534 flag_var_tracking_assignments = flag_var_tracking
1535 && !(flag_selective_scheduling || flag_selective_scheduling2);
1537 if (flag_var_tracking_assignments_toggle)
1538 flag_var_tracking_assignments = !flag_var_tracking_assignments;
1540 if (flag_var_tracking_assignments && !flag_var_tracking)
1541 flag_var_tracking = flag_var_tracking_assignments = -1;
1543 if (flag_var_tracking_assignments
1544 && (flag_selective_scheduling || flag_selective_scheduling2))
1545 warning (0, "var-tracking-assignments changes selective scheduling");
1547 if (flag_tree_cselim == AUTODETECT_VALUE)
1548 #ifdef HAVE_conditional_move
1549 flag_tree_cselim = 1;
1550 #else
1551 flag_tree_cselim = 0;
1552 #endif
1554 /* If auxiliary info generation is desired, open the output file.
1555 This goes in the same directory as the source file--unlike
1556 all the other output files. */
1557 if (flag_gen_aux_info)
1559 aux_info_file = fopen (aux_info_file_name, "w");
1560 if (aux_info_file == 0)
1561 fatal_error ("can%'t open %s: %m", aux_info_file_name);
1564 if (!targetm_common.have_named_sections)
1566 if (flag_function_sections)
1568 warning (0, "-ffunction-sections not supported for this target");
1569 flag_function_sections = 0;
1571 if (flag_data_sections)
1573 warning (0, "-fdata-sections not supported for this target");
1574 flag_data_sections = 0;
1578 #ifndef HAVE_prefetch
1579 if (flag_prefetch_loop_arrays > 0)
1581 warning (0, "-fprefetch-loop-arrays not supported for this target");
1582 flag_prefetch_loop_arrays = 0;
1584 #else
1585 if (flag_prefetch_loop_arrays > 0 && !HAVE_prefetch)
1587 warning (0, "-fprefetch-loop-arrays not supported for this target (try -march switches)");
1588 flag_prefetch_loop_arrays = 0;
1590 #endif
1592 /* This combination of options isn't handled for i386 targets and doesn't
1593 make much sense anyway, so don't allow it. */
1594 if (flag_prefetch_loop_arrays > 0 && optimize_size)
1596 warning (0, "-fprefetch-loop-arrays is not supported with -Os");
1597 flag_prefetch_loop_arrays = 0;
1600 /* The presence of IEEE signaling NaNs, implies all math can trap. */
1601 if (flag_signaling_nans)
1602 flag_trapping_math = 1;
1604 /* We cannot reassociate if we want traps or signed zeros. */
1605 if (flag_associative_math && (flag_trapping_math || flag_signed_zeros))
1607 warning (0, "-fassociative-math disabled; other options take precedence");
1608 flag_associative_math = 0;
1611 /* With -fcx-limited-range, we do cheap and quick complex arithmetic. */
1612 if (flag_cx_limited_range)
1613 flag_complex_method = 0;
1615 /* With -fcx-fortran-rules, we do something in-between cheap and C99. */
1616 if (flag_cx_fortran_rules)
1617 flag_complex_method = 1;
1619 /* Targets must be able to place spill slots at lower addresses. If the
1620 target already uses a soft frame pointer, the transition is trivial. */
1621 if (!FRAME_GROWS_DOWNWARD && flag_stack_protect)
1623 warning (0, "-fstack-protector not supported for this target");
1624 flag_stack_protect = 0;
1626 if (!flag_stack_protect)
1627 warn_stack_protect = 0;
1629 /* Address Sanitizer needs porting to each target architecture. */
1631 if ((flag_sanitize & SANITIZE_ADDRESS)
1632 && !FRAME_GROWS_DOWNWARD)
1634 warning (0,
1635 "-fsanitize=address and -fsanitize=kernel-address "
1636 "are not supported for this target");
1637 flag_sanitize &= ~SANITIZE_ADDRESS;
1640 if ((flag_sanitize & SANITIZE_USER_ADDRESS)
1641 && targetm.asan_shadow_offset == NULL)
1643 warning (0, "-fsanitize=address not supported for this target");
1644 flag_sanitize &= ~SANITIZE_ADDRESS;
1647 /* Enable -Werror=coverage-mismatch when -Werror and -Wno-error
1648 have not been set. */
1649 if (!global_options_set.x_warnings_are_errors
1650 && warn_coverage_mismatch
1651 && (global_dc->classify_diagnostic[OPT_Wcoverage_mismatch] ==
1652 DK_UNSPECIFIED))
1653 diagnostic_classify_diagnostic (global_dc, OPT_Wcoverage_mismatch,
1654 DK_ERROR, UNKNOWN_LOCATION);
1656 /* Save the current optimization options. */
1657 optimization_default_node = build_optimization_node (&global_options);
1658 optimization_current_node = optimization_default_node;
1660 /* Disable use caller save optimization if profiler is active or port
1661 does not emit prologue and epilogue as RTL. */
1662 if (profile_flag || !HAVE_prologue || !HAVE_epilogue)
1663 flag_ipa_ra = 0;
1666 /* This function can be called multiple times to reinitialize the compiler
1667 back end when register classes or instruction sets have changed,
1668 before each function. */
1669 static void
1670 backend_init_target (void)
1672 /* Initialize alignment variables. */
1673 init_alignments ();
1675 /* This depends on stack_pointer_rtx. */
1676 init_fake_stack_mems ();
1678 /* Sets static_base_value[HARD_FRAME_POINTER_REGNUM], which is
1679 mode-dependent. */
1680 init_alias_target ();
1682 /* Depends on HARD_FRAME_POINTER_REGNUM. */
1683 init_reload ();
1685 /* Depends on the enabled attribute. */
1686 recog_init ();
1688 /* The following initialization functions need to generate rtl, so
1689 provide a dummy function context for them. */
1690 init_dummy_function_start ();
1692 /* rtx_cost is mode-dependent, so cached values need to be recomputed
1693 on a mode change. */
1694 init_expmed ();
1695 init_lower_subreg ();
1696 init_set_costs ();
1698 init_expr_target ();
1699 ira_init ();
1701 /* We may need to recompute regno_save_code[] and regno_restore_code[]
1702 after a mode change as well. */
1703 caller_save_initialized_p = false;
1705 expand_dummy_function_end ();
1708 /* Initialize the compiler back end. This function is called only once,
1709 when starting the compiler. */
1710 static void
1711 backend_init (void)
1713 init_emit_once ();
1715 init_rtlanal ();
1716 init_inline_once ();
1717 init_varasm_once ();
1718 save_register_info ();
1720 /* Middle end needs this initialization for default mem attributes
1721 used by early calls to make_decl_rtl. */
1722 init_emit_regs ();
1724 /* Middle end needs this initialization for mode tables used to assign
1725 modes to vector variables. */
1726 init_regs ();
1729 /* Initialize excess precision settings. */
1730 static void
1731 init_excess_precision (void)
1733 /* Adjust excess precision handling based on the target options. If
1734 the front end cannot handle it, flag_excess_precision_cmdline
1735 will already have been set accordingly in the post_options
1736 hook. */
1737 gcc_assert (flag_excess_precision_cmdline != EXCESS_PRECISION_DEFAULT);
1738 flag_excess_precision = flag_excess_precision_cmdline;
1739 if (flag_unsafe_math_optimizations)
1740 flag_excess_precision = EXCESS_PRECISION_FAST;
1741 if (flag_excess_precision == EXCESS_PRECISION_STANDARD)
1743 int flt_eval_method = TARGET_FLT_EVAL_METHOD;
1744 switch (flt_eval_method)
1746 case -1:
1747 case 0:
1748 /* Either the target acts unpredictably (-1) or has all the
1749 operations required not to have excess precision (0). */
1750 flag_excess_precision = EXCESS_PRECISION_FAST;
1751 break;
1752 case 1:
1753 case 2:
1754 /* In these cases, predictable excess precision makes
1755 sense. */
1756 break;
1757 default:
1758 /* Any other implementation-defined FLT_EVAL_METHOD values
1759 require the compiler to handle the associated excess
1760 precision rules in excess_precision_type. */
1761 gcc_unreachable ();
1766 /* Initialize things that are both lang-dependent and target-dependent.
1767 This function can be called more than once if target parameters change. */
1768 static void
1769 lang_dependent_init_target (void)
1771 /* This determines excess precision settings. */
1772 init_excess_precision ();
1774 /* This creates various _DECL nodes, so needs to be called after the
1775 front end is initialized. It also depends on the HAVE_xxx macros
1776 generated from the target machine description. */
1777 init_optabs ();
1779 gcc_assert (!this_target_rtl->target_specific_initialized);
1782 /* Perform initializations that are lang-dependent or target-dependent.
1783 but matters only for late optimizations and RTL generation. */
1785 static int rtl_initialized;
1787 void
1788 initialize_rtl (void)
1790 /* Initialization done just once per compilation, but delayed
1791 till code generation. */
1792 if (!rtl_initialized)
1793 ira_init_once ();
1794 rtl_initialized = true;
1796 /* Target specific RTL backend initialization. */
1797 if (!this_target_rtl->target_specific_initialized)
1799 backend_init_target ();
1800 this_target_rtl->target_specific_initialized = true;
1804 /* Language-dependent initialization. Returns nonzero on success. */
1805 static int
1806 lang_dependent_init (const char *name)
1808 location_t save_loc = input_location;
1809 if (dump_base_name == 0)
1810 dump_base_name = name && name[0] ? name : "gccdump";
1812 /* Other front-end initialization. */
1813 input_location = BUILTINS_LOCATION;
1814 if (lang_hooks.init () == 0)
1815 return 0;
1816 input_location = save_loc;
1818 if (!flag_wpa)
1820 init_asm_output (name);
1822 /* If stack usage information is desired, open the output file. */
1823 if (flag_stack_usage)
1824 stack_usage_file = open_auxiliary_file ("su");
1827 /* This creates various _DECL nodes, so needs to be called after the
1828 front end is initialized. */
1829 init_eh ();
1831 /* Do the target-specific parts of the initialization. */
1832 lang_dependent_init_target ();
1834 if (!flag_wpa)
1836 /* If dbx symbol table desired, initialize writing it and output the
1837 predefined types. */
1838 timevar_push (TV_SYMOUT);
1840 /* Now we have the correct original filename, we can initialize
1841 debug output. */
1842 (*debug_hooks->init) (name);
1844 timevar_pop (TV_SYMOUT);
1847 return 1;
1851 /* Reinitialize everything when target parameters, such as register usage,
1852 have changed. */
1853 void
1854 target_reinit (void)
1856 struct rtl_data saved_x_rtl;
1857 rtx *saved_regno_reg_rtx;
1858 tree saved_optimization_current_node;
1859 struct target_optabs *saved_this_fn_optabs;
1861 /* Temporarily switch to the default optimization node, so that
1862 *this_target_optabs is set to the default, not reflecting
1863 whatever a previous function used for the optimize
1864 attribute. */
1865 saved_optimization_current_node = optimization_current_node;
1866 saved_this_fn_optabs = this_fn_optabs;
1867 if (saved_optimization_current_node != optimization_default_node)
1869 optimization_current_node = optimization_default_node;
1870 cl_optimization_restore
1871 (&global_options,
1872 TREE_OPTIMIZATION (optimization_default_node));
1874 this_fn_optabs = this_target_optabs;
1876 /* Save *crtl and regno_reg_rtx around the reinitialization
1877 to allow target_reinit being called even after prepare_function_start. */
1878 saved_regno_reg_rtx = regno_reg_rtx;
1879 if (saved_regno_reg_rtx)
1881 saved_x_rtl = *crtl;
1882 memset (crtl, '\0', sizeof (*crtl));
1883 regno_reg_rtx = NULL;
1886 this_target_rtl->target_specific_initialized = false;
1888 /* This initializes hard_frame_pointer, and calls init_reg_modes_target()
1889 to initialize reg_raw_mode[]. */
1890 init_emit_regs ();
1892 /* This invokes target hooks to set fixed_reg[] etc, which is
1893 mode-dependent. */
1894 init_regs ();
1896 /* Reinitialize lang-dependent parts. */
1897 lang_dependent_init_target ();
1899 /* Restore the original optimization node. */
1900 if (saved_optimization_current_node != optimization_default_node)
1902 optimization_current_node = saved_optimization_current_node;
1903 cl_optimization_restore (&global_options,
1904 TREE_OPTIMIZATION (optimization_current_node));
1906 this_fn_optabs = saved_this_fn_optabs;
1908 /* Restore regno_reg_rtx at the end, as free_after_compilation from
1909 expand_dummy_function_end clears it. */
1910 if (saved_regno_reg_rtx)
1912 *crtl = saved_x_rtl;
1913 regno_reg_rtx = saved_regno_reg_rtx;
1914 saved_regno_reg_rtx = NULL;
1918 void
1919 dump_memory_report (bool final)
1921 dump_line_table_statistics ();
1922 ggc_print_statistics ();
1923 stringpool_statistics ();
1924 dump_tree_statistics ();
1925 dump_gimple_statistics ();
1926 dump_rtx_statistics ();
1927 dump_alloc_pool_statistics ();
1928 dump_bitmap_statistics ();
1929 dump_vec_loc_statistics ();
1930 dump_ggc_loc_statistics (final);
1931 dump_alias_stats (stderr);
1932 dump_pta_stats (stderr);
1935 /* Clean up: close opened files, etc. */
1937 static void
1938 finalize (bool no_backend)
1940 /* Close the dump files. */
1941 if (flag_gen_aux_info)
1943 fclose (aux_info_file);
1944 if (seen_error ())
1945 unlink (aux_info_file_name);
1948 /* Close non-debugging input and output files. Take special care to note
1949 whether fclose returns an error, since the pages might still be on the
1950 buffer chain while the file is open. */
1952 if (asm_out_file)
1954 if (ferror (asm_out_file) != 0)
1955 fatal_error ("error writing to %s: %m", asm_file_name);
1956 if (fclose (asm_out_file) != 0)
1957 fatal_error ("error closing %s: %m", asm_file_name);
1960 if (stack_usage_file)
1961 fclose (stack_usage_file);
1963 if (!no_backend)
1965 statistics_fini ();
1967 g->get_passes ()->finish_optimization_passes ();
1969 lra_finish_once ();
1972 if (mem_report)
1973 dump_memory_report (true);
1975 if (profile_report)
1976 dump_profile_report ();
1978 /* Language-specific end of compilation actions. */
1979 lang_hooks.finish ();
1982 static bool
1983 standard_type_bitsize (int bitsize)
1985 /* As a special exception, we always want __int128 enabled if possible. */
1986 if (bitsize == 128)
1987 return false;
1988 if (bitsize == CHAR_TYPE_SIZE
1989 || bitsize == SHORT_TYPE_SIZE
1990 || bitsize == INT_TYPE_SIZE
1991 || bitsize == LONG_TYPE_SIZE
1992 || bitsize == LONG_LONG_TYPE_SIZE)
1993 return true;
1994 return false;
1997 /* Initialize the compiler, and compile the input file. */
1998 static void
1999 do_compile ()
2001 process_options ();
2003 /* Don't do any more if an error has already occurred. */
2004 if (!seen_error ())
2006 int i;
2008 timevar_start (TV_PHASE_SETUP);
2010 /* This must be run always, because it is needed to compute the FP
2011 predefined macros, such as __LDBL_MAX__, for targets using non
2012 default FP formats. */
2013 init_adjust_machine_modes ();
2014 init_derived_machine_modes ();
2016 /* This must happen after the backend has a chance to process
2017 command line options, but before the parsers are
2018 initialized. */
2019 for (i = 0; i < NUM_INT_N_ENTS; i ++)
2020 if (targetm.scalar_mode_supported_p (int_n_data[i].m)
2021 && ! standard_type_bitsize (int_n_data[i].bitsize))
2022 int_n_enabled_p[i] = true;
2023 else
2024 int_n_enabled_p[i] = false;
2026 /* Set up the back-end if requested. */
2027 if (!no_backend)
2028 backend_init ();
2030 /* Language-dependent initialization. Returns true on success. */
2031 if (lang_dependent_init (main_input_filename))
2033 /* Initialize yet another pass. */
2035 ggc_protect_identifiers = true;
2037 symtab->initialize ();
2038 init_final (main_input_filename);
2039 coverage_init (aux_base_name);
2040 statistics_init ();
2041 invoke_plugin_callbacks (PLUGIN_START_UNIT, NULL);
2043 timevar_stop (TV_PHASE_SETUP);
2045 compile_file ();
2047 else
2049 timevar_stop (TV_PHASE_SETUP);
2052 timevar_start (TV_PHASE_FINALIZE);
2054 finalize (no_backend);
2056 timevar_stop (TV_PHASE_FINALIZE);
2060 toplev::toplev (bool use_TV_TOTAL)
2061 : m_use_TV_TOTAL (use_TV_TOTAL)
2063 if (!m_use_TV_TOTAL)
2064 start_timevars ();
2067 toplev::~toplev ()
2069 timevar_stop (TV_TOTAL);
2070 timevar_print (stderr);
2073 void
2074 toplev::start_timevars ()
2076 if (time_report || !quiet_flag || flag_detailed_statistics)
2077 timevar_init ();
2079 timevar_start (TV_TOTAL);
2082 /* Entry point of cc1, cc1plus, jc1, f771, etc.
2083 Exit code is FATAL_EXIT_CODE if can't open files or if there were
2084 any errors, or SUCCESS_EXIT_CODE if compilation succeeded.
2086 It is not safe to call this function more than once. */
2089 toplev::main (int argc, char **argv)
2091 /* Parsing and gimplification sometimes need quite large stack.
2092 Increase stack size limits if possible. */
2093 stack_limit_increase (64 * 1024 * 1024);
2095 expandargv (&argc, &argv);
2097 /* Initialization of GCC's environment, and diagnostics. */
2098 general_init (argv[0]);
2100 /* One-off initialization of options that does not need to be
2101 repeated when options are added for particular functions. */
2102 init_options_once ();
2104 /* Initialize global options structures; this must be repeated for
2105 each structure used for parsing options. */
2106 init_options_struct (&global_options, &global_options_set);
2107 lang_hooks.init_options_struct (&global_options);
2109 /* Convert the options to an array. */
2110 decode_cmdline_options_to_array_default_mask (argc,
2111 CONST_CAST2 (const char **,
2112 char **, argv),
2113 &save_decoded_options,
2114 &save_decoded_options_count);
2116 /* Perform language-specific options initialization. */
2117 lang_hooks.init_options (save_decoded_options_count, save_decoded_options);
2119 /* Parse the options and do minimal processing; basically just
2120 enough to default flags appropriately. */
2121 decode_options (&global_options, &global_options_set,
2122 save_decoded_options, save_decoded_options_count,
2123 UNKNOWN_LOCATION, global_dc);
2125 handle_common_deferred_options ();
2127 init_local_tick ();
2129 initialize_plugins ();
2131 if (version_flag)
2132 print_version (stderr, "");
2134 if (help_flag)
2135 print_plugins_help (stderr, "");
2137 /* Exit early if we can (e.g. -help). */
2138 if (!exit_after_options)
2140 if (m_use_TV_TOTAL)
2141 start_timevars ();
2142 do_compile ();
2145 if (warningcount || errorcount || werrorcount)
2146 print_ignored_options ();
2148 /* Invoke registered plugin callbacks if any. Some plugins could
2149 emit some diagnostics here. */
2150 invoke_plugin_callbacks (PLUGIN_FINISH, NULL);
2152 diagnostic_finish (global_dc);
2154 finalize_plugins ();
2155 location_adhoc_data_fini (line_table);
2156 if (seen_error () || werrorcount)
2157 return (FATAL_EXIT_CODE);
2159 return (SUCCESS_EXIT_CODE);
2162 /* For those that want to, this function aims to clean up enough state that
2163 you can call toplev::main again. */
2164 void
2165 toplev::finalize (void)
2167 rtl_initialized = false;
2168 this_target_rtl->target_specific_initialized = false;
2170 /* Needs to be called before cgraph_c_finalize since it uses symtab. */
2171 ipa_reference_c_finalize ();
2173 cgraph_c_finalize ();
2174 cgraphunit_c_finalize ();
2175 dwarf2out_c_finalize ();
2176 gcse_c_finalize ();
2177 ipa_cp_c_finalize ();
2178 ira_costs_c_finalize ();
2179 params_c_finalize ();
2181 finalize_options_struct (&global_options);
2182 finalize_options_struct (&global_options_set);
2184 XDELETEVEC (save_decoded_options);
2186 /* Clean up the context (and pass_manager etc). */
2187 delete g;
2188 g = NULL;
2190 obstack_free (&opts_obstack, NULL);