X-Git-Url: http://git.sourceforge.jp/view?a=blobdiff_plain;f=gcc%2Fflags.h;h=9791e1b23441616939458373da4c708b21e20f33;hb=6956abd25f4834e2c451819a57af52874dd0aace;hp=8778b63539274012db81323ee431b1916fc6045f;hpb=4ee9c6840ad3fc92a9034343278a1e476ad6872a;p=pf3gnuchains%2Fgcc-fork.git diff --git a/gcc/flags.h b/gcc/flags.h index 8778b635392..9791e1b2344 100644 --- a/gcc/flags.h +++ b/gcc/flags.h @@ -1,13 +1,13 @@ /* Compilation switch flag definitions for GCC. Copyright (C) 1987, 1988, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2002, - 2003, 2004 + 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011 Free Software Foundation, Inc. This file is part of GCC. GCC is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free -Software Foundation; either version 2, or (at your option) any later +Software Foundation; either version 3, or (at your option) any later version. GCC is distributed in the hope that it will be useful, but WITHOUT ANY @@ -16,824 +16,127 @@ FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License -along with GCC; see the file COPYING. If not, write to the Free -Software Foundation, 59 Temple Place - Suite 330, Boston, MA -02111-1307, USA. */ +along with GCC; see the file COPYING3. If not see +. */ #ifndef GCC_FLAGS_H #define GCC_FLAGS_H -enum debug_info_type -{ - NO_DEBUG, /* Write no debug info. */ - DBX_DEBUG, /* Write BSD .stabs for DBX (using dbxout.c). */ - SDB_DEBUG, /* Write COFF for (old) SDB (using sdbout.c). */ - DWARF_DEBUG, /* Write Dwarf debug info (using dwarfout.c). */ - DWARF2_DEBUG, /* Write Dwarf v2 debug info (using dwarf2out.c). */ - XCOFF_DEBUG, /* Write IBM/Xcoff debug info (using dbxout.c). */ - VMS_DEBUG, /* Write VMS debug info (using vmsdbgout.c). */ - VMS_AND_DWARF2_DEBUG /* Write VMS debug info (using vmsdbgout.c). - and DWARF v2 debug info (using dwarf2out.c). */ -}; +#include "coretypes.h" +#include "flag-types.h" +#include "options.h" -/* Specify which kind of debugging info to generate. */ -extern enum debug_info_type write_symbols; +#if !defined(IN_LIBGCC2) && !defined(IN_TARGET_LIBS) && !defined(IN_RTS) /* Names of debug_info_type, for error messages. */ extern const char *const debug_type_names[]; -enum debug_info_level -{ - DINFO_LEVEL_NONE, /* Write no debugging info. */ - DINFO_LEVEL_TERSE, /* Write minimal info to support tracebacks only. */ - DINFO_LEVEL_NORMAL, /* Write info for all declarations (and line table). */ - DINFO_LEVEL_VERBOSE /* Write normal info plus #define/#undef info. */ -}; - -/* Specify how much debugging info to generate. */ -extern enum debug_info_level debug_info_level; - -/* Nonzero means use GNU-only extensions in the generated symbolic - debugging information. */ -extern bool use_gnu_debug_info_extensions; - -/* Nonzero means emit debugging information only for symbols which are used. */ -extern int flag_debug_only_used_symbols; - -/* Nonzero means do optimizations. -opt. */ - -extern int optimize; - -/* Nonzero means optimize for size. -Os. */ - -extern int optimize_size; - -/* Don't print functions as they are compiled and don't print - times taken by the various passes. -quiet. */ - -extern int quiet_flag; - -/* Print memory still in use at end of compilation (which may have little - to do with peak memory consumption). -fmem-report. */ - -extern int mem_report; - -/* Don't print warning messages. -w. */ - -extern bool inhibit_warnings; - -/* Don't suppress warnings from system headers. -Wsystem-headers. */ - -extern bool warn_system_headers; - -/* Do print extra warnings (such as for uninitialized variables). - -W/-Wextra. */ - -extern bool extra_warnings; - -/* If -Werror. */ - -extern bool warnings_are_errors; - -/* Nonzero to warn about unused variables, functions et.al. Use - set_Wunused() to update the -Wunused-* flags that correspond to the - -Wunused option. */ - -extern void set_Wunused (int setting); - -extern bool warn_unused_function; -extern bool warn_unused_label; -extern bool warn_unused_parameter; -extern bool warn_unused_variable; -extern bool warn_unused_value; - -/* Nonzero to warn about code which is never reached. */ - -extern bool warn_notreached; - -/* Nonzero means warn if inline function is too large. */ - -extern bool warn_inline; - -/* Nonzero to warn about variables used before they are initialized. */ - -extern int warn_uninitialized; - -/* Nonzero means warn about all declarations which shadow others. */ - -extern bool warn_shadow; - -/* Warn if a switch on an enum, that does not have a default case, - fails to have a case for every enum value. */ - -extern bool warn_switch; - -/* Warn if a switch does not have a default case. */ - -extern bool warn_switch_default; - -/* Warn if a switch on an enum fails to have a case for every enum - value (regardless of the presence or otherwise of a default case). */ - -extern bool warn_switch_enum; - -/* Nonzero means warn about function definitions that default the return type - or that use a null return and have a return-type other than void. */ - -extern int warn_return_type; - -/* Warn about functions which might be candidates for attribute noreturn. */ - -extern bool warn_missing_noreturn; - -/* Nonzero means warn about pointer casts that increase the required - alignment of the target type (and might therefore lead to a crash - due to a misaligned access). */ - -extern bool warn_cast_align; - -/* Nonzero means warn about any objects definitions whose size is larger - than N bytes. Also want about function definitions whose returned - values are larger than N bytes. The value N is in `larger_than_size'. */ - -extern bool warn_larger_than; -extern HOST_WIDE_INT larger_than_size; - -/* Warn if a function returns an aggregate, - since there are often incompatible calling conventions for doing this. */ - -extern bool warn_aggregate_return; - -/* Warn if packed attribute on struct is unnecessary and inefficient. */ - -extern bool warn_packed; - -/* Warn when gcc pads a structure to an alignment boundary. */ - -extern bool warn_padded; - -/* Warn when an optimization pass is disabled. */ - -extern bool warn_disabled_optimization; - -/* Nonzero means warn about uses of __attribute__((deprecated)) - declarations. */ - -extern bool warn_deprecated_decl; - -/* Nonzero means warn about constructs which might not be strict - aliasing safe. */ - -extern int warn_strict_aliasing; - -/* Nonzero if generating code to do profiling. */ - -extern int profile_flag; - -/* Nonzero if generating code to profile program flow graph arcs. */ - -extern int profile_arc_flag; - -/* Nonzero if value profile should be measured. */ - -extern int flag_profile_values; - -/* Nonzero if generating info for gcov to calculate line test coverage. */ +extern void strip_off_ending (char *, int); +extern int base_of_path (const char *path, const char **base_out); -extern int flag_test_coverage; +/* Return true iff flags are set as if -ffast-math. */ +extern bool fast_math_flags_set_p (const struct gcc_options *); +extern bool fast_math_flags_struct_set_p (struct cl_optimization *); -/* Nonzero indicates that branch taken probabilities should be calculated. */ +/* Used to set the level of -Wstrict-aliasing in OPTS, when no level + is specified. The external way to set the default level is to use + -Wstrict-aliasing=level. + ONOFF is assumed to take value 1 when -Wstrict-aliasing is specified, + and 0 otherwise. After calling this function, wstrict_aliasing will be + set to the default value of -Wstrict_aliasing=level. */ -extern int flag_branch_probabilities; - -/* Nonzero if basic blocks should be reordered. */ - -extern int flag_reorder_blocks; - -/* Nonzero if basic blocks should be partitioned into hot and cold - sections of the .o file, in addition to being reordered. */ - -extern int flag_reorder_blocks_and_partition; - -/* Nonzero if functions should be reordered. */ - -extern int flag_reorder_functions; - -/* Nonzero if registers should be renamed. */ - -extern int flag_rename_registers; - -/* Nonzero for -pedantic switch: warn about anything - that standard C forbids. */ - -extern int pedantic; - -/* Temporarily suppress certain warnings. - This is set while reading code from a system header file. */ - -extern int in_system_header; - -/* Nonzero for -dp: annotate the assembly with a comment describing the - pattern and alternative used. */ - -extern int flag_print_asm_name; +extern void set_Wstrict_aliasing (struct gcc_options *opts, int onoff); /* Now the symbols that are set with `-f' switches. */ -/* Nonzero means `char' should be signed. */ - -extern int flag_signed_char; - -/* Nonzero means give an enum type only as many bytes as it needs. A value - of 2 means it has not yet been initialized. */ - -extern int flag_short_enums; - -/* Nonzero for -fcaller-saves: allocate values in regs that need to - be saved across function calls, if that produces overall better code. - Optional now, so people can test it. */ - -extern int flag_caller_saves; - -/* Nonzero for -fpcc-struct-return: return values the same way PCC does. */ - -extern int flag_pcc_struct_return; - -/* Nonzero for -fforce-mem: load memory value into a register - before arithmetic on it. This makes better cse but slower compilation. */ - -extern int flag_force_mem; - -/* Nonzero for -fforce-addr: load memory address into a register before - reference to memory. This makes better cse but slower compilation. */ - -extern int flag_force_addr; - -/* Nonzero for -fdefer-pop: don't pop args after each function call; - instead save them up to pop many calls' args with one insns. */ - -extern int flag_defer_pop; - -/* Nonzero for -ffloat-store: don't allocate floats and doubles - in extended-precision registers. */ - -extern int flag_float_store; - -/* Nonzero enables strength-reduction in loop.c. */ - -extern int flag_strength_reduce; - -/* Nonzero enables loop unrolling in unroll.c. Only loops for which the - number of iterations can be calculated at compile-time (UNROLL_COMPLETELY, - UNROLL_MODULO) or at run-time (preconditioned to be UNROLL_MODULO) are - unrolled. */ - -extern int flag_old_unroll_loops; - -/* Nonzero enables loop unrolling in unroll.c. All loops are unrolled. - This is generally not a win. */ - -extern int flag_old_unroll_all_loops; - -/* Nonzero forces all invariant computations in loops to be moved - outside the loop. */ - -extern int flag_move_all_movables; - -/* Nonzero enables prefetch optimizations for arrays in loops. */ - -extern int flag_prefetch_loop_arrays; - -/* Nonzero forces all general induction variables in loops to be - strength reduced. */ - -extern int flag_reduce_all_givs; - -/* Nonzero for -fcse-follow-jumps: - have cse follow jumps to do a more extensive job. */ - -extern int flag_cse_follow_jumps; - -/* Nonzero for -fcse-skip-blocks: - have cse follow a branch around a block. */ - -extern int flag_cse_skip_blocks; - -/* Nonzero for -fexpensive-optimizations: - perform miscellaneous relatively-expensive optimizations. */ -extern int flag_expensive_optimizations; - -/* Nonzero means don't put addresses of constant functions in registers. - Used for compiling the Unix kernel, where strange substitutions are - done on the assembly output. */ - -extern int flag_no_function_cse; - -/* Nonzero for -fomit-frame-pointer: - don't make a frame pointer in simple functions that don't require one. */ - -extern int flag_omit_frame_pointer; - -/* Nonzero to inhibit use of define_optimization peephole opts. */ - -extern int flag_no_peephole; - -/* Nonzero allows GCC to optimize sibling and tail recursive calls. */ - -extern int flag_optimize_sibling_calls; - -/* Nonzero means the front end generally wants `errno' maintained by math - operations, like built-in SQRT. */ - -extern int flag_errno_math; - -/* Nonzero means that unsafe floating-point math optimizations are allowed - for the sake of speed. IEEE compliance is not guaranteed, and operations - are allowed to assume that their arguments and results are "normal" - (e.g., nonnegative for SQRT). */ - -extern int flag_unsafe_math_optimizations; - -/* Nonzero means that no NaNs or +-Infs are expected. */ - -extern int flag_finite_math_only; - -/* Zero means that floating-point math operations cannot generate a - (user-visible) trap. This is the case, for example, in nonstop - IEEE 754 arithmetic. */ - -extern int flag_trapping_math; - -/* Nonzero means disable transformations that assume default floating - point rounding behavior. */ - -extern int flag_rounding_math; - -/* 0 means straightforward implementation of complex divide acceptable. - 1 means wide ranges of inputs must work for complex divide. - 2 means C99-like requirements for complex divide (not yet implemented). */ +/* True if printing into -fdump-final-insns= dump. */ -extern int flag_complex_divide_method; +extern bool final_insns_dump_p; -/* Nonzero means to run loop optimizations twice. */ +/* Nonzero means make permerror produce warnings instead of errors. */ -extern int flag_rerun_loop_opt; - -/* Nonzero means make functions that look like good inline candidates - go inline. */ - -extern int flag_inline_functions; - -/* Nonzero for -fkeep-inline-functions: even if we make a function - go inline everywhere, keep its definition around for debugging - purposes. */ - -extern int flag_keep_inline_functions; - -/* Nonzero means that functions declared `inline' will be treated - as `static'. Prevents generation of zillions of copies of unused - static inline functions; instead, `inlines' are written out - only when actually used. Used in conjunction with -g. Also - does the right thing with #pragma interface. */ - -extern int flag_no_inline; - -/* Nonzero means that we don't want inlining by virtue of -fno-inline, - not just because the tree inliner turned us off. */ - -extern int flag_really_no_inline; - -/* Nonzero if we are only using compiler to check syntax errors. */ - -extern int flag_syntax_only; -extern int rtl_dump_and_exit; - -/* Nonzero if we are exiting on the first error occurred. */ - -extern int flag_fatal_errors; - -/* Nonzero means we should save auxiliary info into a .X file. */ - -extern int flag_gen_aux_info; - -/* Nonzero means make the text shared if supported. */ - -extern int flag_shared_data; - -/* flag_schedule_insns means schedule insns within basic blocks (before - local_alloc). - flag_schedule_insns_after_reload means schedule insns after - global_alloc. */ - -extern int flag_schedule_insns; -extern int flag_schedule_insns_after_reload; -extern int flag_sched2_use_superblocks; -extern int flag_sched2_use_traces; - -/* The following flags have effect only for scheduling before register - allocation: - - flag_schedule_interblock means schedule insns across basic blocks. - flag_schedule_speculative means allow speculative motion of non-load insns. - flag_schedule_speculative_load means allow speculative motion of some - load insns. - flag_schedule_speculative_load_dangerous allows speculative motion of more - load insns. */ - -extern int flag_schedule_interblock; -extern int flag_schedule_speculative; -extern int flag_schedule_speculative_load; -extern int flag_schedule_speculative_load_dangerous; - -/* The following flags have an effect during scheduling after register - allocation: - - sched_stalled_insns means that insns can be moved prematurely from the queue - of stalled insns into the ready list. - - sched_stalled_insns_dep controls how many recently scheduled cycles will - be examined for a dependency on a stalled insn that is candidate for - premature removal from the queue of stalled insns into the ready list (has - an effect only if the flag 'sched_stalled_insns' is set). */ - -extern int flag_sched_stalled_insns; -extern int flag_sched_stalled_insns_dep; - -/* flag_branch_on_count_reg means try to replace add-1,compare,branch tupple - by a cheaper branch, on a count register. */ -extern int flag_branch_on_count_reg; - -/* This option is set to 1 on -fsingle-precision-constant option which is - used to convert the floating point constants to single precision - constants. */ - -extern int flag_single_precision_constant; - -/* Nonzero means put things in delayed-branch slots if supported. */ - -extern int flag_delayed_branch; - -/* Nonzero means suppress output of instruction numbers and line number - notes in debugging dumps. */ - -extern int flag_dump_unnumbered; - -/* Nonzero means change certain warnings into errors. - Usually these are warnings about failure to conform to some standard. */ - -extern int flag_pedantic_errors; - -/* Nonzero means generate position-independent code. 1 vs 2 for a - target-dependent "small" or "large" mode. */ - -extern int flag_pic; - -/* Nonzero if we are compiling position independent code for executable. - 1 vs 2 for a target-dependent "small" or "large" mode. */ - -extern int flag_pie; - -/* Nonzero if we are compiling code for a shared library, zero for - executable. */ - -extern int flag_shlib; - -/* Nonzero means generate extra code for exception handling and enable - exception handling. */ - -extern int flag_exceptions; - -/* Nonzero means generate frame unwind info table when supported. */ - -extern int flag_unwind_tables; - -/* Nonzero means generate frame unwind info table exact at each insn boundary. */ - -extern int flag_asynchronous_unwind_tables; - -/* Nonzero means don't place uninitialized global data in common storage - by default. */ - -extern int flag_no_common; - -/* -finhibit-size-directive inhibits output of .size for ELF. - This is used only for compiling crtstuff.c, - and it may be extended to other effects - needed for crtstuff.c on other systems. */ -extern int flag_inhibit_size_directive; - -/* Nonzero means place each function into its own section on those platforms - which support arbitrary section names and unlimited numbers of sections. */ - -extern int flag_function_sections; - -/* ... and similar for data. */ - -extern int flag_data_sections; - -/* -fverbose-asm causes extra commentary information to be produced in - the generated assembly code (to make it more readable). This option - is generally only of use to those who actually need to read the - generated assembly code (perhaps while debugging the compiler itself). - -fno-verbose-asm, the default, causes the extra information - to not be added and is useful when comparing two assembler files. */ - -extern int flag_verbose_asm; - -/* -dA causes debug information to be produced in - the generated assembly code (to make it more readable). This option - is generally only of use to those who actually need to read the - generated assembly code (perhaps while debugging the compiler itself). - Currently, this switch is only used by dwarfout.c; however, it is intended - to be a catchall for printing debug information in the assembler file. */ - -extern int flag_debug_asm; - -extern int flag_dump_rtl_in_asm; - -/* Greater than zero if user symbols are prepended by a leading underscore - in generated assembly code. */ -extern int flag_leading_underscore; - -/* Tag all structures with __attribute__(packed) */ -extern int flag_pack_struct; - -/* This flag is only tested if alias checking is enabled. - 0 if pointer arguments may alias each other. True in C. - 1 if pointer arguments may not alias each other but may alias - global variables. - 2 if pointer arguments may not alias each other and may not - alias global variables. True in Fortran. - The value is ignored if flag_alias_check is 0. */ -extern int flag_argument_noalias; - -/* Nonzero if we should do (language-dependent) alias analysis. - Typically, this analysis will assume that expressions of certain - types do not alias expressions of certain other types. Only used - if alias analysis (in general) is enabled. */ -extern int flag_strict_aliasing; - -/* Emit code to probe the stack, to help detect stack overflow; also - may cause large objects to be allocated dynamically. */ -extern int flag_stack_check; - -/* Do the full regmove optimization pass. */ -extern int flag_regmove; - -/* Instrument functions with calls at entry and exit, for profiling. */ -extern int flag_instrument_function_entry_exit; - -/* Perform a peephole pass before sched2. */ -extern int flag_peephole2; - -/* Try to guess branch probabilities. */ -extern int flag_guess_branch_prob; - -/* -fcheck-bounds causes gcc to generate array bounds checks. - For C, C++ and ObjC: defaults off. - For Java: defaults to on. - For Fortran: defaults to off. */ -extern int flag_bounds_check; - -/* This will attempt to merge constant section constants, if 1 only - string constants and constants from constant pool, if 2 also constant - variables. */ -extern int flag_merge_constants; - -/* If one, renumber instruction UIDs to reduce the number of - unused UIDs if there are a lot of instructions. If greater than - one, unconditionally renumber instruction UIDs. */ -extern int flag_renumber_insns; +extern int flag_permissive; /* Other basic status info about current function. */ -/* Nonzero means current function must be given a frame pointer. - Set in stmt.c if anything is allocated on the stack there. - Set in reload1.c if anything is allocated on the stack there. */ - -extern int frame_pointer_needed; - -/* Nonzero if the generated code should trap on signed overflow - for PLUS / SUB / MULT. */ -extern int flag_trapv; - -/* Nonzero if the signed arithmetic overflow should wrap around. */ -extern int flag_wrapv; - -/* Nonzero if subexpressions must be evaluated from left-to-right. */ -extern int flag_evaluation_order; - -/* Value of the -G xx switch, and whether it was passed or not. */ -extern unsigned HOST_WIDE_INT g_switch_value; -extern bool g_switch_set; - -/* Values of the -falign-* flags: how much to align labels in code. - 0 means `use default', 1 means `don't align'. - For each variable, there is an _log variant which is the power - of two not less than the variable, for .align output. */ - -extern int align_loops; -extern int align_loops_log; -extern int align_loops_max_skip; -extern int align_jumps; -extern int align_jumps_log; -extern int align_jumps_max_skip; -extern int align_labels; -extern int align_labels_log; -extern int align_labels_max_skip; -extern int align_functions; -extern int align_functions_log; +/* Target-dependent global state. */ +struct target_flag_state { + /* Values of the -falign-* flags: how much to align labels in code. + 0 means `use default', 1 means `don't align'. + For each variable, there is an _log variant which is the power + of two not less than the variable, for .align output. */ + int x_align_loops_log; + int x_align_loops_max_skip; + int x_align_jumps_log; + int x_align_jumps_max_skip; + int x_align_labels_log; + int x_align_labels_max_skip; + int x_align_functions_log; + + /* The excess precision currently in effect. */ + enum excess_precision x_flag_excess_precision; +}; -/* Like align_functions_log above, but used by front-ends to force the - minimum function alignment. Zero means no alignment is forced. */ -extern int force_align_functions_log; +extern struct target_flag_state default_target_flag_state; +#if SWITCHABLE_TARGET +extern struct target_flag_state *this_target_flag_state; +#else +#define this_target_flag_state (&default_target_flag_state) +#endif + +#define align_loops_log \ + (this_target_flag_state->x_align_loops_log) +#define align_loops_max_skip \ + (this_target_flag_state->x_align_loops_max_skip) +#define align_jumps_log \ + (this_target_flag_state->x_align_jumps_log) +#define align_jumps_max_skip \ + (this_target_flag_state->x_align_jumps_max_skip) +#define align_labels_log \ + (this_target_flag_state->x_align_labels_log) +#define align_labels_max_skip \ + (this_target_flag_state->x_align_labels_max_skip) +#define align_functions_log \ + (this_target_flag_state->x_align_functions_log) +#define flag_excess_precision \ + (this_target_flag_state->x_flag_excess_precision) /* Nonzero if we dump in VCG format, not plain text. */ extern int dump_for_graph; -/* Selection of the graph form. */ -enum graph_dump_types -{ - no_graph = 0, - vcg -}; -extern enum graph_dump_types graph_dump_format; - -/* Nonzero means ignore `#ident' directives. 0 means handle them. - On SVR4 targets, it also controls whether or not to emit a - string identifying the compiler. */ - -extern int flag_no_ident; - -/* Nonzero means perform global CSE. */ - -extern int flag_gcse; - -/* Nonzero if we want to perform enhanced load motion during gcse. */ - -extern int flag_gcse_lm; - -/* Nonzero if we want to perform store motion after gcse. */ - -extern int flag_gcse_sm; - -/* Nonzero if we want to perform redundant load-after-store elimination - in gcse. */ - -extern int flag_gcse_las; - -/* Nonzero if we want to perform global redundancy elimination after - register allocation. */ - -extern int flag_gcse_after_reload; - -/* Nonzero if value histograms should be used to optimize code. */ -extern int flag_value_profile_transformations; - -/* Perform branch target register optimization before prologue / epilogue - threading. */ - -extern int flag_branch_target_load_optimize; - -/* Perform branch target register optimization after prologue / epilogue - threading and jump2. */ - -extern int flag_branch_target_load_optimize2; - -/* For the bt-load pass, nonzero means don't re-use branch target registers - in any basic block. */ -extern int flag_btr_bb_exclusive; - - -/* Nonzero means we should do dwarf2 duplicate elimination. */ - -extern int flag_eliminate_dwarf2_dups; - -/* Nonzero means we should do unused type elimination. */ - -extern int flag_eliminate_unused_debug_types; - -/* Nonzero means to collect statistics which might be expensive - and to print them when we are done. */ -extern int flag_detailed_statistics; - -/* Nonzero means enable synchronous exceptions for non-call instructions. */ -extern int flag_non_call_exceptions; - -/* Nonzero means enable mudflap bounds-checking transforms; - >1 means also to include multithreading locks. */ -extern int flag_mudflap; -extern int flag_mudflap_threads; -extern int flag_mudflap_ignore_reads; - -/* Enable SSA-PRE on trees. */ -extern int flag_tree_pre; - -/* Enable SSA-CCP on trees. */ -extern int flag_tree_ccp; - -/* Enable SSA-DCE on trees. */ -extern int flag_tree_dce; - -/* Enable SSA->normal pass memory location coalescing. */ -extern int flag_tree_combine_temps; - -/* Enable SSA->normal pass expression replacement. */ -extern int flag_tree_ter; - -/* Enable SSA_>normal live range splitting. */ -extern int flag_tree_live_range_split; - -/* Enable dominator optimizations. */ -extern int flag_tree_dom; - -/* Enable loop header copying on tree-ssa. */ -extern int flag_tree_ch; - -/* Enable dead store and redundant load elimination */ -extern int flag_tree_dse; - -/* Enable scalar replacement of aggregates. */ -extern int flag_tree_sra; - -/* Enable copy rename optimization. */ -extern int flag_tree_copyrename; - -/* Enable points-to analysis on trees. */ -enum pta_type - { - PTA_NONE, - PTA_ANDERSEN - }; -extern enum pta_type flag_tree_points_to; - -/* Nonzero means put zero initialized data in the bss section. */ -extern int flag_zero_initialized_in_bss; - -/* Nonzero means disable transformations observable by signaling NaNs. */ -extern int flag_signaling_nans; - -extern int flag_unit_at_a_time; - -extern int flag_web; - -/* Nonzero means that we defer emitting functions until they are actually - used. */ -extern int flag_remove_unreachable_functions; - -/* Nonzero if we should track variables. */ -extern int flag_var_tracking; - -/* A string that's used when a random name is required. NULL means - to make it really random. */ - -extern const char *flag_random_seed; - -/* The version of the C++ ABI in use. The following values are - allowed: - - 0: The version of the ABI believed most conformant with the - C++ ABI specification. This ABI may change as bugs are - discovered and fixed. Therefore, 0 will not necessarily - indicate the same ABI in different versions of G++. - - 1: The version of the ABI first used in G++ 3.2. - - Additional positive integers will be assigned as new versions of - the ABI become the default version of the ABI. */ - -extern int flag_abi_version; - /* Returns TRUE if generated code should match ABI version N or greater is in use. */ #define abi_version_at_least(N) \ (flag_abi_version == 0 || flag_abi_version >= (N)) -/* True if the given mode has a NaN representation and the treatment of - NaN operands is important. Certain optimizations, such as folding - x * 0 into x, are not correct for NaN operands, and are normally - disabled for modes with NaNs. The user can ask for them to be - done anyway using the -funsafe-math-optimizations switch. */ -#define HONOR_NANS(MODE) \ - (MODE_HAS_NANS (MODE) && !flag_finite_math_only) +/* True if overflow wraps around for the given integral type. That + is, TYPE_MAX + 1 == TYPE_MIN. */ +#define TYPE_OVERFLOW_WRAPS(TYPE) \ + (TYPE_UNSIGNED (TYPE) || flag_wrapv) + +/* True if overflow is undefined for the given integral type. We may + optimize on the assumption that values in the type never overflow. + + IMPORTANT NOTE: Any optimization based on TYPE_OVERFLOW_UNDEFINED + must issue a warning based on warn_strict_overflow. In some cases + it will be appropriate to issue the warning immediately, and in + other cases it will be appropriate to simply set a flag and let the + caller decide whether a warning is appropriate or not. */ +#define TYPE_OVERFLOW_UNDEFINED(TYPE) \ + (!TYPE_UNSIGNED (TYPE) && !flag_wrapv && !flag_trapv && flag_strict_overflow) -/* Like HONOR_NANs, but true if we honor signaling NaNs (or sNaNs). */ -#define HONOR_SNANS(MODE) (flag_signaling_nans && HONOR_NANS (MODE)) +/* True if overflow for the given integral type should issue a + trap. */ +#define TYPE_OVERFLOW_TRAPS(TYPE) \ + (!TYPE_UNSIGNED (TYPE) && flag_trapv) -/* As for HONOR_NANS, but true if the mode can represent infinity and - the treatment of infinite values is important. */ -#define HONOR_INFINITIES(MODE) \ - (MODE_HAS_INFINITIES (MODE) && !flag_finite_math_only) +/* True if pointer types have undefined overflow. */ +#define POINTER_TYPE_OVERFLOW_UNDEFINED (flag_strict_overflow) -/* Like HONOR_NANS, but true if the given mode distinguishes between - positive and negative zero, and the sign of zero is important. */ -#define HONOR_SIGNED_ZEROS(MODE) \ - (MODE_HAS_SIGNED_ZEROS (MODE) && !flag_unsafe_math_optimizations) +/* Whether to emit an overflow warning whose code is C. */ +#define issue_strict_overflow_warning(c) (warn_strict_overflow >= (int) (c)) -/* Like HONOR_NANS, but true if given mode supports sign-dependent rounding, - and the rounding mode is important. */ -#define HONOR_SIGN_DEPENDENT_ROUNDING(MODE) \ - (MODE_HAS_SIGN_DEPENDENT_ROUNDING (MODE) && flag_rounding_math) +#endif #endif /* ! GCC_FLAGS_H */