PR rtl-optimization/82913
[official-gcc.git] / gcc / toplev.c
blobeff169008d1326428304392313fc0c0d821873d2
1 /* Top level of GCC compilers (cc1, cc1plus, etc.)
2 Copyright (C) 1987-2017 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 "stringpool.h"
67 #include "attribs.h"
68 #include "asan.h"
69 #include "tsan.h"
70 #include "plugin.h"
71 #include "context.h"
72 #include "pass_manager.h"
73 #include "auto-profile.h"
74 #include "dwarf2out.h"
75 #include "ipa-reference.h"
76 #include "symbol-summary.h"
77 #include "tree-vrp.h"
78 #include "ipa-prop.h"
79 #include "gcse.h"
80 #include "tree-chkp.h"
81 #include "omp-offload.h"
82 #include "hsa-common.h"
83 #include "edit-context.h"
84 #include "tree-pass.h"
85 #include "dumpfile.h"
86 #include "ipa-fnsummary.h"
88 #if defined(DBX_DEBUGGING_INFO) || defined(XCOFF_DEBUGGING_INFO)
89 #include "dbxout.h"
90 #endif
92 #ifdef XCOFF_DEBUGGING_INFO
93 #include "xcoffout.h" /* Needed for external data declarations. */
94 #endif
96 #include "selftest.h"
98 #ifdef HAVE_isl
99 #include <isl/version.h>
100 #endif
102 static void general_init (const char *, bool);
103 static void do_compile ();
104 static void process_options (void);
105 static void backend_init (void);
106 static int lang_dependent_init (const char *);
107 static void init_asm_output (const char *);
108 static void finalize (bool);
110 static void crash_signal (int) ATTRIBUTE_NORETURN;
111 static void compile_file (void);
113 /* True if we don't need a backend (e.g. preprocessing only). */
114 static bool no_backend;
116 /* Length of line when printing switch values. */
117 #define MAX_LINE 75
119 /* Decoded options, and number of such options. */
120 struct cl_decoded_option *save_decoded_options;
121 unsigned int save_decoded_options_count;
123 /* Used to enable -fvar-tracking, -fweb and -frename-registers according
124 to optimize in process_options (). */
125 #define AUTODETECT_VALUE 2
127 /* Debug hooks - dependent upon command line options. */
129 const struct gcc_debug_hooks *debug_hooks;
131 /* The FUNCTION_DECL for the function currently being compiled,
132 or 0 if between functions. */
133 tree current_function_decl;
135 /* Set to the FUNC_BEGIN label of the current function, or NULL
136 if none. */
137 const char * current_function_func_begin_label;
139 /* A random sequence of characters, unless overridden by user. */
140 static const char *flag_random_seed;
142 /* A local time stamp derived from the time of compilation. It will be
143 zero if the system cannot provide a time. It will be -1u, if the
144 user has specified a particular random seed. */
145 unsigned local_tick;
147 /* Random number for this compilation */
148 HOST_WIDE_INT random_seed;
150 /* -f flags. */
152 /* When non-NULL, indicates that whenever space is allocated on the
153 stack, the resulting stack pointer must not pass this
154 address---that is, for stacks that grow downward, the stack pointer
155 must always be greater than or equal to this address; for stacks
156 that grow upward, the stack pointer must be less than this address.
157 At present, the rtx may be either a REG or a SYMBOL_REF, although
158 the support provided depends on the backend. */
159 rtx stack_limit_rtx;
161 struct target_flag_state default_target_flag_state;
162 #if SWITCHABLE_TARGET
163 struct target_flag_state *this_target_flag_state = &default_target_flag_state;
164 #else
165 #define this_target_flag_state (&default_target_flag_state)
166 #endif
168 /* The user symbol prefix after having resolved same. */
169 const char *user_label_prefix;
171 /* Output files for assembler code (real compiler output)
172 and debugging dumps. */
174 FILE *asm_out_file;
175 FILE *aux_info_file;
176 FILE *stack_usage_file = NULL;
178 /* The current working directory of a translation. It's generally the
179 directory from which compilation was initiated, but a preprocessed
180 file may specify the original directory in which it was
181 created. */
183 static const char *src_pwd;
185 /* Initialize src_pwd with the given string, and return true. If it
186 was already initialized, return false. As a special case, it may
187 be called with a NULL argument to test whether src_pwd has NOT been
188 initialized yet. */
190 bool
191 set_src_pwd (const char *pwd)
193 if (src_pwd)
195 if (strcmp (src_pwd, pwd) == 0)
196 return true;
197 else
198 return false;
201 src_pwd = xstrdup (pwd);
202 return true;
205 /* Return the directory from which the translation unit was initiated,
206 in case set_src_pwd() was not called before to assign it a
207 different value. */
209 const char *
210 get_src_pwd (void)
212 if (! src_pwd)
214 src_pwd = getpwd ();
215 if (!src_pwd)
216 src_pwd = ".";
219 return src_pwd;
222 /* Called when the start of a function definition is parsed,
223 this function prints on stderr the name of the function. */
224 void
225 announce_function (tree decl)
227 if (!quiet_flag)
229 if (rtl_dump_and_exit)
230 fprintf (stderr, "%s ",
231 identifier_to_locale (IDENTIFIER_POINTER (DECL_NAME (decl))));
232 else
233 fprintf (stderr, " %s",
234 identifier_to_locale (lang_hooks.decl_printable_name (decl, 2)));
235 fflush (stderr);
236 pp_needs_newline (global_dc->printer) = true;
237 diagnostic_set_last_function (global_dc, (diagnostic_info *) NULL);
241 /* Initialize local_tick with the time of day, or -1 if
242 flag_random_seed is set. */
244 static void
245 init_local_tick (void)
247 if (!flag_random_seed)
249 #ifdef HAVE_GETTIMEOFDAY
251 struct timeval tv;
253 gettimeofday (&tv, NULL);
254 local_tick = (unsigned) tv.tv_sec * 1000 + tv.tv_usec / 1000;
256 #else
258 time_t now = time (NULL);
260 if (now != (time_t)-1)
261 local_tick = (unsigned) now;
263 #endif
265 else
266 local_tick = -1;
269 /* Obtain the random_seed. Unless NOINIT, initialize it if
270 it's not provided in the command line. */
272 HOST_WIDE_INT
273 get_random_seed (bool noinit)
275 if (!random_seed && !noinit)
277 int fd = open ("/dev/urandom", O_RDONLY);
278 if (fd >= 0)
280 if (read (fd, &random_seed, sizeof (random_seed))
281 != sizeof (random_seed))
282 random_seed = 0;
283 close (fd);
285 if (!random_seed)
286 random_seed = local_tick ^ getpid ();
288 return random_seed;
291 /* Set flag_random_seed to VAL, and if non-null, reinitialize random_seed. */
293 void
294 set_random_seed (const char *val)
296 flag_random_seed = val;
297 if (flag_random_seed)
299 char *endp;
301 /* When the driver passed in a hex number don't crc it again */
302 random_seed = strtoul (flag_random_seed, &endp, 0);
303 if (!(endp > flag_random_seed && *endp == 0))
304 random_seed = crc32_string (0, flag_random_seed);
308 /* Handler for fatal signals, such as SIGSEGV. These are transformed
309 into ICE messages, which is much more user friendly. In case the
310 error printer crashes, reset the signal to prevent infinite recursion. */
312 static void
313 crash_signal (int signo)
315 signal (signo, SIG_DFL);
317 /* If we crashed while processing an ASM statement, then be a little more
318 graceful. It's most likely the user's fault. */
319 if (this_is_asm_operands)
321 output_operand_lossage ("unrecoverable error");
322 exit (FATAL_EXIT_CODE);
325 internal_error ("%s", strsignal (signo));
328 /* A subroutine of wrapup_global_declarations. We've come to the end of
329 the compilation unit. All deferred variables should be undeferred,
330 and all incomplete decls should be finalized. */
332 void
333 wrapup_global_declaration_1 (tree decl)
335 /* We're not deferring this any longer. Assignment is conditional to
336 avoid needlessly dirtying PCH pages. */
337 if (CODE_CONTAINS_STRUCT (TREE_CODE (decl), TS_DECL_WITH_VIS)
338 && DECL_DEFER_OUTPUT (decl) != 0)
339 DECL_DEFER_OUTPUT (decl) = 0;
341 if (VAR_P (decl) && DECL_SIZE (decl) == 0)
342 lang_hooks.finish_incomplete_decl (decl);
345 /* A subroutine of wrapup_global_declarations. Decide whether or not DECL
346 needs to be output. Return true if it is output. */
348 bool
349 wrapup_global_declaration_2 (tree decl)
351 if (TREE_ASM_WRITTEN (decl) || DECL_EXTERNAL (decl)
352 || (VAR_P (decl) && DECL_HAS_VALUE_EXPR_P (decl)))
353 return false;
355 /* Don't write out static consts, unless we still need them.
357 We also keep static consts if not optimizing (for debugging),
358 unless the user specified -fno-keep-static-consts.
359 ??? They might be better written into the debug information.
360 This is possible when using DWARF.
362 A language processor that wants static constants to be always
363 written out (even if it is not used) is responsible for
364 calling rest_of_decl_compilation itself. E.g. the C front-end
365 calls rest_of_decl_compilation from finish_decl.
366 One motivation for this is that is conventional in some
367 environments to write things like:
368 static const char rcsid[] = "... version string ...";
369 intending to force the string to be in the executable.
371 A language processor that would prefer to have unneeded
372 static constants "optimized away" would just defer writing
373 them out until here. E.g. C++ does this, because static
374 constants are often defined in header files.
376 ??? A tempting alternative (for both C and C++) would be
377 to force a constant to be written if and only if it is
378 defined in a main file, as opposed to an include file. */
380 if (VAR_P (decl) && TREE_STATIC (decl))
382 varpool_node *node;
383 bool needed = true;
384 node = varpool_node::get (decl);
386 if (!node && flag_ltrans)
387 needed = false;
388 else if (node && node->definition)
389 needed = false;
390 else if (node && node->alias)
391 needed = false;
392 else if (!symtab->global_info_ready
393 && (TREE_USED (decl)
394 || TREE_USED (DECL_ASSEMBLER_NAME (decl))))
395 /* needed */;
396 else if (node && node->analyzed)
397 /* needed */;
398 else if (DECL_COMDAT (decl))
399 needed = false;
400 else if (TREE_READONLY (decl) && !TREE_PUBLIC (decl)
401 && (optimize || !flag_keep_static_consts
402 || DECL_ARTIFICIAL (decl)))
403 needed = false;
405 if (needed)
407 rest_of_decl_compilation (decl, 1, 1);
408 return true;
412 return false;
415 /* Do any final processing required for the declarations in VEC, of
416 which there are LEN. We write out inline functions and variables
417 that have been deferred until this point, but which are required.
418 Returns nonzero if anything was put out. */
420 bool
421 wrapup_global_declarations (tree *vec, int len)
423 bool reconsider, output_something = false;
424 int i;
426 for (i = 0; i < len; i++)
427 wrapup_global_declaration_1 (vec[i]);
429 /* Now emit any global variables or functions that we have been
430 putting off. We need to loop in case one of the things emitted
431 here references another one which comes earlier in the list. */
434 reconsider = false;
435 for (i = 0; i < len; i++)
436 reconsider |= wrapup_global_declaration_2 (vec[i]);
437 if (reconsider)
438 output_something = true;
440 while (reconsider);
442 return output_something;
445 /* Compile an entire translation unit. Write a file of assembly
446 output and various debugging dumps. */
448 static void
449 compile_file (void)
451 timevar_start (TV_PHASE_PARSING);
452 timevar_push (TV_PARSE_GLOBAL);
454 /* Parse entire file and generate initial debug information. */
455 lang_hooks.parse_file ();
457 timevar_pop (TV_PARSE_GLOBAL);
458 timevar_stop (TV_PHASE_PARSING);
460 if (flag_dump_locations)
461 dump_location_info (stderr);
463 /* Compilation is now finished except for writing
464 what's left of the symbol table output. */
466 if (flag_syntax_only || flag_wpa)
467 return;
469 /* Reset maximum_field_alignment, it can be adjusted by #pragma pack
470 and this shouldn't influence any types built by the middle-end
471 from now on (like gcov_info_type). */
472 maximum_field_alignment = initial_max_fld_align * BITS_PER_UNIT;
474 ggc_protect_identifiers = false;
476 /* Run the actual compilation process. */
477 if (!in_lto_p)
479 timevar_start (TV_PHASE_OPT_GEN);
480 symtab->finalize_compilation_unit ();
481 timevar_stop (TV_PHASE_OPT_GEN);
484 /* Perform any post compilation-proper parser cleanups and
485 processing. This is currently only needed for the C++ parser,
486 which can be hopefully cleaned up so this hook is no longer
487 necessary. */
488 if (lang_hooks.decls.post_compilation_parsing_cleanups)
489 lang_hooks.decls.post_compilation_parsing_cleanups ();
491 if (seen_error ())
492 return;
494 timevar_start (TV_PHASE_LATE_ASM);
496 /* Compilation unit is finalized. When producing non-fat LTO object, we are
497 basically finished. */
498 if (in_lto_p || !flag_lto || flag_fat_lto_objects)
500 /* File-scope initialization for AddressSanitizer. */
501 if (flag_sanitize & SANITIZE_ADDRESS)
502 asan_finish_file ();
504 if (flag_sanitize & SANITIZE_THREAD)
505 tsan_finish_file ();
507 if (flag_check_pointer_bounds)
508 chkp_finish_file ();
510 omp_finish_file ();
512 hsa_output_brig ();
514 output_shared_constant_pool ();
515 output_object_blocks ();
516 finish_tm_clone_pairs ();
518 /* Write out any pending weak symbol declarations. */
519 weak_finish ();
521 /* This must be at the end before unwind and debug info.
522 Some target ports emit PIC setup thunks here. */
523 targetm.asm_out.code_end ();
525 /* Do dbx symbols. */
526 timevar_push (TV_SYMOUT);
528 #if defined DWARF2_DEBUGGING_INFO || defined DWARF2_UNWIND_INFO
529 if (dwarf2out_do_frame ())
530 dwarf2out_frame_finish ();
531 #endif
533 (*debug_hooks->finish) (main_input_filename);
534 timevar_pop (TV_SYMOUT);
536 /* Output some stuff at end of file if nec. */
538 dw2_output_indirect_constants ();
540 /* Flush any pending external directives. */
541 process_pending_assemble_externals ();
544 /* Emit LTO marker if LTO info has been previously emitted. This is
545 used by collect2 to determine whether an object file contains IL.
546 We used to emit an undefined reference here, but this produces
547 link errors if an object file with IL is stored into a shared
548 library without invoking lto1. */
549 if (flag_generate_lto || flag_generate_offload)
551 #if defined ASM_OUTPUT_ALIGNED_DECL_COMMON
552 ASM_OUTPUT_ALIGNED_DECL_COMMON (asm_out_file, NULL_TREE,
553 "__gnu_lto_v1",
554 HOST_WIDE_INT_1U, 8);
555 #elif defined ASM_OUTPUT_ALIGNED_COMMON
556 ASM_OUTPUT_ALIGNED_COMMON (asm_out_file, "__gnu_lto_v1",
557 HOST_WIDE_INT_1U, 8);
558 #else
559 ASM_OUTPUT_COMMON (asm_out_file, "__gnu_lto_v1",
560 HOST_WIDE_INT_1U,
561 HOST_WIDE_INT_1U);
562 #endif
565 /* Let linker plugin know that this is a slim object and must be LTOed
566 even when user did not ask for it. */
567 if (flag_generate_lto && !flag_fat_lto_objects)
569 #if defined ASM_OUTPUT_ALIGNED_DECL_COMMON
570 ASM_OUTPUT_ALIGNED_DECL_COMMON (asm_out_file, NULL_TREE, "__gnu_lto_slim",
571 HOST_WIDE_INT_1U, 8);
572 #elif defined ASM_OUTPUT_ALIGNED_COMMON
573 ASM_OUTPUT_ALIGNED_COMMON (asm_out_file, "__gnu_lto_slim",
574 HOST_WIDE_INT_1U, 8);
575 #else
576 ASM_OUTPUT_COMMON (asm_out_file, "__gnu_lto_slim",
577 HOST_WIDE_INT_1U,
578 HOST_WIDE_INT_1U);
579 #endif
582 /* Attach a special .ident directive to the end of the file to identify
583 the version of GCC which compiled this code. The format of the .ident
584 string is patterned after the ones produced by native SVR4 compilers. */
585 if (!flag_no_ident)
587 const char *pkg_version = "(GNU) ";
588 char *ident_str;
590 if (strcmp ("(GCC) ", pkgversion_string))
591 pkg_version = pkgversion_string;
593 ident_str = ACONCAT (("GCC: ", pkg_version, version_string, NULL));
594 targetm.asm_out.output_ident (ident_str);
597 /* Auto profile finalization. */
598 if (flag_auto_profile)
599 end_auto_profile ();
601 /* Invoke registered plugin callbacks. */
602 invoke_plugin_callbacks (PLUGIN_FINISH_UNIT, NULL);
604 /* This must be at the end. Some target ports emit end of file directives
605 into the assembly file here, and hence we can not output anything to the
606 assembly file after this point. */
607 targetm.asm_out.file_end ();
609 timevar_stop (TV_PHASE_LATE_ASM);
612 /* Print version information to FILE.
613 Each line begins with INDENT (for the case where FILE is the
614 assembler output file).
616 If SHOW_GLOBAL_STATE is true (for cc1 etc), we are within the compiler
617 proper and can print pertinent state (e.g. params and plugins).
619 If SHOW_GLOBAL_STATE is false (for use by libgccjit), we are outside the
620 compiler, and we don't hold the mutex on the compiler's global state:
621 we can't print params and plugins, since they might not be initialized,
622 or might be being manipulated by a compile running in another
623 thread. */
625 void
626 print_version (FILE *file, const char *indent, bool show_global_state)
628 static const char fmt1[] =
629 #ifdef __GNUC__
630 N_("%s%s%s %sversion %s (%s)\n%s\tcompiled by GNU C version %s, ")
631 #else
632 N_("%s%s%s %sversion %s (%s) compiled by CC, ")
633 #endif
635 static const char fmt2[] =
636 N_("GMP version %s, MPFR version %s, MPC version %s, isl version %s\n");
637 static const char fmt3[] =
638 N_("%s%swarning: %s header version %s differs from library version %s.\n");
639 static const char fmt4[] =
640 N_("%s%sGGC heuristics: --param ggc-min-expand=%d --param ggc-min-heapsize=%d\n");
641 #ifndef __VERSION__
642 #define __VERSION__ "[?]"
643 #endif
644 fprintf (file,
645 file == stderr ? _(fmt1) : fmt1,
646 indent, *indent != 0 ? " " : "",
647 lang_hooks.name, pkgversion_string, version_string, TARGET_NAME,
648 indent, __VERSION__);
650 /* We need to stringify the GMP macro values. Ugh, gmp_version has
651 two string formats, "i.j.k" and "i.j" when k is zero. As of
652 gmp-4.3.0, GMP always uses the 3 number format. */
653 #define GCC_GMP_STRINGIFY_VERSION3(X) #X
654 #define GCC_GMP_STRINGIFY_VERSION2(X) GCC_GMP_STRINGIFY_VERSION3 (X)
655 #define GCC_GMP_VERSION_NUM(X,Y,Z) (((X) << 16L) | ((Y) << 8) | (Z))
656 #define GCC_GMP_VERSION \
657 GCC_GMP_VERSION_NUM(__GNU_MP_VERSION, __GNU_MP_VERSION_MINOR, __GNU_MP_VERSION_PATCHLEVEL)
658 #if GCC_GMP_VERSION < GCC_GMP_VERSION_NUM(4,3,0) && __GNU_MP_VERSION_PATCHLEVEL == 0
659 #define GCC_GMP_STRINGIFY_VERSION \
660 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION) "." \
661 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_MINOR)
662 #else
663 #define GCC_GMP_STRINGIFY_VERSION \
664 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION) "." \
665 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_MINOR) "." \
666 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_PATCHLEVEL)
667 #endif
668 fprintf (file,
669 file == stderr ? _(fmt2) : fmt2,
670 GCC_GMP_STRINGIFY_VERSION, MPFR_VERSION_STRING, MPC_VERSION_STRING,
671 #ifndef HAVE_isl
672 "none"
673 #else
674 isl_version ()
675 #endif
677 if (strcmp (GCC_GMP_STRINGIFY_VERSION, gmp_version))
678 fprintf (file,
679 file == stderr ? _(fmt3) : fmt3,
680 indent, *indent != 0 ? " " : "",
681 "GMP", GCC_GMP_STRINGIFY_VERSION, gmp_version);
682 if (strcmp (MPFR_VERSION_STRING, mpfr_get_version ()))
683 fprintf (file,
684 file == stderr ? _(fmt3) : fmt3,
685 indent, *indent != 0 ? " " : "",
686 "MPFR", MPFR_VERSION_STRING, mpfr_get_version ());
687 if (strcmp (MPC_VERSION_STRING, mpc_get_version ()))
688 fprintf (file,
689 file == stderr ? _(fmt3) : fmt3,
690 indent, *indent != 0 ? " " : "",
691 "MPC", MPC_VERSION_STRING, mpc_get_version ());
693 if (show_global_state)
695 fprintf (file,
696 file == stderr ? _(fmt4) : fmt4,
697 indent, *indent != 0 ? " " : "",
698 PARAM_VALUE (GGC_MIN_EXPAND), PARAM_VALUE (GGC_MIN_HEAPSIZE));
700 print_plugins_versions (file, indent);
704 static int
705 print_to_asm_out_file (print_switch_type type, const char * text)
707 bool prepend_sep = true;
709 switch (type)
711 case SWITCH_TYPE_LINE_END:
712 putc ('\n', asm_out_file);
713 return 1;
715 case SWITCH_TYPE_LINE_START:
716 fputs (ASM_COMMENT_START, asm_out_file);
717 return strlen (ASM_COMMENT_START);
719 case SWITCH_TYPE_DESCRIPTIVE:
720 if (ASM_COMMENT_START[0] == 0)
721 prepend_sep = false;
722 /* FALLTHRU */
723 case SWITCH_TYPE_PASSED:
724 case SWITCH_TYPE_ENABLED:
725 if (prepend_sep)
726 fputc (' ', asm_out_file);
727 fputs (text, asm_out_file);
728 /* No need to return the length here as
729 print_single_switch has already done it. */
730 return 0;
732 default:
733 return -1;
737 static int
738 print_to_stderr (print_switch_type type, const char * text)
740 switch (type)
742 case SWITCH_TYPE_LINE_END:
743 putc ('\n', stderr);
744 return 1;
746 case SWITCH_TYPE_LINE_START:
747 return 0;
749 case SWITCH_TYPE_PASSED:
750 case SWITCH_TYPE_ENABLED:
751 fputc (' ', stderr);
752 /* FALLTHRU */
754 case SWITCH_TYPE_DESCRIPTIVE:
755 fputs (text, stderr);
756 /* No need to return the length here as
757 print_single_switch has already done it. */
758 return 0;
760 default:
761 return -1;
765 /* Print an option value and return the adjusted position in the line.
766 ??? print_fn doesn't handle errors, eg disk full; presumably other
767 code will catch a disk full though. */
769 static int
770 print_single_switch (print_switch_fn_type print_fn,
771 int pos,
772 print_switch_type type,
773 const char * text)
775 /* The ultrix fprintf returns 0 on success, so compute the result
776 we want here since we need it for the following test. The +1
777 is for the separator character that will probably be emitted. */
778 int len = strlen (text) + 1;
780 if (pos != 0
781 && pos + len > MAX_LINE)
783 print_fn (SWITCH_TYPE_LINE_END, NULL);
784 pos = 0;
787 if (pos == 0)
788 pos += print_fn (SWITCH_TYPE_LINE_START, NULL);
790 print_fn (type, text);
791 return pos + len;
794 /* Print active target switches using PRINT_FN.
795 POS is the current cursor position and MAX is the size of a "line".
796 Each line begins with INDENT and ends with TERM.
797 Each switch is separated from the next by SEP. */
799 static void
800 print_switch_values (print_switch_fn_type print_fn)
802 int pos = 0;
803 size_t j;
805 /* Print the options as passed. */
806 pos = print_single_switch (print_fn, pos,
807 SWITCH_TYPE_DESCRIPTIVE, _("options passed: "));
809 for (j = 1; j < save_decoded_options_count; j++)
811 switch (save_decoded_options[j].opt_index)
813 case OPT_o:
814 case OPT_d:
815 case OPT_dumpbase:
816 case OPT_dumpdir:
817 case OPT_auxbase:
818 case OPT_quiet:
819 case OPT_version:
820 /* Ignore these. */
821 continue;
824 pos = print_single_switch (print_fn, pos, SWITCH_TYPE_PASSED,
825 save_decoded_options[j].orig_option_with_args_text);
828 if (pos > 0)
829 print_fn (SWITCH_TYPE_LINE_END, NULL);
831 /* Print the -f and -m options that have been enabled.
832 We don't handle language specific options but printing argv
833 should suffice. */
834 pos = print_single_switch (print_fn, 0,
835 SWITCH_TYPE_DESCRIPTIVE, _("options enabled: "));
837 for (j = 0; j < cl_options_count; j++)
838 if (cl_options[j].cl_report
839 && option_enabled (j, &global_options) > 0)
840 pos = print_single_switch (print_fn, pos,
841 SWITCH_TYPE_ENABLED, cl_options[j].opt_text);
843 print_fn (SWITCH_TYPE_LINE_END, NULL);
846 /* Open assembly code output file. Do this even if -fsyntax-only is
847 on, because then the driver will have provided the name of a
848 temporary file or bit bucket for us. NAME is the file specified on
849 the command line, possibly NULL. */
850 static void
851 init_asm_output (const char *name)
853 if (name == NULL && asm_file_name == 0)
854 asm_out_file = stdout;
855 else
857 if (asm_file_name == 0)
859 int len = strlen (dump_base_name);
860 char *dumpname = XNEWVEC (char, len + 6);
862 memcpy (dumpname, dump_base_name, len + 1);
863 strip_off_ending (dumpname, len);
864 strcat (dumpname, ".s");
865 asm_file_name = dumpname;
867 if (!strcmp (asm_file_name, "-"))
868 asm_out_file = stdout;
869 else if (!canonical_filename_eq (asm_file_name, name)
870 || !strcmp (asm_file_name, HOST_BIT_BUCKET))
871 asm_out_file = fopen (asm_file_name, "w");
872 else
873 /* Use UNKOWN_LOCATION to prevent gcc from printing the first
874 line in the current file. */
875 fatal_error (UNKNOWN_LOCATION,
876 "input file %qs is the same as output file",
877 asm_file_name);
878 if (asm_out_file == 0)
879 fatal_error (UNKNOWN_LOCATION,
880 "can%'t open %qs for writing: %m", asm_file_name);
883 if (!flag_syntax_only)
885 targetm.asm_out.file_start ();
887 if (flag_record_gcc_switches)
889 if (targetm.asm_out.record_gcc_switches)
891 /* Let the target know that we are about to start recording. */
892 targetm.asm_out.record_gcc_switches (SWITCH_TYPE_DESCRIPTIVE,
893 NULL);
894 /* Now record the switches. */
895 print_switch_values (targetm.asm_out.record_gcc_switches);
896 /* Let the target know that the recording is over. */
897 targetm.asm_out.record_gcc_switches (SWITCH_TYPE_DESCRIPTIVE,
898 NULL);
900 else
901 inform (UNKNOWN_LOCATION,
902 "-frecord-gcc-switches is not supported by "
903 "the current target");
906 if (flag_verbose_asm)
908 /* Print the list of switches in effect
909 into the assembler file as comments. */
910 print_version (asm_out_file, ASM_COMMENT_START, true);
911 print_switch_values (print_to_asm_out_file);
912 putc ('\n', asm_out_file);
917 /* A helper function; used as the reallocator function for cpp's line
918 table. */
919 static void *
920 realloc_for_line_map (void *ptr, size_t len)
922 return ggc_realloc (ptr, len);
925 /* A helper function: used as the allocator function for
926 identifier_to_locale. */
927 static void *
928 alloc_for_identifier_to_locale (size_t len)
930 return ggc_alloc_atomic (len);
933 /* Output stack usage information. */
934 void
935 output_stack_usage (void)
937 static bool warning_issued = false;
938 enum stack_usage_kind_type { STATIC = 0, DYNAMIC, DYNAMIC_BOUNDED };
939 const char *stack_usage_kind_str[] = {
940 "static",
941 "dynamic",
942 "dynamic,bounded"
944 HOST_WIDE_INT stack_usage = current_function_static_stack_size;
945 enum stack_usage_kind_type stack_usage_kind;
947 if (stack_usage < 0)
949 if (!warning_issued)
951 warning (0, "stack usage computation not supported for this target");
952 warning_issued = true;
954 return;
957 stack_usage_kind = STATIC;
959 /* Add the maximum amount of space pushed onto the stack. */
960 if (current_function_pushed_stack_size > 0)
962 stack_usage += current_function_pushed_stack_size;
963 stack_usage_kind = DYNAMIC_BOUNDED;
966 /* Now on to the tricky part: dynamic stack allocation. */
967 if (current_function_allocates_dynamic_stack_space)
969 if (current_function_has_unbounded_dynamic_stack_size)
970 stack_usage_kind = DYNAMIC;
971 else
972 stack_usage_kind = DYNAMIC_BOUNDED;
974 /* Add the size even in the unbounded case, this can't hurt. */
975 stack_usage += current_function_dynamic_stack_size;
978 if (flag_stack_usage)
980 expanded_location loc
981 = expand_location (DECL_SOURCE_LOCATION (current_function_decl));
982 /* We don't want to print the full qualified name because it can be long,
983 so we strip the scope prefix, but we may need to deal with the suffix
984 created by the compiler. */
985 const char *suffix
986 = strchr (IDENTIFIER_POINTER (DECL_NAME (current_function_decl)), '.');
987 const char *name
988 = lang_hooks.decl_printable_name (current_function_decl, 2);
989 if (suffix)
991 const char *dot = strchr (name, '.');
992 while (dot && strcasecmp (dot, suffix) != 0)
994 name = dot + 1;
995 dot = strchr (name, '.');
998 else
1000 const char *dot = strrchr (name, '.');
1001 if (dot)
1002 name = dot + 1;
1005 fprintf (stack_usage_file,
1006 "%s:%d:%d:%s\t" HOST_WIDE_INT_PRINT_DEC"\t%s\n",
1007 lbasename (loc.file),
1008 loc.line,
1009 loc.column,
1010 name,
1011 stack_usage,
1012 stack_usage_kind_str[stack_usage_kind]);
1015 if (warn_stack_usage >= 0)
1017 const location_t loc = DECL_SOURCE_LOCATION (current_function_decl);
1019 if (stack_usage_kind == DYNAMIC)
1020 warning_at (loc, OPT_Wstack_usage_, "stack usage might be unbounded");
1021 else if (stack_usage > warn_stack_usage)
1023 if (stack_usage_kind == DYNAMIC_BOUNDED)
1024 warning_at (loc,
1025 OPT_Wstack_usage_, "stack usage might be %wd bytes",
1026 stack_usage);
1027 else
1028 warning_at (loc, OPT_Wstack_usage_, "stack usage is %wd bytes",
1029 stack_usage);
1034 /* Open an auxiliary output file. */
1035 static FILE *
1036 open_auxiliary_file (const char *ext)
1038 char *filename;
1039 FILE *file;
1041 filename = concat (aux_base_name, ".", ext, NULL);
1042 file = fopen (filename, "w");
1043 if (!file)
1044 fatal_error (input_location, "can%'t open %s for writing: %m", filename);
1045 free (filename);
1046 return file;
1049 /* Alternative diagnostics callback for reentered ICE reporting. */
1051 static void
1052 internal_error_reentered (diagnostic_context *, const char *, va_list *)
1054 /* Flush the dump file if emergency_dump_function itself caused an ICE. */
1055 if (dump_file)
1056 fflush (dump_file);
1059 /* Auxiliary callback for the diagnostics code. */
1061 static void
1062 internal_error_function (diagnostic_context *, const char *, va_list *)
1064 global_dc->internal_error = internal_error_reentered;
1065 warn_if_plugins ();
1066 emergency_dump_function ();
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 = 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. This creates the
1161 dump manager. */
1162 g = new gcc::context ();
1164 /* Allow languages and middle-end to register their dumps before the
1165 optimization passes. */
1166 g->get_dumps ()->register_dumps ();
1168 /* Create the passes. */
1169 g->set_passes (new gcc::pass_manager (g));
1171 symtab = new (ggc_cleared_alloc <symbol_table> ()) symbol_table ();
1173 statistics_early_init ();
1174 finish_params ();
1177 /* Return true if the current target supports -fsection-anchors. */
1179 static bool
1180 target_supports_section_anchors_p (void)
1182 if (targetm.min_anchor_offset == 0 && targetm.max_anchor_offset == 0)
1183 return false;
1185 if (targetm.asm_out.output_anchor == NULL)
1186 return false;
1188 return true;
1191 /* Default the align_* variables to 1 if they're still unset, and
1192 set up the align_*_log variables. */
1193 static void
1194 init_alignments (void)
1196 if (align_loops <= 0)
1197 align_loops = 1;
1198 if (align_loops_max_skip > align_loops)
1199 align_loops_max_skip = align_loops - 1;
1200 align_loops_log = floor_log2 (align_loops * 2 - 1);
1201 if (align_jumps <= 0)
1202 align_jumps = 1;
1203 if (align_jumps_max_skip > align_jumps)
1204 align_jumps_max_skip = align_jumps - 1;
1205 align_jumps_log = floor_log2 (align_jumps * 2 - 1);
1206 if (align_labels <= 0)
1207 align_labels = 1;
1208 align_labels_log = floor_log2 (align_labels * 2 - 1);
1209 if (align_labels_max_skip > align_labels)
1210 align_labels_max_skip = align_labels - 1;
1211 if (align_functions <= 0)
1212 align_functions = 1;
1213 align_functions_log = floor_log2 (align_functions * 2 - 1);
1216 /* Process the options that have been parsed. */
1217 static void
1218 process_options (void)
1220 /* Just in case lang_hooks.post_options ends up calling a debug_hook.
1221 This can happen with incorrect pre-processed input. */
1222 debug_hooks = &do_nothing_debug_hooks;
1224 maximum_field_alignment = initial_max_fld_align * BITS_PER_UNIT;
1226 /* Allow the front end to perform consistency checks and do further
1227 initialization based on the command line options. This hook also
1228 sets the original filename if appropriate (e.g. foo.i -> foo.c)
1229 so we can correctly initialize debug output. */
1230 no_backend = lang_hooks.post_options (&main_input_filename);
1232 /* Some machines may reject certain combinations of options. */
1233 location_t saved_location = input_location;
1234 input_location = UNKNOWN_LOCATION;
1235 targetm.target_option.override ();
1236 input_location = saved_location;
1238 if (flag_diagnostics_generate_patch)
1239 global_dc->edit_context_ptr = new edit_context ();
1241 /* Avoid any informative notes in the second run of -fcompare-debug. */
1242 if (flag_compare_debug)
1243 diagnostic_inhibit_notes (global_dc);
1245 if (flag_section_anchors && !target_supports_section_anchors_p ())
1247 warning_at (UNKNOWN_LOCATION, OPT_fsection_anchors,
1248 "this target does not support %qs",
1249 "-fsection-anchors");
1250 flag_section_anchors = 0;
1253 if (flag_short_enums == 2)
1254 flag_short_enums = targetm.default_short_enums ();
1256 /* Set aux_base_name if not already set. */
1257 if (aux_base_name)
1259 else if (main_input_filename)
1261 char *name = xstrdup (lbasename (main_input_filename));
1263 strip_off_ending (name, strlen (name));
1264 aux_base_name = name;
1266 else
1267 aux_base_name = "gccaux";
1269 #ifndef HAVE_isl
1270 if (flag_graphite
1271 || flag_loop_nest_optimize
1272 || flag_graphite_identity
1273 || flag_loop_parallelize_all)
1274 sorry ("Graphite loop optimizations cannot be used (isl is not available) "
1275 "(-fgraphite, -fgraphite-identity, -floop-nest-optimize, "
1276 "-floop-parallelize-all)");
1277 #endif
1279 if (flag_cf_protection != CF_NONE
1280 && !(flag_cf_protection & CF_SET))
1282 if (flag_cf_protection == CF_FULL)
1284 error_at (UNKNOWN_LOCATION,
1285 "%<-fcf-protection=full%> is not supported for this "
1286 "target");
1287 flag_cf_protection = CF_NONE;
1289 if (flag_cf_protection == CF_BRANCH)
1291 error_at (UNKNOWN_LOCATION,
1292 "%<-fcf-protection=branch%> is not supported for this "
1293 "target");
1294 flag_cf_protection = CF_NONE;
1296 if (flag_cf_protection == CF_RETURN)
1298 error_at (UNKNOWN_LOCATION,
1299 "%<-fcf-protection=return%> is not supported for this "
1300 "target");
1301 flag_cf_protection = CF_NONE;
1305 if (flag_check_pointer_bounds)
1307 if (targetm.chkp_bound_mode () == VOIDmode)
1309 error_at (UNKNOWN_LOCATION,
1310 "%<-fcheck-pointer-bounds%> is not supported for this "
1311 "target");
1312 flag_check_pointer_bounds = 0;
1315 if (flag_sanitize & SANITIZE_BOUNDS_STRICT)
1317 error_at (UNKNOWN_LOCATION,
1318 "%<-fcheck-pointer-bounds%> is not supported with "
1319 "%<-fsanitize=bounds-strict%>");
1320 flag_check_pointer_bounds = 0;
1322 else if (flag_sanitize & SANITIZE_BOUNDS)
1324 error_at (UNKNOWN_LOCATION,
1325 "%<-fcheck-pointer-bounds%> is not supported with "
1326 "%<-fsanitize=bounds%>");
1327 flag_check_pointer_bounds = 0;
1330 if (flag_sanitize & SANITIZE_ADDRESS)
1332 error_at (UNKNOWN_LOCATION,
1333 "%<-fcheck-pointer-bounds%> is not supported with "
1334 "Address Sanitizer");
1335 flag_check_pointer_bounds = 0;
1338 if (flag_sanitize & SANITIZE_THREAD)
1340 error_at (UNKNOWN_LOCATION,
1341 "%<-fcheck-pointer-bounds%> is not supported with "
1342 "Thread Sanitizer");
1344 flag_check_pointer_bounds = 0;
1348 /* One region RA really helps to decrease the code size. */
1349 if (flag_ira_region == IRA_REGION_AUTODETECT)
1350 flag_ira_region
1351 = optimize_size || !optimize ? IRA_REGION_ONE : IRA_REGION_MIXED;
1353 if (!abi_version_at_least (2))
1355 /* -fabi-version=1 support was removed after GCC 4.9. */
1356 error_at (UNKNOWN_LOCATION,
1357 "%<-fabi-version=1%> is no longer supported");
1358 flag_abi_version = 2;
1361 /* Unrolling all loops implies that standard loop unrolling must also
1362 be done. */
1363 if (flag_unroll_all_loops)
1364 flag_unroll_loops = 1;
1366 /* web and rename-registers help when run after loop unrolling. */
1367 if (flag_web == AUTODETECT_VALUE)
1368 flag_web = flag_unroll_loops;
1370 if (flag_rename_registers == AUTODETECT_VALUE)
1371 flag_rename_registers = flag_unroll_loops;
1373 if (flag_non_call_exceptions)
1374 flag_asynchronous_unwind_tables = 1;
1375 if (flag_asynchronous_unwind_tables)
1376 flag_unwind_tables = 1;
1378 if (flag_value_profile_transformations)
1379 flag_profile_values = 1;
1381 /* Warn about options that are not supported on this machine. */
1382 #ifndef INSN_SCHEDULING
1383 if (flag_schedule_insns || flag_schedule_insns_after_reload)
1384 warning_at (UNKNOWN_LOCATION, 0,
1385 "instruction scheduling not supported on this target machine");
1386 #endif
1387 if (!DELAY_SLOTS && flag_delayed_branch)
1388 warning_at (UNKNOWN_LOCATION, 0,
1389 "this target machine does not have delayed branches");
1391 user_label_prefix = USER_LABEL_PREFIX;
1392 if (flag_leading_underscore != -1)
1394 /* If the default prefix is more complicated than "" or "_",
1395 issue a warning and ignore this option. */
1396 if (user_label_prefix[0] == 0 ||
1397 (user_label_prefix[0] == '_' && user_label_prefix[1] == 0))
1399 user_label_prefix = flag_leading_underscore ? "_" : "";
1401 else
1402 warning_at (UNKNOWN_LOCATION, 0,
1403 "-f%sleading-underscore not supported on this "
1404 "target machine", flag_leading_underscore ? "" : "no-");
1407 /* If we are in verbose mode, write out the version and maybe all the
1408 option flags in use. */
1409 if (version_flag)
1411 print_version (stderr, "", true);
1412 if (! quiet_flag)
1413 print_switch_values (print_to_stderr);
1416 if (flag_syntax_only)
1418 write_symbols = NO_DEBUG;
1419 profile_flag = 0;
1422 if (flag_gtoggle)
1424 if (debug_info_level == DINFO_LEVEL_NONE)
1426 debug_info_level = DINFO_LEVEL_NORMAL;
1428 if (write_symbols == NO_DEBUG)
1429 write_symbols = PREFERRED_DEBUGGING_TYPE;
1431 else
1432 debug_info_level = DINFO_LEVEL_NONE;
1435 if (flag_dump_final_insns && !flag_syntax_only && !no_backend)
1437 FILE *final_output = fopen (flag_dump_final_insns, "w");
1438 if (!final_output)
1440 error_at (UNKNOWN_LOCATION,
1441 "could not open final insn dump file %qs: %m",
1442 flag_dump_final_insns);
1443 flag_dump_final_insns = NULL;
1445 else if (fclose (final_output))
1447 error_at (UNKNOWN_LOCATION,
1448 "could not close zeroed insn dump file %qs: %m",
1449 flag_dump_final_insns);
1450 flag_dump_final_insns = NULL;
1454 /* A lot of code assumes write_symbols == NO_DEBUG if the debugging
1455 level is 0. */
1456 if (debug_info_level == DINFO_LEVEL_NONE)
1457 write_symbols = NO_DEBUG;
1459 if (write_symbols == NO_DEBUG)
1461 #if defined(DBX_DEBUGGING_INFO)
1462 else if (write_symbols == DBX_DEBUG)
1463 debug_hooks = &dbx_debug_hooks;
1464 #endif
1465 #if defined(XCOFF_DEBUGGING_INFO)
1466 else if (write_symbols == XCOFF_DEBUG)
1467 debug_hooks = &xcoff_debug_hooks;
1468 #endif
1469 #ifdef DWARF2_DEBUGGING_INFO
1470 else if (write_symbols == DWARF2_DEBUG)
1471 debug_hooks = &dwarf2_debug_hooks;
1472 #endif
1473 #ifdef VMS_DEBUGGING_INFO
1474 else if (write_symbols == VMS_DEBUG || write_symbols == VMS_AND_DWARF2_DEBUG)
1475 debug_hooks = &vmsdbg_debug_hooks;
1476 #endif
1477 #ifdef DWARF2_LINENO_DEBUGGING_INFO
1478 else if (write_symbols == DWARF2_DEBUG)
1479 debug_hooks = &dwarf2_lineno_debug_hooks;
1480 #endif
1481 else
1482 error_at (UNKNOWN_LOCATION,
1483 "target system does not support the %qs debug format",
1484 debug_type_names[write_symbols]);
1486 /* We know which debug output will be used so we can set flag_var_tracking
1487 and flag_var_tracking_uninit if the user has not specified them. */
1488 if (debug_info_level < DINFO_LEVEL_NORMAL
1489 || debug_hooks->var_location == do_nothing_debug_hooks.var_location)
1491 if (flag_var_tracking == 1
1492 || flag_var_tracking_uninit == 1)
1494 if (debug_info_level < DINFO_LEVEL_NORMAL)
1495 warning_at (UNKNOWN_LOCATION, 0,
1496 "variable tracking requested, but useless unless "
1497 "producing debug info");
1498 else
1499 warning_at (UNKNOWN_LOCATION, 0,
1500 "variable tracking requested, but not supported "
1501 "by this debug format");
1503 flag_var_tracking = 0;
1504 flag_var_tracking_uninit = 0;
1507 /* The debug hooks are used to implement -fdump-go-spec because it
1508 gives a simple and stable API for all the information we need to
1509 dump. */
1510 if (flag_dump_go_spec != NULL)
1511 debug_hooks = dump_go_spec_init (flag_dump_go_spec, debug_hooks);
1513 /* If the user specifically requested variable tracking with tagging
1514 uninitialized variables, we need to turn on variable tracking.
1515 (We already determined above that variable tracking is feasible.) */
1516 if (flag_var_tracking_uninit == 1)
1517 flag_var_tracking = 1;
1519 if (flag_var_tracking == AUTODETECT_VALUE)
1520 flag_var_tracking = optimize >= 1;
1522 if (flag_var_tracking_uninit == AUTODETECT_VALUE)
1523 flag_var_tracking_uninit = flag_var_tracking;
1525 if (flag_var_tracking_assignments == AUTODETECT_VALUE)
1526 flag_var_tracking_assignments = flag_var_tracking
1527 && !(flag_selective_scheduling || flag_selective_scheduling2);
1529 if (flag_var_tracking_assignments_toggle)
1530 flag_var_tracking_assignments = !flag_var_tracking_assignments;
1532 if (flag_var_tracking_assignments && !flag_var_tracking)
1533 flag_var_tracking = flag_var_tracking_assignments = -1;
1535 if (flag_var_tracking_assignments
1536 && (flag_selective_scheduling || flag_selective_scheduling2))
1537 warning_at (UNKNOWN_LOCATION, 0,
1538 "var-tracking-assignments changes selective scheduling");
1540 if (flag_tree_cselim == AUTODETECT_VALUE)
1542 if (HAVE_conditional_move)
1543 flag_tree_cselim = 1;
1544 else
1545 flag_tree_cselim = 0;
1548 /* If auxiliary info generation is desired, open the output file.
1549 This goes in the same directory as the source file--unlike
1550 all the other output files. */
1551 if (flag_gen_aux_info)
1553 aux_info_file = fopen (aux_info_file_name, "w");
1554 if (aux_info_file == 0)
1555 fatal_error (UNKNOWN_LOCATION,
1556 "can%'t open %s: %m", aux_info_file_name);
1559 if (!targetm_common.have_named_sections)
1561 if (flag_function_sections)
1563 warning_at (UNKNOWN_LOCATION, 0,
1564 "-ffunction-sections not supported for this target");
1565 flag_function_sections = 0;
1567 if (flag_data_sections)
1569 warning_at (UNKNOWN_LOCATION, 0,
1570 "-fdata-sections not supported for this target");
1571 flag_data_sections = 0;
1575 if (flag_prefetch_loop_arrays > 0 && !targetm.code_for_prefetch)
1577 warning_at (UNKNOWN_LOCATION, 0,
1578 "-fprefetch-loop-arrays not supported for this target");
1579 flag_prefetch_loop_arrays = 0;
1581 else if (flag_prefetch_loop_arrays > 0 && !targetm.have_prefetch ())
1583 warning_at (UNKNOWN_LOCATION, 0,
1584 "-fprefetch-loop-arrays not supported for this target "
1585 "(try -march switches)");
1586 flag_prefetch_loop_arrays = 0;
1589 /* This combination of options isn't handled for i386 targets and doesn't
1590 make much sense anyway, so don't allow it. */
1591 if (flag_prefetch_loop_arrays > 0 && optimize_size)
1593 warning_at (UNKNOWN_LOCATION, 0,
1594 "-fprefetch-loop-arrays is not supported with -Os");
1595 flag_prefetch_loop_arrays = 0;
1598 /* The presence of IEEE signaling NaNs, implies all math can trap. */
1599 if (flag_signaling_nans)
1600 flag_trapping_math = 1;
1602 /* We cannot reassociate if we want traps or signed zeros. */
1603 if (flag_associative_math && (flag_trapping_math || flag_signed_zeros))
1605 warning_at (UNKNOWN_LOCATION, 0,
1606 "-fassociative-math disabled; other options take "
1607 "precedence");
1608 flag_associative_math = 0;
1611 /* -fstack-clash-protection is not currently supported on targets
1612 where the stack grows up. */
1613 if (flag_stack_clash_protection && !STACK_GROWS_DOWNWARD)
1615 warning_at (UNKNOWN_LOCATION, 0,
1616 "%<-fstack-clash-protection%> is not supported on targets "
1617 "where the stack grows from lower to higher addresses");
1618 flag_stack_clash_protection = 0;
1621 /* We can not support -fstack-check= and -fstack-clash-protection at
1622 the same time. */
1623 if (flag_stack_check != NO_STACK_CHECK && flag_stack_clash_protection)
1625 warning_at (UNKNOWN_LOCATION, 0,
1626 "%<-fstack-check=%> and %<-fstack-clash_protection%> are "
1627 "mutually exclusive. Disabling %<-fstack-check=%>");
1628 flag_stack_check = NO_STACK_CHECK;
1631 /* With -fcx-limited-range, we do cheap and quick complex arithmetic. */
1632 if (flag_cx_limited_range)
1633 flag_complex_method = 0;
1635 /* With -fcx-fortran-rules, we do something in-between cheap and C99. */
1636 if (flag_cx_fortran_rules)
1637 flag_complex_method = 1;
1639 /* Targets must be able to place spill slots at lower addresses. If the
1640 target already uses a soft frame pointer, the transition is trivial. */
1641 if (!FRAME_GROWS_DOWNWARD && flag_stack_protect)
1643 warning_at (UNKNOWN_LOCATION, 0,
1644 "-fstack-protector not supported for this target");
1645 flag_stack_protect = 0;
1647 if (!flag_stack_protect)
1648 warn_stack_protect = 0;
1650 /* Address Sanitizer needs porting to each target architecture. */
1652 if ((flag_sanitize & SANITIZE_ADDRESS)
1653 && !FRAME_GROWS_DOWNWARD)
1655 warning_at (UNKNOWN_LOCATION, 0,
1656 "-fsanitize=address and -fsanitize=kernel-address "
1657 "are not supported for this target");
1658 flag_sanitize &= ~SANITIZE_ADDRESS;
1661 if ((flag_sanitize & SANITIZE_USER_ADDRESS)
1662 && targetm.asan_shadow_offset == NULL)
1664 warning_at (UNKNOWN_LOCATION, 0,
1665 "-fsanitize=address not supported for this target");
1666 flag_sanitize &= ~SANITIZE_ADDRESS;
1669 /* Do not use IPA optimizations for register allocation if profiler is active
1670 or patchable function entries are inserted for run-time instrumentation
1671 or port does not emit prologue and epilogue as RTL. */
1672 if (profile_flag || function_entry_patch_area_size
1673 || !targetm.have_prologue () || !targetm.have_epilogue ())
1674 flag_ipa_ra = 0;
1676 /* Enable -Werror=coverage-mismatch when -Werror and -Wno-error
1677 have not been set. */
1678 if (!global_options_set.x_warnings_are_errors
1679 && warn_coverage_mismatch
1680 && (global_dc->classify_diagnostic[OPT_Wcoverage_mismatch] ==
1681 DK_UNSPECIFIED))
1682 diagnostic_classify_diagnostic (global_dc, OPT_Wcoverage_mismatch,
1683 DK_ERROR, UNKNOWN_LOCATION);
1685 /* Save the current optimization options. */
1686 optimization_default_node = build_optimization_node (&global_options);
1687 optimization_current_node = optimization_default_node;
1689 /* Please don't change global_options after this point, those changes won't
1690 be reflected in optimization_{default,current}_node. */
1693 /* This function can be called multiple times to reinitialize the compiler
1694 back end when register classes or instruction sets have changed,
1695 before each function. */
1696 static void
1697 backend_init_target (void)
1699 /* Initialize alignment variables. */
1700 init_alignments ();
1702 /* This depends on stack_pointer_rtx. */
1703 init_fake_stack_mems ();
1705 /* Sets static_base_value[HARD_FRAME_POINTER_REGNUM], which is
1706 mode-dependent. */
1707 init_alias_target ();
1709 /* Depends on HARD_FRAME_POINTER_REGNUM. */
1710 if (!ira_use_lra_p)
1711 init_reload ();
1713 /* Depends on the enabled attribute. */
1714 recog_init ();
1716 /* The following initialization functions need to generate rtl, so
1717 provide a dummy function context for them. */
1718 init_dummy_function_start ();
1720 /* rtx_cost is mode-dependent, so cached values need to be recomputed
1721 on a mode change. */
1722 init_expmed ();
1723 init_lower_subreg ();
1724 init_set_costs ();
1726 init_expr_target ();
1727 ira_init ();
1729 /* We may need to recompute regno_save_code[] and regno_restore_code[]
1730 after a mode change as well. */
1731 caller_save_initialized_p = false;
1733 expand_dummy_function_end ();
1736 /* Initialize the compiler back end. This function is called only once,
1737 when starting the compiler. */
1738 static void
1739 backend_init (void)
1741 init_emit_once ();
1743 init_rtlanal ();
1744 init_inline_once ();
1745 init_varasm_once ();
1746 save_register_info ();
1748 /* Middle end needs this initialization for default mem attributes
1749 used by early calls to make_decl_rtl. */
1750 init_emit_regs ();
1752 /* Middle end needs this initialization for mode tables used to assign
1753 modes to vector variables. */
1754 init_regs ();
1757 /* Initialize excess precision settings.
1759 We have no need to modify anything here, just keep track of what the
1760 user requested. We'll figure out any appropriate relaxations
1761 later. */
1763 static void
1764 init_excess_precision (void)
1766 gcc_assert (flag_excess_precision_cmdline != EXCESS_PRECISION_DEFAULT);
1767 flag_excess_precision = flag_excess_precision_cmdline;
1770 /* Initialize things that are both lang-dependent and target-dependent.
1771 This function can be called more than once if target parameters change. */
1772 static void
1773 lang_dependent_init_target (void)
1775 /* This determines excess precision settings. */
1776 init_excess_precision ();
1778 /* This creates various _DECL nodes, so needs to be called after the
1779 front end is initialized. It also depends on the HAVE_xxx macros
1780 generated from the target machine description. */
1781 init_optabs ();
1783 gcc_assert (!this_target_rtl->target_specific_initialized);
1786 /* Perform initializations that are lang-dependent or target-dependent.
1787 but matters only for late optimizations and RTL generation. */
1789 static int rtl_initialized;
1791 void
1792 initialize_rtl (void)
1794 auto_timevar tv (g_timer, TV_INITIALIZE_RTL);
1796 /* Initialization done just once per compilation, but delayed
1797 till code generation. */
1798 if (!rtl_initialized)
1799 ira_init_once ();
1800 rtl_initialized = true;
1802 /* Target specific RTL backend initialization. */
1803 if (!this_target_rtl->target_specific_initialized)
1805 backend_init_target ();
1806 this_target_rtl->target_specific_initialized = true;
1810 /* Language-dependent initialization. Returns nonzero on success. */
1811 static int
1812 lang_dependent_init (const char *name)
1814 location_t save_loc = input_location;
1815 if (dump_base_name == 0)
1816 dump_base_name = name && name[0] ? name : "gccdump";
1818 /* Other front-end initialization. */
1819 input_location = BUILTINS_LOCATION;
1820 if (lang_hooks.init () == 0)
1821 return 0;
1822 input_location = save_loc;
1824 if (!flag_wpa)
1826 init_asm_output (name);
1828 /* If stack usage information is desired, open the output file. */
1829 if (flag_stack_usage)
1830 stack_usage_file = open_auxiliary_file ("su");
1833 /* This creates various _DECL nodes, so needs to be called after the
1834 front end is initialized. */
1835 init_eh ();
1837 /* Do the target-specific parts of the initialization. */
1838 lang_dependent_init_target ();
1840 if (!flag_wpa)
1842 /* If dbx symbol table desired, initialize writing it and output the
1843 predefined types. */
1844 timevar_push (TV_SYMOUT);
1846 /* Now we have the correct original filename, we can initialize
1847 debug output. */
1848 (*debug_hooks->init) (name);
1850 timevar_pop (TV_SYMOUT);
1853 return 1;
1857 /* Reinitialize everything when target parameters, such as register usage,
1858 have changed. */
1859 void
1860 target_reinit (void)
1862 struct rtl_data saved_x_rtl;
1863 rtx *saved_regno_reg_rtx;
1864 tree saved_optimization_current_node;
1865 struct target_optabs *saved_this_fn_optabs;
1867 /* Temporarily switch to the default optimization node, so that
1868 *this_target_optabs is set to the default, not reflecting
1869 whatever a previous function used for the optimize
1870 attribute. */
1871 saved_optimization_current_node = optimization_current_node;
1872 saved_this_fn_optabs = this_fn_optabs;
1873 if (saved_optimization_current_node != optimization_default_node)
1875 optimization_current_node = optimization_default_node;
1876 cl_optimization_restore
1877 (&global_options,
1878 TREE_OPTIMIZATION (optimization_default_node));
1880 this_fn_optabs = this_target_optabs;
1882 /* Save *crtl and regno_reg_rtx around the reinitialization
1883 to allow target_reinit being called even after prepare_function_start. */
1884 saved_regno_reg_rtx = regno_reg_rtx;
1885 if (saved_regno_reg_rtx)
1887 saved_x_rtl = *crtl;
1888 memset (crtl, '\0', sizeof (*crtl));
1889 regno_reg_rtx = NULL;
1892 this_target_rtl->target_specific_initialized = false;
1894 /* This initializes hard_frame_pointer, and calls init_reg_modes_target()
1895 to initialize reg_raw_mode[]. */
1896 init_emit_regs ();
1898 /* This invokes target hooks to set fixed_reg[] etc, which is
1899 mode-dependent. */
1900 init_regs ();
1902 /* Reinitialize lang-dependent parts. */
1903 lang_dependent_init_target ();
1905 /* Restore the original optimization node. */
1906 if (saved_optimization_current_node != optimization_default_node)
1908 optimization_current_node = saved_optimization_current_node;
1909 cl_optimization_restore (&global_options,
1910 TREE_OPTIMIZATION (optimization_current_node));
1912 this_fn_optabs = saved_this_fn_optabs;
1914 /* Restore regno_reg_rtx at the end, as free_after_compilation from
1915 expand_dummy_function_end clears it. */
1916 if (saved_regno_reg_rtx)
1918 *crtl = saved_x_rtl;
1919 regno_reg_rtx = saved_regno_reg_rtx;
1920 saved_regno_reg_rtx = NULL;
1924 void
1925 dump_memory_report (bool final)
1927 dump_line_table_statistics ();
1928 ggc_print_statistics ();
1929 stringpool_statistics ();
1930 dump_tree_statistics ();
1931 dump_gimple_statistics ();
1932 dump_rtx_statistics ();
1933 dump_alloc_pool_statistics ();
1934 dump_bitmap_statistics ();
1935 dump_hash_table_loc_statistics ();
1936 dump_vec_loc_statistics ();
1937 dump_ggc_loc_statistics (final);
1938 dump_alias_stats (stderr);
1939 dump_pta_stats (stderr);
1942 /* Clean up: close opened files, etc. */
1944 static void
1945 finalize (bool no_backend)
1947 /* Close the dump files. */
1948 if (flag_gen_aux_info)
1950 fclose (aux_info_file);
1951 aux_info_file = NULL;
1952 if (seen_error ())
1953 unlink (aux_info_file_name);
1956 /* Close non-debugging input and output files. Take special care to note
1957 whether fclose returns an error, since the pages might still be on the
1958 buffer chain while the file is open. */
1960 if (asm_out_file)
1962 if (ferror (asm_out_file) != 0)
1963 fatal_error (input_location, "error writing to %s: %m", asm_file_name);
1964 if (fclose (asm_out_file) != 0)
1965 fatal_error (input_location, "error closing %s: %m", asm_file_name);
1966 asm_out_file = NULL;
1969 if (stack_usage_file)
1971 fclose (stack_usage_file);
1972 stack_usage_file = NULL;
1975 if (seen_error ())
1976 coverage_remove_note_file ();
1978 if (!no_backend)
1980 statistics_fini ();
1982 g->get_passes ()->finish_optimization_passes ();
1984 lra_finish_once ();
1987 if (mem_report)
1988 dump_memory_report (true);
1990 if (profile_report)
1991 dump_profile_report ();
1993 /* Language-specific end of compilation actions. */
1994 lang_hooks.finish ();
1997 static bool
1998 standard_type_bitsize (int bitsize)
2000 /* As a special exception, we always want __int128 enabled if possible. */
2001 if (bitsize == 128)
2002 return false;
2003 if (bitsize == CHAR_TYPE_SIZE
2004 || bitsize == SHORT_TYPE_SIZE
2005 || bitsize == INT_TYPE_SIZE
2006 || bitsize == LONG_TYPE_SIZE
2007 || bitsize == LONG_LONG_TYPE_SIZE)
2008 return true;
2009 return false;
2012 /* Initialize the compiler, and compile the input file. */
2013 static void
2014 do_compile ()
2016 process_options ();
2018 /* Don't do any more if an error has already occurred. */
2019 if (!seen_error ())
2021 int i;
2023 timevar_start (TV_PHASE_SETUP);
2025 /* This must be run always, because it is needed to compute the FP
2026 predefined macros, such as __LDBL_MAX__, for targets using non
2027 default FP formats. */
2028 init_adjust_machine_modes ();
2029 init_derived_machine_modes ();
2031 /* This must happen after the backend has a chance to process
2032 command line options, but before the parsers are
2033 initialized. */
2034 for (i = 0; i < NUM_INT_N_ENTS; i ++)
2035 if (targetm.scalar_mode_supported_p (int_n_data[i].m)
2036 && ! standard_type_bitsize (int_n_data[i].bitsize))
2037 int_n_enabled_p[i] = true;
2038 else
2039 int_n_enabled_p[i] = false;
2041 /* Set up the back-end if requested. */
2042 if (!no_backend)
2043 backend_init ();
2045 /* Language-dependent initialization. Returns true on success. */
2046 if (lang_dependent_init (main_input_filename))
2048 /* Initialize yet another pass. */
2050 ggc_protect_identifiers = true;
2052 symtab->initialize ();
2053 init_final (main_input_filename);
2054 coverage_init (aux_base_name);
2055 statistics_init ();
2056 invoke_plugin_callbacks (PLUGIN_START_UNIT, NULL);
2058 timevar_stop (TV_PHASE_SETUP);
2060 compile_file ();
2062 else
2064 timevar_stop (TV_PHASE_SETUP);
2067 timevar_start (TV_PHASE_FINALIZE);
2069 finalize (no_backend);
2071 timevar_stop (TV_PHASE_FINALIZE);
2075 toplev::toplev (timer *external_timer,
2076 bool init_signals)
2077 : m_use_TV_TOTAL (external_timer == NULL),
2078 m_init_signals (init_signals)
2080 if (external_timer)
2081 g_timer = external_timer;
2084 toplev::~toplev ()
2086 if (g_timer && m_use_TV_TOTAL)
2088 g_timer->stop (TV_TOTAL);
2089 g_timer->print (stderr);
2090 delete g_timer;
2091 g_timer = NULL;
2095 /* Potentially call timevar_init (which will create g_timevars if it
2096 doesn't already exist). */
2098 void
2099 toplev::start_timevars ()
2101 if (time_report || !quiet_flag || flag_detailed_statistics)
2102 timevar_init ();
2104 timevar_start (TV_TOTAL);
2107 /* Handle -fself-test. */
2109 void
2110 toplev::run_self_tests ()
2112 if (no_backend)
2114 error_at (UNKNOWN_LOCATION, "self-tests incompatible with -E");
2115 return;
2117 #if CHECKING_P
2118 /* Reset some state. */
2119 input_location = UNKNOWN_LOCATION;
2120 bitmap_obstack_initialize (NULL);
2122 /* Run the tests; any failures will lead to an abort of the process.
2123 Use "make selftests-gdb" to run under the debugger. */
2124 ::selftest::run_tests ();
2126 /* Cleanup. */
2127 bitmap_obstack_release (NULL);
2128 #else
2129 inform (UNKNOWN_LOCATION, "self-tests are not enabled in this build");
2130 #endif /* #if CHECKING_P */
2133 /* Entry point of cc1, cc1plus, jc1, f771, etc.
2134 Exit code is FATAL_EXIT_CODE if can't open files or if there were
2135 any errors, or SUCCESS_EXIT_CODE if compilation succeeded.
2137 It is not safe to call this function more than once. */
2140 toplev::main (int argc, char **argv)
2142 /* Parsing and gimplification sometimes need quite large stack.
2143 Increase stack size limits if possible. */
2144 stack_limit_increase (64 * 1024 * 1024);
2146 expandargv (&argc, &argv);
2148 /* Initialization of GCC's environment, and diagnostics. */
2149 general_init (argv[0], m_init_signals);
2151 /* One-off initialization of options that does not need to be
2152 repeated when options are added for particular functions. */
2153 init_options_once ();
2154 init_opts_obstack ();
2156 /* Initialize global options structures; this must be repeated for
2157 each structure used for parsing options. */
2158 init_options_struct (&global_options, &global_options_set);
2159 lang_hooks.init_options_struct (&global_options);
2161 /* Convert the options to an array. */
2162 decode_cmdline_options_to_array_default_mask (argc,
2163 CONST_CAST2 (const char **,
2164 char **, argv),
2165 &save_decoded_options,
2166 &save_decoded_options_count);
2168 /* Perform language-specific options initialization. */
2169 lang_hooks.init_options (save_decoded_options_count, save_decoded_options);
2171 /* Parse the options and do minimal processing; basically just
2172 enough to default flags appropriately. */
2173 decode_options (&global_options, &global_options_set,
2174 save_decoded_options, save_decoded_options_count,
2175 UNKNOWN_LOCATION, global_dc,
2176 targetm.target_option.override);
2178 handle_common_deferred_options ();
2180 init_local_tick ();
2182 initialize_plugins ();
2184 if (version_flag)
2185 print_version (stderr, "", true);
2187 if (help_flag)
2188 print_plugins_help (stderr, "");
2190 /* Exit early if we can (e.g. -help). */
2191 if (!exit_after_options)
2193 if (m_use_TV_TOTAL)
2194 start_timevars ();
2195 do_compile ();
2198 if (warningcount || errorcount || werrorcount)
2199 print_ignored_options ();
2201 if (flag_self_test)
2202 run_self_tests ();
2204 /* Invoke registered plugin callbacks if any. Some plugins could
2205 emit some diagnostics here. */
2206 invoke_plugin_callbacks (PLUGIN_FINISH, NULL);
2208 if (flag_diagnostics_generate_patch)
2210 gcc_assert (global_dc->edit_context_ptr);
2212 pretty_printer pp;
2213 pp_show_color (&pp) = pp_show_color (global_dc->printer);
2214 global_dc->edit_context_ptr->print_diff (&pp, true);
2215 pp_flush (&pp);
2218 diagnostic_finish (global_dc);
2220 finalize_plugins ();
2222 after_memory_report = true;
2224 if (seen_error () || werrorcount)
2225 return (FATAL_EXIT_CODE);
2227 return (SUCCESS_EXIT_CODE);
2230 /* For those that want to, this function aims to clean up enough state that
2231 you can call toplev::main again. */
2232 void
2233 toplev::finalize (void)
2235 rtl_initialized = false;
2236 this_target_rtl->target_specific_initialized = false;
2238 /* Needs to be called before cgraph_c_finalize since it uses symtab. */
2239 ipa_reference_c_finalize ();
2240 ipa_fnsummary_c_finalize ();
2242 cgraph_c_finalize ();
2243 cgraphunit_c_finalize ();
2244 dwarf2out_c_finalize ();
2245 gcse_c_finalize ();
2246 ipa_cp_c_finalize ();
2247 ira_costs_c_finalize ();
2248 params_c_finalize ();
2250 finalize_options_struct (&global_options);
2251 finalize_options_struct (&global_options_set);
2253 /* save_decoded_options uses opts_obstack, so these must
2254 be cleaned up together. */
2255 obstack_free (&opts_obstack, NULL);
2256 XDELETEVEC (save_decoded_options);
2257 save_decoded_options = NULL;
2258 save_decoded_options_count = 0;
2260 /* Clean up the context (and pass_manager etc). */
2261 delete g;
2262 g = NULL;