Merged trunk revision 223002 into the hsa branch.
[official-gcc.git] / gcc / toplev.c
blobceb19a15746b8fefdf6bfa7b18995d00e8391c35
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"
117 #include "hsa.h"
119 #if defined(DBX_DEBUGGING_INFO) || defined(XCOFF_DEBUGGING_INFO)
120 #include "dbxout.h"
121 #endif
123 #ifdef SDB_DEBUGGING_INFO
124 #include "sdbout.h"
125 #endif
127 #ifdef XCOFF_DEBUGGING_INFO
128 #include "xcoffout.h" /* Needed for external data
129 declarations for e.g. AIX 4.x. */
130 #endif
132 #ifndef HAVE_prologue
133 #define HAVE_prologue 0
134 #endif
136 #include <new>
138 static void general_init (const char *, bool);
139 static void do_compile ();
140 static void process_options (void);
141 static void backend_init (void);
142 static int lang_dependent_init (const char *);
143 static void init_asm_output (const char *);
144 static void finalize (bool);
146 static void crash_signal (int) ATTRIBUTE_NORETURN;
147 static void compile_file (void);
149 /* True if we don't need a backend (e.g. preprocessing only). */
150 static bool no_backend;
152 /* Length of line when printing switch values. */
153 #define MAX_LINE 75
155 /* Decoded options, and number of such options. */
156 struct cl_decoded_option *save_decoded_options;
157 unsigned int save_decoded_options_count;
159 /* Used to enable -fvar-tracking, -fweb and -frename-registers according
160 to optimize in process_options (). */
161 #define AUTODETECT_VALUE 2
163 /* Debug hooks - dependent upon command line options. */
165 const struct gcc_debug_hooks *debug_hooks;
167 /* The FUNCTION_DECL for the function currently being compiled,
168 or 0 if between functions. */
169 tree current_function_decl;
171 /* Set to the FUNC_BEGIN label of the current function, or NULL
172 if none. */
173 const char * current_function_func_begin_label;
175 /* A random sequence of characters, unless overridden by user. */
176 static const char *flag_random_seed;
178 /* A local time stamp derived from the time of compilation. It will be
179 zero if the system cannot provide a time. It will be -1u, if the
180 user has specified a particular random seed. */
181 unsigned local_tick;
183 /* Random number for this compilation */
184 HOST_WIDE_INT random_seed;
186 /* -f flags. */
188 /* When non-NULL, indicates that whenever space is allocated on the
189 stack, the resulting stack pointer must not pass this
190 address---that is, for stacks that grow downward, the stack pointer
191 must always be greater than or equal to this address; for stacks
192 that grow upward, the stack pointer must be less than this address.
193 At present, the rtx may be either a REG or a SYMBOL_REF, although
194 the support provided depends on the backend. */
195 rtx stack_limit_rtx;
197 /* True if the user has tagged the function with the 'section'
198 attribute. */
200 bool user_defined_section_attribute = false;
202 struct target_flag_state default_target_flag_state;
203 #if SWITCHABLE_TARGET
204 struct target_flag_state *this_target_flag_state = &default_target_flag_state;
205 #else
206 #define this_target_flag_state (&default_target_flag_state)
207 #endif
209 /* The user symbol prefix after having resolved same. */
210 const char *user_label_prefix;
212 /* Output files for assembler code (real compiler output)
213 and debugging dumps. */
215 FILE *asm_out_file;
216 FILE *aux_info_file;
217 FILE *stack_usage_file = NULL;
219 /* The current working directory of a translation. It's generally the
220 directory from which compilation was initiated, but a preprocessed
221 file may specify the original directory in which it was
222 created. */
224 static const char *src_pwd;
226 /* Initialize src_pwd with the given string, and return true. If it
227 was already initialized, return false. As a special case, it may
228 be called with a NULL argument to test whether src_pwd has NOT been
229 initialized yet. */
231 bool
232 set_src_pwd (const char *pwd)
234 if (src_pwd)
236 if (strcmp (src_pwd, pwd) == 0)
237 return true;
238 else
239 return false;
242 src_pwd = xstrdup (pwd);
243 return true;
246 /* Return the directory from which the translation unit was initiated,
247 in case set_src_pwd() was not called before to assign it a
248 different value. */
250 const char *
251 get_src_pwd (void)
253 if (! src_pwd)
255 src_pwd = getpwd ();
256 if (!src_pwd)
257 src_pwd = ".";
260 return src_pwd;
263 /* Called when the start of a function definition is parsed,
264 this function prints on stderr the name of the function. */
265 void
266 announce_function (tree decl)
268 if (!quiet_flag)
270 if (rtl_dump_and_exit)
271 fprintf (stderr, "%s ",
272 identifier_to_locale (IDENTIFIER_POINTER (DECL_NAME (decl))));
273 else
274 fprintf (stderr, " %s",
275 identifier_to_locale (lang_hooks.decl_printable_name (decl, 2)));
276 fflush (stderr);
277 pp_needs_newline (global_dc->printer) = true;
278 diagnostic_set_last_function (global_dc, (diagnostic_info *) NULL);
282 /* Initialize local_tick with a random number or -1 if
283 flag_random_seed is set. */
285 static void
286 init_local_tick (void)
288 if (!flag_random_seed)
290 /* Try urandom first. Time of day is too likely to collide.
291 In case of any error we just use the local tick. */
293 int fd = open ("/dev/urandom", O_RDONLY);
294 if (fd >= 0)
296 if (read (fd, &random_seed, sizeof (random_seed))
297 != sizeof (random_seed))
298 random_seed = 0;
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 hsa_output_brig ();
631 output_shared_constant_pool ();
632 output_object_blocks ();
633 finish_tm_clone_pairs ();
635 /* Write out any pending weak symbol declarations. */
636 weak_finish ();
638 /* This must be at the end before unwind and debug info.
639 Some target ports emit PIC setup thunks here. */
640 targetm.asm_out.code_end ();
642 /* Do dbx symbols. */
643 timevar_push (TV_SYMOUT);
645 #if defined DWARF2_DEBUGGING_INFO || defined DWARF2_UNWIND_INFO
646 if (dwarf2out_do_frame ())
647 dwarf2out_frame_finish ();
648 #endif
650 (*debug_hooks->finish) (main_input_filename);
651 timevar_pop (TV_SYMOUT);
653 /* Output some stuff at end of file if nec. */
655 dw2_output_indirect_constants ();
657 /* Flush any pending external directives. */
658 process_pending_assemble_externals ();
661 /* Emit LTO marker if LTO info has been previously emitted. This is
662 used by collect2 to determine whether an object file contains IL.
663 We used to emit an undefined reference here, but this produces
664 link errors if an object file with IL is stored into a shared
665 library without invoking lto1. */
666 if (flag_generate_lto || flag_generate_offload)
668 #if defined ASM_OUTPUT_ALIGNED_DECL_COMMON
669 ASM_OUTPUT_ALIGNED_DECL_COMMON (asm_out_file, NULL_TREE,
670 "__gnu_lto_v1",
671 (unsigned HOST_WIDE_INT) 1, 8);
672 #elif defined ASM_OUTPUT_ALIGNED_COMMON
673 ASM_OUTPUT_ALIGNED_COMMON (asm_out_file, "__gnu_lto_v1",
674 (unsigned HOST_WIDE_INT) 1, 8);
675 #else
676 ASM_OUTPUT_COMMON (asm_out_file, "__gnu_lto_v1",
677 (unsigned HOST_WIDE_INT) 1,
678 (unsigned HOST_WIDE_INT) 1);
679 #endif
682 /* Let linker plugin know that this is a slim object and must be LTOed
683 even when user did not ask for it. */
684 if (flag_generate_lto && !flag_fat_lto_objects)
686 #if defined ASM_OUTPUT_ALIGNED_DECL_COMMON
687 ASM_OUTPUT_ALIGNED_DECL_COMMON (asm_out_file, NULL_TREE, "__gnu_lto_slim",
688 (unsigned HOST_WIDE_INT) 1, 8);
689 #elif defined ASM_OUTPUT_ALIGNED_COMMON
690 ASM_OUTPUT_ALIGNED_COMMON (asm_out_file, "__gnu_lto_slim",
691 (unsigned HOST_WIDE_INT) 1, 8);
692 #else
693 ASM_OUTPUT_COMMON (asm_out_file, "__gnu_lto_slim",
694 (unsigned HOST_WIDE_INT) 1,
695 (unsigned HOST_WIDE_INT) 1);
696 #endif
699 /* Attach a special .ident directive to the end of the file to identify
700 the version of GCC which compiled this code. The format of the .ident
701 string is patterned after the ones produced by native SVR4 compilers. */
702 if (!flag_no_ident)
704 const char *pkg_version = "(GNU) ";
705 char *ident_str;
707 if (strcmp ("(GCC) ", pkgversion_string))
708 pkg_version = pkgversion_string;
710 ident_str = ACONCAT (("GCC: ", pkg_version, version_string, NULL));
711 targetm.asm_out.output_ident (ident_str);
714 /* Auto profile finalization. */
715 if (flag_auto_profile)
716 end_auto_profile ();
718 /* Invoke registered plugin callbacks. */
719 invoke_plugin_callbacks (PLUGIN_FINISH_UNIT, NULL);
721 /* This must be at the end. Some target ports emit end of file directives
722 into the assembly file here, and hence we can not output anything to the
723 assembly file after this point. */
724 targetm.asm_out.file_end ();
726 timevar_stop (TV_PHASE_LATE_ASM);
729 /* Print version information to FILE.
730 Each line begins with INDENT (for the case where FILE is the
731 assembler output file).
733 If SHOW_GLOBAL_STATE is true (for cc1 etc), we are within the compiler
734 proper and can print pertinent state (e.g. params and plugins).
736 If SHOW_GLOBAL_STATE is false (for use by libgccjit), we are outside the
737 compiler, and we don't hold the mutex on the compiler's global state:
738 we can't print params and plugins, since they might not be initialized,
739 or might be being manipulated by a compile running in another
740 thread. */
742 void
743 print_version (FILE *file, const char *indent, bool show_global_state)
745 static const char fmt1[] =
746 #ifdef __GNUC__
747 N_("%s%s%s %sversion %s (%s)\n%s\tcompiled by GNU C version %s, ")
748 #else
749 N_("%s%s%s %sversion %s (%s) compiled by CC, ")
750 #endif
752 static const char fmt2[] =
753 N_("GMP version %s, MPFR version %s, MPC version %s\n");
754 static const char fmt3[] =
755 N_("%s%swarning: %s header version %s differs from library version %s.\n");
756 static const char fmt4[] =
757 N_("%s%sGGC heuristics: --param ggc-min-expand=%d --param ggc-min-heapsize=%d\n");
758 #ifndef __VERSION__
759 #define __VERSION__ "[?]"
760 #endif
761 fprintf (file,
762 file == stderr ? _(fmt1) : fmt1,
763 indent, *indent != 0 ? " " : "",
764 lang_hooks.name, pkgversion_string, version_string, TARGET_NAME,
765 indent, __VERSION__);
767 /* We need to stringify the GMP macro values. Ugh, gmp_version has
768 two string formats, "i.j.k" and "i.j" when k is zero. As of
769 gmp-4.3.0, GMP always uses the 3 number format. */
770 #define GCC_GMP_STRINGIFY_VERSION3(X) #X
771 #define GCC_GMP_STRINGIFY_VERSION2(X) GCC_GMP_STRINGIFY_VERSION3 (X)
772 #define GCC_GMP_VERSION_NUM(X,Y,Z) (((X) << 16L) | ((Y) << 8) | (Z))
773 #define GCC_GMP_VERSION \
774 GCC_GMP_VERSION_NUM(__GNU_MP_VERSION, __GNU_MP_VERSION_MINOR, __GNU_MP_VERSION_PATCHLEVEL)
775 #if GCC_GMP_VERSION < GCC_GMP_VERSION_NUM(4,3,0) && __GNU_MP_VERSION_PATCHLEVEL == 0
776 #define GCC_GMP_STRINGIFY_VERSION \
777 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION) "." \
778 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_MINOR)
779 #else
780 #define GCC_GMP_STRINGIFY_VERSION \
781 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION) "." \
782 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_MINOR) "." \
783 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_PATCHLEVEL)
784 #endif
785 fprintf (file,
786 file == stderr ? _(fmt2) : fmt2,
787 GCC_GMP_STRINGIFY_VERSION, MPFR_VERSION_STRING, MPC_VERSION_STRING);
788 if (strcmp (GCC_GMP_STRINGIFY_VERSION, gmp_version))
789 fprintf (file,
790 file == stderr ? _(fmt3) : fmt3,
791 indent, *indent != 0 ? " " : "",
792 "GMP", GCC_GMP_STRINGIFY_VERSION, gmp_version);
793 if (strcmp (MPFR_VERSION_STRING, mpfr_get_version ()))
794 fprintf (file,
795 file == stderr ? _(fmt3) : fmt3,
796 indent, *indent != 0 ? " " : "",
797 "MPFR", MPFR_VERSION_STRING, mpfr_get_version ());
798 if (strcmp (MPC_VERSION_STRING, mpc_get_version ()))
799 fprintf (file,
800 file == stderr ? _(fmt3) : fmt3,
801 indent, *indent != 0 ? " " : "",
802 "MPC", MPC_VERSION_STRING, mpc_get_version ());
804 if (show_global_state)
806 fprintf (file,
807 file == stderr ? _(fmt4) : fmt4,
808 indent, *indent != 0 ? " " : "",
809 PARAM_VALUE (GGC_MIN_EXPAND), PARAM_VALUE (GGC_MIN_HEAPSIZE));
811 print_plugins_versions (file, indent);
815 static int
816 print_to_asm_out_file (print_switch_type type, const char * text)
818 bool prepend_sep = true;
820 switch (type)
822 case SWITCH_TYPE_LINE_END:
823 putc ('\n', asm_out_file);
824 return 1;
826 case SWITCH_TYPE_LINE_START:
827 fputs (ASM_COMMENT_START, asm_out_file);
828 return strlen (ASM_COMMENT_START);
830 case SWITCH_TYPE_DESCRIPTIVE:
831 if (ASM_COMMENT_START[0] == 0)
832 prepend_sep = false;
833 /* Drop through. */
834 case SWITCH_TYPE_PASSED:
835 case SWITCH_TYPE_ENABLED:
836 if (prepend_sep)
837 fputc (' ', asm_out_file);
838 fputs (text, asm_out_file);
839 /* No need to return the length here as
840 print_single_switch has already done it. */
841 return 0;
843 default:
844 return -1;
848 static int
849 print_to_stderr (print_switch_type type, const char * text)
851 switch (type)
853 case SWITCH_TYPE_LINE_END:
854 putc ('\n', stderr);
855 return 1;
857 case SWITCH_TYPE_LINE_START:
858 return 0;
860 case SWITCH_TYPE_PASSED:
861 case SWITCH_TYPE_ENABLED:
862 fputc (' ', stderr);
863 /* Drop through. */
865 case SWITCH_TYPE_DESCRIPTIVE:
866 fputs (text, stderr);
867 /* No need to return the length here as
868 print_single_switch has already done it. */
869 return 0;
871 default:
872 return -1;
876 /* Print an option value and return the adjusted position in the line.
877 ??? print_fn doesn't handle errors, eg disk full; presumably other
878 code will catch a disk full though. */
880 static int
881 print_single_switch (print_switch_fn_type print_fn,
882 int pos,
883 print_switch_type type,
884 const char * text)
886 /* The ultrix fprintf returns 0 on success, so compute the result
887 we want here since we need it for the following test. The +1
888 is for the separator character that will probably be emitted. */
889 int len = strlen (text) + 1;
891 if (pos != 0
892 && pos + len > MAX_LINE)
894 print_fn (SWITCH_TYPE_LINE_END, NULL);
895 pos = 0;
898 if (pos == 0)
899 pos += print_fn (SWITCH_TYPE_LINE_START, NULL);
901 print_fn (type, text);
902 return pos + len;
905 /* Print active target switches using PRINT_FN.
906 POS is the current cursor position and MAX is the size of a "line".
907 Each line begins with INDENT and ends with TERM.
908 Each switch is separated from the next by SEP. */
910 static void
911 print_switch_values (print_switch_fn_type print_fn)
913 int pos = 0;
914 size_t j;
916 /* Fill in the -frandom-seed option, if the user didn't pass it, so
917 that it can be printed below. This helps reproducibility. */
918 if (!flag_random_seed)
919 init_random_seed ();
921 /* Print the options as passed. */
922 pos = print_single_switch (print_fn, pos,
923 SWITCH_TYPE_DESCRIPTIVE, _("options passed: "));
925 for (j = 1; j < save_decoded_options_count; j++)
927 switch (save_decoded_options[j].opt_index)
929 case OPT_o:
930 case OPT_d:
931 case OPT_dumpbase:
932 case OPT_dumpdir:
933 case OPT_auxbase:
934 case OPT_quiet:
935 case OPT_version:
936 /* Ignore these. */
937 continue;
940 pos = print_single_switch (print_fn, pos, SWITCH_TYPE_PASSED,
941 save_decoded_options[j].orig_option_with_args_text);
944 if (pos > 0)
945 print_fn (SWITCH_TYPE_LINE_END, NULL);
947 /* Print the -f and -m options that have been enabled.
948 We don't handle language specific options but printing argv
949 should suffice. */
950 pos = print_single_switch (print_fn, 0,
951 SWITCH_TYPE_DESCRIPTIVE, _("options enabled: "));
953 for (j = 0; j < cl_options_count; j++)
954 if (cl_options[j].cl_report
955 && option_enabled (j, &global_options) > 0)
956 pos = print_single_switch (print_fn, pos,
957 SWITCH_TYPE_ENABLED, cl_options[j].opt_text);
959 print_fn (SWITCH_TYPE_LINE_END, NULL);
962 /* Open assembly code output file. Do this even if -fsyntax-only is
963 on, because then the driver will have provided the name of a
964 temporary file or bit bucket for us. NAME is the file specified on
965 the command line, possibly NULL. */
966 static void
967 init_asm_output (const char *name)
969 if (name == NULL && asm_file_name == 0)
970 asm_out_file = stdout;
971 else
973 if (asm_file_name == 0)
975 int len = strlen (dump_base_name);
976 char *dumpname = XNEWVEC (char, len + 6);
978 memcpy (dumpname, dump_base_name, len + 1);
979 strip_off_ending (dumpname, len);
980 strcat (dumpname, ".s");
981 asm_file_name = dumpname;
983 if (!strcmp (asm_file_name, "-"))
984 asm_out_file = stdout;
985 else if (!canonical_filename_eq (asm_file_name, name)
986 || !strcmp (asm_file_name, HOST_BIT_BUCKET))
987 asm_out_file = fopen (asm_file_name, "w");
988 else
989 /* Use UNKOWN_LOCATION to prevent gcc from printing the first
990 line in the current file. */
991 fatal_error (UNKNOWN_LOCATION,
992 "input file %qs is the same as output file",
993 asm_file_name);
994 if (asm_out_file == 0)
995 fatal_error (UNKNOWN_LOCATION,
996 "can%'t open %qs for writing: %m", asm_file_name);
999 if (!flag_syntax_only)
1001 targetm.asm_out.file_start ();
1003 if (flag_record_gcc_switches)
1005 if (targetm.asm_out.record_gcc_switches)
1007 /* Let the target know that we are about to start recording. */
1008 targetm.asm_out.record_gcc_switches (SWITCH_TYPE_DESCRIPTIVE,
1009 NULL);
1010 /* Now record the switches. */
1011 print_switch_values (targetm.asm_out.record_gcc_switches);
1012 /* Let the target know that the recording is over. */
1013 targetm.asm_out.record_gcc_switches (SWITCH_TYPE_DESCRIPTIVE,
1014 NULL);
1016 else
1017 inform (input_location, "-frecord-gcc-switches is not supported by the current target");
1020 if (flag_verbose_asm)
1022 /* Print the list of switches in effect
1023 into the assembler file as comments. */
1024 print_version (asm_out_file, ASM_COMMENT_START, true);
1025 print_switch_values (print_to_asm_out_file);
1026 putc ('\n', asm_out_file);
1031 /* A helper function; used as the reallocator function for cpp's line
1032 table. */
1033 static void *
1034 realloc_for_line_map (void *ptr, size_t len)
1036 return ggc_realloc (ptr, len);
1039 /* A helper function: used as the allocator function for
1040 identifier_to_locale. */
1041 static void *
1042 alloc_for_identifier_to_locale (size_t len)
1044 return ggc_alloc_atomic (len);
1047 /* Output stack usage information. */
1048 void
1049 output_stack_usage (void)
1051 static bool warning_issued = false;
1052 enum stack_usage_kind_type { STATIC = 0, DYNAMIC, DYNAMIC_BOUNDED };
1053 const char *stack_usage_kind_str[] = {
1054 "static",
1055 "dynamic",
1056 "dynamic,bounded"
1058 HOST_WIDE_INT stack_usage = current_function_static_stack_size;
1059 enum stack_usage_kind_type stack_usage_kind;
1061 if (stack_usage < 0)
1063 if (!warning_issued)
1065 warning (0, "stack usage computation not supported for this target");
1066 warning_issued = true;
1068 return;
1071 stack_usage_kind = STATIC;
1073 /* Add the maximum amount of space pushed onto the stack. */
1074 if (current_function_pushed_stack_size > 0)
1076 stack_usage += current_function_pushed_stack_size;
1077 stack_usage_kind = DYNAMIC_BOUNDED;
1080 /* Now on to the tricky part: dynamic stack allocation. */
1081 if (current_function_allocates_dynamic_stack_space)
1083 if (current_function_has_unbounded_dynamic_stack_size)
1084 stack_usage_kind = DYNAMIC;
1085 else
1086 stack_usage_kind = DYNAMIC_BOUNDED;
1088 /* Add the size even in the unbounded case, this can't hurt. */
1089 stack_usage += current_function_dynamic_stack_size;
1092 if (flag_stack_usage)
1094 expanded_location loc
1095 = expand_location (DECL_SOURCE_LOCATION (current_function_decl));
1096 /* We don't want to print the full qualified name because it can be long,
1097 so we strip the scope prefix, but we may need to deal with the suffix
1098 created by the compiler. */
1099 const char *suffix
1100 = strchr (IDENTIFIER_POINTER (DECL_NAME (current_function_decl)), '.');
1101 const char *name
1102 = lang_hooks.decl_printable_name (current_function_decl, 2);
1103 if (suffix)
1105 const char *dot = strchr (name, '.');
1106 while (dot && strcasecmp (dot, suffix) != 0)
1108 name = dot + 1;
1109 dot = strchr (name, '.');
1112 else
1114 const char *dot = strrchr (name, '.');
1115 if (dot)
1116 name = dot + 1;
1119 fprintf (stack_usage_file,
1120 "%s:%d:%d:%s\t" HOST_WIDE_INT_PRINT_DEC"\t%s\n",
1121 lbasename (loc.file),
1122 loc.line,
1123 loc.column,
1124 name,
1125 stack_usage,
1126 stack_usage_kind_str[stack_usage_kind]);
1129 if (warn_stack_usage >= 0)
1131 const location_t loc = DECL_SOURCE_LOCATION (current_function_decl);
1133 if (stack_usage_kind == DYNAMIC)
1134 warning_at (loc, OPT_Wstack_usage_, "stack usage might be unbounded");
1135 else if (stack_usage > warn_stack_usage)
1137 if (stack_usage_kind == DYNAMIC_BOUNDED)
1138 warning_at (loc,
1139 OPT_Wstack_usage_, "stack usage might be %wd bytes",
1140 stack_usage);
1141 else
1142 warning_at (loc, OPT_Wstack_usage_, "stack usage is %wd bytes",
1143 stack_usage);
1148 /* Open an auxiliary output file. */
1149 static FILE *
1150 open_auxiliary_file (const char *ext)
1152 char *filename;
1153 FILE *file;
1155 filename = concat (aux_base_name, ".", ext, NULL);
1156 file = fopen (filename, "w");
1157 if (!file)
1158 fatal_error (input_location, "can%'t open %s for writing: %m", filename);
1159 free (filename);
1160 return file;
1163 /* Initialization of the front end environment, before command line
1164 options are parsed. Signal handlers, internationalization etc.
1165 ARGV0 is main's argv[0]. */
1166 static void
1167 general_init (const char *argv0, bool init_signals)
1169 const char *p;
1171 p = argv0 + strlen (argv0);
1172 while (p != argv0 && !IS_DIR_SEPARATOR (p[-1]))
1173 --p;
1174 progname = p;
1176 xmalloc_set_program_name (progname);
1178 hex_init ();
1180 /* Unlock the stdio streams. */
1181 unlock_std_streams ();
1183 gcc_init_libintl ();
1185 identifier_to_locale_alloc = alloc_for_identifier_to_locale;
1186 identifier_to_locale_free = ggc_free;
1188 /* Initialize the diagnostics reporting machinery, so option parsing
1189 can give warnings and errors. */
1190 diagnostic_initialize (global_dc, N_OPTS);
1191 /* Set a default printer. Language specific initializations will
1192 override it later. */
1193 tree_diagnostics_defaults (global_dc);
1195 global_dc->show_caret
1196 = global_options_init.x_flag_diagnostics_show_caret;
1197 global_dc->show_option_requested
1198 = global_options_init.x_flag_diagnostics_show_option;
1199 global_dc->show_column
1200 = global_options_init.x_flag_show_column;
1201 global_dc->internal_error = plugins_internal_error_function;
1202 global_dc->option_enabled = option_enabled;
1203 global_dc->option_state = &global_options;
1204 global_dc->option_name = option_name;
1206 if (init_signals)
1208 /* Trap fatal signals, e.g. SIGSEGV, and convert them to ICE messages. */
1209 #ifdef SIGSEGV
1210 signal (SIGSEGV, crash_signal);
1211 #endif
1212 #ifdef SIGILL
1213 signal (SIGILL, crash_signal);
1214 #endif
1215 #ifdef SIGBUS
1216 signal (SIGBUS, crash_signal);
1217 #endif
1218 #ifdef SIGABRT
1219 signal (SIGABRT, crash_signal);
1220 #endif
1221 #if defined SIGIOT && (!defined SIGABRT || SIGABRT != SIGIOT)
1222 signal (SIGIOT, crash_signal);
1223 #endif
1224 #ifdef SIGFPE
1225 signal (SIGFPE, crash_signal);
1226 #endif
1228 /* Other host-specific signal setup. */
1229 (*host_hooks.extra_signals)();
1232 /* Initialize the garbage-collector, string pools and tree type hash
1233 table. */
1234 init_ggc ();
1235 init_stringpool ();
1236 input_location = UNKNOWN_LOCATION;
1237 line_table = ggc_alloc<line_maps> ();
1238 linemap_init (line_table, BUILTINS_LOCATION);
1239 line_table->reallocator = realloc_for_line_map;
1240 line_table->round_alloc_size = ggc_round_alloc_size;
1241 init_ttree ();
1243 /* Initialize register usage now so switches may override. */
1244 init_reg_sets ();
1246 /* Register the language-independent parameters. */
1247 global_init_params ();
1249 /* This must be done after global_init_params but before argument
1250 processing. */
1251 init_ggc_heuristics ();
1253 /* Create the singleton holder for global state.
1254 Doing so also creates the pass manager and with it the passes. */
1255 g = new gcc::context ();
1256 symtab = new (ggc_cleared_alloc <symbol_table> ()) symbol_table ();
1258 statistics_early_init ();
1259 finish_params ();
1262 /* Return true if the current target supports -fsection-anchors. */
1264 static bool
1265 target_supports_section_anchors_p (void)
1267 if (targetm.min_anchor_offset == 0 && targetm.max_anchor_offset == 0)
1268 return false;
1270 if (targetm.asm_out.output_anchor == NULL)
1271 return false;
1273 return true;
1276 /* Default the align_* variables to 1 if they're still unset, and
1277 set up the align_*_log variables. */
1278 static void
1279 init_alignments (void)
1281 if (align_loops <= 0)
1282 align_loops = 1;
1283 if (align_loops_max_skip > align_loops)
1284 align_loops_max_skip = align_loops - 1;
1285 align_loops_log = floor_log2 (align_loops * 2 - 1);
1286 if (align_jumps <= 0)
1287 align_jumps = 1;
1288 if (align_jumps_max_skip > align_jumps)
1289 align_jumps_max_skip = align_jumps - 1;
1290 align_jumps_log = floor_log2 (align_jumps * 2 - 1);
1291 if (align_labels <= 0)
1292 align_labels = 1;
1293 align_labels_log = floor_log2 (align_labels * 2 - 1);
1294 if (align_labels_max_skip > align_labels)
1295 align_labels_max_skip = align_labels - 1;
1296 if (align_functions <= 0)
1297 align_functions = 1;
1298 align_functions_log = floor_log2 (align_functions * 2 - 1);
1301 /* Process the options that have been parsed. */
1302 static void
1303 process_options (void)
1305 /* Just in case lang_hooks.post_options ends up calling a debug_hook.
1306 This can happen with incorrect pre-processed input. */
1307 debug_hooks = &do_nothing_debug_hooks;
1309 maximum_field_alignment = initial_max_fld_align * BITS_PER_UNIT;
1311 /* Allow the front end to perform consistency checks and do further
1312 initialization based on the command line options. This hook also
1313 sets the original filename if appropriate (e.g. foo.i -> foo.c)
1314 so we can correctly initialize debug output. */
1315 no_backend = lang_hooks.post_options (&main_input_filename);
1317 /* Set default values for parameters relation to the Scalar Reduction
1318 of Aggregates passes (SRA and IP-SRA). We must do this here, rather
1319 than in opts.c:default_options_optimization as historically these
1320 tuning heuristics have been based on MOVE_RATIO, which on some
1321 targets requires other symbols from the backend. */
1322 maybe_set_param_value
1323 (PARAM_SRA_MAX_SCALARIZATION_SIZE_SPEED,
1324 get_move_ratio (true) * UNITS_PER_WORD,
1325 global_options.x_param_values, global_options_set.x_param_values);
1326 maybe_set_param_value
1327 (PARAM_SRA_MAX_SCALARIZATION_SIZE_SIZE,
1328 get_move_ratio (false) * UNITS_PER_WORD,
1329 global_options.x_param_values, global_options_set.x_param_values);
1331 /* Some machines may reject certain combinations of options. */
1332 targetm.target_option.override ();
1334 /* Avoid any informative notes in the second run of -fcompare-debug. */
1335 if (flag_compare_debug)
1336 diagnostic_inhibit_notes (global_dc);
1338 if (flag_section_anchors && !target_supports_section_anchors_p ())
1340 warning (OPT_fsection_anchors,
1341 "this target does not support %qs", "-fsection-anchors");
1342 flag_section_anchors = 0;
1345 if (flag_short_enums == 2)
1346 flag_short_enums = targetm.default_short_enums ();
1348 /* Set aux_base_name if not already set. */
1349 if (aux_base_name)
1351 else if (main_input_filename)
1353 char *name = xstrdup (lbasename (main_input_filename));
1355 strip_off_ending (name, strlen (name));
1356 aux_base_name = name;
1358 else
1359 aux_base_name = "gccaux";
1361 #ifndef HAVE_isl
1362 if (flag_graphite
1363 || flag_graphite_identity
1364 || flag_loop_block
1365 || flag_loop_interchange
1366 || flag_loop_strip_mine
1367 || flag_loop_parallelize_all
1368 || flag_loop_unroll_jam)
1369 sorry ("Graphite loop optimizations cannot be used (ISL is not available)"
1370 "(-fgraphite, -fgraphite-identity, -floop-block, "
1371 "-floop-interchange, -floop-strip-mine, -floop-parallelize-all, "
1372 "-floop-unroll-and-jam, and -ftree-loop-linear)");
1373 #endif
1375 if (flag_check_pointer_bounds)
1377 if (targetm.chkp_bound_mode () == VOIDmode)
1379 error ("-fcheck-pointer-bounds is not supported for this target");
1380 flag_check_pointer_bounds = 0;
1383 if (flag_sanitize & SANITIZE_ADDRESS)
1385 error ("-fcheck-pointer-bounds is not supported with "
1386 "Address Sanitizer");
1387 flag_check_pointer_bounds = 0;
1391 /* One region RA really helps to decrease the code size. */
1392 if (flag_ira_region == IRA_REGION_AUTODETECT)
1393 flag_ira_region
1394 = optimize_size || !optimize ? IRA_REGION_ONE : IRA_REGION_MIXED;
1396 if (!abi_version_at_least (2))
1398 /* -fabi-version=1 support was removed after GCC 4.9. */
1399 error ("%<-fabi-version=1%> is no longer supported");
1400 flag_abi_version = 2;
1403 /* Unrolling all loops implies that standard loop unrolling must also
1404 be done. */
1405 if (flag_unroll_all_loops)
1406 flag_unroll_loops = 1;
1408 /* web and rename-registers help when run after loop unrolling. */
1409 if (flag_web == AUTODETECT_VALUE)
1410 flag_web = flag_unroll_loops || flag_peel_loops;
1412 if (flag_rename_registers == AUTODETECT_VALUE)
1413 flag_rename_registers = flag_unroll_loops || flag_peel_loops;
1415 if (flag_non_call_exceptions)
1416 flag_asynchronous_unwind_tables = 1;
1417 if (flag_asynchronous_unwind_tables)
1418 flag_unwind_tables = 1;
1420 if (flag_value_profile_transformations)
1421 flag_profile_values = 1;
1423 /* Warn about options that are not supported on this machine. */
1424 #ifndef INSN_SCHEDULING
1425 if (flag_schedule_insns || flag_schedule_insns_after_reload)
1426 warning (0, "instruction scheduling not supported on this target machine");
1427 #endif
1428 #ifndef DELAY_SLOTS
1429 if (flag_delayed_branch)
1430 warning (0, "this target machine does not have delayed branches");
1431 #endif
1433 user_label_prefix = USER_LABEL_PREFIX;
1434 if (flag_leading_underscore != -1)
1436 /* If the default prefix is more complicated than "" or "_",
1437 issue a warning and ignore this option. */
1438 if (user_label_prefix[0] == 0 ||
1439 (user_label_prefix[0] == '_' && user_label_prefix[1] == 0))
1441 user_label_prefix = flag_leading_underscore ? "_" : "";
1443 else
1444 warning (0, "-f%sleading-underscore not supported on this target machine",
1445 flag_leading_underscore ? "" : "no-");
1448 /* If we are in verbose mode, write out the version and maybe all the
1449 option flags in use. */
1450 if (version_flag)
1452 print_version (stderr, "", true);
1453 if (! quiet_flag)
1454 print_switch_values (print_to_stderr);
1457 if (flag_syntax_only)
1459 write_symbols = NO_DEBUG;
1460 profile_flag = 0;
1463 if (flag_gtoggle)
1465 if (debug_info_level == DINFO_LEVEL_NONE)
1467 debug_info_level = DINFO_LEVEL_NORMAL;
1469 if (write_symbols == NO_DEBUG)
1470 write_symbols = PREFERRED_DEBUGGING_TYPE;
1472 else
1473 debug_info_level = DINFO_LEVEL_NONE;
1476 if (flag_dump_final_insns && !flag_syntax_only && !no_backend)
1478 FILE *final_output = fopen (flag_dump_final_insns, "w");
1479 if (!final_output)
1481 error ("could not open final insn dump file %qs: %m",
1482 flag_dump_final_insns);
1483 flag_dump_final_insns = NULL;
1485 else if (fclose (final_output))
1487 error ("could not close zeroed insn dump file %qs: %m",
1488 flag_dump_final_insns);
1489 flag_dump_final_insns = NULL;
1493 /* A lot of code assumes write_symbols == NO_DEBUG if the debugging
1494 level is 0. */
1495 if (debug_info_level == DINFO_LEVEL_NONE)
1496 write_symbols = NO_DEBUG;
1498 if (write_symbols == NO_DEBUG)
1500 #if defined(DBX_DEBUGGING_INFO)
1501 else if (write_symbols == DBX_DEBUG)
1502 debug_hooks = &dbx_debug_hooks;
1503 #endif
1504 #if defined(XCOFF_DEBUGGING_INFO)
1505 else if (write_symbols == XCOFF_DEBUG)
1506 debug_hooks = &xcoff_debug_hooks;
1507 #endif
1508 #ifdef SDB_DEBUGGING_INFO
1509 else if (write_symbols == SDB_DEBUG)
1510 debug_hooks = &sdb_debug_hooks;
1511 #endif
1512 #ifdef DWARF2_DEBUGGING_INFO
1513 else if (write_symbols == DWARF2_DEBUG)
1514 debug_hooks = &dwarf2_debug_hooks;
1515 #endif
1516 #ifdef VMS_DEBUGGING_INFO
1517 else if (write_symbols == VMS_DEBUG || write_symbols == VMS_AND_DWARF2_DEBUG)
1518 debug_hooks = &vmsdbg_debug_hooks;
1519 #endif
1520 else
1521 error ("target system does not support the %qs debug format",
1522 debug_type_names[write_symbols]);
1524 /* We know which debug output will be used so we can set flag_var_tracking
1525 and flag_var_tracking_uninit if the user has not specified them. */
1526 if (debug_info_level < DINFO_LEVEL_NORMAL
1527 || debug_hooks->var_location == do_nothing_debug_hooks.var_location)
1529 if (flag_var_tracking == 1
1530 || flag_var_tracking_uninit == 1)
1532 if (debug_info_level < DINFO_LEVEL_NORMAL)
1533 warning (0, "variable tracking requested, but useless unless "
1534 "producing debug info");
1535 else
1536 warning (0, "variable tracking requested, but not supported "
1537 "by this debug format");
1539 flag_var_tracking = 0;
1540 flag_var_tracking_uninit = 0;
1543 /* The debug hooks are used to implement -fdump-go-spec because it
1544 gives a simple and stable API for all the information we need to
1545 dump. */
1546 if (flag_dump_go_spec != NULL)
1547 debug_hooks = dump_go_spec_init (flag_dump_go_spec, debug_hooks);
1549 /* If the user specifically requested variable tracking with tagging
1550 uninitialized variables, we need to turn on variable tracking.
1551 (We already determined above that variable tracking is feasible.) */
1552 if (flag_var_tracking_uninit == 1)
1553 flag_var_tracking = 1;
1555 if (flag_var_tracking == AUTODETECT_VALUE)
1556 flag_var_tracking = optimize >= 1;
1558 if (flag_var_tracking_uninit == AUTODETECT_VALUE)
1559 flag_var_tracking_uninit = flag_var_tracking;
1561 if (flag_var_tracking_assignments == AUTODETECT_VALUE)
1562 flag_var_tracking_assignments = flag_var_tracking
1563 && !(flag_selective_scheduling || flag_selective_scheduling2);
1565 if (flag_var_tracking_assignments_toggle)
1566 flag_var_tracking_assignments = !flag_var_tracking_assignments;
1568 if (flag_var_tracking_assignments && !flag_var_tracking)
1569 flag_var_tracking = flag_var_tracking_assignments = -1;
1571 if (flag_var_tracking_assignments
1572 && (flag_selective_scheduling || flag_selective_scheduling2))
1573 warning (0, "var-tracking-assignments changes selective scheduling");
1575 if (flag_tree_cselim == AUTODETECT_VALUE)
1576 #ifdef HAVE_conditional_move
1577 flag_tree_cselim = 1;
1578 #else
1579 flag_tree_cselim = 0;
1580 #endif
1582 /* If auxiliary info generation is desired, open the output file.
1583 This goes in the same directory as the source file--unlike
1584 all the other output files. */
1585 if (flag_gen_aux_info)
1587 aux_info_file = fopen (aux_info_file_name, "w");
1588 if (aux_info_file == 0)
1589 fatal_error (input_location, "can%'t open %s: %m", aux_info_file_name);
1592 if (!targetm_common.have_named_sections)
1594 if (flag_function_sections)
1596 warning (0, "-ffunction-sections not supported for this target");
1597 flag_function_sections = 0;
1599 if (flag_data_sections)
1601 warning (0, "-fdata-sections not supported for this target");
1602 flag_data_sections = 0;
1606 #ifndef HAVE_prefetch
1607 if (flag_prefetch_loop_arrays > 0)
1609 warning (0, "-fprefetch-loop-arrays not supported for this target");
1610 flag_prefetch_loop_arrays = 0;
1612 #else
1613 if (flag_prefetch_loop_arrays > 0 && !HAVE_prefetch)
1615 warning (0, "-fprefetch-loop-arrays not supported for this target (try -march switches)");
1616 flag_prefetch_loop_arrays = 0;
1618 #endif
1620 /* This combination of options isn't handled for i386 targets and doesn't
1621 make much sense anyway, so don't allow it. */
1622 if (flag_prefetch_loop_arrays > 0 && optimize_size)
1624 warning (0, "-fprefetch-loop-arrays is not supported with -Os");
1625 flag_prefetch_loop_arrays = 0;
1628 /* The presence of IEEE signaling NaNs, implies all math can trap. */
1629 if (flag_signaling_nans)
1630 flag_trapping_math = 1;
1632 /* We cannot reassociate if we want traps or signed zeros. */
1633 if (flag_associative_math && (flag_trapping_math || flag_signed_zeros))
1635 warning (0, "-fassociative-math disabled; other options take precedence");
1636 flag_associative_math = 0;
1639 /* With -fcx-limited-range, we do cheap and quick complex arithmetic. */
1640 if (flag_cx_limited_range)
1641 flag_complex_method = 0;
1643 /* With -fcx-fortran-rules, we do something in-between cheap and C99. */
1644 if (flag_cx_fortran_rules)
1645 flag_complex_method = 1;
1647 /* Targets must be able to place spill slots at lower addresses. If the
1648 target already uses a soft frame pointer, the transition is trivial. */
1649 if (!FRAME_GROWS_DOWNWARD && flag_stack_protect)
1651 warning (0, "-fstack-protector not supported for this target");
1652 flag_stack_protect = 0;
1654 if (!flag_stack_protect)
1655 warn_stack_protect = 0;
1657 /* Address Sanitizer needs porting to each target architecture. */
1659 if ((flag_sanitize & SANITIZE_ADDRESS)
1660 && !FRAME_GROWS_DOWNWARD)
1662 warning (0,
1663 "-fsanitize=address and -fsanitize=kernel-address "
1664 "are not supported for this target");
1665 flag_sanitize &= ~SANITIZE_ADDRESS;
1668 if ((flag_sanitize & SANITIZE_USER_ADDRESS)
1669 && targetm.asan_shadow_offset == NULL)
1671 warning (0, "-fsanitize=address not supported for this target");
1672 flag_sanitize &= ~SANITIZE_ADDRESS;
1675 /* Do not use IPA optimizations for register allocation if profiler is active
1676 or port does not emit prologue and epilogue as RTL. */
1677 if (profile_flag || !HAVE_prologue || !HAVE_epilogue)
1678 flag_ipa_ra = 0;
1680 /* Enable -Werror=coverage-mismatch when -Werror and -Wno-error
1681 have not been set. */
1682 if (!global_options_set.x_warnings_are_errors
1683 && warn_coverage_mismatch
1684 && (global_dc->classify_diagnostic[OPT_Wcoverage_mismatch] ==
1685 DK_UNSPECIFIED))
1686 diagnostic_classify_diagnostic (global_dc, OPT_Wcoverage_mismatch,
1687 DK_ERROR, UNKNOWN_LOCATION);
1689 /* Save the current optimization options. */
1690 optimization_default_node = build_optimization_node (&global_options);
1691 optimization_current_node = optimization_default_node;
1693 /* Please don't change global_options after this point, those changes won't
1694 be reflected in optimization_{default,current}_node. */
1697 /* This function can be called multiple times to reinitialize the compiler
1698 back end when register classes or instruction sets have changed,
1699 before each function. */
1700 static void
1701 backend_init_target (void)
1703 /* Initialize alignment variables. */
1704 init_alignments ();
1706 /* This depends on stack_pointer_rtx. */
1707 init_fake_stack_mems ();
1709 /* Sets static_base_value[HARD_FRAME_POINTER_REGNUM], which is
1710 mode-dependent. */
1711 init_alias_target ();
1713 /* Depends on HARD_FRAME_POINTER_REGNUM. */
1714 init_reload ();
1716 /* Depends on the enabled attribute. */
1717 recog_init ();
1719 /* The following initialization functions need to generate rtl, so
1720 provide a dummy function context for them. */
1721 init_dummy_function_start ();
1723 /* rtx_cost is mode-dependent, so cached values need to be recomputed
1724 on a mode change. */
1725 init_expmed ();
1726 init_lower_subreg ();
1727 init_set_costs ();
1729 init_expr_target ();
1730 ira_init ();
1732 /* We may need to recompute regno_save_code[] and regno_restore_code[]
1733 after a mode change as well. */
1734 caller_save_initialized_p = false;
1736 expand_dummy_function_end ();
1739 /* Initialize the compiler back end. This function is called only once,
1740 when starting the compiler. */
1741 static void
1742 backend_init (void)
1744 init_emit_once ();
1746 init_rtlanal ();
1747 init_inline_once ();
1748 init_varasm_once ();
1749 save_register_info ();
1751 /* Middle end needs this initialization for default mem attributes
1752 used by early calls to make_decl_rtl. */
1753 init_emit_regs ();
1755 /* Middle end needs this initialization for mode tables used to assign
1756 modes to vector variables. */
1757 init_regs ();
1760 /* Initialize excess precision settings. */
1761 static void
1762 init_excess_precision (void)
1764 /* Adjust excess precision handling based on the target options. If
1765 the front end cannot handle it, flag_excess_precision_cmdline
1766 will already have been set accordingly in the post_options
1767 hook. */
1768 gcc_assert (flag_excess_precision_cmdline != EXCESS_PRECISION_DEFAULT);
1769 flag_excess_precision = flag_excess_precision_cmdline;
1770 if (flag_unsafe_math_optimizations)
1771 flag_excess_precision = EXCESS_PRECISION_FAST;
1772 if (flag_excess_precision == EXCESS_PRECISION_STANDARD)
1774 int flt_eval_method = TARGET_FLT_EVAL_METHOD;
1775 switch (flt_eval_method)
1777 case -1:
1778 case 0:
1779 /* Either the target acts unpredictably (-1) or has all the
1780 operations required not to have excess precision (0). */
1781 flag_excess_precision = EXCESS_PRECISION_FAST;
1782 break;
1783 case 1:
1784 case 2:
1785 /* In these cases, predictable excess precision makes
1786 sense. */
1787 break;
1788 default:
1789 /* Any other implementation-defined FLT_EVAL_METHOD values
1790 require the compiler to handle the associated excess
1791 precision rules in excess_precision_type. */
1792 gcc_unreachable ();
1797 /* Initialize things that are both lang-dependent and target-dependent.
1798 This function can be called more than once if target parameters change. */
1799 static void
1800 lang_dependent_init_target (void)
1802 /* This determines excess precision settings. */
1803 init_excess_precision ();
1805 /* This creates various _DECL nodes, so needs to be called after the
1806 front end is initialized. It also depends on the HAVE_xxx macros
1807 generated from the target machine description. */
1808 init_optabs ();
1810 gcc_assert (!this_target_rtl->target_specific_initialized);
1813 /* Perform initializations that are lang-dependent or target-dependent.
1814 but matters only for late optimizations and RTL generation. */
1816 static int rtl_initialized;
1818 void
1819 initialize_rtl (void)
1821 /* Initialization done just once per compilation, but delayed
1822 till code generation. */
1823 if (!rtl_initialized)
1824 ira_init_once ();
1825 rtl_initialized = true;
1827 /* Target specific RTL backend initialization. */
1828 if (!this_target_rtl->target_specific_initialized)
1830 backend_init_target ();
1831 this_target_rtl->target_specific_initialized = true;
1835 /* Language-dependent initialization. Returns nonzero on success. */
1836 static int
1837 lang_dependent_init (const char *name)
1839 location_t save_loc = input_location;
1840 if (dump_base_name == 0)
1841 dump_base_name = name && name[0] ? name : "gccdump";
1843 /* Other front-end initialization. */
1844 input_location = BUILTINS_LOCATION;
1845 if (lang_hooks.init () == 0)
1846 return 0;
1847 input_location = save_loc;
1849 if (!flag_wpa)
1851 init_asm_output (name);
1853 /* If stack usage information is desired, open the output file. */
1854 if (flag_stack_usage)
1855 stack_usage_file = open_auxiliary_file ("su");
1858 /* This creates various _DECL nodes, so needs to be called after the
1859 front end is initialized. */
1860 init_eh ();
1862 /* Do the target-specific parts of the initialization. */
1863 lang_dependent_init_target ();
1865 if (!flag_wpa)
1867 /* If dbx symbol table desired, initialize writing it and output the
1868 predefined types. */
1869 timevar_push (TV_SYMOUT);
1871 /* Now we have the correct original filename, we can initialize
1872 debug output. */
1873 (*debug_hooks->init) (name);
1875 timevar_pop (TV_SYMOUT);
1878 return 1;
1882 /* Reinitialize everything when target parameters, such as register usage,
1883 have changed. */
1884 void
1885 target_reinit (void)
1887 struct rtl_data saved_x_rtl;
1888 rtx *saved_regno_reg_rtx;
1889 tree saved_optimization_current_node;
1890 struct target_optabs *saved_this_fn_optabs;
1892 /* Temporarily switch to the default optimization node, so that
1893 *this_target_optabs is set to the default, not reflecting
1894 whatever a previous function used for the optimize
1895 attribute. */
1896 saved_optimization_current_node = optimization_current_node;
1897 saved_this_fn_optabs = this_fn_optabs;
1898 if (saved_optimization_current_node != optimization_default_node)
1900 optimization_current_node = optimization_default_node;
1901 cl_optimization_restore
1902 (&global_options,
1903 TREE_OPTIMIZATION (optimization_default_node));
1905 this_fn_optabs = this_target_optabs;
1907 /* Save *crtl and regno_reg_rtx around the reinitialization
1908 to allow target_reinit being called even after prepare_function_start. */
1909 saved_regno_reg_rtx = regno_reg_rtx;
1910 if (saved_regno_reg_rtx)
1912 saved_x_rtl = *crtl;
1913 memset (crtl, '\0', sizeof (*crtl));
1914 regno_reg_rtx = NULL;
1917 this_target_rtl->target_specific_initialized = false;
1919 /* This initializes hard_frame_pointer, and calls init_reg_modes_target()
1920 to initialize reg_raw_mode[]. */
1921 init_emit_regs ();
1923 /* This invokes target hooks to set fixed_reg[] etc, which is
1924 mode-dependent. */
1925 init_regs ();
1927 /* Reinitialize lang-dependent parts. */
1928 lang_dependent_init_target ();
1930 /* Restore the original optimization node. */
1931 if (saved_optimization_current_node != optimization_default_node)
1933 optimization_current_node = saved_optimization_current_node;
1934 cl_optimization_restore (&global_options,
1935 TREE_OPTIMIZATION (optimization_current_node));
1937 this_fn_optabs = saved_this_fn_optabs;
1939 /* Restore regno_reg_rtx at the end, as free_after_compilation from
1940 expand_dummy_function_end clears it. */
1941 if (saved_regno_reg_rtx)
1943 *crtl = saved_x_rtl;
1944 regno_reg_rtx = saved_regno_reg_rtx;
1945 saved_regno_reg_rtx = NULL;
1949 void
1950 dump_memory_report (bool final)
1952 dump_line_table_statistics ();
1953 ggc_print_statistics ();
1954 stringpool_statistics ();
1955 dump_tree_statistics ();
1956 dump_gimple_statistics ();
1957 dump_rtx_statistics ();
1958 dump_alloc_pool_statistics ();
1959 dump_bitmap_statistics ();
1960 dump_vec_loc_statistics ();
1961 dump_ggc_loc_statistics (final);
1962 dump_alias_stats (stderr);
1963 dump_pta_stats (stderr);
1966 /* Clean up: close opened files, etc. */
1968 static void
1969 finalize (bool no_backend)
1971 /* Close the dump files. */
1972 if (flag_gen_aux_info)
1974 fclose (aux_info_file);
1975 if (seen_error ())
1976 unlink (aux_info_file_name);
1979 /* Close non-debugging input and output files. Take special care to note
1980 whether fclose returns an error, since the pages might still be on the
1981 buffer chain while the file is open. */
1983 if (asm_out_file)
1985 if (ferror (asm_out_file) != 0)
1986 fatal_error (input_location, "error writing to %s: %m", asm_file_name);
1987 if (fclose (asm_out_file) != 0)
1988 fatal_error (input_location, "error closing %s: %m", asm_file_name);
1991 if (stack_usage_file)
1992 fclose (stack_usage_file);
1994 if (!no_backend)
1996 statistics_fini ();
1998 g->get_passes ()->finish_optimization_passes ();
2000 lra_finish_once ();
2003 if (mem_report)
2004 dump_memory_report (true);
2006 if (profile_report)
2007 dump_profile_report ();
2009 /* Language-specific end of compilation actions. */
2010 lang_hooks.finish ();
2013 static bool
2014 standard_type_bitsize (int bitsize)
2016 /* As a special exception, we always want __int128 enabled if possible. */
2017 if (bitsize == 128)
2018 return false;
2019 if (bitsize == CHAR_TYPE_SIZE
2020 || bitsize == SHORT_TYPE_SIZE
2021 || bitsize == INT_TYPE_SIZE
2022 || bitsize == LONG_TYPE_SIZE
2023 || bitsize == LONG_LONG_TYPE_SIZE)
2024 return true;
2025 return false;
2028 /* Initialize the compiler, and compile the input file. */
2029 static void
2030 do_compile ()
2032 process_options ();
2034 /* Don't do any more if an error has already occurred. */
2035 if (!seen_error ())
2037 int i;
2039 timevar_start (TV_PHASE_SETUP);
2041 /* This must be run always, because it is needed to compute the FP
2042 predefined macros, such as __LDBL_MAX__, for targets using non
2043 default FP formats. */
2044 init_adjust_machine_modes ();
2045 init_derived_machine_modes ();
2047 /* This must happen after the backend has a chance to process
2048 command line options, but before the parsers are
2049 initialized. */
2050 for (i = 0; i < NUM_INT_N_ENTS; i ++)
2051 if (targetm.scalar_mode_supported_p (int_n_data[i].m)
2052 && ! standard_type_bitsize (int_n_data[i].bitsize))
2053 int_n_enabled_p[i] = true;
2054 else
2055 int_n_enabled_p[i] = false;
2057 /* Set up the back-end if requested. */
2058 if (!no_backend)
2059 backend_init ();
2061 /* Language-dependent initialization. Returns true on success. */
2062 if (lang_dependent_init (main_input_filename))
2064 /* Initialize yet another pass. */
2066 ggc_protect_identifiers = true;
2068 symtab->initialize ();
2069 init_final (main_input_filename);
2070 coverage_init (aux_base_name);
2071 statistics_init ();
2072 invoke_plugin_callbacks (PLUGIN_START_UNIT, NULL);
2074 timevar_stop (TV_PHASE_SETUP);
2076 compile_file ();
2078 else
2080 timevar_stop (TV_PHASE_SETUP);
2083 timevar_start (TV_PHASE_FINALIZE);
2085 finalize (no_backend);
2087 timevar_stop (TV_PHASE_FINALIZE);
2091 toplev::toplev (bool use_TV_TOTAL, bool init_signals)
2092 : m_use_TV_TOTAL (use_TV_TOTAL),
2093 m_init_signals (init_signals)
2095 if (!m_use_TV_TOTAL)
2096 start_timevars ();
2099 toplev::~toplev ()
2101 timevar_stop (TV_TOTAL);
2102 timevar_print (stderr);
2105 void
2106 toplev::start_timevars ()
2108 if (time_report || !quiet_flag || flag_detailed_statistics)
2109 timevar_init ();
2111 timevar_start (TV_TOTAL);
2114 /* Entry point of cc1, cc1plus, jc1, f771, etc.
2115 Exit code is FATAL_EXIT_CODE if can't open files or if there were
2116 any errors, or SUCCESS_EXIT_CODE if compilation succeeded.
2118 It is not safe to call this function more than once. */
2121 toplev::main (int argc, char **argv)
2123 /* Parsing and gimplification sometimes need quite large stack.
2124 Increase stack size limits if possible. */
2125 stack_limit_increase (64 * 1024 * 1024);
2127 expandargv (&argc, &argv);
2129 /* Initialization of GCC's environment, and diagnostics. */
2130 general_init (argv[0], m_init_signals);
2132 /* One-off initialization of options that does not need to be
2133 repeated when options are added for particular functions. */
2134 init_options_once ();
2136 /* Initialize global options structures; this must be repeated for
2137 each structure used for parsing options. */
2138 init_options_struct (&global_options, &global_options_set);
2139 lang_hooks.init_options_struct (&global_options);
2141 /* Convert the options to an array. */
2142 decode_cmdline_options_to_array_default_mask (argc,
2143 CONST_CAST2 (const char **,
2144 char **, argv),
2145 &save_decoded_options,
2146 &save_decoded_options_count);
2148 /* Perform language-specific options initialization. */
2149 lang_hooks.init_options (save_decoded_options_count, save_decoded_options);
2151 /* Parse the options and do minimal processing; basically just
2152 enough to default flags appropriately. */
2153 decode_options (&global_options, &global_options_set,
2154 save_decoded_options, save_decoded_options_count,
2155 UNKNOWN_LOCATION, global_dc);
2157 handle_common_deferred_options ();
2159 init_local_tick ();
2161 initialize_plugins ();
2163 if (version_flag)
2164 print_version (stderr, "", true);
2166 if (help_flag)
2167 print_plugins_help (stderr, "");
2169 /* Exit early if we can (e.g. -help). */
2170 if (!exit_after_options)
2172 if (m_use_TV_TOTAL)
2173 start_timevars ();
2174 do_compile ();
2177 if (warningcount || errorcount || werrorcount)
2178 print_ignored_options ();
2180 /* Invoke registered plugin callbacks if any. Some plugins could
2181 emit some diagnostics here. */
2182 invoke_plugin_callbacks (PLUGIN_FINISH, NULL);
2184 diagnostic_finish (global_dc);
2186 finalize_plugins ();
2187 location_adhoc_data_fini (line_table);
2188 if (seen_error () || werrorcount)
2189 return (FATAL_EXIT_CODE);
2191 return (SUCCESS_EXIT_CODE);
2194 /* For those that want to, this function aims to clean up enough state that
2195 you can call toplev::main again. */
2196 void
2197 toplev::finalize (void)
2199 rtl_initialized = false;
2200 this_target_rtl->target_specific_initialized = false;
2202 /* Needs to be called before cgraph_c_finalize since it uses symtab. */
2203 ipa_reference_c_finalize ();
2205 cgraph_c_finalize ();
2206 cgraphunit_c_finalize ();
2207 dwarf2out_c_finalize ();
2208 gcse_c_finalize ();
2209 ipa_cp_c_finalize ();
2210 ira_costs_c_finalize ();
2211 params_c_finalize ();
2213 finalize_options_struct (&global_options);
2214 finalize_options_struct (&global_options_set);
2216 XDELETEVEC (save_decoded_options);
2218 /* Clean up the context (and pass_manager etc). */
2219 delete g;
2220 g = NULL;
2222 obstack_free (&opts_obstack, NULL);