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 */
139 /* Compare insn; two operands. */
141 /* Used only for libcalls for unsigned comparisons. */
143 /* tst insn; compare one operand against 0 */
149 /* Combined compare & jump/store flags/move operations. */
154 /* Push instruction. */
160 extern GTY(()) optab optab_table
[OTI_MAX
];
162 #define add_optab (optab_table[OTI_add])
163 #define sub_optab (optab_table[OTI_sub])
164 #define smul_optab (optab_table[OTI_smul])
165 #define addv_optab (optab_table[OTI_addv])
166 #define subv_optab (optab_table[OTI_subv])
167 #define smul_highpart_optab (optab_table[OTI_smul_highpart])
168 #define umul_highpart_optab (optab_table[OTI_umul_highpart])
169 #define smul_widen_optab (optab_table[OTI_smul_widen])
170 #define umul_widen_optab (optab_table[OTI_umul_widen])
171 #define sdiv_optab (optab_table[OTI_sdiv])
172 #define smulv_optab (optab_table[OTI_smulv])
173 #define sdivv_optab (optab_table[OTI_sdivv])
174 #define sdivmod_optab (optab_table[OTI_sdivmod])
175 #define udiv_optab (optab_table[OTI_udiv])
176 #define udivmod_optab (optab_table[OTI_udivmod])
177 #define smod_optab (optab_table[OTI_smod])
178 #define umod_optab (optab_table[OTI_umod])
179 #define ftrunc_optab (optab_table[OTI_ftrunc])
180 #define and_optab (optab_table[OTI_and])
181 #define ior_optab (optab_table[OTI_ior])
182 #define xor_optab (optab_table[OTI_xor])
183 #define ashl_optab (optab_table[OTI_ashl])
184 #define lshr_optab (optab_table[OTI_lshr])
185 #define ashr_optab (optab_table[OTI_ashr])
186 #define rotl_optab (optab_table[OTI_rotl])
187 #define rotr_optab (optab_table[OTI_rotr])
188 #define smin_optab (optab_table[OTI_smin])
189 #define smax_optab (optab_table[OTI_smax])
190 #define umin_optab (optab_table[OTI_umin])
191 #define umax_optab (optab_table[OTI_umax])
193 #define mov_optab (optab_table[OTI_mov])
194 #define movstrict_optab (optab_table[OTI_movstrict])
196 #define neg_optab (optab_table[OTI_neg])
197 #define negv_optab (optab_table[OTI_negv])
198 #define abs_optab (optab_table[OTI_abs])
199 #define absv_optab (optab_table[OTI_absv])
200 #define one_cmpl_optab (optab_table[OTI_one_cmpl])
201 #define ffs_optab (optab_table[OTI_ffs])
202 #define sqrt_optab (optab_table[OTI_sqrt])
203 #define sin_optab (optab_table[OTI_sin])
204 #define cos_optab (optab_table[OTI_cos])
205 #define exp_optab (optab_table[OTI_exp])
206 #define log_optab (optab_table[OTI_log])
208 #define cmp_optab (optab_table[OTI_cmp])
209 #define ucmp_optab (optab_table[OTI_ucmp])
210 #define tst_optab (optab_table[OTI_tst])
212 #define strlen_optab (optab_table[OTI_strlen])
214 #define cbranch_optab (optab_table[OTI_cbranch])
215 #define cmov_optab (optab_table[OTI_cmov])
216 #define cstore_optab (optab_table[OTI_cstore])
217 #define push_optab (optab_table[OTI_push])
219 /* Tables of patterns for extending one integer mode to another. */
220 extern enum insn_code extendtab
[MAX_MACHINE_MODE
][MAX_MACHINE_MODE
][2];
222 /* Tables of patterns for converting between fixed and floating point. */
223 extern enum insn_code fixtab
[NUM_MACHINE_MODES
][NUM_MACHINE_MODES
][2];
224 extern enum insn_code fixtrunctab
[NUM_MACHINE_MODES
][NUM_MACHINE_MODES
][2];
225 extern enum insn_code floattab
[NUM_MACHINE_MODES
][NUM_MACHINE_MODES
][2];
227 /* These arrays record the insn_code of insns that may be needed to
228 perform input and output reloads of special objects. They provide a
229 place to pass a scratch register. */
230 extern enum insn_code reload_in_optab
[NUM_MACHINE_MODES
];
231 extern enum insn_code reload_out_optab
[NUM_MACHINE_MODES
];
233 /* Contains the optab used for each rtx code. */
234 extern optab code_to_optab
[NUM_RTX_CODE
+ 1];
237 typedef rtx (*rtxfun
) PARAMS ((rtx
));
239 /* Indexed by the rtx-code for a conditional (eg. EQ, LT,...)
240 gives the gen_function to make a branch to test that condition. */
242 extern rtxfun bcc_gen_fctn
[NUM_RTX_CODE
];
244 /* Indexed by the rtx-code for a conditional (eg. EQ, LT,...)
245 gives the insn code to make a store-condition insn
246 to test that condition. */
248 extern enum insn_code setcc_gen_code
[NUM_RTX_CODE
];
250 #ifdef HAVE_conditional_move
251 /* Indexed by the machine mode, gives the insn code to make a conditional
254 extern enum insn_code movcc_gen_code
[NUM_MACHINE_MODES
];
257 /* This array records the insn_code of insns to perform block moves. */
258 extern enum insn_code movstr_optab
[NUM_MACHINE_MODES
];
260 /* This array records the insn_code of insns to perform block clears. */
261 extern enum insn_code clrstr_optab
[NUM_MACHINE_MODES
];
263 /* Define functions given in optabs.c. */
265 /* Expand a binary operation given optab and rtx operands. */
266 extern rtx expand_binop
PARAMS ((enum machine_mode
, optab
, rtx
, rtx
, rtx
,
267 int, enum optab_methods
));
269 /* Expand a binary operation with both signed and unsigned forms. */
270 extern rtx sign_expand_binop
PARAMS ((enum machine_mode
, optab
, optab
, rtx
,
271 rtx
, rtx
, int, enum optab_methods
));
273 /* Generate code to perform an operation on two operands with two results. */
274 extern int expand_twoval_binop
PARAMS ((optab
, rtx
, rtx
, rtx
, rtx
, int));
276 /* Expand a unary arithmetic operation given optab rtx operand. */
277 extern rtx expand_unop
PARAMS ((enum machine_mode
, optab
, rtx
, rtx
, int));
279 /* Expand the absolute value operation. */
280 extern rtx expand_abs
PARAMS ((enum machine_mode
, rtx
, rtx
, int, int));
282 /* Expand the complex absolute value operation. */
283 extern rtx expand_complex_abs
PARAMS ((enum machine_mode
, rtx
, rtx
, int));
285 /* Generate an instruction with a given INSN_CODE with an output and
287 extern void emit_unop_insn
PARAMS ((int, rtx
, rtx
, enum rtx_code
));
289 /* Emit code to perform a series of operations on a multi-word quantity, one
291 extern rtx emit_no_conflict_block
PARAMS ((rtx
, rtx
, rtx
, rtx
, rtx
));
293 /* Emit one rtl instruction to store zero in specified rtx. */
294 extern void emit_clr_insn
PARAMS ((rtx
));
296 /* Emit one rtl insn to store 1 in specified rtx assuming it contains 0. */
297 extern void emit_0_to_1_insn
PARAMS ((rtx
));
299 /* Emit one rtl insn to compare two rtx's. */
300 extern void emit_cmp_insn
PARAMS ((rtx
, rtx
, enum rtx_code
, rtx
,
301 enum machine_mode
, int));
303 /* The various uses that a comparison can have; used by can_compare_p:
304 jumps, conditional moves, store flag operations. */
305 enum can_compare_purpose
312 /* Nonzero if a compare of mode MODE can be done straightforwardly
313 (without splitting it into pieces). */
314 extern int can_compare_p
PARAMS ((enum rtx_code
, enum machine_mode
,
315 enum can_compare_purpose
));
317 extern rtx prepare_operand
PARAMS ((int, rtx
, int, enum machine_mode
,
318 enum machine_mode
, int));
320 /* Return the INSN_CODE to use for an extend operation. */
321 extern enum insn_code can_extend_p
PARAMS ((enum machine_mode
,
322 enum machine_mode
, int));
324 /* Generate the body of an insn to extend Y (with mode MFROM)
325 into X (with mode MTO). Do zero-extension if UNSIGNEDP is nonzero. */
326 extern rtx gen_extend_insn
PARAMS ((rtx
, rtx
, enum machine_mode
,
327 enum machine_mode
, int));
329 /* Initialize the tables that control conversion between fixed and
331 extern void init_fixtab
PARAMS ((void));
332 extern void init_floattab
PARAMS ((void));
334 /* Generate code for a FLOAT_EXPR. */
335 extern void expand_float
PARAMS ((rtx
, rtx
, int));
337 /* Generate code for a FIX_EXPR. */
338 extern void expand_fix
PARAMS ((rtx
, rtx
, int));
340 #endif /* GCC_OPTABS_H */