1 /* Command line option handling.
2 Copyright (C) 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009
3 Free Software Foundation, Inc.
4 Contributed by Neil Booth.
6 This file is part of GCC.
8 GCC is free software; you can redistribute it and/or modify it under
9 the terms of the GNU General Public License as published by the Free
10 Software Foundation; either version 3, or (at your option) any later
13 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14 WARRANTY; without even the implied warranty of MERCHANTABILITY or
15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING3. If not see
20 <http://www.gnu.org/licenses/>. */
25 #include "coretypes.h"
32 #include "langhooks.h"
38 #include "diagnostic.h"
39 #include "tm_p.h" /* For OPTIMIZATION_OPTIONS. */
40 #include "insn-attr.h" /* For INSN_SCHEDULING. */
42 #include "tree-pass.h"
47 #include "lto-streamer.h"
49 /* Value of the -G xx switch, and whether it was passed or not. */
50 unsigned HOST_WIDE_INT g_switch_value
;
53 /* Same for selective scheduling. */
54 bool sel_sched_switch_set
;
56 /* True if we should exit after parsing options. */
57 bool exit_after_options
;
59 /* True to warn about any objects definitions whose size is larger
60 than N bytes. Also want about function definitions whose returned
61 values are larger than N bytes, where N is `larger_than_size'. */
62 bool warn_larger_than
;
63 HOST_WIDE_INT larger_than_size
;
65 /* True to warn about any function whose frame size is larger
67 bool warn_frame_larger_than
;
68 HOST_WIDE_INT frame_larger_than_size
;
70 /* Type(s) of debugging information we are producing (if any). See
71 flags.h for the definitions of the different possible types of
72 debugging information. */
73 enum debug_info_type write_symbols
= NO_DEBUG
;
75 /* Level of debugging information we are producing. See flags.h for
76 the definitions of the different possible levels. */
77 enum debug_info_level debug_info_level
= DINFO_LEVEL_NONE
;
79 /* A major contribution to object and executable size is debug
80 information size. A major contribution to debug information size
81 is struct descriptions replicated in several object files. The
82 following flags attempt to reduce this information. The basic
83 idea is to not emit struct debugging information in the current
84 compilation unit when that information will be generated by
85 another compilation unit.
87 Debug information for a struct defined in the current source
88 file should be generated in the object file. Likewise the
89 debug information for a struct defined in a header should be
90 generated in the object file of the corresponding source file.
91 Both of these case are handled when the base name of the file of
92 the struct definition matches the base name of the source file
93 of the current compilation unit. This matching emits minimal
94 struct debugging information.
96 The base file name matching rule above will fail to emit debug
97 information for structs defined in system headers. So a second
98 category of files includes system headers in addition to files
101 The remaining types of files are library headers and application
102 headers. We cannot currently distinguish these two types. */
104 enum debug_struct_file
106 DINFO_STRUCT_FILE_NONE
, /* Debug no structs. */
107 DINFO_STRUCT_FILE_BASE
, /* Debug structs defined in files with the
108 same base name as the compilation unit. */
109 DINFO_STRUCT_FILE_SYS
, /* Also debug structs defined in system
111 DINFO_STRUCT_FILE_ANY
/* Debug structs defined in all files. */
114 /* Generic structs (e.g. templates not explicitly specialized)
115 may not have a compilation unit associated with them, and so
116 may need to be treated differently from ordinary structs.
118 Structs only handled by reference (indirectly), will also usually
119 not need as much debugging information. */
121 static enum debug_struct_file debug_struct_ordinary
[DINFO_USAGE_NUM_ENUMS
]
122 = { DINFO_STRUCT_FILE_ANY
, DINFO_STRUCT_FILE_ANY
, DINFO_STRUCT_FILE_ANY
};
123 static enum debug_struct_file debug_struct_generic
[DINFO_USAGE_NUM_ENUMS
]
124 = { DINFO_STRUCT_FILE_ANY
, DINFO_STRUCT_FILE_ANY
, DINFO_STRUCT_FILE_ANY
};
126 /* Parse the -femit-struct-debug-detailed option value
127 and set the flag variables. */
129 #define MATCH( prefix, string ) \
130 ((strncmp (prefix, string, sizeof prefix - 1) == 0) \
131 ? ((string += sizeof prefix - 1), 1) : 0)
134 set_struct_debug_option (const char *spec
)
136 /* various labels for comparison */
137 static char dfn_lbl
[] = "dfn:", dir_lbl
[] = "dir:", ind_lbl
[] = "ind:";
138 static char ord_lbl
[] = "ord:", gen_lbl
[] = "gen:";
139 static char none_lbl
[] = "none", any_lbl
[] = "any";
140 static char base_lbl
[] = "base", sys_lbl
[] = "sys";
142 enum debug_struct_file files
= DINFO_STRUCT_FILE_ANY
;
143 /* Default is to apply to as much as possible. */
144 enum debug_info_usage usage
= DINFO_USAGE_NUM_ENUMS
;
145 int ord
= 1, gen
= 1;
148 if (MATCH (dfn_lbl
, spec
))
149 usage
= DINFO_USAGE_DFN
;
150 else if (MATCH (dir_lbl
, spec
))
151 usage
= DINFO_USAGE_DIR_USE
;
152 else if (MATCH (ind_lbl
, spec
))
153 usage
= DINFO_USAGE_IND_USE
;
155 /* Generics or not? */
156 if (MATCH (ord_lbl
, spec
))
158 else if (MATCH (gen_lbl
, spec
))
161 /* What allowable environment? */
162 if (MATCH (none_lbl
, spec
))
163 files
= DINFO_STRUCT_FILE_NONE
;
164 else if (MATCH (any_lbl
, spec
))
165 files
= DINFO_STRUCT_FILE_ANY
;
166 else if (MATCH (sys_lbl
, spec
))
167 files
= DINFO_STRUCT_FILE_SYS
;
168 else if (MATCH (base_lbl
, spec
))
169 files
= DINFO_STRUCT_FILE_BASE
;
171 error ("argument %qs to %<-femit-struct-debug-detailed%> not recognized",
174 /* Effect the specification. */
175 if (usage
== DINFO_USAGE_NUM_ENUMS
)
179 debug_struct_ordinary
[DINFO_USAGE_DFN
] = files
;
180 debug_struct_ordinary
[DINFO_USAGE_DIR_USE
] = files
;
181 debug_struct_ordinary
[DINFO_USAGE_IND_USE
] = files
;
185 debug_struct_generic
[DINFO_USAGE_DFN
] = files
;
186 debug_struct_generic
[DINFO_USAGE_DIR_USE
] = files
;
187 debug_struct_generic
[DINFO_USAGE_IND_USE
] = files
;
193 debug_struct_ordinary
[usage
] = files
;
195 debug_struct_generic
[usage
] = files
;
199 set_struct_debug_option (spec
+1);
202 /* No more -femit-struct-debug-detailed specifications.
205 error ("argument %qs to %<-femit-struct-debug-detailed%> unknown",
207 if (debug_struct_ordinary
[DINFO_USAGE_DIR_USE
]
208 < debug_struct_ordinary
[DINFO_USAGE_IND_USE
]
209 || debug_struct_generic
[DINFO_USAGE_DIR_USE
]
210 < debug_struct_generic
[DINFO_USAGE_IND_USE
])
211 error ("%<-femit-struct-debug-detailed=dir:...%> must allow at least"
212 " as much as %<-femit-struct-debug-detailed=ind:...%>");
216 /* Find the base name of a path, stripping off both directories and
217 a single final extension. */
219 base_of_path (const char *path
, const char **base_out
)
221 const char *base
= path
;
223 const char *p
= path
;
227 if (IS_DIR_SEPARATOR(c
))
242 /* Match the base name of a file to the base name of a compilation unit. */
244 static const char *main_input_basename
;
245 static int main_input_baselength
;
248 matches_main_base (const char *path
)
250 /* Cache the last query. */
251 static const char *last_path
= NULL
;
252 static int last_match
= 0;
253 if (path
!= last_path
)
256 int length
= base_of_path (path
, &base
);
258 last_match
= (length
== main_input_baselength
259 && memcmp (base
, main_input_basename
, length
) == 0);
264 #ifdef DEBUG_DEBUG_STRUCT
267 dump_struct_debug (tree type
, enum debug_info_usage usage
,
268 enum debug_struct_file criterion
, int generic
,
269 int matches
, int result
)
271 /* Find the type name. */
272 tree type_decl
= TYPE_STUB_DECL (type
);
274 const char *name
= 0;
275 if (TREE_CODE (t
) == TYPE_DECL
)
278 name
= IDENTIFIER_POINTER (t
);
280 fprintf (stderr
, " struct %d %s %s %s %s %d %p %s\n",
282 DECL_IN_SYSTEM_HEADER (type_decl
) ? "sys" : "usr",
283 matches
? "bas" : "hdr",
284 generic
? "gen" : "ord",
285 usage
== DINFO_USAGE_DFN
? ";" :
286 usage
== DINFO_USAGE_DIR_USE
? "." : "*",
288 (void*) type_decl
, name
);
291 #define DUMP_GSTRUCT(type, usage, criterion, generic, matches, result) \
292 dump_struct_debug (type, usage, criterion, generic, matches, result)
296 #define DUMP_GSTRUCT(type, usage, criterion, generic, matches, result) \
303 should_emit_struct_debug (tree type
, enum debug_info_usage usage
)
305 enum debug_struct_file criterion
;
307 bool generic
= lang_hooks
.types
.generic_p (type
);
310 criterion
= debug_struct_generic
[usage
];
312 criterion
= debug_struct_ordinary
[usage
];
314 if (criterion
== DINFO_STRUCT_FILE_NONE
)
315 return DUMP_GSTRUCT (type
, usage
, criterion
, generic
, false, false);
316 if (criterion
== DINFO_STRUCT_FILE_ANY
)
317 return DUMP_GSTRUCT (type
, usage
, criterion
, generic
, false, true);
319 type_decl
= TYPE_STUB_DECL (type
);
321 if (criterion
== DINFO_STRUCT_FILE_SYS
&& DECL_IN_SYSTEM_HEADER (type_decl
))
322 return DUMP_GSTRUCT (type
, usage
, criterion
, generic
, false, true);
324 if (matches_main_base (DECL_SOURCE_FILE (type_decl
)))
325 return DUMP_GSTRUCT (type
, usage
, criterion
, generic
, true, true);
326 return DUMP_GSTRUCT (type
, usage
, criterion
, generic
, false, false);
329 /* Nonzero means use GNU-only extensions in the generated symbolic
330 debugging information. Currently, this only has an effect when
331 write_symbols is set to DBX_DEBUG, XCOFF_DEBUG, or DWARF_DEBUG. */
332 bool use_gnu_debug_info_extensions
;
334 /* The default visibility for all symbols (unless overridden) */
335 enum symbol_visibility default_visibility
= VISIBILITY_DEFAULT
;
337 /* Global visibility options. */
338 struct visibility_flags visibility_options
;
340 /* What to print when a switch has no documentation. */
341 static const char undocumented_msg
[] = N_("This switch lacks documentation");
343 /* Used for bookkeeping on whether user set these flags so
344 -fprofile-use/-fprofile-generate does not use them. */
345 static bool profile_arc_flag_set
, flag_profile_values_set
;
346 static bool flag_unroll_loops_set
, flag_tracer_set
;
347 static bool flag_value_profile_transformations_set
;
348 static bool flag_peel_loops_set
, flag_branch_probabilities_set
;
349 static bool flag_inline_functions_set
, flag_ipa_cp_set
, flag_ipa_cp_clone_set
;
350 static bool flag_predictive_commoning_set
, flag_unswitch_loops_set
, flag_gcse_after_reload_set
;
352 /* Functions excluded from profiling. */
354 typedef char *char_p
; /* For DEF_VEC_P. */
356 DEF_VEC_ALLOC_P(char_p
,heap
);
358 static VEC(char_p
,heap
) *flag_instrument_functions_exclude_functions
;
359 static VEC(char_p
,heap
) *flag_instrument_functions_exclude_files
;
361 typedef const char *const_char_p
; /* For DEF_VEC_P. */
362 DEF_VEC_P(const_char_p
);
363 DEF_VEC_ALLOC_P(const_char_p
,heap
);
365 static VEC(const_char_p
,heap
) *ignored_options
;
367 /* Language specific warning pass for unused results. */
368 bool flag_warn_unused_result
= false;
370 /* Input file names. */
371 const char **in_fnames
;
372 unsigned num_in_fnames
;
374 static int common_handle_option (size_t scode
, const char *arg
, int value
,
375 unsigned int lang_mask
);
376 static void handle_param (const char *);
377 static unsigned int handle_option (const char **argv
, unsigned int lang_mask
);
378 static char *write_langs (unsigned int lang_mask
);
379 static void complain_wrong_lang (const char *, const struct cl_option
*,
380 unsigned int lang_mask
);
381 static void handle_options (unsigned int, const char **, unsigned int);
382 static void set_debug_level (enum debug_info_type type
, int extended
,
385 /* If ARG is a non-negative integer made up solely of digits, return its
386 value, otherwise return -1. */
388 integral_argument (const char *arg
)
392 while (*p
&& ISDIGIT (*p
))
401 /* Return a malloced slash-separated list of languages in MASK. */
403 write_langs (unsigned int mask
)
405 unsigned int n
= 0, len
= 0;
406 const char *lang_name
;
409 for (n
= 0; (lang_name
= lang_names
[n
]) != 0; n
++)
410 if (mask
& (1U << n
))
411 len
+= strlen (lang_name
) + 1;
413 result
= XNEWVEC (char, len
);
415 for (n
= 0; (lang_name
= lang_names
[n
]) != 0; n
++)
416 if (mask
& (1U << n
))
420 strcpy (result
+ len
, lang_name
);
421 len
+= strlen (lang_name
);
429 /* Complain that switch OPT_INDEX does not apply to this front end. */
431 complain_wrong_lang (const char *text
, const struct cl_option
*option
,
432 unsigned int lang_mask
)
434 char *ok_langs
, *bad_lang
;
436 /* The LTO front end inherits all the options from the first front
437 end that was used. However, not all the original front end
438 options make sense in LTO.
440 A real solution would be to filter this in collect2, but collect2
441 does not have access to all the option attributes to know what to
442 filter. So, in lto1 we silently accept inherited flags and do
444 if (lang_mask
& CL_LTO
)
447 ok_langs
= write_langs (option
->flags
);
448 bad_lang
= write_langs (lang_mask
);
450 /* Eventually this should become a hard error IMO. */
451 warning (0, "command line option \"%s\" is valid for %s but not for %s",
452 text
, ok_langs
, bad_lang
);
458 /* Buffer the unknown option described by the string OPT. Currently,
459 we only complain about unknown -Wno-* options if they may have
460 prevented a diagnostic. Otherwise, we just ignore them.
461 Note that if we do complain, it is only as a warning, not an error;
462 passing the compiler an unrecognised -Wno-* option should never
463 change whether the compilation succeeds or fails. */
465 static void postpone_unknown_option_warning(const char *opt
)
467 VEC_safe_push (const_char_p
, heap
, ignored_options
, opt
);
470 /* Produce a warning for each option previously buffered. */
472 void print_ignored_options (void)
474 location_t saved_loc
= input_location
;
478 while (!VEC_empty (const_char_p
, ignored_options
))
481 opt
= VEC_pop (const_char_p
, ignored_options
);
482 warning (0, "unrecognized command line option \"%s\"", opt
);
485 input_location
= saved_loc
;
488 /* Handle the switch beginning at ARGV for the language indicated by
489 LANG_MASK. Returns the number of switches consumed. */
491 handle_option (const char **argv
, unsigned int lang_mask
)
494 const char *opt
, *arg
= 0;
497 unsigned int result
= 0;
498 const struct cl_option
*option
;
502 opt_index
= find_opt (opt
+ 1, lang_mask
| CL_COMMON
| CL_TARGET
);
503 if (opt_index
== cl_options_count
504 && (opt
[1] == 'W' || opt
[1] == 'f' || opt
[1] == 'm')
505 && opt
[2] == 'n' && opt
[3] == 'o' && opt
[4] == '-')
507 /* Drop the "no-" from negative switches. */
508 size_t len
= strlen (opt
) - 3;
510 dup
= XNEWVEC (char, len
+ 1);
513 memcpy (dup
+ 2, opt
+ 5, len
- 2 + 1);
516 opt_index
= find_opt (opt
+ 1, lang_mask
| CL_COMMON
| CL_TARGET
);
517 if (opt_index
== cl_options_count
&& opt
[1] == 'W')
519 /* We don't generate warnings for unknown -Wno-* options
520 unless we issue diagnostics. */
521 postpone_unknown_option_warning (argv
[0]);
527 if (opt_index
== cl_options_count
)
530 option
= &cl_options
[opt_index
];
532 /* Reject negative form of switches that don't take negatives as
534 if (!value
&& (option
->flags
& CL_REJECT_NEGATIVE
))
537 /* We've recognized this switch. */
540 /* Check to see if the option is disabled for this configuration. */
541 if (option
->flags
& CL_DISABLED
)
543 error ("command line option %qs"
544 " is not supported by this configuration", opt
);
548 /* Sort out any argument the switch takes. */
549 if (option
->flags
& CL_JOINED
)
551 /* Have arg point to the original switch. This is because
552 some code, such as disable_builtin_function, expects its
553 argument to be persistent until the program exits. */
554 arg
= argv
[0] + cl_options
[opt_index
].opt_len
+ 1;
556 arg
+= strlen ("no-");
558 if (*arg
== '\0' && !(option
->flags
& CL_MISSING_OK
))
560 if (option
->flags
& CL_SEPARATE
)
566 /* Missing argument. */
570 else if (option
->flags
& CL_SEPARATE
)
576 /* Now we've swallowed any potential argument, complain if this
577 is a switch for a different front end. */
578 if (!(option
->flags
& (lang_mask
| CL_COMMON
| CL_TARGET
)))
580 complain_wrong_lang (argv
[0], option
, lang_mask
);
583 else if ((option
->flags
& CL_TARGET
)
584 && (option
->flags
& CL_LANG_ALL
)
585 && !(option
->flags
& lang_mask
))
587 /* Complain for target flag language mismatches if any languages
589 complain_wrong_lang (argv
[0], option
, lang_mask
);
593 if (arg
== NULL
&& (option
->flags
& (CL_JOINED
| CL_SEPARATE
)))
595 if (!lang_hooks
.missing_argument (opt
, opt_index
))
596 error ("missing argument to \"%s\"", opt
);
600 /* If the switch takes an integer, convert it. */
601 if (arg
&& (option
->flags
& CL_UINTEGER
))
603 value
= integral_argument (arg
);
606 error ("argument to \"%s\" should be a non-negative integer",
612 if (option
->flag_var
)
613 set_option (option
, value
, arg
);
615 if (option
->flags
& lang_mask
)
617 if (lang_hooks
.handle_option (opt_index
, arg
, value
) == 0)
620 lto_register_user_option (opt_index
, arg
, value
, lang_mask
);
623 if (result
&& (option
->flags
& CL_COMMON
))
625 if (common_handle_option (opt_index
, arg
, value
, lang_mask
) == 0)
628 lto_register_user_option (opt_index
, arg
, value
, CL_COMMON
);
631 if (result
&& (option
->flags
& CL_TARGET
))
633 if (!targetm
.handle_option (opt_index
, arg
, value
))
636 lto_register_user_option (opt_index
, arg
, value
, CL_TARGET
);
645 /* Handle FILENAME from the command line. */
647 add_input_filename (const char *filename
)
650 in_fnames
= XRESIZEVEC (const char *, in_fnames
, num_in_fnames
);
651 in_fnames
[num_in_fnames
- 1] = filename
;
654 /* Add comma-separated strings to a char_p vector. */
657 add_comma_separated_to_vector (VEC(char_p
,heap
) **pvec
, const char* arg
)
664 /* We never free this string. */
677 VEC_safe_push (char_p
, heap
, *pvec
, token_start
);
680 if (*r
== '\\' && r
[1] == ',')
688 if (*token_start
!= '\0')
689 VEC_safe_push (char_p
, heap
, *pvec
, token_start
);
692 /* Return whether we should exclude FNDECL from instrumentation. */
695 flag_instrument_functions_exclude_p (tree fndecl
)
697 if (VEC_length (char_p
, flag_instrument_functions_exclude_functions
) > 0)
703 name
= lang_hooks
.decl_printable_name (fndecl
, 0);
705 VEC_iterate (char_p
, flag_instrument_functions_exclude_functions
,
709 if (strstr (name
, s
) != NULL
)
714 if (VEC_length (char_p
, flag_instrument_functions_exclude_files
) > 0)
720 name
= DECL_SOURCE_FILE (fndecl
);
722 VEC_iterate (char_p
, flag_instrument_functions_exclude_files
, i
, s
);
725 if (strstr (name
, s
) != NULL
)
734 /* Decode and handle the vector of command line options. LANG_MASK
735 contains has a single bit set representing the current
738 handle_options (unsigned int argc
, const char **argv
, unsigned int lang_mask
)
742 for (i
= 1; i
< argc
; i
+= n
)
744 const char *opt
= argv
[i
];
746 /* Interpret "-" or a non-switch as a file name. */
747 if (opt
[0] != '-' || opt
[1] == '\0')
749 if (main_input_filename
== NULL
)
751 main_input_filename
= opt
;
752 main_input_baselength
753 = base_of_path (main_input_filename
, &main_input_basename
);
755 add_input_filename (opt
);
760 n
= handle_option (argv
+ i
, lang_mask
);
765 error ("unrecognized command line option \"%s\"", opt
);
770 /* Parse command line options and set default flag values. Do minimal
771 options processing. */
773 decode_options (unsigned int argc
, const char **argv
)
775 static bool first_time_p
= true;
776 static int initial_min_crossjump_insns
;
777 static int initial_max_fields_for_field_sensitive
;
778 static int initial_loop_invariant_max_bbs_in_loop
;
779 static unsigned int initial_lang_mask
;
781 unsigned int i
, lang_mask
;
789 /* Perform language-specific options initialization. */
790 initial_lang_mask
= lang_mask
= lang_hooks
.init_options (argc
, argv
);
792 lang_hooks
.initialize_diagnostics (global_dc
);
794 /* Save initial values of parameters we reset. */
795 initial_min_crossjump_insns
796 = compiler_params
[PARAM_MIN_CROSSJUMP_INSNS
].value
;
797 initial_max_fields_for_field_sensitive
798 = compiler_params
[PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE
].value
;
799 initial_loop_invariant_max_bbs_in_loop
800 = compiler_params
[PARAM_LOOP_INVARIANT_MAX_BBS_IN_LOOP
].value
;
803 lang_mask
= initial_lang_mask
;
805 /* Scan to see what optimization level has been specified. That will
806 determine the default value of many flags. */
807 for (i
= 1; i
< argc
; i
++)
809 if (!strcmp (argv
[i
], "-O"))
814 else if (argv
[i
][0] == '-' && argv
[i
][1] == 'O')
816 /* Handle -Os, -O2, -O3, -O69, ... */
817 const char *p
= &argv
[i
][2];
819 if ((p
[0] == 's') && (p
[1] == 0))
823 /* Optimizing for size forces optimize to be 2. */
828 const int optimize_val
= read_integral_parameter (p
, p
- 2, -1);
829 if (optimize_val
!= -1)
831 optimize
= optimize_val
;
832 if ((unsigned int) optimize
> 255)
840 /* Use priority coloring if cover classes is not defined for the
842 if (targetm
.ira_cover_classes
== NULL
)
843 flag_ira_algorithm
= IRA_ALGORITHM_PRIORITY
;
845 /* -O1 optimizations. */
846 opt1
= (optimize
>= 1);
847 flag_defer_pop
= opt1
;
849 flag_delayed_branch
= opt1
;
851 #ifdef CAN_DEBUG_WITHOUT_FP
852 flag_omit_frame_pointer
= opt1
;
854 flag_guess_branch_prob
= opt1
;
855 flag_cprop_registers
= opt1
;
856 flag_forward_propagate
= opt1
;
857 flag_if_conversion
= opt1
;
858 flag_if_conversion2
= opt1
;
859 flag_ipa_pure_const
= opt1
;
860 flag_ipa_reference
= opt1
;
861 flag_merge_constants
= opt1
;
862 flag_split_wide_types
= opt1
;
863 flag_tree_ccp
= opt1
;
864 flag_tree_dce
= opt1
;
865 flag_tree_dom
= opt1
;
866 flag_tree_dse
= opt1
;
867 flag_tree_ter
= opt1
;
868 flag_tree_sra
= opt1
;
869 flag_tree_copyrename
= opt1
;
870 flag_tree_fre
= opt1
;
871 flag_tree_copy_prop
= opt1
;
872 flag_tree_sink
= opt1
;
875 /* -O2 optimizations. */
876 opt2
= (optimize
>= 2);
878 flag_graphite_identity
= opt2
;
879 flag_graphite_cloog_opts
= opt2
;
880 flag_loop_strip_mine
= opt2
;
881 flag_loop_interchange
= opt2
;
882 flag_loop_block
= opt2
;
884 flag_inline_small_functions
= opt2
;
885 flag_indirect_inlining
= opt2
;
886 flag_thread_jumps
= opt2
;
887 flag_crossjumping
= opt2
;
888 flag_optimize_sibling_calls
= opt2
;
889 flag_cse_follow_jumps
= opt2
;
891 flag_expensive_optimizations
= opt2
;
892 flag_rerun_cse_after_loop
= opt2
;
893 flag_caller_saves
= opt2
;
894 flag_peephole2
= opt2
;
895 #ifdef INSN_SCHEDULING
896 /* Only run the pre-regalloc scheduling pass if optimizing for speed. */
897 flag_schedule_insns
= opt2
&& ! optimize_size
;
898 flag_schedule_insns_after_reload
= opt2
;
901 flag_strict_aliasing
= opt2
;
902 flag_strict_overflow
= opt2
;
903 flag_reorder_blocks
= opt2
;
904 flag_reorder_functions
= opt2
;
905 flag_tree_vrp
= opt2
;
906 flag_tree_builtin_call_dce
= opt2
;
907 flag_tree_pre
= opt2
;
908 flag_tree_switch_conversion
= 1;
912 /* Track fields in field-sensitive alias analysis. */
913 set_param_value ("max-fields-for-field-sensitive",
914 (opt2
) ? 100 : initial_max_fields_for_field_sensitive
);
916 /* For -O1 only do loop invariant motion for very small loops. */
917 set_param_value ("loop-invariant-max-bbs-in-loop",
918 (opt2
) ? initial_loop_invariant_max_bbs_in_loop
: 1000);
920 /* -O3 optimizations. */
921 opt3
= (optimize
>= 3);
922 flag_predictive_commoning
= opt3
;
923 flag_inline_functions
= opt3
;
924 flag_unswitch_loops
= opt3
;
925 flag_gcse_after_reload
= opt3
;
926 flag_tree_vectorize
= opt3
;
927 flag_ipa_cp_clone
= opt3
;
928 if (flag_ipa_cp_clone
)
931 /* Just -O1/-O0 optimizations. */
932 opt1_max
= (optimize
<= 1);
933 align_loops
= opt1_max
;
934 align_jumps
= opt1_max
;
935 align_labels
= opt1_max
;
936 align_functions
= opt1_max
;
940 /* Inlining of functions reducing size is a good idea regardless of them
941 being declared inline. */
942 flag_inline_functions
= 1;
944 /* Basic optimization options. */
949 /* We want to crossjump as much as possible. */
950 set_param_value ("min-crossjump-insns", 1);
953 set_param_value ("min-crossjump-insns", initial_min_crossjump_insns
);
957 /* Initialize whether `char' is signed. */
958 flag_signed_char
= DEFAULT_SIGNED_CHAR
;
959 /* Set this to a special "uninitialized" value. The actual default is
960 set after target options have been processed. */
961 flag_short_enums
= 2;
963 /* Initialize target_flags before OPTIMIZATION_OPTIONS so the latter can
965 target_flags
= targetm
.default_target_flags
;
967 /* Some targets have ABI-specified unwind tables. */
968 flag_unwind_tables
= targetm
.unwind_tables_default
;
971 /* Clear any options currently held for LTO. */
972 lto_clear_user_options ();
974 #ifdef OPTIMIZATION_OPTIONS
975 /* Allow default optimizations to be specified on a per-machine basis. */
976 OPTIMIZATION_OPTIONS (optimize
, optimize_size
);
979 handle_options (argc
, argv
, lang_mask
);
981 /* Make DUMP_BASE_NAME relative to the AUX_BASE_NAME directory,
982 typically the directory to contain the object file. */
983 if (aux_base_name
&& ! IS_ABSOLUTE_PATH (dump_base_name
))
985 const char *aux_base
;
987 base_of_path (aux_base_name
, &aux_base
);
988 if (aux_base_name
!= aux_base
)
990 int dir_len
= aux_base
- aux_base_name
;
991 char *new_dump_base_name
=
992 XNEWVEC (char, strlen(dump_base_name
) + dir_len
+ 1);
994 /* Copy directory component from AUX_BASE_NAME. */
995 memcpy (new_dump_base_name
, aux_base_name
, dir_len
);
996 /* Append existing DUMP_BASE_NAME. */
997 strcpy (new_dump_base_name
+ dir_len
, dump_base_name
);
998 dump_base_name
= new_dump_base_name
;
1002 /* Handle related options for unit-at-a-time, toplevel-reorder, and
1004 if (!flag_unit_at_a_time
)
1006 if (flag_section_anchors
== 1)
1007 error ("Section anchors must be disabled when unit-at-a-time "
1009 flag_section_anchors
= 0;
1010 if (flag_toplevel_reorder
== 1)
1011 error ("Toplevel reorder must be disabled when unit-at-a-time "
1013 flag_toplevel_reorder
= 0;
1015 /* Unless the user has asked for section anchors, we disable toplevel
1016 reordering at -O0 to disable transformations that might be surprising
1017 to end users and to get -fno-toplevel-reorder tested. */
1018 if (!optimize
&& flag_toplevel_reorder
== 2 && flag_section_anchors
!= 1)
1020 flag_toplevel_reorder
= 0;
1021 flag_section_anchors
= 0;
1023 if (!flag_toplevel_reorder
)
1025 if (flag_section_anchors
== 1)
1026 error ("section anchors must be disabled when toplevel reorder"
1028 flag_section_anchors
= 0;
1034 flag_pic
= flag_pie
;
1035 if (flag_pic
&& !flag_pie
)
1041 /* Inlining does not work if not optimizing,
1042 so force it not to be done. */
1047 /* The optimization to partition hot and cold basic blocks into separate
1048 sections of the .o and executable files does not work (currently)
1049 with exception handling. This is because there is no support for
1050 generating unwind info. If flag_exceptions is turned on we need to
1051 turn off the partitioning optimization. */
1053 if (flag_exceptions
&& flag_reorder_blocks_and_partition
1054 && (USING_SJLJ_EXCEPTIONS
1055 #ifdef TARGET_UNWIND_INFO
1060 inform (input_location
,
1061 "-freorder-blocks-and-partition does not work with exceptions on this architecture");
1062 flag_reorder_blocks_and_partition
= 0;
1063 flag_reorder_blocks
= 1;
1066 /* If user requested unwind info, then turn off the partitioning
1069 if (flag_unwind_tables
&& ! targetm
.unwind_tables_default
1070 && flag_reorder_blocks_and_partition
1071 && (USING_SJLJ_EXCEPTIONS
1072 #ifdef TARGET_UNWIND_INFO
1077 inform (input_location
,
1078 "-freorder-blocks-and-partition does not support unwind info on this architecture");
1079 flag_reorder_blocks_and_partition
= 0;
1080 flag_reorder_blocks
= 1;
1083 /* If the target requested unwind info, then turn off the partitioning
1084 optimization with a different message. Likewise, if the target does not
1085 support named sections. */
1087 if (flag_reorder_blocks_and_partition
1088 && (!targetm
.have_named_sections
1089 || (flag_unwind_tables
&& targetm
.unwind_tables_default
1090 && (USING_SJLJ_EXCEPTIONS
1091 #ifdef TARGET_UNWIND_INFO
1096 inform (input_location
,
1097 "-freorder-blocks-and-partition does not work on this architecture");
1098 flag_reorder_blocks_and_partition
= 0;
1099 flag_reorder_blocks
= 1;
1102 /* Pipelining of outer loops is only possible when general pipelining
1103 capabilities are requested. */
1104 if (!flag_sel_sched_pipelining
)
1105 flag_sel_sched_pipelining_outer_loops
= 0;
1107 if (!targetm
.ira_cover_classes
1108 && flag_ira_algorithm
== IRA_ALGORITHM_CB
)
1110 inform (input_location
,
1111 "-fira-algorithm=CB does not work on this architecture");
1112 flag_ira_algorithm
= IRA_ALGORITHM_PRIORITY
;
1115 /* Save the current optimization options if this is the first call. */
1118 optimization_default_node
= build_optimization_node ();
1119 optimization_current_node
= optimization_default_node
;
1120 first_time_p
= false;
1122 if (flag_conserve_stack
)
1124 if (!PARAM_SET_P (PARAM_LARGE_STACK_FRAME
))
1125 PARAM_VALUE (PARAM_LARGE_STACK_FRAME
) = 100;
1126 if (!PARAM_SET_P (PARAM_STACK_FRAME_GROWTH
))
1127 PARAM_VALUE (PARAM_STACK_FRAME_GROWTH
) = 40;
1130 if (flag_lto
|| flag_whopr
)
1133 flag_generate_lto
= 1;
1135 /* When generating IL, do not operate in whole-program mode.
1136 Otherwise, symbols will be privatized too early, causing link
1138 flag_whole_program
= 0;
1140 /* FIXME lto. Disable var-tracking until debug information
1141 is properly handled in free_lang_data. */
1142 flag_var_tracking
= 0;
1144 error ("LTO support has not been enabled in this configuration");
1148 /* Reconcile -flto and -fwhopr. Set additional flags as appropriate and
1149 check option consistency. */
1150 if (flag_lto
&& flag_whopr
)
1151 error ("-flto and -fwhopr are mutually exclusive");
1154 #define LEFT_COLUMN 27
1156 /* Output ITEM, of length ITEM_WIDTH, in the left column,
1157 followed by word-wrapped HELP in a second column. */
1159 wrap_help (const char *help
,
1161 unsigned int item_width
,
1162 unsigned int columns
)
1164 unsigned int col_width
= LEFT_COLUMN
;
1165 unsigned int remaining
, room
, len
;
1167 remaining
= strlen (help
);
1171 room
= columns
- 3 - MAX (col_width
, item_width
);
1180 for (i
= 0; help
[i
]; i
++)
1182 if (i
>= room
&& len
!= remaining
)
1186 else if ((help
[i
] == '-' || help
[i
] == '/')
1187 && help
[i
+ 1] != ' '
1188 && i
> 0 && ISALPHA (help
[i
- 1]))
1193 printf( " %-*.*s %.*s\n", col_width
, item_width
, item
, len
, help
);
1195 while (help
[len
] == ' ')
1203 /* Print help for a specific front-end, etc. */
1205 print_filtered_help (unsigned int include_flags
,
1206 unsigned int exclude_flags
,
1207 unsigned int any_flags
,
1208 unsigned int columns
)
1212 static char *printed
= NULL
;
1214 bool displayed
= false;
1216 if (include_flags
== CL_PARAMS
)
1218 for (i
= 0; i
< LAST_PARAM
; i
++)
1220 const char *param
= compiler_params
[i
].option
;
1222 help
= compiler_params
[i
].help
;
1223 if (help
== NULL
|| *help
== '\0')
1225 if (exclude_flags
& CL_UNDOCUMENTED
)
1227 help
= undocumented_msg
;
1230 /* Get the translation. */
1233 wrap_help (help
, param
, strlen (param
), columns
);
1240 printed
= XCNEWVAR (char, cl_options_count
);
1242 for (i
= 0; i
< cl_options_count
; i
++)
1244 static char new_help
[128];
1245 const struct cl_option
*option
= cl_options
+ i
;
1250 if (include_flags
== 0
1251 || ((option
->flags
& include_flags
) != include_flags
))
1253 if ((option
->flags
& any_flags
) == 0)
1257 /* Skip unwanted switches. */
1258 if ((option
->flags
& exclude_flags
) != 0)
1262 /* Skip switches that have already been printed. */
1268 help
= option
->help
;
1271 if (exclude_flags
& CL_UNDOCUMENTED
)
1273 help
= undocumented_msg
;
1276 /* Get the translation. */
1279 /* Find the gap between the name of the
1280 option and its descriptive text. */
1281 tab
= strchr (help
, '\t');
1290 opt
= option
->opt_text
;
1294 /* With the -Q option enabled we change the descriptive text associated
1295 with an option to be an indication of its current setting. */
1298 if (len
< (LEFT_COLUMN
+ 2))
1299 strcpy (new_help
, "\t\t");
1301 strcpy (new_help
, "\t");
1303 if (option
->flag_var
!= NULL
)
1305 if (option
->flags
& CL_JOINED
)
1307 if (option
->var_type
== CLVC_STRING
)
1309 if (* (const char **) option
->flag_var
!= NULL
)
1310 snprintf (new_help
+ strlen (new_help
),
1311 sizeof (new_help
) - strlen (new_help
),
1312 * (const char **) option
->flag_var
);
1315 sprintf (new_help
+ strlen (new_help
),
1316 "%#x", * (int *) option
->flag_var
);
1319 strcat (new_help
, option_enabled (i
)
1320 ? _("[enabled]") : _("[disabled]"));
1326 wrap_help (help
, opt
, len
, columns
);
1332 unsigned int langs
= include_flags
& CL_LANG_ALL
;
1335 printf (_(" No options with the desired characteristics were found\n"));
1340 /* PR 31349: Tell the user how to see all of the
1341 options supported by a specific front end. */
1342 for (i
= 0; (1U << i
) < CL_LANG_ALL
; i
++)
1343 if ((1U << i
) & langs
)
1344 printf (_(" None found. Use --help=%s to show *all* the options supported by the %s front-end\n"),
1345 lang_names
[i
], lang_names
[i
]);
1349 else if (! displayed
)
1350 printf (_(" All options with the desired characteristics have already been displayed\n"));
1355 /* Display help for a specified type of option.
1356 The options must have ALL of the INCLUDE_FLAGS set
1357 ANY of the flags in the ANY_FLAGS set
1358 and NONE of the EXCLUDE_FLAGS set. */
1360 print_specific_help (unsigned int include_flags
,
1361 unsigned int exclude_flags
,
1362 unsigned int any_flags
)
1364 unsigned int all_langs_mask
= (1U << cl_lang_count
) - 1;
1365 const char * description
= NULL
;
1366 const char * descrip_extra
= "";
1369 static unsigned int columns
= 0;
1371 /* Sanity check: Make sure that we do not have more
1372 languages than we have bits available to enumerate them. */
1373 gcc_assert ((1U << cl_lang_count
) < CL_MIN_OPTION_CLASS
);
1375 /* If we have not done so already, obtain
1376 the desired maximum width of the output. */
1381 GET_ENVIRONMENT (p
, "COLUMNS");
1384 int value
= atoi (p
);
1391 /* Use a reasonable default. */
1395 /* Decide upon the title for the options that we are going to display. */
1396 for (i
= 0, flag
= 1; flag
<= CL_MAX_OPTION_CLASS
; flag
<<= 1, i
++)
1398 switch (flag
& include_flags
)
1404 description
= _("The following options are target specific");
1407 description
= _("The following options control compiler warning messages");
1409 case CL_OPTIMIZATION
:
1410 description
= _("The following options control optimizations");
1413 description
= _("The following options are language-independent");
1416 description
= _("The --param option recognizes the following as parameters");
1419 if (i
>= cl_lang_count
)
1421 if (exclude_flags
& all_langs_mask
)
1422 description
= _("The following options are specific to just the language ");
1424 description
= _("The following options are supported by the language ");
1425 descrip_extra
= lang_names
[i
];
1430 if (description
== NULL
)
1434 if (include_flags
& CL_UNDOCUMENTED
)
1435 description
= _("The following options are not documented");
1436 else if (include_flags
& CL_SEPARATE
)
1437 description
= _("The following options take separate arguments");
1438 else if (include_flags
& CL_JOINED
)
1439 description
= _("The following options take joined arguments");
1442 internal_error ("unrecognized include_flags 0x%x passed to print_specific_help",
1449 if (any_flags
& all_langs_mask
)
1450 description
= _("The following options are language-related");
1452 description
= _("The following options are language-independent");
1456 printf ("%s%s:\n", description
, descrip_extra
);
1457 print_filtered_help (include_flags
, exclude_flags
, any_flags
, columns
);
1460 /* Handle target- and language-independent options. Return zero to
1461 generate an "unknown option" message. Only options that need
1462 extra handling need to be listed here; if you simply want
1463 VALUE assigned to a variable, it happens automatically. */
1466 common_handle_option (size_t scode
, const char *arg
, int value
,
1467 unsigned int lang_mask
)
1469 static bool verbose
= false;
1470 enum opt_code code
= (enum opt_code
) scode
;
1485 unsigned int all_langs_mask
= (1U << cl_lang_count
) - 1;
1486 unsigned int undoc_mask
;
1489 undoc_mask
= (verbose
| extra_warnings
) ? 0 : CL_UNDOCUMENTED
;
1490 /* First display any single language specific options. */
1491 for (i
= 0; i
< cl_lang_count
; i
++)
1493 (1U << i
, (all_langs_mask
& (~ (1U << i
))) | undoc_mask
, 0);
1494 /* Next display any multi language specific options. */
1495 print_specific_help (0, undoc_mask
, all_langs_mask
);
1496 /* Then display any remaining, non-language options. */
1497 for (i
= CL_MIN_OPTION_CLASS
; i
<= CL_MAX_OPTION_CLASS
; i
<<= 1)
1498 print_specific_help (i
, undoc_mask
, 0);
1499 exit_after_options
= true;
1503 case OPT_ftarget_help
:
1504 case OPT__target_help
:
1505 print_specific_help (CL_TARGET
, CL_UNDOCUMENTED
, 0);
1506 exit_after_options
= true;
1508 /* Allow the target a chance to give the user some additional information. */
1509 if (targetm
.target_help
)
1510 targetm
.target_help ();
1516 const char * a
= arg
;
1517 unsigned int include_flags
= 0;
1518 /* Note - by default we include undocumented options when listing
1519 specific classes. If you only want to see documented options
1520 then add ",^undocumented" to the --help= option. E.g.:
1522 --help=target,^undocumented */
1523 unsigned int exclude_flags
= 0;
1525 /* Walk along the argument string, parsing each word in turn.
1527 arg = [^]{word}[,{arg}]
1528 word = {optimizers|target|warnings|undocumented|
1529 params|common|<language>} */
1534 const char * string
;
1539 { "optimizers", CL_OPTIMIZATION
},
1540 { "target", CL_TARGET
},
1541 { "warnings", CL_WARNING
},
1542 { "undocumented", CL_UNDOCUMENTED
},
1543 { "params", CL_PARAMS
},
1544 { "joined", CL_JOINED
},
1545 { "separate", CL_SEPARATE
},
1546 { "common", CL_COMMON
},
1549 unsigned int * pflags
;
1551 unsigned int lang_flag
, specific_flag
;
1558 pflags
= & exclude_flags
;
1561 pflags
= & include_flags
;
1563 comma
= strchr (a
, ',');
1574 /* Check to see if the string matches an option class name. */
1575 for (i
= 0, specific_flag
= 0; specifics
[i
].string
!= NULL
; i
++)
1576 if (strncasecmp (a
, specifics
[i
].string
, len
) == 0)
1578 specific_flag
= specifics
[i
].flag
;
1582 /* Check to see if the string matches a language name.
1583 Note - we rely upon the alpha-sorted nature of the entries in
1584 the lang_names array, specifically that shorter names appear
1585 before their longer variants. (i.e. C before C++). That way
1586 when we are attempting to match --help=c for example we will
1587 match with C first and not C++. */
1588 for (i
= 0, lang_flag
= 0; i
< cl_lang_count
; i
++)
1589 if (strncasecmp (a
, lang_names
[i
], len
) == 0)
1591 lang_flag
= 1U << i
;
1595 if (specific_flag
!= 0)
1598 * pflags
|= specific_flag
;
1601 /* The option's argument matches both the start of a
1602 language name and the start of an option class name.
1603 We have a special case for when the user has
1604 specified "--help=c", but otherwise we have to issue
1606 if (strncasecmp (a
, "c", len
) == 0)
1607 * pflags
|= lang_flag
;
1610 "warning: --help argument %.*s is ambiguous, please be more specific\n",
1614 else if (lang_flag
!= 0)
1615 * pflags
|= lang_flag
;
1618 "warning: unrecognized argument to --help= option: %.*s\n",
1627 print_specific_help (include_flags
, exclude_flags
, 0);
1628 exit_after_options
= true;
1634 exit_after_options
= true;
1638 g_switch_value
= value
;
1639 g_switch_set
= true;
1644 /* Currently handled in a prescan. */
1648 enable_warning_as_error (arg
, value
, lang_mask
);
1651 case OPT_Wlarger_than_
:
1652 /* This form corresponds to -Wlarger-than-.
1653 Kept for backward compatibility.
1654 Don't use it as the first argument of warning(). */
1656 case OPT_Wlarger_than_eq
:
1657 larger_than_size
= value
;
1658 warn_larger_than
= value
!= -1;
1661 case OPT_Wframe_larger_than_
:
1662 frame_larger_than_size
= value
;
1663 warn_frame_larger_than
= value
!= -1;
1666 case OPT_Wstrict_aliasing
:
1667 set_Wstrict_aliasing (value
);
1670 case OPT_Wstrict_aliasing_
:
1671 warn_strict_aliasing
= value
;
1674 case OPT_Wstrict_overflow
:
1675 warn_strict_overflow
= (value
1676 ? (int) WARN_STRICT_OVERFLOW_CONDITIONAL
1680 case OPT_Wstrict_overflow_
:
1681 warn_strict_overflow
= value
;
1685 warn_unused
= value
;
1690 aux_info_file_name
= arg
;
1691 flag_gen_aux_info
= 1;
1695 aux_base_name
= arg
;
1698 case OPT_auxbase_strip
:
1700 char *tmp
= xstrdup (arg
);
1701 strip_off_ending (tmp
, strlen (tmp
));
1703 aux_base_name
= tmp
;
1708 decode_d_option (arg
);
1712 dump_base_name
= arg
;
1715 case OPT_falign_functions_
:
1716 align_functions
= value
;
1719 case OPT_falign_jumps_
:
1720 align_jumps
= value
;
1723 case OPT_falign_labels_
:
1724 align_labels
= value
;
1727 case OPT_falign_loops_
:
1728 align_loops
= value
;
1731 case OPT_fbranch_probabilities
:
1732 flag_branch_probabilities_set
= true;
1735 case OPT_fcall_used_
:
1736 fix_register (arg
, 0, 1);
1739 case OPT_fcall_saved_
:
1740 fix_register (arg
, 0, 0);
1744 dbg_cnt_process_opt (arg
);
1747 case OPT_fdbg_cnt_list
:
1748 dbg_cnt_list_all_counters ();
1751 case OPT_fdebug_prefix_map_
:
1752 add_debug_prefix_map (arg
);
1755 case OPT_fdiagnostics_show_location_
:
1756 if (!strcmp (arg
, "once"))
1757 diagnostic_prefixing_rule (global_dc
) = DIAGNOSTICS_SHOW_PREFIX_ONCE
;
1758 else if (!strcmp (arg
, "every-line"))
1759 diagnostic_prefixing_rule (global_dc
)
1760 = DIAGNOSTICS_SHOW_PREFIX_EVERY_LINE
;
1765 case OPT_fdiagnostics_show_option
:
1766 global_dc
->show_option_requested
= true;
1770 if (!dump_switch_p (arg
))
1774 case OPT_fexcess_precision_
:
1775 if (!strcmp (arg
, "fast"))
1776 flag_excess_precision_cmdline
= EXCESS_PRECISION_FAST
;
1777 else if (!strcmp (arg
, "standard"))
1778 flag_excess_precision_cmdline
= EXCESS_PRECISION_STANDARD
;
1780 error ("unknown excess precision style \"%s\"", arg
);
1783 case OPT_ffast_math
:
1784 set_fast_math_flags (value
);
1787 case OPT_funsafe_math_optimizations
:
1788 set_unsafe_math_optimizations_flags (value
);
1792 fix_register (arg
, 1, 1);
1795 case OPT_finline_limit_
:
1796 case OPT_finline_limit_eq
:
1797 set_param_value ("max-inline-insns-single", value
/ 2);
1798 set_param_value ("max-inline-insns-auto", value
/ 2);
1801 case OPT_finstrument_functions_exclude_function_list_
:
1802 add_comma_separated_to_vector
1803 (&flag_instrument_functions_exclude_functions
, arg
);
1806 case OPT_finstrument_functions_exclude_file_list_
:
1807 add_comma_separated_to_vector
1808 (&flag_instrument_functions_exclude_files
, arg
);
1811 case OPT_fmessage_length_
:
1812 pp_set_line_maximum_length (global_dc
->printer
, value
);
1815 case OPT_fpack_struct_
:
1816 if (value
<= 0 || (value
& (value
- 1)) || value
> 16)
1817 error ("structure alignment must be a small power of two, not %d", value
);
1820 initial_max_fld_align
= value
;
1821 maximum_field_alignment
= value
* BITS_PER_UNIT
;
1825 case OPT_fpeel_loops
:
1826 flag_peel_loops_set
= true;
1830 #ifdef ENABLE_PLUGIN
1831 add_new_plugin (arg
);
1833 error ("Plugin support is disabled. Configure with --enable-plugin.");
1837 case OPT_fplugin_arg_
:
1838 #ifdef ENABLE_PLUGIN
1839 parse_plugin_arg_opt (arg
);
1841 error ("Plugin support is disabled. Configure with --enable-plugin.");
1845 case OPT_fprofile_arcs
:
1846 profile_arc_flag_set
= true;
1849 case OPT_finline_functions
:
1850 flag_inline_functions_set
= true;
1853 case OPT_fprofile_dir_
:
1854 profile_data_prefix
= xstrdup (arg
);
1857 case OPT_fprofile_use_
:
1858 profile_data_prefix
= xstrdup (arg
);
1859 flag_profile_use
= true;
1861 /* No break here - do -fprofile-use processing. */
1862 case OPT_fprofile_use
:
1863 if (!flag_branch_probabilities_set
)
1864 flag_branch_probabilities
= value
;
1865 if (!flag_profile_values_set
)
1866 flag_profile_values
= value
;
1867 if (!flag_unroll_loops_set
)
1868 flag_unroll_loops
= value
;
1869 if (!flag_peel_loops_set
)
1870 flag_peel_loops
= value
;
1871 if (!flag_tracer_set
)
1872 flag_tracer
= value
;
1873 if (!flag_value_profile_transformations_set
)
1874 flag_value_profile_transformations
= value
;
1875 if (!flag_inline_functions_set
)
1876 flag_inline_functions
= value
;
1877 if (!flag_ipa_cp_set
)
1878 flag_ipa_cp
= value
;
1879 if (!flag_ipa_cp_clone_set
1880 && value
&& flag_ipa_cp
)
1881 flag_ipa_cp_clone
= value
;
1882 if (!flag_predictive_commoning_set
)
1883 flag_predictive_commoning
= value
;
1884 if (!flag_unswitch_loops_set
)
1885 flag_unswitch_loops
= value
;
1886 if (!flag_gcse_after_reload_set
)
1887 flag_gcse_after_reload
= value
;
1890 case OPT_fprofile_generate_
:
1891 profile_data_prefix
= xstrdup (arg
);
1893 /* No break here - do -fprofile-generate processing. */
1894 case OPT_fprofile_generate
:
1895 if (!profile_arc_flag_set
)
1896 profile_arc_flag
= value
;
1897 if (!flag_profile_values_set
)
1898 flag_profile_values
= value
;
1899 if (!flag_value_profile_transformations_set
)
1900 flag_value_profile_transformations
= value
;
1901 if (!flag_inline_functions_set
)
1902 flag_inline_functions
= value
;
1905 case OPT_fprofile_values
:
1906 flag_profile_values_set
= true;
1909 case OPT_fvisibility_
:
1911 if (!strcmp(arg
, "default"))
1912 default_visibility
= VISIBILITY_DEFAULT
;
1913 else if (!strcmp(arg
, "internal"))
1914 default_visibility
= VISIBILITY_INTERNAL
;
1915 else if (!strcmp(arg
, "hidden"))
1916 default_visibility
= VISIBILITY_HIDDEN
;
1917 else if (!strcmp(arg
, "protected"))
1918 default_visibility
= VISIBILITY_PROTECTED
;
1920 error ("unrecognized visibility value \"%s\"", arg
);
1925 flag_value_profile_transformations_set
= true;
1928 case OPT_frandom_seed
:
1929 /* The real switch is -fno-random-seed. */
1932 set_random_seed (NULL
);
1935 case OPT_frandom_seed_
:
1936 set_random_seed (arg
);
1939 case OPT_fselective_scheduling
:
1940 case OPT_fselective_scheduling2
:
1941 sel_sched_switch_set
= true;
1944 case OPT_fsched_verbose_
:
1945 #ifdef INSN_SCHEDULING
1946 fix_sched_param ("verbose", arg
);
1952 case OPT_fsched_stalled_insns_
:
1953 flag_sched_stalled_insns
= value
;
1954 if (flag_sched_stalled_insns
== 0)
1955 flag_sched_stalled_insns
= -1;
1958 case OPT_fsched_stalled_insns_dep_
:
1959 flag_sched_stalled_insns_dep
= value
;
1962 case OPT_fstack_check_
:
1963 if (!strcmp (arg
, "no"))
1964 flag_stack_check
= NO_STACK_CHECK
;
1965 else if (!strcmp (arg
, "generic"))
1966 /* This is the old stack checking method. */
1967 flag_stack_check
= STACK_CHECK_BUILTIN
1968 ? FULL_BUILTIN_STACK_CHECK
1969 : GENERIC_STACK_CHECK
;
1970 else if (!strcmp (arg
, "specific"))
1971 /* This is the new stack checking method. */
1972 flag_stack_check
= STACK_CHECK_BUILTIN
1973 ? FULL_BUILTIN_STACK_CHECK
1974 : STACK_CHECK_STATIC_BUILTIN
1975 ? STATIC_BUILTIN_STACK_CHECK
1976 : GENERIC_STACK_CHECK
;
1978 warning (0, "unknown stack check parameter \"%s\"", arg
);
1981 case OPT_fstack_check
:
1982 /* This is the same as the "specific" mode above. */
1984 flag_stack_check
= STACK_CHECK_BUILTIN
1985 ? FULL_BUILTIN_STACK_CHECK
1986 : STACK_CHECK_STATIC_BUILTIN
1987 ? STATIC_BUILTIN_STACK_CHECK
1988 : GENERIC_STACK_CHECK
;
1990 flag_stack_check
= NO_STACK_CHECK
;
1993 case OPT_fstack_limit
:
1994 /* The real switch is -fno-stack-limit. */
1997 stack_limit_rtx
= NULL_RTX
;
2000 case OPT_fstack_limit_register_
:
2002 int reg
= decode_reg_name (arg
);
2004 error ("unrecognized register name \"%s\"", arg
);
2006 stack_limit_rtx
= gen_rtx_REG (Pmode
, reg
);
2010 case OPT_fstack_limit_symbol_
:
2011 stack_limit_rtx
= gen_rtx_SYMBOL_REF (Pmode
, ggc_strdup (arg
));
2014 case OPT_ftree_vectorizer_verbose_
:
2015 vect_set_verbosity_level (arg
);
2018 case OPT_ftls_model_
:
2019 if (!strcmp (arg
, "global-dynamic"))
2020 flag_tls_default
= TLS_MODEL_GLOBAL_DYNAMIC
;
2021 else if (!strcmp (arg
, "local-dynamic"))
2022 flag_tls_default
= TLS_MODEL_LOCAL_DYNAMIC
;
2023 else if (!strcmp (arg
, "initial-exec"))
2024 flag_tls_default
= TLS_MODEL_INITIAL_EXEC
;
2025 else if (!strcmp (arg
, "local-exec"))
2026 flag_tls_default
= TLS_MODEL_LOCAL_EXEC
;
2028 warning (0, "unknown tls-model \"%s\"", arg
);
2031 case OPT_fira_algorithm_
:
2032 if (!strcmp (arg
, "CB"))
2033 flag_ira_algorithm
= IRA_ALGORITHM_CB
;
2034 else if (!strcmp (arg
, "priority"))
2035 flag_ira_algorithm
= IRA_ALGORITHM_PRIORITY
;
2037 warning (0, "unknown ira algorithm \"%s\"", arg
);
2040 case OPT_fira_region_
:
2041 if (!strcmp (arg
, "one"))
2042 flag_ira_region
= IRA_REGION_ONE
;
2043 else if (!strcmp (arg
, "all"))
2044 flag_ira_region
= IRA_REGION_ALL
;
2045 else if (!strcmp (arg
, "mixed"))
2046 flag_ira_region
= IRA_REGION_MIXED
;
2048 warning (0, "unknown ira region \"%s\"", arg
);
2051 case OPT_fira_verbose_
:
2052 flag_ira_verbose
= value
;
2056 flag_tracer_set
= true;
2060 flag_ipa_cp_set
= true;
2063 case OPT_fipa_cp_clone
:
2064 flag_ipa_cp_clone_set
= true;
2067 case OPT_fpredictive_commoning
:
2068 flag_predictive_commoning_set
= true;
2071 case OPT_funswitch_loops
:
2072 flag_unswitch_loops_set
= true;
2075 case OPT_fgcse_after_reload
:
2076 flag_gcse_after_reload_set
= true;
2079 case OPT_funroll_loops
:
2080 flag_unroll_loops_set
= true;
2084 set_debug_level (NO_DEBUG
, DEFAULT_GDB_EXTENSIONS
, arg
);
2088 set_debug_level (SDB_DEBUG
, false, arg
);
2092 if (value
< 2 || value
> 4)
2093 error ("dwarf version %d is not supported", value
);
2095 dwarf_version
= value
;
2096 set_debug_level (DWARF2_DEBUG
, false, "");
2100 set_debug_level (NO_DEBUG
, 2, arg
);
2105 set_debug_level (DBX_DEBUG
, code
== OPT_gstabs_
, arg
);
2109 set_debug_level (VMS_DEBUG
, false, arg
);
2114 set_debug_level (XCOFF_DEBUG
, code
== OPT_gxcoff_
, arg
);
2118 asm_file_name
= arg
;
2121 case OPT_pedantic_errors
:
2122 flag_pedantic_errors
= pedantic
= 1;
2126 case OPT_fcse_skip_blocks
:
2127 case OPT_floop_optimize
:
2128 case OPT_frerun_loop_opt
:
2129 case OPT_fstrength_reduce
:
2130 case OPT_ftree_store_copy_prop
:
2131 case OPT_fforce_addr
:
2132 case OPT_ftree_salias
:
2133 case OPT_ftree_store_ccp
:
2134 /* These are no-ops, preserved for backward compatibility. */
2137 case OPT_fuse_linker_plugin
:
2138 /* No-op. Used by the driver and passed to us because it starts with f.*/
2142 /* If the flag was handled in a standard way, assume the lack of
2143 processing here is intentional. */
2144 gcc_assert (cl_options
[scode
].flag_var
);
2151 /* Handle --param NAME=VALUE. */
2153 handle_param (const char *carg
)
2158 arg
= xstrdup (carg
);
2159 equal
= strchr (arg
, '=');
2161 error ("%s: --param arguments should be of the form NAME=VALUE", arg
);
2164 value
= integral_argument (equal
+ 1);
2166 error ("invalid --param value %qs", equal
+ 1);
2170 set_param_value (arg
, value
);
2177 /* Used to set the level of strict aliasing warnings,
2178 when no level is specified (i.e., when -Wstrict-aliasing, and not
2179 -Wstrict-aliasing=level was given).
2180 ONOFF is assumed to take value 1 when -Wstrict-aliasing is specified,
2181 and 0 otherwise. After calling this function, wstrict_aliasing will be
2182 set to the default value of -Wstrict_aliasing=level, currently 3. */
2184 set_Wstrict_aliasing (int onoff
)
2186 gcc_assert (onoff
== 0 || onoff
== 1);
2188 warn_strict_aliasing
= 3;
2190 warn_strict_aliasing
= 0;
2193 /* The following routines are useful in setting all the flags that
2194 -ffast-math and -fno-fast-math imply. */
2196 set_fast_math_flags (int set
)
2198 flag_unsafe_math_optimizations
= set
;
2199 set_unsafe_math_optimizations_flags (set
);
2200 flag_finite_math_only
= set
;
2201 flag_errno_math
= !set
;
2204 flag_signaling_nans
= 0;
2205 flag_rounding_math
= 0;
2206 flag_cx_limited_range
= 1;
2210 /* When -funsafe-math-optimizations is set the following
2211 flags are set as well. */
2213 set_unsafe_math_optimizations_flags (int set
)
2215 flag_trapping_math
= !set
;
2216 flag_signed_zeros
= !set
;
2217 flag_associative_math
= set
;
2218 flag_reciprocal_math
= set
;
2221 /* Return true iff flags are set as if -ffast-math. */
2223 fast_math_flags_set_p (void)
2225 return (!flag_trapping_math
2226 && flag_unsafe_math_optimizations
2227 && flag_finite_math_only
2228 && !flag_signed_zeros
2229 && !flag_errno_math
);
2232 /* Return true iff flags are set as if -ffast-math but using the flags stored
2233 in the struct cl_optimization structure. */
2235 fast_math_flags_struct_set_p (struct cl_optimization
*opt
)
2237 return (!opt
->flag_trapping_math
2238 && opt
->flag_unsafe_math_optimizations
2239 && opt
->flag_finite_math_only
2240 && !opt
->flag_signed_zeros
2241 && !opt
->flag_errno_math
);
2244 /* Handle a debug output -g switch. EXTENDED is true or false to support
2245 extended output (2 is special and means "-ggdb" was given). */
2247 set_debug_level (enum debug_info_type type
, int extended
, const char *arg
)
2249 static bool type_explicit
;
2251 use_gnu_debug_info_extensions
= extended
;
2253 if (type
== NO_DEBUG
)
2255 if (write_symbols
== NO_DEBUG
)
2257 write_symbols
= PREFERRED_DEBUGGING_TYPE
;
2261 #ifdef DWARF2_DEBUGGING_INFO
2262 write_symbols
= DWARF2_DEBUG
;
2263 #elif defined DBX_DEBUGGING_INFO
2264 write_symbols
= DBX_DEBUG
;
2268 if (write_symbols
== NO_DEBUG
)
2269 warning (0, "target system does not support debug output");
2274 /* Does it conflict with an already selected type? */
2275 if (type_explicit
&& write_symbols
!= NO_DEBUG
&& type
!= write_symbols
)
2276 error ("debug format \"%s\" conflicts with prior selection",
2277 debug_type_names
[type
]);
2278 write_symbols
= type
;
2279 type_explicit
= true;
2282 /* A debug flag without a level defaults to level 2. */
2285 if (!debug_info_level
)
2286 debug_info_level
= DINFO_LEVEL_NORMAL
;
2290 int argval
= integral_argument (arg
);
2292 error ("unrecognised debug output level \"%s\"", arg
);
2293 else if (argval
> 3)
2294 error ("debug output level %s is too high", arg
);
2296 debug_info_level
= (enum debug_info_level
) argval
;
2300 /* Return 1 if OPTION is enabled, 0 if it is disabled, or -1 if it isn't
2301 a simple on-off switch. */
2304 option_enabled (int opt_idx
)
2306 const struct cl_option
*option
= &(cl_options
[opt_idx
]);
2308 if (option
->flag_var
)
2309 switch (option
->var_type
)
2312 return *(int *) option
->flag_var
!= 0;
2315 return *(int *) option
->flag_var
== option
->var_value
;
2317 case CLVC_BIT_CLEAR
:
2318 return (*(int *) option
->flag_var
& option
->var_value
) == 0;
2321 return (*(int *) option
->flag_var
& option
->var_value
) != 0;
2329 /* Fill STATE with the current state of option OPTION. Return true if
2330 there is some state to store. */
2333 get_option_state (int option
, struct cl_option_state
*state
)
2335 if (cl_options
[option
].flag_var
== 0)
2338 switch (cl_options
[option
].var_type
)
2342 state
->data
= cl_options
[option
].flag_var
;
2343 state
->size
= sizeof (int);
2346 case CLVC_BIT_CLEAR
:
2348 state
->ch
= option_enabled (option
);
2349 state
->data
= &state
->ch
;
2354 state
->data
= *(const char **) cl_options
[option
].flag_var
;
2355 if (state
->data
== 0)
2357 state
->size
= strlen ((const char *) state
->data
) + 1;
2363 /* Set *OPTION according to VALUE and ARG. */
2366 set_option (const struct cl_option
*option
, int value
, const char *arg
)
2368 if (!option
->flag_var
)
2371 switch (option
->var_type
)
2374 *(int *) option
->flag_var
= value
;
2378 *(int *) option
->flag_var
= (value
2380 : !option
->var_value
);
2383 case CLVC_BIT_CLEAR
:
2385 if ((value
!= 0) == (option
->var_type
== CLVC_BIT_SET
))
2386 *(int *) option
->flag_var
|= option
->var_value
;
2388 *(int *) option
->flag_var
&= ~option
->var_value
;
2389 if (option
->flag_var
== &target_flags
)
2390 target_flags_explicit
|= option
->var_value
;
2394 *(const char **) option
->flag_var
= arg
;
2399 /* Enable a warning option as an error. This is used by -Werror= and
2400 also by legacy Werror-implicit-function-declaration. */
2403 enable_warning_as_error (const char *arg
, int value
, unsigned int lang_mask
)
2408 new_option
= XNEWVEC (char, strlen (arg
) + 2);
2409 new_option
[0] = 'W';
2410 strcpy (new_option
+ 1, arg
);
2411 option_index
= find_opt (new_option
, lang_mask
);
2412 if (option_index
== N_OPTS
)
2414 error ("-Werror=%s: No option -%s", arg
, new_option
);
2418 diagnostic_t kind
= value
? DK_ERROR
: DK_WARNING
;
2419 diagnostic_classify_diagnostic (global_dc
, option_index
, kind
);
2421 /* -Werror=foo implies -Wfoo. */
2422 if (cl_options
[option_index
].var_type
== CLVC_BOOLEAN
2423 && cl_options
[option_index
].flag_var
2424 && kind
== DK_ERROR
)
2425 *(int *) cl_options
[option_index
].flag_var
= 1;