1 /* Definitions for code generation pass of GNU compiler.
2 Copyright (C) 2001 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 2, or (at your option)
11 GCC is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING. If not, write to
18 the Free Software Foundation, 59 Temple Place - Suite 330,
19 Boston, MA 02111-1307, USA. */
24 #include "insn-codes.h"
26 /* Optabs are tables saying how to generate insn bodies
27 for various machine modes and numbers of operands.
28 Each optab applies to one operation.
29 For example, add_optab applies to addition.
31 The insn_code slot is the enum insn_code that says how to
32 generate an insn for this operation on a particular machine mode.
33 It is CODE_FOR_nothing if there is no such insn on the target machine.
35 The `lib_call' slot is the name of the library function that
36 can be used to perform the operation.
38 A few optabs, such as move_optab and cmp_optab, are used
44 struct optab_handlers
{
45 enum insn_code insn_code
;
47 } handlers
[NUM_MACHINE_MODES
];
49 typedef struct optab
* optab
;
51 /* Given an enum insn_code, access the function to construct
52 the body of that kind of insn. */
53 #define GEN_FCN(CODE) (*insn_data[(int) (CODE)].genfun)
55 /* Enumeration of valid indexes into optab_table. */
63 /* Signed and fp multiply */
66 /* Signed multiply, return high word */
69 /* Signed multiply with result one machine mode wider than args */
76 /* Signed divide-and-remainder in one */
80 /* Signed remainder */
83 /* Convert float to integer in float fmt */
93 /* Arithmetic shift left */
95 /* Logical shift right */
97 /* Arithmetic shift right */
103 /* Signed and floating-point minimum value */
105 /* Signed and floating-point maximum value */
107 /* Unsigned minimum value */
109 /* Unsigned maximum value */
112 /* Move instruction. */
114 /* Move, preserving high part of register. */
117 /* Unary operations */
126 /* Find first bit set */
136 /* Natural Logarithm */
138 /* Rounding functions */
145 /* Compare insn; two operands. */
147 /* Used only for libcalls for unsigned comparisons. */
149 /* tst insn; compare one operand against 0 */
155 /* Combined compare & jump/store flags/move operations. */
160 /* Push instruction. */
166 extern GTY(()) optab optab_table
[OTI_MAX
];
168 #define add_optab (optab_table[OTI_add])
169 #define sub_optab (optab_table[OTI_sub])
170 #define smul_optab (optab_table[OTI_smul])
171 #define addv_optab (optab_table[OTI_addv])
172 #define subv_optab (optab_table[OTI_subv])
173 #define smul_highpart_optab (optab_table[OTI_smul_highpart])
174 #define umul_highpart_optab (optab_table[OTI_umul_highpart])
175 #define smul_widen_optab (optab_table[OTI_smul_widen])
176 #define umul_widen_optab (optab_table[OTI_umul_widen])
177 #define sdiv_optab (optab_table[OTI_sdiv])
178 #define smulv_optab (optab_table[OTI_smulv])
179 #define sdivv_optab (optab_table[OTI_sdivv])
180 #define sdivmod_optab (optab_table[OTI_sdivmod])
181 #define udiv_optab (optab_table[OTI_udiv])
182 #define udivmod_optab (optab_table[OTI_udivmod])
183 #define smod_optab (optab_table[OTI_smod])
184 #define umod_optab (optab_table[OTI_umod])
185 #define ftrunc_optab (optab_table[OTI_ftrunc])
186 #define and_optab (optab_table[OTI_and])
187 #define ior_optab (optab_table[OTI_ior])
188 #define xor_optab (optab_table[OTI_xor])
189 #define ashl_optab (optab_table[OTI_ashl])
190 #define lshr_optab (optab_table[OTI_lshr])
191 #define ashr_optab (optab_table[OTI_ashr])
192 #define rotl_optab (optab_table[OTI_rotl])
193 #define rotr_optab (optab_table[OTI_rotr])
194 #define smin_optab (optab_table[OTI_smin])
195 #define smax_optab (optab_table[OTI_smax])
196 #define umin_optab (optab_table[OTI_umin])
197 #define umax_optab (optab_table[OTI_umax])
199 #define mov_optab (optab_table[OTI_mov])
200 #define movstrict_optab (optab_table[OTI_movstrict])
202 #define neg_optab (optab_table[OTI_neg])
203 #define negv_optab (optab_table[OTI_negv])
204 #define abs_optab (optab_table[OTI_abs])
205 #define absv_optab (optab_table[OTI_absv])
206 #define one_cmpl_optab (optab_table[OTI_one_cmpl])
207 #define ffs_optab (optab_table[OTI_ffs])
208 #define sqrt_optab (optab_table[OTI_sqrt])
209 #define sin_optab (optab_table[OTI_sin])
210 #define cos_optab (optab_table[OTI_cos])
211 #define exp_optab (optab_table[OTI_exp])
212 #define log_optab (optab_table[OTI_log])
213 #define floor_optab (optab_table[OTI_floor])
214 #define ceil_optab (optab_table[OTI_ceil])
215 #define trunc_optab (optab_table[OTI_trunc])
216 #define round_optab (optab_table[OTI_round])
217 #define nearbyint_optab (optab_table[OTI_nearbyint])
219 #define cmp_optab (optab_table[OTI_cmp])
220 #define ucmp_optab (optab_table[OTI_ucmp])
221 #define tst_optab (optab_table[OTI_tst])
223 #define strlen_optab (optab_table[OTI_strlen])
225 #define cbranch_optab (optab_table[OTI_cbranch])
226 #define cmov_optab (optab_table[OTI_cmov])
227 #define cstore_optab (optab_table[OTI_cstore])
228 #define push_optab (optab_table[OTI_push])
230 /* Tables of patterns for extending one integer mode to another. */
231 extern enum insn_code extendtab
[MAX_MACHINE_MODE
][MAX_MACHINE_MODE
][2];
233 /* Tables of patterns for converting between fixed and floating point. */
234 extern enum insn_code fixtab
[NUM_MACHINE_MODES
][NUM_MACHINE_MODES
][2];
235 extern enum insn_code fixtrunctab
[NUM_MACHINE_MODES
][NUM_MACHINE_MODES
][2];
236 extern enum insn_code floattab
[NUM_MACHINE_MODES
][NUM_MACHINE_MODES
][2];
238 /* These arrays record the insn_code of insns that may be needed to
239 perform input and output reloads of special objects. They provide a
240 place to pass a scratch register. */
241 extern enum insn_code reload_in_optab
[NUM_MACHINE_MODES
];
242 extern enum insn_code reload_out_optab
[NUM_MACHINE_MODES
];
244 /* Contains the optab used for each rtx code. */
245 extern optab code_to_optab
[NUM_RTX_CODE
+ 1];
248 typedef rtx (*rtxfun
) PARAMS ((rtx
));
250 /* Indexed by the rtx-code for a conditional (eg. EQ, LT,...)
251 gives the gen_function to make a branch to test that condition. */
253 extern rtxfun bcc_gen_fctn
[NUM_RTX_CODE
];
255 /* Indexed by the rtx-code for a conditional (eg. EQ, LT,...)
256 gives the insn code to make a store-condition insn
257 to test that condition. */
259 extern enum insn_code setcc_gen_code
[NUM_RTX_CODE
];
261 #ifdef HAVE_conditional_move
262 /* Indexed by the machine mode, gives the insn code to make a conditional
265 extern enum insn_code movcc_gen_code
[NUM_MACHINE_MODES
];
268 /* This array records the insn_code of insns to perform block moves. */
269 extern enum insn_code movstr_optab
[NUM_MACHINE_MODES
];
271 /* This array records the insn_code of insns to perform block clears. */
272 extern enum insn_code clrstr_optab
[NUM_MACHINE_MODES
];
274 /* Define functions given in optabs.c. */
276 /* Expand a binary operation given optab and rtx operands. */
277 extern rtx expand_binop
PARAMS ((enum machine_mode
, optab
, rtx
, rtx
, rtx
,
278 int, enum optab_methods
));
280 /* Expand a binary operation with both signed and unsigned forms. */
281 extern rtx sign_expand_binop
PARAMS ((enum machine_mode
, optab
, optab
, rtx
,
282 rtx
, rtx
, int, enum optab_methods
));
284 /* Generate code to perform an operation on two operands with two results. */
285 extern int expand_twoval_binop
PARAMS ((optab
, rtx
, rtx
, rtx
, rtx
, int));
287 /* Expand a unary arithmetic operation given optab rtx operand. */
288 extern rtx expand_unop
PARAMS ((enum machine_mode
, optab
, rtx
, rtx
, int));
290 /* Expand the absolute value operation. */
291 extern rtx expand_abs
PARAMS ((enum machine_mode
, rtx
, rtx
, int, int));
293 /* Expand the complex absolute value operation. */
294 extern rtx expand_complex_abs
PARAMS ((enum machine_mode
, rtx
, rtx
, int));
296 /* Generate an instruction with a given INSN_CODE with an output and
298 extern void emit_unop_insn
PARAMS ((int, rtx
, rtx
, enum rtx_code
));
300 /* Emit code to perform a series of operations on a multi-word quantity, one
302 extern rtx emit_no_conflict_block
PARAMS ((rtx
, rtx
, rtx
, rtx
, rtx
));
304 /* Emit one rtl instruction to store zero in specified rtx. */
305 extern void emit_clr_insn
PARAMS ((rtx
));
307 /* Emit one rtl insn to store 1 in specified rtx assuming it contains 0. */
308 extern void emit_0_to_1_insn
PARAMS ((rtx
));
310 /* Emit one rtl insn to compare two rtx's. */
311 extern void emit_cmp_insn
PARAMS ((rtx
, rtx
, enum rtx_code
, rtx
,
312 enum machine_mode
, int));
314 /* The various uses that a comparison can have; used by can_compare_p:
315 jumps, conditional moves, store flag operations. */
316 enum can_compare_purpose
323 /* Nonzero if a compare of mode MODE can be done straightforwardly
324 (without splitting it into pieces). */
325 extern int can_compare_p
PARAMS ((enum rtx_code
, enum machine_mode
,
326 enum can_compare_purpose
));
328 extern rtx prepare_operand
PARAMS ((int, rtx
, int, enum machine_mode
,
329 enum machine_mode
, int));
331 /* Return the INSN_CODE to use for an extend operation. */
332 extern enum insn_code can_extend_p
PARAMS ((enum machine_mode
,
333 enum machine_mode
, int));
335 /* Generate the body of an insn to extend Y (with mode MFROM)
336 into X (with mode MTO). Do zero-extension if UNSIGNEDP is nonzero. */
337 extern rtx gen_extend_insn
PARAMS ((rtx
, rtx
, enum machine_mode
,
338 enum machine_mode
, int));
340 /* Initialize the tables that control conversion between fixed and
342 extern void init_fixtab
PARAMS ((void));
343 extern void init_floattab
PARAMS ((void));
345 /* Generate code for a FLOAT_EXPR. */
346 extern void expand_float
PARAMS ((rtx
, rtx
, int));
348 /* Generate code for a FIX_EXPR. */
349 extern void expand_fix
PARAMS ((rtx
, rtx
, int));
351 #endif /* GCC_OPTABS_H */