gcc/flags.h

   1 /* Compilation switch flag definitions for GCC.
   2    Copyright (C) 1987, 1988, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2002,
   3    2003, 2004
   4    Free Software Foundation, Inc.
   5
   6 This file is part of GCC.
   7
   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 2, or (at your option) any later
  11 version.
  12
  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
  16 for more details.
  17
  18 You should have received a copy of the GNU General Public License
  19 along with GCC; see the file COPYING.  If not, write to the Free
  20 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
  21 02111-1307, USA.  */
  22
  23 #ifndef GCC_FLAGS_H
  24 #define GCC_FLAGS_H
  25
  26 #include "options.h"
  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 /* Names of debug_info_type, for error messages.  */
  45 extern const char *const debug_type_names[];
  46
  47 enum debug_info_level
  48 {
  49   DINFO_LEVEL_NONE,     /* Write no debugging info.  */
  50   DINFO_LEVEL_TERSE,    /* Write minimal info to support tracebacks only.  */
  51   DINFO_LEVEL_NORMAL,   /* Write info for all declarations (and line table).  */
  52   DINFO_LEVEL_VERBOSE   /* Write normal info plus #define/#undef info.  */
  53 };
  54
  55 /* Specify how much debugging info to generate.  */
  56 extern enum debug_info_level debug_info_level;
  57
  58 /* Nonzero means use GNU-only extensions in the generated symbolic
  59    debugging information.  */
  60 extern bool use_gnu_debug_info_extensions;
  61
  62 /* Nonzero means emit debugging information only for symbols which are used.  */
  63 extern int flag_debug_only_used_symbols;
  64
  65 /* Nonzero means do optimizations.  -opt.  */
  66
  67 extern int optimize;
  68
  69 /* Nonzero means optimize for size.  -Os.  */
  70
  71 extern int optimize_size;
  72
  73 /* Don't print functions as they are compiled and don't print
  74    times taken by the various passes.  -quiet.  */
  75
  76 extern int quiet_flag;
  77
  78 /* Print memory still in use at end of compilation (which may have little
  79    to do with peak memory consumption).  -fmem-report.  */
  80
  81 extern int mem_report;
  82
  83 /* Do print extra warnings (such as for uninitialized variables).
  84    -W/-Wextra.  */
  85
  86 extern bool extra_warnings;
  87
  88 /* Nonzero to warn about unused variables, functions et.al.  Use
  89    set_Wunused() to update the -Wunused-* flags that correspond to the
  90    -Wunused option.  */
  91
  92 extern void set_Wunused (int setting);
  93
  94 /* Nonzero to warn about variables used before they are initialized.  */
  95
  96 extern int warn_uninitialized;
  97
  98 /* Nonzero means warn about function definitions that default the return type
  99    or that use a null return and have a return-type other than void.  */
 100
 101 extern int warn_return_type;
 102
 103 /* Nonzero means warn about any objects definitions whose size is larger
 104    than N bytes.  Also want about function definitions whose returned
 105    values are larger than N bytes. The value N is in `larger_than_size'.  */
 106
 107 extern bool warn_larger_than;
 108 extern HOST_WIDE_INT larger_than_size;
 109
 110 /* Nonzero means warn about constructs which might not be strict
 111    aliasing safe.  */
 112
 113 extern int warn_strict_aliasing;
 114
 115 /* Nonzero if generating code to do profiling.  */
 116
 117 extern int profile_flag;
 118
 119 /* Nonzero if generating code to profile program flow graph arcs.  */
 120
 121 extern int profile_arc_flag;
 122
 123 /* Nonzero if value profile should be measured.  */
 124
 125 extern int flag_profile_values;
 126
 127 /* Nonzero if generating info for gcov to calculate line test coverage.  */
 128
 129 extern int flag_test_coverage;
 130
 131 /* Nonzero indicates that branch taken probabilities should be calculated.  */
 132
 133 extern int flag_branch_probabilities;
 134
 135 /* Nonzero if basic blocks should be reordered.  */
 136
 137 extern int flag_reorder_blocks;
 138
 139 /* Nonzero if basic blocks should be partitioned into hot and cold
 140    sections of the .o file, in addition to being reordered.  */
 141
 142 extern int flag_reorder_blocks_and_partition;
 143
 144 /* Nonzero if functions should be reordered.  */
 145
 146 extern int flag_reorder_functions;
 147
 148 /* Nonzero if registers should be renamed.  */
 149
 150 extern int flag_rename_registers;
 151
 152 /* Nonzero for -pedantic switch: warn about anything
 153    that standard C forbids.  */
 154
 155 extern int pedantic;
 156
 157 /* Temporarily suppress certain warnings.
 158    This is set while reading code from a system header file.  */
 159
 160 extern int in_system_header;
 161
 162 /* Nonzero for -dp: annotate the assembly with a comment describing the
 163    pattern and alternative used.  */
 164
 165 extern int flag_print_asm_name;
 166 \f
 167 /* Now the symbols that are set with `-f' switches.  */
 168
 169 /* Nonzero means `char' should be signed.  */
 170
 171 extern int flag_signed_char;
 172
 173 /* Nonzero means give an enum type only as many bytes as it needs.  A value
 174    of 2 means it has not yet been initialized.  */
 175
 176 extern int flag_short_enums;
 177
 178 /* Nonzero for -fcaller-saves: allocate values in regs that need to
 179    be saved across function calls, if that produces overall better code.
 180    Optional now, so people can test it.  */
 181
 182 extern int flag_caller_saves;
 183
 184 /* Nonzero for -fpcc-struct-return: return values the same way PCC does.  */
 185
 186 extern int flag_pcc_struct_return;
 187
 188 /* Nonzero for -fforce-mem: load memory value into a register
 189    before arithmetic on it.  This makes better cse but slower compilation.  */
 190
 191 extern int flag_force_mem;
 192
 193 /* Nonzero for -fforce-addr: load memory address into a register before
 194    reference to memory.  This makes better cse but slower compilation.  */
 195
 196 extern int flag_force_addr;
 197
 198 /* Nonzero for -fdefer-pop: don't pop args after each function call;
 199    instead save them up to pop many calls' args with one insns.  */
 200
 201 extern int flag_defer_pop;
 202
 203 /* Nonzero for -ffloat-store: don't allocate floats and doubles
 204    in extended-precision registers.  */
 205
 206 extern int flag_float_store;
 207
 208 /* Nonzero enables strength-reduction in loop.c.  */
 209
 210 extern int flag_strength_reduce;
 211
 212 /* Nonzero enables loop unrolling in unroll.c.  Only loops for which the
 213    number of iterations can be calculated at compile-time (UNROLL_COMPLETELY,
 214    UNROLL_MODULO) or at run-time (preconditioned to be UNROLL_MODULO) are
 215    unrolled.  */
 216
 217 extern int flag_old_unroll_loops;
 218
 219 /* Nonzero enables loop unrolling in unroll.c.  All loops are unrolled.
 220    This is generally not a win.  */
 221
 222 extern int flag_old_unroll_all_loops;
 223
 224 /* Nonzero forces all invariant computations in loops to be moved
 225    outside the loop.  */
 226
 227 extern int flag_move_all_movables;
 228
 229 /* Nonzero enables prefetch optimizations for arrays in loops.  */
 230
 231 extern int flag_prefetch_loop_arrays;
 232
 233 /* Nonzero forces all general induction variables in loops to be
 234    strength reduced.  */
 235
 236 extern int flag_reduce_all_givs;
 237
 238 /* Nonzero for -fcse-follow-jumps:
 239    have cse follow jumps to do a more extensive job.  */
 240
 241 extern int flag_cse_follow_jumps;
 242
 243 /* Nonzero for -fcse-skip-blocks:
 244    have cse follow a branch around a block.  */
 245
 246 extern int flag_cse_skip_blocks;
 247
 248 /* Nonzero for -fexpensive-optimizations:
 249    perform miscellaneous relatively-expensive optimizations.  */
 250 extern int flag_expensive_optimizations;
 251
 252 /* Nonzero means to use global dataflow analysis to eliminate
 253    useless null pointer tests.  */
 254 extern int flag_delete_null_pointer_checks;
 255
 256 /* Nonzero means don't put addresses of constant functions in registers.
 257    Used for compiling the Unix kernel, where strange substitutions are
 258    done on the assembly output.  */
 259
 260 extern int flag_no_function_cse;
 261
 262 /* Nonzero for -fomit-frame-pointer:
 263    don't make a frame pointer in simple functions that don't require one.  */
 264
 265 extern int flag_omit_frame_pointer;
 266
 267 /* Nonzero to inhibit use of define_optimization peephole opts.  */
 268
 269 extern int flag_no_peephole;
 270
 271 /* Nonzero allows GCC to optimize sibling and tail recursive calls.  */
 272
 273 extern int flag_optimize_sibling_calls;
 274
 275 /* Nonzero means the front end generally wants `errno' maintained by math
 276    operations, like built-in SQRT.  */
 277
 278 extern int flag_errno_math;
 279
 280 /* Nonzero means that unsafe floating-point math optimizations are allowed
 281    for the sake of speed.  IEEE compliance is not guaranteed, and operations
 282    are allowed to assume that their arguments and results are "normal"
 283    (e.g., nonnegative for SQRT).  */
 284
 285 extern int flag_unsafe_math_optimizations;
 286
 287 /* Nonzero means that no NaNs or +-Infs are expected.  */
 288
 289 extern int flag_finite_math_only;
 290
 291 /* Zero means that floating-point math operations cannot generate a
 292    (user-visible) trap.  This is the case, for example, in nonstop
 293    IEEE 754 arithmetic.  */
 294
 295 extern int flag_trapping_math;
 296
 297 /* Nonzero means disable transformations that assume default floating
 298    point rounding behavior.  */
 299
 300 extern int flag_rounding_math;
 301
 302 /* 0 means straightforward implementation of complex divide acceptable.
 303    1 means wide ranges of inputs must work for complex divide.
 304    2 means C99-like requirements for complex divide (not yet implemented).  */
 305
 306 extern int flag_complex_divide_method;
 307
 308 /* Nonzero means to run loop optimizations twice.  */
 309
 310 extern int flag_rerun_loop_opt;
 311
 312 /* Nonzero means make functions that look like good inline candidates
 313    go inline.  */
 314
 315 extern int flag_inline_functions;
 316
 317 /* Nonzero for -fkeep-inline-functions: even if we make a function
 318    go inline everywhere, keep its definition around for debugging
 319    purposes.  */
 320
 321 extern int flag_keep_inline_functions;
 322
 323 /* Nonzero means that functions declared `inline' will be treated
 324    as `static'.  Prevents generation of zillions of copies of unused
 325    static inline functions; instead, `inlines' are written out
 326    only when actually used.  Used in conjunction with -g.  Also
 327    does the right thing with #pragma interface.  */
 328
 329 extern int flag_no_inline;
 330
 331 /* Nonzero means that we don't want inlining by virtue of -fno-inline,
 332    not just because the tree inliner turned us off.  */
 333
 334 extern int flag_really_no_inline;
 335
 336 /* Nonzero if we are only using compiler to check syntax errors.  */
 337
 338 extern int flag_syntax_only;
 339 extern int rtl_dump_and_exit;
 340
 341 /* Nonzero if we are exiting on the first error occurred.  */
 342
 343 extern int flag_fatal_errors;
 344
 345 /* Nonzero means we should save auxiliary info into a .X file.  */
 346
 347 extern int flag_gen_aux_info;
 348
 349 /* Nonzero means make the text shared if supported.  */
 350
 351 extern int flag_shared_data;
 352
 353 /* Controls the activation of SMS modulo scheduling.  */
 354 extern int flag_modulo_sched;
 355
 356 /* flag_schedule_insns means schedule insns within basic blocks (before
 357    local_alloc).
 358    flag_schedule_insns_after_reload means schedule insns after
 359    global_alloc.  */
 360
 361 extern int flag_schedule_insns;
 362 extern int flag_schedule_insns_after_reload;
 363 extern int flag_sched2_use_superblocks;
 364 extern int flag_sched2_use_traces;
 365
 366 /* The following flags have effect only for scheduling before register
 367    allocation:
 368
 369    flag_schedule_interblock means schedule insns across basic blocks.
 370    flag_schedule_speculative means allow speculative motion of non-load insns.
 371    flag_schedule_speculative_load means allow speculative motion of some
 372    load insns.
 373    flag_schedule_speculative_load_dangerous allows speculative motion of more
 374    load insns.  */
 375
 376 extern int flag_schedule_interblock;
 377 extern int flag_schedule_speculative;
 378 extern int flag_schedule_speculative_load;
 379 extern int flag_schedule_speculative_load_dangerous;
 380
 381 /* The following flags have an effect during scheduling after register
 382    allocation:
 383
 384    sched_stalled_insns means that insns can be moved prematurely from the queue
 385    of stalled insns into the ready list.
 386
 387    sched_stalled_insns_dep controls how many recently scheduled cycles will
 388    be examined for a dependency on a stalled insn that is candidate for
 389    premature removal from the queue of stalled insns into the ready list (has
 390    an effect only if the flag 'sched_stalled_insns' is set).  */
 391
 392 extern int flag_sched_stalled_insns;
 393 extern int flag_sched_stalled_insns_dep;
 394
 395 /* flag_branch_on_count_reg means try to replace add-1,compare,branch tupple
 396    by a cheaper branch, on a count register.  */
 397 extern int flag_branch_on_count_reg;
 398
 399 /* This option is set to 1 on -fsingle-precision-constant option which is
 400    used to convert the floating point constants to single precision
 401    constants.  */
 402
 403 extern int flag_single_precision_constant;
 404
 405 /* Nonzero means put things in delayed-branch slots if supported.  */
 406
 407 extern int flag_delayed_branch;
 408
 409 /* Nonzero means suppress output of instruction numbers and line number
 410    notes in debugging dumps.  */
 411
 412 extern int flag_dump_unnumbered;
 413
 414 /* Nonzero means change certain warnings into errors.
 415    Usually these are warnings about failure to conform to some standard.  */
 416
 417 extern int flag_pedantic_errors;
 418
 419 /* Nonzero means generate position-independent code.  1 vs 2 for a
 420    target-dependent "small" or "large" mode.  */
 421
 422 extern int flag_pic;
 423
 424 /* Nonzero if we are compiling position independent code for executable.
 425    1 vs 2 for a target-dependent "small" or "large" mode.  */
 426
 427 extern int flag_pie;
 428
 429 /* Nonzero if we are compiling code for a shared library, zero for
 430    executable.  */
 431
 432 extern int flag_shlib;
 433
 434 /* Nonzero means generate extra code for exception handling and enable
 435    exception handling.  */
 436
 437 extern int flag_exceptions;
 438
 439 /* Nonzero means generate frame unwind info table when supported.  */
 440
 441 extern int flag_unwind_tables;
 442
 443 /* Nonzero means generate frame unwind info table exact at each insn boundary.  */
 444
 445 extern int flag_asynchronous_unwind_tables;
 446
 447 /* Nonzero means don't place uninitialized global data in common storage
 448    by default.  */
 449
 450 extern int flag_no_common;
 451
 452 /* -finhibit-size-directive inhibits output of .size for ELF.
 453    This is used only for compiling crtstuff.c,
 454    and it may be extended to other effects
 455    needed for crtstuff.c on other systems.  */
 456 extern int flag_inhibit_size_directive;
 457
 458 /* Nonzero means place each function into its own section on those platforms
 459    which support arbitrary section names and unlimited numbers of sections.  */
 460
 461 extern int flag_function_sections;
 462
 463 /* ... and similar for data.  */
 464
 465 extern int flag_data_sections;
 466
 467 /* -fverbose-asm causes extra commentary information to be produced in
 468    the generated assembly code (to make it more readable).  This option
 469    is generally only of use to those who actually need to read the
 470    generated assembly code (perhaps while debugging the compiler itself).
 471    -fno-verbose-asm, the default, causes the extra information
 472    to not be added and is useful when comparing two assembler files.  */
 473
 474 extern int flag_verbose_asm;
 475
 476 /* -dA causes debug information to be produced in
 477    the generated assembly code (to make it more readable).  This option
 478    is generally only of use to those who actually need to read the
 479    generated assembly code (perhaps while debugging the compiler itself).
 480    Currently, this switch is only used by dwarfout.c; however, it is intended
 481    to be a catchall for printing debug information in the assembler file.  */
 482
 483 extern int flag_debug_asm;
 484
 485 extern int flag_dump_rtl_in_asm;
 486
 487 /* Greater than zero if user symbols are prepended by a leading underscore
 488    in generated assembly code.  */
 489 extern int flag_leading_underscore;
 490
 491 /* Tag all structures with __attribute__(packed) */
 492 extern int flag_pack_struct;
 493
 494 /* This flag is only tested if alias checking is enabled.
 495    0 if pointer arguments may alias each other.  True in C.
 496    1 if pointer arguments may not alias each other but may alias
 497    global variables.
 498    2 if pointer arguments may not alias each other and may not
 499    alias global variables.  True in Fortran.
 500    The value is ignored if flag_alias_check is 0.  */
 501 extern int flag_argument_noalias;
 502
 503 /* Nonzero if we should do (language-dependent) alias analysis.
 504    Typically, this analysis will assume that expressions of certain
 505    types do not alias expressions of certain other types.  Only used
 506    if alias analysis (in general) is enabled.  */
 507 extern int flag_strict_aliasing;
 508
 509 /* Emit code to probe the stack, to help detect stack overflow; also
 510    may cause large objects to be allocated dynamically.  */
 511 extern int flag_stack_check;
 512
 513 /* Do the full regmove optimization pass.  */
 514 extern int flag_regmove;
 515
 516 /* Instrument functions with calls at entry and exit, for profiling.  */
 517 extern int flag_instrument_function_entry_exit;
 518
 519 /* Perform a peephole pass before sched2.  */
 520 extern int flag_peephole2;
 521
 522 /* Try to guess branch probabilities.  */
 523 extern int flag_guess_branch_prob;
 524
 525 /* -fcheck-bounds causes gcc to generate array bounds checks.
 526    For C, C++ and ObjC: defaults off.
 527    For Java: defaults to on.
 528    For Fortran: defaults to off.  */
 529 extern int flag_bounds_check;
 530
 531 /* This will attempt to merge constant section constants, if 1 only
 532    string constants and constants from constant pool, if 2 also constant
 533    variables.  */
 534 extern int flag_merge_constants;
 535
 536 /* If one, renumber instruction UIDs to reduce the number of
 537    unused UIDs if there are a lot of instructions.  If greater than
 538    one, unconditionally renumber instruction UIDs.  */
 539 extern int flag_renumber_insns;
 540 \f
 541 /* Other basic status info about current function.  */
 542
 543 /* Nonzero means current function must be given a frame pointer.
 544    Set in stmt.c if anything is allocated on the stack there.
 545    Set in reload1.c if anything is allocated on the stack there.  */
 546
 547 extern int frame_pointer_needed;
 548
 549 /* Nonzero if the generated code should trap on signed overflow
 550    for PLUS / SUB / MULT.  */
 551 extern int flag_trapv;
 552
 553 /* Nonzero if the signed arithmetic overflow should wrap around.  */
 554 extern int flag_wrapv;
 555
 556 /* Nonzero if subexpressions must be evaluated from left-to-right.  */
 557 extern int flag_evaluation_order;
 558
 559 /* Value of the -G xx switch, and whether it was passed or not.  */
 560 extern unsigned HOST_WIDE_INT g_switch_value;
 561 extern bool g_switch_set;
 562
 563 /* Values of the -falign-* flags: how much to align labels in code.
 564    0 means `use default', 1 means `don't align'.
 565    For each variable, there is an _log variant which is the power
 566    of two not less than the variable, for .align output.  */
 567
 568 extern int align_loops;
 569 extern int align_loops_log;
 570 extern int align_loops_max_skip;
 571 extern int align_jumps;
 572 extern int align_jumps_log;
 573 extern int align_jumps_max_skip;
 574 extern int align_labels;
 575 extern int align_labels_log;
 576 extern int align_labels_max_skip;
 577 extern int align_functions;
 578 extern int align_functions_log;
 579
 580 /* Like align_functions_log above, but used by front-ends to force the
 581    minimum function alignment.  Zero means no alignment is forced.  */
 582 extern int force_align_functions_log;
 583
 584 /* Nonzero if we dump in VCG format, not plain text.  */
 585 extern int dump_for_graph;
 586
 587 /* Selection of the graph form.  */
 588 enum graph_dump_types
 589 {
 590   no_graph = 0,
 591   vcg
 592 };
 593 extern enum graph_dump_types graph_dump_format;
 594
 595 /* Nonzero means ignore `#ident' directives.  0 means handle them.
 596    On SVR4 targets, it also controls whether or not to emit a
 597    string identifying the compiler.  */
 598
 599 extern int flag_no_ident;
 600
 601 /* Nonzero means perform global CSE.  */
 602
 603 extern int flag_gcse;
 604
 605 /* Nonzero if we want to perform enhanced load motion during gcse.  */
 606
 607 extern int flag_gcse_lm;
 608
 609 /* Nonzero if we want to perform store motion after gcse.  */
 610
 611 extern int flag_gcse_sm;
 612
 613 /* Nonzero if we want to perform redundant load-after-store elimination
 614    in gcse.  */
 615
 616 extern int flag_gcse_las;
 617
 618 /* Nonzero if we want to perform global redundancy elimination after
 619    register allocation.  */
 620
 621 extern int flag_gcse_after_reload;
 622
 623 /* Nonzero if value histograms should be used to optimize code.  */
 624 extern int flag_value_profile_transformations;
 625
 626 /* Perform branch target register optimization before prologue / epilogue
 627    threading.  */
 628
 629 extern int flag_branch_target_load_optimize;
 630
 631 /* Perform branch target register optimization after prologue / epilogue
 632    threading and jump2.  */
 633
 634 extern int flag_branch_target_load_optimize2;
 635
 636 /* For the bt-load pass, nonzero means don't re-use branch target registers
 637    in any basic block.  */
 638 extern int flag_btr_bb_exclusive;
 639
 640
 641 /* Nonzero means we should do dwarf2 duplicate elimination.  */
 642
 643 extern int flag_eliminate_dwarf2_dups;
 644
 645 /* Nonzero means we should do unused type elimination.  */
 646
 647 extern int flag_eliminate_unused_debug_types;
 648
 649 /* Nonzero means to collect statistics which might be expensive
 650    and to print them when we are done.  */
 651 extern int flag_detailed_statistics;
 652
 653 /* Nonzero means enable synchronous exceptions for non-call instructions.  */
 654 extern int flag_non_call_exceptions;
 655
 656 /* Nonzero means enable mudflap bounds-checking transforms;
 657    >1 means also to include multithreading locks.  */
 658 extern int flag_mudflap;
 659 extern int flag_mudflap_threads;
 660 extern int flag_mudflap_ignore_reads;
 661
 662 /* Enable SSA-PRE on trees.  */
 663 extern int flag_tree_pre;
 664
 665 /* Enable SSA-CCP on trees.  */
 666 extern int flag_tree_ccp;
 667
 668 /* Enable SSA-DCE on trees.  */
 669 extern int flag_tree_dce;
 670
 671 /* Enable SSA->normal pass memory location coalescing.  */
 672 extern int flag_tree_combine_temps;
 673
 674 /* Enable SSA->normal pass expression replacement.  */
 675 extern int flag_tree_ter;
 676
 677 /* Enable SSA_>normal live range splitting.  */
 678 extern int flag_tree_live_range_split;
 679
 680 /* Enable dominator optimizations.  */
 681 extern int flag_tree_dom;
 682
 683 /* Enable loop header copying on tree-ssa.  */
 684 extern int flag_tree_ch;
 685
 686 /* Enable dead store and redundant load elimination */
 687 extern int flag_tree_dse;
 688
 689 /* Enable scalar replacement of aggregates.  */
 690 extern int flag_tree_sra;
 691
 692 /* Enable copy rename optimization.  */
 693 extern int flag_tree_copyrename;
 694
 695 /* Enable points-to analysis on trees.  */
 696 enum pta_type
 697   {
 698     PTA_NONE,
 699     PTA_ANDERSEN
 700   };
 701 extern enum pta_type flag_tree_points_to;
 702
 703 /* Enable FRE (Full Redundancy Elimination) on trees.  */
 704 extern int flag_tree_fre;
 705
 706 /* Nonzero means put zero initialized data in the bss section.  */
 707 extern int flag_zero_initialized_in_bss;
 708
 709 /* Nonzero means disable transformations observable by signaling NaNs.  */
 710 extern int flag_signaling_nans;
 711
 712 extern int flag_unit_at_a_time;
 713
 714 extern int flag_web;
 715
 716 /* Nonzero means that we defer emitting functions until they are actually
 717    used.  */
 718 extern int flag_remove_unreachable_functions;
 719
 720 /* Nonzero if we should track variables.  */
 721 extern int flag_var_tracking;
 722
 723 /* A string that's used when a random name is required.  NULL means
 724    to make it really random.  */
 725
 726 extern const char *flag_random_seed;
 727
 728 /*  The version of the C++ ABI in use.  The following values are
 729     allowed:
 730
 731     0: The version of the ABI believed most conformant with the
 732        C++ ABI specification.  This ABI may change as bugs are
 733        discovered and fixed.  Therefore, 0 will not necessarily
 734        indicate the same ABI in different versions of G++.
 735
 736     1: The version of the ABI first used in G++ 3.2.
 737
 738     Additional positive integers will be assigned as new versions of
 739     the ABI become the default version of the ABI.  */
 740
 741 extern int flag_abi_version;
 742
 743 /* Returns TRUE if generated code should match ABI version N or
 744    greater is in use.  */
 745
 746 #define abi_version_at_least(N) \
 747   (flag_abi_version == 0 || flag_abi_version >= (N))
 748
 749 /* True if the given mode has a NaN representation and the treatment of
 750    NaN operands is important.  Certain optimizations, such as folding
 751    x * 0 into x, are not correct for NaN operands, and are normally
 752    disabled for modes with NaNs.  The user can ask for them to be
 753    done anyway using the -funsafe-math-optimizations switch.  */
 754 #define HONOR_NANS(MODE) \
 755   (MODE_HAS_NANS (MODE) && !flag_finite_math_only)
 756
 757 /* Like HONOR_NANs, but true if we honor signaling NaNs (or sNaNs).  */
 758 #define HONOR_SNANS(MODE) (flag_signaling_nans && HONOR_NANS (MODE))
 759
 760 /* As for HONOR_NANS, but true if the mode can represent infinity and
 761    the treatment of infinite values is important.  */
 762 #define HONOR_INFINITIES(MODE) \
 763   (MODE_HAS_INFINITIES (MODE) && !flag_finite_math_only)
 764
 765 /* Like HONOR_NANS, but true if the given mode distinguishes between
 766    positive and negative zero, and the sign of zero is important.  */
 767 #define HONOR_SIGNED_ZEROS(MODE) \
 768   (MODE_HAS_SIGNED_ZEROS (MODE) && !flag_unsafe_math_optimizations)
 769
 770 /* Like HONOR_NANS, but true if given mode supports sign-dependent rounding,
 771    and the rounding mode is important.  */
 772 #define HONOR_SIGN_DEPENDENT_ROUNDING(MODE) \
 773   (MODE_HAS_SIGN_DEPENDENT_ROUNDING (MODE) && flag_rounding_math)
 774
 775 #endif /* ! GCC_FLAGS_H */