Remove assert in get_def_bb_for_const
[official-gcc.git] / gcc / toplev.c
blob580c03aa62192970ba6d3ef4fa7bfbb8153023eb
1 /* Top level of GCC compilers (cc1, cc1plus, etc.)
2 Copyright (C) 1987-2016 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 "backend.h"
29 #include "target.h"
30 #include "rtl.h"
31 #include "tree.h"
32 #include "gimple.h"
33 #include "alloc-pool.h"
34 #include "timevar.h"
35 #include "tm_p.h"
36 #include "optabs-libfuncs.h"
37 #include "insn-config.h"
38 #include "ira.h"
39 #include "recog.h"
40 #include "cgraph.h"
41 #include "coverage.h"
42 #include "diagnostic.h"
43 #include "varasm.h"
44 #include "tree-inline.h"
45 #include "realmpfr.h" /* For GMP/MPFR/MPC versions, in print_version. */
46 #include "version.h"
47 #include "flags.h"
48 #include "insn-attr.h"
49 #include "output.h"
50 #include "toplev.h"
51 #include "expr.h"
52 #include "intl.h"
53 #include "tree-diagnostic.h"
54 #include "params.h"
55 #include "reload.h"
56 #include "lra.h"
57 #include "dwarf2asm.h"
58 #include "debug.h"
59 #include "common/common-target.h"
60 #include "langhooks.h"
61 #include "cfgloop.h" /* for init_set_costs */
62 #include "hosthooks.h"
63 #include "opts.h"
64 #include "opts-diagnostic.h"
65 #include "asan.h"
66 #include "tsan.h"
67 #include "plugin.h"
68 #include "context.h"
69 #include "pass_manager.h"
70 #include "auto-profile.h"
71 #include "dwarf2out.h"
72 #include "ipa-reference.h"
73 #include "symbol-summary.h"
74 #include "ipa-prop.h"
75 #include "gcse.h"
76 #include "tree-chkp.h"
77 #include "omp-low.h"
78 #include "hsa.h"
80 #if defined(DBX_DEBUGGING_INFO) || defined(XCOFF_DEBUGGING_INFO)
81 #include "dbxout.h"
82 #endif
84 #include "sdbout.h"
86 #ifdef XCOFF_DEBUGGING_INFO
87 #include "xcoffout.h" /* Needed for external data declarations. */
88 #endif
90 static void general_init (const char *, bool);
91 static void do_compile ();
92 static void process_options (void);
93 static void backend_init (void);
94 static int lang_dependent_init (const char *);
95 static void init_asm_output (const char *);
96 static void finalize (bool);
98 static void crash_signal (int) ATTRIBUTE_NORETURN;
99 static void compile_file (void);
101 /* True if we don't need a backend (e.g. preprocessing only). */
102 static bool no_backend;
104 /* Length of line when printing switch values. */
105 #define MAX_LINE 75
107 /* Decoded options, and number of such options. */
108 struct cl_decoded_option *save_decoded_options;
109 unsigned int save_decoded_options_count;
111 /* Used to enable -fvar-tracking, -fweb and -frename-registers according
112 to optimize in process_options (). */
113 #define AUTODETECT_VALUE 2
115 /* Debug hooks - dependent upon command line options. */
117 const struct gcc_debug_hooks *debug_hooks;
119 /* The FUNCTION_DECL for the function currently being compiled,
120 or 0 if between functions. */
121 tree current_function_decl;
123 /* Set to the FUNC_BEGIN label of the current function, or NULL
124 if none. */
125 const char * current_function_func_begin_label;
127 /* A random sequence of characters, unless overridden by user. */
128 static const char *flag_random_seed;
130 /* A local time stamp derived from the time of compilation. It will be
131 zero if the system cannot provide a time. It will be -1u, if the
132 user has specified a particular random seed. */
133 unsigned local_tick;
135 /* Random number for this compilation */
136 HOST_WIDE_INT random_seed;
138 /* -f flags. */
140 /* When non-NULL, indicates that whenever space is allocated on the
141 stack, the resulting stack pointer must not pass this
142 address---that is, for stacks that grow downward, the stack pointer
143 must always be greater than or equal to this address; for stacks
144 that grow upward, the stack pointer must be less than this address.
145 At present, the rtx may be either a REG or a SYMBOL_REF, although
146 the support provided depends on the backend. */
147 rtx stack_limit_rtx;
149 /* True if the user has tagged the function with the 'section'
150 attribute. */
152 bool user_defined_section_attribute = false;
154 struct target_flag_state default_target_flag_state;
155 #if SWITCHABLE_TARGET
156 struct target_flag_state *this_target_flag_state = &default_target_flag_state;
157 #else
158 #define this_target_flag_state (&default_target_flag_state)
159 #endif
161 /* The user symbol prefix after having resolved same. */
162 const char *user_label_prefix;
164 /* Output files for assembler code (real compiler output)
165 and debugging dumps. */
167 FILE *asm_out_file;
168 FILE *aux_info_file;
169 FILE *stack_usage_file = NULL;
171 /* The current working directory of a translation. It's generally the
172 directory from which compilation was initiated, but a preprocessed
173 file may specify the original directory in which it was
174 created. */
176 static const char *src_pwd;
178 /* Initialize src_pwd with the given string, and return true. If it
179 was already initialized, return false. As a special case, it may
180 be called with a NULL argument to test whether src_pwd has NOT been
181 initialized yet. */
183 bool
184 set_src_pwd (const char *pwd)
186 if (src_pwd)
188 if (strcmp (src_pwd, pwd) == 0)
189 return true;
190 else
191 return false;
194 src_pwd = xstrdup (pwd);
195 return true;
198 /* Return the directory from which the translation unit was initiated,
199 in case set_src_pwd() was not called before to assign it a
200 different value. */
202 const char *
203 get_src_pwd (void)
205 if (! src_pwd)
207 src_pwd = getpwd ();
208 if (!src_pwd)
209 src_pwd = ".";
212 return src_pwd;
215 /* Called when the start of a function definition is parsed,
216 this function prints on stderr the name of the function. */
217 void
218 announce_function (tree decl)
220 if (!quiet_flag)
222 if (rtl_dump_and_exit)
223 fprintf (stderr, "%s ",
224 identifier_to_locale (IDENTIFIER_POINTER (DECL_NAME (decl))));
225 else
226 fprintf (stderr, " %s",
227 identifier_to_locale (lang_hooks.decl_printable_name (decl, 2)));
228 fflush (stderr);
229 pp_needs_newline (global_dc->printer) = true;
230 diagnostic_set_last_function (global_dc, (diagnostic_info *) NULL);
234 /* Initialize local_tick with a random number or -1 if
235 flag_random_seed is set. */
237 static void
238 init_local_tick (void)
240 if (!flag_random_seed)
242 /* Try urandom first. Time of day is too likely to collide.
243 In case of any error we just use the local tick. */
245 int fd = open ("/dev/urandom", O_RDONLY);
246 if (fd >= 0)
248 if (read (fd, &random_seed, sizeof (random_seed))
249 != sizeof (random_seed))
250 random_seed = 0;
251 close (fd);
254 /* Now get the tick anyways */
255 #ifdef HAVE_GETTIMEOFDAY
257 struct timeval tv;
259 gettimeofday (&tv, NULL);
260 local_tick = (unsigned) tv.tv_sec * 1000 + tv.tv_usec / 1000;
262 #else
264 time_t now = time (NULL);
266 if (now != (time_t)-1)
267 local_tick = (unsigned) now;
269 #endif
271 else
272 local_tick = -1;
275 /* Set up a default flag_random_seed and local_tick, unless the user
276 already specified one. Must be called after init_local_tick. */
278 static void
279 init_random_seed (void)
281 if (!random_seed)
282 random_seed = local_tick ^ getpid (); /* Old racey fallback method */
285 /* Obtain the random_seed. Unless NOINIT, initialize it if
286 it's not provided in the command line. */
288 HOST_WIDE_INT
289 get_random_seed (bool noinit)
291 if (!flag_random_seed && !noinit)
292 init_random_seed ();
293 return random_seed;
296 /* Modify the random_seed string to VAL. Return its previous
297 value. */
299 const char *
300 set_random_seed (const char *val)
302 const char *old = flag_random_seed;
303 flag_random_seed = val;
304 if (flag_random_seed)
306 char *endp;
308 /* When the driver passed in a hex number don't crc it again */
309 random_seed = strtoul (flag_random_seed, &endp, 0);
310 if (!(endp > flag_random_seed && *endp == 0))
311 random_seed = crc32_string (0, flag_random_seed);
313 return old;
316 /* Handler for fatal signals, such as SIGSEGV. These are transformed
317 into ICE messages, which is much more user friendly. In case the
318 error printer crashes, reset the signal to prevent infinite recursion. */
320 static void
321 crash_signal (int signo)
323 signal (signo, SIG_DFL);
325 /* If we crashed while processing an ASM statement, then be a little more
326 graceful. It's most likely the user's fault. */
327 if (this_is_asm_operands)
329 output_operand_lossage ("unrecoverable error");
330 exit (FATAL_EXIT_CODE);
333 internal_error ("%s", strsignal (signo));
336 /* A subroutine of wrapup_global_declarations. We've come to the end of
337 the compilation unit. All deferred variables should be undeferred,
338 and all incomplete decls should be finalized. */
340 void
341 wrapup_global_declaration_1 (tree decl)
343 /* We're not deferring this any longer. Assignment is conditional to
344 avoid needlessly dirtying PCH pages. */
345 if (CODE_CONTAINS_STRUCT (TREE_CODE (decl), TS_DECL_WITH_VIS)
346 && DECL_DEFER_OUTPUT (decl) != 0)
347 DECL_DEFER_OUTPUT (decl) = 0;
349 if (TREE_CODE (decl) == VAR_DECL && DECL_SIZE (decl) == 0)
350 lang_hooks.finish_incomplete_decl (decl);
353 /* A subroutine of wrapup_global_declarations. Decide whether or not DECL
354 needs to be output. Return true if it is output. */
356 bool
357 wrapup_global_declaration_2 (tree decl)
359 if (TREE_ASM_WRITTEN (decl) || DECL_EXTERNAL (decl)
360 || (TREE_CODE (decl) == VAR_DECL && DECL_HAS_VALUE_EXPR_P (decl)))
361 return false;
363 /* Don't write out static consts, unless we still need them.
365 We also keep static consts if not optimizing (for debugging),
366 unless the user specified -fno-keep-static-consts.
367 ??? They might be better written into the debug information.
368 This is possible when using DWARF.
370 A language processor that wants static constants to be always
371 written out (even if it is not used) is responsible for
372 calling rest_of_decl_compilation itself. E.g. the C front-end
373 calls rest_of_decl_compilation from finish_decl.
374 One motivation for this is that is conventional in some
375 environments to write things like:
376 static const char rcsid[] = "... version string ...";
377 intending to force the string to be in the executable.
379 A language processor that would prefer to have unneeded
380 static constants "optimized away" would just defer writing
381 them out until here. E.g. C++ does this, because static
382 constants are often defined in header files.
384 ??? A tempting alternative (for both C and C++) would be
385 to force a constant to be written if and only if it is
386 defined in a main file, as opposed to an include file. */
388 if (TREE_CODE (decl) == VAR_DECL && TREE_STATIC (decl))
390 varpool_node *node;
391 bool needed = true;
392 node = varpool_node::get (decl);
394 if (!node && flag_ltrans)
395 needed = false;
396 else if (node && node->definition)
397 needed = false;
398 else if (node && node->alias)
399 needed = false;
400 else if (!symtab->global_info_ready
401 && (TREE_USED (decl)
402 || TREE_USED (DECL_ASSEMBLER_NAME (decl))))
403 /* needed */;
404 else if (node && node->analyzed)
405 /* needed */;
406 else if (DECL_COMDAT (decl))
407 needed = false;
408 else if (TREE_READONLY (decl) && !TREE_PUBLIC (decl)
409 && (optimize || !flag_keep_static_consts
410 || DECL_ARTIFICIAL (decl)))
411 needed = false;
413 if (needed)
415 rest_of_decl_compilation (decl, 1, 1);
416 return true;
420 return false;
423 /* Do any final processing required for the declarations in VEC, of
424 which there are LEN. We write out inline functions and variables
425 that have been deferred until this point, but which are required.
426 Returns nonzero if anything was put out. */
428 bool
429 wrapup_global_declarations (tree *vec, int len)
431 bool reconsider, output_something = false;
432 int i;
434 for (i = 0; i < len; i++)
435 wrapup_global_declaration_1 (vec[i]);
437 /* Now emit any global variables or functions that we have been
438 putting off. We need to loop in case one of the things emitted
439 here references another one which comes earlier in the list. */
442 reconsider = false;
443 for (i = 0; i < len; i++)
444 reconsider |= wrapup_global_declaration_2 (vec[i]);
445 if (reconsider)
446 output_something = true;
448 while (reconsider);
450 return output_something;
453 /* Compile an entire translation unit. Write a file of assembly
454 output and various debugging dumps. */
456 static void
457 compile_file (void)
459 timevar_start (TV_PHASE_PARSING);
460 timevar_push (TV_PARSE_GLOBAL);
462 /* Parse entire file and generate initial debug information. */
463 lang_hooks.parse_file ();
465 timevar_pop (TV_PARSE_GLOBAL);
466 timevar_stop (TV_PHASE_PARSING);
468 if (flag_dump_locations)
469 dump_location_info (stderr);
471 /* Compilation is now finished except for writing
472 what's left of the symbol table output. */
474 if (flag_syntax_only || flag_wpa)
475 return;
477 /* Reset maximum_field_alignment, it can be adjusted by #pragma pack
478 and this shouldn't influence any types built by the middle-end
479 from now on (like gcov_info_type). */
480 maximum_field_alignment = initial_max_fld_align * BITS_PER_UNIT;
482 ggc_protect_identifiers = false;
484 /* Run the actual compilation process. */
485 if (!in_lto_p)
487 timevar_start (TV_PHASE_OPT_GEN);
488 symtab->finalize_compilation_unit ();
489 timevar_stop (TV_PHASE_OPT_GEN);
492 /* Perform any post compilation-proper parser cleanups and
493 processing. This is currently only needed for the C++ parser,
494 which can be hopefully cleaned up so this hook is no longer
495 necessary. */
496 if (lang_hooks.decls.post_compilation_parsing_cleanups)
497 lang_hooks.decls.post_compilation_parsing_cleanups ();
499 if (seen_error ())
500 return;
502 timevar_start (TV_PHASE_LATE_ASM);
504 /* Compilation unit is finalized. When producing non-fat LTO object, we are
505 basically finished. */
506 if (in_lto_p || !flag_lto || flag_fat_lto_objects)
508 /* File-scope initialization for AddressSanitizer. */
509 if (flag_sanitize & SANITIZE_ADDRESS)
510 asan_finish_file ();
512 if (flag_sanitize & SANITIZE_THREAD)
513 tsan_finish_file ();
515 if (flag_check_pointer_bounds)
516 chkp_finish_file ();
518 omp_finish_file ();
520 hsa_output_brig ();
522 output_shared_constant_pool ();
523 output_object_blocks ();
524 finish_tm_clone_pairs ();
526 /* Write out any pending weak symbol declarations. */
527 weak_finish ();
529 /* This must be at the end before unwind and debug info.
530 Some target ports emit PIC setup thunks here. */
531 targetm.asm_out.code_end ();
533 /* Do dbx symbols. */
534 timevar_push (TV_SYMOUT);
536 #if defined DWARF2_DEBUGGING_INFO || defined DWARF2_UNWIND_INFO
537 if (dwarf2out_do_frame ())
538 dwarf2out_frame_finish ();
539 #endif
541 (*debug_hooks->finish) (main_input_filename);
542 timevar_pop (TV_SYMOUT);
544 /* Output some stuff at end of file if nec. */
546 dw2_output_indirect_constants ();
548 /* Flush any pending external directives. */
549 process_pending_assemble_externals ();
552 /* Emit LTO marker if LTO info has been previously emitted. This is
553 used by collect2 to determine whether an object file contains IL.
554 We used to emit an undefined reference here, but this produces
555 link errors if an object file with IL is stored into a shared
556 library without invoking lto1. */
557 if (flag_generate_lto || flag_generate_offload)
559 #if defined ASM_OUTPUT_ALIGNED_DECL_COMMON
560 ASM_OUTPUT_ALIGNED_DECL_COMMON (asm_out_file, NULL_TREE,
561 "__gnu_lto_v1",
562 (unsigned HOST_WIDE_INT) 1, 8);
563 #elif defined ASM_OUTPUT_ALIGNED_COMMON
564 ASM_OUTPUT_ALIGNED_COMMON (asm_out_file, "__gnu_lto_v1",
565 (unsigned HOST_WIDE_INT) 1, 8);
566 #else
567 ASM_OUTPUT_COMMON (asm_out_file, "__gnu_lto_v1",
568 (unsigned HOST_WIDE_INT) 1,
569 (unsigned HOST_WIDE_INT) 1);
570 #endif
573 /* Let linker plugin know that this is a slim object and must be LTOed
574 even when user did not ask for it. */
575 if (flag_generate_lto && !flag_fat_lto_objects)
577 #if defined ASM_OUTPUT_ALIGNED_DECL_COMMON
578 ASM_OUTPUT_ALIGNED_DECL_COMMON (asm_out_file, NULL_TREE, "__gnu_lto_slim",
579 (unsigned HOST_WIDE_INT) 1, 8);
580 #elif defined ASM_OUTPUT_ALIGNED_COMMON
581 ASM_OUTPUT_ALIGNED_COMMON (asm_out_file, "__gnu_lto_slim",
582 (unsigned HOST_WIDE_INT) 1, 8);
583 #else
584 ASM_OUTPUT_COMMON (asm_out_file, "__gnu_lto_slim",
585 (unsigned HOST_WIDE_INT) 1,
586 (unsigned HOST_WIDE_INT) 1);
587 #endif
590 /* Attach a special .ident directive to the end of the file to identify
591 the version of GCC which compiled this code. The format of the .ident
592 string is patterned after the ones produced by native SVR4 compilers. */
593 if (!flag_no_ident)
595 const char *pkg_version = "(GNU) ";
596 char *ident_str;
598 if (strcmp ("(GCC) ", pkgversion_string))
599 pkg_version = pkgversion_string;
601 ident_str = ACONCAT (("GCC: ", pkg_version, version_string, NULL));
602 targetm.asm_out.output_ident (ident_str);
605 /* Auto profile finalization. */
606 if (flag_auto_profile)
607 end_auto_profile ();
609 /* Invoke registered plugin callbacks. */
610 invoke_plugin_callbacks (PLUGIN_FINISH_UNIT, NULL);
612 /* This must be at the end. Some target ports emit end of file directives
613 into the assembly file here, and hence we can not output anything to the
614 assembly file after this point. */
615 targetm.asm_out.file_end ();
617 timevar_stop (TV_PHASE_LATE_ASM);
620 /* Print version information to FILE.
621 Each line begins with INDENT (for the case where FILE is the
622 assembler output file).
624 If SHOW_GLOBAL_STATE is true (for cc1 etc), we are within the compiler
625 proper and can print pertinent state (e.g. params and plugins).
627 If SHOW_GLOBAL_STATE is false (for use by libgccjit), we are outside the
628 compiler, and we don't hold the mutex on the compiler's global state:
629 we can't print params and plugins, since they might not be initialized,
630 or might be being manipulated by a compile running in another
631 thread. */
633 void
634 print_version (FILE *file, const char *indent, bool show_global_state)
636 static const char fmt1[] =
637 #ifdef __GNUC__
638 N_("%s%s%s %sversion %s (%s)\n%s\tcompiled by GNU C version %s, ")
639 #else
640 N_("%s%s%s %sversion %s (%s) compiled by CC, ")
641 #endif
643 static const char fmt2[] =
644 N_("GMP version %s, MPFR version %s, MPC version %s, isl version %s\n");
645 static const char fmt3[] =
646 N_("%s%swarning: %s header version %s differs from library version %s.\n");
647 static const char fmt4[] =
648 N_("%s%sGGC heuristics: --param ggc-min-expand=%d --param ggc-min-heapsize=%d\n");
649 #ifndef __VERSION__
650 #define __VERSION__ "[?]"
651 #endif
652 fprintf (file,
653 file == stderr ? _(fmt1) : fmt1,
654 indent, *indent != 0 ? " " : "",
655 lang_hooks.name, pkgversion_string, version_string, TARGET_NAME,
656 indent, __VERSION__);
658 /* We need to stringify the GMP macro values. Ugh, gmp_version has
659 two string formats, "i.j.k" and "i.j" when k is zero. As of
660 gmp-4.3.0, GMP always uses the 3 number format. */
661 #define GCC_GMP_STRINGIFY_VERSION3(X) #X
662 #define GCC_GMP_STRINGIFY_VERSION2(X) GCC_GMP_STRINGIFY_VERSION3 (X)
663 #define GCC_GMP_VERSION_NUM(X,Y,Z) (((X) << 16L) | ((Y) << 8) | (Z))
664 #define GCC_GMP_VERSION \
665 GCC_GMP_VERSION_NUM(__GNU_MP_VERSION, __GNU_MP_VERSION_MINOR, __GNU_MP_VERSION_PATCHLEVEL)
666 #if GCC_GMP_VERSION < GCC_GMP_VERSION_NUM(4,3,0) && __GNU_MP_VERSION_PATCHLEVEL == 0
667 #define GCC_GMP_STRINGIFY_VERSION \
668 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION) "." \
669 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_MINOR)
670 #else
671 #define GCC_GMP_STRINGIFY_VERSION \
672 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION) "." \
673 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_MINOR) "." \
674 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_PATCHLEVEL)
675 #endif
676 fprintf (file,
677 file == stderr ? _(fmt2) : fmt2,
678 GCC_GMP_STRINGIFY_VERSION, MPFR_VERSION_STRING, MPC_VERSION_STRING,
679 #ifndef HAVE_isl
680 "none"
681 #elif HAVE_ISL_OPTIONS_SET_SCHEDULE_SERIALIZE_SCCS
682 "0.15"
683 #else
684 "0.14 or 0.13"
685 #endif
687 if (strcmp (GCC_GMP_STRINGIFY_VERSION, gmp_version))
688 fprintf (file,
689 file == stderr ? _(fmt3) : fmt3,
690 indent, *indent != 0 ? " " : "",
691 "GMP", GCC_GMP_STRINGIFY_VERSION, gmp_version);
692 if (strcmp (MPFR_VERSION_STRING, mpfr_get_version ()))
693 fprintf (file,
694 file == stderr ? _(fmt3) : fmt3,
695 indent, *indent != 0 ? " " : "",
696 "MPFR", MPFR_VERSION_STRING, mpfr_get_version ());
697 if (strcmp (MPC_VERSION_STRING, mpc_get_version ()))
698 fprintf (file,
699 file == stderr ? _(fmt3) : fmt3,
700 indent, *indent != 0 ? " " : "",
701 "MPC", MPC_VERSION_STRING, mpc_get_version ());
703 if (show_global_state)
705 fprintf (file,
706 file == stderr ? _(fmt4) : fmt4,
707 indent, *indent != 0 ? " " : "",
708 PARAM_VALUE (GGC_MIN_EXPAND), PARAM_VALUE (GGC_MIN_HEAPSIZE));
710 print_plugins_versions (file, indent);
714 static int
715 print_to_asm_out_file (print_switch_type type, const char * text)
717 bool prepend_sep = true;
719 switch (type)
721 case SWITCH_TYPE_LINE_END:
722 putc ('\n', asm_out_file);
723 return 1;
725 case SWITCH_TYPE_LINE_START:
726 fputs (ASM_COMMENT_START, asm_out_file);
727 return strlen (ASM_COMMENT_START);
729 case SWITCH_TYPE_DESCRIPTIVE:
730 if (ASM_COMMENT_START[0] == 0)
731 prepend_sep = false;
732 /* Drop through. */
733 case SWITCH_TYPE_PASSED:
734 case SWITCH_TYPE_ENABLED:
735 if (prepend_sep)
736 fputc (' ', asm_out_file);
737 fputs (text, asm_out_file);
738 /* No need to return the length here as
739 print_single_switch has already done it. */
740 return 0;
742 default:
743 return -1;
747 static int
748 print_to_stderr (print_switch_type type, const char * text)
750 switch (type)
752 case SWITCH_TYPE_LINE_END:
753 putc ('\n', stderr);
754 return 1;
756 case SWITCH_TYPE_LINE_START:
757 return 0;
759 case SWITCH_TYPE_PASSED:
760 case SWITCH_TYPE_ENABLED:
761 fputc (' ', stderr);
762 /* Drop through. */
764 case SWITCH_TYPE_DESCRIPTIVE:
765 fputs (text, stderr);
766 /* No need to return the length here as
767 print_single_switch has already done it. */
768 return 0;
770 default:
771 return -1;
775 /* Print an option value and return the adjusted position in the line.
776 ??? print_fn doesn't handle errors, eg disk full; presumably other
777 code will catch a disk full though. */
779 static int
780 print_single_switch (print_switch_fn_type print_fn,
781 int pos,
782 print_switch_type type,
783 const char * text)
785 /* The ultrix fprintf returns 0 on success, so compute the result
786 we want here since we need it for the following test. The +1
787 is for the separator character that will probably be emitted. */
788 int len = strlen (text) + 1;
790 if (pos != 0
791 && pos + len > MAX_LINE)
793 print_fn (SWITCH_TYPE_LINE_END, NULL);
794 pos = 0;
797 if (pos == 0)
798 pos += print_fn (SWITCH_TYPE_LINE_START, NULL);
800 print_fn (type, text);
801 return pos + len;
804 /* Print active target switches using PRINT_FN.
805 POS is the current cursor position and MAX is the size of a "line".
806 Each line begins with INDENT and ends with TERM.
807 Each switch is separated from the next by SEP. */
809 static void
810 print_switch_values (print_switch_fn_type print_fn)
812 int pos = 0;
813 size_t j;
815 /* Fill in the -frandom-seed option, if the user didn't pass it, so
816 that it can be printed below. This helps reproducibility. */
817 if (!flag_random_seed)
818 init_random_seed ();
820 /* Print the options as passed. */
821 pos = print_single_switch (print_fn, pos,
822 SWITCH_TYPE_DESCRIPTIVE, _("options passed: "));
824 for (j = 1; j < save_decoded_options_count; j++)
826 switch (save_decoded_options[j].opt_index)
828 case OPT_o:
829 case OPT_d:
830 case OPT_dumpbase:
831 case OPT_dumpdir:
832 case OPT_auxbase:
833 case OPT_quiet:
834 case OPT_version:
835 /* Ignore these. */
836 continue;
839 pos = print_single_switch (print_fn, pos, SWITCH_TYPE_PASSED,
840 save_decoded_options[j].orig_option_with_args_text);
843 if (pos > 0)
844 print_fn (SWITCH_TYPE_LINE_END, NULL);
846 /* Print the -f and -m options that have been enabled.
847 We don't handle language specific options but printing argv
848 should suffice. */
849 pos = print_single_switch (print_fn, 0,
850 SWITCH_TYPE_DESCRIPTIVE, _("options enabled: "));
852 for (j = 0; j < cl_options_count; j++)
853 if (cl_options[j].cl_report
854 && option_enabled (j, &global_options) > 0)
855 pos = print_single_switch (print_fn, pos,
856 SWITCH_TYPE_ENABLED, cl_options[j].opt_text);
858 print_fn (SWITCH_TYPE_LINE_END, NULL);
861 /* Open assembly code output file. Do this even if -fsyntax-only is
862 on, because then the driver will have provided the name of a
863 temporary file or bit bucket for us. NAME is the file specified on
864 the command line, possibly NULL. */
865 static void
866 init_asm_output (const char *name)
868 if (name == NULL && asm_file_name == 0)
869 asm_out_file = stdout;
870 else
872 if (asm_file_name == 0)
874 int len = strlen (dump_base_name);
875 char *dumpname = XNEWVEC (char, len + 6);
877 memcpy (dumpname, dump_base_name, len + 1);
878 strip_off_ending (dumpname, len);
879 strcat (dumpname, ".s");
880 asm_file_name = dumpname;
882 if (!strcmp (asm_file_name, "-"))
883 asm_out_file = stdout;
884 else if (!canonical_filename_eq (asm_file_name, name)
885 || !strcmp (asm_file_name, HOST_BIT_BUCKET))
886 asm_out_file = fopen (asm_file_name, "w");
887 else
888 /* Use UNKOWN_LOCATION to prevent gcc from printing the first
889 line in the current file. */
890 fatal_error (UNKNOWN_LOCATION,
891 "input file %qs is the same as output file",
892 asm_file_name);
893 if (asm_out_file == 0)
894 fatal_error (UNKNOWN_LOCATION,
895 "can%'t open %qs for writing: %m", asm_file_name);
898 if (!flag_syntax_only)
900 targetm.asm_out.file_start ();
902 if (flag_record_gcc_switches)
904 if (targetm.asm_out.record_gcc_switches)
906 /* Let the target know that we are about to start recording. */
907 targetm.asm_out.record_gcc_switches (SWITCH_TYPE_DESCRIPTIVE,
908 NULL);
909 /* Now record the switches. */
910 print_switch_values (targetm.asm_out.record_gcc_switches);
911 /* Let the target know that the recording is over. */
912 targetm.asm_out.record_gcc_switches (SWITCH_TYPE_DESCRIPTIVE,
913 NULL);
915 else
916 inform (UNKNOWN_LOCATION,
917 "-frecord-gcc-switches is not supported by "
918 "the current target");
921 if (flag_verbose_asm)
923 /* Print the list of switches in effect
924 into the assembler file as comments. */
925 print_version (asm_out_file, ASM_COMMENT_START, true);
926 print_switch_values (print_to_asm_out_file);
927 putc ('\n', asm_out_file);
932 /* A helper function; used as the reallocator function for cpp's line
933 table. */
934 static void *
935 realloc_for_line_map (void *ptr, size_t len)
937 return ggc_realloc (ptr, len);
940 /* A helper function: used as the allocator function for
941 identifier_to_locale. */
942 static void *
943 alloc_for_identifier_to_locale (size_t len)
945 return ggc_alloc_atomic (len);
948 /* Output stack usage information. */
949 void
950 output_stack_usage (void)
952 static bool warning_issued = false;
953 enum stack_usage_kind_type { STATIC = 0, DYNAMIC, DYNAMIC_BOUNDED };
954 const char *stack_usage_kind_str[] = {
955 "static",
956 "dynamic",
957 "dynamic,bounded"
959 HOST_WIDE_INT stack_usage = current_function_static_stack_size;
960 enum stack_usage_kind_type stack_usage_kind;
962 if (stack_usage < 0)
964 if (!warning_issued)
966 warning (0, "stack usage computation not supported for this target");
967 warning_issued = true;
969 return;
972 stack_usage_kind = STATIC;
974 /* Add the maximum amount of space pushed onto the stack. */
975 if (current_function_pushed_stack_size > 0)
977 stack_usage += current_function_pushed_stack_size;
978 stack_usage_kind = DYNAMIC_BOUNDED;
981 /* Now on to the tricky part: dynamic stack allocation. */
982 if (current_function_allocates_dynamic_stack_space)
984 if (current_function_has_unbounded_dynamic_stack_size)
985 stack_usage_kind = DYNAMIC;
986 else
987 stack_usage_kind = DYNAMIC_BOUNDED;
989 /* Add the size even in the unbounded case, this can't hurt. */
990 stack_usage += current_function_dynamic_stack_size;
993 if (flag_stack_usage)
995 expanded_location loc
996 = expand_location (DECL_SOURCE_LOCATION (current_function_decl));
997 /* We don't want to print the full qualified name because it can be long,
998 so we strip the scope prefix, but we may need to deal with the suffix
999 created by the compiler. */
1000 const char *suffix
1001 = strchr (IDENTIFIER_POINTER (DECL_NAME (current_function_decl)), '.');
1002 const char *name
1003 = lang_hooks.decl_printable_name (current_function_decl, 2);
1004 if (suffix)
1006 const char *dot = strchr (name, '.');
1007 while (dot && strcasecmp (dot, suffix) != 0)
1009 name = dot + 1;
1010 dot = strchr (name, '.');
1013 else
1015 const char *dot = strrchr (name, '.');
1016 if (dot)
1017 name = dot + 1;
1020 fprintf (stack_usage_file,
1021 "%s:%d:%d:%s\t" HOST_WIDE_INT_PRINT_DEC"\t%s\n",
1022 lbasename (loc.file),
1023 loc.line,
1024 loc.column,
1025 name,
1026 stack_usage,
1027 stack_usage_kind_str[stack_usage_kind]);
1030 if (warn_stack_usage >= 0)
1032 const location_t loc = DECL_SOURCE_LOCATION (current_function_decl);
1034 if (stack_usage_kind == DYNAMIC)
1035 warning_at (loc, OPT_Wstack_usage_, "stack usage might be unbounded");
1036 else if (stack_usage > warn_stack_usage)
1038 if (stack_usage_kind == DYNAMIC_BOUNDED)
1039 warning_at (loc,
1040 OPT_Wstack_usage_, "stack usage might be %wd bytes",
1041 stack_usage);
1042 else
1043 warning_at (loc, OPT_Wstack_usage_, "stack usage is %wd bytes",
1044 stack_usage);
1049 /* Open an auxiliary output file. */
1050 static FILE *
1051 open_auxiliary_file (const char *ext)
1053 char *filename;
1054 FILE *file;
1056 filename = concat (aux_base_name, ".", ext, NULL);
1057 file = fopen (filename, "w");
1058 if (!file)
1059 fatal_error (input_location, "can%'t open %s for writing: %m", filename);
1060 free (filename);
1061 return file;
1064 /* Initialization of the front end environment, before command line
1065 options are parsed. Signal handlers, internationalization etc.
1066 ARGV0 is main's argv[0]. */
1067 static void
1068 general_init (const char *argv0, bool init_signals)
1070 const char *p;
1072 p = argv0 + strlen (argv0);
1073 while (p != argv0 && !IS_DIR_SEPARATOR (p[-1]))
1074 --p;
1075 progname = p;
1077 xmalloc_set_program_name (progname);
1079 hex_init ();
1081 /* Unlock the stdio streams. */
1082 unlock_std_streams ();
1084 gcc_init_libintl ();
1086 identifier_to_locale_alloc = alloc_for_identifier_to_locale;
1087 identifier_to_locale_free = ggc_free;
1089 /* Initialize the diagnostics reporting machinery, so option parsing
1090 can give warnings and errors. */
1091 diagnostic_initialize (global_dc, N_OPTS);
1092 /* Set a default printer. Language specific initializations will
1093 override it later. */
1094 tree_diagnostics_defaults (global_dc);
1096 global_dc->show_caret
1097 = global_options_init.x_flag_diagnostics_show_caret;
1098 global_dc->show_option_requested
1099 = global_options_init.x_flag_diagnostics_show_option;
1100 global_dc->show_column
1101 = global_options_init.x_flag_show_column;
1102 global_dc->internal_error = plugins_internal_error_function;
1103 global_dc->option_enabled = option_enabled;
1104 global_dc->option_state = &global_options;
1105 global_dc->option_name = option_name;
1107 if (init_signals)
1109 /* Trap fatal signals, e.g. SIGSEGV, and convert them to ICE messages. */
1110 #ifdef SIGSEGV
1111 signal (SIGSEGV, crash_signal);
1112 #endif
1113 #ifdef SIGILL
1114 signal (SIGILL, crash_signal);
1115 #endif
1116 #ifdef SIGBUS
1117 signal (SIGBUS, crash_signal);
1118 #endif
1119 #ifdef SIGABRT
1120 signal (SIGABRT, crash_signal);
1121 #endif
1122 #if defined SIGIOT && (!defined SIGABRT || SIGABRT != SIGIOT)
1123 signal (SIGIOT, crash_signal);
1124 #endif
1125 #ifdef SIGFPE
1126 signal (SIGFPE, crash_signal);
1127 #endif
1129 /* Other host-specific signal setup. */
1130 (*host_hooks.extra_signals)();
1133 /* Initialize the garbage-collector, string pools and tree type hash
1134 table. */
1135 init_ggc ();
1136 init_stringpool ();
1137 input_location = UNKNOWN_LOCATION;
1138 line_table = ggc_alloc<line_maps> ();
1139 linemap_init (line_table, BUILTINS_LOCATION);
1140 line_table->reallocator = realloc_for_line_map;
1141 line_table->round_alloc_size = ggc_round_alloc_size;
1142 line_table->default_range_bits = 5;
1143 init_ttree ();
1145 /* Initialize register usage now so switches may override. */
1146 init_reg_sets ();
1148 /* Register the language-independent parameters. */
1149 global_init_params ();
1151 /* This must be done after global_init_params but before argument
1152 processing. */
1153 init_ggc_heuristics ();
1155 /* Create the singleton holder for global state.
1156 Doing so also creates the pass manager and with it the passes. */
1157 g = new gcc::context ();
1158 symtab = new (ggc_cleared_alloc <symbol_table> ()) symbol_table ();
1160 statistics_early_init ();
1161 finish_params ();
1164 /* Return true if the current target supports -fsection-anchors. */
1166 static bool
1167 target_supports_section_anchors_p (void)
1169 if (targetm.min_anchor_offset == 0 && targetm.max_anchor_offset == 0)
1170 return false;
1172 if (targetm.asm_out.output_anchor == NULL)
1173 return false;
1175 return true;
1178 /* Default the align_* variables to 1 if they're still unset, and
1179 set up the align_*_log variables. */
1180 static void
1181 init_alignments (void)
1183 if (align_loops <= 0)
1184 align_loops = 1;
1185 if (align_loops_max_skip > align_loops)
1186 align_loops_max_skip = align_loops - 1;
1187 align_loops_log = floor_log2 (align_loops * 2 - 1);
1188 if (align_jumps <= 0)
1189 align_jumps = 1;
1190 if (align_jumps_max_skip > align_jumps)
1191 align_jumps_max_skip = align_jumps - 1;
1192 align_jumps_log = floor_log2 (align_jumps * 2 - 1);
1193 if (align_labels <= 0)
1194 align_labels = 1;
1195 align_labels_log = floor_log2 (align_labels * 2 - 1);
1196 if (align_labels_max_skip > align_labels)
1197 align_labels_max_skip = align_labels - 1;
1198 if (align_functions <= 0)
1199 align_functions = 1;
1200 align_functions_log = floor_log2 (align_functions * 2 - 1);
1203 /* Process the options that have been parsed. */
1204 static void
1205 process_options (void)
1207 /* Just in case lang_hooks.post_options ends up calling a debug_hook.
1208 This can happen with incorrect pre-processed input. */
1209 debug_hooks = &do_nothing_debug_hooks;
1211 maximum_field_alignment = initial_max_fld_align * BITS_PER_UNIT;
1213 /* Allow the front end to perform consistency checks and do further
1214 initialization based on the command line options. This hook also
1215 sets the original filename if appropriate (e.g. foo.i -> foo.c)
1216 so we can correctly initialize debug output. */
1217 no_backend = lang_hooks.post_options (&main_input_filename);
1219 /* Some machines may reject certain combinations of options. */
1220 targetm.target_option.override ();
1222 /* Avoid any informative notes in the second run of -fcompare-debug. */
1223 if (flag_compare_debug)
1224 diagnostic_inhibit_notes (global_dc);
1226 if (flag_section_anchors && !target_supports_section_anchors_p ())
1228 warning_at (UNKNOWN_LOCATION, OPT_fsection_anchors,
1229 "this target does not support %qs",
1230 "-fsection-anchors");
1231 flag_section_anchors = 0;
1234 if (flag_short_enums == 2)
1235 flag_short_enums = targetm.default_short_enums ();
1237 /* Set aux_base_name if not already set. */
1238 if (aux_base_name)
1240 else if (main_input_filename)
1242 char *name = xstrdup (lbasename (main_input_filename));
1244 strip_off_ending (name, strlen (name));
1245 aux_base_name = name;
1247 else
1248 aux_base_name = "gccaux";
1250 #ifndef HAVE_isl
1251 if (flag_graphite
1252 || flag_loop_nest_optimize
1253 || flag_graphite_identity
1254 || flag_loop_parallelize_all)
1255 sorry ("Graphite loop optimizations cannot be used (isl is not available)"
1256 "(-fgraphite, -fgraphite-identity, -floop-block, "
1257 "-floop-interchange, -floop-strip-mine, -floop-parallelize-all, "
1258 "-floop-unroll-and-jam, and -ftree-loop-linear)");
1259 #endif
1261 if (flag_check_pointer_bounds)
1263 if (targetm.chkp_bound_mode () == VOIDmode)
1265 error_at (UNKNOWN_LOCATION,
1266 "-fcheck-pointer-bounds is not supported for this target");
1267 flag_check_pointer_bounds = 0;
1270 if (flag_sanitize & SANITIZE_ADDRESS)
1272 error_at (UNKNOWN_LOCATION,
1273 "-fcheck-pointer-bounds is not supported with "
1274 "Address Sanitizer");
1275 flag_check_pointer_bounds = 0;
1279 /* One region RA really helps to decrease the code size. */
1280 if (flag_ira_region == IRA_REGION_AUTODETECT)
1281 flag_ira_region
1282 = optimize_size || !optimize ? IRA_REGION_ONE : IRA_REGION_MIXED;
1284 if (!abi_version_at_least (2))
1286 /* -fabi-version=1 support was removed after GCC 4.9. */
1287 error_at (UNKNOWN_LOCATION,
1288 "%<-fabi-version=1%> is no longer supported");
1289 flag_abi_version = 2;
1292 /* Unrolling all loops implies that standard loop unrolling must also
1293 be done. */
1294 if (flag_unroll_all_loops)
1295 flag_unroll_loops = 1;
1297 /* web and rename-registers help when run after loop unrolling. */
1298 if (flag_web == AUTODETECT_VALUE)
1299 flag_web = flag_unroll_loops || flag_peel_loops;
1301 if (flag_rename_registers == AUTODETECT_VALUE)
1302 flag_rename_registers = flag_unroll_loops || flag_peel_loops;
1304 if (flag_non_call_exceptions)
1305 flag_asynchronous_unwind_tables = 1;
1306 if (flag_asynchronous_unwind_tables)
1307 flag_unwind_tables = 1;
1309 if (flag_value_profile_transformations)
1310 flag_profile_values = 1;
1312 /* Warn about options that are not supported on this machine. */
1313 #ifndef INSN_SCHEDULING
1314 if (flag_schedule_insns || flag_schedule_insns_after_reload)
1315 warning_at (UNKNOWN_LOCATION, 0,
1316 "instruction scheduling not supported on this target machine");
1317 #endif
1318 if (!DELAY_SLOTS && flag_delayed_branch)
1319 warning_at (UNKNOWN_LOCATION, 0,
1320 "this target machine does not have delayed branches");
1322 user_label_prefix = USER_LABEL_PREFIX;
1323 if (flag_leading_underscore != -1)
1325 /* If the default prefix is more complicated than "" or "_",
1326 issue a warning and ignore this option. */
1327 if (user_label_prefix[0] == 0 ||
1328 (user_label_prefix[0] == '_' && user_label_prefix[1] == 0))
1330 user_label_prefix = flag_leading_underscore ? "_" : "";
1332 else
1333 warning_at (UNKNOWN_LOCATION, 0,
1334 "-f%sleading-underscore not supported on this "
1335 "target machine", flag_leading_underscore ? "" : "no-");
1338 /* If we are in verbose mode, write out the version and maybe all the
1339 option flags in use. */
1340 if (version_flag)
1342 print_version (stderr, "", true);
1343 if (! quiet_flag)
1344 print_switch_values (print_to_stderr);
1347 if (flag_syntax_only)
1349 write_symbols = NO_DEBUG;
1350 profile_flag = 0;
1353 if (flag_gtoggle)
1355 if (debug_info_level == DINFO_LEVEL_NONE)
1357 debug_info_level = DINFO_LEVEL_NORMAL;
1359 if (write_symbols == NO_DEBUG)
1360 write_symbols = PREFERRED_DEBUGGING_TYPE;
1362 else
1363 debug_info_level = DINFO_LEVEL_NONE;
1366 if (flag_dump_final_insns && !flag_syntax_only && !no_backend)
1368 FILE *final_output = fopen (flag_dump_final_insns, "w");
1369 if (!final_output)
1371 error_at (UNKNOWN_LOCATION,
1372 "could not open final insn dump file %qs: %m",
1373 flag_dump_final_insns);
1374 flag_dump_final_insns = NULL;
1376 else if (fclose (final_output))
1378 error_at (UNKNOWN_LOCATION,
1379 "could not close zeroed insn dump file %qs: %m",
1380 flag_dump_final_insns);
1381 flag_dump_final_insns = NULL;
1385 /* A lot of code assumes write_symbols == NO_DEBUG if the debugging
1386 level is 0. */
1387 if (debug_info_level == DINFO_LEVEL_NONE)
1388 write_symbols = NO_DEBUG;
1390 if (write_symbols == NO_DEBUG)
1392 #if defined(DBX_DEBUGGING_INFO)
1393 else if (write_symbols == DBX_DEBUG)
1394 debug_hooks = &dbx_debug_hooks;
1395 #endif
1396 #if defined(XCOFF_DEBUGGING_INFO)
1397 else if (write_symbols == XCOFF_DEBUG)
1398 debug_hooks = &xcoff_debug_hooks;
1399 #endif
1400 else if (SDB_DEBUGGING_INFO && write_symbols == SDB_DEBUG)
1401 debug_hooks = &sdb_debug_hooks;
1402 #ifdef DWARF2_DEBUGGING_INFO
1403 else if (write_symbols == DWARF2_DEBUG)
1404 debug_hooks = &dwarf2_debug_hooks;
1405 #endif
1406 #ifdef VMS_DEBUGGING_INFO
1407 else if (write_symbols == VMS_DEBUG || write_symbols == VMS_AND_DWARF2_DEBUG)
1408 debug_hooks = &vmsdbg_debug_hooks;
1409 #endif
1410 #ifdef DWARF2_LINENO_DEBUGGING_INFO
1411 else if (write_symbols == DWARF2_DEBUG)
1412 debug_hooks = &dwarf2_lineno_debug_hooks;
1413 #endif
1414 else
1415 error_at (UNKNOWN_LOCATION,
1416 "target system does not support the %qs debug format",
1417 debug_type_names[write_symbols]);
1419 /* We know which debug output will be used so we can set flag_var_tracking
1420 and flag_var_tracking_uninit if the user has not specified them. */
1421 if (debug_info_level < DINFO_LEVEL_NORMAL
1422 || debug_hooks->var_location == do_nothing_debug_hooks.var_location)
1424 if (flag_var_tracking == 1
1425 || flag_var_tracking_uninit == 1)
1427 if (debug_info_level < DINFO_LEVEL_NORMAL)
1428 warning_at (UNKNOWN_LOCATION, 0,
1429 "variable tracking requested, but useless unless "
1430 "producing debug info");
1431 else
1432 warning_at (UNKNOWN_LOCATION, 0,
1433 "variable tracking requested, but not supported "
1434 "by this debug format");
1436 flag_var_tracking = 0;
1437 flag_var_tracking_uninit = 0;
1440 /* The debug hooks are used to implement -fdump-go-spec because it
1441 gives a simple and stable API for all the information we need to
1442 dump. */
1443 if (flag_dump_go_spec != NULL)
1444 debug_hooks = dump_go_spec_init (flag_dump_go_spec, debug_hooks);
1446 /* If the user specifically requested variable tracking with tagging
1447 uninitialized variables, we need to turn on variable tracking.
1448 (We already determined above that variable tracking is feasible.) */
1449 if (flag_var_tracking_uninit == 1)
1450 flag_var_tracking = 1;
1452 if (flag_var_tracking == AUTODETECT_VALUE)
1453 flag_var_tracking = optimize >= 1;
1455 if (flag_var_tracking_uninit == AUTODETECT_VALUE)
1456 flag_var_tracking_uninit = flag_var_tracking;
1458 if (flag_var_tracking_assignments == AUTODETECT_VALUE)
1459 flag_var_tracking_assignments = flag_var_tracking
1460 && !(flag_selective_scheduling || flag_selective_scheduling2);
1462 if (flag_var_tracking_assignments_toggle)
1463 flag_var_tracking_assignments = !flag_var_tracking_assignments;
1465 if (flag_var_tracking_assignments && !flag_var_tracking)
1466 flag_var_tracking = flag_var_tracking_assignments = -1;
1468 if (flag_var_tracking_assignments
1469 && (flag_selective_scheduling || flag_selective_scheduling2))
1470 warning_at (UNKNOWN_LOCATION, 0,
1471 "var-tracking-assignments changes selective scheduling");
1473 if (flag_tree_cselim == AUTODETECT_VALUE)
1475 if (HAVE_conditional_move)
1476 flag_tree_cselim = 1;
1477 else
1478 flag_tree_cselim = 0;
1481 /* If auxiliary info generation is desired, open the output file.
1482 This goes in the same directory as the source file--unlike
1483 all the other output files. */
1484 if (flag_gen_aux_info)
1486 aux_info_file = fopen (aux_info_file_name, "w");
1487 if (aux_info_file == 0)
1488 fatal_error (UNKNOWN_LOCATION,
1489 "can%'t open %s: %m", aux_info_file_name);
1492 if (!targetm_common.have_named_sections)
1494 if (flag_function_sections)
1496 warning_at (UNKNOWN_LOCATION, 0,
1497 "-ffunction-sections not supported for this target");
1498 flag_function_sections = 0;
1500 if (flag_data_sections)
1502 warning_at (UNKNOWN_LOCATION, 0,
1503 "-fdata-sections not supported for this target");
1504 flag_data_sections = 0;
1508 if (flag_prefetch_loop_arrays > 0 && !targetm.code_for_prefetch)
1510 warning_at (UNKNOWN_LOCATION, 0,
1511 "-fprefetch-loop-arrays not supported for this target");
1512 flag_prefetch_loop_arrays = 0;
1514 else if (flag_prefetch_loop_arrays > 0 && !targetm.have_prefetch ())
1516 warning_at (UNKNOWN_LOCATION, 0,
1517 "-fprefetch-loop-arrays not supported for this target "
1518 "(try -march switches)");
1519 flag_prefetch_loop_arrays = 0;
1522 /* This combination of options isn't handled for i386 targets and doesn't
1523 make much sense anyway, so don't allow it. */
1524 if (flag_prefetch_loop_arrays > 0 && optimize_size)
1526 warning_at (UNKNOWN_LOCATION, 0,
1527 "-fprefetch-loop-arrays is not supported with -Os");
1528 flag_prefetch_loop_arrays = 0;
1531 /* The presence of IEEE signaling NaNs, implies all math can trap. */
1532 if (flag_signaling_nans)
1533 flag_trapping_math = 1;
1535 /* We cannot reassociate if we want traps or signed zeros. */
1536 if (flag_associative_math && (flag_trapping_math || flag_signed_zeros))
1538 warning_at (UNKNOWN_LOCATION, 0,
1539 "-fassociative-math disabled; other options take "
1540 "precedence");
1541 flag_associative_math = 0;
1544 /* With -fcx-limited-range, we do cheap and quick complex arithmetic. */
1545 if (flag_cx_limited_range)
1546 flag_complex_method = 0;
1548 /* With -fcx-fortran-rules, we do something in-between cheap and C99. */
1549 if (flag_cx_fortran_rules)
1550 flag_complex_method = 1;
1552 /* Targets must be able to place spill slots at lower addresses. If the
1553 target already uses a soft frame pointer, the transition is trivial. */
1554 if (!FRAME_GROWS_DOWNWARD && flag_stack_protect)
1556 warning_at (UNKNOWN_LOCATION, 0,
1557 "-fstack-protector not supported for this target");
1558 flag_stack_protect = 0;
1560 if (!flag_stack_protect)
1561 warn_stack_protect = 0;
1563 /* Address Sanitizer needs porting to each target architecture. */
1565 if ((flag_sanitize & SANITIZE_ADDRESS)
1566 && !FRAME_GROWS_DOWNWARD)
1568 warning_at (UNKNOWN_LOCATION, 0,
1569 "-fsanitize=address and -fsanitize=kernel-address "
1570 "are not supported for this target");
1571 flag_sanitize &= ~SANITIZE_ADDRESS;
1574 if ((flag_sanitize & SANITIZE_USER_ADDRESS)
1575 && targetm.asan_shadow_offset == NULL)
1577 warning_at (UNKNOWN_LOCATION, 0,
1578 "-fsanitize=address not supported for this target");
1579 flag_sanitize &= ~SANITIZE_ADDRESS;
1582 /* Do not use IPA optimizations for register allocation if profiler is active
1583 or port does not emit prologue and epilogue as RTL. */
1584 if (profile_flag || !targetm.have_prologue () || !targetm.have_epilogue ())
1585 flag_ipa_ra = 0;
1587 /* Enable -Werror=coverage-mismatch when -Werror and -Wno-error
1588 have not been set. */
1589 if (!global_options_set.x_warnings_are_errors
1590 && warn_coverage_mismatch
1591 && (global_dc->classify_diagnostic[OPT_Wcoverage_mismatch] ==
1592 DK_UNSPECIFIED))
1593 diagnostic_classify_diagnostic (global_dc, OPT_Wcoverage_mismatch,
1594 DK_ERROR, UNKNOWN_LOCATION);
1596 /* Save the current optimization options. */
1597 optimization_default_node = build_optimization_node (&global_options);
1598 optimization_current_node = optimization_default_node;
1600 /* Please don't change global_options after this point, those changes won't
1601 be reflected in optimization_{default,current}_node. */
1604 /* This function can be called multiple times to reinitialize the compiler
1605 back end when register classes or instruction sets have changed,
1606 before each function. */
1607 static void
1608 backend_init_target (void)
1610 /* Initialize alignment variables. */
1611 init_alignments ();
1613 /* This depends on stack_pointer_rtx. */
1614 init_fake_stack_mems ();
1616 /* Sets static_base_value[HARD_FRAME_POINTER_REGNUM], which is
1617 mode-dependent. */
1618 init_alias_target ();
1620 /* Depends on HARD_FRAME_POINTER_REGNUM. */
1621 if (!ira_use_lra_p)
1622 init_reload ();
1624 /* Depends on the enabled attribute. */
1625 recog_init ();
1627 /* The following initialization functions need to generate rtl, so
1628 provide a dummy function context for them. */
1629 init_dummy_function_start ();
1631 /* rtx_cost is mode-dependent, so cached values need to be recomputed
1632 on a mode change. */
1633 init_expmed ();
1634 init_lower_subreg ();
1635 init_set_costs ();
1637 init_expr_target ();
1638 ira_init ();
1640 /* We may need to recompute regno_save_code[] and regno_restore_code[]
1641 after a mode change as well. */
1642 caller_save_initialized_p = false;
1644 expand_dummy_function_end ();
1647 /* Initialize the compiler back end. This function is called only once,
1648 when starting the compiler. */
1649 static void
1650 backend_init (void)
1652 init_emit_once ();
1654 init_rtlanal ();
1655 init_inline_once ();
1656 init_varasm_once ();
1657 save_register_info ();
1659 /* Middle end needs this initialization for default mem attributes
1660 used by early calls to make_decl_rtl. */
1661 init_emit_regs ();
1663 /* Middle end needs this initialization for mode tables used to assign
1664 modes to vector variables. */
1665 init_regs ();
1668 /* Initialize excess precision settings. */
1669 static void
1670 init_excess_precision (void)
1672 /* Adjust excess precision handling based on the target options. If
1673 the front end cannot handle it, flag_excess_precision_cmdline
1674 will already have been set accordingly in the post_options
1675 hook. */
1676 gcc_assert (flag_excess_precision_cmdline != EXCESS_PRECISION_DEFAULT);
1677 flag_excess_precision = flag_excess_precision_cmdline;
1678 if (flag_unsafe_math_optimizations)
1679 flag_excess_precision = EXCESS_PRECISION_FAST;
1680 if (flag_excess_precision == EXCESS_PRECISION_STANDARD)
1682 int flt_eval_method = TARGET_FLT_EVAL_METHOD;
1683 switch (flt_eval_method)
1685 case -1:
1686 case 0:
1687 /* Either the target acts unpredictably (-1) or has all the
1688 operations required not to have excess precision (0). */
1689 flag_excess_precision = EXCESS_PRECISION_FAST;
1690 break;
1691 case 1:
1692 case 2:
1693 /* In these cases, predictable excess precision makes
1694 sense. */
1695 break;
1696 default:
1697 /* Any other implementation-defined FLT_EVAL_METHOD values
1698 require the compiler to handle the associated excess
1699 precision rules in excess_precision_type. */
1700 gcc_unreachable ();
1705 /* Initialize things that are both lang-dependent and target-dependent.
1706 This function can be called more than once if target parameters change. */
1707 static void
1708 lang_dependent_init_target (void)
1710 /* This determines excess precision settings. */
1711 init_excess_precision ();
1713 /* This creates various _DECL nodes, so needs to be called after the
1714 front end is initialized. It also depends on the HAVE_xxx macros
1715 generated from the target machine description. */
1716 init_optabs ();
1718 gcc_assert (!this_target_rtl->target_specific_initialized);
1721 /* Perform initializations that are lang-dependent or target-dependent.
1722 but matters only for late optimizations and RTL generation. */
1724 static int rtl_initialized;
1726 void
1727 initialize_rtl (void)
1729 auto_timevar tv (g_timer, TV_INITIALIZE_RTL);
1731 /* Initialization done just once per compilation, but delayed
1732 till code generation. */
1733 if (!rtl_initialized)
1734 ira_init_once ();
1735 rtl_initialized = true;
1737 /* Target specific RTL backend initialization. */
1738 if (!this_target_rtl->target_specific_initialized)
1740 backend_init_target ();
1741 this_target_rtl->target_specific_initialized = true;
1745 /* Language-dependent initialization. Returns nonzero on success. */
1746 static int
1747 lang_dependent_init (const char *name)
1749 location_t save_loc = input_location;
1750 if (dump_base_name == 0)
1751 dump_base_name = name && name[0] ? name : "gccdump";
1753 /* Other front-end initialization. */
1754 input_location = BUILTINS_LOCATION;
1755 if (lang_hooks.init () == 0)
1756 return 0;
1757 input_location = save_loc;
1759 if (!flag_wpa)
1761 init_asm_output (name);
1763 /* If stack usage information is desired, open the output file. */
1764 if (flag_stack_usage)
1765 stack_usage_file = open_auxiliary_file ("su");
1768 /* This creates various _DECL nodes, so needs to be called after the
1769 front end is initialized. */
1770 init_eh ();
1772 /* Do the target-specific parts of the initialization. */
1773 lang_dependent_init_target ();
1775 if (!flag_wpa)
1777 /* If dbx symbol table desired, initialize writing it and output the
1778 predefined types. */
1779 timevar_push (TV_SYMOUT);
1781 /* Now we have the correct original filename, we can initialize
1782 debug output. */
1783 (*debug_hooks->init) (name);
1785 timevar_pop (TV_SYMOUT);
1788 return 1;
1792 /* Reinitialize everything when target parameters, such as register usage,
1793 have changed. */
1794 void
1795 target_reinit (void)
1797 struct rtl_data saved_x_rtl;
1798 rtx *saved_regno_reg_rtx;
1799 tree saved_optimization_current_node;
1800 struct target_optabs *saved_this_fn_optabs;
1802 /* Temporarily switch to the default optimization node, so that
1803 *this_target_optabs is set to the default, not reflecting
1804 whatever a previous function used for the optimize
1805 attribute. */
1806 saved_optimization_current_node = optimization_current_node;
1807 saved_this_fn_optabs = this_fn_optabs;
1808 if (saved_optimization_current_node != optimization_default_node)
1810 optimization_current_node = optimization_default_node;
1811 cl_optimization_restore
1812 (&global_options,
1813 TREE_OPTIMIZATION (optimization_default_node));
1815 this_fn_optabs = this_target_optabs;
1817 /* Save *crtl and regno_reg_rtx around the reinitialization
1818 to allow target_reinit being called even after prepare_function_start. */
1819 saved_regno_reg_rtx = regno_reg_rtx;
1820 if (saved_regno_reg_rtx)
1822 saved_x_rtl = *crtl;
1823 memset (crtl, '\0', sizeof (*crtl));
1824 regno_reg_rtx = NULL;
1827 this_target_rtl->target_specific_initialized = false;
1829 /* This initializes hard_frame_pointer, and calls init_reg_modes_target()
1830 to initialize reg_raw_mode[]. */
1831 init_emit_regs ();
1833 /* This invokes target hooks to set fixed_reg[] etc, which is
1834 mode-dependent. */
1835 init_regs ();
1837 /* Reinitialize lang-dependent parts. */
1838 lang_dependent_init_target ();
1840 /* Restore the original optimization node. */
1841 if (saved_optimization_current_node != optimization_default_node)
1843 optimization_current_node = saved_optimization_current_node;
1844 cl_optimization_restore (&global_options,
1845 TREE_OPTIMIZATION (optimization_current_node));
1847 this_fn_optabs = saved_this_fn_optabs;
1849 /* Restore regno_reg_rtx at the end, as free_after_compilation from
1850 expand_dummy_function_end clears it. */
1851 if (saved_regno_reg_rtx)
1853 *crtl = saved_x_rtl;
1854 regno_reg_rtx = saved_regno_reg_rtx;
1855 saved_regno_reg_rtx = NULL;
1859 void
1860 dump_memory_report (bool final)
1862 dump_line_table_statistics ();
1863 ggc_print_statistics ();
1864 stringpool_statistics ();
1865 dump_tree_statistics ();
1866 dump_gimple_statistics ();
1867 dump_rtx_statistics ();
1868 dump_alloc_pool_statistics ();
1869 dump_bitmap_statistics ();
1870 dump_hash_table_loc_statistics ();
1871 dump_vec_loc_statistics ();
1872 dump_ggc_loc_statistics (final);
1873 dump_alias_stats (stderr);
1874 dump_pta_stats (stderr);
1877 /* Clean up: close opened files, etc. */
1879 static void
1880 finalize (bool no_backend)
1882 /* Close the dump files. */
1883 if (flag_gen_aux_info)
1885 fclose (aux_info_file);
1886 if (seen_error ())
1887 unlink (aux_info_file_name);
1890 /* Close non-debugging input and output files. Take special care to note
1891 whether fclose returns an error, since the pages might still be on the
1892 buffer chain while the file is open. */
1894 if (asm_out_file)
1896 if (ferror (asm_out_file) != 0)
1897 fatal_error (input_location, "error writing to %s: %m", asm_file_name);
1898 if (fclose (asm_out_file) != 0)
1899 fatal_error (input_location, "error closing %s: %m", asm_file_name);
1902 if (stack_usage_file)
1903 fclose (stack_usage_file);
1905 if (!no_backend)
1907 statistics_fini ();
1909 g->get_passes ()->finish_optimization_passes ();
1911 lra_finish_once ();
1914 if (mem_report)
1915 dump_memory_report (true);
1917 if (profile_report)
1918 dump_profile_report ();
1920 /* Language-specific end of compilation actions. */
1921 lang_hooks.finish ();
1924 static bool
1925 standard_type_bitsize (int bitsize)
1927 /* As a special exception, we always want __int128 enabled if possible. */
1928 if (bitsize == 128)
1929 return false;
1930 if (bitsize == CHAR_TYPE_SIZE
1931 || bitsize == SHORT_TYPE_SIZE
1932 || bitsize == INT_TYPE_SIZE
1933 || bitsize == LONG_TYPE_SIZE
1934 || bitsize == LONG_LONG_TYPE_SIZE)
1935 return true;
1936 return false;
1939 /* Initialize the compiler, and compile the input file. */
1940 static void
1941 do_compile ()
1943 process_options ();
1945 /* Don't do any more if an error has already occurred. */
1946 if (!seen_error ())
1948 int i;
1950 timevar_start (TV_PHASE_SETUP);
1952 /* This must be run always, because it is needed to compute the FP
1953 predefined macros, such as __LDBL_MAX__, for targets using non
1954 default FP formats. */
1955 init_adjust_machine_modes ();
1956 init_derived_machine_modes ();
1958 /* This must happen after the backend has a chance to process
1959 command line options, but before the parsers are
1960 initialized. */
1961 for (i = 0; i < NUM_INT_N_ENTS; i ++)
1962 if (targetm.scalar_mode_supported_p (int_n_data[i].m)
1963 && ! standard_type_bitsize (int_n_data[i].bitsize))
1964 int_n_enabled_p[i] = true;
1965 else
1966 int_n_enabled_p[i] = false;
1968 /* Set up the back-end if requested. */
1969 if (!no_backend)
1970 backend_init ();
1972 /* Language-dependent initialization. Returns true on success. */
1973 if (lang_dependent_init (main_input_filename))
1975 /* Initialize yet another pass. */
1977 ggc_protect_identifiers = true;
1979 symtab->initialize ();
1980 init_final (main_input_filename);
1981 coverage_init (aux_base_name);
1982 statistics_init ();
1983 invoke_plugin_callbacks (PLUGIN_START_UNIT, NULL);
1985 timevar_stop (TV_PHASE_SETUP);
1987 compile_file ();
1989 else
1991 timevar_stop (TV_PHASE_SETUP);
1994 timevar_start (TV_PHASE_FINALIZE);
1996 finalize (no_backend);
1998 timevar_stop (TV_PHASE_FINALIZE);
2002 toplev::toplev (timer *external_timer,
2003 bool init_signals)
2004 : m_use_TV_TOTAL (external_timer == NULL),
2005 m_init_signals (init_signals)
2007 if (external_timer)
2008 g_timer = external_timer;
2011 toplev::~toplev ()
2013 if (g_timer && m_use_TV_TOTAL)
2015 g_timer->stop (TV_TOTAL);
2016 g_timer->print (stderr);
2017 delete g_timer;
2018 g_timer = NULL;
2022 /* Potentially call timevar_init (which will create g_timevars if it
2023 doesn't already exist). */
2025 void
2026 toplev::start_timevars ()
2028 if (time_report || !quiet_flag || flag_detailed_statistics)
2029 timevar_init ();
2031 timevar_start (TV_TOTAL);
2034 /* Entry point of cc1, cc1plus, jc1, f771, etc.
2035 Exit code is FATAL_EXIT_CODE if can't open files or if there were
2036 any errors, or SUCCESS_EXIT_CODE if compilation succeeded.
2038 It is not safe to call this function more than once. */
2041 toplev::main (int argc, char **argv)
2043 /* Parsing and gimplification sometimes need quite large stack.
2044 Increase stack size limits if possible. */
2045 stack_limit_increase (64 * 1024 * 1024);
2047 expandargv (&argc, &argv);
2049 /* Initialization of GCC's environment, and diagnostics. */
2050 general_init (argv[0], m_init_signals);
2052 /* One-off initialization of options that does not need to be
2053 repeated when options are added for particular functions. */
2054 init_options_once ();
2055 init_opts_obstack ();
2057 /* Initialize global options structures; this must be repeated for
2058 each structure used for parsing options. */
2059 init_options_struct (&global_options, &global_options_set);
2060 lang_hooks.init_options_struct (&global_options);
2062 /* Convert the options to an array. */
2063 decode_cmdline_options_to_array_default_mask (argc,
2064 CONST_CAST2 (const char **,
2065 char **, argv),
2066 &save_decoded_options,
2067 &save_decoded_options_count);
2069 /* Perform language-specific options initialization. */
2070 lang_hooks.init_options (save_decoded_options_count, save_decoded_options);
2072 /* Parse the options and do minimal processing; basically just
2073 enough to default flags appropriately. */
2074 decode_options (&global_options, &global_options_set,
2075 save_decoded_options, save_decoded_options_count,
2076 UNKNOWN_LOCATION, global_dc);
2078 handle_common_deferred_options ();
2080 init_local_tick ();
2082 initialize_plugins ();
2084 if (version_flag)
2085 print_version (stderr, "", true);
2087 if (help_flag)
2088 print_plugins_help (stderr, "");
2090 /* Exit early if we can (e.g. -help). */
2091 if (!exit_after_options)
2093 if (m_use_TV_TOTAL)
2094 start_timevars ();
2095 do_compile ();
2098 if (warningcount || errorcount || werrorcount)
2099 print_ignored_options ();
2101 /* Invoke registered plugin callbacks if any. Some plugins could
2102 emit some diagnostics here. */
2103 invoke_plugin_callbacks (PLUGIN_FINISH, NULL);
2105 diagnostic_finish (global_dc);
2107 finalize_plugins ();
2108 location_adhoc_data_fini (line_table);
2110 after_memory_report = true;
2112 if (seen_error () || werrorcount)
2113 return (FATAL_EXIT_CODE);
2115 return (SUCCESS_EXIT_CODE);
2118 /* For those that want to, this function aims to clean up enough state that
2119 you can call toplev::main again. */
2120 void
2121 toplev::finalize (void)
2123 rtl_initialized = false;
2124 this_target_rtl->target_specific_initialized = false;
2126 /* Needs to be called before cgraph_c_finalize since it uses symtab. */
2127 ipa_reference_c_finalize ();
2129 cgraph_c_finalize ();
2130 cgraphunit_c_finalize ();
2131 dwarf2out_c_finalize ();
2132 gcse_c_finalize ();
2133 ipa_cp_c_finalize ();
2134 ira_costs_c_finalize ();
2135 params_c_finalize ();
2137 finalize_options_struct (&global_options);
2138 finalize_options_struct (&global_options_set);
2140 /* save_decoded_options uses opts_obstack, so these must
2141 be cleaned up together. */
2142 obstack_free (&opts_obstack, NULL);
2143 XDELETEVEC (save_decoded_options);
2144 save_decoded_options = NULL;
2145 save_decoded_options_count = 0;
2147 /* Clean up the context (and pass_manager etc). */
2148 delete g;
2149 g = NULL;