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 /* Value of the -G xx switch, and whether it was passed or not. */
48 unsigned HOST_WIDE_INT g_switch_value
;
51 /* Same for selective scheduling. */
52 bool sel_sched_switch_set
;
54 /* True if we should exit after parsing options. */
55 bool exit_after_options
;
57 /* True to warn about any objects definitions whose size is larger
58 than N bytes. Also want about function definitions whose returned
59 values are larger than N bytes, where N is `larger_than_size'. */
60 bool warn_larger_than
;
61 HOST_WIDE_INT larger_than_size
;
63 /* True to warn about any function whose frame size is larger
65 bool warn_frame_larger_than
;
66 HOST_WIDE_INT frame_larger_than_size
;
68 /* Type(s) of debugging information we are producing (if any). See
69 flags.h for the definitions of the different possible types of
70 debugging information. */
71 enum debug_info_type write_symbols
= NO_DEBUG
;
73 /* Level of debugging information we are producing. See flags.h for
74 the definitions of the different possible levels. */
75 enum debug_info_level debug_info_level
= DINFO_LEVEL_NONE
;
77 /* A major contribution to object and executable size is debug
78 information size. A major contribution to debug information size
79 is struct descriptions replicated in several object files. The
80 following flags attempt to reduce this information. The basic
81 idea is to not emit struct debugging information in the current
82 compilation unit when that information will be generated by
83 another compilation unit.
85 Debug information for a struct defined in the current source
86 file should be generated in the object file. Likewise the
87 debug information for a struct defined in a header should be
88 generated in the object file of the corresponding source file.
89 Both of these case are handled when the base name of the file of
90 the struct definition matches the base name of the source file
91 of the current compilation unit. This matching emits minimal
92 struct debugging information.
94 The base file name matching rule above will fail to emit debug
95 information for structs defined in system headers. So a second
96 category of files includes system headers in addition to files
99 The remaining types of files are library headers and application
100 headers. We cannot currently distinguish these two types. */
102 enum debug_struct_file
104 DINFO_STRUCT_FILE_NONE
, /* Debug no structs. */
105 DINFO_STRUCT_FILE_BASE
, /* Debug structs defined in files with the
106 same base name as the compilation unit. */
107 DINFO_STRUCT_FILE_SYS
, /* Also debug structs defined in system
109 DINFO_STRUCT_FILE_ANY
/* Debug structs defined in all files. */
112 /* Generic structs (e.g. templates not explicitly specialized)
113 may not have a compilation unit associated with them, and so
114 may need to be treated differently from ordinary structs.
116 Structs only handled by reference (indirectly), will also usually
117 not need as much debugging information. */
119 static enum debug_struct_file debug_struct_ordinary
[DINFO_USAGE_NUM_ENUMS
]
120 = { DINFO_STRUCT_FILE_ANY
, DINFO_STRUCT_FILE_ANY
, DINFO_STRUCT_FILE_ANY
};
121 static enum debug_struct_file debug_struct_generic
[DINFO_USAGE_NUM_ENUMS
]
122 = { DINFO_STRUCT_FILE_ANY
, DINFO_STRUCT_FILE_ANY
, DINFO_STRUCT_FILE_ANY
};
124 /* Parse the -femit-struct-debug-detailed option value
125 and set the flag variables. */
127 #define MATCH( prefix, string ) \
128 ((strncmp (prefix, string, sizeof prefix - 1) == 0) \
129 ? ((string += sizeof prefix - 1), 1) : 0)
132 set_struct_debug_option (const char *spec
)
134 /* various labels for comparison */
135 static char dfn_lbl
[] = "dfn:", dir_lbl
[] = "dir:", ind_lbl
[] = "ind:";
136 static char ord_lbl
[] = "ord:", gen_lbl
[] = "gen:";
137 static char none_lbl
[] = "none", any_lbl
[] = "any";
138 static char base_lbl
[] = "base", sys_lbl
[] = "sys";
140 enum debug_struct_file files
= DINFO_STRUCT_FILE_ANY
;
141 /* Default is to apply to as much as possible. */
142 enum debug_info_usage usage
= DINFO_USAGE_NUM_ENUMS
;
143 int ord
= 1, gen
= 1;
146 if (MATCH (dfn_lbl
, spec
))
147 usage
= DINFO_USAGE_DFN
;
148 else if (MATCH (dir_lbl
, spec
))
149 usage
= DINFO_USAGE_DIR_USE
;
150 else if (MATCH (ind_lbl
, spec
))
151 usage
= DINFO_USAGE_IND_USE
;
153 /* Generics or not? */
154 if (MATCH (ord_lbl
, spec
))
156 else if (MATCH (gen_lbl
, spec
))
159 /* What allowable environment? */
160 if (MATCH (none_lbl
, spec
))
161 files
= DINFO_STRUCT_FILE_NONE
;
162 else if (MATCH (any_lbl
, spec
))
163 files
= DINFO_STRUCT_FILE_ANY
;
164 else if (MATCH (sys_lbl
, spec
))
165 files
= DINFO_STRUCT_FILE_SYS
;
166 else if (MATCH (base_lbl
, spec
))
167 files
= DINFO_STRUCT_FILE_BASE
;
169 error ("argument %qs to %<-femit-struct-debug-detailed%> not recognized",
172 /* Effect the specification. */
173 if (usage
== DINFO_USAGE_NUM_ENUMS
)
177 debug_struct_ordinary
[DINFO_USAGE_DFN
] = files
;
178 debug_struct_ordinary
[DINFO_USAGE_DIR_USE
] = files
;
179 debug_struct_ordinary
[DINFO_USAGE_IND_USE
] = files
;
183 debug_struct_generic
[DINFO_USAGE_DFN
] = files
;
184 debug_struct_generic
[DINFO_USAGE_DIR_USE
] = files
;
185 debug_struct_generic
[DINFO_USAGE_IND_USE
] = files
;
191 debug_struct_ordinary
[usage
] = files
;
193 debug_struct_generic
[usage
] = files
;
197 set_struct_debug_option (spec
+1);
200 /* No more -femit-struct-debug-detailed specifications.
203 error ("argument %qs to %<-femit-struct-debug-detailed%> unknown",
205 if (debug_struct_ordinary
[DINFO_USAGE_DIR_USE
]
206 < debug_struct_ordinary
[DINFO_USAGE_IND_USE
]
207 || debug_struct_generic
[DINFO_USAGE_DIR_USE
]
208 < debug_struct_generic
[DINFO_USAGE_IND_USE
])
209 error ("%<-femit-struct-debug-detailed=dir:...%> must allow at least"
210 " as much as %<-femit-struct-debug-detailed=ind:...%>");
214 /* Find the base name of a path, stripping off both directories and
215 a single final extension. */
217 base_of_path (const char *path
, const char **base_out
)
219 const char *base
= path
;
221 const char *p
= path
;
225 if (IS_DIR_SEPARATOR(c
))
240 /* Match the base name of a file to the base name of a compilation unit. */
242 static const char *main_input_basename
;
243 static int main_input_baselength
;
246 matches_main_base (const char *path
)
248 /* Cache the last query. */
249 static const char *last_path
= NULL
;
250 static int last_match
= 0;
251 if (path
!= last_path
)
254 int length
= base_of_path (path
, &base
);
256 last_match
= (length
== main_input_baselength
257 && memcmp (base
, main_input_basename
, length
) == 0);
262 #ifdef DEBUG_DEBUG_STRUCT
265 dump_struct_debug (tree type
, enum debug_info_usage usage
,
266 enum debug_struct_file criterion
, int generic
,
267 int matches
, int result
)
269 /* Find the type name. */
270 tree type_decl
= TYPE_STUB_DECL (type
);
272 const char *name
= 0;
273 if (TREE_CODE (t
) == TYPE_DECL
)
276 name
= IDENTIFIER_POINTER (t
);
278 fprintf (stderr
, " struct %d %s %s %s %s %d %p %s\n",
280 DECL_IN_SYSTEM_HEADER (type_decl
) ? "sys" : "usr",
281 matches
? "bas" : "hdr",
282 generic
? "gen" : "ord",
283 usage
== DINFO_USAGE_DFN
? ";" :
284 usage
== DINFO_USAGE_DIR_USE
? "." : "*",
286 (void*) type_decl
, name
);
289 #define DUMP_GSTRUCT(type, usage, criterion, generic, matches, result) \
290 dump_struct_debug (type, usage, criterion, generic, matches, result)
294 #define DUMP_GSTRUCT(type, usage, criterion, generic, matches, result) \
301 should_emit_struct_debug (tree type
, enum debug_info_usage usage
)
303 enum debug_struct_file criterion
;
305 bool generic
= lang_hooks
.types
.generic_p (type
);
308 criterion
= debug_struct_generic
[usage
];
310 criterion
= debug_struct_ordinary
[usage
];
312 if (criterion
== DINFO_STRUCT_FILE_NONE
)
313 return DUMP_GSTRUCT (type
, usage
, criterion
, generic
, false, false);
314 if (criterion
== DINFO_STRUCT_FILE_ANY
)
315 return DUMP_GSTRUCT (type
, usage
, criterion
, generic
, false, true);
317 type_decl
= TYPE_STUB_DECL (type
);
319 if (criterion
== DINFO_STRUCT_FILE_SYS
&& DECL_IN_SYSTEM_HEADER (type_decl
))
320 return DUMP_GSTRUCT (type
, usage
, criterion
, generic
, false, true);
322 if (matches_main_base (DECL_SOURCE_FILE (type_decl
)))
323 return DUMP_GSTRUCT (type
, usage
, criterion
, generic
, true, true);
324 return DUMP_GSTRUCT (type
, usage
, criterion
, generic
, false, false);
327 /* Nonzero means use GNU-only extensions in the generated symbolic
328 debugging information. Currently, this only has an effect when
329 write_symbols is set to DBX_DEBUG, XCOFF_DEBUG, or DWARF_DEBUG. */
330 bool use_gnu_debug_info_extensions
;
332 /* The default visibility for all symbols (unless overridden) */
333 enum symbol_visibility default_visibility
= VISIBILITY_DEFAULT
;
335 /* Global visibility options. */
336 struct visibility_flags visibility_options
;
338 /* What to print when a switch has no documentation. */
339 static const char undocumented_msg
[] = N_("This switch lacks documentation");
341 /* Used for bookkeeping on whether user set these flags so
342 -fprofile-use/-fprofile-generate does not use them. */
343 static bool profile_arc_flag_set
, flag_profile_values_set
;
344 static bool flag_unroll_loops_set
, flag_tracer_set
;
345 static bool flag_value_profile_transformations_set
;
346 static bool flag_peel_loops_set
, flag_branch_probabilities_set
;
347 static bool flag_inline_functions_set
, flag_ipa_cp_set
, flag_ipa_cp_clone_set
;
348 static bool flag_predictive_commoning_set
, flag_unswitch_loops_set
, flag_gcse_after_reload_set
;
350 /* Functions excluded from profiling. */
352 typedef char *char_p
; /* For DEF_VEC_P. */
354 DEF_VEC_ALLOC_P(char_p
,heap
);
356 static VEC(char_p
,heap
) *flag_instrument_functions_exclude_functions
;
357 static VEC(char_p
,heap
) *flag_instrument_functions_exclude_files
;
359 typedef const char *const_char_p
; /* For DEF_VEC_P. */
360 DEF_VEC_P(const_char_p
);
361 DEF_VEC_ALLOC_P(const_char_p
,heap
);
363 static VEC(const_char_p
,heap
) *ignored_options
;
365 /* Input file names. */
366 const char **in_fnames
;
367 unsigned num_in_fnames
;
369 static int common_handle_option (size_t scode
, const char *arg
, int value
,
370 unsigned int lang_mask
);
371 static void handle_param (const char *);
372 static unsigned int handle_option (const char **argv
, unsigned int lang_mask
);
373 static char *write_langs (unsigned int lang_mask
);
374 static void complain_wrong_lang (const char *, const struct cl_option
*,
375 unsigned int lang_mask
);
376 static void handle_options (unsigned int, const char **, unsigned int);
377 static void set_debug_level (enum debug_info_type type
, int extended
,
380 /* If ARG is a non-negative integer made up solely of digits, return its
381 value, otherwise return -1. */
383 integral_argument (const char *arg
)
387 while (*p
&& ISDIGIT (*p
))
396 /* Return a malloced slash-separated list of languages in MASK. */
398 write_langs (unsigned int mask
)
400 unsigned int n
= 0, len
= 0;
401 const char *lang_name
;
404 for (n
= 0; (lang_name
= lang_names
[n
]) != 0; n
++)
405 if (mask
& (1U << n
))
406 len
+= strlen (lang_name
) + 1;
408 result
= XNEWVEC (char, len
);
410 for (n
= 0; (lang_name
= lang_names
[n
]) != 0; n
++)
411 if (mask
& (1U << n
))
415 strcpy (result
+ len
, lang_name
);
416 len
+= strlen (lang_name
);
424 /* Complain that switch OPT_INDEX does not apply to this front end. */
426 complain_wrong_lang (const char *text
, const struct cl_option
*option
,
427 unsigned int lang_mask
)
429 char *ok_langs
, *bad_lang
;
431 ok_langs
= write_langs (option
->flags
);
432 bad_lang
= write_langs (lang_mask
);
434 /* Eventually this should become a hard error IMO. */
435 warning (0, "command line option \"%s\" is valid for %s but not for %s",
436 text
, ok_langs
, bad_lang
);
442 /* Buffer the unknown option described by the string OPT. Currently,
443 we only complain about unknown -Wno-* options if they may have
444 prevented a diagnostic. Otherwise, we just ignore them.
445 Note that if we do complain, it is only as a warning, not an error;
446 passing the compiler an unrecognised -Wno-* option should never
447 change whether the compilation succeeds or fails. */
449 static void postpone_unknown_option_warning(const char *opt
)
451 VEC_safe_push (const_char_p
, heap
, ignored_options
, opt
);
454 /* Produce a warning for each option previously buffered. */
456 void print_ignored_options (void)
458 location_t saved_loc
= input_location
;
462 while (!VEC_empty (const_char_p
, ignored_options
))
465 opt
= VEC_pop (const_char_p
, ignored_options
);
466 warning (0, "unrecognized command line option \"%s\"", opt
);
469 input_location
= saved_loc
;
472 /* Handle the switch beginning at ARGV for the language indicated by
473 LANG_MASK. Returns the number of switches consumed. */
475 handle_option (const char **argv
, unsigned int lang_mask
)
478 const char *opt
, *arg
= 0;
481 unsigned int result
= 0;
482 const struct cl_option
*option
;
486 opt_index
= find_opt (opt
+ 1, lang_mask
| CL_COMMON
| CL_TARGET
);
487 if (opt_index
== cl_options_count
488 && (opt
[1] == 'W' || opt
[1] == 'f' || opt
[1] == 'm')
489 && opt
[2] == 'n' && opt
[3] == 'o' && opt
[4] == '-')
491 /* Drop the "no-" from negative switches. */
492 size_t len
= strlen (opt
) - 3;
494 dup
= XNEWVEC (char, len
+ 1);
497 memcpy (dup
+ 2, opt
+ 5, len
- 2 + 1);
500 opt_index
= find_opt (opt
+ 1, lang_mask
| CL_COMMON
| CL_TARGET
);
501 if (opt_index
== cl_options_count
&& opt
[1] == 'W')
503 /* We don't generate warnings for unknown -Wno-* options
504 unless we issue diagnostics. */
505 postpone_unknown_option_warning (argv
[0]);
511 if (opt_index
== cl_options_count
)
514 option
= &cl_options
[opt_index
];
516 /* Reject negative form of switches that don't take negatives as
518 if (!value
&& (option
->flags
& CL_REJECT_NEGATIVE
))
521 /* We've recognized this switch. */
524 /* Check to see if the option is disabled for this configuration. */
525 if (option
->flags
& CL_DISABLED
)
527 error ("command line option %qs"
528 " is not supported by this configuration", opt
);
532 /* Sort out any argument the switch takes. */
533 if (option
->flags
& CL_JOINED
)
535 /* Have arg point to the original switch. This is because
536 some code, such as disable_builtin_function, expects its
537 argument to be persistent until the program exits. */
538 arg
= argv
[0] + cl_options
[opt_index
].opt_len
+ 1;
540 arg
+= strlen ("no-");
542 if (*arg
== '\0' && !(option
->flags
& CL_MISSING_OK
))
544 if (option
->flags
& CL_SEPARATE
)
550 /* Missing argument. */
554 else if (option
->flags
& CL_SEPARATE
)
560 /* Now we've swallowed any potential argument, complain if this
561 is a switch for a different front end. */
562 if (!(option
->flags
& (lang_mask
| CL_COMMON
| CL_TARGET
)))
564 complain_wrong_lang (argv
[0], option
, lang_mask
);
567 else if ((option
->flags
& CL_TARGET
)
568 && (option
->flags
& CL_LANG_ALL
)
569 && !(option
->flags
& lang_mask
))
571 /* Complain for target flag language mismatches if any languages
573 complain_wrong_lang (argv
[0], option
, lang_mask
);
577 if (arg
== NULL
&& (option
->flags
& (CL_JOINED
| CL_SEPARATE
)))
579 if (!lang_hooks
.missing_argument (opt
, opt_index
))
580 error ("missing argument to \"%s\"", opt
);
584 /* If the switch takes an integer, convert it. */
585 if (arg
&& (option
->flags
& CL_UINTEGER
))
587 value
= integral_argument (arg
);
590 error ("argument to \"%s\" should be a non-negative integer",
596 if (option
->flag_var
)
597 switch (option
->var_type
)
600 *(int *) option
->flag_var
= value
;
604 *(int *) option
->flag_var
= (value
606 : !option
->var_value
);
611 if ((value
!= 0) == (option
->var_type
== CLVC_BIT_SET
))
612 *(int *) option
->flag_var
|= option
->var_value
;
614 *(int *) option
->flag_var
&= ~option
->var_value
;
615 if (option
->flag_var
== &target_flags
)
616 target_flags_explicit
|= option
->var_value
;
620 *(const char **) option
->flag_var
= arg
;
624 if (option
->flags
& lang_mask
)
625 if (lang_hooks
.handle_option (opt_index
, arg
, value
) == 0)
628 if (result
&& (option
->flags
& CL_COMMON
))
629 if (common_handle_option (opt_index
, arg
, value
, lang_mask
) == 0)
632 if (result
&& (option
->flags
& CL_TARGET
))
633 if (!targetm
.handle_option (opt_index
, arg
, value
))
642 /* Handle FILENAME from the command line. */
644 add_input_filename (const char *filename
)
647 in_fnames
= XRESIZEVEC (const char *, in_fnames
, num_in_fnames
);
648 in_fnames
[num_in_fnames
- 1] = filename
;
651 /* Add comma-separated strings to a char_p vector. */
654 add_comma_separated_to_vector (VEC(char_p
,heap
) **pvec
, const char* arg
)
661 /* We never free this string. */
674 VEC_safe_push (char_p
, heap
, *pvec
, token_start
);
677 if (*r
== '\\' && r
[1] == ',')
685 if (*token_start
!= '\0')
686 VEC_safe_push (char_p
, heap
, *pvec
, token_start
);
689 /* Return whether we should exclude FNDECL from instrumentation. */
692 flag_instrument_functions_exclude_p (tree fndecl
)
694 if (VEC_length (char_p
, flag_instrument_functions_exclude_functions
) > 0)
700 name
= lang_hooks
.decl_printable_name (fndecl
, 0);
702 VEC_iterate (char_p
, flag_instrument_functions_exclude_functions
,
706 if (strstr (name
, s
) != NULL
)
711 if (VEC_length (char_p
, flag_instrument_functions_exclude_files
) > 0)
717 name
= DECL_SOURCE_FILE (fndecl
);
719 VEC_iterate (char_p
, flag_instrument_functions_exclude_files
, i
, s
);
722 if (strstr (name
, s
) != NULL
)
731 /* Decode and handle the vector of command line options. LANG_MASK
732 contains has a single bit set representing the current
735 handle_options (unsigned int argc
, const char **argv
, unsigned int lang_mask
)
739 for (i
= 1; i
< argc
; i
+= n
)
741 const char *opt
= argv
[i
];
743 /* Interpret "-" or a non-switch as a file name. */
744 if (opt
[0] != '-' || opt
[1] == '\0')
746 if (main_input_filename
== NULL
)
748 main_input_filename
= opt
;
749 main_input_baselength
750 = base_of_path (main_input_filename
, &main_input_basename
);
752 add_input_filename (opt
);
757 n
= handle_option (argv
+ i
, lang_mask
);
762 error ("unrecognized command line option \"%s\"", opt
);
767 /* Parse command line options and set default flag values. Do minimal
768 options processing. */
770 decode_options (unsigned int argc
, const char **argv
)
772 static bool first_time_p
= true;
773 static int initial_min_crossjump_insns
;
774 static int initial_max_fields_for_field_sensitive
;
775 static int initial_loop_invariant_max_bbs_in_loop
;
776 static unsigned int initial_lang_mask
;
778 unsigned int i
, lang_mask
;
786 /* Perform language-specific options initialization. */
787 initial_lang_mask
= lang_mask
= lang_hooks
.init_options (argc
, argv
);
789 lang_hooks
.initialize_diagnostics (global_dc
);
791 /* Save initial values of parameters we reset. */
792 initial_min_crossjump_insns
793 = compiler_params
[PARAM_MIN_CROSSJUMP_INSNS
].value
;
794 initial_max_fields_for_field_sensitive
795 = compiler_params
[PARAM_MAX_FIELDS_FOR_FIELD_SENSITIVE
].value
;
796 initial_loop_invariant_max_bbs_in_loop
797 = compiler_params
[PARAM_LOOP_INVARIANT_MAX_BBS_IN_LOOP
].value
;
800 lang_mask
= initial_lang_mask
;
802 /* Scan to see what optimization level has been specified. That will
803 determine the default value of many flags. */
804 for (i
= 1; i
< argc
; i
++)
806 if (!strcmp (argv
[i
], "-O"))
811 else if (argv
[i
][0] == '-' && argv
[i
][1] == 'O')
813 /* Handle -Os, -O2, -O3, -O69, ... */
814 const char *p
= &argv
[i
][2];
816 if ((p
[0] == 's') && (p
[1] == 0))
820 /* Optimizing for size forces optimize to be 2. */
825 const int optimize_val
= read_integral_parameter (p
, p
- 2, -1);
826 if (optimize_val
!= -1)
828 optimize
= optimize_val
;
835 /* Use priority coloring if cover classes is not defined for the
837 if (targetm
.ira_cover_classes
== NULL
)
838 flag_ira_algorithm
= IRA_ALGORITHM_PRIORITY
;
840 /* -O1 optimizations. */
841 opt1
= (optimize
>= 1);
842 flag_defer_pop
= opt1
;
844 flag_delayed_branch
= opt1
;
846 #ifdef CAN_DEBUG_WITHOUT_FP
847 flag_omit_frame_pointer
= opt1
;
849 flag_guess_branch_prob
= opt1
;
850 flag_cprop_registers
= opt1
;
851 flag_forward_propagate
= opt1
;
852 flag_if_conversion
= opt1
;
853 flag_if_conversion2
= opt1
;
854 flag_ipa_pure_const
= opt1
;
855 flag_ipa_reference
= opt1
;
856 flag_merge_constants
= opt1
;
857 flag_split_wide_types
= opt1
;
858 flag_tree_ccp
= opt1
;
859 flag_tree_dce
= opt1
;
860 flag_tree_dom
= opt1
;
861 flag_tree_dse
= opt1
;
862 flag_tree_ter
= opt1
;
863 flag_tree_sra
= opt1
;
864 flag_tree_copyrename
= opt1
;
865 flag_tree_fre
= opt1
;
866 flag_tree_copy_prop
= opt1
;
867 flag_tree_sink
= opt1
;
870 /* -O2 optimizations. */
871 opt2
= (optimize
>= 2);
872 flag_inline_small_functions
= opt2
;
873 flag_indirect_inlining
= opt2
;
874 flag_thread_jumps
= opt2
;
875 flag_crossjumping
= opt2
;
876 flag_optimize_sibling_calls
= opt2
;
877 flag_cse_follow_jumps
= opt2
;
879 flag_expensive_optimizations
= opt2
;
880 flag_rerun_cse_after_loop
= opt2
;
881 flag_caller_saves
= opt2
;
882 flag_peephole2
= opt2
;
883 #ifdef INSN_SCHEDULING
884 flag_schedule_insns
= opt2
;
885 flag_schedule_insns_after_reload
= opt2
;
888 flag_strict_aliasing
= opt2
;
889 flag_strict_overflow
= opt2
;
890 flag_reorder_blocks
= opt2
;
891 flag_reorder_functions
= opt2
;
892 flag_tree_vrp
= opt2
;
893 flag_tree_builtin_call_dce
= opt2
;
894 flag_tree_pre
= opt2
;
895 flag_tree_switch_conversion
= 1;
898 /* Track fields in field-sensitive alias analysis. */
899 set_param_value ("max-fields-for-field-sensitive",
900 (opt2
) ? 100 : initial_max_fields_for_field_sensitive
);
902 /* For -O1 only do loop invariant motion for very small loops. */
903 set_param_value ("loop-invariant-max-bbs-in-loop",
904 (opt2
) ? initial_loop_invariant_max_bbs_in_loop
: 1000);
906 /* -O3 optimizations. */
907 opt3
= (optimize
>= 3);
908 flag_predictive_commoning
= opt3
;
909 flag_inline_functions
= opt3
;
910 flag_unswitch_loops
= opt3
;
911 flag_gcse_after_reload
= opt3
;
912 flag_tree_vectorize
= opt3
;
913 flag_ipa_cp_clone
= opt3
;
914 if (flag_ipa_cp_clone
)
917 /* Just -O1/-O0 optimizations. */
918 opt1_max
= (optimize
<= 1);
919 align_loops
= opt1_max
;
920 align_jumps
= opt1_max
;
921 align_labels
= opt1_max
;
922 align_functions
= opt1_max
;
926 /* Inlining of functions reducing size is a good idea regardless of them
927 being declared inline. */
928 flag_inline_functions
= 1;
930 /* Basic optimization options. */
935 /* We want to crossjump as much as possible. */
936 set_param_value ("min-crossjump-insns", 1);
939 set_param_value ("min-crossjump-insns", initial_min_crossjump_insns
);
943 /* Initialize whether `char' is signed. */
944 flag_signed_char
= DEFAULT_SIGNED_CHAR
;
945 /* Set this to a special "uninitialized" value. The actual default is
946 set after target options have been processed. */
947 flag_short_enums
= 2;
949 /* Initialize target_flags before OPTIMIZATION_OPTIONS so the latter can
951 target_flags
= targetm
.default_target_flags
;
953 /* Some targets have ABI-specified unwind tables. */
954 flag_unwind_tables
= targetm
.unwind_tables_default
;
957 #ifdef OPTIMIZATION_OPTIONS
958 /* Allow default optimizations to be specified on a per-machine basis. */
959 OPTIMIZATION_OPTIONS (optimize
, optimize_size
);
962 handle_options (argc
, argv
, lang_mask
);
964 /* Make DUMP_BASE_NAME relative to the AUX_BASE_NAME directory,
965 typically the directory to contain the object file. */
966 if (aux_base_name
&& ! IS_ABSOLUTE_PATH (dump_base_name
))
968 const char *aux_base
;
970 base_of_path (aux_base_name
, &aux_base
);
971 if (aux_base_name
!= aux_base
)
973 int dir_len
= aux_base
- aux_base_name
;
974 char *new_dump_base_name
=
975 XNEWVEC (char, strlen(dump_base_name
) + dir_len
+ 1);
977 /* Copy directory component from AUX_BASE_NAME. */
978 memcpy (new_dump_base_name
, aux_base_name
, dir_len
);
979 /* Append existing DUMP_BASE_NAME. */
980 strcpy (new_dump_base_name
+ dir_len
, dump_base_name
);
981 dump_base_name
= new_dump_base_name
;
985 /* Handle related options for unit-at-a-time, toplevel-reorder, and
987 if (!flag_unit_at_a_time
)
989 if (flag_section_anchors
== 1)
990 error ("Section anchors must be disabled when unit-at-a-time "
992 flag_section_anchors
= 0;
993 if (flag_toplevel_reorder
== 1)
994 error ("Toplevel reorder must be disabled when unit-at-a-time "
996 flag_toplevel_reorder
= 0;
998 /* Unless the user has asked for section anchors, we disable toplevel
999 reordering at -O0 to disable transformations that might be surprising
1000 to end users and to get -fno-toplevel-reorder tested. */
1001 if (!optimize
&& flag_toplevel_reorder
== 2 && flag_section_anchors
!= 1)
1003 flag_toplevel_reorder
= 0;
1004 flag_section_anchors
= 0;
1006 if (!flag_toplevel_reorder
)
1008 if (flag_section_anchors
== 1)
1009 error ("section anchors must be disabled when toplevel reorder"
1011 flag_section_anchors
= 0;
1017 flag_pic
= flag_pie
;
1018 if (flag_pic
&& !flag_pie
)
1024 /* Inlining does not work if not optimizing,
1025 so force it not to be done. */
1030 /* The optimization to partition hot and cold basic blocks into separate
1031 sections of the .o and executable files does not work (currently)
1032 with exception handling. This is because there is no support for
1033 generating unwind info. If flag_exceptions is turned on we need to
1034 turn off the partitioning optimization. */
1036 if (flag_exceptions
&& flag_reorder_blocks_and_partition
)
1038 inform (input_location
,
1039 "-freorder-blocks-and-partition does not work with exceptions");
1040 flag_reorder_blocks_and_partition
= 0;
1041 flag_reorder_blocks
= 1;
1044 /* If user requested unwind info, then turn off the partitioning
1047 if (flag_unwind_tables
&& ! targetm
.unwind_tables_default
1048 && flag_reorder_blocks_and_partition
)
1050 inform (input_location
, "-freorder-blocks-and-partition does not support unwind info");
1051 flag_reorder_blocks_and_partition
= 0;
1052 flag_reorder_blocks
= 1;
1055 /* If the target requested unwind info, then turn off the partitioning
1056 optimization with a different message. Likewise, if the target does not
1057 support named sections. */
1059 if (flag_reorder_blocks_and_partition
1060 && (!targetm
.have_named_sections
1061 || (flag_unwind_tables
&& targetm
.unwind_tables_default
)))
1063 inform (input_location
,
1064 "-freorder-blocks-and-partition does not work on this architecture");
1065 flag_reorder_blocks_and_partition
= 0;
1066 flag_reorder_blocks
= 1;
1069 /* Pipelining of outer loops is only possible when general pipelining
1070 capabilities are requested. */
1071 if (!flag_sel_sched_pipelining
)
1072 flag_sel_sched_pipelining_outer_loops
= 0;
1074 if (!targetm
.ira_cover_classes
1075 && flag_ira_algorithm
== IRA_ALGORITHM_CB
)
1077 inform (input_location
,
1078 "-fira-algorithm=CB does not work on this architecture");
1079 flag_ira_algorithm
= IRA_ALGORITHM_PRIORITY
;
1082 /* Save the current optimization options if this is the first call. */
1085 optimization_default_node
= build_optimization_node ();
1086 optimization_current_node
= optimization_default_node
;
1087 first_time_p
= false;
1089 if (flag_conserve_stack
)
1091 if (!PARAM_SET_P (PARAM_LARGE_STACK_FRAME
))
1092 PARAM_VALUE (PARAM_LARGE_STACK_FRAME
) = 100;
1093 if (!PARAM_SET_P (PARAM_STACK_FRAME_GROWTH
))
1094 PARAM_VALUE (PARAM_STACK_FRAME_GROWTH
) = 40;
1099 #define LEFT_COLUMN 27
1101 /* Output ITEM, of length ITEM_WIDTH, in the left column,
1102 followed by word-wrapped HELP in a second column. */
1104 wrap_help (const char *help
,
1106 unsigned int item_width
,
1107 unsigned int columns
)
1109 unsigned int col_width
= LEFT_COLUMN
;
1110 unsigned int remaining
, room
, len
;
1112 remaining
= strlen (help
);
1116 room
= columns
- 3 - MAX (col_width
, item_width
);
1125 for (i
= 0; help
[i
]; i
++)
1127 if (i
>= room
&& len
!= remaining
)
1131 else if ((help
[i
] == '-' || help
[i
] == '/')
1132 && help
[i
+ 1] != ' '
1133 && i
> 0 && ISALPHA (help
[i
- 1]))
1138 printf( " %-*.*s %.*s\n", col_width
, item_width
, item
, len
, help
);
1140 while (help
[len
] == ' ')
1148 /* Print help for a specific front-end, etc. */
1150 print_filtered_help (unsigned int include_flags
,
1151 unsigned int exclude_flags
,
1152 unsigned int any_flags
,
1153 unsigned int columns
)
1157 static char *printed
= NULL
;
1159 bool displayed
= false;
1161 if (include_flags
== CL_PARAMS
)
1163 for (i
= 0; i
< LAST_PARAM
; i
++)
1165 const char *param
= compiler_params
[i
].option
;
1167 help
= compiler_params
[i
].help
;
1168 if (help
== NULL
|| *help
== '\0')
1170 if (exclude_flags
& CL_UNDOCUMENTED
)
1172 help
= undocumented_msg
;
1175 /* Get the translation. */
1178 wrap_help (help
, param
, strlen (param
), columns
);
1185 printed
= XCNEWVAR (char, cl_options_count
);
1187 for (i
= 0; i
< cl_options_count
; i
++)
1189 static char new_help
[128];
1190 const struct cl_option
*option
= cl_options
+ i
;
1195 if (include_flags
== 0
1196 || ((option
->flags
& include_flags
) != include_flags
))
1198 if ((option
->flags
& any_flags
) == 0)
1202 /* Skip unwanted switches. */
1203 if ((option
->flags
& exclude_flags
) != 0)
1207 /* Skip switches that have already been printed. */
1213 help
= option
->help
;
1216 if (exclude_flags
& CL_UNDOCUMENTED
)
1218 help
= undocumented_msg
;
1221 /* Get the translation. */
1224 /* Find the gap between the name of the
1225 option and its descriptive text. */
1226 tab
= strchr (help
, '\t');
1235 opt
= option
->opt_text
;
1239 /* With the -Q option enabled we change the descriptive text associated
1240 with an option to be an indication of its current setting. */
1243 if (len
< (LEFT_COLUMN
+ 2))
1244 strcpy (new_help
, "\t\t");
1246 strcpy (new_help
, "\t");
1248 if (option
->flag_var
!= NULL
)
1250 if (option
->flags
& CL_JOINED
)
1252 if (option
->var_type
== CLVC_STRING
)
1254 if (* (const char **) option
->flag_var
!= NULL
)
1255 snprintf (new_help
+ strlen (new_help
),
1256 sizeof (new_help
) - strlen (new_help
),
1257 * (const char **) option
->flag_var
);
1260 sprintf (new_help
+ strlen (new_help
),
1261 "%#x", * (int *) option
->flag_var
);
1264 strcat (new_help
, option_enabled (i
)
1265 ? _("[enabled]") : _("[disabled]"));
1271 wrap_help (help
, opt
, len
, columns
);
1277 unsigned int langs
= include_flags
& CL_LANG_ALL
;
1280 printf (_(" No options with the desired characteristics were found\n"));
1285 /* PR 31349: Tell the user how to see all of the
1286 options supported by a specific front end. */
1287 for (i
= 0; (1U << i
) < CL_LANG_ALL
; i
++)
1288 if ((1U << i
) & langs
)
1289 printf (_(" None found. Use --help=%s to show *all* the options supported by the %s front-end\n"),
1290 lang_names
[i
], lang_names
[i
]);
1294 else if (! displayed
)
1295 printf (_(" All options with the desired characteristics have already been displayed\n"));
1300 /* Display help for a specified type of option.
1301 The options must have ALL of the INCLUDE_FLAGS set
1302 ANY of the flags in the ANY_FLAGS set
1303 and NONE of the EXCLUDE_FLAGS set. */
1305 print_specific_help (unsigned int include_flags
,
1306 unsigned int exclude_flags
,
1307 unsigned int any_flags
)
1309 unsigned int all_langs_mask
= (1U << cl_lang_count
) - 1;
1310 const char * description
= NULL
;
1311 const char * descrip_extra
= "";
1314 static unsigned int columns
= 0;
1316 /* Sanity check: Make sure that we do not have more
1317 languages than we have bits available to enumerate them. */
1318 gcc_assert ((1U << cl_lang_count
) < CL_MIN_OPTION_CLASS
);
1320 /* If we have not done so already, obtain
1321 the desired maximum width of the output. */
1326 GET_ENVIRONMENT (p
, "COLUMNS");
1329 int value
= atoi (p
);
1336 /* Use a reasonable default. */
1340 /* Decide upon the title for the options that we are going to display. */
1341 for (i
= 0, flag
= 1; flag
<= CL_MAX_OPTION_CLASS
; flag
<<= 1, i
++)
1343 switch (flag
& include_flags
)
1349 description
= _("The following options are target specific");
1352 description
= _("The following options control compiler warning messages");
1354 case CL_OPTIMIZATION
:
1355 description
= _("The following options control optimizations");
1358 description
= _("The following options are language-independent");
1361 description
= _("The --param option recognizes the following as parameters");
1364 if (i
>= cl_lang_count
)
1366 if (exclude_flags
& all_langs_mask
)
1367 description
= _("The following options are specific to just the language ");
1369 description
= _("The following options are supported by the language ");
1370 descrip_extra
= lang_names
[i
];
1375 if (description
== NULL
)
1379 if (include_flags
& CL_UNDOCUMENTED
)
1380 description
= _("The following options are not documented");
1381 else if (include_flags
& CL_SEPARATE
)
1382 description
= _("The following options take separate arguments");
1383 else if (include_flags
& CL_JOINED
)
1384 description
= _("The following options take joined arguments");
1387 internal_error ("unrecognized include_flags 0x%x passed to print_specific_help",
1394 if (any_flags
& all_langs_mask
)
1395 description
= _("The following options are language-related");
1397 description
= _("The following options are language-independent");
1401 printf ("%s%s:\n", description
, descrip_extra
);
1402 print_filtered_help (include_flags
, exclude_flags
, any_flags
, columns
);
1405 /* Handle target- and language-independent options. Return zero to
1406 generate an "unknown option" message. Only options that need
1407 extra handling need to be listed here; if you simply want
1408 VALUE assigned to a variable, it happens automatically. */
1411 common_handle_option (size_t scode
, const char *arg
, int value
,
1412 unsigned int lang_mask
)
1414 static bool verbose
= false;
1415 enum opt_code code
= (enum opt_code
) scode
;
1430 unsigned int all_langs_mask
= (1U << cl_lang_count
) - 1;
1431 unsigned int undoc_mask
;
1434 undoc_mask
= (verbose
| extra_warnings
) ? 0 : CL_UNDOCUMENTED
;
1435 /* First display any single language specific options. */
1436 for (i
= 0; i
< cl_lang_count
; i
++)
1438 (1U << i
, (all_langs_mask
& (~ (1U << i
))) | undoc_mask
, 0);
1439 /* Next display any multi language specific options. */
1440 print_specific_help (0, undoc_mask
, all_langs_mask
);
1441 /* Then display any remaining, non-language options. */
1442 for (i
= CL_MIN_OPTION_CLASS
; i
<= CL_MAX_OPTION_CLASS
; i
<<= 1)
1443 print_specific_help (i
, undoc_mask
, 0);
1444 exit_after_options
= true;
1448 case OPT_ftarget_help
:
1449 case OPT__target_help
:
1450 print_specific_help (CL_TARGET
, CL_UNDOCUMENTED
, 0);
1451 exit_after_options
= true;
1453 /* Allow the target a chance to give the user some additional information. */
1454 if (targetm
.target_help
)
1455 targetm
.target_help ();
1461 const char * a
= arg
;
1462 unsigned int include_flags
= 0;
1463 /* Note - by default we include undocumented options when listing
1464 specific classes. If you only want to see documented options
1465 then add ",^undocumented" to the --help= option. E.g.:
1467 --help=target,^undocumented */
1468 unsigned int exclude_flags
= 0;
1470 /* Walk along the argument string, parsing each word in turn.
1472 arg = [^]{word}[,{arg}]
1473 word = {optimizers|target|warnings|undocumented|
1474 params|common|<language>} */
1479 const char * string
;
1484 { "optimizers", CL_OPTIMIZATION
},
1485 { "target", CL_TARGET
},
1486 { "warnings", CL_WARNING
},
1487 { "undocumented", CL_UNDOCUMENTED
},
1488 { "params", CL_PARAMS
},
1489 { "joined", CL_JOINED
},
1490 { "separate", CL_SEPARATE
},
1491 { "common", CL_COMMON
},
1494 unsigned int * pflags
;
1496 unsigned int lang_flag
, specific_flag
;
1503 pflags
= & exclude_flags
;
1506 pflags
= & include_flags
;
1508 comma
= strchr (a
, ',');
1519 /* Check to see if the string matches an option class name. */
1520 for (i
= 0, specific_flag
= 0; specifics
[i
].string
!= NULL
; i
++)
1521 if (strncasecmp (a
, specifics
[i
].string
, len
) == 0)
1523 specific_flag
= specifics
[i
].flag
;
1527 /* Check to see if the string matches a language name.
1528 Note - we rely upon the alpha-sorted nature of the entries in
1529 the lang_names array, specifically that shorter names appear
1530 before their longer variants. (i.e. C before C++). That way
1531 when we are attempting to match --help=c for example we will
1532 match with C first and not C++. */
1533 for (i
= 0, lang_flag
= 0; i
< cl_lang_count
; i
++)
1534 if (strncasecmp (a
, lang_names
[i
], len
) == 0)
1536 lang_flag
= 1U << i
;
1540 if (specific_flag
!= 0)
1543 * pflags
|= specific_flag
;
1546 /* The option's argument matches both the start of a
1547 language name and the start of an option class name.
1548 We have a special case for when the user has
1549 specified "--help=c", but otherwise we have to issue
1551 if (strncasecmp (a
, "c", len
) == 0)
1552 * pflags
|= lang_flag
;
1555 "warning: --help argument %.*s is ambiguous, please be more specific\n",
1559 else if (lang_flag
!= 0)
1560 * pflags
|= lang_flag
;
1563 "warning: unrecognized argument to --help= option: %.*s\n",
1572 print_specific_help (include_flags
, exclude_flags
, 0);
1573 exit_after_options
= true;
1579 exit_after_options
= true;
1583 g_switch_value
= value
;
1584 g_switch_set
= true;
1589 /* Currently handled in a prescan. */
1593 enable_warning_as_error (arg
, value
, lang_mask
);
1596 case OPT_Wlarger_than_
:
1597 /* This form corresponds to -Wlarger-than-.
1598 Kept for backward compatibility.
1599 Don't use it as the first argument of warning(). */
1601 case OPT_Wlarger_than_eq
:
1602 larger_than_size
= value
;
1603 warn_larger_than
= value
!= -1;
1606 case OPT_Wframe_larger_than_
:
1607 frame_larger_than_size
= value
;
1608 warn_frame_larger_than
= value
!= -1;
1611 case OPT_Wstrict_aliasing
:
1612 set_Wstrict_aliasing (value
);
1615 case OPT_Wstrict_aliasing_
:
1616 warn_strict_aliasing
= value
;
1619 case OPT_Wstrict_overflow
:
1620 warn_strict_overflow
= (value
1621 ? (int) WARN_STRICT_OVERFLOW_CONDITIONAL
1625 case OPT_Wstrict_overflow_
:
1626 warn_strict_overflow
= value
;
1630 warn_unused
= value
;
1635 aux_info_file_name
= arg
;
1636 flag_gen_aux_info
= 1;
1640 aux_base_name
= arg
;
1643 case OPT_auxbase_strip
:
1645 char *tmp
= xstrdup (arg
);
1646 strip_off_ending (tmp
, strlen (tmp
));
1648 aux_base_name
= tmp
;
1653 decode_d_option (arg
);
1657 dump_base_name
= arg
;
1660 case OPT_falign_functions_
:
1661 align_functions
= value
;
1664 case OPT_falign_jumps_
:
1665 align_jumps
= value
;
1668 case OPT_falign_labels_
:
1669 align_labels
= value
;
1672 case OPT_falign_loops_
:
1673 align_loops
= value
;
1676 case OPT_fbranch_probabilities
:
1677 flag_branch_probabilities_set
= true;
1680 case OPT_fcall_used_
:
1681 fix_register (arg
, 0, 1);
1684 case OPT_fcall_saved_
:
1685 fix_register (arg
, 0, 0);
1689 dbg_cnt_process_opt (arg
);
1692 case OPT_fdbg_cnt_list
:
1693 dbg_cnt_list_all_counters ();
1696 case OPT_fdebug_prefix_map_
:
1697 add_debug_prefix_map (arg
);
1700 case OPT_fdiagnostics_show_location_
:
1701 if (!strcmp (arg
, "once"))
1702 diagnostic_prefixing_rule (global_dc
) = DIAGNOSTICS_SHOW_PREFIX_ONCE
;
1703 else if (!strcmp (arg
, "every-line"))
1704 diagnostic_prefixing_rule (global_dc
)
1705 = DIAGNOSTICS_SHOW_PREFIX_EVERY_LINE
;
1710 case OPT_fdiagnostics_show_option
:
1711 global_dc
->show_option_requested
= true;
1715 if (!dump_switch_p (arg
))
1719 case OPT_fexcess_precision_
:
1720 if (!strcmp (arg
, "fast"))
1721 flag_excess_precision_cmdline
= EXCESS_PRECISION_FAST
;
1722 else if (!strcmp (arg
, "standard"))
1723 flag_excess_precision_cmdline
= EXCESS_PRECISION_STANDARD
;
1725 error ("unknown excess precision style \"%s\"", arg
);
1728 case OPT_ffast_math
:
1729 set_fast_math_flags (value
);
1732 case OPT_funsafe_math_optimizations
:
1733 set_unsafe_math_optimizations_flags (value
);
1737 fix_register (arg
, 1, 1);
1740 case OPT_finline_limit_
:
1741 case OPT_finline_limit_eq
:
1742 set_param_value ("max-inline-insns-single", value
/ 2);
1743 set_param_value ("max-inline-insns-auto", value
/ 2);
1746 case OPT_finstrument_functions_exclude_function_list_
:
1747 add_comma_separated_to_vector
1748 (&flag_instrument_functions_exclude_functions
, arg
);
1751 case OPT_finstrument_functions_exclude_file_list_
:
1752 add_comma_separated_to_vector
1753 (&flag_instrument_functions_exclude_files
, arg
);
1756 case OPT_fmessage_length_
:
1757 pp_set_line_maximum_length (global_dc
->printer
, value
);
1760 case OPT_fpack_struct_
:
1761 if (value
<= 0 || (value
& (value
- 1)) || value
> 16)
1762 error ("structure alignment must be a small power of two, not %d", value
);
1765 initial_max_fld_align
= value
;
1766 maximum_field_alignment
= value
* BITS_PER_UNIT
;
1770 case OPT_fpeel_loops
:
1771 flag_peel_loops_set
= true;
1775 #ifdef ENABLE_PLUGIN
1776 add_new_plugin (arg
);
1778 error ("Plugin support is disabled. Configure with --enable-plugin.");
1782 case OPT_fplugin_arg_
:
1783 #ifdef ENABLE_PLUGIN
1784 parse_plugin_arg_opt (arg
);
1786 error ("Plugin support is disabled. Configure with --enable-plugin.");
1790 case OPT_fprofile_arcs
:
1791 profile_arc_flag_set
= true;
1794 case OPT_finline_functions
:
1795 flag_inline_functions_set
= true;
1798 case OPT_fprofile_dir_
:
1799 profile_data_prefix
= xstrdup (arg
);
1802 case OPT_fprofile_use_
:
1803 profile_data_prefix
= xstrdup (arg
);
1804 flag_profile_use
= true;
1806 /* No break here - do -fprofile-use processing. */
1807 case OPT_fprofile_use
:
1808 if (!flag_branch_probabilities_set
)
1809 flag_branch_probabilities
= value
;
1810 if (!flag_profile_values_set
)
1811 flag_profile_values
= value
;
1812 if (!flag_unroll_loops_set
)
1813 flag_unroll_loops
= value
;
1814 if (!flag_peel_loops_set
)
1815 flag_peel_loops
= value
;
1816 if (!flag_tracer_set
)
1817 flag_tracer
= value
;
1818 if (!flag_value_profile_transformations_set
)
1819 flag_value_profile_transformations
= value
;
1820 if (!flag_inline_functions_set
)
1821 flag_inline_functions
= value
;
1822 if (!flag_ipa_cp_set
)
1823 flag_ipa_cp
= value
;
1824 if (!flag_ipa_cp_clone_set
1825 && value
&& flag_ipa_cp
)
1826 flag_ipa_cp_clone
= value
;
1827 if (!flag_predictive_commoning_set
)
1828 flag_predictive_commoning
= value
;
1829 if (!flag_unswitch_loops_set
)
1830 flag_unswitch_loops
= value
;
1831 if (!flag_gcse_after_reload_set
)
1832 flag_gcse_after_reload
= value
;
1835 case OPT_fprofile_generate_
:
1836 profile_data_prefix
= xstrdup (arg
);
1838 /* No break here - do -fprofile-generate processing. */
1839 case OPT_fprofile_generate
:
1840 if (!profile_arc_flag_set
)
1841 profile_arc_flag
= value
;
1842 if (!flag_profile_values_set
)
1843 flag_profile_values
= value
;
1844 if (!flag_value_profile_transformations_set
)
1845 flag_value_profile_transformations
= value
;
1846 if (!flag_inline_functions_set
)
1847 flag_inline_functions
= value
;
1850 case OPT_fprofile_values
:
1851 flag_profile_values_set
= true;
1854 case OPT_fvisibility_
:
1856 if (!strcmp(arg
, "default"))
1857 default_visibility
= VISIBILITY_DEFAULT
;
1858 else if (!strcmp(arg
, "internal"))
1859 default_visibility
= VISIBILITY_INTERNAL
;
1860 else if (!strcmp(arg
, "hidden"))
1861 default_visibility
= VISIBILITY_HIDDEN
;
1862 else if (!strcmp(arg
, "protected"))
1863 default_visibility
= VISIBILITY_PROTECTED
;
1865 error ("unrecognized visibility value \"%s\"", arg
);
1870 flag_value_profile_transformations_set
= true;
1873 case OPT_frandom_seed
:
1874 /* The real switch is -fno-random-seed. */
1877 set_random_seed (NULL
);
1880 case OPT_frandom_seed_
:
1881 set_random_seed (arg
);
1884 case OPT_fselective_scheduling
:
1885 case OPT_fselective_scheduling2
:
1886 sel_sched_switch_set
= true;
1889 case OPT_fsched_verbose_
:
1890 #ifdef INSN_SCHEDULING
1891 fix_sched_param ("verbose", arg
);
1897 case OPT_fsched_stalled_insns_
:
1898 flag_sched_stalled_insns
= value
;
1899 if (flag_sched_stalled_insns
== 0)
1900 flag_sched_stalled_insns
= -1;
1903 case OPT_fsched_stalled_insns_dep_
:
1904 flag_sched_stalled_insns_dep
= value
;
1907 case OPT_fstack_check_
:
1908 if (!strcmp (arg
, "no"))
1909 flag_stack_check
= NO_STACK_CHECK
;
1910 else if (!strcmp (arg
, "generic"))
1911 /* This is the old stack checking method. */
1912 flag_stack_check
= STACK_CHECK_BUILTIN
1913 ? FULL_BUILTIN_STACK_CHECK
1914 : GENERIC_STACK_CHECK
;
1915 else if (!strcmp (arg
, "specific"))
1916 /* This is the new stack checking method. */
1917 flag_stack_check
= STACK_CHECK_BUILTIN
1918 ? FULL_BUILTIN_STACK_CHECK
1919 : STACK_CHECK_STATIC_BUILTIN
1920 ? STATIC_BUILTIN_STACK_CHECK
1921 : GENERIC_STACK_CHECK
;
1923 warning (0, "unknown stack check parameter \"%s\"", arg
);
1926 case OPT_fstack_check
:
1927 /* This is the same as the "specific" mode above. */
1929 flag_stack_check
= STACK_CHECK_BUILTIN
1930 ? FULL_BUILTIN_STACK_CHECK
1931 : STACK_CHECK_STATIC_BUILTIN
1932 ? STATIC_BUILTIN_STACK_CHECK
1933 : GENERIC_STACK_CHECK
;
1935 flag_stack_check
= NO_STACK_CHECK
;
1938 case OPT_fstack_limit
:
1939 /* The real switch is -fno-stack-limit. */
1942 stack_limit_rtx
= NULL_RTX
;
1945 case OPT_fstack_limit_register_
:
1947 int reg
= decode_reg_name (arg
);
1949 error ("unrecognized register name \"%s\"", arg
);
1951 stack_limit_rtx
= gen_rtx_REG (Pmode
, reg
);
1955 case OPT_fstack_limit_symbol_
:
1956 stack_limit_rtx
= gen_rtx_SYMBOL_REF (Pmode
, ggc_strdup (arg
));
1959 case OPT_ftree_vectorizer_verbose_
:
1960 vect_set_verbosity_level (arg
);
1963 case OPT_ftls_model_
:
1964 if (!strcmp (arg
, "global-dynamic"))
1965 flag_tls_default
= TLS_MODEL_GLOBAL_DYNAMIC
;
1966 else if (!strcmp (arg
, "local-dynamic"))
1967 flag_tls_default
= TLS_MODEL_LOCAL_DYNAMIC
;
1968 else if (!strcmp (arg
, "initial-exec"))
1969 flag_tls_default
= TLS_MODEL_INITIAL_EXEC
;
1970 else if (!strcmp (arg
, "local-exec"))
1971 flag_tls_default
= TLS_MODEL_LOCAL_EXEC
;
1973 warning (0, "unknown tls-model \"%s\"", arg
);
1976 case OPT_fira_algorithm_
:
1977 if (!strcmp (arg
, "CB"))
1978 flag_ira_algorithm
= IRA_ALGORITHM_CB
;
1979 else if (!strcmp (arg
, "priority"))
1980 flag_ira_algorithm
= IRA_ALGORITHM_PRIORITY
;
1982 warning (0, "unknown ira algorithm \"%s\"", arg
);
1985 case OPT_fira_region_
:
1986 if (!strcmp (arg
, "one"))
1987 flag_ira_region
= IRA_REGION_ONE
;
1988 else if (!strcmp (arg
, "all"))
1989 flag_ira_region
= IRA_REGION_ALL
;
1990 else if (!strcmp (arg
, "mixed"))
1991 flag_ira_region
= IRA_REGION_MIXED
;
1993 warning (0, "unknown ira region \"%s\"", arg
);
1996 case OPT_fira_verbose_
:
1997 flag_ira_verbose
= value
;
2001 flag_tracer_set
= true;
2005 flag_ipa_cp_set
= true;
2008 case OPT_fipa_cp_clone
:
2009 flag_ipa_cp_clone_set
= true;
2012 case OPT_fpredictive_commoning
:
2013 flag_predictive_commoning_set
= true;
2016 case OPT_funswitch_loops
:
2017 flag_unswitch_loops_set
= true;
2020 case OPT_fgcse_after_reload
:
2021 flag_gcse_after_reload_set
= true;
2024 case OPT_funroll_loops
:
2025 flag_unroll_loops_set
= true;
2029 set_debug_level (NO_DEBUG
, DEFAULT_GDB_EXTENSIONS
, arg
);
2033 set_debug_level (SDB_DEBUG
, false, arg
);
2037 set_debug_level (DWARF2_DEBUG
, false, arg
);
2041 set_debug_level (NO_DEBUG
, 2, arg
);
2046 set_debug_level (DBX_DEBUG
, code
== OPT_gstabs_
, arg
);
2050 set_debug_level (VMS_DEBUG
, false, arg
);
2055 set_debug_level (XCOFF_DEBUG
, code
== OPT_gxcoff_
, arg
);
2059 asm_file_name
= arg
;
2062 case OPT_pedantic_errors
:
2063 flag_pedantic_errors
= pedantic
= 1;
2066 case OPT_floop_optimize
:
2067 case OPT_frerun_loop_opt
:
2068 case OPT_fstrength_reduce
:
2069 case OPT_ftree_store_copy_prop
:
2070 case OPT_fforce_addr
:
2071 case OPT_ftree_salias
:
2072 case OPT_ftree_store_ccp
:
2073 /* These are no-ops, preserved for backward compatibility. */
2077 /* If the flag was handled in a standard way, assume the lack of
2078 processing here is intentional. */
2079 gcc_assert (cl_options
[scode
].flag_var
);
2086 /* Handle --param NAME=VALUE. */
2088 handle_param (const char *carg
)
2093 arg
= xstrdup (carg
);
2094 equal
= strchr (arg
, '=');
2096 error ("%s: --param arguments should be of the form NAME=VALUE", arg
);
2099 value
= integral_argument (equal
+ 1);
2101 error ("invalid --param value %qs", equal
+ 1);
2105 set_param_value (arg
, value
);
2112 /* Used to set the level of strict aliasing warnings,
2113 when no level is specified (i.e., when -Wstrict-aliasing, and not
2114 -Wstrict-aliasing=level was given).
2115 ONOFF is assumed to take value 1 when -Wstrict-aliasing is specified,
2116 and 0 otherwise. After calling this function, wstrict_aliasing will be
2117 set to the default value of -Wstrict_aliasing=level, currently 3. */
2119 set_Wstrict_aliasing (int onoff
)
2121 gcc_assert (onoff
== 0 || onoff
== 1);
2123 warn_strict_aliasing
= 3;
2125 warn_strict_aliasing
= 0;
2128 /* The following routines are useful in setting all the flags that
2129 -ffast-math and -fno-fast-math imply. */
2131 set_fast_math_flags (int set
)
2133 flag_unsafe_math_optimizations
= set
;
2134 set_unsafe_math_optimizations_flags (set
);
2135 flag_finite_math_only
= set
;
2136 flag_errno_math
= !set
;
2139 flag_signaling_nans
= 0;
2140 flag_rounding_math
= 0;
2141 flag_cx_limited_range
= 1;
2145 /* When -funsafe-math-optimizations is set the following
2146 flags are set as well. */
2148 set_unsafe_math_optimizations_flags (int set
)
2150 flag_trapping_math
= !set
;
2151 flag_signed_zeros
= !set
;
2152 flag_associative_math
= set
;
2153 flag_reciprocal_math
= set
;
2156 /* Return true iff flags are set as if -ffast-math. */
2158 fast_math_flags_set_p (void)
2160 return (!flag_trapping_math
2161 && flag_unsafe_math_optimizations
2162 && flag_finite_math_only
2163 && !flag_signed_zeros
2164 && !flag_errno_math
);
2167 /* Return true iff flags are set as if -ffast-math but using the flags stored
2168 in the struct cl_optimization structure. */
2170 fast_math_flags_struct_set_p (struct cl_optimization
*opt
)
2172 return (!opt
->flag_trapping_math
2173 && opt
->flag_unsafe_math_optimizations
2174 && opt
->flag_finite_math_only
2175 && !opt
->flag_signed_zeros
2176 && !opt
->flag_errno_math
);
2179 /* Handle a debug output -g switch. EXTENDED is true or false to support
2180 extended output (2 is special and means "-ggdb" was given). */
2182 set_debug_level (enum debug_info_type type
, int extended
, const char *arg
)
2184 static bool type_explicit
;
2186 use_gnu_debug_info_extensions
= extended
;
2188 if (type
== NO_DEBUG
)
2190 if (write_symbols
== NO_DEBUG
)
2192 write_symbols
= PREFERRED_DEBUGGING_TYPE
;
2196 #ifdef DWARF2_DEBUGGING_INFO
2197 write_symbols
= DWARF2_DEBUG
;
2198 #elif defined DBX_DEBUGGING_INFO
2199 write_symbols
= DBX_DEBUG
;
2203 if (write_symbols
== NO_DEBUG
)
2204 warning (0, "target system does not support debug output");
2209 /* Does it conflict with an already selected type? */
2210 if (type_explicit
&& write_symbols
!= NO_DEBUG
&& type
!= write_symbols
)
2211 error ("debug format \"%s\" conflicts with prior selection",
2212 debug_type_names
[type
]);
2213 write_symbols
= type
;
2214 type_explicit
= true;
2217 /* A debug flag without a level defaults to level 2. */
2220 if (!debug_info_level
)
2221 debug_info_level
= DINFO_LEVEL_NORMAL
;
2225 int argval
= integral_argument (arg
);
2227 error ("unrecognised debug output level \"%s\"", arg
);
2228 else if (argval
> 3)
2229 error ("debug output level %s is too high", arg
);
2231 debug_info_level
= (enum debug_info_level
) argval
;
2235 /* Return 1 if OPTION is enabled, 0 if it is disabled, or -1 if it isn't
2236 a simple on-off switch. */
2239 option_enabled (int opt_idx
)
2241 const struct cl_option
*option
= &(cl_options
[opt_idx
]);
2243 if (option
->flag_var
)
2244 switch (option
->var_type
)
2247 return *(int *) option
->flag_var
!= 0;
2250 return *(int *) option
->flag_var
== option
->var_value
;
2252 case CLVC_BIT_CLEAR
:
2253 return (*(int *) option
->flag_var
& option
->var_value
) == 0;
2256 return (*(int *) option
->flag_var
& option
->var_value
) != 0;
2264 /* Fill STATE with the current state of option OPTION. Return true if
2265 there is some state to store. */
2268 get_option_state (int option
, struct cl_option_state
*state
)
2270 if (cl_options
[option
].flag_var
== 0)
2273 switch (cl_options
[option
].var_type
)
2277 state
->data
= cl_options
[option
].flag_var
;
2278 state
->size
= sizeof (int);
2281 case CLVC_BIT_CLEAR
:
2283 state
->ch
= option_enabled (option
);
2284 state
->data
= &state
->ch
;
2289 state
->data
= *(const char **) cl_options
[option
].flag_var
;
2290 if (state
->data
== 0)
2292 state
->size
= strlen ((const char *) state
->data
) + 1;
2298 /* Enable a warning option as an error. This is used by -Werror= and
2299 also by legacy Werror-implicit-function-declaration. */
2302 enable_warning_as_error (const char *arg
, int value
, unsigned int lang_mask
)
2307 new_option
= XNEWVEC (char, strlen (arg
) + 2);
2308 new_option
[0] = 'W';
2309 strcpy (new_option
+ 1, arg
);
2310 option_index
= find_opt (new_option
, lang_mask
);
2311 if (option_index
== N_OPTS
)
2313 error ("-Werror=%s: No option -%s", arg
, new_option
);
2317 diagnostic_t kind
= value
? DK_ERROR
: DK_WARNING
;
2318 diagnostic_classify_diagnostic (global_dc
, option_index
, kind
);
2320 /* -Werror=foo implies -Wfoo. */
2321 if (cl_options
[option_index
].var_type
== CLVC_BOOLEAN
2322 && cl_options
[option_index
].flag_var
2323 && kind
== DK_ERROR
)
2324 *(int *) cl_options
[option_index
].flag_var
= 1;