1 /* Top level of GCC compilers (cc1, cc1plus, etc.)
2 Copyright (C) 1987-2015 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC is free software; you can redistribute it and/or modify it under
7 the terms of the GNU General Public License as published by the Free
8 Software Foundation; either version 3, or (at your option) any later
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"
34 #include "double-int.h"
40 #include "fold-const.h"
42 #include "tree-inline.h"
43 #include "realmpfr.h" /* For GMP/MPFR/MPC versions, in print_version. */
48 #include "insn-attr.h"
49 #include "insn-config.h"
50 #include "insn-flags.h"
51 #include "hard-reg-set.h"
58 #include "statistics.h"
60 #include "fixed-value.h"
71 #include "diagnostic.h"
72 #include "tree-diagnostic.h"
73 #include "tree-pretty-print.h"
78 #include "dwarf2asm.h"
81 #include "common/common-target.h"
82 #include "langhooks.h"
83 #include "cfgloop.h" /* for init_set_costs */
84 #include "hosthooks.h"
86 #include "basic-block.h"
89 #include "plugin-api.h"
93 #include "opts-diagnostic.h"
95 #include "value-prof.h"
96 #include "alloc-pool.h"
99 #include "tree-ssa-alias.h"
100 #include "internal-fn.h"
101 #include "gimple-expr.h"
105 #include "pass_manager.h"
106 #include "auto-profile.h"
107 #include "dwarf2out.h"
109 #include "ipa-reference.h"
110 #include "symbol-summary.h"
111 #include "ipa-prop.h"
113 #include "insn-codes.h"
115 #include "tree-chkp.h"
118 #if defined(DBX_DEBUGGING_INFO) || defined(XCOFF_DEBUGGING_INFO)
122 #ifdef SDB_DEBUGGING_INFO
126 #ifdef XCOFF_DEBUGGING_INFO
127 #include "xcoffout.h" /* Needed for external data
128 declarations for e.g. AIX 4.x. */
131 #ifndef HAVE_epilogue
132 #define HAVE_epilogue 0
134 #ifndef HAVE_prologue
135 #define HAVE_prologue 0
140 static void general_init (const char *, bool);
141 static void do_compile ();
142 static void process_options (void);
143 static void backend_init (void);
144 static int lang_dependent_init (const char *);
145 static void init_asm_output (const char *);
146 static void finalize (bool);
148 static void crash_signal (int) ATTRIBUTE_NORETURN
;
149 static void compile_file (void);
151 /* True if we don't need a backend (e.g. preprocessing only). */
152 static bool no_backend
;
154 /* Length of line when printing switch values. */
157 /* Decoded options, and number of such options. */
158 struct cl_decoded_option
*save_decoded_options
;
159 unsigned int save_decoded_options_count
;
161 /* Used to enable -fvar-tracking, -fweb and -frename-registers according
162 to optimize in process_options (). */
163 #define AUTODETECT_VALUE 2
165 /* Debug hooks - dependent upon command line options. */
167 const struct gcc_debug_hooks
*debug_hooks
;
169 /* The FUNCTION_DECL for the function currently being compiled,
170 or 0 if between functions. */
171 tree current_function_decl
;
173 /* Set to the FUNC_BEGIN label of the current function, or NULL
175 const char * current_function_func_begin_label
;
177 /* A random sequence of characters, unless overridden by user. */
178 static const char *flag_random_seed
;
180 /* A local time stamp derived from the time of compilation. It will be
181 zero if the system cannot provide a time. It will be -1u, if the
182 user has specified a particular random seed. */
185 /* Random number for this compilation */
186 HOST_WIDE_INT random_seed
;
190 /* When non-NULL, indicates that whenever space is allocated on the
191 stack, the resulting stack pointer must not pass this
192 address---that is, for stacks that grow downward, the stack pointer
193 must always be greater than or equal to this address; for stacks
194 that grow upward, the stack pointer must be less than this address.
195 At present, the rtx may be either a REG or a SYMBOL_REF, although
196 the support provided depends on the backend. */
199 /* True if the user has tagged the function with the 'section'
202 bool user_defined_section_attribute
= false;
204 struct target_flag_state default_target_flag_state
;
205 #if SWITCHABLE_TARGET
206 struct target_flag_state
*this_target_flag_state
= &default_target_flag_state
;
208 #define this_target_flag_state (&default_target_flag_state)
211 /* The user symbol prefix after having resolved same. */
212 const char *user_label_prefix
;
214 /* Output files for assembler code (real compiler output)
215 and debugging dumps. */
219 FILE *stack_usage_file
= NULL
;
221 /* The current working directory of a translation. It's generally the
222 directory from which compilation was initiated, but a preprocessed
223 file may specify the original directory in which it was
226 static const char *src_pwd
;
228 /* Initialize src_pwd with the given string, and return true. If it
229 was already initialized, return false. As a special case, it may
230 be called with a NULL argument to test whether src_pwd has NOT been
234 set_src_pwd (const char *pwd
)
238 if (strcmp (src_pwd
, pwd
) == 0)
244 src_pwd
= xstrdup (pwd
);
248 /* Return the directory from which the translation unit was initiated,
249 in case set_src_pwd() was not called before to assign it a
265 /* Called when the start of a function definition is parsed,
266 this function prints on stderr the name of the function. */
268 announce_function (tree decl
)
272 if (rtl_dump_and_exit
)
273 fprintf (stderr
, "%s ",
274 identifier_to_locale (IDENTIFIER_POINTER (DECL_NAME (decl
))));
276 fprintf (stderr
, " %s",
277 identifier_to_locale (lang_hooks
.decl_printable_name (decl
, 2)));
279 pp_needs_newline (global_dc
->printer
) = true;
280 diagnostic_set_last_function (global_dc
, (diagnostic_info
*) NULL
);
284 /* Initialize local_tick with a random number or -1 if
285 flag_random_seed is set. */
288 init_local_tick (void)
290 if (!flag_random_seed
)
292 /* Try urandom first. Time of day is too likely to collide.
293 In case of any error we just use the local tick. */
295 int fd
= open ("/dev/urandom", O_RDONLY
);
298 if (read (fd
, &random_seed
, sizeof (random_seed
))
299 != sizeof (random_seed
))
304 /* Now get the tick anyways */
305 #ifdef HAVE_GETTIMEOFDAY
309 gettimeofday (&tv
, NULL
);
310 local_tick
= (unsigned) tv
.tv_sec
* 1000 + tv
.tv_usec
/ 1000;
314 time_t now
= time (NULL
);
316 if (now
!= (time_t)-1)
317 local_tick
= (unsigned) now
;
325 /* Set up a default flag_random_seed and local_tick, unless the user
326 already specified one. Must be called after init_local_tick. */
329 init_random_seed (void)
332 random_seed
= local_tick
^ getpid (); /* Old racey fallback method */
335 /* Obtain the random_seed. Unless NOINIT, initialize it if
336 it's not provided in the command line. */
339 get_random_seed (bool noinit
)
341 if (!flag_random_seed
&& !noinit
)
346 /* Modify the random_seed string to VAL. Return its previous
350 set_random_seed (const char *val
)
352 const char *old
= flag_random_seed
;
353 flag_random_seed
= val
;
354 if (flag_random_seed
)
358 /* When the driver passed in a hex number don't crc it again */
359 random_seed
= strtoul (flag_random_seed
, &endp
, 0);
360 if (!(endp
> flag_random_seed
&& *endp
== 0))
361 random_seed
= crc32_string (0, flag_random_seed
);
366 /* Handler for fatal signals, such as SIGSEGV. These are transformed
367 into ICE messages, which is much more user friendly. In case the
368 error printer crashes, reset the signal to prevent infinite recursion. */
371 crash_signal (int signo
)
373 signal (signo
, SIG_DFL
);
375 /* If we crashed while processing an ASM statement, then be a little more
376 graceful. It's most likely the user's fault. */
377 if (this_is_asm_operands
)
379 output_operand_lossage ("unrecoverable error");
380 exit (FATAL_EXIT_CODE
);
383 internal_error ("%s", strsignal (signo
));
386 /* A subroutine of wrapup_global_declarations. We've come to the end of
387 the compilation unit. All deferred variables should be undeferred,
388 and all incomplete decls should be finalized. */
391 wrapup_global_declaration_1 (tree decl
)
393 /* We're not deferring this any longer. Assignment is conditional to
394 avoid needlessly dirtying PCH pages. */
395 if (CODE_CONTAINS_STRUCT (TREE_CODE (decl
), TS_DECL_WITH_VIS
)
396 && DECL_DEFER_OUTPUT (decl
) != 0)
397 DECL_DEFER_OUTPUT (decl
) = 0;
399 if (TREE_CODE (decl
) == VAR_DECL
&& DECL_SIZE (decl
) == 0)
400 lang_hooks
.finish_incomplete_decl (decl
);
403 /* A subroutine of wrapup_global_declarations. Decide whether or not DECL
404 needs to be output. Return true if it is output. */
407 wrapup_global_declaration_2 (tree decl
)
409 if (TREE_ASM_WRITTEN (decl
) || DECL_EXTERNAL (decl
)
410 || (TREE_CODE (decl
) == VAR_DECL
&& DECL_HAS_VALUE_EXPR_P (decl
)))
413 /* Don't write out static consts, unless we still need them.
415 We also keep static consts if not optimizing (for debugging),
416 unless the user specified -fno-keep-static-consts.
417 ??? They might be better written into the debug information.
418 This is possible when using DWARF.
420 A language processor that wants static constants to be always
421 written out (even if it is not used) is responsible for
422 calling rest_of_decl_compilation itself. E.g. the C front-end
423 calls rest_of_decl_compilation from finish_decl.
424 One motivation for this is that is conventional in some
425 environments to write things like:
426 static const char rcsid[] = "... version string ...";
427 intending to force the string to be in the executable.
429 A language processor that would prefer to have unneeded
430 static constants "optimized away" would just defer writing
431 them out until here. E.g. C++ does this, because static
432 constants are often defined in header files.
434 ??? A tempting alternative (for both C and C++) would be
435 to force a constant to be written if and only if it is
436 defined in a main file, as opposed to an include file. */
438 if (TREE_CODE (decl
) == VAR_DECL
&& TREE_STATIC (decl
))
442 node
= varpool_node::get (decl
);
444 if (!node
&& flag_ltrans
)
446 else if (node
&& node
->definition
)
448 else if (node
&& node
->alias
)
450 else if (!symtab
->global_info_ready
452 || TREE_USED (DECL_ASSEMBLER_NAME (decl
))))
454 else if (node
&& node
->analyzed
)
456 else if (DECL_COMDAT (decl
))
458 else if (TREE_READONLY (decl
) && !TREE_PUBLIC (decl
)
459 && (optimize
|| !flag_keep_static_consts
460 || DECL_ARTIFICIAL (decl
)))
465 rest_of_decl_compilation (decl
, 1, 1);
473 /* Do any final processing required for the declarations in VEC, of
474 which there are LEN. We write out inline functions and variables
475 that have been deferred until this point, but which are required.
476 Returns nonzero if anything was put out. */
479 wrapup_global_declarations (tree
*vec
, int len
)
481 bool reconsider
, output_something
= false;
484 for (i
= 0; i
< len
; i
++)
485 wrapup_global_declaration_1 (vec
[i
]);
487 /* Now emit any global variables or functions that we have been
488 putting off. We need to loop in case one of the things emitted
489 here references another one which comes earlier in the list. */
493 for (i
= 0; i
< len
; i
++)
494 reconsider
|= wrapup_global_declaration_2 (vec
[i
]);
496 output_something
= true;
500 return output_something
;
503 /* A subroutine of check_global_declarations. Issue appropriate warnings
504 for the global declaration DECL. */
507 check_global_declaration_1 (tree decl
)
509 /* Warn about any function declared static but not defined. We don't
510 warn about variables, because many programs have static variables
511 that exist only to get some text into the object file. */
512 if (TREE_CODE (decl
) == FUNCTION_DECL
513 && DECL_INITIAL (decl
) == 0
514 && DECL_EXTERNAL (decl
)
515 && ! DECL_ARTIFICIAL (decl
)
516 && ! TREE_NO_WARNING (decl
)
517 && ! TREE_PUBLIC (decl
)
518 && (warn_unused_function
519 || TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl
))))
521 if (TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (decl
)))
522 pedwarn (input_location
, 0, "%q+F used but never defined", decl
);
524 warning (OPT_Wunused_function
, "%q+F declared %<static%> but never defined", decl
);
525 /* This symbol is effectively an "extern" declaration now. */
526 TREE_PUBLIC (decl
) = 1;
529 /* Warn about static fns or vars defined but not used. */
530 if (((warn_unused_function
&& TREE_CODE (decl
) == FUNCTION_DECL
)
531 /* We don't warn about "static const" variables because the
532 "rcs_id" idiom uses that construction. */
533 || (warn_unused_variable
534 && TREE_CODE (decl
) == VAR_DECL
&& ! TREE_READONLY (decl
)))
535 && ! DECL_IN_SYSTEM_HEADER (decl
)
536 && ! TREE_USED (decl
)
537 /* The TREE_USED bit for file-scope decls is kept in the identifier,
538 to handle multiple external decls in different scopes. */
539 && ! (DECL_NAME (decl
) && TREE_USED (DECL_NAME (decl
)))
540 && ! DECL_EXTERNAL (decl
)
541 && ! TREE_PUBLIC (decl
)
542 /* A volatile variable might be used in some non-obvious way. */
543 && ! TREE_THIS_VOLATILE (decl
)
544 /* Global register variables must be declared to reserve them. */
545 && ! (TREE_CODE (decl
) == VAR_DECL
&& DECL_REGISTER (decl
))
546 /* Otherwise, ask the language. */
547 && lang_hooks
.decls
.warn_unused_global (decl
))
548 warning ((TREE_CODE (decl
) == FUNCTION_DECL
)
549 ? OPT_Wunused_function
550 : OPT_Wunused_variable
,
551 "%q+D defined but not used", decl
);
554 /* Issue appropriate warnings for the global declarations in V (of
555 which there are LEN). */
558 check_global_declarations (tree
*v
, int len
)
562 for (i
= 0; i
< len
; i
++)
563 check_global_declaration_1 (v
[i
]);
566 /* Emit debugging information for all global declarations in VEC. */
569 emit_debug_global_declarations (tree
*vec
, int len
)
573 /* Avoid confusing the debug information machinery when there are errors. */
577 timevar_push (TV_SYMOUT
);
578 for (i
= 0; i
< len
; i
++)
579 debug_hooks
->global_decl (vec
[i
]);
580 timevar_pop (TV_SYMOUT
);
583 /* Compile an entire translation unit. Write a file of assembly
584 output and various debugging dumps. */
589 timevar_start (TV_PHASE_PARSING
);
590 timevar_push (TV_PARSE_GLOBAL
);
592 /* Call the parser, which parses the entire file (calling
593 rest_of_compilation for each function). */
594 lang_hooks
.parse_file ();
596 timevar_pop (TV_PARSE_GLOBAL
);
597 timevar_stop (TV_PHASE_PARSING
);
599 /* Compilation is now finished except for writing
600 what's left of the symbol table output. */
602 if (flag_syntax_only
|| flag_wpa
)
605 ggc_protect_identifiers
= false;
607 /* This must also call finalize_compilation_unit. */
608 lang_hooks
.decls
.final_write_globals ();
613 timevar_start (TV_PHASE_LATE_ASM
);
615 /* Compilation unit is finalized. When producing non-fat LTO object, we are
616 basically finished. */
617 if (in_lto_p
|| !flag_lto
|| flag_fat_lto_objects
)
619 /* File-scope initialization for AddressSanitizer. */
620 if (flag_sanitize
& SANITIZE_ADDRESS
)
623 if (flag_sanitize
& SANITIZE_THREAD
)
626 if (flag_check_pointer_bounds
)
631 output_shared_constant_pool ();
632 output_object_blocks ();
633 finish_tm_clone_pairs ();
635 /* Write out any pending weak symbol declarations. */
638 /* This must be at the end before unwind and debug info.
639 Some target ports emit PIC setup thunks here. */
640 targetm
.asm_out
.code_end ();
642 /* Do dbx symbols. */
643 timevar_push (TV_SYMOUT
);
645 #if defined DWARF2_DEBUGGING_INFO || defined DWARF2_UNWIND_INFO
646 if (dwarf2out_do_frame ())
647 dwarf2out_frame_finish ();
650 (*debug_hooks
->finish
) (main_input_filename
);
651 timevar_pop (TV_SYMOUT
);
653 /* Output some stuff at end of file if nec. */
655 dw2_output_indirect_constants ();
657 /* Flush any pending external directives. */
658 process_pending_assemble_externals ();
661 /* Emit LTO marker if LTO info has been previously emitted. This is
662 used by collect2 to determine whether an object file contains IL.
663 We used to emit an undefined reference here, but this produces
664 link errors if an object file with IL is stored into a shared
665 library without invoking lto1. */
666 if (flag_generate_lto
|| flag_generate_offload
)
668 #if defined ASM_OUTPUT_ALIGNED_DECL_COMMON
669 ASM_OUTPUT_ALIGNED_DECL_COMMON (asm_out_file
, NULL_TREE
,
671 (unsigned HOST_WIDE_INT
) 1, 8);
672 #elif defined ASM_OUTPUT_ALIGNED_COMMON
673 ASM_OUTPUT_ALIGNED_COMMON (asm_out_file
, "__gnu_lto_v1",
674 (unsigned HOST_WIDE_INT
) 1, 8);
676 ASM_OUTPUT_COMMON (asm_out_file
, "__gnu_lto_v1",
677 (unsigned HOST_WIDE_INT
) 1,
678 (unsigned HOST_WIDE_INT
) 1);
682 /* Let linker plugin know that this is a slim object and must be LTOed
683 even when user did not ask for it. */
684 if (flag_generate_lto
&& !flag_fat_lto_objects
)
686 #if defined ASM_OUTPUT_ALIGNED_DECL_COMMON
687 ASM_OUTPUT_ALIGNED_DECL_COMMON (asm_out_file
, NULL_TREE
, "__gnu_lto_slim",
688 (unsigned HOST_WIDE_INT
) 1, 8);
689 #elif defined ASM_OUTPUT_ALIGNED_COMMON
690 ASM_OUTPUT_ALIGNED_COMMON (asm_out_file
, "__gnu_lto_slim",
691 (unsigned HOST_WIDE_INT
) 1, 8);
693 ASM_OUTPUT_COMMON (asm_out_file
, "__gnu_lto_slim",
694 (unsigned HOST_WIDE_INT
) 1,
695 (unsigned HOST_WIDE_INT
) 1);
699 /* Attach a special .ident directive to the end of the file to identify
700 the version of GCC which compiled this code. The format of the .ident
701 string is patterned after the ones produced by native SVR4 compilers. */
704 const char *pkg_version
= "(GNU) ";
707 if (strcmp ("(GCC) ", pkgversion_string
))
708 pkg_version
= pkgversion_string
;
710 ident_str
= ACONCAT (("GCC: ", pkg_version
, version_string
, NULL
));
711 targetm
.asm_out
.output_ident (ident_str
);
714 /* Auto profile finalization. */
715 if (flag_auto_profile
)
718 /* Invoke registered plugin callbacks. */
719 invoke_plugin_callbacks (PLUGIN_FINISH_UNIT
, NULL
);
721 /* This must be at the end. Some target ports emit end of file directives
722 into the assembly file here, and hence we can not output anything to the
723 assembly file after this point. */
724 targetm
.asm_out
.file_end ();
726 timevar_stop (TV_PHASE_LATE_ASM
);
729 /* Print version information to FILE.
730 Each line begins with INDENT (for the case where FILE is the
731 assembler output file). */
734 print_version (FILE *file
, const char *indent
)
736 static const char fmt1
[] =
738 N_("%s%s%s %sversion %s (%s)\n%s\tcompiled by GNU C version %s, ")
740 N_("%s%s%s %sversion %s (%s) compiled by CC, ")
743 static const char fmt2
[] =
744 N_("GMP version %s, MPFR version %s, MPC version %s\n");
745 static const char fmt3
[] =
746 N_("%s%swarning: %s header version %s differs from library version %s.\n");
747 static const char fmt4
[] =
748 N_("%s%sGGC heuristics: --param ggc-min-expand=%d --param ggc-min-heapsize=%d\n");
750 #define __VERSION__ "[?]"
753 file
== stderr
? _(fmt1
) : fmt1
,
754 indent
, *indent
!= 0 ? " " : "",
755 lang_hooks
.name
, pkgversion_string
, version_string
, TARGET_NAME
,
756 indent
, __VERSION__
);
758 /* We need to stringify the GMP macro values. Ugh, gmp_version has
759 two string formats, "i.j.k" and "i.j" when k is zero. As of
760 gmp-4.3.0, GMP always uses the 3 number format. */
761 #define GCC_GMP_STRINGIFY_VERSION3(X) #X
762 #define GCC_GMP_STRINGIFY_VERSION2(X) GCC_GMP_STRINGIFY_VERSION3 (X)
763 #define GCC_GMP_VERSION_NUM(X,Y,Z) (((X) << 16L) | ((Y) << 8) | (Z))
764 #define GCC_GMP_VERSION \
765 GCC_GMP_VERSION_NUM(__GNU_MP_VERSION, __GNU_MP_VERSION_MINOR, __GNU_MP_VERSION_PATCHLEVEL)
766 #if GCC_GMP_VERSION < GCC_GMP_VERSION_NUM(4,3,0) && __GNU_MP_VERSION_PATCHLEVEL == 0
767 #define GCC_GMP_STRINGIFY_VERSION \
768 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION) "." \
769 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_MINOR)
771 #define GCC_GMP_STRINGIFY_VERSION \
772 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION) "." \
773 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_MINOR) "." \
774 GCC_GMP_STRINGIFY_VERSION2 (__GNU_MP_VERSION_PATCHLEVEL)
777 file
== stderr
? _(fmt2
) : fmt2
,
778 GCC_GMP_STRINGIFY_VERSION
, MPFR_VERSION_STRING
, MPC_VERSION_STRING
);
779 if (strcmp (GCC_GMP_STRINGIFY_VERSION
, gmp_version
))
781 file
== stderr
? _(fmt3
) : fmt3
,
782 indent
, *indent
!= 0 ? " " : "",
783 "GMP", GCC_GMP_STRINGIFY_VERSION
, gmp_version
);
784 if (strcmp (MPFR_VERSION_STRING
, mpfr_get_version ()))
786 file
== stderr
? _(fmt3
) : fmt3
,
787 indent
, *indent
!= 0 ? " " : "",
788 "MPFR", MPFR_VERSION_STRING
, mpfr_get_version ());
789 if (strcmp (MPC_VERSION_STRING
, mpc_get_version ()))
791 file
== stderr
? _(fmt3
) : fmt3
,
792 indent
, *indent
!= 0 ? " " : "",
793 "MPC", MPC_VERSION_STRING
, mpc_get_version ());
795 file
== stderr
? _(fmt4
) : fmt4
,
796 indent
, *indent
!= 0 ? " " : "",
797 PARAM_VALUE (GGC_MIN_EXPAND
), PARAM_VALUE (GGC_MIN_HEAPSIZE
));
799 print_plugins_versions (file
, indent
);
803 print_to_asm_out_file (print_switch_type type
, const char * text
)
805 bool prepend_sep
= true;
809 case SWITCH_TYPE_LINE_END
:
810 putc ('\n', asm_out_file
);
813 case SWITCH_TYPE_LINE_START
:
814 fputs (ASM_COMMENT_START
, asm_out_file
);
815 return strlen (ASM_COMMENT_START
);
817 case SWITCH_TYPE_DESCRIPTIVE
:
818 if (ASM_COMMENT_START
[0] == 0)
821 case SWITCH_TYPE_PASSED
:
822 case SWITCH_TYPE_ENABLED
:
824 fputc (' ', asm_out_file
);
825 fputs (text
, asm_out_file
);
826 /* No need to return the length here as
827 print_single_switch has already done it. */
836 print_to_stderr (print_switch_type type
, const char * text
)
840 case SWITCH_TYPE_LINE_END
:
844 case SWITCH_TYPE_LINE_START
:
847 case SWITCH_TYPE_PASSED
:
848 case SWITCH_TYPE_ENABLED
:
852 case SWITCH_TYPE_DESCRIPTIVE
:
853 fputs (text
, stderr
);
854 /* No need to return the length here as
855 print_single_switch has already done it. */
863 /* Print an option value and return the adjusted position in the line.
864 ??? print_fn doesn't handle errors, eg disk full; presumably other
865 code will catch a disk full though. */
868 print_single_switch (print_switch_fn_type print_fn
,
870 print_switch_type type
,
873 /* The ultrix fprintf returns 0 on success, so compute the result
874 we want here since we need it for the following test. The +1
875 is for the separator character that will probably be emitted. */
876 int len
= strlen (text
) + 1;
879 && pos
+ len
> MAX_LINE
)
881 print_fn (SWITCH_TYPE_LINE_END
, NULL
);
886 pos
+= print_fn (SWITCH_TYPE_LINE_START
, NULL
);
888 print_fn (type
, text
);
892 /* Print active target switches using PRINT_FN.
893 POS is the current cursor position and MAX is the size of a "line".
894 Each line begins with INDENT and ends with TERM.
895 Each switch is separated from the next by SEP. */
898 print_switch_values (print_switch_fn_type print_fn
)
903 /* Fill in the -frandom-seed option, if the user didn't pass it, so
904 that it can be printed below. This helps reproducibility. */
905 if (!flag_random_seed
)
908 /* Print the options as passed. */
909 pos
= print_single_switch (print_fn
, pos
,
910 SWITCH_TYPE_DESCRIPTIVE
, _("options passed: "));
912 for (j
= 1; j
< save_decoded_options_count
; j
++)
914 switch (save_decoded_options
[j
].opt_index
)
927 pos
= print_single_switch (print_fn
, pos
, SWITCH_TYPE_PASSED
,
928 save_decoded_options
[j
].orig_option_with_args_text
);
932 print_fn (SWITCH_TYPE_LINE_END
, NULL
);
934 /* Print the -f and -m options that have been enabled.
935 We don't handle language specific options but printing argv
937 pos
= print_single_switch (print_fn
, 0,
938 SWITCH_TYPE_DESCRIPTIVE
, _("options enabled: "));
940 for (j
= 0; j
< cl_options_count
; j
++)
941 if (cl_options
[j
].cl_report
942 && option_enabled (j
, &global_options
) > 0)
943 pos
= print_single_switch (print_fn
, pos
,
944 SWITCH_TYPE_ENABLED
, cl_options
[j
].opt_text
);
946 print_fn (SWITCH_TYPE_LINE_END
, NULL
);
949 /* Open assembly code output file. Do this even if -fsyntax-only is
950 on, because then the driver will have provided the name of a
951 temporary file or bit bucket for us. NAME is the file specified on
952 the command line, possibly NULL. */
954 init_asm_output (const char *name
)
956 if (name
== NULL
&& asm_file_name
== 0)
957 asm_out_file
= stdout
;
960 if (asm_file_name
== 0)
962 int len
= strlen (dump_base_name
);
963 char *dumpname
= XNEWVEC (char, len
+ 6);
965 memcpy (dumpname
, dump_base_name
, len
+ 1);
966 strip_off_ending (dumpname
, len
);
967 strcat (dumpname
, ".s");
968 asm_file_name
= dumpname
;
970 if (!strcmp (asm_file_name
, "-"))
971 asm_out_file
= stdout
;
972 else if (!canonical_filename_eq (asm_file_name
, name
)
973 || !strcmp (asm_file_name
, HOST_BIT_BUCKET
))
974 asm_out_file
= fopen (asm_file_name
, "w");
976 /* Use fatal_error (UNKOWN_LOCATION) instead of just fatal_error to
977 prevent gcc from printing the first line in the current file. */
978 fatal_error (UNKNOWN_LOCATION
,
979 "input file %qs is the same as output file",
981 if (asm_out_file
== 0)
982 fatal_error (UNKNOWN_LOCATION
,
983 "can%'t open %qs for writing: %m", asm_file_name
);
986 if (!flag_syntax_only
)
988 targetm
.asm_out
.file_start ();
990 if (flag_record_gcc_switches
)
992 if (targetm
.asm_out
.record_gcc_switches
)
994 /* Let the target know that we are about to start recording. */
995 targetm
.asm_out
.record_gcc_switches (SWITCH_TYPE_DESCRIPTIVE
,
997 /* Now record the switches. */
998 print_switch_values (targetm
.asm_out
.record_gcc_switches
);
999 /* Let the target know that the recording is over. */
1000 targetm
.asm_out
.record_gcc_switches (SWITCH_TYPE_DESCRIPTIVE
,
1004 inform (input_location
, "-frecord-gcc-switches is not supported by the current target");
1007 if (flag_verbose_asm
)
1009 /* Print the list of switches in effect
1010 into the assembler file as comments. */
1011 print_version (asm_out_file
, ASM_COMMENT_START
);
1012 print_switch_values (print_to_asm_out_file
);
1013 putc ('\n', asm_out_file
);
1018 /* A helper function; used as the reallocator function for cpp's line
1021 realloc_for_line_map (void *ptr
, size_t len
)
1023 return ggc_realloc (ptr
, len
);
1026 /* A helper function: used as the allocator function for
1027 identifier_to_locale. */
1029 alloc_for_identifier_to_locale (size_t len
)
1031 return ggc_alloc_atomic (len
);
1034 /* Output stack usage information. */
1036 output_stack_usage (void)
1038 static bool warning_issued
= false;
1039 enum stack_usage_kind_type
{ STATIC
= 0, DYNAMIC
, DYNAMIC_BOUNDED
};
1040 const char *stack_usage_kind_str
[] = {
1045 HOST_WIDE_INT stack_usage
= current_function_static_stack_size
;
1046 enum stack_usage_kind_type stack_usage_kind
;
1048 if (stack_usage
< 0)
1050 if (!warning_issued
)
1052 warning (0, "stack usage computation not supported for this target");
1053 warning_issued
= true;
1058 stack_usage_kind
= STATIC
;
1060 /* Add the maximum amount of space pushed onto the stack. */
1061 if (current_function_pushed_stack_size
> 0)
1063 stack_usage
+= current_function_pushed_stack_size
;
1064 stack_usage_kind
= DYNAMIC_BOUNDED
;
1067 /* Now on to the tricky part: dynamic stack allocation. */
1068 if (current_function_allocates_dynamic_stack_space
)
1070 if (current_function_has_unbounded_dynamic_stack_size
)
1071 stack_usage_kind
= DYNAMIC
;
1073 stack_usage_kind
= DYNAMIC_BOUNDED
;
1075 /* Add the size even in the unbounded case, this can't hurt. */
1076 stack_usage
+= current_function_dynamic_stack_size
;
1079 if (flag_stack_usage
)
1081 expanded_location loc
1082 = expand_location (DECL_SOURCE_LOCATION (current_function_decl
));
1083 /* We don't want to print the full qualified name because it can be long,
1084 so we strip the scope prefix, but we may need to deal with the suffix
1085 created by the compiler. */
1087 = strchr (IDENTIFIER_POINTER (DECL_NAME (current_function_decl
)), '.');
1089 = lang_hooks
.decl_printable_name (current_function_decl
, 2);
1092 const char *dot
= strchr (name
, '.');
1093 while (dot
&& strcasecmp (dot
, suffix
) != 0)
1096 dot
= strchr (name
, '.');
1101 const char *dot
= strrchr (name
, '.');
1106 fprintf (stack_usage_file
,
1107 "%s:%d:%d:%s\t"HOST_WIDE_INT_PRINT_DEC
"\t%s\n",
1108 lbasename (loc
.file
),
1113 stack_usage_kind_str
[stack_usage_kind
]);
1116 if (warn_stack_usage
>= 0)
1118 const location_t loc
= DECL_SOURCE_LOCATION (current_function_decl
);
1120 if (stack_usage_kind
== DYNAMIC
)
1121 warning_at (loc
, OPT_Wstack_usage_
, "stack usage might be unbounded");
1122 else if (stack_usage
> warn_stack_usage
)
1124 if (stack_usage_kind
== DYNAMIC_BOUNDED
)
1126 OPT_Wstack_usage_
, "stack usage might be %wd bytes",
1129 warning_at (loc
, OPT_Wstack_usage_
, "stack usage is %wd bytes",
1135 /* Open an auxiliary output file. */
1137 open_auxiliary_file (const char *ext
)
1142 filename
= concat (aux_base_name
, ".", ext
, NULL
);
1143 file
= fopen (filename
, "w");
1145 fatal_error ("can%'t open %s for writing: %m", filename
);
1150 /* Initialization of the front end environment, before command line
1151 options are parsed. Signal handlers, internationalization etc.
1152 ARGV0 is main's argv[0]. */
1154 general_init (const char *argv0
, bool init_signals
)
1158 p
= argv0
+ strlen (argv0
);
1159 while (p
!= argv0
&& !IS_DIR_SEPARATOR (p
[-1]))
1163 xmalloc_set_program_name (progname
);
1167 /* Unlock the stdio streams. */
1168 unlock_std_streams ();
1170 gcc_init_libintl ();
1172 identifier_to_locale_alloc
= alloc_for_identifier_to_locale
;
1173 identifier_to_locale_free
= ggc_free
;
1175 /* Initialize the diagnostics reporting machinery, so option parsing
1176 can give warnings and errors. */
1177 diagnostic_initialize (global_dc
, N_OPTS
);
1178 /* Set a default printer. Language specific initializations will
1179 override it later. */
1180 tree_diagnostics_defaults (global_dc
);
1182 global_dc
->show_caret
1183 = global_options_init
.x_flag_diagnostics_show_caret
;
1184 global_dc
->show_option_requested
1185 = global_options_init
.x_flag_diagnostics_show_option
;
1186 global_dc
->show_column
1187 = global_options_init
.x_flag_show_column
;
1188 global_dc
->internal_error
= plugins_internal_error_function
;
1189 global_dc
->option_enabled
= option_enabled
;
1190 global_dc
->option_state
= &global_options
;
1191 global_dc
->option_name
= option_name
;
1195 /* Trap fatal signals, e.g. SIGSEGV, and convert them to ICE messages. */
1197 signal (SIGSEGV
, crash_signal
);
1200 signal (SIGILL
, crash_signal
);
1203 signal (SIGBUS
, crash_signal
);
1206 signal (SIGABRT
, crash_signal
);
1208 #if defined SIGIOT && (!defined SIGABRT || SIGABRT != SIGIOT)
1209 signal (SIGIOT
, crash_signal
);
1212 signal (SIGFPE
, crash_signal
);
1215 /* Other host-specific signal setup. */
1216 (*host_hooks
.extra_signals
)();
1219 /* Initialize the garbage-collector, string pools and tree type hash
1223 input_location
= UNKNOWN_LOCATION
;
1224 line_table
= ggc_alloc
<line_maps
> ();
1225 linemap_init (line_table
, BUILTINS_LOCATION
);
1226 line_table
->reallocator
= realloc_for_line_map
;
1227 line_table
->round_alloc_size
= ggc_round_alloc_size
;
1230 /* Initialize register usage now so switches may override. */
1233 /* Register the language-independent parameters. */
1234 global_init_params ();
1236 /* This must be done after global_init_params but before argument
1238 init_ggc_heuristics ();
1240 /* Create the singleton holder for global state.
1241 Doing so also creates the pass manager and with it the passes. */
1242 g
= new gcc::context ();
1243 symtab
= new (ggc_cleared_alloc
<symbol_table
> ()) symbol_table ();
1245 statistics_early_init ();
1249 /* Return true if the current target supports -fsection-anchors. */
1252 target_supports_section_anchors_p (void)
1254 if (targetm
.min_anchor_offset
== 0 && targetm
.max_anchor_offset
== 0)
1257 if (targetm
.asm_out
.output_anchor
== NULL
)
1263 /* Default the align_* variables to 1 if they're still unset, and
1264 set up the align_*_log variables. */
1266 init_alignments (void)
1268 if (align_loops
<= 0)
1270 if (align_loops_max_skip
> align_loops
)
1271 align_loops_max_skip
= align_loops
- 1;
1272 align_loops_log
= floor_log2 (align_loops
* 2 - 1);
1273 if (align_jumps
<= 0)
1275 if (align_jumps_max_skip
> align_jumps
)
1276 align_jumps_max_skip
= align_jumps
- 1;
1277 align_jumps_log
= floor_log2 (align_jumps
* 2 - 1);
1278 if (align_labels
<= 0)
1280 align_labels_log
= floor_log2 (align_labels
* 2 - 1);
1281 if (align_labels_max_skip
> align_labels
)
1282 align_labels_max_skip
= align_labels
- 1;
1283 if (align_functions
<= 0)
1284 align_functions
= 1;
1285 align_functions_log
= floor_log2 (align_functions
* 2 - 1);
1288 /* Process the options that have been parsed. */
1290 process_options (void)
1292 /* Just in case lang_hooks.post_options ends up calling a debug_hook.
1293 This can happen with incorrect pre-processed input. */
1294 debug_hooks
= &do_nothing_debug_hooks
;
1296 maximum_field_alignment
= initial_max_fld_align
* BITS_PER_UNIT
;
1298 /* Allow the front end to perform consistency checks and do further
1299 initialization based on the command line options. This hook also
1300 sets the original filename if appropriate (e.g. foo.i -> foo.c)
1301 so we can correctly initialize debug output. */
1302 no_backend
= lang_hooks
.post_options (&main_input_filename
);
1304 /* Set default values for parameters relation to the Scalar Reduction
1305 of Aggregates passes (SRA and IP-SRA). We must do this here, rather
1306 than in opts.c:default_options_optimization as historically these
1307 tuning heuristics have been based on MOVE_RATIO, which on some
1308 targets requires other symbols from the backend. */
1309 maybe_set_param_value
1310 (PARAM_SRA_MAX_SCALARIZATION_SIZE_SPEED
,
1311 get_move_ratio (true) * UNITS_PER_WORD
,
1312 global_options
.x_param_values
, global_options_set
.x_param_values
);
1313 maybe_set_param_value
1314 (PARAM_SRA_MAX_SCALARIZATION_SIZE_SIZE
,
1315 get_move_ratio (false) * UNITS_PER_WORD
,
1316 global_options
.x_param_values
, global_options_set
.x_param_values
);
1318 /* Some machines may reject certain combinations of options. */
1319 targetm
.target_option
.override ();
1321 /* Avoid any informative notes in the second run of -fcompare-debug. */
1322 if (flag_compare_debug
)
1323 diagnostic_inhibit_notes (global_dc
);
1325 if (flag_section_anchors
&& !target_supports_section_anchors_p ())
1327 warning (OPT_fsection_anchors
,
1328 "this target does not support %qs", "-fsection-anchors");
1329 flag_section_anchors
= 0;
1332 if (flag_short_enums
== 2)
1333 flag_short_enums
= targetm
.default_short_enums ();
1335 /* Set aux_base_name if not already set. */
1338 else if (main_input_filename
)
1340 char *name
= xstrdup (lbasename (main_input_filename
));
1342 strip_off_ending (name
, strlen (name
));
1343 aux_base_name
= name
;
1346 aux_base_name
= "gccaux";
1350 || flag_graphite_identity
1352 || flag_loop_interchange
1353 || flag_loop_strip_mine
1354 || flag_loop_parallelize_all
1355 || flag_loop_unroll_jam
)
1356 sorry ("Graphite loop optimizations cannot be used (ISL is not available)"
1357 "(-fgraphite, -fgraphite-identity, -floop-block, "
1358 "-floop-interchange, -floop-strip-mine, -floop-parallelize-all, "
1359 "-floop-unroll-and-jam, and -ftree-loop-linear)");
1362 if (flag_check_pointer_bounds
)
1364 if (targetm
.chkp_bound_mode () == VOIDmode
)
1365 error ("-fcheck-pointer-bounds is not supported for this target");
1368 /* One region RA really helps to decrease the code size. */
1369 if (flag_ira_region
== IRA_REGION_AUTODETECT
)
1371 = optimize_size
|| !optimize
? IRA_REGION_ONE
: IRA_REGION_MIXED
;
1373 if (!abi_version_at_least (2))
1375 /* -fabi-version=1 support was removed after GCC 4.9. */
1376 error ("%<-fabi-version=1%> is no longer supported");
1377 flag_abi_version
= 2;
1380 /* Unrolling all loops implies that standard loop unrolling must also
1382 if (flag_unroll_all_loops
)
1383 flag_unroll_loops
= 1;
1385 /* web and rename-registers help when run after loop unrolling. */
1386 if (flag_web
== AUTODETECT_VALUE
)
1387 flag_web
= flag_unroll_loops
|| flag_peel_loops
;
1389 if (flag_rename_registers
== AUTODETECT_VALUE
)
1390 flag_rename_registers
= flag_unroll_loops
|| flag_peel_loops
;
1392 if (flag_non_call_exceptions
)
1393 flag_asynchronous_unwind_tables
= 1;
1394 if (flag_asynchronous_unwind_tables
)
1395 flag_unwind_tables
= 1;
1397 if (flag_value_profile_transformations
)
1398 flag_profile_values
= 1;
1400 /* Warn about options that are not supported on this machine. */
1401 #ifndef INSN_SCHEDULING
1402 if (flag_schedule_insns
|| flag_schedule_insns_after_reload
)
1403 warning (0, "instruction scheduling not supported on this target machine");
1406 if (flag_delayed_branch
)
1407 warning (0, "this target machine does not have delayed branches");
1410 user_label_prefix
= USER_LABEL_PREFIX
;
1411 if (flag_leading_underscore
!= -1)
1413 /* If the default prefix is more complicated than "" or "_",
1414 issue a warning and ignore this option. */
1415 if (user_label_prefix
[0] == 0 ||
1416 (user_label_prefix
[0] == '_' && user_label_prefix
[1] == 0))
1418 user_label_prefix
= flag_leading_underscore
? "_" : "";
1421 warning (0, "-f%sleading-underscore not supported on this target machine",
1422 flag_leading_underscore
? "" : "no-");
1425 /* If we are in verbose mode, write out the version and maybe all the
1426 option flags in use. */
1429 print_version (stderr
, "");
1431 print_switch_values (print_to_stderr
);
1434 if (flag_syntax_only
)
1436 write_symbols
= NO_DEBUG
;
1442 if (debug_info_level
== DINFO_LEVEL_NONE
)
1444 debug_info_level
= DINFO_LEVEL_NORMAL
;
1446 if (write_symbols
== NO_DEBUG
)
1447 write_symbols
= PREFERRED_DEBUGGING_TYPE
;
1450 debug_info_level
= DINFO_LEVEL_NONE
;
1453 if (flag_dump_final_insns
&& !flag_syntax_only
&& !no_backend
)
1455 FILE *final_output
= fopen (flag_dump_final_insns
, "w");
1458 error ("could not open final insn dump file %qs: %m",
1459 flag_dump_final_insns
);
1460 flag_dump_final_insns
= NULL
;
1462 else if (fclose (final_output
))
1464 error ("could not close zeroed insn dump file %qs: %m",
1465 flag_dump_final_insns
);
1466 flag_dump_final_insns
= NULL
;
1470 /* A lot of code assumes write_symbols == NO_DEBUG if the debugging
1472 if (debug_info_level
== DINFO_LEVEL_NONE
)
1473 write_symbols
= NO_DEBUG
;
1475 if (write_symbols
== NO_DEBUG
)
1477 #if defined(DBX_DEBUGGING_INFO)
1478 else if (write_symbols
== DBX_DEBUG
)
1479 debug_hooks
= &dbx_debug_hooks
;
1481 #if defined(XCOFF_DEBUGGING_INFO)
1482 else if (write_symbols
== XCOFF_DEBUG
)
1483 debug_hooks
= &xcoff_debug_hooks
;
1485 #ifdef SDB_DEBUGGING_INFO
1486 else if (write_symbols
== SDB_DEBUG
)
1487 debug_hooks
= &sdb_debug_hooks
;
1489 #ifdef DWARF2_DEBUGGING_INFO
1490 else if (write_symbols
== DWARF2_DEBUG
)
1491 debug_hooks
= &dwarf2_debug_hooks
;
1493 #ifdef VMS_DEBUGGING_INFO
1494 else if (write_symbols
== VMS_DEBUG
|| write_symbols
== VMS_AND_DWARF2_DEBUG
)
1495 debug_hooks
= &vmsdbg_debug_hooks
;
1498 error ("target system does not support the %qs debug format",
1499 debug_type_names
[write_symbols
]);
1501 /* We know which debug output will be used so we can set flag_var_tracking
1502 and flag_var_tracking_uninit if the user has not specified them. */
1503 if (debug_info_level
< DINFO_LEVEL_NORMAL
1504 || debug_hooks
->var_location
== do_nothing_debug_hooks
.var_location
)
1506 if (flag_var_tracking
== 1
1507 || flag_var_tracking_uninit
== 1)
1509 if (debug_info_level
< DINFO_LEVEL_NORMAL
)
1510 warning (0, "variable tracking requested, but useless unless "
1511 "producing debug info");
1513 warning (0, "variable tracking requested, but not supported "
1514 "by this debug format");
1516 flag_var_tracking
= 0;
1517 flag_var_tracking_uninit
= 0;
1520 /* The debug hooks are used to implement -fdump-go-spec because it
1521 gives a simple and stable API for all the information we need to
1523 if (flag_dump_go_spec
!= NULL
)
1524 debug_hooks
= dump_go_spec_init (flag_dump_go_spec
, debug_hooks
);
1526 /* If the user specifically requested variable tracking with tagging
1527 uninitialized variables, we need to turn on variable tracking.
1528 (We already determined above that variable tracking is feasible.) */
1529 if (flag_var_tracking_uninit
== 1)
1530 flag_var_tracking
= 1;
1532 if (flag_var_tracking
== AUTODETECT_VALUE
)
1533 flag_var_tracking
= optimize
>= 1;
1535 if (flag_var_tracking_uninit
== AUTODETECT_VALUE
)
1536 flag_var_tracking_uninit
= flag_var_tracking
;
1538 if (flag_var_tracking_assignments
== AUTODETECT_VALUE
)
1539 flag_var_tracking_assignments
= flag_var_tracking
1540 && !(flag_selective_scheduling
|| flag_selective_scheduling2
);
1542 if (flag_var_tracking_assignments_toggle
)
1543 flag_var_tracking_assignments
= !flag_var_tracking_assignments
;
1545 if (flag_var_tracking_assignments
&& !flag_var_tracking
)
1546 flag_var_tracking
= flag_var_tracking_assignments
= -1;
1548 if (flag_var_tracking_assignments
1549 && (flag_selective_scheduling
|| flag_selective_scheduling2
))
1550 warning (0, "var-tracking-assignments changes selective scheduling");
1552 if (flag_tree_cselim
== AUTODETECT_VALUE
)
1553 #ifdef HAVE_conditional_move
1554 flag_tree_cselim
= 1;
1556 flag_tree_cselim
= 0;
1559 /* If auxiliary info generation is desired, open the output file.
1560 This goes in the same directory as the source file--unlike
1561 all the other output files. */
1562 if (flag_gen_aux_info
)
1564 aux_info_file
= fopen (aux_info_file_name
, "w");
1565 if (aux_info_file
== 0)
1566 fatal_error ("can%'t open %s: %m", aux_info_file_name
);
1569 if (!targetm_common
.have_named_sections
)
1571 if (flag_function_sections
)
1573 warning (0, "-ffunction-sections not supported for this target");
1574 flag_function_sections
= 0;
1576 if (flag_data_sections
)
1578 warning (0, "-fdata-sections not supported for this target");
1579 flag_data_sections
= 0;
1583 #ifndef HAVE_prefetch
1584 if (flag_prefetch_loop_arrays
> 0)
1586 warning (0, "-fprefetch-loop-arrays not supported for this target");
1587 flag_prefetch_loop_arrays
= 0;
1590 if (flag_prefetch_loop_arrays
> 0 && !HAVE_prefetch
)
1592 warning (0, "-fprefetch-loop-arrays not supported for this target (try -march switches)");
1593 flag_prefetch_loop_arrays
= 0;
1597 /* This combination of options isn't handled for i386 targets and doesn't
1598 make much sense anyway, so don't allow it. */
1599 if (flag_prefetch_loop_arrays
> 0 && optimize_size
)
1601 warning (0, "-fprefetch-loop-arrays is not supported with -Os");
1602 flag_prefetch_loop_arrays
= 0;
1605 /* The presence of IEEE signaling NaNs, implies all math can trap. */
1606 if (flag_signaling_nans
)
1607 flag_trapping_math
= 1;
1609 /* We cannot reassociate if we want traps or signed zeros. */
1610 if (flag_associative_math
&& (flag_trapping_math
|| flag_signed_zeros
))
1612 warning (0, "-fassociative-math disabled; other options take precedence");
1613 flag_associative_math
= 0;
1616 /* With -fcx-limited-range, we do cheap and quick complex arithmetic. */
1617 if (flag_cx_limited_range
)
1618 flag_complex_method
= 0;
1620 /* With -fcx-fortran-rules, we do something in-between cheap and C99. */
1621 if (flag_cx_fortran_rules
)
1622 flag_complex_method
= 1;
1624 /* Targets must be able to place spill slots at lower addresses. If the
1625 target already uses a soft frame pointer, the transition is trivial. */
1626 if (!FRAME_GROWS_DOWNWARD
&& flag_stack_protect
)
1628 warning (0, "-fstack-protector not supported for this target");
1629 flag_stack_protect
= 0;
1631 if (!flag_stack_protect
)
1632 warn_stack_protect
= 0;
1634 /* Address Sanitizer needs porting to each target architecture. */
1636 if ((flag_sanitize
& SANITIZE_ADDRESS
)
1637 && !FRAME_GROWS_DOWNWARD
)
1640 "-fsanitize=address and -fsanitize=kernel-address "
1641 "are not supported for this target");
1642 flag_sanitize
&= ~SANITIZE_ADDRESS
;
1645 if ((flag_sanitize
& SANITIZE_USER_ADDRESS
)
1646 && targetm
.asan_shadow_offset
== NULL
)
1648 warning (0, "-fsanitize=address not supported for this target");
1649 flag_sanitize
&= ~SANITIZE_ADDRESS
;
1652 /* Enable -Werror=coverage-mismatch when -Werror and -Wno-error
1653 have not been set. */
1654 if (!global_options_set
.x_warnings_are_errors
1655 && warn_coverage_mismatch
1656 && (global_dc
->classify_diagnostic
[OPT_Wcoverage_mismatch
] ==
1658 diagnostic_classify_diagnostic (global_dc
, OPT_Wcoverage_mismatch
,
1659 DK_ERROR
, UNKNOWN_LOCATION
);
1661 /* Save the current optimization options. */
1662 optimization_default_node
= build_optimization_node (&global_options
);
1663 optimization_current_node
= optimization_default_node
;
1665 /* Disable use caller save optimization if profiler is active or port
1666 does not emit prologue and epilogue as RTL. */
1667 if (profile_flag
|| !HAVE_prologue
|| !HAVE_epilogue
)
1671 /* This function can be called multiple times to reinitialize the compiler
1672 back end when register classes or instruction sets have changed,
1673 before each function. */
1675 backend_init_target (void)
1677 /* Initialize alignment variables. */
1680 /* This depends on stack_pointer_rtx. */
1681 init_fake_stack_mems ();
1683 /* Sets static_base_value[HARD_FRAME_POINTER_REGNUM], which is
1685 init_alias_target ();
1687 /* Depends on HARD_FRAME_POINTER_REGNUM. */
1690 /* Depends on the enabled attribute. */
1693 /* The following initialization functions need to generate rtl, so
1694 provide a dummy function context for them. */
1695 init_dummy_function_start ();
1697 /* rtx_cost is mode-dependent, so cached values need to be recomputed
1698 on a mode change. */
1700 init_lower_subreg ();
1703 init_expr_target ();
1706 /* We may need to recompute regno_save_code[] and regno_restore_code[]
1707 after a mode change as well. */
1708 caller_save_initialized_p
= false;
1710 expand_dummy_function_end ();
1713 /* Initialize the compiler back end. This function is called only once,
1714 when starting the compiler. */
1721 init_inline_once ();
1722 init_varasm_once ();
1723 save_register_info ();
1725 /* Middle end needs this initialization for default mem attributes
1726 used by early calls to make_decl_rtl. */
1729 /* Middle end needs this initialization for mode tables used to assign
1730 modes to vector variables. */
1734 /* Initialize excess precision settings. */
1736 init_excess_precision (void)
1738 /* Adjust excess precision handling based on the target options. If
1739 the front end cannot handle it, flag_excess_precision_cmdline
1740 will already have been set accordingly in the post_options
1742 gcc_assert (flag_excess_precision_cmdline
!= EXCESS_PRECISION_DEFAULT
);
1743 flag_excess_precision
= flag_excess_precision_cmdline
;
1744 if (flag_unsafe_math_optimizations
)
1745 flag_excess_precision
= EXCESS_PRECISION_FAST
;
1746 if (flag_excess_precision
== EXCESS_PRECISION_STANDARD
)
1748 int flt_eval_method
= TARGET_FLT_EVAL_METHOD
;
1749 switch (flt_eval_method
)
1753 /* Either the target acts unpredictably (-1) or has all the
1754 operations required not to have excess precision (0). */
1755 flag_excess_precision
= EXCESS_PRECISION_FAST
;
1759 /* In these cases, predictable excess precision makes
1763 /* Any other implementation-defined FLT_EVAL_METHOD values
1764 require the compiler to handle the associated excess
1765 precision rules in excess_precision_type. */
1771 /* Initialize things that are both lang-dependent and target-dependent.
1772 This function can be called more than once if target parameters change. */
1774 lang_dependent_init_target (void)
1776 /* This determines excess precision settings. */
1777 init_excess_precision ();
1779 /* This creates various _DECL nodes, so needs to be called after the
1780 front end is initialized. It also depends on the HAVE_xxx macros
1781 generated from the target machine description. */
1784 gcc_assert (!this_target_rtl
->target_specific_initialized
);
1787 /* Perform initializations that are lang-dependent or target-dependent.
1788 but matters only for late optimizations and RTL generation. */
1790 static int rtl_initialized
;
1793 initialize_rtl (void)
1795 /* Initialization done just once per compilation, but delayed
1796 till code generation. */
1797 if (!rtl_initialized
)
1799 rtl_initialized
= true;
1801 /* Target specific RTL backend initialization. */
1802 if (!this_target_rtl
->target_specific_initialized
)
1804 backend_init_target ();
1805 this_target_rtl
->target_specific_initialized
= true;
1809 /* Language-dependent initialization. Returns nonzero on success. */
1811 lang_dependent_init (const char *name
)
1813 location_t save_loc
= input_location
;
1814 if (dump_base_name
== 0)
1815 dump_base_name
= name
&& name
[0] ? name
: "gccdump";
1817 /* Other front-end initialization. */
1818 input_location
= BUILTINS_LOCATION
;
1819 if (lang_hooks
.init () == 0)
1821 input_location
= save_loc
;
1825 init_asm_output (name
);
1827 /* If stack usage information is desired, open the output file. */
1828 if (flag_stack_usage
)
1829 stack_usage_file
= open_auxiliary_file ("su");
1832 /* This creates various _DECL nodes, so needs to be called after the
1833 front end is initialized. */
1836 /* Do the target-specific parts of the initialization. */
1837 lang_dependent_init_target ();
1841 /* If dbx symbol table desired, initialize writing it and output the
1842 predefined types. */
1843 timevar_push (TV_SYMOUT
);
1845 /* Now we have the correct original filename, we can initialize
1847 (*debug_hooks
->init
) (name
);
1849 timevar_pop (TV_SYMOUT
);
1856 /* Reinitialize everything when target parameters, such as register usage,
1859 target_reinit (void)
1861 struct rtl_data saved_x_rtl
;
1862 rtx
*saved_regno_reg_rtx
;
1863 tree saved_optimization_current_node
;
1864 struct target_optabs
*saved_this_fn_optabs
;
1866 /* Temporarily switch to the default optimization node, so that
1867 *this_target_optabs is set to the default, not reflecting
1868 whatever a previous function used for the optimize
1870 saved_optimization_current_node
= optimization_current_node
;
1871 saved_this_fn_optabs
= this_fn_optabs
;
1872 if (saved_optimization_current_node
!= optimization_default_node
)
1874 optimization_current_node
= optimization_default_node
;
1875 cl_optimization_restore
1877 TREE_OPTIMIZATION (optimization_default_node
));
1879 this_fn_optabs
= this_target_optabs
;
1881 /* Save *crtl and regno_reg_rtx around the reinitialization
1882 to allow target_reinit being called even after prepare_function_start. */
1883 saved_regno_reg_rtx
= regno_reg_rtx
;
1884 if (saved_regno_reg_rtx
)
1886 saved_x_rtl
= *crtl
;
1887 memset (crtl
, '\0', sizeof (*crtl
));
1888 regno_reg_rtx
= NULL
;
1891 this_target_rtl
->target_specific_initialized
= false;
1893 /* This initializes hard_frame_pointer, and calls init_reg_modes_target()
1894 to initialize reg_raw_mode[]. */
1897 /* This invokes target hooks to set fixed_reg[] etc, which is
1901 /* Reinitialize lang-dependent parts. */
1902 lang_dependent_init_target ();
1904 /* Restore the original optimization node. */
1905 if (saved_optimization_current_node
!= optimization_default_node
)
1907 optimization_current_node
= saved_optimization_current_node
;
1908 cl_optimization_restore (&global_options
,
1909 TREE_OPTIMIZATION (optimization_current_node
));
1911 this_fn_optabs
= saved_this_fn_optabs
;
1913 /* Restore regno_reg_rtx at the end, as free_after_compilation from
1914 expand_dummy_function_end clears it. */
1915 if (saved_regno_reg_rtx
)
1917 *crtl
= saved_x_rtl
;
1918 regno_reg_rtx
= saved_regno_reg_rtx
;
1919 saved_regno_reg_rtx
= NULL
;
1924 dump_memory_report (bool final
)
1926 dump_line_table_statistics ();
1927 ggc_print_statistics ();
1928 stringpool_statistics ();
1929 dump_tree_statistics ();
1930 dump_gimple_statistics ();
1931 dump_rtx_statistics ();
1932 dump_alloc_pool_statistics ();
1933 dump_bitmap_statistics ();
1934 dump_vec_loc_statistics ();
1935 dump_ggc_loc_statistics (final
);
1936 dump_alias_stats (stderr
);
1937 dump_pta_stats (stderr
);
1940 /* Clean up: close opened files, etc. */
1943 finalize (bool no_backend
)
1945 /* Close the dump files. */
1946 if (flag_gen_aux_info
)
1948 fclose (aux_info_file
);
1950 unlink (aux_info_file_name
);
1953 /* Close non-debugging input and output files. Take special care to note
1954 whether fclose returns an error, since the pages might still be on the
1955 buffer chain while the file is open. */
1959 if (ferror (asm_out_file
) != 0)
1960 fatal_error ("error writing to %s: %m", asm_file_name
);
1961 if (fclose (asm_out_file
) != 0)
1962 fatal_error ("error closing %s: %m", asm_file_name
);
1965 if (stack_usage_file
)
1966 fclose (stack_usage_file
);
1972 g
->get_passes ()->finish_optimization_passes ();
1978 dump_memory_report (true);
1981 dump_profile_report ();
1983 /* Language-specific end of compilation actions. */
1984 lang_hooks
.finish ();
1988 standard_type_bitsize (int bitsize
)
1990 /* As a special exception, we always want __int128 enabled if possible. */
1993 if (bitsize
== CHAR_TYPE_SIZE
1994 || bitsize
== SHORT_TYPE_SIZE
1995 || bitsize
== INT_TYPE_SIZE
1996 || bitsize
== LONG_TYPE_SIZE
1997 || bitsize
== LONG_LONG_TYPE_SIZE
)
2002 /* Initialize the compiler, and compile the input file. */
2008 /* Don't do any more if an error has already occurred. */
2013 timevar_start (TV_PHASE_SETUP
);
2015 /* This must be run always, because it is needed to compute the FP
2016 predefined macros, such as __LDBL_MAX__, for targets using non
2017 default FP formats. */
2018 init_adjust_machine_modes ();
2019 init_derived_machine_modes ();
2021 /* This must happen after the backend has a chance to process
2022 command line options, but before the parsers are
2024 for (i
= 0; i
< NUM_INT_N_ENTS
; i
++)
2025 if (targetm
.scalar_mode_supported_p (int_n_data
[i
].m
)
2026 && ! standard_type_bitsize (int_n_data
[i
].bitsize
))
2027 int_n_enabled_p
[i
] = true;
2029 int_n_enabled_p
[i
] = false;
2031 /* Set up the back-end if requested. */
2035 /* Language-dependent initialization. Returns true on success. */
2036 if (lang_dependent_init (main_input_filename
))
2038 /* Initialize yet another pass. */
2040 ggc_protect_identifiers
= true;
2042 symtab
->initialize ();
2043 init_final (main_input_filename
);
2044 coverage_init (aux_base_name
);
2046 invoke_plugin_callbacks (PLUGIN_START_UNIT
, NULL
);
2048 timevar_stop (TV_PHASE_SETUP
);
2054 timevar_stop (TV_PHASE_SETUP
);
2057 timevar_start (TV_PHASE_FINALIZE
);
2059 finalize (no_backend
);
2061 timevar_stop (TV_PHASE_FINALIZE
);
2065 toplev::toplev (bool use_TV_TOTAL
, bool init_signals
)
2066 : m_use_TV_TOTAL (use_TV_TOTAL
),
2067 m_init_signals (init_signals
)
2069 if (!m_use_TV_TOTAL
)
2075 timevar_stop (TV_TOTAL
);
2076 timevar_print (stderr
);
2080 toplev::start_timevars ()
2082 if (time_report
|| !quiet_flag
|| flag_detailed_statistics
)
2085 timevar_start (TV_TOTAL
);
2088 /* Entry point of cc1, cc1plus, jc1, f771, etc.
2089 Exit code is FATAL_EXIT_CODE if can't open files or if there were
2090 any errors, or SUCCESS_EXIT_CODE if compilation succeeded.
2092 It is not safe to call this function more than once. */
2095 toplev::main (int argc
, char **argv
)
2097 /* Parsing and gimplification sometimes need quite large stack.
2098 Increase stack size limits if possible. */
2099 stack_limit_increase (64 * 1024 * 1024);
2101 expandargv (&argc
, &argv
);
2103 /* Initialization of GCC's environment, and diagnostics. */
2104 general_init (argv
[0], m_init_signals
);
2106 /* One-off initialization of options that does not need to be
2107 repeated when options are added for particular functions. */
2108 init_options_once ();
2110 /* Initialize global options structures; this must be repeated for
2111 each structure used for parsing options. */
2112 init_options_struct (&global_options
, &global_options_set
);
2113 lang_hooks
.init_options_struct (&global_options
);
2115 /* Convert the options to an array. */
2116 decode_cmdline_options_to_array_default_mask (argc
,
2117 CONST_CAST2 (const char **,
2119 &save_decoded_options
,
2120 &save_decoded_options_count
);
2122 /* Perform language-specific options initialization. */
2123 lang_hooks
.init_options (save_decoded_options_count
, save_decoded_options
);
2125 /* Parse the options and do minimal processing; basically just
2126 enough to default flags appropriately. */
2127 decode_options (&global_options
, &global_options_set
,
2128 save_decoded_options
, save_decoded_options_count
,
2129 UNKNOWN_LOCATION
, global_dc
);
2131 handle_common_deferred_options ();
2135 initialize_plugins ();
2138 print_version (stderr
, "");
2141 print_plugins_help (stderr
, "");
2143 /* Exit early if we can (e.g. -help). */
2144 if (!exit_after_options
)
2151 if (warningcount
|| errorcount
|| werrorcount
)
2152 print_ignored_options ();
2154 /* Invoke registered plugin callbacks if any. Some plugins could
2155 emit some diagnostics here. */
2156 invoke_plugin_callbacks (PLUGIN_FINISH
, NULL
);
2158 diagnostic_finish (global_dc
);
2160 finalize_plugins ();
2161 location_adhoc_data_fini (line_table
);
2162 if (seen_error () || werrorcount
)
2163 return (FATAL_EXIT_CODE
);
2165 return (SUCCESS_EXIT_CODE
);
2168 /* For those that want to, this function aims to clean up enough state that
2169 you can call toplev::main again. */
2171 toplev::finalize (void)
2173 rtl_initialized
= false;
2174 this_target_rtl
->target_specific_initialized
= false;
2176 /* Needs to be called before cgraph_c_finalize since it uses symtab. */
2177 ipa_reference_c_finalize ();
2179 cgraph_c_finalize ();
2180 cgraphunit_c_finalize ();
2181 dwarf2out_c_finalize ();
2183 ipa_cp_c_finalize ();
2184 ira_costs_c_finalize ();
2185 params_c_finalize ();
2187 finalize_options_struct (&global_options
);
2188 finalize_options_struct (&global_options_set
);
2190 XDELETEVEC (save_decoded_options
);
2192 /* Clean up the context (and pass_manager etc). */
2196 obstack_free (&opts_obstack
, NULL
);