OSDN Git Service

* configure.in: Fix typo.
[pf3gnuchains/gcc-fork.git] / gcc / flags.h
1 /* Compilation switch flag definitions for GCC.
2    Copyright (C) 1987, 1988, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2002
3    Free Software Foundation, Inc.
4
5 This file is part of GCC.
6
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 2, or (at your option) any later
10 version.
11
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
15 for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING.  If not, write to the Free
19 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
20 02111-1307, USA.  */
21
22 #ifndef GCC_FLAGS_H
23 #define GCC_FLAGS_H
24
25 /* Name of the input .c file being compiled.  */
26 extern const char *main_input_filename;
27
28 enum debug_info_type
29 {
30   NO_DEBUG,         /* Write no debug info.  */
31   DBX_DEBUG,        /* Write BSD .stabs for DBX (using dbxout.c).  */
32   SDB_DEBUG,        /* Write COFF for (old) SDB (using sdbout.c).  */
33   DWARF_DEBUG,      /* Write Dwarf debug info (using dwarfout.c).  */
34   DWARF2_DEBUG,     /* Write Dwarf v2 debug info (using dwarf2out.c).  */
35   XCOFF_DEBUG,      /* Write IBM/Xcoff debug info (using dbxout.c).  */
36   VMS_DEBUG,        /* Write VMS debug info (using vmsdbgout.c).  */
37   VMS_AND_DWARF2_DEBUG /* Write VMS debug info (using vmsdbgout.c).
38                           and DWARF v2 debug info (using dwarf2out.c).  */
39 };
40
41 /* Specify which kind of debugging info to generate.  */
42 extern enum debug_info_type write_symbols;
43
44 enum debug_info_level
45 {
46   DINFO_LEVEL_NONE,     /* Write no debugging info.  */
47   DINFO_LEVEL_TERSE,    /* Write minimal info to support tracebacks only.  */
48   DINFO_LEVEL_NORMAL,   /* Write info for all declarations (and line table).  */
49   DINFO_LEVEL_VERBOSE   /* Write normal info plus #define/#undef info.  */
50 };
51
52 /* Specify how much debugging info to generate.  */
53 extern enum debug_info_level debug_info_level;
54
55 /* Nonzero means use GNU-only extensions in the generated symbolic
56    debugging information.  */
57 extern int use_gnu_debug_info_extensions;
58
59 /* Nonzero means do optimizations.  -opt.  */
60
61 extern int optimize;
62
63 /* Nonzero means optimize for size.  -Os.  */
64
65 extern int optimize_size;
66
67 /* Don't print functions as they are compiled and don't print
68    times taken by the various passes.  -quiet.  */
69
70 extern int quiet_flag;
71
72 /* Print times taken by the various passes.  -ftime-report.  */
73
74 extern int time_report;
75
76 /* Print memory still in use at end of compilation (which may have little
77    to do with peak memory consumption).  -fmem-report.  */
78
79 extern int mem_report;
80
81 /* Don't print warning messages.  -w.  */
82
83 extern int inhibit_warnings;
84
85 /* Don't suppress warnings from system headers.  -Wsystem-headers.  */
86
87 extern int warn_system_headers;
88
89 /* Do print extra warnings (such as for uninitialized variables).
90    -W/-Wextra.  */
91
92 extern int extra_warnings;
93
94 /* Nonzero to warn about unused variables, functions et.al.  Use
95    set_Wunused() to update the -Wunused-* flags that correspond to the
96    -Wunused option.  */
97
98 extern void set_Wunused PARAMS ((int setting));
99
100 extern int warn_unused_function;
101 extern int warn_unused_label;
102 extern int warn_unused_parameter;
103 extern int warn_unused_variable;
104 extern int warn_unused_value;
105
106 /* Nonzero to warn about code which is never reached.  */
107
108 extern int warn_notreached;
109
110 /* Nonzero means warn if inline function is too large.  */
111
112 extern int warn_inline;
113
114 /* Nonzero to warn about variables used before they are initialized.  */
115
116 extern int warn_uninitialized;
117
118 /* Zero if unknown pragmas are ignored
119    One if the compiler should warn about an unknown pragma not in
120    a system include file.
121    Greater than one if the compiler should warn for all unknown
122    pragmas.  */
123
124 extern int warn_unknown_pragmas;
125
126 /* Nonzero means warn about all declarations which shadow others.  */
127
128 extern int warn_shadow;
129
130 /* Warn if a switch on an enum, that does not have a default case,
131    fails to have a case for every enum value.  */
132
133 extern int warn_switch;
134
135 /* Warn if a switch does not have a default case.  */
136
137 extern int warn_switch_default;
138
139 /* Warn if a switch on an enum fails to have a case for every enum
140    value (regardless of the presence or otherwise of a default case).  */
141
142 extern int warn_switch_enum;
143
144 /* Nonzero means warn about function definitions that default the return type
145    or that use a null return and have a return-type other than void.  */
146
147 extern int warn_return_type;
148
149 /* Warn about functions which might be candidates for attribute noreturn.  */
150
151 extern int warn_missing_noreturn;
152
153 /* Nonzero means warn about pointer casts that increase the required
154    alignment of the target type (and might therefore lead to a crash
155    due to a misaligned access).  */
156
157 extern int warn_cast_align;
158
159 /* Nonzero means warn about any objects definitions whose size is larger
160    than N bytes.  Also want about function definitions whose returned
161    values are larger than N bytes. The value N is in `larger_than_size'.  */
162
163 extern int warn_larger_than;
164 extern HOST_WIDE_INT larger_than_size;
165
166 /* Warn if a function returns an aggregate,
167    since there are often incompatible calling conventions for doing this.  */
168
169 extern int warn_aggregate_return;
170
171 /* Warn if packed attribute on struct is unnecessary and inefficient.  */
172
173 extern int warn_packed;
174
175 /* Warn when gcc pads a structure to an alignment boundary.  */
176
177 extern int warn_padded;
178
179 /* Warn when an optimization pass is disabled.  */
180
181 extern int warn_disabled_optimization;
182
183 /* Nonzero means warn about uses of __attribute__((deprecated)) 
184    declarations.  */
185
186 extern int warn_deprecated_decl;
187
188 /* Nonzero means warn about constructs which might not be strict
189    aliasing safe.  */
190
191 extern int warn_strict_aliasing;
192
193 /* Nonzero if generating code to do profiling.  */
194
195 extern int profile_flag;
196
197 /* Nonzero if generating code to profile program flow graph arcs.  */
198
199 extern int profile_arc_flag;
200
201 /* Nonzero if generating info for gcov to calculate line test coverage.  */
202
203 extern int flag_test_coverage;
204
205 /* Nonzero indicates that branch taken probabilities should be calculated.  */
206
207 extern int flag_branch_probabilities;
208
209 /* Nonzero if basic blocks should be reordered.  */
210
211 extern int flag_reorder_blocks;
212
213 /* Nonzero if functions should be reordered.  */
214
215 extern int flag_reorder_functions;
216
217 /* Nonzero if registers should be renamed.  */
218
219 extern int flag_rename_registers;
220
221 /* Nonzero for -pedantic switch: warn about anything
222    that standard C forbids.  */
223
224 extern int pedantic;
225
226 /* Temporarily suppress certain warnings.
227    This is set while reading code from a system header file.  */
228
229 extern int in_system_header;
230
231 /* Nonzero for -dp: annotate the assembly with a comment describing the
232    pattern and alternative used.  */
233
234 extern int flag_print_asm_name;
235 \f
236 /* Now the symbols that are set with `-f' switches.  */
237
238 /* Nonzero means `char' should be signed.  */
239
240 extern int flag_signed_char;
241
242 /* Nonzero means give an enum type only as many bytes as it needs.  */
243
244 extern int flag_short_enums;
245
246 /* Nonzero for -fcaller-saves: allocate values in regs that need to
247    be saved across function calls, if that produces overall better code.
248    Optional now, so people can test it.  */
249
250 extern int flag_caller_saves;
251
252 /* Nonzero for -fpcc-struct-return: return values the same way PCC does.  */
253
254 extern int flag_pcc_struct_return;
255
256 /* Nonzero for -fforce-mem: load memory value into a register
257    before arithmetic on it.  This makes better cse but slower compilation.  */
258
259 extern int flag_force_mem;
260
261 /* Nonzero for -fforce-addr: load memory address into a register before
262    reference to memory.  This makes better cse but slower compilation.  */
263
264 extern int flag_force_addr;
265
266 /* Nonzero for -fdefer-pop: don't pop args after each function call;
267    instead save them up to pop many calls' args with one insns.  */
268
269 extern int flag_defer_pop;
270
271 /* Nonzero for -ffloat-store: don't allocate floats and doubles
272    in extended-precision registers.  */
273
274 extern int flag_float_store;
275
276 /* Nonzero enables strength-reduction in loop.c.  */
277
278 extern int flag_strength_reduce;
279
280 /* Nonzero enables loop unrolling in unroll.c.  Only loops for which the
281    number of iterations can be calculated at compile-time (UNROLL_COMPLETELY,
282    UNROLL_MODULO) or at run-time (preconditioned to be UNROLL_MODULO) are
283    unrolled.  */
284
285 extern int flag_unroll_loops;
286
287 /* Nonzero enables loop unrolling in unroll.c.  All loops are unrolled.
288    This is generally not a win.  */
289
290 extern int flag_unroll_all_loops;
291
292 /* Nonzero forces all invariant computations in loops to be moved
293    outside the loop.  */
294
295 extern int flag_move_all_movables;
296
297 /* Nonzero enables prefetch optimizations for arrays in loops.  */
298
299 extern int flag_prefetch_loop_arrays;
300
301 /* Nonzero forces all general induction variables in loops to be
302    strength reduced.  */
303
304 extern int flag_reduce_all_givs;
305
306 /* Nonzero for -fcse-follow-jumps:
307    have cse follow jumps to do a more extensive job.  */
308
309 extern int flag_cse_follow_jumps;
310
311 /* Nonzero for -fcse-skip-blocks:
312    have cse follow a branch around a block.  */
313
314 extern int flag_cse_skip_blocks;
315
316 /* Nonzero for -fexpensive-optimizations:
317    perform miscellaneous relatively-expensive optimizations.  */
318 extern int flag_expensive_optimizations;
319
320 /* Nonzero for -fwritable-strings:
321    store string constants in data segment and don't uniquize them.  */
322
323 extern int flag_writable_strings;
324
325 /* Nonzero means don't put addresses of constant functions in registers.
326    Used for compiling the Unix kernel, where strange substitutions are
327    done on the assembly output.  */
328
329 extern int flag_no_function_cse;
330
331 /* Nonzero for -fomit-frame-pointer:
332    don't make a frame pointer in simple functions that don't require one.  */
333
334 extern int flag_omit_frame_pointer;
335
336 /* Nonzero to inhibit use of define_optimization peephole opts.  */
337
338 extern int flag_no_peephole;
339
340 /* Nonzero allows GCC to optimize sibling and tail recursive calls.  */
341
342 extern int flag_optimize_sibling_calls;
343
344 /* Nonzero means the front end generally wants `errno' maintained by math
345    operations, like built-in SQRT.  */
346
347 extern int flag_errno_math;
348
349 /* Nonzero means that unsafe floating-point math optimizations are allowed
350    for the sake of speed.  IEEE compliance is not guaranteed, and operations
351    are allowed to assume that their arguments and results are "normal"
352    (e.g., nonnegative for SQRT).  */
353
354 extern int flag_unsafe_math_optimizations;
355
356 /* Nonzero means that no NaNs or +-Infs are expected.  */
357
358 extern int flag_finite_math_only;
359
360 /* Zero means that floating-point math operations cannot generate a
361    (user-visible) trap.  This is the case, for example, in nonstop
362    IEEE 754 arithmetic.  */
363
364 extern int flag_trapping_math;
365
366 /* 0 means straightforward implementation of complex divide acceptable.
367    1 means wide ranges of inputs must work for complex divide.
368    2 means C99-like requirements for complex divide (not yet implemented).  */
369
370 extern int flag_complex_divide_method;
371
372 /* Nonzero means to run loop optimizations twice.  */
373
374 extern int flag_rerun_loop_opt;
375
376 /* Nonzero means make functions that look like good inline candidates
377    go inline.  */
378
379 extern int flag_inline_functions;
380
381 /* Nonzero for -fkeep-inline-functions: even if we make a function
382    go inline everywhere, keep its definition around for debugging
383    purposes.  */
384
385 extern int flag_keep_inline_functions;
386
387 /* Nonzero means that functions declared `inline' will be treated
388    as `static'.  Prevents generation of zillions of copies of unused
389    static inline functions; instead, `inlines' are written out
390    only when actually used.  Used in conjunction with -g.  Also
391    does the right thing with #pragma interface.  */
392
393 extern int flag_no_inline;
394
395 /* Nonzero means that we don't want inlining by virtue of -fno-inline,
396    not just because the tree inliner turned us off.  */
397
398 extern int flag_really_no_inline;
399
400 /* Nonzero if we are only using compiler to check syntax errors.  */
401
402 extern int flag_syntax_only;
403
404 /* Nonzero means we should save auxiliary info into a .X file.  */
405
406 extern int flag_gen_aux_info;
407
408 /* Nonzero means make the text shared if supported.  */
409
410 extern int flag_shared_data;
411
412 /* flag_schedule_insns means schedule insns within basic blocks (before
413    local_alloc).
414    flag_schedule_insns_after_reload means schedule insns after
415    global_alloc.  */
416
417 extern int flag_schedule_insns;
418 extern int flag_schedule_insns_after_reload;
419
420 /* The following flags have effect only for scheduling before register
421    allocation:
422
423    flag_schedule_interblock means schedule insns across basic blocks.
424    flag_schedule_speculative means allow speculative motion of non-load insns.
425    flag_schedule_speculative_load means allow speculative motion of some
426    load insns.
427    flag_schedule_speculative_load_dangerous allows speculative motion of more
428    load insns.  */
429
430 extern int flag_schedule_interblock;
431 extern int flag_schedule_speculative;
432 extern int flag_schedule_speculative_load;
433 extern int flag_schedule_speculative_load_dangerous;
434
435 /* flag_branch_on_count_reg means try to replace add-1,compare,branch tupple
436    by a cheaper branch, on a count register.  */
437 extern int flag_branch_on_count_reg;
438
439 /* This option is set to 1 on -fsingle-precision-constant option which is
440    used to convert the floating point constants to single precision 
441    constants.  */
442
443 extern int flag_single_precision_constant;
444
445 /* Nonzero means put things in delayed-branch slots if supported.  */
446
447 extern int flag_delayed_branch;
448
449 /* Nonzero means suppress output of instruction numbers and line number
450    notes in debugging dumps.  */
451
452 extern int flag_dump_unnumbered;
453
454 /* Nonzero means change certain warnings into errors.
455    Usually these are warnings about failure to conform to some standard.  */
456
457 extern int flag_pedantic_errors;
458
459 /* Nonzero means generate position-independent code.  1 vs 2 for a 
460    target-dependent "small" or "large" mode.  */
461
462 extern int flag_pic;
463
464 /* Nonzero means generate extra code for exception handling and enable
465    exception handling.  */
466
467 extern int flag_exceptions;
468
469 /* Nonzero means generate frame unwind info table when supported */
470
471 extern int flag_unwind_tables;
472
473 /* Nonzero means generate frame unwind info table exact at each insn boundary */
474
475 extern int flag_asynchronous_unwind_tables;
476
477 /* Nonzero means don't place uninitialized global data in common storage
478    by default.  */
479
480 extern int flag_no_common;
481
482 /* -finhibit-size-directive inhibits output of .size for ELF.
483    This is used only for compiling crtstuff.c,
484    and it may be extended to other effects
485    needed for crtstuff.c on other systems.  */
486 extern int flag_inhibit_size_directive;
487
488 /* Nonzero means place each function into its own section on those platforms
489    which support arbitrary section names and unlimited numbers of sections.  */
490
491 extern int flag_function_sections;
492
493 /* ... and similar for data.  */
494  
495 extern int flag_data_sections;
496
497 /* -fverbose-asm causes extra commentary information to be produced in
498    the generated assembly code (to make it more readable).  This option
499    is generally only of use to those who actually need to read the
500    generated assembly code (perhaps while debugging the compiler itself).
501    -fno-verbose-asm, the default, causes the extra information
502    to not be added and is useful when comparing two assembler files.  */
503
504 extern int flag_verbose_asm;
505
506 /* -dA causes debug information to be produced in
507    the generated assembly code (to make it more readable).  This option
508    is generally only of use to those who actually need to read the
509    generated assembly code (perhaps while debugging the compiler itself).
510    Currently, this switch is only used by dwarfout.c; however, it is intended
511    to be a catchall for printing debug information in the assembler file.  */
512
513 extern int flag_debug_asm;
514
515 extern int flag_dump_rtl_in_asm;
516
517 /* -fgnu-linker specifies use of the GNU linker for initializations.
518    -fno-gnu-linker says that collect will be used.  */
519 extern int flag_gnu_linker;
520
521 /* Tag all structures with __attribute__(packed) */
522 extern int flag_pack_struct;
523
524 /* This flag is only tested if alias checking is enabled.
525    0 if pointer arguments may alias each other.  True in C.
526    1 if pointer arguments may not alias each other but may alias
527    global variables.
528    2 if pointer arguments may not alias each other and may not
529    alias global variables.  True in Fortran.
530    The value is ignored if flag_alias_check is 0.  */
531 extern int flag_argument_noalias;
532
533 /* Nonzero if we should do (language-dependent) alias analysis.
534    Typically, this analysis will assume that expressions of certain
535    types do not alias expressions of certain other types.  Only used
536    if alias analysis (in general) is enabled.  */
537 extern int flag_strict_aliasing;
538
539 /* Emit code to probe the stack, to help detect stack overflow; also
540    may cause large objects to be allocated dynamically.  */
541 extern int flag_stack_check;
542
543 /* Do the full regmove optimization pass.  */
544 extern int flag_regmove;
545
546 /* Instrument functions with calls at entry and exit, for profiling.  */
547 extern int flag_instrument_function_entry_exit;
548
549 /* Perform a peephole pass before sched2.  */
550 extern int flag_peephole2;
551
552 /* Try to guess branch probabilities.  */
553 extern int flag_guess_branch_prob;
554
555 /* -fcheck-bounds causes gcc to generate array bounds checks.
556    For C, C++ and ObjC: defaults off.
557    For Java: defaults to on.
558    For Fortran: defaults to off.  */
559 extern int flag_bounds_check;
560
561 /* This will attempt to merge constant section constants, if 1 only
562    string constants and constants from constant pool, if 2 also constant
563    variables.  */
564 extern int flag_merge_constants;
565
566 /* If one, renumber instruction UIDs to reduce the number of
567    unused UIDs if there are a lot of instructions.  If greater than
568    one, unconditionally renumber instruction UIDs.  */
569 extern int flag_renumber_insns;
570 \f
571 /* Other basic status info about current function.  */
572
573 /* Nonzero means current function must be given a frame pointer.
574    Set in stmt.c if anything is allocated on the stack there.
575    Set in reload1.c if anything is allocated on the stack there.  */
576
577 extern int frame_pointer_needed;
578
579 /* Nonzero if the generated code should trap on signed overflow
580    for PLUS / SUB / MULT.  */
581 extern int flag_trapv;
582
583 /* Value of the -G xx switch, and whether it was passed or not.  */
584 extern int g_switch_value;
585 extern int g_switch_set;
586
587 /* Values of the -falign-* flags: how much to align labels in code. 
588    0 means `use default', 1 means `don't align'.  
589    For each variable, there is an _log variant which is the power
590    of two not less than the variable, for .align output.  */
591
592 extern int align_loops;
593 extern int align_loops_log;
594 extern int align_loops_max_skip;
595 extern int align_jumps;
596 extern int align_jumps_log;
597 extern int align_jumps_max_skip;
598 extern int align_labels;
599 extern int align_labels_log;
600 extern int align_labels_max_skip;
601 extern int align_functions;
602 extern int align_functions_log;
603
604 /* Like align_functions_log above, but used by front-ends to force the
605    minimum function alignment.  Zero means no alignment is forced.  */
606 extern int force_align_functions_log;
607
608 /* Nonzero if we dump in VCG format, not plain text.  */
609 extern int dump_for_graph;
610
611 /* Selection of the graph form.  */
612 enum graph_dump_types
613 {
614   no_graph = 0,
615   vcg
616 };
617 extern enum graph_dump_types graph_dump_format;
618
619 /* Nonzero means ignore `#ident' directives.  0 means handle them.
620    On SVR4 targets, it also controls whether or not to emit a
621    string identifying the compiler.  */
622
623 extern int flag_no_ident;
624
625 /* Nonzero means perform global CSE.  */
626
627 extern int flag_gcse;
628
629 /* Nonzero if we want to perform enhanced load motion during gcse.  */
630
631 extern int flag_gcse_lm;
632
633 /* Nonzero if we want to perform store motion after gcse.  */
634
635 extern int flag_gcse_sm;
636
637
638 /* Nonzero means we should do dwarf2 duplicate elimination.  */
639
640 extern int flag_eliminate_dwarf2_dups;
641
642 /* Nonzero means to collect statistics which might be expensive
643    and to print them when we are done.  */
644 extern int flag_detailed_statistics;
645
646 /* Nonzero means enable synchronous exceptions for non-call instructions.  */
647 extern int flag_non_call_exceptions;
648
649 /* Nonzero means put zero initialized data in the bss section.  */
650 extern int flag_zero_initialized_in_bss;
651
652 /* Nonzero means disable transformations observable by signaling NaNs.  */
653 extern int flag_signaling_nans;
654
655 extern int flag_unit_at_a_time;
656
657 /* True if the given mode has a NaN representation and the treatment of
658    NaN operands is important.  Certain optimizations, such as folding
659    x * 0 into x, are not correct for NaN operands, and are normally
660    disabled for modes with NaNs.  The user can ask for them to be
661    done anyway using the -funsafe-math-optimizations switch.  */
662 #define HONOR_NANS(MODE) \
663   (MODE_HAS_NANS (MODE) && !flag_finite_math_only)
664
665 /* Like HONOR_NANs, but true if we honor signaling NaNs (or sNaNs).  */
666 #define HONOR_SNANS(MODE) (flag_signaling_nans && HONOR_NANS (MODE))
667
668 /* As for HONOR_NANS, but true if the mode can represent infinity and
669    the treatment of infinite values is important.  */
670 #define HONOR_INFINITIES(MODE) \
671   (MODE_HAS_INFINITIES (MODE) && !flag_finite_math_only)
672
673 /* Like HONOR_NANS, but true if the given mode distinguishes between
674    positive and negative zero, and the sign of zero is important.  */
675 #define HONOR_SIGNED_ZEROS(MODE) \
676   (MODE_HAS_SIGNED_ZEROS (MODE) && !flag_unsafe_math_optimizations)
677
678 /* Like HONOR_NANS, but true if given mode supports sign-dependent rounding,
679    and the rounding mode is important.  */
680 #define HONOR_SIGN_DEPENDENT_ROUNDING(MODE) \
681   (MODE_HAS_SIGN_DEPENDENT_ROUNDING (MODE) && !flag_unsafe_math_optimizations)
682
683 #endif /* ! GCC_FLAGS_H */