OSDN Git Service

* final.c (count_basic_block, add_bb, add_bb_string):
[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
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).  -W.  */
90
91 extern int extra_warnings;
92
93 /* Nonzero to warn about unused variables, functions et.al.  Use
94    set_Wunused() to update the -Wunused-* flags that correspond to the
95    -Wunused option.  */
96
97 extern void set_Wunused PARAMS ((int setting));
98
99 extern int warn_unused_function;
100 extern int warn_unused_label;
101 extern int warn_unused_parameter;
102 extern int warn_unused_variable;
103 extern int warn_unused_value;
104
105 /* Nonzero to warn about code which is never reached.  */
106
107 extern int warn_notreached;
108
109 /* Nonzero means warn if inline function is too large.  */
110
111 extern int warn_inline;
112
113 /* Nonzero to warn about variables used before they are initialized.  */
114
115 extern int warn_uninitialized;
116
117 /* Zero if unknown pragmas are ignored
118    One if the compiler should warn about an unknown pragma not in
119    a system include file.
120    Greater than one if the compiler should warn for all unknown
121    pragmas.  */
122
123 extern int warn_unknown_pragmas;
124
125 /* Nonzero means warn about all declarations which shadow others.  */
126
127 extern int warn_shadow;
128
129 /* Warn if a switch on an enum fails to have a case for every enum value.  */
130
131 extern int warn_switch;
132
133 /* Nonzero means warn about function definitions that default the return type
134    or that use a null return and have a return-type other than void.  */
135
136 extern int warn_return_type;
137
138 /* Warn about functions which might be candidates for attribute noreturn.  */
139
140 extern int warn_missing_noreturn;
141
142 /* Nonzero means warn about pointer casts that increase the required
143    alignment of the target type (and might therefore lead to a crash
144    due to a misaligned access).  */
145
146 extern int warn_cast_align;
147
148 /* Nonzero means warn about any objects definitions whose size is larger
149    than N bytes.  Also want about function definitions whose returned
150    values are larger than N bytes. The value N is in `larger_than_size'.  */
151
152 extern int warn_larger_than;
153 extern HOST_WIDE_INT larger_than_size;
154
155 /* Warn if a function returns an aggregate,
156    since there are often incompatible calling conventions for doing this.  */
157
158 extern int warn_aggregate_return;
159
160 /* Warn if packed attribute on struct is unnecessary and inefficient.  */
161
162 extern int warn_packed;
163
164 /* Warn when gcc pads a structure to an alignment boundary.  */
165
166 extern int warn_padded;
167
168 /* Warn when an optimization pass is disabled.  */
169
170 extern int warn_disabled_optimization;
171
172 /* Nonzero if generating code to do profiling.  */
173
174 extern int profile_flag;
175
176 /* Nonzero if generating code to profile program flow graph arcs.  */
177
178 extern int profile_arc_flag;
179
180 /* Nonzero if generating info for gcov to calculate line test coverage.  */
181
182 extern int flag_test_coverage;
183
184 /* Nonzero indicates that branch taken probabilities should be calculated.  */
185
186 extern int flag_branch_probabilities;
187
188 /* Nonzero if basic blocks should be reordered.  */
189
190 extern int flag_reorder_blocks;
191
192 /* Nonzero if registers should be renamed.  */
193
194 extern int flag_rename_registers;
195
196 /* Nonzero for -pedantic switch: warn about anything
197    that standard C forbids.  */
198
199 extern int pedantic;
200
201 /* Temporarily suppress certain warnings.
202    This is set while reading code from a system header file.  */
203
204 extern int in_system_header;
205
206 /* Nonzero for -dp: annotate the assembly with a comment describing the
207    pattern and alternative used.  */
208
209 extern int flag_print_asm_name;
210 \f
211 /* Now the symbols that are set with `-f' switches.  */
212
213 /* Nonzero means `char' should be signed.  */
214
215 extern int flag_signed_char;
216
217 /* Nonzero means give an enum type only as many bytes as it needs.  */
218
219 extern int flag_short_enums;
220
221 /* Nonzero for -fcaller-saves: allocate values in regs that need to
222    be saved across function calls, if that produces overall better code.
223    Optional now, so people can test it.  */
224
225 extern int flag_caller_saves;
226
227 /* Nonzero for -fpcc-struct-return: return values the same way PCC does.  */
228
229 extern int flag_pcc_struct_return;
230
231 /* Nonzero for -fforce-mem: load memory value into a register
232    before arithmetic on it.  This makes better cse but slower compilation.  */
233
234 extern int flag_force_mem;
235
236 /* Nonzero for -fforce-addr: load memory address into a register before
237    reference to memory.  This makes better cse but slower compilation.  */
238
239 extern int flag_force_addr;
240
241 /* Nonzero for -fdefer-pop: don't pop args after each function call;
242    instead save them up to pop many calls' args with one insns.  */
243
244 extern int flag_defer_pop;
245
246 /* Nonzero for -ffloat-store: don't allocate floats and doubles
247    in extended-precision registers.  */
248
249 extern int flag_float_store;
250
251 /* Nonzero enables strength-reduction in loop.c.  */
252
253 extern int flag_strength_reduce;
254
255 /* Nonzero enables loop unrolling in unroll.c.  Only loops for which the
256    number of iterations can be calculated at compile-time (UNROLL_COMPLETELY,
257    UNROLL_MODULO) or at run-time (preconditioned to be UNROLL_MODULO) are
258    unrolled.  */
259
260 extern int flag_unroll_loops;
261
262 /* Nonzero enables loop unrolling in unroll.c.  All loops are unrolled.
263    This is generally not a win.  */
264
265 extern int flag_unroll_all_loops;
266
267 /* Nonzero forces all invariant computations in loops to be moved
268    outside the loop.  */
269
270 extern int flag_move_all_movables;
271
272 /* Nonzero forces all general induction variables in loops to be
273    strength reduced.  */
274
275 extern int flag_reduce_all_givs;
276
277 /* Nonzero for -fcse-follow-jumps:
278    have cse follow jumps to do a more extensive job.  */
279
280 extern int flag_cse_follow_jumps;
281
282 /* Nonzero for -fcse-skip-blocks:
283    have cse follow a branch around a block.  */
284
285 extern int flag_cse_skip_blocks;
286
287 /* Nonzero for -fexpensive-optimizations:
288    perform miscellaneous relatively-expensive optimizations.  */
289 extern int flag_expensive_optimizations;
290
291 /* Nonzero for -fwritable-strings:
292    store string constants in data segment and don't uniquize them.  */
293
294 extern int flag_writable_strings;
295
296 /* Nonzero means don't put addresses of constant functions in registers.
297    Used for compiling the Unix kernel, where strange substitutions are
298    done on the assembly output.  */
299
300 extern int flag_no_function_cse;
301
302 /* Nonzero for -fomit-frame-pointer:
303    don't make a frame pointer in simple functions that don't require one.  */
304
305 extern int flag_omit_frame_pointer;
306
307 /* Nonzero to inhibit use of define_optimization peephole opts.  */
308
309 extern int flag_no_peephole;
310
311 /* Nonzero means all references through pointers are volatile.  */
312
313 extern int flag_volatile;
314
315 /* Nonzero means treat all global and extern variables as volatile.  */
316
317 extern int flag_volatile_global;
318
319 /* Nonzero means treat all static variables as volatile.  */
320
321 extern int flag_volatile_static;
322
323 /* Nonzero allows GCC to optimize sibling and tail recursive calls.  */
324
325 extern int flag_optimize_sibling_calls;
326
327 /* Nonzero means the front end generally wants `errno' maintained by math
328    operations, like built-in SQRT.  */
329
330 extern int flag_errno_math;
331
332 /* Nonzero means that unsafe floating-point math optimizations are allowed
333    for the sake of speed.  IEEE compliance is not guaranteed, and operations
334    are allowed to assume that their arguments and results are "normal"
335    (e.g., nonnegative for SQRT).  */
336
337 extern int flag_unsafe_math_optimizations;
338
339 /* Zero means that floating-point math operations cannot generate a
340    (user-visible) trap.  This is the case, for example, in nonstop
341    IEEE 754 arithmetic.  */
342
343 extern int flag_trapping_math;
344
345 /* 0 means straightforward implementation of complex divide acceptable.
346    1 means wide ranges of inputs must work for complex divide.
347    2 means C99-like requirements for complex divide (not yet implemented).  */
348
349 extern int flag_complex_divide_method;
350
351 /* Nonzero means to run loop optimizations twice.  */
352
353 extern int flag_rerun_loop_opt;
354
355 /* Nonzero means make functions that look like good inline candidates
356    go inline.  */
357
358 extern int flag_inline_functions;
359
360 /* Nonzero for -fkeep-inline-functions: even if we make a function
361    go inline everywhere, keep its definition around for debugging
362    purposes.  */
363
364 extern int flag_keep_inline_functions;
365
366 /* Nonzero means that functions declared `inline' will be treated
367    as `static'.  Prevents generation of zillions of copies of unused
368    static inline functions; instead, `inlines' are written out
369    only when actually used.  Used in conjunction with -g.  Also
370    does the right thing with #pragma interface.  */
371
372 extern int flag_no_inline;
373
374 /* Nonzero if we are only using compiler to check syntax errors.  */
375
376 extern int flag_syntax_only;
377
378 /* Nonzero means we should save auxiliary info into a .X file.  */
379
380 extern int flag_gen_aux_info;
381
382 /* Nonzero means make the text shared if supported.  */
383
384 extern int flag_shared_data;
385
386 /* flag_schedule_insns means schedule insns within basic blocks (before
387    local_alloc).
388    flag_schedule_insns_after_reload means schedule insns after
389    global_alloc.  */
390
391 extern int flag_schedule_insns;
392 extern int flag_schedule_insns_after_reload;
393
394 /* The following flags have effect only for scheduling before register
395    allocation:
396
397    flag_schedule_interblock means schedule insns accross basic blocks.
398    flag_schedule_speculative means allow speculative motion of non-load insns.
399    flag_schedule_speculative_load means allow speculative motion of some
400    load insns.
401    flag_schedule_speculative_load_dangerous allows speculative motion of more
402    load insns.  */
403
404 extern int flag_schedule_interblock;
405 extern int flag_schedule_speculative;
406 extern int flag_schedule_speculative_load;
407 extern int flag_schedule_speculative_load_dangerous;
408
409 /* flag_branch_on_count_reg means try to replace add-1,compare,branch tupple
410    by a cheaper branch, on a count register.  */
411 extern int flag_branch_on_count_reg;
412
413 /* This option is set to 1 on -fsingle-precision-constant option which is
414    used to convert the floating point constants to single precision 
415    constants.  */
416
417 extern int flag_single_precision_constant;
418
419 /* Nonzero means put things in delayed-branch slots if supported.  */
420
421 extern int flag_delayed_branch;
422
423 /* Nonzero means suppress output of instruction numbers and line number
424    notes in debugging dumps.  */
425
426 extern int flag_dump_unnumbered;
427
428 /* Nonzero means pretend it is OK to examine bits of target floats,
429    even if that isn't true.  The resulting code will have incorrect constants,
430    but the same series of instructions that the native compiler would make.  */
431
432 extern int flag_pretend_float;
433
434 /* Nonzero means change certain warnings into errors.
435    Usually these are warnings about failure to conform to some standard.  */
436
437 extern int flag_pedantic_errors;
438
439 /* Nonzero means generate position-independent code.
440    This is not fully implemented yet.  */
441
442 extern int flag_pic;
443
444 /* Nonzero means generate extra code for exception handling and enable
445    exception handling.  */
446
447 extern int flag_exceptions;
448
449 /* Nonzero means generate frame unwind info table when supported */
450
451 extern int flag_unwind_tables;
452
453 /* Nonzero means generate frame unwind info table exact at each insn boundary */
454
455 extern int flag_asynchronous_unwind_tables;
456
457 /* Nonzero means don't place uninitialized global data in common storage
458    by default.  */
459
460 extern int flag_no_common;
461
462 /* -finhibit-size-directive inhibits output of .size for ELF.
463    This is used only for compiling crtstuff.c,
464    and it may be extended to other effects
465    needed for crtstuff.c on other systems.  */
466 extern int flag_inhibit_size_directive;
467
468 /* Nonzero means place each function into its own section on those platforms
469    which support arbitrary section names and unlimited numbers of sections.  */
470
471 extern int flag_function_sections;
472
473 /* ... and similar for data.  */
474  
475 extern int flag_data_sections;
476
477 /* -fverbose-asm causes extra commentary information to be produced in
478    the generated assembly code (to make it more readable).  This option
479    is generally only of use to those who actually need to read the
480    generated assembly code (perhaps while debugging the compiler itself).
481    -fno-verbose-asm, the default, causes the extra information
482    to not be added and is useful when comparing two assembler files.  */
483
484 extern int flag_verbose_asm;
485
486 /* -dA causes debug information to be produced in
487    the generated assembly code (to make it more readable).  This option
488    is generally only of use to those who actually need to read the
489    generated assembly code (perhaps while debugging the compiler itself).
490    Currently, this switch is only used by dwarfout.c; however, it is intended
491    to be a catchall for printing debug information in the assembler file.  */
492
493 extern int flag_debug_asm;
494
495 extern int flag_dump_rtl_in_asm;
496
497 /* -fgnu-linker specifies use of the GNU linker for initializations.
498    -fno-gnu-linker says that collect will be used.  */
499 extern int flag_gnu_linker;
500
501 /* Tag all structures with __attribute__(packed) */
502 extern int flag_pack_struct;
503
504 /* This flag is only tested if alias checking is enabled.
505    0 if pointer arguments may alias each other.  True in C.
506    1 if pointer arguments may not alias each other but may alias
507    global variables.
508    2 if pointer arguments may not alias each other and may not
509    alias global variables.  True in Fortran.
510    The value is ignored if flag_alias_check is 0.  */
511 extern int flag_argument_noalias;
512
513 /* Nonzero if we should do (language-dependent) alias analysis.
514    Typically, this analysis will assume that expressions of certain
515    types do not alias expressions of certain other types.  Only used
516    if alias analysis (in general) is enabled.  */
517 extern int flag_strict_aliasing;
518
519 /* Emit code to probe the stack, to help detect stack overflow; also
520    may cause large objects to be allocated dynamically.  */
521 extern int flag_stack_check;
522
523 /* Do the full regmove optimization pass.  */
524 extern int flag_regmove;
525
526 /* Instrument functions with calls at entry and exit, for profiling.  */
527 extern int flag_instrument_function_entry_exit;
528
529 /* Perform a peephole pass before sched2.  */
530 extern int flag_peephole2;
531
532 /* Try to guess branch probablities.  */
533 extern int flag_guess_branch_prob;
534
535 /* -fbounded-pointers causes gcc to compile pointers as composite
536    objects occupying three words: the pointer value, the base address
537    of the referent object, and the address immediately beyond the end
538    of the referent object.  The base and extent allow us to perform
539    runtime bounds checking.  -fbounded-pointers implies -fcheck-bounds.  */
540 extern int flag_bounded_pointers;
541
542 /* -fcheck-bounds causes gcc to generate array bounds checks.
543    For C, C++: defaults to value of flag_bounded_pointers.
544    For ObjC: defaults to off.
545    For Java: defaults to on.
546    For Fortran: defaults to off.
547    For CHILL: defaults to off.  */
548 extern int flag_bounds_check;
549
550 /* This will attempt to merge constant section constants, if 1 only
551    string constants and constants from constant pool, if 2 also constant
552    variables.  */
553 extern int flag_merge_constants;
554
555 /* If one, renumber instruction UIDs to reduce the number of
556    unused UIDs if there are a lot of instructions.  If greater than
557    one, unconditionally renumber instruction UIDs.  */
558 extern int flag_renumber_insns;
559 \f
560 /* Other basic status info about current function.  */
561
562 /* Nonzero means current function must be given a frame pointer.
563    Set in stmt.c if anything is allocated on the stack there.
564    Set in reload1.c if anything is allocated on the stack there.  */
565
566 extern int frame_pointer_needed;
567
568 /* Nonzero if the generated code should trap on signed overflow
569    for PLUS / SUB / MULT.  */
570 extern int flag_trapv;
571
572 /* Value of the -G xx switch, and whether it was passed or not.  */
573 extern int g_switch_value;
574 extern int g_switch_set;
575
576 /* Values of the -falign-* flags: how much to align labels in code. 
577    0 means `use default', 1 means `don't align'.  
578    For each variable, there is an _log variant which is the power
579    of two not less than the variable, for .align output.  */
580
581 extern int align_loops;
582 extern int align_loops_log;
583 extern int align_loops_max_skip;
584 extern int align_jumps;
585 extern int align_jumps_log;
586 extern int align_jumps_max_skip;
587 extern int align_labels;
588 extern int align_labels_log;
589 extern int align_labels_max_skip;
590 extern int align_functions;
591 extern int align_functions_log;
592
593 /* Nonzero if we dump in VCG format, not plain text.  */
594 extern int dump_for_graph;
595
596 /* Selection of the graph form.  */
597 enum graph_dump_types
598 {
599   no_graph = 0,
600   vcg
601 };
602 extern enum graph_dump_types graph_dump_format;
603
604 /* Nonzero means ignore `#ident' directives.  0 means handle them.
605    On SVR4 targets, it also controls whether or not to emit a
606    string identifying the compiler.  */
607
608 extern int flag_no_ident;
609
610 /* Nonzero if we want to perform enhanced load motion during gcse.  */
611
612 extern int flag_gcse_lm;
613
614 /* Nonzero if we want to perform store motion after gcse.  */
615
616 extern int flag_gcse_sm;
617
618
619 /* Nonzero means we should do dwarf2 duplicate elimination.  */
620
621 extern int flag_eliminate_dwarf2_dups;
622
623 /* Non-zero means to collect statistics which might be expensive
624    and to print them when we are done.  */
625 extern int flag_detailed_statistics;
626
627 /* Nonzero means enable synchronous exceptions for non-call instructions.  */
628 extern int flag_non_call_exceptions;
629
630 #endif /* ! GCC_FLAGS_H */