1 /* Top level of GCC compilers (cc1, cc1plus, etc.)
2 Copyright (C) 1987-2019 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
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
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. */
27 #include "coretypes.h"
33 #include "alloc-pool.h"
37 #include "optabs-libfuncs.h"
38 #include "insn-config.h"
43 #include "diagnostic.h"
45 #include "tree-inline.h"
46 #include "realmpfr.h" /* For GMP/MPFR/MPC versions, in print_version. */
49 #include "insn-attr.h"
54 #include "tree-diagnostic.h"
58 #include "dwarf2asm.h"
60 #include "common/common-target.h"
61 #include "langhooks.h"
62 #include "cfgloop.h" /* for init_set_costs */
63 #include "hosthooks.h"
65 #include "opts-diagnostic.h"
66 #include "stringpool.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"
80 #include "omp-offload.h"
81 #include "hsa-common.h"
82 #include "edit-context.h"
83 #include "tree-pass.h"
85 #include "ipa-fnsummary.h"
86 #include "dump-context.h"
87 #include "optinfo-emit-json.h"
89 #if defined(DBX_DEBUGGING_INFO) || defined(XCOFF_DEBUGGING_INFO)
93 #ifdef XCOFF_DEBUGGING_INFO
94 #include "xcoffout.h" /* Needed for external data declarations. */
100 #include <isl/version.h>
103 static void general_init (const char *, bool);
104 static void do_compile ();
105 static void process_options (void);
106 static void backend_init (void);
107 static int lang_dependent_init (const char *);
108 static void init_asm_output (const char *);
109 static void finalize (bool);
111 static void crash_signal (int) ATTRIBUTE_NORETURN
;
112 static void compile_file (void);
114 /* True if we don't need a backend (e.g. preprocessing only). */
115 static bool no_backend
;
117 /* Length of line when printing switch values. */
120 /* Decoded options, and number of such options. */
121 struct cl_decoded_option
*save_decoded_options
;
122 unsigned int save_decoded_options_count
;
124 /* Used to enable -fvar-tracking, -fweb and -frename-registers according
125 to optimize in process_options (). */
126 #define AUTODETECT_VALUE 2
128 /* Debug hooks - dependent upon command line options. */
130 const struct gcc_debug_hooks
*debug_hooks
;
132 /* The FUNCTION_DECL for the function currently being compiled,
133 or 0 if between functions. */
134 tree current_function_decl
;
136 /* Set to the FUNC_BEGIN label of the current function, or NULL
138 const char * current_function_func_begin_label
;
140 /* A random sequence of characters, unless overridden by user. */
141 static const char *flag_random_seed
;
143 /* A local time stamp derived from the time of compilation. It will be
144 zero if the system cannot provide a time. It will be -1u, if the
145 user has specified a particular random seed. */
148 /* Random number for this compilation */
149 HOST_WIDE_INT random_seed
;
153 /* When non-NULL, indicates that whenever space is allocated on the
154 stack, the resulting stack pointer must not pass this
155 address---that is, for stacks that grow downward, the stack pointer
156 must always be greater than or equal to this address; for stacks
157 that grow upward, the stack pointer must be less than this address.
158 At present, the rtx may be either a REG or a SYMBOL_REF, although
159 the support provided depends on the backend. */
162 class target_flag_state default_target_flag_state
;
163 #if SWITCHABLE_TARGET
164 class target_flag_state
*this_target_flag_state
= &default_target_flag_state
;
166 #define this_target_flag_state (&default_target_flag_state)
169 /* The user symbol prefix after having resolved same. */
170 const char *user_label_prefix
;
172 /* Output files for assembler code (real compiler output)
173 and debugging dumps. */
177 FILE *stack_usage_file
= NULL
;
179 /* The current working directory of a translation. It's generally the
180 directory from which compilation was initiated, but a preprocessed
181 file may specify the original directory in which it was
184 static const char *src_pwd
;
186 /* Initialize src_pwd with the given string, and return true. If it
187 was already initialized, return false. As a special case, it may
188 be called with a NULL argument to test whether src_pwd has NOT been
192 set_src_pwd (const char *pwd
)
196 if (strcmp (src_pwd
, pwd
) == 0)
202 src_pwd
= xstrdup (pwd
);
206 /* Return the directory from which the translation unit was initiated,
207 in case set_src_pwd() was not called before to assign it a
223 /* Called when the start of a function definition is parsed,
224 this function prints on stderr the name of the function. */
226 announce_function (tree decl
)
230 if (rtl_dump_and_exit
)
231 fprintf (stderr
, "%s ",
232 identifier_to_locale (IDENTIFIER_POINTER (DECL_NAME (decl
))));
234 fprintf (stderr
, " %s",
235 identifier_to_locale (lang_hooks
.decl_printable_name (decl
, 2)));
237 pp_needs_newline (global_dc
->printer
) = true;
238 diagnostic_set_last_function (global_dc
, (diagnostic_info
*) NULL
);
242 /* Initialize local_tick with the time of day, or -1 if
243 flag_random_seed is set. */
246 init_local_tick (void)
248 if (!flag_random_seed
)
250 #ifdef HAVE_GETTIMEOFDAY
254 gettimeofday (&tv
, NULL
);
255 local_tick
= (unsigned) tv
.tv_sec
* 1000 + tv
.tv_usec
/ 1000;
259 time_t now
= time (NULL
);
261 if (now
!= (time_t)-1)
262 local_tick
= (unsigned) now
;
270 /* Obtain the random_seed. Unless NOINIT, initialize it if
271 it's not provided in the command line. */
274 get_random_seed (bool noinit
)
276 if (!random_seed
&& !noinit
)
278 int fd
= open ("/dev/urandom", O_RDONLY
);
281 if (read (fd
, &random_seed
, sizeof (random_seed
))
282 != sizeof (random_seed
))
287 random_seed
= local_tick
^ getpid ();
292 /* Set flag_random_seed to VAL, and if non-null, reinitialize random_seed. */
295 set_random_seed (const char *val
)
297 flag_random_seed
= val
;
298 if (flag_random_seed
)
302 /* When the driver passed in a hex number don't crc it again */
303 random_seed
= strtoul (flag_random_seed
, &endp
, 0);
304 if (!(endp
> flag_random_seed
&& *endp
== 0))
305 random_seed
= crc32_string (0, flag_random_seed
);
309 /* Handler for fatal signals, such as SIGSEGV. These are transformed
310 into ICE messages, which is much more user friendly. In case the
311 error printer crashes, reset the signal to prevent infinite recursion. */
314 crash_signal (int signo
)
316 signal (signo
, SIG_DFL
);
318 /* If we crashed while processing an ASM statement, then be a little more
319 graceful. It's most likely the user's fault. */
320 if (this_is_asm_operands
)
322 output_operand_lossage ("unrecoverable error");
323 exit (FATAL_EXIT_CODE
);
326 internal_error ("%s", strsignal (signo
));
329 /* A subroutine of wrapup_global_declarations. We've come to the end of
330 the compilation unit. All deferred variables should be undeferred,
331 and all incomplete decls should be finalized. */
334 wrapup_global_declaration_1 (tree decl
)
336 /* We're not deferring this any longer. Assignment is conditional to
337 avoid needlessly dirtying PCH pages. */
338 if (CODE_CONTAINS_STRUCT (TREE_CODE (decl
), TS_DECL_WITH_VIS
)
339 && DECL_DEFER_OUTPUT (decl
) != 0)
340 DECL_DEFER_OUTPUT (decl
) = 0;
342 if (VAR_P (decl
) && DECL_SIZE (decl
) == 0)
343 lang_hooks
.finish_incomplete_decl (decl
);
346 /* A subroutine of wrapup_global_declarations. Decide whether or not DECL
347 needs to be output. Return true if it is output. */
350 wrapup_global_declaration_2 (tree decl
)
352 if (TREE_ASM_WRITTEN (decl
) || DECL_EXTERNAL (decl
)
353 || (VAR_P (decl
) && DECL_HAS_VALUE_EXPR_P (decl
)))
356 /* Don't write out static consts, unless we still need them.
358 We also keep static consts if not optimizing (for debugging),
359 unless the user specified -fno-keep-static-consts.
360 ??? They might be better written into the debug information.
361 This is possible when using DWARF.
363 A language processor that wants static constants to be always
364 written out (even if it is not used) is responsible for
365 calling rest_of_decl_compilation itself. E.g. the C front-end
366 calls rest_of_decl_compilation from finish_decl.
367 One motivation for this is that is conventional in some
368 environments to write things like:
369 static const char rcsid[] = "... version string ...";
370 intending to force the string to be in the executable.
372 A language processor that would prefer to have unneeded
373 static constants "optimized away" would just defer writing
374 them out until here. E.g. C++ does this, because static
375 constants are often defined in header files.
377 ??? A tempting alternative (for both C and C++) would be
378 to force a constant to be written if and only if it is
379 defined in a main file, as opposed to an include file. */
381 if (VAR_P (decl
) && TREE_STATIC (decl
))
385 node
= varpool_node::get (decl
);
387 if (!node
&& flag_ltrans
)
389 else if (node
&& node
->definition
)
391 else if (node
&& node
->alias
)
393 else if (!symtab
->global_info_ready
395 || TREE_USED (DECL_ASSEMBLER_NAME (decl
))))
397 else if (node
&& node
->analyzed
)
399 else if (DECL_COMDAT (decl
))
401 else if (TREE_READONLY (decl
) && !TREE_PUBLIC (decl
)
402 && (optimize
|| !flag_keep_static_consts
403 || DECL_ARTIFICIAL (decl
)))
408 rest_of_decl_compilation (decl
, 1, 1);
416 /* Do any final processing required for the declarations in VEC, of
417 which there are LEN. We write out inline functions and variables
418 that have been deferred until this point, but which are required.
419 Returns nonzero if anything was put out. */
422 wrapup_global_declarations (tree
*vec
, int len
)
424 bool reconsider
, output_something
= false;
427 for (i
= 0; i
< len
; i
++)
428 wrapup_global_declaration_1 (vec
[i
]);
430 /* Now emit any global variables or functions that we have been
431 putting off. We need to loop in case one of the things emitted
432 here references another one which comes earlier in the list. */
436 for (i
= 0; i
< len
; i
++)
437 reconsider
|= wrapup_global_declaration_2 (vec
[i
]);
439 output_something
= true;
443 return output_something
;
446 /* Compile an entire translation unit. Write a file of assembly
447 output and various debugging dumps. */
452 timevar_start (TV_PHASE_PARSING
);
453 timevar_push (TV_PARSE_GLOBAL
);
455 /* Parse entire file and generate initial debug information. */
456 lang_hooks
.parse_file ();
458 timevar_pop (TV_PARSE_GLOBAL
);
459 timevar_stop (TV_PHASE_PARSING
);
461 if (flag_dump_locations
)
462 dump_location_info (stderr
);
464 /* Compilation is now finished except for writing
465 what's left of the symbol table output. */
467 if (flag_syntax_only
|| flag_wpa
)
470 /* Reset maximum_field_alignment, it can be adjusted by #pragma pack
471 and this shouldn't influence any types built by the middle-end
472 from now on (like gcov_info_type). */
473 maximum_field_alignment
= initial_max_fld_align
* BITS_PER_UNIT
;
475 ggc_protect_identifiers
= false;
477 /* Run the actual compilation process. */
480 timevar_start (TV_PHASE_OPT_GEN
);
481 symtab
->finalize_compilation_unit ();
482 timevar_stop (TV_PHASE_OPT_GEN
);
485 /* Perform any post compilation-proper parser cleanups and
486 processing. This is currently only needed for the C++ parser,
487 which can be hopefully cleaned up so this hook is no longer
489 if (lang_hooks
.decls
.post_compilation_parsing_cleanups
)
490 lang_hooks
.decls
.post_compilation_parsing_cleanups ();
492 dump_context::get ().finish_any_json_writer ();
497 timevar_start (TV_PHASE_LATE_ASM
);
499 /* Compilation unit is finalized. When producing non-fat LTO object, we are
500 basically finished. */
501 if ((in_lto_p
&& flag_incremental_link
!= INCREMENTAL_LINK_LTO
)
502 || !flag_lto
|| flag_fat_lto_objects
)
504 /* File-scope initialization for AddressSanitizer. */
505 if (flag_sanitize
& SANITIZE_ADDRESS
)
508 if (flag_sanitize
& SANITIZE_THREAD
)
515 output_shared_constant_pool ();
516 output_object_blocks ();
517 finish_tm_clone_pairs ();
519 /* Write out any pending weak symbol declarations. */
522 /* This must be at the end before unwind and debug info.
523 Some target ports emit PIC setup thunks here. */
524 targetm
.asm_out
.code_end ();
526 /* Do dbx symbols. */
527 timevar_push (TV_SYMOUT
);
529 #if defined DWARF2_DEBUGGING_INFO || defined DWARF2_UNWIND_INFO
530 dwarf2out_frame_finish ();
534 (*debug_hooks
->finish
) (main_input_filename
);
536 timevar_pop (TV_SYMOUT
);
538 /* Output some stuff at end of file if nec. */
540 dw2_output_indirect_constants ();
542 /* Flush any pending external directives. */
543 process_pending_assemble_externals ();
546 /* Let linker plugin know that this is a slim object and must be LTOed
547 even when user did not ask for it. */
548 if (flag_generate_lto
&& !flag_fat_lto_objects
)
550 #if defined ASM_OUTPUT_ALIGNED_DECL_COMMON
551 ASM_OUTPUT_ALIGNED_DECL_COMMON (asm_out_file
, NULL_TREE
, "__gnu_lto_slim",
552 HOST_WIDE_INT_1U
, 8);
553 #elif defined ASM_OUTPUT_ALIGNED_COMMON
554 ASM_OUTPUT_ALIGNED_COMMON (asm_out_file
, "__gnu_lto_slim",
555 HOST_WIDE_INT_1U
, 8);
557 ASM_OUTPUT_COMMON (asm_out_file
, "__gnu_lto_slim",
563 /* Attach a special .ident directive to the end of the file to identify
564 the version of GCC which compiled this code. The format of the .ident
565 string is patterned after the ones produced by native SVR4 compilers. */
568 const char *pkg_version
= "(GNU) ";
571 if (strcmp ("(GCC) ", pkgversion_string
))
572 pkg_version
= pkgversion_string
;
574 ident_str
= ACONCAT (("GCC: ", pkg_version
, version_string
, NULL
));
575 targetm
.asm_out
.output_ident (ident_str
);
578 /* Auto profile finalization. */
579 if (flag_auto_profile
)
582 /* Invoke registered plugin callbacks. */
583 invoke_plugin_callbacks (PLUGIN_FINISH_UNIT
, NULL
);
585 /* This must be at the end. Some target ports emit end of file directives
586 into the assembly file here, and hence we cannot output anything to the
587 assembly file after this point. */
588 targetm
.asm_out
.file_end ();
590 timevar_stop (TV_PHASE_LATE_ASM
);
593 /* Print version information to FILE.
594 Each line begins with INDENT (for the case where FILE is the
595 assembler output file).
597 If SHOW_GLOBAL_STATE is true (for cc1 etc), we are within the compiler
598 proper and can print pertinent state (e.g. params and plugins).
600 If SHOW_GLOBAL_STATE is false (for use by libgccjit), we are outside the
601 compiler, and we don't hold the mutex on the compiler's global state:
602 we can't print params and plugins, since they might not be initialized,
603 or might be being manipulated by a compile running in another
607 print_version (FILE *file
, const char *indent
, bool show_global_state
)
609 static const char fmt1
[] =
611 N_("%s%s%s %sversion %s (%s)\n%s\tcompiled by GNU C version %s, ")
613 N_("%s%s%s %sversion %s (%s) compiled by CC, ")
616 static const char fmt2
[] =
617 N_("GMP version %s, MPFR version %s, MPC version %s, isl version %s\n");
618 static const char fmt3
[] =
619 N_("%s%swarning: %s header version %s differs from library version %s.\n");
620 static const char fmt4
[] =
621 N_("%s%sGGC heuristics: --param ggc-min-expand=%d --param ggc-min-heapsize=%d\n");
623 #define __VERSION__ "[?]"
626 file
== stderr
? _(fmt1
) : fmt1
,
627 indent
, *indent
!= 0 ? " " : "",
628 lang_hooks
.name
, pkgversion_string
, version_string
, TARGET_NAME
,
629 indent
, __VERSION__
);
631 /* We need to stringify the GMP macro values. Ugh, gmp_version has
632 two string formats, "i.j.k" and "i.j" when k is zero. As of
633 gmp-4.3.0, GMP always uses the 3 number format. */
634 #define GCC_GMP_STRINGIFY_VERSION3(X) #X
635 #define GCC_GMP_STRINGIFY_VERSION2(X) GCC_GMP_STRINGIFY_VERSION3 (X)
636 #define GCC_GMP_VERSION_NUM(X,Y,Z) (((X) << 16L) | ((Y) << 8) | (Z))
637 #define GCC_GMP_VERSION \
638 GCC_GMP_VERSION_NUM(__GNU_MP_VERSION, __GNU_MP_VERSION_MINOR, __GNU_MP_VERSION_PATCHLEVEL)
639 #if GCC_GMP_VERSION < GCC_GMP_VERSION_NUM(4,3,0) && __GNU_MP_VERSION_PATCHLEVEL == 0
640 #define GCC_GMP_STRINGIFY_VERSION \
641 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION) "." \
642 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_MINOR)
644 #define GCC_GMP_STRINGIFY_VERSION \
645 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION) "." \
646 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_MINOR) "." \
647 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_PATCHLEVEL)
650 file
== stderr
? _(fmt2
) : fmt2
,
651 GCC_GMP_STRINGIFY_VERSION
, MPFR_VERSION_STRING
, MPC_VERSION_STRING
,
658 if (strcmp (GCC_GMP_STRINGIFY_VERSION
, gmp_version
))
660 file
== stderr
? _(fmt3
) : fmt3
,
661 indent
, *indent
!= 0 ? " " : "",
662 "GMP", GCC_GMP_STRINGIFY_VERSION
, gmp_version
);
663 if (strcmp (MPFR_VERSION_STRING
, mpfr_get_version ()))
665 file
== stderr
? _(fmt3
) : fmt3
,
666 indent
, *indent
!= 0 ? " " : "",
667 "MPFR", MPFR_VERSION_STRING
, mpfr_get_version ());
668 if (strcmp (MPC_VERSION_STRING
, mpc_get_version ()))
670 file
== stderr
? _(fmt3
) : fmt3
,
671 indent
, *indent
!= 0 ? " " : "",
672 "MPC", MPC_VERSION_STRING
, mpc_get_version ());
674 if (show_global_state
)
677 file
== stderr
? _(fmt4
) : fmt4
,
678 indent
, *indent
!= 0 ? " " : "",
679 PARAM_VALUE (GGC_MIN_EXPAND
), PARAM_VALUE (GGC_MIN_HEAPSIZE
));
681 print_plugins_versions (file
, indent
);
686 print_to_asm_out_file (print_switch_type type
, const char * text
)
688 bool prepend_sep
= true;
692 case SWITCH_TYPE_LINE_END
:
693 putc ('\n', asm_out_file
);
696 case SWITCH_TYPE_LINE_START
:
697 fputs (ASM_COMMENT_START
, asm_out_file
);
698 return strlen (ASM_COMMENT_START
);
700 case SWITCH_TYPE_DESCRIPTIVE
:
701 if (ASM_COMMENT_START
[0] == 0)
704 case SWITCH_TYPE_PASSED
:
705 case SWITCH_TYPE_ENABLED
:
707 fputc (' ', asm_out_file
);
708 fputs (text
, asm_out_file
);
709 /* No need to return the length here as
710 print_single_switch has already done it. */
719 print_to_stderr (print_switch_type type
, const char * text
)
723 case SWITCH_TYPE_LINE_END
:
727 case SWITCH_TYPE_LINE_START
:
730 case SWITCH_TYPE_PASSED
:
731 case SWITCH_TYPE_ENABLED
:
735 case SWITCH_TYPE_DESCRIPTIVE
:
736 fputs (text
, stderr
);
737 /* No need to return the length here as
738 print_single_switch has already done it. */
746 /* Print an option value and return the adjusted position in the line.
747 ??? print_fn doesn't handle errors, eg disk full; presumably other
748 code will catch a disk full though. */
751 print_single_switch (print_switch_fn_type print_fn
,
753 print_switch_type type
,
756 /* The ultrix fprintf returns 0 on success, so compute the result
757 we want here since we need it for the following test. The +1
758 is for the separator character that will probably be emitted. */
759 int len
= strlen (text
) + 1;
762 && pos
+ len
> MAX_LINE
)
764 print_fn (SWITCH_TYPE_LINE_END
, NULL
);
769 pos
+= print_fn (SWITCH_TYPE_LINE_START
, NULL
);
771 print_fn (type
, text
);
775 /* Print active target switches using PRINT_FN.
776 POS is the current cursor position and MAX is the size of a "line".
777 Each line begins with INDENT and ends with TERM.
778 Each switch is separated from the next by SEP. */
781 print_switch_values (print_switch_fn_type print_fn
)
786 /* Print the options as passed. */
787 pos
= print_single_switch (print_fn
, pos
,
788 SWITCH_TYPE_DESCRIPTIVE
, _("options passed: "));
790 for (j
= 1; j
< save_decoded_options_count
; j
++)
792 switch (save_decoded_options
[j
].opt_index
)
805 pos
= print_single_switch (print_fn
, pos
, SWITCH_TYPE_PASSED
,
806 save_decoded_options
[j
].orig_option_with_args_text
);
810 print_fn (SWITCH_TYPE_LINE_END
, NULL
);
812 /* Print the -f and -m options that have been enabled.
813 We don't handle language specific options but printing argv
815 pos
= print_single_switch (print_fn
, 0,
816 SWITCH_TYPE_DESCRIPTIVE
, _("options enabled: "));
818 unsigned lang_mask
= lang_hooks
.option_lang_mask ();
819 for (j
= 0; j
< cl_options_count
; j
++)
820 if (cl_options
[j
].cl_report
821 && option_enabled (j
, lang_mask
, &global_options
) > 0)
822 pos
= print_single_switch (print_fn
, pos
,
823 SWITCH_TYPE_ENABLED
, cl_options
[j
].opt_text
);
825 print_fn (SWITCH_TYPE_LINE_END
, NULL
);
828 /* Open assembly code output file. Do this even if -fsyntax-only is
829 on, because then the driver will have provided the name of a
830 temporary file or bit bucket for us. NAME is the file specified on
831 the command line, possibly NULL. */
833 init_asm_output (const char *name
)
835 if (name
== NULL
&& asm_file_name
== 0)
836 asm_out_file
= stdout
;
839 if (asm_file_name
== 0)
841 int len
= strlen (dump_base_name
);
842 char *dumpname
= XNEWVEC (char, len
+ 6);
844 memcpy (dumpname
, dump_base_name
, len
+ 1);
845 strip_off_ending (dumpname
, len
);
846 strcat (dumpname
, ".s");
847 asm_file_name
= dumpname
;
849 if (!strcmp (asm_file_name
, "-"))
850 asm_out_file
= stdout
;
851 else if (!canonical_filename_eq (asm_file_name
, name
)
852 || !strcmp (asm_file_name
, HOST_BIT_BUCKET
))
853 asm_out_file
= fopen (asm_file_name
, "w");
855 /* Use UNKOWN_LOCATION to prevent gcc from printing the first
856 line in the current file. */
857 fatal_error (UNKNOWN_LOCATION
,
858 "input file %qs is the same as output file",
860 if (asm_out_file
== 0)
861 fatal_error (UNKNOWN_LOCATION
,
862 "cannot open %qs for writing: %m", asm_file_name
);
865 if (!flag_syntax_only
)
867 targetm
.asm_out
.file_start ();
869 if (flag_record_gcc_switches
)
871 if (targetm
.asm_out
.record_gcc_switches
)
873 /* Let the target know that we are about to start recording. */
874 targetm
.asm_out
.record_gcc_switches (SWITCH_TYPE_DESCRIPTIVE
,
876 /* Now record the switches. */
877 print_switch_values (targetm
.asm_out
.record_gcc_switches
);
878 /* Let the target know that the recording is over. */
879 targetm
.asm_out
.record_gcc_switches (SWITCH_TYPE_DESCRIPTIVE
,
883 inform (UNKNOWN_LOCATION
,
884 "%<-frecord-gcc-switches%> is not supported by "
885 "the current target");
888 if (flag_verbose_asm
)
890 /* Print the list of switches in effect
891 into the assembler file as comments. */
892 print_version (asm_out_file
, ASM_COMMENT_START
, true);
893 print_switch_values (print_to_asm_out_file
);
894 putc ('\n', asm_out_file
);
899 /* A helper function; used as the reallocator function for cpp's line
902 realloc_for_line_map (void *ptr
, size_t len
)
904 return ggc_realloc (ptr
, len
);
907 /* A helper function: used as the allocator function for
908 identifier_to_locale. */
910 alloc_for_identifier_to_locale (size_t len
)
912 return ggc_alloc_atomic (len
);
915 /* Output stack usage information. */
917 output_stack_usage (void)
919 static bool warning_issued
= false;
920 enum stack_usage_kind_type
{ STATIC
= 0, DYNAMIC
, DYNAMIC_BOUNDED
};
921 const char *stack_usage_kind_str
[] = {
926 HOST_WIDE_INT stack_usage
= current_function_static_stack_size
;
927 enum stack_usage_kind_type stack_usage_kind
;
933 warning (0, "stack usage computation not supported for this target");
934 warning_issued
= true;
939 stack_usage_kind
= STATIC
;
941 /* Add the maximum amount of space pushed onto the stack. */
942 if (maybe_ne (current_function_pushed_stack_size
, 0))
945 if (current_function_pushed_stack_size
.is_constant (&extra
))
947 stack_usage
+= extra
;
948 stack_usage_kind
= DYNAMIC_BOUNDED
;
952 extra
= constant_lower_bound (current_function_pushed_stack_size
);
953 stack_usage
+= extra
;
954 stack_usage_kind
= DYNAMIC
;
958 /* Now on to the tricky part: dynamic stack allocation. */
959 if (current_function_allocates_dynamic_stack_space
)
961 if (stack_usage_kind
!= DYNAMIC
)
963 if (current_function_has_unbounded_dynamic_stack_size
)
964 stack_usage_kind
= DYNAMIC
;
966 stack_usage_kind
= DYNAMIC_BOUNDED
;
969 /* Add the size even in the unbounded case, this can't hurt. */
970 stack_usage
+= current_function_dynamic_stack_size
;
973 if (stack_usage_file
)
975 expanded_location loc
976 = expand_location (DECL_SOURCE_LOCATION (current_function_decl
));
977 /* We don't want to print the full qualified name because it can be long,
978 so we strip the scope prefix, but we may need to deal with the suffix
979 created by the compiler. */
981 = strchr (IDENTIFIER_POINTER (DECL_NAME (current_function_decl
)), '.');
983 = lang_hooks
.decl_printable_name (current_function_decl
, 2);
986 const char *dot
= strchr (name
, '.');
987 while (dot
&& strcasecmp (dot
, suffix
) != 0)
990 dot
= strchr (name
, '.');
995 const char *dot
= strrchr (name
, '.');
1000 fprintf (stack_usage_file
,
1001 "%s:%d:%d:%s\t" HOST_WIDE_INT_PRINT_DEC
"\t%s\n",
1002 loc
.file
== NULL
? "(artificial)" : lbasename (loc
.file
),
1007 stack_usage_kind_str
[stack_usage_kind
]);
1010 if (warn_stack_usage
>= 0 && warn_stack_usage
< HOST_WIDE_INT_MAX
)
1012 const location_t loc
= DECL_SOURCE_LOCATION (current_function_decl
);
1014 if (stack_usage_kind
== DYNAMIC
)
1015 warning_at (loc
, OPT_Wstack_usage_
, "stack usage might be unbounded");
1016 else if (stack_usage
> warn_stack_usage
)
1018 if (stack_usage_kind
== DYNAMIC_BOUNDED
)
1020 OPT_Wstack_usage_
, "stack usage might be %wu bytes",
1023 warning_at (loc
, OPT_Wstack_usage_
, "stack usage is %wu bytes",
1029 /* Open an auxiliary output file. */
1031 open_auxiliary_file (const char *ext
)
1036 filename
= concat (aux_base_name
, ".", ext
, NULL
);
1037 file
= fopen (filename
, "w");
1039 fatal_error (input_location
, "cannot open %s for writing: %m", filename
);
1044 /* Alternative diagnostics callback for reentered ICE reporting. */
1047 internal_error_reentered (diagnostic_context
*, const char *, va_list *)
1049 /* Flush the dump file if emergency_dump_function itself caused an ICE. */
1054 /* Auxiliary callback for the diagnostics code. */
1057 internal_error_function (diagnostic_context
*, const char *, va_list *)
1059 global_dc
->internal_error
= internal_error_reentered
;
1061 emergency_dump_function ();
1064 /* Initialization of the front end environment, before command line
1065 options are parsed. Signal handlers, internationalization etc.
1066 ARGV0 is main's argv[0]. */
1068 general_init (const char *argv0
, bool init_signals
)
1072 p
= argv0
+ strlen (argv0
);
1073 while (p
!= argv0
&& !IS_DIR_SEPARATOR (p
[-1]))
1077 xmalloc_set_program_name (progname
);
1081 /* Unlock the stdio streams. */
1082 unlock_std_streams ();
1084 gcc_init_libintl ();
1086 identifier_to_locale_alloc
= alloc_for_identifier_to_locale
;
1087 identifier_to_locale_free
= ggc_free
;
1089 /* Initialize the diagnostics reporting machinery, so option parsing
1090 can give warnings and errors. */
1091 diagnostic_initialize (global_dc
, N_OPTS
);
1092 global_dc
->lang_mask
= lang_hooks
.option_lang_mask ();
1093 /* Set a default printer. Language specific initializations will
1094 override it later. */
1095 tree_diagnostics_defaults (global_dc
);
1097 global_dc
->show_caret
1098 = global_options_init
.x_flag_diagnostics_show_caret
;
1099 global_dc
->show_labels_p
1100 = global_options_init
.x_flag_diagnostics_show_labels
;
1101 global_dc
->show_line_numbers_p
1102 = global_options_init
.x_flag_diagnostics_show_line_numbers
;
1103 global_dc
->show_option_requested
1104 = global_options_init
.x_flag_diagnostics_show_option
;
1105 global_dc
->min_margin_width
1106 = global_options_init
.x_diagnostics_minimum_margin_width
;
1107 global_dc
->show_column
1108 = global_options_init
.x_flag_show_column
;
1109 global_dc
->internal_error
= internal_error_function
;
1110 global_dc
->option_enabled
= option_enabled
;
1111 global_dc
->option_state
= &global_options
;
1112 global_dc
->option_name
= option_name
;
1116 /* Trap fatal signals, e.g. SIGSEGV, and convert them to ICE messages. */
1118 signal (SIGSEGV
, crash_signal
);
1121 signal (SIGILL
, crash_signal
);
1124 signal (SIGBUS
, crash_signal
);
1127 signal (SIGABRT
, crash_signal
);
1129 #if defined SIGIOT && (!defined SIGABRT || SIGABRT != SIGIOT)
1130 signal (SIGIOT
, crash_signal
);
1133 signal (SIGFPE
, crash_signal
);
1136 /* Other host-specific signal setup. */
1137 (*host_hooks
.extra_signals
)();
1140 /* Initialize the garbage-collector, string pools and tree type hash
1144 input_location
= UNKNOWN_LOCATION
;
1145 line_table
= ggc_alloc
<line_maps
> ();
1146 linemap_init (line_table
, BUILTINS_LOCATION
);
1147 line_table
->reallocator
= realloc_for_line_map
;
1148 line_table
->round_alloc_size
= ggc_round_alloc_size
;
1149 line_table
->default_range_bits
= 5;
1152 /* Initialize register usage now so switches may override. */
1155 /* Register the language-independent parameters. */
1156 global_init_params ();
1158 /* This must be done after global_init_params but before argument
1160 init_ggc_heuristics ();
1162 /* Create the singleton holder for global state. This creates the
1164 g
= new gcc::context ();
1166 /* Allow languages and middle-end to register their dumps before the
1167 optimization passes. */
1168 g
->get_dumps ()->register_dumps ();
1170 /* Create the passes. */
1171 g
->set_passes (new gcc::pass_manager (g
));
1173 symtab
= new (ggc_cleared_alloc
<symbol_table
> ()) symbol_table ();
1175 statistics_early_init ();
1176 debuginfo_early_init ();
1180 /* Return true if the current target supports -fsection-anchors. */
1183 target_supports_section_anchors_p (void)
1185 if (targetm
.min_anchor_offset
== 0 && targetm
.max_anchor_offset
== 0)
1188 if (targetm
.asm_out
.output_anchor
== NULL
)
1194 /* Parse "N[:M][:...]" into struct align_flags A.
1195 VALUES contains parsed values (in reverse order), all processed
1196 values are popped. */
1199 read_log_maxskip (auto_vec
<unsigned> &values
, align_flags_tuple
*a
)
1201 unsigned n
= values
.pop ();
1203 a
->log
= floor_log2 (n
* 2 - 1);
1205 if (values
.is_empty ())
1206 a
->maxskip
= n
? n
- 1 : 0;
1209 unsigned m
= values
.pop ();
1210 /* -falign-foo=N:M means M-1 max bytes of padding, not M. */
1216 /* Normalize the tuple. */
1220 /* Parse "N[:M[:N2[:M2]]]" string FLAG into a pair of struct align_flags. */
1223 parse_N_M (const char *flag
, align_flags
&a
)
1227 static hash_map
<nofree_string_hash
, align_flags
> cache
;
1228 align_flags
*entry
= cache
.get (flag
);
1235 auto_vec
<unsigned> result_values
;
1236 bool r
= parse_and_check_align_values (flag
, NULL
, result_values
, false,
1241 /* Reverse values for easier manipulation. */
1242 result_values
.reverse ();
1244 read_log_maxskip (result_values
, &a
.levels
[0]);
1245 if (!result_values
.is_empty ())
1246 read_log_maxskip (result_values
, &a
.levels
[1]);
1250 /* N2[:M2] is not specified. This arch has a default for N2.
1251 Before -falign-foo=N:M:N2:M2 was introduced, x86 had a tweak.
1252 -falign-functions=N with N > 8 was adding secondary alignment.
1253 -falign-functions=10 was emitting this before every function:
1256 Now this behavior (and more) can be explicitly requested:
1257 -falign-functions=16:10:8
1258 Retain old behavior if N2 is missing: */
1260 int align
= 1 << a
.levels
[0].log
;
1261 int subalign
= 1 << SUBALIGN_LOG
;
1263 if (a
.levels
[0].log
> SUBALIGN_LOG
1264 && a
.levels
[0].maxskip
>= subalign
- 1)
1266 /* Set N2 unless subalign can never have any effect. */
1267 if (align
> a
.levels
[0].maxskip
+ 1)
1269 a
.levels
[1].log
= SUBALIGN_LOG
;
1270 a
.levels
[1].normalize ();
1276 /* Cache seen value. */
1277 cache
.put (flag
, a
);
1281 /* Process -falign-foo=N[:M[:N2[:M2]]] options. */
1284 parse_alignment_opts (void)
1286 parse_N_M (str_align_loops
, align_loops
);
1287 parse_N_M (str_align_jumps
, align_jumps
);
1288 parse_N_M (str_align_labels
, align_labels
);
1289 parse_N_M (str_align_functions
, align_functions
);
1292 /* Process the options that have been parsed. */
1294 process_options (void)
1296 /* Just in case lang_hooks.post_options ends up calling a debug_hook.
1297 This can happen with incorrect pre-processed input. */
1298 debug_hooks
= &do_nothing_debug_hooks
;
1300 maximum_field_alignment
= initial_max_fld_align
* BITS_PER_UNIT
;
1302 /* Allow the front end to perform consistency checks and do further
1303 initialization based on the command line options. This hook also
1304 sets the original filename if appropriate (e.g. foo.i -> foo.c)
1305 so we can correctly initialize debug output. */
1306 no_backend
= lang_hooks
.post_options (&main_input_filename
);
1308 /* Some machines may reject certain combinations of options. */
1309 location_t saved_location
= input_location
;
1310 input_location
= UNKNOWN_LOCATION
;
1311 targetm
.target_option
.override ();
1312 input_location
= saved_location
;
1314 if (flag_diagnostics_generate_patch
)
1315 global_dc
->edit_context_ptr
= new edit_context ();
1317 /* Avoid any informative notes in the second run of -fcompare-debug. */
1318 if (flag_compare_debug
)
1319 diagnostic_inhibit_notes (global_dc
);
1321 if (flag_section_anchors
&& !target_supports_section_anchors_p ())
1323 warning_at (UNKNOWN_LOCATION
, OPT_fsection_anchors
,
1324 "this target does not support %qs",
1325 "-fsection-anchors");
1326 flag_section_anchors
= 0;
1329 if (flag_short_enums
== 2)
1330 flag_short_enums
= targetm
.default_short_enums ();
1332 /* Set aux_base_name if not already set. */
1335 else if (main_input_filename
)
1337 char *name
= xstrdup (lbasename (main_input_filename
));
1339 strip_off_ending (name
, strlen (name
));
1340 aux_base_name
= name
;
1343 aux_base_name
= "gccaux";
1347 || flag_loop_nest_optimize
1348 || flag_graphite_identity
1349 || flag_loop_parallelize_all
)
1350 sorry ("Graphite loop optimizations cannot be used (isl is not available) "
1351 "(%<-fgraphite%>, %<-fgraphite-identity%>, "
1352 "%<-floop-nest-optimize%>, %<-floop-parallelize-all%>)");
1355 if (flag_cf_protection
!= CF_NONE
1356 && !(flag_cf_protection
& CF_SET
))
1358 if (flag_cf_protection
== CF_FULL
)
1360 error_at (UNKNOWN_LOCATION
,
1361 "%<-fcf-protection=full%> is not supported for this "
1363 flag_cf_protection
= CF_NONE
;
1365 if (flag_cf_protection
== CF_BRANCH
)
1367 error_at (UNKNOWN_LOCATION
,
1368 "%<-fcf-protection=branch%> is not supported for this "
1370 flag_cf_protection
= CF_NONE
;
1372 if (flag_cf_protection
== CF_RETURN
)
1374 error_at (UNKNOWN_LOCATION
,
1375 "%<-fcf-protection=return%> is not supported for this "
1377 flag_cf_protection
= CF_NONE
;
1381 /* One region RA really helps to decrease the code size. */
1382 if (flag_ira_region
== IRA_REGION_AUTODETECT
)
1384 = optimize_size
|| !optimize
? IRA_REGION_ONE
: IRA_REGION_MIXED
;
1386 if (!abi_version_at_least (2))
1388 /* -fabi-version=1 support was removed after GCC 4.9. */
1389 error_at (UNKNOWN_LOCATION
,
1390 "%<-fabi-version=1%> is no longer supported");
1391 flag_abi_version
= 2;
1394 /* Unrolling all loops implies that standard loop unrolling must also
1396 if (flag_unroll_all_loops
)
1397 flag_unroll_loops
= 1;
1399 /* web and rename-registers help when run after loop unrolling. */
1400 if (flag_web
== AUTODETECT_VALUE
)
1401 flag_web
= flag_unroll_loops
;
1403 if (flag_rename_registers
== AUTODETECT_VALUE
)
1404 flag_rename_registers
= flag_unroll_loops
;
1406 if (flag_non_call_exceptions
)
1407 flag_asynchronous_unwind_tables
= 1;
1408 if (flag_asynchronous_unwind_tables
)
1409 flag_unwind_tables
= 1;
1411 if (flag_value_profile_transformations
)
1412 flag_profile_values
= 1;
1414 /* Warn about options that are not supported on this machine. */
1415 #ifndef INSN_SCHEDULING
1416 if (flag_schedule_insns
|| flag_schedule_insns_after_reload
)
1417 warning_at (UNKNOWN_LOCATION
, 0,
1418 "instruction scheduling not supported on this target machine");
1420 if (!DELAY_SLOTS
&& flag_delayed_branch
)
1421 warning_at (UNKNOWN_LOCATION
, 0,
1422 "this target machine does not have delayed branches");
1424 user_label_prefix
= USER_LABEL_PREFIX
;
1425 if (flag_leading_underscore
!= -1)
1427 /* If the default prefix is more complicated than "" or "_",
1428 issue a warning and ignore this option. */
1429 if (user_label_prefix
[0] == 0 ||
1430 (user_label_prefix
[0] == '_' && user_label_prefix
[1] == 0))
1432 user_label_prefix
= flag_leading_underscore
? "_" : "";
1435 warning_at (UNKNOWN_LOCATION
, 0,
1436 "%<-f%sleading-underscore%> not supported on this "
1437 "target machine", flag_leading_underscore
? "" : "no-");
1440 /* If we are in verbose mode, write out the version and maybe all the
1441 option flags in use. */
1444 print_version (stderr
, "", true);
1446 print_switch_values (print_to_stderr
);
1449 if (flag_syntax_only
)
1451 write_symbols
= NO_DEBUG
;
1457 if (debug_info_level
== DINFO_LEVEL_NONE
)
1459 debug_info_level
= DINFO_LEVEL_NORMAL
;
1461 if (write_symbols
== NO_DEBUG
)
1462 write_symbols
= PREFERRED_DEBUGGING_TYPE
;
1465 debug_info_level
= DINFO_LEVEL_NONE
;
1468 if (flag_dump_final_insns
&& !flag_syntax_only
&& !no_backend
)
1470 FILE *final_output
= fopen (flag_dump_final_insns
, "w");
1473 error_at (UNKNOWN_LOCATION
,
1474 "could not open final insn dump file %qs: %m",
1475 flag_dump_final_insns
);
1476 flag_dump_final_insns
= NULL
;
1478 else if (fclose (final_output
))
1480 error_at (UNKNOWN_LOCATION
,
1481 "could not close zeroed insn dump file %qs: %m",
1482 flag_dump_final_insns
);
1483 flag_dump_final_insns
= NULL
;
1487 /* A lot of code assumes write_symbols == NO_DEBUG if the debugging
1489 if (debug_info_level
== DINFO_LEVEL_NONE
)
1490 write_symbols
= NO_DEBUG
;
1492 if (write_symbols
== NO_DEBUG
)
1494 #if defined(DBX_DEBUGGING_INFO)
1495 else if (write_symbols
== DBX_DEBUG
)
1496 debug_hooks
= &dbx_debug_hooks
;
1498 #if defined(XCOFF_DEBUGGING_INFO)
1499 else if (write_symbols
== XCOFF_DEBUG
)
1500 debug_hooks
= &xcoff_debug_hooks
;
1502 #ifdef DWARF2_DEBUGGING_INFO
1503 else if (write_symbols
== DWARF2_DEBUG
)
1504 debug_hooks
= &dwarf2_debug_hooks
;
1506 #ifdef VMS_DEBUGGING_INFO
1507 else if (write_symbols
== VMS_DEBUG
|| write_symbols
== VMS_AND_DWARF2_DEBUG
)
1508 debug_hooks
= &vmsdbg_debug_hooks
;
1510 #ifdef DWARF2_LINENO_DEBUGGING_INFO
1511 else if (write_symbols
== DWARF2_DEBUG
)
1512 debug_hooks
= &dwarf2_lineno_debug_hooks
;
1515 error_at (UNKNOWN_LOCATION
,
1516 "target system does not support the %qs debug format",
1517 debug_type_names
[write_symbols
]);
1519 /* We know which debug output will be used so we can set flag_var_tracking
1520 and flag_var_tracking_uninit if the user has not specified them. */
1521 if (debug_info_level
< DINFO_LEVEL_NORMAL
1522 || debug_hooks
->var_location
== do_nothing_debug_hooks
.var_location
)
1524 if (flag_var_tracking
== 1
1525 || flag_var_tracking_uninit
== 1)
1527 if (debug_info_level
< DINFO_LEVEL_NORMAL
)
1528 warning_at (UNKNOWN_LOCATION
, 0,
1529 "variable tracking requested, but useless unless "
1530 "producing debug info");
1532 warning_at (UNKNOWN_LOCATION
, 0,
1533 "variable tracking requested, but not supported "
1534 "by this debug format");
1536 flag_var_tracking
= 0;
1537 flag_var_tracking_uninit
= 0;
1540 /* The debug hooks are used to implement -fdump-go-spec because it
1541 gives a simple and stable API for all the information we need to
1543 if (flag_dump_go_spec
!= NULL
)
1544 debug_hooks
= dump_go_spec_init (flag_dump_go_spec
, debug_hooks
);
1546 /* If the user specifically requested variable tracking with tagging
1547 uninitialized variables, we need to turn on variable tracking.
1548 (We already determined above that variable tracking is feasible.) */
1549 if (flag_var_tracking_uninit
== 1)
1550 flag_var_tracking
= 1;
1552 if (flag_var_tracking
== AUTODETECT_VALUE
)
1553 flag_var_tracking
= optimize
>= 1;
1555 if (flag_var_tracking_uninit
== AUTODETECT_VALUE
)
1556 flag_var_tracking_uninit
= flag_var_tracking
;
1558 if (flag_var_tracking_assignments
== AUTODETECT_VALUE
)
1559 flag_var_tracking_assignments
1560 = (flag_var_tracking
1561 && !(flag_selective_scheduling
|| flag_selective_scheduling2
));
1563 if (flag_var_tracking_assignments_toggle
)
1564 flag_var_tracking_assignments
= !flag_var_tracking_assignments
;
1566 if (flag_var_tracking_assignments
&& !flag_var_tracking
)
1567 flag_var_tracking
= flag_var_tracking_assignments
= -1;
1569 if (flag_var_tracking_assignments
1570 && (flag_selective_scheduling
|| flag_selective_scheduling2
))
1571 warning_at (UNKNOWN_LOCATION
, 0,
1572 "var-tracking-assignments changes selective scheduling");
1574 if (debug_nonbind_markers_p
== AUTODETECT_VALUE
)
1575 debug_nonbind_markers_p
1577 && debug_info_level
>= DINFO_LEVEL_NORMAL
1578 && (write_symbols
== DWARF2_DEBUG
1579 || write_symbols
== VMS_AND_DWARF2_DEBUG
)
1580 && !(flag_selective_scheduling
|| flag_selective_scheduling2
));
1582 if (dwarf2out_as_loc_support
== AUTODETECT_VALUE
)
1583 dwarf2out_as_loc_support
1584 = dwarf2out_default_as_loc_support ();
1585 if (dwarf2out_as_locview_support
== AUTODETECT_VALUE
)
1586 dwarf2out_as_locview_support
1587 = dwarf2out_default_as_locview_support ();
1589 if (debug_variable_location_views
== AUTODETECT_VALUE
)
1591 debug_variable_location_views
1592 = (flag_var_tracking
1593 && debug_info_level
>= DINFO_LEVEL_NORMAL
1594 && (write_symbols
== DWARF2_DEBUG
1595 || write_symbols
== VMS_AND_DWARF2_DEBUG
)
1597 && dwarf2out_as_loc_support
1598 && dwarf2out_as_locview_support
);
1600 else if (debug_variable_location_views
== -1 && dwarf_version
!= 5)
1602 warning_at (UNKNOWN_LOCATION
, 0,
1603 "without %<-gdwarf-5%>, "
1604 "%<-gvariable-location-views=incompat5%> "
1605 "is equivalent to %<-gvariable-location-views%>");
1606 debug_variable_location_views
= 1;
1609 if (debug_internal_reset_location_views
== 2)
1611 debug_internal_reset_location_views
1612 = (debug_variable_location_views
1613 && targetm
.reset_location_view
);
1615 else if (debug_internal_reset_location_views
1616 && !debug_variable_location_views
)
1618 warning_at (UNKNOWN_LOCATION
, 0,
1619 "%<-ginternal-reset-location-views%> is forced disabled "
1620 "without %<-gvariable-location-views%>");
1621 debug_internal_reset_location_views
= 0;
1624 if (debug_inline_points
== AUTODETECT_VALUE
)
1625 debug_inline_points
= debug_variable_location_views
;
1626 else if (debug_inline_points
&& !debug_nonbind_markers_p
)
1628 warning_at (UNKNOWN_LOCATION
, 0,
1629 "%<-ginline-points%> is forced disabled without "
1630 "%<-gstatement-frontiers%>");
1631 debug_inline_points
= 0;
1634 if (flag_tree_cselim
== AUTODETECT_VALUE
)
1636 if (HAVE_conditional_move
)
1637 flag_tree_cselim
= 1;
1639 flag_tree_cselim
= 0;
1642 /* If auxiliary info generation is desired, open the output file.
1643 This goes in the same directory as the source file--unlike
1644 all the other output files. */
1645 if (flag_gen_aux_info
)
1647 aux_info_file
= fopen (aux_info_file_name
, "w");
1648 if (aux_info_file
== 0)
1649 fatal_error (UNKNOWN_LOCATION
,
1650 "cannot open %s: %m", aux_info_file_name
);
1653 if (!targetm_common
.have_named_sections
)
1655 if (flag_function_sections
)
1657 warning_at (UNKNOWN_LOCATION
, 0,
1658 "%<-ffunction-sections%> not supported for this target");
1659 flag_function_sections
= 0;
1661 if (flag_data_sections
)
1663 warning_at (UNKNOWN_LOCATION
, 0,
1664 "%<-fdata-sections%> not supported for this target");
1665 flag_data_sections
= 0;
1669 if (flag_prefetch_loop_arrays
> 0 && !targetm
.code_for_prefetch
)
1671 warning_at (UNKNOWN_LOCATION
, 0,
1672 "%<-fprefetch-loop-arrays%> not supported for this target");
1673 flag_prefetch_loop_arrays
= 0;
1675 else if (flag_prefetch_loop_arrays
> 0 && !targetm
.have_prefetch ())
1677 warning_at (UNKNOWN_LOCATION
, 0,
1678 "%<-fprefetch-loop-arrays%> not supported for this target "
1679 "(try %<-march%> switches)");
1680 flag_prefetch_loop_arrays
= 0;
1683 /* This combination of options isn't handled for i386 targets and doesn't
1684 make much sense anyway, so don't allow it. */
1685 if (flag_prefetch_loop_arrays
> 0 && optimize_size
)
1687 warning_at (UNKNOWN_LOCATION
, 0,
1688 "%<-fprefetch-loop-arrays%> is not supported with %<-Os%>");
1689 flag_prefetch_loop_arrays
= 0;
1692 /* The presence of IEEE signaling NaNs, implies all math can trap. */
1693 if (flag_signaling_nans
)
1694 flag_trapping_math
= 1;
1696 /* We cannot reassociate if we want traps or signed zeros. */
1697 if (flag_associative_math
&& (flag_trapping_math
|| flag_signed_zeros
))
1699 warning_at (UNKNOWN_LOCATION
, 0,
1700 "%<-fassociative-math%> disabled; other options take "
1702 flag_associative_math
= 0;
1705 /* -fstack-clash-protection is not currently supported on targets
1706 where the stack grows up. */
1707 if (flag_stack_clash_protection
&& !STACK_GROWS_DOWNWARD
)
1709 warning_at (UNKNOWN_LOCATION
, 0,
1710 "%<-fstack-clash-protection%> is not supported on targets "
1711 "where the stack grows from lower to higher addresses");
1712 flag_stack_clash_protection
= 0;
1715 /* We cannot support -fstack-check= and -fstack-clash-protection at
1717 if (flag_stack_check
!= NO_STACK_CHECK
&& flag_stack_clash_protection
)
1719 warning_at (UNKNOWN_LOCATION
, 0,
1720 "%<-fstack-check=%> and %<-fstack-clash_protection%> are "
1721 "mutually exclusive; disabling %<-fstack-check=%>");
1722 flag_stack_check
= NO_STACK_CHECK
;
1725 /* With -fcx-limited-range, we do cheap and quick complex arithmetic. */
1726 if (flag_cx_limited_range
)
1727 flag_complex_method
= 0;
1729 /* With -fcx-fortran-rules, we do something in-between cheap and C99. */
1730 if (flag_cx_fortran_rules
)
1731 flag_complex_method
= 1;
1733 /* Targets must be able to place spill slots at lower addresses. If the
1734 target already uses a soft frame pointer, the transition is trivial. */
1735 if (!FRAME_GROWS_DOWNWARD
&& flag_stack_protect
)
1737 warning_at (UNKNOWN_LOCATION
, 0,
1738 "%<-fstack-protector%> not supported for this target");
1739 flag_stack_protect
= 0;
1741 if (!flag_stack_protect
)
1742 warn_stack_protect
= 0;
1744 /* Address Sanitizer needs porting to each target architecture. */
1746 if ((flag_sanitize
& SANITIZE_ADDRESS
)
1747 && !FRAME_GROWS_DOWNWARD
)
1749 warning_at (UNKNOWN_LOCATION
, 0,
1750 "%<-fsanitize=address%> and %<-fsanitize=kernel-address%> "
1751 "are not supported for this target");
1752 flag_sanitize
&= ~SANITIZE_ADDRESS
;
1755 if ((flag_sanitize
& SANITIZE_USER_ADDRESS
)
1756 && targetm
.asan_shadow_offset
== NULL
)
1758 warning_at (UNKNOWN_LOCATION
, 0,
1759 "%<-fsanitize=address%> not supported for this target");
1760 flag_sanitize
&= ~SANITIZE_ADDRESS
;
1763 /* Do not use IPA optimizations for register allocation if profiler is active
1764 or patchable function entries are inserted for run-time instrumentation
1765 or port does not emit prologue and epilogue as RTL. */
1766 if (profile_flag
|| function_entry_patch_area_size
1767 || !targetm
.have_prologue () || !targetm
.have_epilogue ())
1770 /* Enable -Werror=coverage-mismatch when -Werror and -Wno-error
1771 have not been set. */
1772 if (!global_options_set
.x_warnings_are_errors
1773 && warn_coverage_mismatch
1774 && (global_dc
->classify_diagnostic
[OPT_Wcoverage_mismatch
] ==
1776 diagnostic_classify_diagnostic (global_dc
, OPT_Wcoverage_mismatch
,
1777 DK_ERROR
, UNKNOWN_LOCATION
);
1779 /* Save the current optimization options. */
1780 optimization_default_node
= build_optimization_node (&global_options
);
1781 optimization_current_node
= optimization_default_node
;
1783 if (flag_checking
>= 2)
1784 hash_table_sanitize_eq_limit
1785 = PARAM_VALUE (PARAM_HASH_TABLE_VERIFICATION_LIMIT
);
1787 /* Please don't change global_options after this point, those changes won't
1788 be reflected in optimization_{default,current}_node. */
1791 /* This function can be called multiple times to reinitialize the compiler
1792 back end when register classes or instruction sets have changed,
1793 before each function. */
1795 backend_init_target (void)
1797 /* This depends on stack_pointer_rtx. */
1798 init_fake_stack_mems ();
1800 /* Sets static_base_value[HARD_FRAME_POINTER_REGNUM], which is
1802 init_alias_target ();
1804 /* Depends on HARD_FRAME_POINTER_REGNUM. */
1808 /* Depends on the enabled attribute. */
1811 /* The following initialization functions need to generate rtl, so
1812 provide a dummy function context for them. */
1813 init_dummy_function_start ();
1815 /* rtx_cost is mode-dependent, so cached values need to be recomputed
1816 on a mode change. */
1818 init_lower_subreg ();
1821 init_expr_target ();
1824 /* We may need to recompute regno_save_code[] and regno_restore_code[]
1825 after a mode change as well. */
1826 caller_save_initialized_p
= false;
1828 expand_dummy_function_end ();
1831 /* Initialize the compiler back end. This function is called only once,
1832 when starting the compiler. */
1839 init_inline_once ();
1840 init_varasm_once ();
1841 save_register_info ();
1843 /* Middle end needs this initialization for default mem attributes
1844 used by early calls to make_decl_rtl. */
1847 /* Middle end needs this initialization for mode tables used to assign
1848 modes to vector variables. */
1852 /* Initialize excess precision settings.
1854 We have no need to modify anything here, just keep track of what the
1855 user requested. We'll figure out any appropriate relaxations
1859 init_excess_precision (void)
1861 gcc_assert (flag_excess_precision_cmdline
!= EXCESS_PRECISION_DEFAULT
);
1862 flag_excess_precision
= flag_excess_precision_cmdline
;
1865 /* Initialize things that are both lang-dependent and target-dependent.
1866 This function can be called more than once if target parameters change. */
1868 lang_dependent_init_target (void)
1870 /* This determines excess precision settings. */
1871 init_excess_precision ();
1873 /* This creates various _DECL nodes, so needs to be called after the
1874 front end is initialized. It also depends on the HAVE_xxx macros
1875 generated from the target machine description. */
1878 gcc_assert (!this_target_rtl
->target_specific_initialized
);
1881 /* Perform initializations that are lang-dependent or target-dependent.
1882 but matters only for late optimizations and RTL generation. */
1884 static int rtl_initialized
;
1887 initialize_rtl (void)
1889 auto_timevar
tv (g_timer
, TV_INITIALIZE_RTL
);
1891 /* Initialization done just once per compilation, but delayed
1892 till code generation. */
1893 if (!rtl_initialized
)
1895 rtl_initialized
= true;
1897 /* Target specific RTL backend initialization. */
1898 if (!this_target_rtl
->target_specific_initialized
)
1900 backend_init_target ();
1901 this_target_rtl
->target_specific_initialized
= true;
1905 /* Language-dependent initialization. Returns nonzero on success. */
1907 lang_dependent_init (const char *name
)
1909 location_t save_loc
= input_location
;
1910 if (dump_base_name
== 0)
1911 dump_base_name
= name
&& name
[0] ? name
: "gccdump";
1913 /* Other front-end initialization. */
1914 input_location
= BUILTINS_LOCATION
;
1915 if (lang_hooks
.init () == 0)
1917 input_location
= save_loc
;
1921 init_asm_output (name
);
1923 /* If stack usage information is desired, open the output file. */
1924 if (flag_stack_usage
&& !flag_generate_lto
)
1925 stack_usage_file
= open_auxiliary_file ("su");
1928 /* This creates various _DECL nodes, so needs to be called after the
1929 front end is initialized. */
1932 /* Do the target-specific parts of the initialization. */
1933 lang_dependent_init_target ();
1937 /* If dbx symbol table desired, initialize writing it and output the
1938 predefined types. */
1939 timevar_push (TV_SYMOUT
);
1941 /* Now we have the correct original filename, we can initialize
1943 (*debug_hooks
->init
) (name
);
1945 timevar_pop (TV_SYMOUT
);
1952 /* Reinitialize everything when target parameters, such as register usage,
1955 target_reinit (void)
1957 struct rtl_data saved_x_rtl
;
1958 rtx
*saved_regno_reg_rtx
;
1959 tree saved_optimization_current_node
;
1960 struct target_optabs
*saved_this_fn_optabs
;
1962 /* Temporarily switch to the default optimization node, so that
1963 *this_target_optabs is set to the default, not reflecting
1964 whatever a previous function used for the optimize
1966 saved_optimization_current_node
= optimization_current_node
;
1967 saved_this_fn_optabs
= this_fn_optabs
;
1968 if (saved_optimization_current_node
!= optimization_default_node
)
1970 optimization_current_node
= optimization_default_node
;
1971 cl_optimization_restore
1973 TREE_OPTIMIZATION (optimization_default_node
));
1975 this_fn_optabs
= this_target_optabs
;
1977 /* Save *crtl and regno_reg_rtx around the reinitialization
1978 to allow target_reinit being called even after prepare_function_start. */
1979 saved_regno_reg_rtx
= regno_reg_rtx
;
1980 if (saved_regno_reg_rtx
)
1982 saved_x_rtl
= *crtl
;
1983 memset (crtl
, '\0', sizeof (*crtl
));
1984 regno_reg_rtx
= NULL
;
1987 this_target_rtl
->target_specific_initialized
= false;
1989 /* This initializes hard_frame_pointer, and calls init_reg_modes_target()
1990 to initialize reg_raw_mode[]. */
1993 /* This invokes target hooks to set fixed_reg[] etc, which is
1997 /* Reinitialize lang-dependent parts. */
1998 lang_dependent_init_target ();
2000 /* Restore the original optimization node. */
2001 if (saved_optimization_current_node
!= optimization_default_node
)
2003 optimization_current_node
= saved_optimization_current_node
;
2004 cl_optimization_restore (&global_options
,
2005 TREE_OPTIMIZATION (optimization_current_node
));
2007 this_fn_optabs
= saved_this_fn_optabs
;
2009 /* Restore regno_reg_rtx at the end, as free_after_compilation from
2010 expand_dummy_function_end clears it. */
2011 if (saved_regno_reg_rtx
)
2013 *crtl
= saved_x_rtl
;
2014 regno_reg_rtx
= saved_regno_reg_rtx
;
2015 saved_regno_reg_rtx
= NULL
;
2020 dump_memory_report (bool final
)
2022 dump_line_table_statistics ();
2023 ggc_print_statistics ();
2024 stringpool_statistics ();
2025 dump_tree_statistics ();
2026 dump_gimple_statistics ();
2027 dump_rtx_statistics ();
2028 dump_alloc_pool_statistics ();
2029 dump_bitmap_statistics ();
2030 dump_hash_table_loc_statistics ();
2031 dump_vec_loc_statistics ();
2032 dump_ggc_loc_statistics (final
);
2033 dump_alias_stats (stderr
);
2034 dump_pta_stats (stderr
);
2037 /* Clean up: close opened files, etc. */
2040 finalize (bool no_backend
)
2042 /* Close the dump files. */
2043 if (flag_gen_aux_info
)
2045 fclose (aux_info_file
);
2046 aux_info_file
= NULL
;
2048 unlink (aux_info_file_name
);
2051 /* Close non-debugging input and output files. Take special care to note
2052 whether fclose returns an error, since the pages might still be on the
2053 buffer chain while the file is open. */
2057 if (ferror (asm_out_file
) != 0)
2058 fatal_error (input_location
, "error writing to %s: %m", asm_file_name
);
2059 if (fclose (asm_out_file
) != 0)
2060 fatal_error (input_location
, "error closing %s: %m", asm_file_name
);
2061 asm_out_file
= NULL
;
2064 if (stack_usage_file
)
2066 fclose (stack_usage_file
);
2067 stack_usage_file
= NULL
;
2071 coverage_remove_note_file ();
2078 g
->get_passes ()->finish_optimization_passes ();
2084 dump_memory_report (true);
2087 dump_profile_report ();
2089 /* Language-specific end of compilation actions. */
2090 lang_hooks
.finish ();
2094 standard_type_bitsize (int bitsize
)
2096 /* As a special exception, we always want __int128 enabled if possible. */
2099 if (bitsize
== CHAR_TYPE_SIZE
2100 || bitsize
== SHORT_TYPE_SIZE
2101 || bitsize
== INT_TYPE_SIZE
2102 || bitsize
== LONG_TYPE_SIZE
2103 || bitsize
== LONG_LONG_TYPE_SIZE
)
2108 /* Initialize the compiler, and compile the input file. */
2114 /* Don't do any more if an error has already occurred. */
2119 timevar_start (TV_PHASE_SETUP
);
2121 if (flag_save_optimization_record
)
2123 dump_context::get ().set_json_writer (new optrecord_json_writer ());
2126 /* This must be run always, because it is needed to compute the FP
2127 predefined macros, such as __LDBL_MAX__, for targets using non
2128 default FP formats. */
2129 init_adjust_machine_modes ();
2130 init_derived_machine_modes ();
2132 /* This must happen after the backend has a chance to process
2133 command line options, but before the parsers are
2135 for (i
= 0; i
< NUM_INT_N_ENTS
; i
++)
2136 if (targetm
.scalar_mode_supported_p (int_n_data
[i
].m
)
2137 && ! standard_type_bitsize (int_n_data
[i
].bitsize
))
2138 int_n_enabled_p
[i
] = true;
2140 int_n_enabled_p
[i
] = false;
2142 /* Initialize mpfrs exponent range. This is important to get
2143 underflow/overflow in a reasonable timeframe. */
2147 FOR_EACH_MODE_IN_CLASS (mode
, MODE_FLOAT
)
2148 if (SCALAR_FLOAT_MODE_P (mode
))
2150 const real_format
*fmt
= REAL_MODE_FORMAT (mode
);
2153 /* fmt->emin - fmt->p + 1 should be enough but the
2154 back-and-forth dance in real_to_decimal_for_mode we
2155 do for checking fails due to rounding effects then. */
2156 if ((fmt
->emin
- fmt
->p
) < min_exp
)
2157 min_exp
= fmt
->emin
- fmt
->p
;
2158 if (fmt
->emax
> max_exp
)
2159 max_exp
= fmt
->emax
;
2162 /* E.g. mpc_norm assumes it can square a number without bothering with
2163 with range scaling, so until that is fixed, double the minimum
2164 and maximum exponents, plus add some buffer for arithmetics
2165 on the squared numbers. */
2166 if (mpfr_set_emin (2 * (min_exp
- 1))
2167 || mpfr_set_emax (2 * (max_exp
+ 1)))
2168 sorry ("mpfr not configured to handle all floating modes");
2170 /* Set up the back-end if requested. */
2174 /* Language-dependent initialization. Returns true on success. */
2175 if (lang_dependent_init (main_input_filename
))
2177 /* Initialize yet another pass. */
2179 ggc_protect_identifiers
= true;
2181 symtab
->initialize ();
2182 init_final (main_input_filename
);
2183 coverage_init (aux_base_name
);
2186 invoke_plugin_callbacks (PLUGIN_START_UNIT
, NULL
);
2188 timevar_stop (TV_PHASE_SETUP
);
2194 timevar_stop (TV_PHASE_SETUP
);
2197 timevar_start (TV_PHASE_FINALIZE
);
2199 finalize (no_backend
);
2201 timevar_stop (TV_PHASE_FINALIZE
);
2205 toplev::toplev (timer
*external_timer
,
2207 : m_use_TV_TOTAL (external_timer
== NULL
),
2208 m_init_signals (init_signals
)
2211 g_timer
= external_timer
;
2216 if (g_timer
&& m_use_TV_TOTAL
)
2218 g_timer
->stop (TV_TOTAL
);
2219 g_timer
->print (stderr
);
2225 /* Potentially call timevar_init (which will create g_timevars if it
2226 doesn't already exist). */
2229 toplev::start_timevars ()
2231 if (time_report
|| !quiet_flag
|| flag_detailed_statistics
)
2234 timevar_start (TV_TOTAL
);
2237 /* Handle -fself-test. */
2240 toplev::run_self_tests ()
2244 error_at (UNKNOWN_LOCATION
, "self-tests incompatible with %<-E%>");
2248 /* Reset some state. */
2249 input_location
= UNKNOWN_LOCATION
;
2250 bitmap_obstack_initialize (NULL
);
2252 /* Run the tests; any failures will lead to an abort of the process.
2253 Use "make selftests-gdb" to run under the debugger. */
2254 ::selftest::run_tests ();
2257 bitmap_obstack_release (NULL
);
2259 inform (UNKNOWN_LOCATION
, "self-tests are not enabled in this build");
2260 #endif /* #if CHECKING_P */
2263 /* Entry point of cc1, cc1plus, jc1, f771, etc.
2264 Exit code is FATAL_EXIT_CODE if can't open files or if there were
2265 any errors, or SUCCESS_EXIT_CODE if compilation succeeded.
2267 It is not safe to call this function more than once. */
2270 toplev::main (int argc
, char **argv
)
2272 /* Parsing and gimplification sometimes need quite large stack.
2273 Increase stack size limits if possible. */
2274 stack_limit_increase (64 * 1024 * 1024);
2276 expandargv (&argc
, &argv
);
2278 /* Initialization of GCC's environment, and diagnostics. */
2279 general_init (argv
[0], m_init_signals
);
2281 /* One-off initialization of options that does not need to be
2282 repeated when options are added for particular functions. */
2283 init_options_once ();
2284 init_opts_obstack ();
2286 /* Initialize global options structures; this must be repeated for
2287 each structure used for parsing options. */
2288 init_options_struct (&global_options
, &global_options_set
);
2289 lang_hooks
.init_options_struct (&global_options
);
2291 /* Convert the options to an array. */
2292 decode_cmdline_options_to_array_default_mask (argc
,
2293 CONST_CAST2 (const char **,
2295 &save_decoded_options
,
2296 &save_decoded_options_count
);
2298 /* Perform language-specific options initialization. */
2299 lang_hooks
.init_options (save_decoded_options_count
, save_decoded_options
);
2301 /* Parse the options and do minimal processing; basically just
2302 enough to default flags appropriately. */
2303 decode_options (&global_options
, &global_options_set
,
2304 save_decoded_options
, save_decoded_options_count
,
2305 UNKNOWN_LOCATION
, global_dc
,
2306 targetm
.target_option
.override
);
2308 handle_common_deferred_options ();
2312 initialize_plugins ();
2315 print_version (stderr
, "", true);
2318 print_plugins_help (stderr
, "");
2320 /* Exit early if we can (e.g. -help). */
2321 if (!exit_after_options
)
2328 if (warningcount
|| errorcount
|| werrorcount
)
2329 print_ignored_options ();
2334 /* Invoke registered plugin callbacks if any. Some plugins could
2335 emit some diagnostics here. */
2336 invoke_plugin_callbacks (PLUGIN_FINISH
, NULL
);
2338 if (flag_diagnostics_generate_patch
)
2340 gcc_assert (global_dc
->edit_context_ptr
);
2343 pp_show_color (&pp
) = pp_show_color (global_dc
->printer
);
2344 global_dc
->edit_context_ptr
->print_diff (&pp
, true);
2348 diagnostic_finish (global_dc
);
2350 finalize_plugins ();
2352 after_memory_report
= true;
2354 if (seen_error () || werrorcount
)
2355 return (FATAL_EXIT_CODE
);
2357 return (SUCCESS_EXIT_CODE
);
2360 /* For those that want to, this function aims to clean up enough state that
2361 you can call toplev::main again. */
2363 toplev::finalize (void)
2365 rtl_initialized
= false;
2366 this_target_rtl
->target_specific_initialized
= false;
2368 /* Needs to be called before cgraph_c_finalize since it uses symtab. */
2369 ipa_reference_c_finalize ();
2370 ipa_fnsummary_c_finalize ();
2372 cgraph_c_finalize ();
2373 cgraphunit_c_finalize ();
2374 dwarf2out_c_finalize ();
2376 ipa_cp_c_finalize ();
2377 ira_costs_c_finalize ();
2378 params_c_finalize ();
2380 finalize_options_struct (&global_options
);
2381 finalize_options_struct (&global_options_set
);
2383 /* save_decoded_options uses opts_obstack, so these must
2384 be cleaned up together. */
2385 obstack_free (&opts_obstack
, NULL
);
2386 XDELETEVEC (save_decoded_options
);
2387 save_decoded_options
= NULL
;
2388 save_decoded_options_count
= 0;
2390 /* Clean up the context (and pass_manager etc). */