Add option for whether ceil etc. can raise "inexact", adjust x86 conditions.
[official-gcc.git] / gcc / flag-types.h
blobdd57e167098a334f193b4f072e45feecd975dedf
1 /* Compilation switch flag type definitions for GCC.
2 Copyright (C) 1987-2016 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC is free software; you can redistribute it and/or modify it under
7 the terms of the GNU General Public License as published by the Free
8 Software Foundation; either version 3, or (at your option) any later
9 version.
11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 for more details.
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING3. If not see
18 <http://www.gnu.org/licenses/>. */
20 #ifndef GCC_FLAG_TYPES_H
21 #define GCC_FLAG_TYPES_H
23 enum debug_info_type
25 NO_DEBUG, /* Write no debug info. */
26 DBX_DEBUG, /* Write BSD .stabs for DBX (using dbxout.c). */
27 SDB_DEBUG, /* Write COFF for (old) SDB (using sdbout.c). */
28 DWARF2_DEBUG, /* Write Dwarf v2 debug info (using dwarf2out.c). */
29 XCOFF_DEBUG, /* Write IBM/Xcoff debug info (using dbxout.c). */
30 VMS_DEBUG, /* Write VMS debug info (using vmsdbgout.c). */
31 VMS_AND_DWARF2_DEBUG /* Write VMS debug info (using vmsdbgout.c).
32 and DWARF v2 debug info (using dwarf2out.c). */
35 enum debug_info_levels
37 DINFO_LEVEL_NONE, /* Write no debugging info. */
38 DINFO_LEVEL_TERSE, /* Write minimal info to support tracebacks only. */
39 DINFO_LEVEL_NORMAL, /* Write info for all declarations (and line table). */
40 DINFO_LEVEL_VERBOSE /* Write normal info plus #define/#undef info. */
43 /* A major contribution to object and executable size is debug
44 information size. A major contribution to debug information
45 size is struct descriptions replicated in several object files.
46 The following function determines whether or not debug information
47 should be generated for a given struct. The indirect parameter
48 indicates that the struct is being handled indirectly, via
49 a pointer. See opts.c for the implementation. */
51 enum debug_info_usage
53 DINFO_USAGE_DFN, /* A struct definition. */
54 DINFO_USAGE_DIR_USE, /* A direct use, such as the type of a variable. */
55 DINFO_USAGE_IND_USE, /* An indirect use, such as through a pointer. */
56 DINFO_USAGE_NUM_ENUMS /* The number of enumerators. */
59 /* A major contribution to object and executable size is debug
60 information size. A major contribution to debug information size
61 is struct descriptions replicated in several object files. The
62 following flags attempt to reduce this information. The basic
63 idea is to not emit struct debugging information in the current
64 compilation unit when that information will be generated by
65 another compilation unit.
67 Debug information for a struct defined in the current source
68 file should be generated in the object file. Likewise the
69 debug information for a struct defined in a header should be
70 generated in the object file of the corresponding source file.
71 Both of these case are handled when the base name of the file of
72 the struct definition matches the base name of the source file
73 of the current compilation unit. This matching emits minimal
74 struct debugging information.
76 The base file name matching rule above will fail to emit debug
77 information for structs defined in system headers. So a second
78 category of files includes system headers in addition to files
79 with matching bases.
81 The remaining types of files are library headers and application
82 headers. We cannot currently distinguish these two types. */
84 enum debug_struct_file
86 DINFO_STRUCT_FILE_NONE, /* Debug no structs. */
87 DINFO_STRUCT_FILE_BASE, /* Debug structs defined in files with the
88 same base name as the compilation unit. */
89 DINFO_STRUCT_FILE_SYS, /* Also debug structs defined in system
90 header files. */
91 DINFO_STRUCT_FILE_ANY /* Debug structs defined in all files. */
94 /* Balance between GNAT encodings and standard DWARF to emit. */
96 enum dwarf_gnat_encodings
98 DWARF_GNAT_ENCODINGS_ALL = 0, /* Emit all GNAT encodings, then emit as
99 much standard DWARF as possible so it
100 does not conflict with GNAT
101 encodings. */
102 DWARF_GNAT_ENCODINGS_GDB = 1, /* Emit as much standard DWARF as possible
103 as long as GDB handles them. Emit GNAT
104 encodings for the rest. */
105 DWARF_GNAT_ENCODINGS_MINIMAL = 2 /* Emit all the standard DWARF we can.
106 Emit GNAT encodings for the rest. */
109 /* Enumerate Objective-c instance variable visibility settings. */
111 enum ivar_visibility
113 IVAR_VISIBILITY_PRIVATE,
114 IVAR_VISIBILITY_PROTECTED,
115 IVAR_VISIBILITY_PUBLIC,
116 IVAR_VISIBILITY_PACKAGE
119 /* The stack reuse level. */
120 enum stack_reuse_level
122 SR_NONE,
123 SR_NAMED_VARS,
124 SR_ALL
127 /* The algorithm used for basic block reordering. */
128 enum reorder_blocks_algorithm
130 REORDER_BLOCKS_ALGORITHM_SIMPLE,
131 REORDER_BLOCKS_ALGORITHM_STC
134 /* The algorithm used for the integrated register allocator (IRA). */
135 enum ira_algorithm
137 IRA_ALGORITHM_CB,
138 IRA_ALGORITHM_PRIORITY
141 /* The regions used for the integrated register allocator (IRA). */
142 enum ira_region
144 IRA_REGION_ONE,
145 IRA_REGION_ALL,
146 IRA_REGION_MIXED,
147 /* This value means that there were no options -fira-region on the
148 command line and that we should choose a value depending on the
149 used -O option. */
150 IRA_REGION_AUTODETECT
153 /* The options for excess precision. */
154 enum excess_precision
156 EXCESS_PRECISION_DEFAULT,
157 EXCESS_PRECISION_FAST,
158 EXCESS_PRECISION_STANDARD
161 /* Type of stack check. */
162 enum stack_check_type
164 /* Do not check the stack. */
165 NO_STACK_CHECK = 0,
167 /* Check the stack generically, i.e. assume no specific support
168 from the target configuration files. */
169 GENERIC_STACK_CHECK,
171 /* Check the stack and rely on the target configuration files to
172 check the static frame of functions, i.e. use the generic
173 mechanism only for dynamic stack allocations. */
174 STATIC_BUILTIN_STACK_CHECK,
176 /* Check the stack and entirely rely on the target configuration
177 files, i.e. do not use the generic mechanism at all. */
178 FULL_BUILTIN_STACK_CHECK
181 /* Floating-point contraction mode. */
182 enum fp_contract_mode {
183 FP_CONTRACT_OFF = 0,
184 FP_CONTRACT_ON = 1,
185 FP_CONTRACT_FAST = 2
188 /* Scalar storage order kind. */
189 enum scalar_storage_order_kind {
190 SSO_NATIVE = 0,
191 SSO_BIG_ENDIAN,
192 SSO_LITTLE_ENDIAN
195 /* Vectorizer cost-model. */
196 enum vect_cost_model {
197 VECT_COST_MODEL_UNLIMITED = 0,
198 VECT_COST_MODEL_CHEAP = 1,
199 VECT_COST_MODEL_DYNAMIC = 2,
200 VECT_COST_MODEL_DEFAULT = 3
203 /* Different instrumentation modes. */
204 enum sanitize_code {
205 /* AddressSanitizer. */
206 SANITIZE_ADDRESS = 1 << 0,
207 SANITIZE_USER_ADDRESS = 1 << 1,
208 SANITIZE_KERNEL_ADDRESS = 1 << 2,
209 /* ThreadSanitizer. */
210 SANITIZE_THREAD = 1 << 3,
211 /* LeakSanitizer. */
212 SANITIZE_LEAK = 1 << 4,
213 /* UndefinedBehaviorSanitizer. */
214 SANITIZE_SHIFT = 1 << 5,
215 SANITIZE_DIVIDE = 1 << 6,
216 SANITIZE_UNREACHABLE = 1 << 7,
217 SANITIZE_VLA = 1 << 8,
218 SANITIZE_NULL = 1 << 9,
219 SANITIZE_RETURN = 1 << 10,
220 SANITIZE_SI_OVERFLOW = 1 << 11,
221 SANITIZE_BOOL = 1 << 12,
222 SANITIZE_ENUM = 1 << 13,
223 SANITIZE_FLOAT_DIVIDE = 1 << 14,
224 SANITIZE_FLOAT_CAST = 1 << 15,
225 SANITIZE_BOUNDS = 1UL << 16,
226 SANITIZE_ALIGNMENT = 1UL << 17,
227 SANITIZE_NONNULL_ATTRIBUTE = 1UL << 18,
228 SANITIZE_RETURNS_NONNULL_ATTRIBUTE = 1UL << 19,
229 SANITIZE_OBJECT_SIZE = 1UL << 20,
230 SANITIZE_VPTR = 1UL << 21,
231 SANITIZE_BOUNDS_STRICT = 1UL << 22,
232 SANITIZE_UNDEFINED = SANITIZE_SHIFT | SANITIZE_DIVIDE | SANITIZE_UNREACHABLE
233 | SANITIZE_VLA | SANITIZE_NULL | SANITIZE_RETURN
234 | SANITIZE_SI_OVERFLOW | SANITIZE_BOOL | SANITIZE_ENUM
235 | SANITIZE_BOUNDS | SANITIZE_ALIGNMENT
236 | SANITIZE_NONNULL_ATTRIBUTE
237 | SANITIZE_RETURNS_NONNULL_ATTRIBUTE
238 | SANITIZE_OBJECT_SIZE | SANITIZE_VPTR,
239 SANITIZE_NONDEFAULT = SANITIZE_FLOAT_DIVIDE | SANITIZE_FLOAT_CAST
240 | SANITIZE_BOUNDS_STRICT
243 /* flag_vtable_verify initialization levels. */
244 enum vtv_priority {
245 VTV_NO_PRIORITY = 0, /* i.E. Do NOT do vtable verification. */
246 VTV_STANDARD_PRIORITY = 1,
247 VTV_PREINIT_PRIORITY = 2
250 /* flag_lto_partition initialization values. */
251 enum lto_partition_model {
252 LTO_PARTITION_NONE = 0,
253 LTO_PARTITION_ONE = 1,
254 LTO_PARTITION_BALANCED = 2,
255 LTO_PARTITION_1TO1 = 3,
256 LTO_PARTITION_MAX = 4
259 /* flag_lto_linker_output initialization values. */
260 enum lto_linker_output {
261 LTO_LINKER_OUTPUT_UNKNOWN,
262 LTO_LINKER_OUTPUT_REL,
263 LTO_LINKER_OUTPUT_DYN,
264 LTO_LINKER_OUTPUT_PIE,
265 LTO_LINKER_OUTPUT_EXEC
268 /* gfortran -finit-real= values. */
270 enum gfc_init_local_real
272 GFC_INIT_REAL_OFF = 0,
273 GFC_INIT_REAL_ZERO,
274 GFC_INIT_REAL_NAN,
275 GFC_INIT_REAL_SNAN,
276 GFC_INIT_REAL_INF,
277 GFC_INIT_REAL_NEG_INF
280 /* gfortran -fcoarray= values. */
282 enum gfc_fcoarray
284 GFC_FCOARRAY_NONE = 0,
285 GFC_FCOARRAY_SINGLE,
286 GFC_FCOARRAY_LIB
290 /* gfortran -fconvert= values; used for unformatted I/O.
291 Keep in sync with GFC_CONVERT_* in gcc/fortran/libgfortran.h. */
292 enum gfc_convert
294 GFC_FLAG_CONVERT_NATIVE = 0,
295 GFC_FLAG_CONVERT_SWAP,
296 GFC_FLAG_CONVERT_BIG,
297 GFC_FLAG_CONVERT_LITTLE
301 #endif /* ! GCC_FLAG_TYPES_H */