[Ada] Missing range check on assignment to bit-packed array
[official-gcc.git] / gcc / target.h
blob008932b5dbd2a1011dac54653c7e33d802ece754
1 /* Data structure definitions for a generic GCC target.
2 Copyright (C) 2001-2019 Free Software Foundation, Inc.
4 This program is free software; you can redistribute it and/or modify it
5 under the terms of the GNU General Public License as published by the
6 Free Software Foundation; either version 3, or (at your option) any
7 later version.
9 This program is distributed in the hope that it will be useful,
10 but WITHOUT ANY WARRANTY; without even the implied warranty of
11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 GNU General Public License for more details.
14 You should have received a copy of the GNU General Public License
15 along with this program; see the file COPYING3. If not see
16 <http://www.gnu.org/licenses/>.
18 In other words, you are welcome to use, share and improve this program.
19 You are forbidden to forbid anyone else to use, share and improve
20 what you give them. Help stamp out software-hoarding! */
23 /* This file contains a data structure that describes a GCC target.
24 At present it is incomplete, but in future it should grow to
25 contain most or all target machine and target O/S specific
26 information.
28 This structure has its initializer declared in target-def.h in the
29 form of large macro TARGET_INITIALIZER that expands to many smaller
30 macros.
32 The smaller macros each initialize one component of the structure,
33 and each has a default. Each target should have a file that
34 includes target.h and target-def.h, and overrides any inappropriate
35 defaults by undefining the relevant macro and defining a suitable
36 replacement. That file should then contain the definition of
37 "targetm" like so:
39 struct gcc_target targetm = TARGET_INITIALIZER;
41 Doing things this way allows us to bring together everything that
42 defines a GCC target. By supplying a default that is appropriate
43 to most targets, we can easily add new items without needing to
44 edit dozens of target configuration files. It should also allow us
45 to gradually reduce the amount of conditional compilation that is
46 scattered throughout GCC. */
48 #ifndef GCC_TARGET_H
49 #define GCC_TARGET_H
51 #include "insn-codes.h"
52 #include "tm.h"
53 #include "hard-reg-set.h"
55 #if CHECKING_P
57 struct cumulative_args_t { void *magic; void *p; };
59 #else /* !CHECKING_P */
61 /* When using a GCC build compiler, we could use
62 __attribute__((transparent_union)) to get cumulative_args_t function
63 arguments passed like scalars where the ABI would mandate a less
64 efficient way of argument passing otherwise. However, that would come
65 at the cost of less type-safe !CHECKING_P compilation. */
67 union cumulative_args_t { void *p; };
69 #endif /* !CHECKING_P */
71 /* Types used by the record_gcc_switches() target function. */
72 enum print_switch_type
74 SWITCH_TYPE_PASSED, /* A switch passed on the command line. */
75 SWITCH_TYPE_ENABLED, /* An option that is currently enabled. */
76 SWITCH_TYPE_DESCRIPTIVE, /* Descriptive text, not a switch or option. */
77 SWITCH_TYPE_LINE_START, /* Please emit any necessary text at the start of a line. */
78 SWITCH_TYPE_LINE_END /* Please emit a line terminator. */
81 /* Types of memory operation understood by the "by_pieces" infrastructure.
82 Used by the TARGET_USE_BY_PIECES_INFRASTRUCTURE_P target hook and
83 internally by the functions in expr.c. */
85 enum by_pieces_operation
87 CLEAR_BY_PIECES,
88 MOVE_BY_PIECES,
89 SET_BY_PIECES,
90 STORE_BY_PIECES,
91 COMPARE_BY_PIECES
94 extern unsigned HOST_WIDE_INT by_pieces_ninsns (unsigned HOST_WIDE_INT,
95 unsigned int,
96 unsigned int,
97 by_pieces_operation);
99 typedef int (* print_switch_fn_type) (print_switch_type, const char *);
101 /* An example implementation for ELF targets. Defined in varasm.c */
102 extern int elf_record_gcc_switches (print_switch_type type, const char *);
104 /* Some places still assume that all pointer or address modes are the
105 standard Pmode and ptr_mode. These optimizations become invalid if
106 the target actually supports multiple different modes. For now,
107 we disable such optimizations on such targets, using this function. */
108 extern bool target_default_pointer_address_modes_p (void);
110 /* For hooks which use the MOVE_RATIO macro, this gives the legacy default
111 behavior. */
112 extern unsigned int get_move_ratio (bool);
114 struct stdarg_info;
115 struct spec_info_def;
116 struct hard_reg_set_container;
117 struct cgraph_node;
118 struct cgraph_simd_clone;
120 /* The struct used by the secondary_reload target hook. */
121 struct secondary_reload_info
123 /* icode is actually an enum insn_code, but we don't want to force every
124 file that includes target.h to include optabs.h . */
125 int icode;
126 int extra_cost; /* Cost for using (a) scratch register(s) to be taken
127 into account by copy_cost. */
128 /* The next two members are for the use of the backward
129 compatibility hook. */
130 struct secondary_reload_info *prev_sri;
131 int t_icode; /* Actually an enum insn_code - see above. */
134 /* This is defined in sched-int.h . */
135 struct _dep;
137 /* This is defined in ddg.h . */
138 struct ddg;
140 /* This is defined in cfgloop.h . */
141 struct loop;
143 /* This is defined in ifcvt.h. */
144 struct noce_if_info;
146 /* This is defined in tree-ssa-alias.h. */
147 struct ao_ref;
149 /* This is defined in tree-vectorizer.h. */
150 struct _stmt_vec_info;
152 /* These are defined in tree-vect-stmts.c. */
153 extern tree stmt_vectype (struct _stmt_vec_info *);
154 extern bool stmt_in_inner_loop_p (struct _stmt_vec_info *);
156 /* Assembler instructions for creating various kinds of integer object. */
158 struct asm_int_op
160 const char *hi;
161 const char *psi;
162 const char *si;
163 const char *pdi;
164 const char *di;
165 const char *pti;
166 const char *ti;
169 /* Types of costs for vectorizer cost model. */
170 enum vect_cost_for_stmt
172 scalar_stmt,
173 scalar_load,
174 scalar_store,
175 vector_stmt,
176 vector_load,
177 vector_gather_load,
178 unaligned_load,
179 unaligned_store,
180 vector_store,
181 vector_scatter_store,
182 vec_to_scalar,
183 scalar_to_vec,
184 cond_branch_not_taken,
185 cond_branch_taken,
186 vec_perm,
187 vec_promote_demote,
188 vec_construct
191 /* Separate locations for which the vectorizer cost model should
192 track costs. */
193 enum vect_cost_model_location {
194 vect_prologue = 0,
195 vect_body = 1,
196 vect_epilogue = 2
199 class vec_perm_indices;
201 /* The type to use for lists of vector sizes. */
202 typedef vec<poly_uint64> vector_sizes;
204 /* Same, but can be used to construct local lists that are
205 automatically freed. */
206 typedef auto_vec<poly_uint64, 8> auto_vector_sizes;
208 /* The target structure. This holds all the backend hooks. */
209 #define DEFHOOKPOD(NAME, DOC, TYPE, INIT) TYPE NAME;
210 #define DEFHOOK(NAME, DOC, TYPE, PARAMS, INIT) TYPE (* NAME) PARAMS;
211 #define DEFHOOK_UNDOC DEFHOOK
212 #define HOOKSTRUCT(FRAGMENT) FRAGMENT
214 #include "target.def"
216 extern struct gcc_target targetm;
218 /* Return an estimate of the runtime value of X, for use in things
219 like cost calculations or profiling frequencies. Note that this
220 function should never be used in situations where the actual
221 runtime value is needed for correctness, since the function only
222 provides a rough guess. */
224 static inline HOST_WIDE_INT
225 estimated_poly_value (poly_int64 x)
227 if (NUM_POLY_INT_COEFFS == 1)
228 return x.coeffs[0];
229 else
230 return targetm.estimated_poly_value (x);
233 #ifdef GCC_TM_H
235 #ifndef CUMULATIVE_ARGS_MAGIC
236 #define CUMULATIVE_ARGS_MAGIC ((void *) &targetm.calls)
237 #endif
239 static inline CUMULATIVE_ARGS *
240 get_cumulative_args (cumulative_args_t arg)
242 #if CHECKING_P
243 gcc_assert (arg.magic == CUMULATIVE_ARGS_MAGIC);
244 #endif /* CHECKING_P */
245 return (CUMULATIVE_ARGS *) arg.p;
248 static inline cumulative_args_t
249 pack_cumulative_args (CUMULATIVE_ARGS *arg)
251 cumulative_args_t ret;
253 #if CHECKING_P
254 ret.magic = CUMULATIVE_ARGS_MAGIC;
255 #endif /* CHECKING_P */
256 ret.p = (void *) arg;
257 return ret;
259 #endif /* GCC_TM_H */
261 #endif /* GCC_TARGET_H */