[ree] PR rtl-optimization/78038: Handle global register dataflow definitions in ree
[official-gcc.git] / gcc / toplev.c
blob1df80d04442647e3a5b6a34a6dcca6b5cfb030f5
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 "memmodel.h"
36 #include "tm_p.h"
37 #include "optabs-libfuncs.h"
38 #include "insn-config.h"
39 #include "ira.h"
40 #include "recog.h"
41 #include "cgraph.h"
42 #include "coverage.h"
43 #include "diagnostic.h"
44 #include "varasm.h"
45 #include "tree-inline.h"
46 #include "realmpfr.h" /* For GMP/MPFR/MPC versions, in print_version. */
47 #include "version.h"
48 #include "flags.h"
49 #include "insn-attr.h"
50 #include "output.h"
51 #include "toplev.h"
52 #include "expr.h"
53 #include "intl.h"
54 #include "tree-diagnostic.h"
55 #include "params.h"
56 #include "reload.h"
57 #include "lra.h"
58 #include "dwarf2asm.h"
59 #include "debug.h"
60 #include "common/common-target.h"
61 #include "langhooks.h"
62 #include "cfgloop.h" /* for init_set_costs */
63 #include "hosthooks.h"
64 #include "opts.h"
65 #include "opts-diagnostic.h"
66 #include "asan.h"
67 #include "tsan.h"
68 #include "plugin.h"
69 #include "context.h"
70 #include "pass_manager.h"
71 #include "auto-profile.h"
72 #include "dwarf2out.h"
73 #include "ipa-reference.h"
74 #include "symbol-summary.h"
75 #include "tree-vrp.h"
76 #include "ipa-prop.h"
77 #include "gcse.h"
78 #include "tree-chkp.h"
79 #include "omp-low.h"
80 #include "hsa.h"
81 #include "edit-context.h"
83 #if defined(DBX_DEBUGGING_INFO) || defined(XCOFF_DEBUGGING_INFO)
84 #include "dbxout.h"
85 #endif
87 #include "sdbout.h"
89 #ifdef XCOFF_DEBUGGING_INFO
90 #include "xcoffout.h" /* Needed for external data declarations. */
91 #endif
93 #include "selftest.h"
95 static void general_init (const char *, bool);
96 static void do_compile ();
97 static void process_options (void);
98 static void backend_init (void);
99 static int lang_dependent_init (const char *);
100 static void init_asm_output (const char *);
101 static void finalize (bool);
103 static void crash_signal (int) ATTRIBUTE_NORETURN;
104 static void compile_file (void);
106 /* True if we don't need a backend (e.g. preprocessing only). */
107 static bool no_backend;
109 /* Length of line when printing switch values. */
110 #define MAX_LINE 75
112 /* Decoded options, and number of such options. */
113 struct cl_decoded_option *save_decoded_options;
114 unsigned int save_decoded_options_count;
116 /* Used to enable -fvar-tracking, -fweb and -frename-registers according
117 to optimize in process_options (). */
118 #define AUTODETECT_VALUE 2
120 /* Debug hooks - dependent upon command line options. */
122 const struct gcc_debug_hooks *debug_hooks;
124 /* The FUNCTION_DECL for the function currently being compiled,
125 or 0 if between functions. */
126 tree current_function_decl;
128 /* Set to the FUNC_BEGIN label of the current function, or NULL
129 if none. */
130 const char * current_function_func_begin_label;
132 /* A random sequence of characters, unless overridden by user. */
133 static const char *flag_random_seed;
135 /* A local time stamp derived from the time of compilation. It will be
136 zero if the system cannot provide a time. It will be -1u, if the
137 user has specified a particular random seed. */
138 unsigned local_tick;
140 /* Random number for this compilation */
141 HOST_WIDE_INT random_seed;
143 /* -f flags. */
145 /* When non-NULL, indicates that whenever space is allocated on the
146 stack, the resulting stack pointer must not pass this
147 address---that is, for stacks that grow downward, the stack pointer
148 must always be greater than or equal to this address; for stacks
149 that grow upward, the stack pointer must be less than this address.
150 At present, the rtx may be either a REG or a SYMBOL_REF, although
151 the support provided depends on the backend. */
152 rtx stack_limit_rtx;
154 /* True if the user has tagged the function with the 'section'
155 attribute. */
157 bool user_defined_section_attribute = false;
159 struct target_flag_state default_target_flag_state;
160 #if SWITCHABLE_TARGET
161 struct target_flag_state *this_target_flag_state = &default_target_flag_state;
162 #else
163 #define this_target_flag_state (&default_target_flag_state)
164 #endif
166 /* The user symbol prefix after having resolved same. */
167 const char *user_label_prefix;
169 /* Output files for assembler code (real compiler output)
170 and debugging dumps. */
172 FILE *asm_out_file;
173 FILE *aux_info_file;
174 FILE *stack_usage_file = NULL;
176 /* The current working directory of a translation. It's generally the
177 directory from which compilation was initiated, but a preprocessed
178 file may specify the original directory in which it was
179 created. */
181 static const char *src_pwd;
183 /* Initialize src_pwd with the given string, and return true. If it
184 was already initialized, return false. As a special case, it may
185 be called with a NULL argument to test whether src_pwd has NOT been
186 initialized yet. */
188 bool
189 set_src_pwd (const char *pwd)
191 if (src_pwd)
193 if (strcmp (src_pwd, pwd) == 0)
194 return true;
195 else
196 return false;
199 src_pwd = xstrdup (pwd);
200 return true;
203 /* Return the directory from which the translation unit was initiated,
204 in case set_src_pwd() was not called before to assign it a
205 different value. */
207 const char *
208 get_src_pwd (void)
210 if (! src_pwd)
212 src_pwd = getpwd ();
213 if (!src_pwd)
214 src_pwd = ".";
217 return src_pwd;
220 /* Called when the start of a function definition is parsed,
221 this function prints on stderr the name of the function. */
222 void
223 announce_function (tree decl)
225 if (!quiet_flag)
227 if (rtl_dump_and_exit)
228 fprintf (stderr, "%s ",
229 identifier_to_locale (IDENTIFIER_POINTER (DECL_NAME (decl))));
230 else
231 fprintf (stderr, " %s",
232 identifier_to_locale (lang_hooks.decl_printable_name (decl, 2)));
233 fflush (stderr);
234 pp_needs_newline (global_dc->printer) = true;
235 diagnostic_set_last_function (global_dc, (diagnostic_info *) NULL);
239 /* Initialize local_tick with a random number or -1 if
240 flag_random_seed is set. */
242 static void
243 init_local_tick (void)
245 if (!flag_random_seed)
247 /* Try urandom first. Time of day is too likely to collide.
248 In case of any error we just use the local tick. */
250 int fd = open ("/dev/urandom", O_RDONLY);
251 if (fd >= 0)
253 if (read (fd, &random_seed, sizeof (random_seed))
254 != sizeof (random_seed))
255 random_seed = 0;
256 close (fd);
259 /* Now get the tick anyways */
260 #ifdef HAVE_GETTIMEOFDAY
262 struct timeval tv;
264 gettimeofday (&tv, NULL);
265 local_tick = (unsigned) tv.tv_sec * 1000 + tv.tv_usec / 1000;
267 #else
269 time_t now = time (NULL);
271 if (now != (time_t)-1)
272 local_tick = (unsigned) now;
274 #endif
276 else
277 local_tick = -1;
280 /* Set up a default flag_random_seed and local_tick, unless the user
281 already specified one. Must be called after init_local_tick. */
283 static void
284 init_random_seed (void)
286 if (!random_seed)
287 random_seed = local_tick ^ getpid (); /* Old racey fallback method */
290 /* Obtain the random_seed. Unless NOINIT, initialize it if
291 it's not provided in the command line. */
293 HOST_WIDE_INT
294 get_random_seed (bool noinit)
296 if (!flag_random_seed && !noinit)
297 init_random_seed ();
298 return random_seed;
301 /* Modify the random_seed string to VAL. Return its previous
302 value. */
304 const char *
305 set_random_seed (const char *val)
307 const char *old = flag_random_seed;
308 flag_random_seed = val;
309 if (flag_random_seed)
311 char *endp;
313 /* When the driver passed in a hex number don't crc it again */
314 random_seed = strtoul (flag_random_seed, &endp, 0);
315 if (!(endp > flag_random_seed && *endp == 0))
316 random_seed = crc32_string (0, flag_random_seed);
318 return old;
321 /* Handler for fatal signals, such as SIGSEGV. These are transformed
322 into ICE messages, which is much more user friendly. In case the
323 error printer crashes, reset the signal to prevent infinite recursion. */
325 static void
326 crash_signal (int signo)
328 signal (signo, SIG_DFL);
330 /* If we crashed while processing an ASM statement, then be a little more
331 graceful. It's most likely the user's fault. */
332 if (this_is_asm_operands)
334 output_operand_lossage ("unrecoverable error");
335 exit (FATAL_EXIT_CODE);
338 internal_error ("%s", strsignal (signo));
341 /* A subroutine of wrapup_global_declarations. We've come to the end of
342 the compilation unit. All deferred variables should be undeferred,
343 and all incomplete decls should be finalized. */
345 void
346 wrapup_global_declaration_1 (tree decl)
348 /* We're not deferring this any longer. Assignment is conditional to
349 avoid needlessly dirtying PCH pages. */
350 if (CODE_CONTAINS_STRUCT (TREE_CODE (decl), TS_DECL_WITH_VIS)
351 && DECL_DEFER_OUTPUT (decl) != 0)
352 DECL_DEFER_OUTPUT (decl) = 0;
354 if (VAR_P (decl) && DECL_SIZE (decl) == 0)
355 lang_hooks.finish_incomplete_decl (decl);
358 /* A subroutine of wrapup_global_declarations. Decide whether or not DECL
359 needs to be output. Return true if it is output. */
361 bool
362 wrapup_global_declaration_2 (tree decl)
364 if (TREE_ASM_WRITTEN (decl) || DECL_EXTERNAL (decl)
365 || (VAR_P (decl) && DECL_HAS_VALUE_EXPR_P (decl)))
366 return false;
368 /* Don't write out static consts, unless we still need them.
370 We also keep static consts if not optimizing (for debugging),
371 unless the user specified -fno-keep-static-consts.
372 ??? They might be better written into the debug information.
373 This is possible when using DWARF.
375 A language processor that wants static constants to be always
376 written out (even if it is not used) is responsible for
377 calling rest_of_decl_compilation itself. E.g. the C front-end
378 calls rest_of_decl_compilation from finish_decl.
379 One motivation for this is that is conventional in some
380 environments to write things like:
381 static const char rcsid[] = "... version string ...";
382 intending to force the string to be in the executable.
384 A language processor that would prefer to have unneeded
385 static constants "optimized away" would just defer writing
386 them out until here. E.g. C++ does this, because static
387 constants are often defined in header files.
389 ??? A tempting alternative (for both C and C++) would be
390 to force a constant to be written if and only if it is
391 defined in a main file, as opposed to an include file. */
393 if (VAR_P (decl) && TREE_STATIC (decl))
395 varpool_node *node;
396 bool needed = true;
397 node = varpool_node::get (decl);
399 if (!node && flag_ltrans)
400 needed = false;
401 else if (node && node->definition)
402 needed = false;
403 else if (node && node->alias)
404 needed = false;
405 else if (!symtab->global_info_ready
406 && (TREE_USED (decl)
407 || TREE_USED (DECL_ASSEMBLER_NAME (decl))))
408 /* needed */;
409 else if (node && node->analyzed)
410 /* needed */;
411 else if (DECL_COMDAT (decl))
412 needed = false;
413 else if (TREE_READONLY (decl) && !TREE_PUBLIC (decl)
414 && (optimize || !flag_keep_static_consts
415 || DECL_ARTIFICIAL (decl)))
416 needed = false;
418 if (needed)
420 rest_of_decl_compilation (decl, 1, 1);
421 return true;
425 return false;
428 /* Do any final processing required for the declarations in VEC, of
429 which there are LEN. We write out inline functions and variables
430 that have been deferred until this point, but which are required.
431 Returns nonzero if anything was put out. */
433 bool
434 wrapup_global_declarations (tree *vec, int len)
436 bool reconsider, output_something = false;
437 int i;
439 for (i = 0; i < len; i++)
440 wrapup_global_declaration_1 (vec[i]);
442 /* Now emit any global variables or functions that we have been
443 putting off. We need to loop in case one of the things emitted
444 here references another one which comes earlier in the list. */
447 reconsider = false;
448 for (i = 0; i < len; i++)
449 reconsider |= wrapup_global_declaration_2 (vec[i]);
450 if (reconsider)
451 output_something = true;
453 while (reconsider);
455 return output_something;
458 /* Compile an entire translation unit. Write a file of assembly
459 output and various debugging dumps. */
461 static void
462 compile_file (void)
464 timevar_start (TV_PHASE_PARSING);
465 timevar_push (TV_PARSE_GLOBAL);
467 /* Parse entire file and generate initial debug information. */
468 lang_hooks.parse_file ();
470 timevar_pop (TV_PARSE_GLOBAL);
471 timevar_stop (TV_PHASE_PARSING);
473 if (flag_dump_locations)
474 dump_location_info (stderr);
476 /* Compilation is now finished except for writing
477 what's left of the symbol table output. */
479 if (flag_syntax_only || flag_wpa)
480 return;
482 /* Reset maximum_field_alignment, it can be adjusted by #pragma pack
483 and this shouldn't influence any types built by the middle-end
484 from now on (like gcov_info_type). */
485 maximum_field_alignment = initial_max_fld_align * BITS_PER_UNIT;
487 ggc_protect_identifiers = false;
489 /* Run the actual compilation process. */
490 if (!in_lto_p)
492 timevar_start (TV_PHASE_OPT_GEN);
493 symtab->finalize_compilation_unit ();
494 timevar_stop (TV_PHASE_OPT_GEN);
497 /* Perform any post compilation-proper parser cleanups and
498 processing. This is currently only needed for the C++ parser,
499 which can be hopefully cleaned up so this hook is no longer
500 necessary. */
501 if (lang_hooks.decls.post_compilation_parsing_cleanups)
502 lang_hooks.decls.post_compilation_parsing_cleanups ();
504 if (seen_error ())
505 return;
507 timevar_start (TV_PHASE_LATE_ASM);
509 /* Compilation unit is finalized. When producing non-fat LTO object, we are
510 basically finished. */
511 if (in_lto_p || !flag_lto || flag_fat_lto_objects)
513 /* File-scope initialization for AddressSanitizer. */
514 if (flag_sanitize & SANITIZE_ADDRESS)
515 asan_finish_file ();
517 if (flag_sanitize & SANITIZE_THREAD)
518 tsan_finish_file ();
520 if (flag_check_pointer_bounds)
521 chkp_finish_file ();
523 omp_finish_file ();
525 hsa_output_brig ();
527 output_shared_constant_pool ();
528 output_object_blocks ();
529 finish_tm_clone_pairs ();
531 /* Write out any pending weak symbol declarations. */
532 weak_finish ();
534 /* This must be at the end before unwind and debug info.
535 Some target ports emit PIC setup thunks here. */
536 targetm.asm_out.code_end ();
538 /* Do dbx symbols. */
539 timevar_push (TV_SYMOUT);
541 #if defined DWARF2_DEBUGGING_INFO || defined DWARF2_UNWIND_INFO
542 if (dwarf2out_do_frame ())
543 dwarf2out_frame_finish ();
544 #endif
546 (*debug_hooks->finish) (main_input_filename);
547 timevar_pop (TV_SYMOUT);
549 /* Output some stuff at end of file if nec. */
551 dw2_output_indirect_constants ();
553 /* Flush any pending external directives. */
554 process_pending_assemble_externals ();
557 /* Emit LTO marker if LTO info has been previously emitted. This is
558 used by collect2 to determine whether an object file contains IL.
559 We used to emit an undefined reference here, but this produces
560 link errors if an object file with IL is stored into a shared
561 library without invoking lto1. */
562 if (flag_generate_lto || flag_generate_offload)
564 #if defined ASM_OUTPUT_ALIGNED_DECL_COMMON
565 ASM_OUTPUT_ALIGNED_DECL_COMMON (asm_out_file, NULL_TREE,
566 "__gnu_lto_v1",
567 HOST_WIDE_INT_1U, 8);
568 #elif defined ASM_OUTPUT_ALIGNED_COMMON
569 ASM_OUTPUT_ALIGNED_COMMON (asm_out_file, "__gnu_lto_v1",
570 HOST_WIDE_INT_1U, 8);
571 #else
572 ASM_OUTPUT_COMMON (asm_out_file, "__gnu_lto_v1",
573 HOST_WIDE_INT_1U,
574 HOST_WIDE_INT_1U);
575 #endif
578 /* Let linker plugin know that this is a slim object and must be LTOed
579 even when user did not ask for it. */
580 if (flag_generate_lto && !flag_fat_lto_objects)
582 #if defined ASM_OUTPUT_ALIGNED_DECL_COMMON
583 ASM_OUTPUT_ALIGNED_DECL_COMMON (asm_out_file, NULL_TREE, "__gnu_lto_slim",
584 HOST_WIDE_INT_1U, 8);
585 #elif defined ASM_OUTPUT_ALIGNED_COMMON
586 ASM_OUTPUT_ALIGNED_COMMON (asm_out_file, "__gnu_lto_slim",
587 HOST_WIDE_INT_1U, 8);
588 #else
589 ASM_OUTPUT_COMMON (asm_out_file, "__gnu_lto_slim",
590 HOST_WIDE_INT_1U,
591 HOST_WIDE_INT_1U);
592 #endif
595 /* Attach a special .ident directive to the end of the file to identify
596 the version of GCC which compiled this code. The format of the .ident
597 string is patterned after the ones produced by native SVR4 compilers. */
598 if (!flag_no_ident)
600 const char *pkg_version = "(GNU) ";
601 char *ident_str;
603 if (strcmp ("(GCC) ", pkgversion_string))
604 pkg_version = pkgversion_string;
606 ident_str = ACONCAT (("GCC: ", pkg_version, version_string, NULL));
607 targetm.asm_out.output_ident (ident_str);
610 /* Auto profile finalization. */
611 if (flag_auto_profile)
612 end_auto_profile ();
614 /* Invoke registered plugin callbacks. */
615 invoke_plugin_callbacks (PLUGIN_FINISH_UNIT, NULL);
617 /* This must be at the end. Some target ports emit end of file directives
618 into the assembly file here, and hence we can not output anything to the
619 assembly file after this point. */
620 targetm.asm_out.file_end ();
622 timevar_stop (TV_PHASE_LATE_ASM);
625 /* Print version information to FILE.
626 Each line begins with INDENT (for the case where FILE is the
627 assembler output file).
629 If SHOW_GLOBAL_STATE is true (for cc1 etc), we are within the compiler
630 proper and can print pertinent state (e.g. params and plugins).
632 If SHOW_GLOBAL_STATE is false (for use by libgccjit), we are outside the
633 compiler, and we don't hold the mutex on the compiler's global state:
634 we can't print params and plugins, since they might not be initialized,
635 or might be being manipulated by a compile running in another
636 thread. */
638 void
639 print_version (FILE *file, const char *indent, bool show_global_state)
641 static const char fmt1[] =
642 #ifdef __GNUC__
643 N_("%s%s%s %sversion %s (%s)\n%s\tcompiled by GNU C version %s, ")
644 #else
645 N_("%s%s%s %sversion %s (%s) compiled by CC, ")
646 #endif
648 static const char fmt2[] =
649 N_("GMP version %s, MPFR version %s, MPC version %s, isl version %s\n");
650 static const char fmt3[] =
651 N_("%s%swarning: %s header version %s differs from library version %s.\n");
652 static const char fmt4[] =
653 N_("%s%sGGC heuristics: --param ggc-min-expand=%d --param ggc-min-heapsize=%d\n");
654 #ifndef __VERSION__
655 #define __VERSION__ "[?]"
656 #endif
657 fprintf (file,
658 file == stderr ? _(fmt1) : fmt1,
659 indent, *indent != 0 ? " " : "",
660 lang_hooks.name, pkgversion_string, version_string, TARGET_NAME,
661 indent, __VERSION__);
663 /* We need to stringify the GMP macro values. Ugh, gmp_version has
664 two string formats, "i.j.k" and "i.j" when k is zero. As of
665 gmp-4.3.0, GMP always uses the 3 number format. */
666 #define GCC_GMP_STRINGIFY_VERSION3(X) #X
667 #define GCC_GMP_STRINGIFY_VERSION2(X) GCC_GMP_STRINGIFY_VERSION3 (X)
668 #define GCC_GMP_VERSION_NUM(X,Y,Z) (((X) << 16L) | ((Y) << 8) | (Z))
669 #define GCC_GMP_VERSION \
670 GCC_GMP_VERSION_NUM(__GNU_MP_VERSION, __GNU_MP_VERSION_MINOR, __GNU_MP_VERSION_PATCHLEVEL)
671 #if GCC_GMP_VERSION < GCC_GMP_VERSION_NUM(4,3,0) && __GNU_MP_VERSION_PATCHLEVEL == 0
672 #define GCC_GMP_STRINGIFY_VERSION \
673 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION) "." \
674 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_MINOR)
675 #else
676 #define GCC_GMP_STRINGIFY_VERSION \
677 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION) "." \
678 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_MINOR) "." \
679 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_PATCHLEVEL)
680 #endif
681 fprintf (file,
682 file == stderr ? _(fmt2) : fmt2,
683 GCC_GMP_STRINGIFY_VERSION, MPFR_VERSION_STRING, MPC_VERSION_STRING,
684 #ifndef HAVE_isl
685 "none"
686 #elif HAVE_ISL_OPTIONS_SET_SCHEDULE_SERIALIZE_SCCS
687 "0.15"
688 #else
689 "0.14 or 0.13"
690 #endif
692 if (strcmp (GCC_GMP_STRINGIFY_VERSION, gmp_version))
693 fprintf (file,
694 file == stderr ? _(fmt3) : fmt3,
695 indent, *indent != 0 ? " " : "",
696 "GMP", GCC_GMP_STRINGIFY_VERSION, gmp_version);
697 if (strcmp (MPFR_VERSION_STRING, mpfr_get_version ()))
698 fprintf (file,
699 file == stderr ? _(fmt3) : fmt3,
700 indent, *indent != 0 ? " " : "",
701 "MPFR", MPFR_VERSION_STRING, mpfr_get_version ());
702 if (strcmp (MPC_VERSION_STRING, mpc_get_version ()))
703 fprintf (file,
704 file == stderr ? _(fmt3) : fmt3,
705 indent, *indent != 0 ? " " : "",
706 "MPC", MPC_VERSION_STRING, mpc_get_version ());
708 if (show_global_state)
710 fprintf (file,
711 file == stderr ? _(fmt4) : fmt4,
712 indent, *indent != 0 ? " " : "",
713 PARAM_VALUE (GGC_MIN_EXPAND), PARAM_VALUE (GGC_MIN_HEAPSIZE));
715 print_plugins_versions (file, indent);
719 static int
720 print_to_asm_out_file (print_switch_type type, const char * text)
722 bool prepend_sep = true;
724 switch (type)
726 case SWITCH_TYPE_LINE_END:
727 putc ('\n', asm_out_file);
728 return 1;
730 case SWITCH_TYPE_LINE_START:
731 fputs (ASM_COMMENT_START, asm_out_file);
732 return strlen (ASM_COMMENT_START);
734 case SWITCH_TYPE_DESCRIPTIVE:
735 if (ASM_COMMENT_START[0] == 0)
736 prepend_sep = false;
737 /* FALLTHRU */
738 case SWITCH_TYPE_PASSED:
739 case SWITCH_TYPE_ENABLED:
740 if (prepend_sep)
741 fputc (' ', asm_out_file);
742 fputs (text, asm_out_file);
743 /* No need to return the length here as
744 print_single_switch has already done it. */
745 return 0;
747 default:
748 return -1;
752 static int
753 print_to_stderr (print_switch_type type, const char * text)
755 switch (type)
757 case SWITCH_TYPE_LINE_END:
758 putc ('\n', stderr);
759 return 1;
761 case SWITCH_TYPE_LINE_START:
762 return 0;
764 case SWITCH_TYPE_PASSED:
765 case SWITCH_TYPE_ENABLED:
766 fputc (' ', stderr);
767 /* FALLTHRU */
769 case SWITCH_TYPE_DESCRIPTIVE:
770 fputs (text, stderr);
771 /* No need to return the length here as
772 print_single_switch has already done it. */
773 return 0;
775 default:
776 return -1;
780 /* Print an option value and return the adjusted position in the line.
781 ??? print_fn doesn't handle errors, eg disk full; presumably other
782 code will catch a disk full though. */
784 static int
785 print_single_switch (print_switch_fn_type print_fn,
786 int pos,
787 print_switch_type type,
788 const char * text)
790 /* The ultrix fprintf returns 0 on success, so compute the result
791 we want here since we need it for the following test. The +1
792 is for the separator character that will probably be emitted. */
793 int len = strlen (text) + 1;
795 if (pos != 0
796 && pos + len > MAX_LINE)
798 print_fn (SWITCH_TYPE_LINE_END, NULL);
799 pos = 0;
802 if (pos == 0)
803 pos += print_fn (SWITCH_TYPE_LINE_START, NULL);
805 print_fn (type, text);
806 return pos + len;
809 /* Print active target switches using PRINT_FN.
810 POS is the current cursor position and MAX is the size of a "line".
811 Each line begins with INDENT and ends with TERM.
812 Each switch is separated from the next by SEP. */
814 static void
815 print_switch_values (print_switch_fn_type print_fn)
817 int pos = 0;
818 size_t j;
820 /* Fill in the -frandom-seed option, if the user didn't pass it, so
821 that it can be printed below. This helps reproducibility. */
822 if (!flag_random_seed)
823 init_random_seed ();
825 /* Print the options as passed. */
826 pos = print_single_switch (print_fn, pos,
827 SWITCH_TYPE_DESCRIPTIVE, _("options passed: "));
829 for (j = 1; j < save_decoded_options_count; j++)
831 switch (save_decoded_options[j].opt_index)
833 case OPT_o:
834 case OPT_d:
835 case OPT_dumpbase:
836 case OPT_dumpdir:
837 case OPT_auxbase:
838 case OPT_quiet:
839 case OPT_version:
840 /* Ignore these. */
841 continue;
844 pos = print_single_switch (print_fn, pos, SWITCH_TYPE_PASSED,
845 save_decoded_options[j].orig_option_with_args_text);
848 if (pos > 0)
849 print_fn (SWITCH_TYPE_LINE_END, NULL);
851 /* Print the -f and -m options that have been enabled.
852 We don't handle language specific options but printing argv
853 should suffice. */
854 pos = print_single_switch (print_fn, 0,
855 SWITCH_TYPE_DESCRIPTIVE, _("options enabled: "));
857 for (j = 0; j < cl_options_count; j++)
858 if (cl_options[j].cl_report
859 && option_enabled (j, &global_options) > 0)
860 pos = print_single_switch (print_fn, pos,
861 SWITCH_TYPE_ENABLED, cl_options[j].opt_text);
863 print_fn (SWITCH_TYPE_LINE_END, NULL);
866 /* Open assembly code output file. Do this even if -fsyntax-only is
867 on, because then the driver will have provided the name of a
868 temporary file or bit bucket for us. NAME is the file specified on
869 the command line, possibly NULL. */
870 static void
871 init_asm_output (const char *name)
873 if (name == NULL && asm_file_name == 0)
874 asm_out_file = stdout;
875 else
877 if (asm_file_name == 0)
879 int len = strlen (dump_base_name);
880 char *dumpname = XNEWVEC (char, len + 6);
882 memcpy (dumpname, dump_base_name, len + 1);
883 strip_off_ending (dumpname, len);
884 strcat (dumpname, ".s");
885 asm_file_name = dumpname;
887 if (!strcmp (asm_file_name, "-"))
888 asm_out_file = stdout;
889 else if (!canonical_filename_eq (asm_file_name, name)
890 || !strcmp (asm_file_name, HOST_BIT_BUCKET))
891 asm_out_file = fopen (asm_file_name, "w");
892 else
893 /* Use UNKOWN_LOCATION to prevent gcc from printing the first
894 line in the current file. */
895 fatal_error (UNKNOWN_LOCATION,
896 "input file %qs is the same as output file",
897 asm_file_name);
898 if (asm_out_file == 0)
899 fatal_error (UNKNOWN_LOCATION,
900 "can%'t open %qs for writing: %m", asm_file_name);
903 if (!flag_syntax_only)
905 targetm.asm_out.file_start ();
907 if (flag_record_gcc_switches)
909 if (targetm.asm_out.record_gcc_switches)
911 /* Let the target know that we are about to start recording. */
912 targetm.asm_out.record_gcc_switches (SWITCH_TYPE_DESCRIPTIVE,
913 NULL);
914 /* Now record the switches. */
915 print_switch_values (targetm.asm_out.record_gcc_switches);
916 /* Let the target know that the recording is over. */
917 targetm.asm_out.record_gcc_switches (SWITCH_TYPE_DESCRIPTIVE,
918 NULL);
920 else
921 inform (UNKNOWN_LOCATION,
922 "-frecord-gcc-switches is not supported by "
923 "the current target");
926 if (flag_verbose_asm)
928 /* Print the list of switches in effect
929 into the assembler file as comments. */
930 print_version (asm_out_file, ASM_COMMENT_START, true);
931 print_switch_values (print_to_asm_out_file);
932 putc ('\n', asm_out_file);
937 /* A helper function; used as the reallocator function for cpp's line
938 table. */
939 static void *
940 realloc_for_line_map (void *ptr, size_t len)
942 return ggc_realloc (ptr, len);
945 /* A helper function: used as the allocator function for
946 identifier_to_locale. */
947 static void *
948 alloc_for_identifier_to_locale (size_t len)
950 return ggc_alloc_atomic (len);
953 /* Output stack usage information. */
954 void
955 output_stack_usage (void)
957 static bool warning_issued = false;
958 enum stack_usage_kind_type { STATIC = 0, DYNAMIC, DYNAMIC_BOUNDED };
959 const char *stack_usage_kind_str[] = {
960 "static",
961 "dynamic",
962 "dynamic,bounded"
964 HOST_WIDE_INT stack_usage = current_function_static_stack_size;
965 enum stack_usage_kind_type stack_usage_kind;
967 if (stack_usage < 0)
969 if (!warning_issued)
971 warning (0, "stack usage computation not supported for this target");
972 warning_issued = true;
974 return;
977 stack_usage_kind = STATIC;
979 /* Add the maximum amount of space pushed onto the stack. */
980 if (current_function_pushed_stack_size > 0)
982 stack_usage += current_function_pushed_stack_size;
983 stack_usage_kind = DYNAMIC_BOUNDED;
986 /* Now on to the tricky part: dynamic stack allocation. */
987 if (current_function_allocates_dynamic_stack_space)
989 if (current_function_has_unbounded_dynamic_stack_size)
990 stack_usage_kind = DYNAMIC;
991 else
992 stack_usage_kind = DYNAMIC_BOUNDED;
994 /* Add the size even in the unbounded case, this can't hurt. */
995 stack_usage += current_function_dynamic_stack_size;
998 if (flag_stack_usage)
1000 expanded_location loc
1001 = expand_location (DECL_SOURCE_LOCATION (current_function_decl));
1002 /* We don't want to print the full qualified name because it can be long,
1003 so we strip the scope prefix, but we may need to deal with the suffix
1004 created by the compiler. */
1005 const char *suffix
1006 = strchr (IDENTIFIER_POINTER (DECL_NAME (current_function_decl)), '.');
1007 const char *name
1008 = lang_hooks.decl_printable_name (current_function_decl, 2);
1009 if (suffix)
1011 const char *dot = strchr (name, '.');
1012 while (dot && strcasecmp (dot, suffix) != 0)
1014 name = dot + 1;
1015 dot = strchr (name, '.');
1018 else
1020 const char *dot = strrchr (name, '.');
1021 if (dot)
1022 name = dot + 1;
1025 fprintf (stack_usage_file,
1026 "%s:%d:%d:%s\t" HOST_WIDE_INT_PRINT_DEC"\t%s\n",
1027 lbasename (loc.file),
1028 loc.line,
1029 loc.column,
1030 name,
1031 stack_usage,
1032 stack_usage_kind_str[stack_usage_kind]);
1035 if (warn_stack_usage >= 0)
1037 const location_t loc = DECL_SOURCE_LOCATION (current_function_decl);
1039 if (stack_usage_kind == DYNAMIC)
1040 warning_at (loc, OPT_Wstack_usage_, "stack usage might be unbounded");
1041 else if (stack_usage > warn_stack_usage)
1043 if (stack_usage_kind == DYNAMIC_BOUNDED)
1044 warning_at (loc,
1045 OPT_Wstack_usage_, "stack usage might be %wd bytes",
1046 stack_usage);
1047 else
1048 warning_at (loc, OPT_Wstack_usage_, "stack usage is %wd bytes",
1049 stack_usage);
1054 /* Open an auxiliary output file. */
1055 static FILE *
1056 open_auxiliary_file (const char *ext)
1058 char *filename;
1059 FILE *file;
1061 filename = concat (aux_base_name, ".", ext, NULL);
1062 file = fopen (filename, "w");
1063 if (!file)
1064 fatal_error (input_location, "can%'t open %s for writing: %m", filename);
1065 free (filename);
1066 return file;
1069 /* Initialization of the front end environment, before command line
1070 options are parsed. Signal handlers, internationalization etc.
1071 ARGV0 is main's argv[0]. */
1072 static void
1073 general_init (const char *argv0, bool init_signals)
1075 const char *p;
1077 p = argv0 + strlen (argv0);
1078 while (p != argv0 && !IS_DIR_SEPARATOR (p[-1]))
1079 --p;
1080 progname = p;
1082 xmalloc_set_program_name (progname);
1084 hex_init ();
1086 /* Unlock the stdio streams. */
1087 unlock_std_streams ();
1089 gcc_init_libintl ();
1091 identifier_to_locale_alloc = alloc_for_identifier_to_locale;
1092 identifier_to_locale_free = ggc_free;
1094 /* Initialize the diagnostics reporting machinery, so option parsing
1095 can give warnings and errors. */
1096 diagnostic_initialize (global_dc, N_OPTS);
1097 /* Set a default printer. Language specific initializations will
1098 override it later. */
1099 tree_diagnostics_defaults (global_dc);
1101 global_dc->show_caret
1102 = global_options_init.x_flag_diagnostics_show_caret;
1103 global_dc->show_option_requested
1104 = global_options_init.x_flag_diagnostics_show_option;
1105 global_dc->show_column
1106 = global_options_init.x_flag_show_column;
1107 global_dc->internal_error = plugins_internal_error_function;
1108 global_dc->option_enabled = option_enabled;
1109 global_dc->option_state = &global_options;
1110 global_dc->option_name = option_name;
1112 if (init_signals)
1114 /* Trap fatal signals, e.g. SIGSEGV, and convert them to ICE messages. */
1115 #ifdef SIGSEGV
1116 signal (SIGSEGV, crash_signal);
1117 #endif
1118 #ifdef SIGILL
1119 signal (SIGILL, crash_signal);
1120 #endif
1121 #ifdef SIGBUS
1122 signal (SIGBUS, crash_signal);
1123 #endif
1124 #ifdef SIGABRT
1125 signal (SIGABRT, crash_signal);
1126 #endif
1127 #if defined SIGIOT && (!defined SIGABRT || SIGABRT != SIGIOT)
1128 signal (SIGIOT, crash_signal);
1129 #endif
1130 #ifdef SIGFPE
1131 signal (SIGFPE, crash_signal);
1132 #endif
1134 /* Other host-specific signal setup. */
1135 (*host_hooks.extra_signals)();
1138 /* Initialize the garbage-collector, string pools and tree type hash
1139 table. */
1140 init_ggc ();
1141 init_stringpool ();
1142 input_location = UNKNOWN_LOCATION;
1143 line_table = ggc_alloc<line_maps> ();
1144 linemap_init (line_table, BUILTINS_LOCATION);
1145 line_table->reallocator = realloc_for_line_map;
1146 line_table->round_alloc_size = ggc_round_alloc_size;
1147 line_table->default_range_bits = 5;
1148 init_ttree ();
1150 /* Initialize register usage now so switches may override. */
1151 init_reg_sets ();
1153 /* Register the language-independent parameters. */
1154 global_init_params ();
1156 /* This must be done after global_init_params but before argument
1157 processing. */
1158 init_ggc_heuristics ();
1160 /* Create the singleton holder for global state.
1161 Doing so also creates the pass manager and with it the passes. */
1162 g = new gcc::context ();
1163 symtab = new (ggc_cleared_alloc <symbol_table> ()) symbol_table ();
1165 statistics_early_init ();
1166 finish_params ();
1169 /* Return true if the current target supports -fsection-anchors. */
1171 static bool
1172 target_supports_section_anchors_p (void)
1174 if (targetm.min_anchor_offset == 0 && targetm.max_anchor_offset == 0)
1175 return false;
1177 if (targetm.asm_out.output_anchor == NULL)
1178 return false;
1180 return true;
1183 /* Default the align_* variables to 1 if they're still unset, and
1184 set up the align_*_log variables. */
1185 static void
1186 init_alignments (void)
1188 if (align_loops <= 0)
1189 align_loops = 1;
1190 if (align_loops_max_skip > align_loops)
1191 align_loops_max_skip = align_loops - 1;
1192 align_loops_log = floor_log2 (align_loops * 2 - 1);
1193 if (align_jumps <= 0)
1194 align_jumps = 1;
1195 if (align_jumps_max_skip > align_jumps)
1196 align_jumps_max_skip = align_jumps - 1;
1197 align_jumps_log = floor_log2 (align_jumps * 2 - 1);
1198 if (align_labels <= 0)
1199 align_labels = 1;
1200 align_labels_log = floor_log2 (align_labels * 2 - 1);
1201 if (align_labels_max_skip > align_labels)
1202 align_labels_max_skip = align_labels - 1;
1203 if (align_functions <= 0)
1204 align_functions = 1;
1205 align_functions_log = floor_log2 (align_functions * 2 - 1);
1208 /* Process the options that have been parsed. */
1209 static void
1210 process_options (void)
1212 /* Just in case lang_hooks.post_options ends up calling a debug_hook.
1213 This can happen with incorrect pre-processed input. */
1214 debug_hooks = &do_nothing_debug_hooks;
1216 maximum_field_alignment = initial_max_fld_align * BITS_PER_UNIT;
1218 /* Allow the front end to perform consistency checks and do further
1219 initialization based on the command line options. This hook also
1220 sets the original filename if appropriate (e.g. foo.i -> foo.c)
1221 so we can correctly initialize debug output. */
1222 no_backend = lang_hooks.post_options (&main_input_filename);
1224 /* Some machines may reject certain combinations of options. */
1225 location_t saved_location = input_location;
1226 input_location = UNKNOWN_LOCATION;
1227 targetm.target_option.override ();
1228 input_location = saved_location;
1230 if (flag_diagnostics_generate_patch)
1231 global_dc->edit_context_ptr = new edit_context ();
1233 /* Avoid any informative notes in the second run of -fcompare-debug. */
1234 if (flag_compare_debug)
1235 diagnostic_inhibit_notes (global_dc);
1237 if (flag_section_anchors && !target_supports_section_anchors_p ())
1239 warning_at (UNKNOWN_LOCATION, OPT_fsection_anchors,
1240 "this target does not support %qs",
1241 "-fsection-anchors");
1242 flag_section_anchors = 0;
1245 if (flag_short_enums == 2)
1246 flag_short_enums = targetm.default_short_enums ();
1248 /* Set aux_base_name if not already set. */
1249 if (aux_base_name)
1251 else if (main_input_filename)
1253 char *name = xstrdup (lbasename (main_input_filename));
1255 strip_off_ending (name, strlen (name));
1256 aux_base_name = name;
1258 else
1259 aux_base_name = "gccaux";
1261 #ifndef HAVE_isl
1262 if (flag_graphite
1263 || flag_loop_nest_optimize
1264 || flag_graphite_identity
1265 || flag_loop_parallelize_all)
1266 sorry ("Graphite loop optimizations cannot be used (isl is not available)"
1267 "(-fgraphite, -fgraphite-identity, -floop-block, "
1268 "-floop-interchange, -floop-strip-mine, -floop-parallelize-all, "
1269 "-floop-unroll-and-jam, and -ftree-loop-linear)");
1270 #endif
1272 if (flag_check_pointer_bounds)
1274 if (targetm.chkp_bound_mode () == VOIDmode)
1276 error_at (UNKNOWN_LOCATION,
1277 "-fcheck-pointer-bounds is not supported for this target");
1278 flag_check_pointer_bounds = 0;
1281 if (flag_sanitize & SANITIZE_ADDRESS)
1283 error_at (UNKNOWN_LOCATION,
1284 "-fcheck-pointer-bounds is not supported with "
1285 "Address Sanitizer");
1286 flag_check_pointer_bounds = 0;
1289 if (flag_sanitize & SANITIZE_BOUNDS)
1291 error_at (UNKNOWN_LOCATION,
1292 "-fcheck-pointer-bounds is not supported with "
1293 "-fsanitize=bounds");
1294 flag_check_pointer_bounds = 0;
1299 /* One region RA really helps to decrease the code size. */
1300 if (flag_ira_region == IRA_REGION_AUTODETECT)
1301 flag_ira_region
1302 = optimize_size || !optimize ? IRA_REGION_ONE : IRA_REGION_MIXED;
1304 if (!abi_version_at_least (2))
1306 /* -fabi-version=1 support was removed after GCC 4.9. */
1307 error_at (UNKNOWN_LOCATION,
1308 "%<-fabi-version=1%> is no longer supported");
1309 flag_abi_version = 2;
1312 /* Unrolling all loops implies that standard loop unrolling must also
1313 be done. */
1314 if (flag_unroll_all_loops)
1315 flag_unroll_loops = 1;
1317 /* web and rename-registers help when run after loop unrolling. */
1318 if (flag_web == AUTODETECT_VALUE)
1319 flag_web = flag_unroll_loops;
1321 if (flag_rename_registers == AUTODETECT_VALUE)
1322 flag_rename_registers = flag_unroll_loops;
1324 if (flag_non_call_exceptions)
1325 flag_asynchronous_unwind_tables = 1;
1326 if (flag_asynchronous_unwind_tables)
1327 flag_unwind_tables = 1;
1329 if (flag_value_profile_transformations)
1330 flag_profile_values = 1;
1332 /* Warn about options that are not supported on this machine. */
1333 #ifndef INSN_SCHEDULING
1334 if (flag_schedule_insns || flag_schedule_insns_after_reload)
1335 warning_at (UNKNOWN_LOCATION, 0,
1336 "instruction scheduling not supported on this target machine");
1337 #endif
1338 if (!DELAY_SLOTS && flag_delayed_branch)
1339 warning_at (UNKNOWN_LOCATION, 0,
1340 "this target machine does not have delayed branches");
1342 user_label_prefix = USER_LABEL_PREFIX;
1343 if (flag_leading_underscore != -1)
1345 /* If the default prefix is more complicated than "" or "_",
1346 issue a warning and ignore this option. */
1347 if (user_label_prefix[0] == 0 ||
1348 (user_label_prefix[0] == '_' && user_label_prefix[1] == 0))
1350 user_label_prefix = flag_leading_underscore ? "_" : "";
1352 else
1353 warning_at (UNKNOWN_LOCATION, 0,
1354 "-f%sleading-underscore not supported on this "
1355 "target machine", flag_leading_underscore ? "" : "no-");
1358 /* If we are in verbose mode, write out the version and maybe all the
1359 option flags in use. */
1360 if (version_flag)
1362 print_version (stderr, "", true);
1363 if (! quiet_flag)
1364 print_switch_values (print_to_stderr);
1367 if (flag_syntax_only)
1369 write_symbols = NO_DEBUG;
1370 profile_flag = 0;
1373 if (flag_gtoggle)
1375 if (debug_info_level == DINFO_LEVEL_NONE)
1377 debug_info_level = DINFO_LEVEL_NORMAL;
1379 if (write_symbols == NO_DEBUG)
1380 write_symbols = PREFERRED_DEBUGGING_TYPE;
1382 else
1383 debug_info_level = DINFO_LEVEL_NONE;
1386 if (flag_dump_final_insns && !flag_syntax_only && !no_backend)
1388 FILE *final_output = fopen (flag_dump_final_insns, "w");
1389 if (!final_output)
1391 error_at (UNKNOWN_LOCATION,
1392 "could not open final insn dump file %qs: %m",
1393 flag_dump_final_insns);
1394 flag_dump_final_insns = NULL;
1396 else if (fclose (final_output))
1398 error_at (UNKNOWN_LOCATION,
1399 "could not close zeroed insn dump file %qs: %m",
1400 flag_dump_final_insns);
1401 flag_dump_final_insns = NULL;
1405 /* A lot of code assumes write_symbols == NO_DEBUG if the debugging
1406 level is 0. */
1407 if (debug_info_level == DINFO_LEVEL_NONE)
1408 write_symbols = NO_DEBUG;
1410 if (write_symbols == NO_DEBUG)
1412 #if defined(DBX_DEBUGGING_INFO)
1413 else if (write_symbols == DBX_DEBUG)
1414 debug_hooks = &dbx_debug_hooks;
1415 #endif
1416 #if defined(XCOFF_DEBUGGING_INFO)
1417 else if (write_symbols == XCOFF_DEBUG)
1418 debug_hooks = &xcoff_debug_hooks;
1419 #endif
1420 else if (SDB_DEBUGGING_INFO && write_symbols == SDB_DEBUG)
1421 debug_hooks = &sdb_debug_hooks;
1422 #ifdef DWARF2_DEBUGGING_INFO
1423 else if (write_symbols == DWARF2_DEBUG)
1424 debug_hooks = &dwarf2_debug_hooks;
1425 #endif
1426 #ifdef VMS_DEBUGGING_INFO
1427 else if (write_symbols == VMS_DEBUG || write_symbols == VMS_AND_DWARF2_DEBUG)
1428 debug_hooks = &vmsdbg_debug_hooks;
1429 #endif
1430 #ifdef DWARF2_LINENO_DEBUGGING_INFO
1431 else if (write_symbols == DWARF2_DEBUG)
1432 debug_hooks = &dwarf2_lineno_debug_hooks;
1433 #endif
1434 else
1435 error_at (UNKNOWN_LOCATION,
1436 "target system does not support the %qs debug format",
1437 debug_type_names[write_symbols]);
1439 /* We know which debug output will be used so we can set flag_var_tracking
1440 and flag_var_tracking_uninit if the user has not specified them. */
1441 if (debug_info_level < DINFO_LEVEL_NORMAL
1442 || debug_hooks->var_location == do_nothing_debug_hooks.var_location)
1444 if (flag_var_tracking == 1
1445 || flag_var_tracking_uninit == 1)
1447 if (debug_info_level < DINFO_LEVEL_NORMAL)
1448 warning_at (UNKNOWN_LOCATION, 0,
1449 "variable tracking requested, but useless unless "
1450 "producing debug info");
1451 else
1452 warning_at (UNKNOWN_LOCATION, 0,
1453 "variable tracking requested, but not supported "
1454 "by this debug format");
1456 flag_var_tracking = 0;
1457 flag_var_tracking_uninit = 0;
1460 /* The debug hooks are used to implement -fdump-go-spec because it
1461 gives a simple and stable API for all the information we need to
1462 dump. */
1463 if (flag_dump_go_spec != NULL)
1464 debug_hooks = dump_go_spec_init (flag_dump_go_spec, debug_hooks);
1466 /* If the user specifically requested variable tracking with tagging
1467 uninitialized variables, we need to turn on variable tracking.
1468 (We already determined above that variable tracking is feasible.) */
1469 if (flag_var_tracking_uninit == 1)
1470 flag_var_tracking = 1;
1472 if (flag_var_tracking == AUTODETECT_VALUE)
1473 flag_var_tracking = optimize >= 1;
1475 if (flag_var_tracking_uninit == AUTODETECT_VALUE)
1476 flag_var_tracking_uninit = flag_var_tracking;
1478 if (flag_var_tracking_assignments == AUTODETECT_VALUE)
1479 flag_var_tracking_assignments = flag_var_tracking
1480 && !(flag_selective_scheduling || flag_selective_scheduling2);
1482 if (flag_var_tracking_assignments_toggle)
1483 flag_var_tracking_assignments = !flag_var_tracking_assignments;
1485 if (flag_var_tracking_assignments && !flag_var_tracking)
1486 flag_var_tracking = flag_var_tracking_assignments = -1;
1488 if (flag_var_tracking_assignments
1489 && (flag_selective_scheduling || flag_selective_scheduling2))
1490 warning_at (UNKNOWN_LOCATION, 0,
1491 "var-tracking-assignments changes selective scheduling");
1493 if (flag_tree_cselim == AUTODETECT_VALUE)
1495 if (HAVE_conditional_move)
1496 flag_tree_cselim = 1;
1497 else
1498 flag_tree_cselim = 0;
1501 /* If auxiliary info generation is desired, open the output file.
1502 This goes in the same directory as the source file--unlike
1503 all the other output files. */
1504 if (flag_gen_aux_info)
1506 aux_info_file = fopen (aux_info_file_name, "w");
1507 if (aux_info_file == 0)
1508 fatal_error (UNKNOWN_LOCATION,
1509 "can%'t open %s: %m", aux_info_file_name);
1512 if (!targetm_common.have_named_sections)
1514 if (flag_function_sections)
1516 warning_at (UNKNOWN_LOCATION, 0,
1517 "-ffunction-sections not supported for this target");
1518 flag_function_sections = 0;
1520 if (flag_data_sections)
1522 warning_at (UNKNOWN_LOCATION, 0,
1523 "-fdata-sections not supported for this target");
1524 flag_data_sections = 0;
1528 if (flag_prefetch_loop_arrays > 0 && !targetm.code_for_prefetch)
1530 warning_at (UNKNOWN_LOCATION, 0,
1531 "-fprefetch-loop-arrays not supported for this target");
1532 flag_prefetch_loop_arrays = 0;
1534 else if (flag_prefetch_loop_arrays > 0 && !targetm.have_prefetch ())
1536 warning_at (UNKNOWN_LOCATION, 0,
1537 "-fprefetch-loop-arrays not supported for this target "
1538 "(try -march switches)");
1539 flag_prefetch_loop_arrays = 0;
1542 /* This combination of options isn't handled for i386 targets and doesn't
1543 make much sense anyway, so don't allow it. */
1544 if (flag_prefetch_loop_arrays > 0 && optimize_size)
1546 warning_at (UNKNOWN_LOCATION, 0,
1547 "-fprefetch-loop-arrays is not supported with -Os");
1548 flag_prefetch_loop_arrays = 0;
1551 /* The presence of IEEE signaling NaNs, implies all math can trap. */
1552 if (flag_signaling_nans)
1553 flag_trapping_math = 1;
1555 /* We cannot reassociate if we want traps or signed zeros. */
1556 if (flag_associative_math && (flag_trapping_math || flag_signed_zeros))
1558 warning_at (UNKNOWN_LOCATION, 0,
1559 "-fassociative-math disabled; other options take "
1560 "precedence");
1561 flag_associative_math = 0;
1564 /* With -fcx-limited-range, we do cheap and quick complex arithmetic. */
1565 if (flag_cx_limited_range)
1566 flag_complex_method = 0;
1568 /* With -fcx-fortran-rules, we do something in-between cheap and C99. */
1569 if (flag_cx_fortran_rules)
1570 flag_complex_method = 1;
1572 /* Targets must be able to place spill slots at lower addresses. If the
1573 target already uses a soft frame pointer, the transition is trivial. */
1574 if (!FRAME_GROWS_DOWNWARD && flag_stack_protect)
1576 warning_at (UNKNOWN_LOCATION, 0,
1577 "-fstack-protector not supported for this target");
1578 flag_stack_protect = 0;
1580 if (!flag_stack_protect)
1581 warn_stack_protect = 0;
1583 /* Address Sanitizer needs porting to each target architecture. */
1585 if ((flag_sanitize & SANITIZE_ADDRESS)
1586 && !FRAME_GROWS_DOWNWARD)
1588 warning_at (UNKNOWN_LOCATION, 0,
1589 "-fsanitize=address and -fsanitize=kernel-address "
1590 "are not supported for this target");
1591 flag_sanitize &= ~SANITIZE_ADDRESS;
1594 if ((flag_sanitize & SANITIZE_USER_ADDRESS)
1595 && targetm.asan_shadow_offset == NULL)
1597 warning_at (UNKNOWN_LOCATION, 0,
1598 "-fsanitize=address not supported for this target");
1599 flag_sanitize &= ~SANITIZE_ADDRESS;
1602 /* Do not use IPA optimizations for register allocation if profiler is active
1603 or port does not emit prologue and epilogue as RTL. */
1604 if (profile_flag || !targetm.have_prologue () || !targetm.have_epilogue ())
1605 flag_ipa_ra = 0;
1607 /* Enable -Werror=coverage-mismatch when -Werror and -Wno-error
1608 have not been set. */
1609 if (!global_options_set.x_warnings_are_errors
1610 && warn_coverage_mismatch
1611 && (global_dc->classify_diagnostic[OPT_Wcoverage_mismatch] ==
1612 DK_UNSPECIFIED))
1613 diagnostic_classify_diagnostic (global_dc, OPT_Wcoverage_mismatch,
1614 DK_ERROR, UNKNOWN_LOCATION);
1616 /* Save the current optimization options. */
1617 optimization_default_node = build_optimization_node (&global_options);
1618 optimization_current_node = optimization_default_node;
1620 /* Please don't change global_options after this point, those changes won't
1621 be reflected in optimization_{default,current}_node. */
1624 /* This function can be called multiple times to reinitialize the compiler
1625 back end when register classes or instruction sets have changed,
1626 before each function. */
1627 static void
1628 backend_init_target (void)
1630 /* Initialize alignment variables. */
1631 init_alignments ();
1633 /* This depends on stack_pointer_rtx. */
1634 init_fake_stack_mems ();
1636 /* Sets static_base_value[HARD_FRAME_POINTER_REGNUM], which is
1637 mode-dependent. */
1638 init_alias_target ();
1640 /* Depends on HARD_FRAME_POINTER_REGNUM. */
1641 if (!ira_use_lra_p)
1642 init_reload ();
1644 /* Depends on the enabled attribute. */
1645 recog_init ();
1647 /* The following initialization functions need to generate rtl, so
1648 provide a dummy function context for them. */
1649 init_dummy_function_start ();
1651 /* rtx_cost is mode-dependent, so cached values need to be recomputed
1652 on a mode change. */
1653 init_expmed ();
1654 init_lower_subreg ();
1655 init_set_costs ();
1657 init_expr_target ();
1658 ira_init ();
1660 /* We may need to recompute regno_save_code[] and regno_restore_code[]
1661 after a mode change as well. */
1662 caller_save_initialized_p = false;
1664 expand_dummy_function_end ();
1667 /* Initialize the compiler back end. This function is called only once,
1668 when starting the compiler. */
1669 static void
1670 backend_init (void)
1672 init_emit_once ();
1674 init_rtlanal ();
1675 init_inline_once ();
1676 init_varasm_once ();
1677 save_register_info ();
1679 /* Middle end needs this initialization for default mem attributes
1680 used by early calls to make_decl_rtl. */
1681 init_emit_regs ();
1683 /* Middle end needs this initialization for mode tables used to assign
1684 modes to vector variables. */
1685 init_regs ();
1688 /* Initialize excess precision settings. */
1689 static void
1690 init_excess_precision (void)
1692 /* Adjust excess precision handling based on the target options. If
1693 the front end cannot handle it, flag_excess_precision_cmdline
1694 will already have been set accordingly in the post_options
1695 hook. */
1696 gcc_assert (flag_excess_precision_cmdline != EXCESS_PRECISION_DEFAULT);
1697 flag_excess_precision = flag_excess_precision_cmdline;
1698 if (flag_unsafe_math_optimizations)
1699 flag_excess_precision = EXCESS_PRECISION_FAST;
1700 if (flag_excess_precision == EXCESS_PRECISION_STANDARD)
1702 int flt_eval_method = TARGET_FLT_EVAL_METHOD;
1703 switch (flt_eval_method)
1705 case -1:
1706 case 0:
1707 /* Either the target acts unpredictably (-1) or has all the
1708 operations required not to have excess precision (0). */
1709 flag_excess_precision = EXCESS_PRECISION_FAST;
1710 break;
1711 case 1:
1712 case 2:
1713 /* In these cases, predictable excess precision makes
1714 sense. */
1715 break;
1716 default:
1717 /* Any other implementation-defined FLT_EVAL_METHOD values
1718 require the compiler to handle the associated excess
1719 precision rules in excess_precision_type. */
1720 gcc_unreachable ();
1725 /* Initialize things that are both lang-dependent and target-dependent.
1726 This function can be called more than once if target parameters change. */
1727 static void
1728 lang_dependent_init_target (void)
1730 /* This determines excess precision settings. */
1731 init_excess_precision ();
1733 /* This creates various _DECL nodes, so needs to be called after the
1734 front end is initialized. It also depends on the HAVE_xxx macros
1735 generated from the target machine description. */
1736 init_optabs ();
1738 gcc_assert (!this_target_rtl->target_specific_initialized);
1741 /* Perform initializations that are lang-dependent or target-dependent.
1742 but matters only for late optimizations and RTL generation. */
1744 static int rtl_initialized;
1746 void
1747 initialize_rtl (void)
1749 auto_timevar tv (g_timer, TV_INITIALIZE_RTL);
1751 /* Initialization done just once per compilation, but delayed
1752 till code generation. */
1753 if (!rtl_initialized)
1754 ira_init_once ();
1755 rtl_initialized = true;
1757 /* Target specific RTL backend initialization. */
1758 if (!this_target_rtl->target_specific_initialized)
1760 backend_init_target ();
1761 this_target_rtl->target_specific_initialized = true;
1765 /* Language-dependent initialization. Returns nonzero on success. */
1766 static int
1767 lang_dependent_init (const char *name)
1769 location_t save_loc = input_location;
1770 if (dump_base_name == 0)
1771 dump_base_name = name && name[0] ? name : "gccdump";
1773 /* Other front-end initialization. */
1774 input_location = BUILTINS_LOCATION;
1775 if (lang_hooks.init () == 0)
1776 return 0;
1777 input_location = save_loc;
1779 if (!flag_wpa)
1781 init_asm_output (name);
1783 /* If stack usage information is desired, open the output file. */
1784 if (flag_stack_usage)
1785 stack_usage_file = open_auxiliary_file ("su");
1788 /* This creates various _DECL nodes, so needs to be called after the
1789 front end is initialized. */
1790 init_eh ();
1792 /* Do the target-specific parts of the initialization. */
1793 lang_dependent_init_target ();
1795 if (!flag_wpa)
1797 /* If dbx symbol table desired, initialize writing it and output the
1798 predefined types. */
1799 timevar_push (TV_SYMOUT);
1801 /* Now we have the correct original filename, we can initialize
1802 debug output. */
1803 (*debug_hooks->init) (name);
1805 timevar_pop (TV_SYMOUT);
1808 return 1;
1812 /* Reinitialize everything when target parameters, such as register usage,
1813 have changed. */
1814 void
1815 target_reinit (void)
1817 struct rtl_data saved_x_rtl;
1818 rtx *saved_regno_reg_rtx;
1819 tree saved_optimization_current_node;
1820 struct target_optabs *saved_this_fn_optabs;
1822 /* Temporarily switch to the default optimization node, so that
1823 *this_target_optabs is set to the default, not reflecting
1824 whatever a previous function used for the optimize
1825 attribute. */
1826 saved_optimization_current_node = optimization_current_node;
1827 saved_this_fn_optabs = this_fn_optabs;
1828 if (saved_optimization_current_node != optimization_default_node)
1830 optimization_current_node = optimization_default_node;
1831 cl_optimization_restore
1832 (&global_options,
1833 TREE_OPTIMIZATION (optimization_default_node));
1835 this_fn_optabs = this_target_optabs;
1837 /* Save *crtl and regno_reg_rtx around the reinitialization
1838 to allow target_reinit being called even after prepare_function_start. */
1839 saved_regno_reg_rtx = regno_reg_rtx;
1840 if (saved_regno_reg_rtx)
1842 saved_x_rtl = *crtl;
1843 memset (crtl, '\0', sizeof (*crtl));
1844 regno_reg_rtx = NULL;
1847 this_target_rtl->target_specific_initialized = false;
1849 /* This initializes hard_frame_pointer, and calls init_reg_modes_target()
1850 to initialize reg_raw_mode[]. */
1851 init_emit_regs ();
1853 /* This invokes target hooks to set fixed_reg[] etc, which is
1854 mode-dependent. */
1855 init_regs ();
1857 /* Reinitialize lang-dependent parts. */
1858 lang_dependent_init_target ();
1860 /* Restore the original optimization node. */
1861 if (saved_optimization_current_node != optimization_default_node)
1863 optimization_current_node = saved_optimization_current_node;
1864 cl_optimization_restore (&global_options,
1865 TREE_OPTIMIZATION (optimization_current_node));
1867 this_fn_optabs = saved_this_fn_optabs;
1869 /* Restore regno_reg_rtx at the end, as free_after_compilation from
1870 expand_dummy_function_end clears it. */
1871 if (saved_regno_reg_rtx)
1873 *crtl = saved_x_rtl;
1874 regno_reg_rtx = saved_regno_reg_rtx;
1875 saved_regno_reg_rtx = NULL;
1879 void
1880 dump_memory_report (bool final)
1882 dump_line_table_statistics ();
1883 ggc_print_statistics ();
1884 stringpool_statistics ();
1885 dump_tree_statistics ();
1886 dump_gimple_statistics ();
1887 dump_rtx_statistics ();
1888 dump_alloc_pool_statistics ();
1889 dump_bitmap_statistics ();
1890 dump_hash_table_loc_statistics ();
1891 dump_vec_loc_statistics ();
1892 dump_ggc_loc_statistics (final);
1893 dump_alias_stats (stderr);
1894 dump_pta_stats (stderr);
1897 /* Clean up: close opened files, etc. */
1899 static void
1900 finalize (bool no_backend)
1902 /* Close the dump files. */
1903 if (flag_gen_aux_info)
1905 fclose (aux_info_file);
1906 aux_info_file = NULL;
1907 if (seen_error ())
1908 unlink (aux_info_file_name);
1911 /* Close non-debugging input and output files. Take special care to note
1912 whether fclose returns an error, since the pages might still be on the
1913 buffer chain while the file is open. */
1915 if (asm_out_file)
1917 if (ferror (asm_out_file) != 0)
1918 fatal_error (input_location, "error writing to %s: %m", asm_file_name);
1919 if (fclose (asm_out_file) != 0)
1920 fatal_error (input_location, "error closing %s: %m", asm_file_name);
1921 asm_out_file = NULL;
1924 if (stack_usage_file)
1926 fclose (stack_usage_file);
1927 stack_usage_file = NULL;
1930 if (!no_backend)
1932 statistics_fini ();
1934 g->get_passes ()->finish_optimization_passes ();
1936 lra_finish_once ();
1939 if (mem_report)
1940 dump_memory_report (true);
1942 if (profile_report)
1943 dump_profile_report ();
1945 /* Language-specific end of compilation actions. */
1946 lang_hooks.finish ();
1949 static bool
1950 standard_type_bitsize (int bitsize)
1952 /* As a special exception, we always want __int128 enabled if possible. */
1953 if (bitsize == 128)
1954 return false;
1955 if (bitsize == CHAR_TYPE_SIZE
1956 || bitsize == SHORT_TYPE_SIZE
1957 || bitsize == INT_TYPE_SIZE
1958 || bitsize == LONG_TYPE_SIZE
1959 || bitsize == LONG_LONG_TYPE_SIZE)
1960 return true;
1961 return false;
1964 /* Initialize the compiler, and compile the input file. */
1965 static void
1966 do_compile ()
1968 process_options ();
1970 /* Don't do any more if an error has already occurred. */
1971 if (!seen_error ())
1973 int i;
1975 timevar_start (TV_PHASE_SETUP);
1977 /* This must be run always, because it is needed to compute the FP
1978 predefined macros, such as __LDBL_MAX__, for targets using non
1979 default FP formats. */
1980 init_adjust_machine_modes ();
1981 init_derived_machine_modes ();
1983 /* This must happen after the backend has a chance to process
1984 command line options, but before the parsers are
1985 initialized. */
1986 for (i = 0; i < NUM_INT_N_ENTS; i ++)
1987 if (targetm.scalar_mode_supported_p (int_n_data[i].m)
1988 && ! standard_type_bitsize (int_n_data[i].bitsize))
1989 int_n_enabled_p[i] = true;
1990 else
1991 int_n_enabled_p[i] = false;
1993 /* Set up the back-end if requested. */
1994 if (!no_backend)
1995 backend_init ();
1997 /* Language-dependent initialization. Returns true on success. */
1998 if (lang_dependent_init (main_input_filename))
2000 /* Initialize yet another pass. */
2002 ggc_protect_identifiers = true;
2004 symtab->initialize ();
2005 init_final (main_input_filename);
2006 coverage_init (aux_base_name);
2007 statistics_init ();
2008 invoke_plugin_callbacks (PLUGIN_START_UNIT, NULL);
2010 timevar_stop (TV_PHASE_SETUP);
2012 compile_file ();
2014 else
2016 timevar_stop (TV_PHASE_SETUP);
2019 timevar_start (TV_PHASE_FINALIZE);
2021 finalize (no_backend);
2023 timevar_stop (TV_PHASE_FINALIZE);
2027 toplev::toplev (timer *external_timer,
2028 bool init_signals)
2029 : m_use_TV_TOTAL (external_timer == NULL),
2030 m_init_signals (init_signals)
2032 if (external_timer)
2033 g_timer = external_timer;
2036 toplev::~toplev ()
2038 if (g_timer && m_use_TV_TOTAL)
2040 g_timer->stop (TV_TOTAL);
2041 g_timer->print (stderr);
2042 delete g_timer;
2043 g_timer = NULL;
2047 /* Potentially call timevar_init (which will create g_timevars if it
2048 doesn't already exist). */
2050 void
2051 toplev::start_timevars ()
2053 if (time_report || !quiet_flag || flag_detailed_statistics)
2054 timevar_init ();
2056 timevar_start (TV_TOTAL);
2059 /* Handle -fself-test. */
2061 void
2062 toplev::run_self_tests ()
2064 if (no_backend)
2066 error_at (UNKNOWN_LOCATION, "self-tests incompatible with -E");
2067 return;
2069 #if CHECKING_P
2070 /* Reset some state. */
2071 input_location = UNKNOWN_LOCATION;
2072 bitmap_obstack_initialize (NULL);
2074 /* Run the tests; any failures will lead to an abort of the process.
2075 Use "make selftests-gdb" to run under the debugger. */
2076 ::selftest::run_tests ();
2078 /* Cleanup. */
2079 bitmap_obstack_release (NULL);
2080 #else
2081 inform (UNKNOWN_LOCATION, "self-tests are not enabled in this build");
2082 #endif /* #if CHECKING_P */
2085 /* Entry point of cc1, cc1plus, jc1, f771, etc.
2086 Exit code is FATAL_EXIT_CODE if can't open files or if there were
2087 any errors, or SUCCESS_EXIT_CODE if compilation succeeded.
2089 It is not safe to call this function more than once. */
2092 toplev::main (int argc, char **argv)
2094 /* Parsing and gimplification sometimes need quite large stack.
2095 Increase stack size limits if possible. */
2096 stack_limit_increase (64 * 1024 * 1024);
2098 expandargv (&argc, &argv);
2100 /* Initialization of GCC's environment, and diagnostics. */
2101 general_init (argv[0], m_init_signals);
2103 /* One-off initialization of options that does not need to be
2104 repeated when options are added for particular functions. */
2105 init_options_once ();
2106 init_opts_obstack ();
2108 /* Initialize global options structures; this must be repeated for
2109 each structure used for parsing options. */
2110 init_options_struct (&global_options, &global_options_set);
2111 lang_hooks.init_options_struct (&global_options);
2113 /* Convert the options to an array. */
2114 decode_cmdline_options_to_array_default_mask (argc,
2115 CONST_CAST2 (const char **,
2116 char **, argv),
2117 &save_decoded_options,
2118 &save_decoded_options_count);
2120 /* Perform language-specific options initialization. */
2121 lang_hooks.init_options (save_decoded_options_count, save_decoded_options);
2123 /* Parse the options and do minimal processing; basically just
2124 enough to default flags appropriately. */
2125 decode_options (&global_options, &global_options_set,
2126 save_decoded_options, save_decoded_options_count,
2127 UNKNOWN_LOCATION, global_dc);
2129 handle_common_deferred_options ();
2131 init_local_tick ();
2133 initialize_plugins ();
2135 if (version_flag)
2136 print_version (stderr, "", true);
2138 if (help_flag)
2139 print_plugins_help (stderr, "");
2141 /* Exit early if we can (e.g. -help). */
2142 if (!exit_after_options)
2144 if (m_use_TV_TOTAL)
2145 start_timevars ();
2146 do_compile ();
2149 if (warningcount || errorcount || werrorcount)
2150 print_ignored_options ();
2152 if (flag_self_test)
2153 run_self_tests ();
2155 /* Invoke registered plugin callbacks if any. Some plugins could
2156 emit some diagnostics here. */
2157 invoke_plugin_callbacks (PLUGIN_FINISH, NULL);
2159 if (flag_diagnostics_generate_patch)
2161 gcc_assert (global_dc->edit_context_ptr);
2163 pretty_printer (pp);
2164 pp_show_color (&pp) = pp_show_color (global_dc->printer);
2165 global_dc->edit_context_ptr->print_diff (&pp, true);
2166 pp_flush (&pp);
2169 diagnostic_finish (global_dc);
2171 finalize_plugins ();
2172 location_adhoc_data_fini (line_table);
2174 after_memory_report = true;
2176 if (seen_error () || werrorcount)
2177 return (FATAL_EXIT_CODE);
2179 return (SUCCESS_EXIT_CODE);
2182 /* For those that want to, this function aims to clean up enough state that
2183 you can call toplev::main again. */
2184 void
2185 toplev::finalize (void)
2187 rtl_initialized = false;
2188 this_target_rtl->target_specific_initialized = false;
2190 /* Needs to be called before cgraph_c_finalize since it uses symtab. */
2191 ipa_reference_c_finalize ();
2193 cgraph_c_finalize ();
2194 cgraphunit_c_finalize ();
2195 dwarf2out_c_finalize ();
2196 gcse_c_finalize ();
2197 ipa_cp_c_finalize ();
2198 ira_costs_c_finalize ();
2199 params_c_finalize ();
2201 finalize_options_struct (&global_options);
2202 finalize_options_struct (&global_options_set);
2204 /* save_decoded_options uses opts_obstack, so these must
2205 be cleaned up together. */
2206 obstack_free (&opts_obstack, NULL);
2207 XDELETEVEC (save_decoded_options);
2208 save_decoded_options = NULL;
2209 save_decoded_options_count = 0;
2211 /* Clean up the context (and pass_manager etc). */
2212 delete g;
2213 g = NULL;