]>
Commit | Line | Data |
---|---|---|
e8bbfc4e | 1 | /* Definitions for code generation pass of GNU compiler. |
ef58a523 | 2 | Copyright (C) 1987, 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, |
d9221e01 | 3 | 1999, 2000, 2001, 2002, 2003, 2004 Free Software Foundation, Inc. |
e8bbfc4e | 4 | |
1322177d | 5 | This file is part of GCC. |
e8bbfc4e | 6 | |
1322177d LB |
7 | GCC is free software; you can redistribute it and/or modify it under |
8 | the terms of the GNU General Public License as published by the Free | |
9 | Software Foundation; either version 2, or (at your option) any later | |
10 | version. | |
e8bbfc4e | 11 | |
1322177d LB |
12 | GCC is distributed in the hope that it will be useful, but WITHOUT ANY |
13 | WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
14 | FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
15 | for more details. | |
e8bbfc4e RK |
16 | |
17 | You should have received a copy of the GNU General Public License | |
1322177d LB |
18 | along with GCC; see the file COPYING. If not, write to the Free |
19 | Software Foundation, 59 Temple Place - Suite 330, Boston, MA | |
20 | 02111-1307, USA. */ | |
e8bbfc4e | 21 | |
e8bbfc4e RK |
22 | /* The default branch cost is 1. */ |
23 | #ifndef BRANCH_COST | |
24 | #define BRANCH_COST 1 | |
25 | #endif | |
26 | ||
27 | /* Macros to access the slots of a QUEUED rtx. | |
28 | Here rather than in rtl.h because only the expansion pass | |
29 | should ever encounter a QUEUED. */ | |
30 | ||
31 | /* The variable for which an increment is queued. */ | |
32 | #define QUEUED_VAR(P) XEXP (P, 0) | |
33 | /* If the increment has been emitted, this is the insn | |
41b083c4 R |
34 | that does the increment. It is zero before the increment is emitted. |
35 | If more than one insn is emitted, this is the first insn. */ | |
e8bbfc4e RK |
36 | #define QUEUED_INSN(P) XEXP (P, 1) |
37 | /* If a pre-increment copy has been generated, this is the copy | |
38 | (it is a temporary reg). Zero if no copy made yet. */ | |
39 | #define QUEUED_COPY(P) XEXP (P, 2) | |
40 | /* This is the body to use for the insn to do the increment. | |
41 | It is used to emit the increment. */ | |
42 | #define QUEUED_BODY(P) XEXP (P, 3) | |
43 | /* Next QUEUED in the queue. */ | |
44 | #define QUEUED_NEXT(P) XEXP (P, 4) | |
45 | ||
46 | /* This is the 4th arg to `expand_expr'. | |
8403445a AM |
47 | EXPAND_STACK_PARM means we are possibly expanding a call param onto |
48 | the stack. Choosing a value of 2 isn't special; It just allows | |
49 | some code optimization in store_expr. | |
e8bbfc4e RK |
50 | EXPAND_SUM means it is ok to return a PLUS rtx or MULT rtx. |
51 | EXPAND_INITIALIZER is similar but also record any labels on forced_labels. | |
52 | EXPAND_CONST_ADDRESS means it is ok to return a MEM whose address | |
99b5da08 | 53 | is a constant that is not a legitimate address. |
017e1b43 RH |
54 | EXPAND_WRITE means we are only going to write to the resulting rtx. |
55 | EXPAND_MEMORY means we are interested in a memory result, even if | |
56 | the memory is constant and we could have propagated a constant value. */ | |
8403445a | 57 | enum expand_modifier {EXPAND_NORMAL = 0, EXPAND_STACK_PARM = 2, EXPAND_SUM, |
017e1b43 RH |
58 | EXPAND_CONST_ADDRESS, EXPAND_INITIALIZER, EXPAND_WRITE, |
59 | EXPAND_MEMORY}; | |
e8bbfc4e | 60 | |
5c7a310f MM |
61 | /* Prevent the compiler from deferring stack pops. See |
62 | inhibit_defer_pop for more information. */ | |
63 | #define NO_DEFER_POP (inhibit_defer_pop += 1) | |
64 | ||
65 | /* Allow the compiler to defer stack pops. See inhibit_defer_pop for | |
66 | more information. */ | |
67 | #define OK_DEFER_POP (inhibit_defer_pop -= 1) | |
e8bbfc4e | 68 | \f |
4b589eab JH |
69 | /* If a memory-to-memory move would take MOVE_RATIO or more simple |
70 | move-instruction sequences, we will do a movstr or libcall instead. */ | |
71 | ||
72 | #ifndef MOVE_RATIO | |
73 | #if defined (HAVE_movstrqi) || defined (HAVE_movstrhi) || defined (HAVE_movstrsi) || defined (HAVE_movstrdi) || defined (HAVE_movstrti) | |
74 | #define MOVE_RATIO 2 | |
75 | #else | |
76 | /* If we are optimizing for space (-Os), cut down the default move ratio. */ | |
77 | #define MOVE_RATIO (optimize_size ? 3 : 15) | |
78 | #endif | |
79 | #endif | |
80 | ||
81 | /* If a clear memory operation would take CLEAR_RATIO or more simple | |
82 | move-instruction sequences, we will do a clrstr or libcall instead. */ | |
83 | ||
84 | #ifndef CLEAR_RATIO | |
85 | #if defined (HAVE_clrstrqi) || defined (HAVE_clrstrhi) || defined (HAVE_clrstrsi) || defined (HAVE_clrstrdi) || defined (HAVE_clrstrti) | |
86 | #define CLEAR_RATIO 2 | |
87 | #else | |
88 | /* If we are optimizing for space, cut down the default clear ratio. */ | |
89 | #define CLEAR_RATIO (optimize_size ? 3 : 15) | |
90 | #endif | |
91 | #endif | |
92 | \f | |
e7949876 AM |
93 | enum direction {none, upward, downward}; |
94 | ||
e8bbfc4e | 95 | /* Structure to record the size of a sequence of arguments |
fed3cef0 RK |
96 | as the sum of a tree-expression and a constant. This structure is |
97 | also used to store offsets from the stack, which might be negative, | |
98 | so the variable part must be ssizetype, not sizetype. */ | |
e8bbfc4e RK |
99 | |
100 | struct args_size | |
101 | { | |
e5e809f4 | 102 | HOST_WIDE_INT constant; |
e8bbfc4e RK |
103 | tree var; |
104 | }; | |
e7949876 AM |
105 | |
106 | /* Package up various arg related fields of struct args for | |
107 | locate_and_pad_parm. */ | |
108 | struct locate_and_pad_arg_data | |
109 | { | |
110 | /* Size of this argument on the stack, rounded up for any padding it | |
111 | gets. If REG_PARM_STACK_SPACE is defined, then register parms are | |
112 | counted here, otherwise they aren't. */ | |
113 | struct args_size size; | |
114 | /* Offset of this argument from beginning of stack-args. */ | |
115 | struct args_size offset; | |
116 | /* Offset to the start of the stack slot. Different from OFFSET | |
117 | if this arg pads downward. */ | |
118 | struct args_size slot_offset; | |
119 | /* The amount that the stack pointer needs to be adjusted to | |
120 | force alignment for the next argument. */ | |
121 | struct args_size alignment_pad; | |
6e985040 AM |
122 | /* Which way we should pad this arg. */ |
123 | enum direction where_pad; | |
e7949876 | 124 | }; |
e8bbfc4e RK |
125 | |
126 | /* Add the value of the tree INC to the `struct args_size' TO. */ | |
127 | ||
82cf684b RH |
128 | #define ADD_PARM_SIZE(TO, INC) \ |
129 | do { \ | |
130 | tree inc = (INC); \ | |
131 | if (host_integerp (inc, 0)) \ | |
132 | (TO).constant += tree_low_cst (inc, 0); \ | |
133 | else if ((TO).var == 0) \ | |
361ea006 | 134 | (TO).var = convert (ssizetype, inc); \ |
82cf684b RH |
135 | else \ |
136 | (TO).var = size_binop (PLUS_EXPR, (TO).var, \ | |
137 | convert (ssizetype, inc)); \ | |
138 | } while (0) | |
139 | ||
140 | #define SUB_PARM_SIZE(TO, DEC) \ | |
141 | do { \ | |
142 | tree dec = (DEC); \ | |
143 | if (host_integerp (dec, 0)) \ | |
144 | (TO).constant -= tree_low_cst (dec, 0); \ | |
145 | else if ((TO).var == 0) \ | |
146 | (TO).var = size_binop (MINUS_EXPR, ssize_int (0), \ | |
147 | convert (ssizetype, dec)); \ | |
148 | else \ | |
149 | (TO).var = size_binop (MINUS_EXPR, (TO).var, \ | |
150 | convert (ssizetype, dec)); \ | |
151 | } while (0) | |
e8bbfc4e | 152 | |
fed3cef0 RK |
153 | /* Convert the implicit sum in a `struct args_size' into a tree |
154 | of type ssizetype. */ | |
155 | #define ARGS_SIZE_TREE(SIZE) \ | |
156 | ((SIZE).var == 0 ? ssize_int ((SIZE).constant) \ | |
f322b423 RH |
157 | : size_binop (PLUS_EXPR, convert (ssizetype, (SIZE).var), \ |
158 | ssize_int ((SIZE).constant))) | |
fed3cef0 | 159 | |
e8bbfc4e | 160 | /* Convert the implicit sum in a `struct args_size' into an rtx. */ |
fed3cef0 RK |
161 | #define ARGS_SIZE_RTX(SIZE) \ |
162 | ((SIZE).var == 0 ? GEN_INT ((SIZE).constant) \ | |
37a08a29 | 163 | : expand_expr (ARGS_SIZE_TREE (SIZE), NULL_RTX, VOIDmode, 0)) |
e8bbfc4e RK |
164 | |
165 | /* Supply a default definition for FUNCTION_ARG_PADDING: | |
355b2097 | 166 | usually pad upward, but pad short args downward on |
e8bbfc4e RK |
167 | big-endian machines. */ |
168 | ||
d3704c46 | 169 | #define DEFAULT_FUNCTION_ARG_PADDING(MODE, TYPE) \ |
f76b9db2 ILT |
170 | (! BYTES_BIG_ENDIAN \ |
171 | ? upward \ | |
172 | : (((MODE) == BLKmode \ | |
173 | ? ((TYPE) && TREE_CODE (TYPE_SIZE (TYPE)) == INTEGER_CST \ | |
174 | && int_size_in_bytes (TYPE) < (PARM_BOUNDARY / BITS_PER_UNIT)) \ | |
175 | : GET_MODE_BITSIZE (MODE) < PARM_BOUNDARY) \ | |
176 | ? downward : upward)) | |
d3704c46 KH |
177 | |
178 | #ifndef FUNCTION_ARG_PADDING | |
179 | #define FUNCTION_ARG_PADDING(MODE, TYPE) \ | |
180 | DEFAULT_FUNCTION_ARG_PADDING ((MODE), (TYPE)) | |
e8bbfc4e RK |
181 | #endif |
182 | ||
183 | /* Supply a default definition for FUNCTION_ARG_BOUNDARY. Normally, we let | |
184 | FUNCTION_ARG_PADDING, which also pads the length, handle any needed | |
185 | alignment. */ | |
0fb7aeda | 186 | |
e8bbfc4e RK |
187 | #ifndef FUNCTION_ARG_BOUNDARY |
188 | #define FUNCTION_ARG_BOUNDARY(MODE, TYPE) PARM_BOUNDARY | |
189 | #endif | |
190 | ||
ded9bf77 AH |
191 | tree split_complex_types (tree); |
192 | tree split_complex_values (tree); | |
193 | ||
a4b1b92a | 194 | /* Nonzero if we do not know how to pass TYPE solely in registers. */ |
502b8322 | 195 | extern bool default_must_pass_in_stack (enum machine_mode, tree); |
d8d0f5af | 196 | #ifndef MUST_PASS_IN_STACK |
a4b1b92a | 197 | #define MUST_PASS_IN_STACK(MODE,TYPE) default_must_pass_in_stack(MODE, TYPE) |
d9a4ee00 | 198 | #endif |
e8bbfc4e | 199 | |
a260abc9 DE |
200 | /* Supply a default definition of STACK_SAVEAREA_MODE for emit_stack_save. |
201 | Normally move_insn, so Pmode stack pointer. */ | |
202 | ||
203 | #ifndef STACK_SAVEAREA_MODE | |
204 | #define STACK_SAVEAREA_MODE(LEVEL) Pmode | |
205 | #endif | |
206 | ||
39403d82 DE |
207 | /* Supply a default definition of STACK_SIZE_MODE for |
208 | allocate_dynamic_stack_space. Normally PLUS/MINUS, so word_mode. */ | |
209 | ||
210 | #ifndef STACK_SIZE_MODE | |
211 | #define STACK_SIZE_MODE word_mode | |
212 | #endif | |
213 | ||
f7761c9a RK |
214 | /* Provide default values for the macros controlling stack checking. */ |
215 | ||
216 | #ifndef STACK_CHECK_BUILTIN | |
217 | #define STACK_CHECK_BUILTIN 0 | |
218 | #endif | |
219 | ||
220 | /* The default interval is one page. */ | |
221 | #ifndef STACK_CHECK_PROBE_INTERVAL | |
222 | #define STACK_CHECK_PROBE_INTERVAL 4096 | |
223 | #endif | |
224 | ||
225 | /* The default is to do a store into the stack. */ | |
226 | #ifndef STACK_CHECK_PROBE_LOAD | |
227 | #define STACK_CHECK_PROBE_LOAD 0 | |
228 | #endif | |
229 | ||
230 | /* This value is arbitrary, but should be sufficient for most machines. */ | |
231 | #ifndef STACK_CHECK_PROTECT | |
232 | #define STACK_CHECK_PROTECT (75 * UNITS_PER_WORD) | |
233 | #endif | |
234 | ||
235 | /* Make the maximum frame size be the largest we can and still only need | |
236 | one probe per function. */ | |
237 | #ifndef STACK_CHECK_MAX_FRAME_SIZE | |
238 | #define STACK_CHECK_MAX_FRAME_SIZE \ | |
239 | (STACK_CHECK_PROBE_INTERVAL - UNITS_PER_WORD) | |
240 | #endif | |
241 | ||
242 | /* This is arbitrary, but should be large enough everywhere. */ | |
243 | #ifndef STACK_CHECK_FIXED_FRAME_SIZE | |
244 | #define STACK_CHECK_FIXED_FRAME_SIZE (4 * UNITS_PER_WORD) | |
245 | #endif | |
246 | ||
247 | /* Provide a reasonable default for the maximum size of an object to | |
248 | allocate in the fixed frame. We may need to be able to make this | |
249 | controllable by the user at some point. */ | |
250 | #ifndef STACK_CHECK_MAX_VAR_SIZE | |
251 | #define STACK_CHECK_MAX_VAR_SIZE (STACK_CHECK_MAX_FRAME_SIZE / 100) | |
252 | #endif | |
e8bbfc4e | 253 | \f |
e78d8e51 ZW |
254 | /* Functions from optabs.c, commonly used, and without need for the optabs |
255 | tables: */ | |
e8bbfc4e | 256 | |
ef89d648 ZW |
257 | /* Passed to expand_simple_binop and expand_binop to say which options |
258 | to try to use if the requested operation can't be open-coded on the | |
259 | requisite mode. Either OPTAB_LIB or OPTAB_LIB_WIDEN says try using | |
260 | a library call. Either OPTAB_WIDEN or OPTAB_LIB_WIDEN says try | |
261 | using a wider mode. OPTAB_MUST_WIDEN says try widening and don't | |
262 | try anything else. */ | |
263 | ||
264 | enum optab_methods | |
265 | { | |
266 | OPTAB_DIRECT, | |
267 | OPTAB_LIB, | |
268 | OPTAB_WIDEN, | |
269 | OPTAB_LIB_WIDEN, | |
270 | OPTAB_MUST_WIDEN | |
271 | }; | |
272 | ||
273 | /* Generate code for a simple binary or unary operation. "Simple" in | |
274 | this case means "can be unambiguously described by a (mode, code) | |
275 | pair and mapped to a single optab." */ | |
502b8322 AJ |
276 | extern rtx expand_simple_binop (enum machine_mode, enum rtx_code, rtx, |
277 | rtx, rtx, int, enum optab_methods); | |
278 | extern rtx expand_simple_unop (enum machine_mode, enum rtx_code, rtx, rtx, | |
279 | int); | |
ef89d648 ZW |
280 | |
281 | /* Report whether the machine description contains an insn which can | |
282 | perform the operation described by CODE and MODE. */ | |
502b8322 | 283 | extern int have_insn_for (enum rtx_code, enum machine_mode); |
ef89d648 | 284 | |
19eb1ad7 | 285 | /* Emit code to make a call to a constant function or a library call. */ |
502b8322 | 286 | extern void emit_libcall_block (rtx, rtx, rtx, rtx); |
e8bbfc4e | 287 | |
e78d8e51 ZW |
288 | /* Create but don't emit one rtl instruction to perform certain operations. |
289 | Modes must match; operands must meet the operation's predicates. | |
290 | Likewise for subtraction and for just copying. | |
291 | These do not call protect_from_queue; caller must do so. */ | |
502b8322 AJ |
292 | extern rtx gen_add2_insn (rtx, rtx); |
293 | extern rtx gen_add3_insn (rtx, rtx, rtx); | |
294 | extern rtx gen_sub2_insn (rtx, rtx); | |
295 | extern rtx gen_sub3_insn (rtx, rtx, rtx); | |
296 | extern rtx gen_move_insn (rtx, rtx); | |
297 | extern int have_add2_insn (rtx, rtx); | |
298 | extern int have_sub2_insn (rtx, rtx); | |
12e74c9e | 299 | |
0fb7aeda | 300 | /* Emit a pair of rtl insns to compare two rtx's and to jump |
362cc3d4 | 301 | to a label if the comparison is true. */ |
502b8322 AJ |
302 | extern void emit_cmp_and_jump_insns (rtx, rtx, enum rtx_code, rtx, |
303 | enum machine_mode, int, rtx); | |
362cc3d4 | 304 | |
12e74c9e | 305 | /* Generate code to indirectly jump to a location given in the rtx LOC. */ |
502b8322 | 306 | extern void emit_indirect_jump (rtx); |
12e74c9e | 307 | |
423933c2 DE |
308 | #ifdef HAVE_conditional_move |
309 | /* Emit a conditional move operation. */ | |
502b8322 AJ |
310 | rtx emit_conditional_move (rtx, enum rtx_code, rtx, rtx, enum machine_mode, |
311 | rtx, rtx, enum machine_mode, int); | |
423933c2 | 312 | |
cc2902df | 313 | /* Return nonzero if the conditional move is supported. */ |
502b8322 | 314 | int can_conditionally_move_p (enum machine_mode mode); |
e9576d2c | 315 | |
423933c2 | 316 | #endif |
502b8322 AJ |
317 | rtx emit_conditional_add (rtx, enum rtx_code, rtx, rtx, enum machine_mode, |
318 | rtx, rtx, enum machine_mode, int); | |
423933c2 | 319 | |
12e74c9e | 320 | \f |
bda63bf1 | 321 | /* Functions from expmed.c: */ |
e8bbfc4e | 322 | |
12e74c9e RK |
323 | /* Arguments MODE, RTX: return an rtx for the negation of that value. |
324 | May emit insns. */ | |
502b8322 | 325 | extern rtx negate_rtx (enum machine_mode, rtx); |
e8bbfc4e | 326 | |
12e74c9e | 327 | /* Expand a logical AND operation. */ |
502b8322 | 328 | extern rtx expand_and (enum machine_mode, rtx, rtx, rtx); |
e8bbfc4e | 329 | |
12e74c9e | 330 | /* Emit a store-flag operation. */ |
502b8322 AJ |
331 | extern rtx emit_store_flag (rtx, enum rtx_code, rtx, rtx, enum machine_mode, |
332 | int, int); | |
e8bbfc4e | 333 | |
c0eccde6 | 334 | /* Like emit_store_flag, but always succeeds. */ |
502b8322 AJ |
335 | extern rtx emit_store_flag_force (rtx, enum rtx_code, rtx, rtx, |
336 | enum machine_mode, int, int); | |
c0eccde6 | 337 | |
12e74c9e | 338 | /* Functions from loop.c: */ |
e8bbfc4e | 339 | |
a49a6a68 JW |
340 | /* Given an insn and condition, return a canonical description of |
341 | the test being made. */ | |
ec6ec6aa | 342 | extern rtx canonicalize_condition (rtx, rtx, int, rtx *, rtx, int); |
a49a6a68 JW |
343 | |
344 | /* Given a JUMP_INSN, return a canonical description of the test | |
345 | being made. */ | |
ec6ec6aa | 346 | extern rtx get_condition (rtx, rtx *, int); |
e0cd0770 JC |
347 | |
348 | /* Generate a conditional trap instruction. */ | |
502b8322 | 349 | extern rtx gen_cond_trap (enum rtx_code, rtx, rtx, rtx); |
12e74c9e | 350 | \f |
28f4ec01 | 351 | /* Functions from builtins.c: */ |
4682ae04 | 352 | extern rtx expand_builtin (tree, rtx, rtx, enum machine_mode, int); |
c35d187f | 353 | extern tree std_build_builtin_va_list (void); |
4682ae04 AJ |
354 | extern void std_expand_builtin_va_start (tree, rtx); |
355 | extern rtx std_expand_builtin_va_arg (tree, tree); | |
356 | extern rtx expand_builtin_va_arg (tree, tree); | |
4682ae04 AJ |
357 | extern rtx default_expand_builtin (tree, rtx, rtx, enum machine_mode, int); |
358 | extern void expand_builtin_setjmp_setup (rtx, rtx); | |
359 | extern void expand_builtin_setjmp_receiver (rtx); | |
360 | extern void expand_builtin_longjmp (rtx, rtx); | |
361 | extern rtx expand_builtin_saveregs (void); | |
362 | extern void expand_builtin_trap (void); | |
363 | extern HOST_WIDE_INT get_varargs_alias_set (void); | |
364 | extern HOST_WIDE_INT get_frame_alias_set (void); | |
365 | extern void record_base_value (unsigned int, rtx, int); | |
366 | extern void record_alias_subset (HOST_WIDE_INT, HOST_WIDE_INT); | |
367 | extern HOST_WIDE_INT new_alias_set (void); | |
368 | extern int can_address_p (tree); | |
6de9cd9a DN |
369 | extern tree simplify_builtin_fputs (tree, int, int, tree); |
370 | extern tree simplify_builtin_strcpy (tree, tree); | |
371 | extern tree simplify_builtin_strncpy (tree, tree); | |
28f4ec01 | 372 | \f |
12e74c9e | 373 | /* Functions from expr.c: */ |
cb411bd6 | 374 | |
12e74c9e RK |
375 | /* This is run once per compilation to set up which modes can be used |
376 | directly in memory and to initialize the block move optab. */ | |
502b8322 | 377 | extern void init_expr_once (void); |
12e74c9e RK |
378 | |
379 | /* This is run at the start of compiling a function. */ | |
502b8322 | 380 | extern void init_expr (void); |
12e74c9e | 381 | |
49ad7cfa | 382 | /* This is run at the end of compiling a function. */ |
502b8322 | 383 | extern void finish_expr_for_function (void); |
49ad7cfa | 384 | |
12e74c9e RK |
385 | /* Use protect_from_queue to convert a QUEUED expression |
386 | into something that you can put immediately into an instruction. */ | |
502b8322 | 387 | extern rtx protect_from_queue (rtx, int); |
12e74c9e RK |
388 | |
389 | /* Perform all the pending incrementations. */ | |
502b8322 | 390 | extern void emit_queue (void); |
b4cb4994 | 391 | |
1f06ee8d | 392 | /* Tell if something has a queued subexpression. */ |
502b8322 | 393 | extern int queued_subexp_p (rtx); |
1f06ee8d | 394 | |
e8bbfc4e RK |
395 | /* Emit some rtl insns to move data between rtx's, converting machine modes. |
396 | Both modes must be floating or both fixed. */ | |
502b8322 | 397 | extern void convert_move (rtx, rtx, int); |
e8bbfc4e RK |
398 | |
399 | /* Convert an rtx to specified machine mode and return the result. */ | |
502b8322 | 400 | extern rtx convert_to_mode (enum machine_mode, rtx, int); |
e8bbfc4e | 401 | |
3fad11c9 | 402 | /* Convert an rtx to MODE from OLDMODE and return the result. */ |
502b8322 | 403 | extern rtx convert_modes (enum machine_mode, enum machine_mode, rtx, int); |
3fad11c9 | 404 | |
bda63bf1 | 405 | /* Emit code to move a block Y to a block X. */ |
44bb111a RH |
406 | |
407 | enum block_op_methods | |
408 | { | |
409 | BLOCK_OP_NORMAL, | |
8403445a AM |
410 | BLOCK_OP_NO_LIBCALL, |
411 | BLOCK_OP_CALL_PARM | |
44bb111a RH |
412 | }; |
413 | ||
502b8322 AJ |
414 | extern void init_block_move_fn (const char *); |
415 | extern void init_block_clear_fn (const char *); | |
9661b15f | 416 | |
502b8322 | 417 | extern rtx emit_block_move (rtx, rtx, rtx, enum block_op_methods); |
12e74c9e RK |
418 | |
419 | /* Copy all or part of a value X into registers starting at REGNO. | |
420 | The number of registers to be filled is NREGS. */ | |
502b8322 | 421 | extern void move_block_to_reg (int, rtx, int, enum machine_mode); |
12e74c9e RK |
422 | |
423 | /* Copy all or part of a BLKmode value X out of registers starting at REGNO. | |
424 | The number of registers to be filled is NREGS. */ | |
502b8322 | 425 | extern void move_block_from_reg (int, rtx, int); |
12e74c9e | 426 | |
084a1106 | 427 | /* Generate a non-consecutive group of registers represented by a PARALLEL. */ |
502b8322 | 428 | extern rtx gen_group_rtx (rtx); |
084a1106 | 429 | |
ae73d3be JW |
430 | /* Load a BLKmode value into non-consecutive registers represented by a |
431 | PARALLEL. */ | |
6e985040 | 432 | extern void emit_group_load (rtx, rtx, tree, int); |
729a2125 | 433 | |
084a1106 JDA |
434 | /* Move a non-consecutive group of registers represented by a PARALLEL into |
435 | a non-consecutive group of registers represented by a PARALLEL. */ | |
502b8322 | 436 | extern void emit_group_move (rtx, rtx); |
084a1106 | 437 | |
ae73d3be JW |
438 | /* Store a BLKmode value from non-consecutive registers represented by a |
439 | PARALLEL. */ | |
6e985040 | 440 | extern void emit_group_store (rtx, rtx, tree, int); |
ae73d3be | 441 | |
19eb1ad7 | 442 | /* Copy BLKmode object from a set of registers. */ |
502b8322 | 443 | extern rtx copy_blkmode_from_reg (rtx, rtx, tree); |
c36fce9a | 444 | |
8c99eaf6 | 445 | /* Mark REG as holding a parameter for the next CALL_INSN. */ |
502b8322 | 446 | extern void use_reg (rtx *, rtx); |
729a2125 | 447 | |
8c99eaf6 RK |
448 | /* Mark NREGS consecutive regs, starting at REGNO, as holding parameters |
449 | for the next CALL_INSN. */ | |
502b8322 | 450 | extern void use_regs (rtx *, int, int); |
729a2125 | 451 | |
ae73d3be | 452 | /* Mark a PARALLEL as holding a parameter for the next CALL_INSN. */ |
502b8322 | 453 | extern void use_group_regs (rtx *, rtx); |
12e74c9e RK |
454 | |
455 | /* Write zeros through the storage of OBJECT. | |
8ac61af7 | 456 | If OBJECT has BLKmode, SIZE is its length in bytes. */ |
502b8322 | 457 | extern rtx clear_storage (rtx, rtx); |
12e74c9e | 458 | |
8fd3cf4e JJ |
459 | /* Determine whether the LEN bytes can be moved by using several move |
460 | instructions. Return nonzero if a call to move_by_pieces should | |
461 | succeed. */ | |
502b8322 | 462 | extern int can_move_by_pieces (unsigned HOST_WIDE_INT, unsigned int); |
8fd3cf4e | 463 | |
cc2902df | 464 | /* Return nonzero if it is desirable to store LEN bytes generated by |
57814e5e JJ |
465 | CONSTFUN with several move instructions by store_by_pieces |
466 | function. CONSTFUNDATA is a pointer which will be passed as argument | |
467 | in every CONSTFUN call. | |
468 | ALIGN is maximum alignment we can assume. */ | |
502b8322 AJ |
469 | extern int can_store_by_pieces (unsigned HOST_WIDE_INT, |
470 | rtx (*) (void *, HOST_WIDE_INT, | |
471 | enum machine_mode), | |
472 | void *, unsigned int); | |
57814e5e JJ |
473 | |
474 | /* Generate several move instructions to store LEN bytes generated by | |
475 | CONSTFUN to block TO. (A MEM rtx with BLKmode). CONSTFUNDATA is a | |
476 | pointer which will be passed as argument in every CONSTFUN call. | |
8fd3cf4e JJ |
477 | ALIGN is maximum alignment we can assume. |
478 | Returns TO + LEN. */ | |
502b8322 AJ |
479 | extern rtx store_by_pieces (rtx, unsigned HOST_WIDE_INT, |
480 | rtx (*) (void *, HOST_WIDE_INT, enum machine_mode), | |
481 | void *, unsigned int, int); | |
57814e5e | 482 | |
12e74c9e | 483 | /* Emit insns to set X from Y. */ |
502b8322 | 484 | extern rtx emit_move_insn (rtx, rtx); |
12e74c9e RK |
485 | |
486 | /* Emit insns to set X from Y, with no frills. */ | |
502b8322 | 487 | extern rtx emit_move_insn_1 (rtx, rtx); |
12e74c9e RK |
488 | |
489 | /* Push a block of length SIZE (perhaps variable) | |
490 | and return an rtx to address the beginning of the block. */ | |
502b8322 | 491 | extern rtx push_block (rtx, int, int); |
12e74c9e | 492 | |
12e74c9e | 493 | /* Generate code to push something onto the stack, given its mode and type. */ |
502b8322 AJ |
494 | extern void emit_push_insn (rtx, enum machine_mode, tree, rtx, unsigned int, |
495 | int, rtx, int, rtx, rtx, int, rtx); | |
12e74c9e | 496 | |
19eb1ad7 | 497 | /* Expand an assignment that stores the value of FROM into TO. */ |
b90f141a | 498 | extern rtx expand_assignment (tree, tree, int); |
12e74c9e RK |
499 | |
500 | /* Generate code for computing expression EXP, | |
501 | and storing the value into TARGET. | |
502 | If SUGGEST_REG is nonzero, copy the value through a register | |
503 | and return that register, if that is possible. */ | |
502b8322 | 504 | extern rtx store_expr (tree, rtx, int); |
e8bbfc4e RK |
505 | |
506 | /* Given an rtx that may include add and multiply operations, | |
507 | generate them as insns and return a pseudo-reg containing the value. | |
508 | Useful after calling expand_expr with 1 as sum_ok. */ | |
502b8322 | 509 | extern rtx force_operand (rtx, rtx); |
e8bbfc4e | 510 | |
12e74c9e RK |
511 | /* Generate code for computing expression EXP. |
512 | An rtx for the computed value is returned. The value is never null. | |
513 | In the case of a void EXP, const0_rtx is returned. */ | |
0fab64a3 MM |
514 | #define expand_expr(EXP, TARGET, MODE, MODIFIER) \ |
515 | expand_expr_real((EXP), (TARGET), (MODE), (MODIFIER), NULL) | |
516 | extern rtx expand_expr_real (tree, rtx, enum machine_mode, | |
517 | enum expand_modifier, rtx *); | |
12e74c9e | 518 | |
6de9cd9a DN |
519 | extern void expand_var (tree); |
520 | ||
12e74c9e RK |
521 | /* At the start of a function, record that we have no previously-pushed |
522 | arguments waiting to be popped. */ | |
502b8322 | 523 | extern void init_pending_stack_adjust (void); |
12e74c9e RK |
524 | |
525 | /* When exiting from function, if safe, clear out any pending stack adjust | |
526 | so the adjustment won't get done. */ | |
502b8322 | 527 | extern void clear_pending_stack_adjust (void); |
12e74c9e RK |
528 | |
529 | /* Pop any previously-pushed arguments that have not been popped yet. */ | |
502b8322 | 530 | extern void do_pending_stack_adjust (void); |
12e74c9e | 531 | |
28f4ec01 BS |
532 | /* Return the tree node and offset if a given argument corresponds to |
533 | a string constant. */ | |
502b8322 | 534 | extern tree string_constant (tree, tree *); |
28f4ec01 | 535 | |
12e74c9e | 536 | /* Generate code to evaluate EXP and jump to LABEL if the value is zero. */ |
502b8322 | 537 | extern void jumpifnot (tree, rtx); |
12e74c9e RK |
538 | |
539 | /* Generate code to evaluate EXP and jump to LABEL if the value is nonzero. */ | |
502b8322 | 540 | extern void jumpif (tree, rtx); |
12e74c9e RK |
541 | |
542 | /* Generate code to evaluate EXP and jump to IF_FALSE_LABEL if | |
543 | the result is zero, or IF_TRUE_LABEL if the result is one. */ | |
502b8322 | 544 | extern void do_jump (tree, rtx, rtx); |
12e74c9e RK |
545 | |
546 | /* Generate rtl to compare two rtx's, will call emit_cmp_insn. */ | |
502b8322 AJ |
547 | extern rtx compare_from_rtx (rtx, rtx, enum rtx_code, int, enum machine_mode, |
548 | rtx); | |
549 | extern void do_compare_rtx_and_jump (rtx, rtx, enum rtx_code, int, | |
550 | enum machine_mode, rtx, rtx, rtx); | |
12e74c9e | 551 | |
ad82abb8 | 552 | /* Two different ways of generating switch statements. */ |
502b8322 AJ |
553 | extern int try_casesi (tree, tree, tree, tree, rtx, rtx); |
554 | extern int try_tablejump (tree, tree, tree, tree, rtx, rtx); | |
ad82abb8 ZW |
555 | |
556 | /* Smallest number of adjacent cases before we use a jump table. | |
557 | XXX Should be a target hook. */ | |
502b8322 | 558 | extern unsigned int case_values_threshold (void); |
ad82abb8 | 559 | |
12e74c9e | 560 | \f |
cb411bd6 RS |
561 | /* rtl.h and tree.h were included. */ |
562 | /* Return an rtx for the size in bytes of the value of an expr. */ | |
502b8322 | 563 | extern rtx expr_size (tree); |
cb411bd6 | 564 | |
de8920be JM |
565 | /* Return a wide integer for the size in bytes of the value of EXP, or -1 |
566 | if the size can vary or is larger than an integer. */ | |
502b8322 | 567 | extern HOST_WIDE_INT int_expr_size (tree); |
de8920be | 568 | |
cb411bd6 RS |
569 | /* Convert a stack slot address ADDR valid in function FNDECL |
570 | into an address valid in this function (using a static chain). */ | |
502b8322 | 571 | extern rtx fix_lexical_addr (rtx, tree); |
cb411bd6 RS |
572 | |
573 | /* Return the address of the trampoline for entering nested fn FUNCTION. */ | |
502b8322 | 574 | extern rtx trampoline_address (tree); |
cb411bd6 RS |
575 | |
576 | /* Return an rtx that refers to the value returned by a function | |
577 | in its original home. This becomes invalid if any more code is emitted. */ | |
502b8322 | 578 | extern rtx hard_function_value (tree, tree, int); |
cb411bd6 | 579 | |
6de9cd9a | 580 | extern rtx prepare_call_address (rtx, rtx, rtx *, int, int); |
cb411bd6 | 581 | |
502b8322 | 582 | extern rtx expand_call (tree, rtx, int); |
cb411bd6 | 583 | |
6de9cd9a DN |
584 | extern void fixup_tail_calls (void); |
585 | ||
6e985040 | 586 | #ifdef TREE_CODE |
502b8322 AJ |
587 | extern rtx expand_shift (enum tree_code, enum machine_mode, rtx, tree, rtx, |
588 | int); | |
589 | extern rtx expand_divmod (int, enum tree_code, enum machine_mode, rtx, rtx, | |
590 | rtx, int); | |
6e985040 AM |
591 | #endif |
592 | ||
502b8322 AJ |
593 | extern void locate_and_pad_parm (enum machine_mode, tree, int, int, tree, |
594 | struct args_size *, | |
595 | struct locate_and_pad_arg_data *); | |
3bdf5ad1 | 596 | |
cb411bd6 | 597 | /* Return the CODE_LABEL rtx for a LABEL_DECL, creating it if necessary. */ |
502b8322 | 598 | extern rtx label_rtx (tree); |
046e4e36 ZW |
599 | |
600 | /* As label_rtx, but additionally the label is placed on the forced label | |
601 | list of its containing function (i.e. it is treated as reachable even | |
602 | if how is not obvious). */ | |
502b8322 | 603 | extern rtx force_label_rtx (tree); |
cb411bd6 | 604 | |
626043cf | 605 | /* Indicate how an input argument register was promoted. */ |
502b8322 | 606 | extern rtx promoted_input_arg (unsigned int, enum machine_mode *, int *); |
626043cf | 607 | |
e8bbfc4e RK |
608 | /* Return an rtx like arg but sans any constant terms. |
609 | Returns the original rtx if it has no constant terms. | |
610 | The constant terms are added and stored via a second arg. */ | |
502b8322 | 611 | extern rtx eliminate_constant_term (rtx, rtx *); |
e8bbfc4e RK |
612 | |
613 | /* Convert arg to a valid memory address for specified machine mode, | |
614 | by emitting insns to perform arithmetic if nec. */ | |
502b8322 | 615 | extern rtx memory_address (enum machine_mode, rtx); |
e8bbfc4e RK |
616 | |
617 | /* Like `memory_address' but pretent `flag_force_addr' is 0. */ | |
502b8322 | 618 | extern rtx memory_address_noforce (enum machine_mode, rtx); |
e8bbfc4e | 619 | |
173b24b9 | 620 | /* Set the alias set of MEM to SET. */ |
502b8322 | 621 | extern void set_mem_alias_set (rtx, HOST_WIDE_INT); |
173b24b9 | 622 | |
d022d93e | 623 | /* Set the alignment of MEM to ALIGN bits. */ |
502b8322 | 624 | extern void set_mem_align (rtx, unsigned int); |
738cc472 | 625 | |
998d7deb | 626 | /* Set the expr for MEM to EXPR. */ |
502b8322 | 627 | extern void set_mem_expr (rtx, tree); |
998d7deb RH |
628 | |
629 | /* Set the offset for MEM to OFFSET. */ | |
502b8322 | 630 | extern void set_mem_offset (rtx, rtx); |
1285011e | 631 | |
35aff10b | 632 | /* Set the size for MEM to SIZE. */ |
502b8322 | 633 | extern void set_mem_size (rtx, rtx); |
35aff10b | 634 | |
e8bbfc4e RK |
635 | /* Return a memory reference like MEMREF, but with its mode changed |
636 | to MODE and its address changed to ADDR. | |
637 | (VOIDmode means don't change the mode. | |
738cc472 | 638 | NULL for ADDR means don't change the address.) */ |
502b8322 | 639 | extern rtx change_address (rtx, enum machine_mode, rtx); |
e8bbfc4e | 640 | |
f4ef873c RK |
641 | /* Return a memory reference like MEMREF, but with its mode changed |
642 | to MODE and its address offset by OFFSET bytes. */ | |
738cc472 | 643 | #define adjust_address(MEMREF, MODE, OFFSET) \ |
89fc10a5 | 644 | adjust_address_1 (MEMREF, MODE, OFFSET, 1, 1) |
f4ef873c | 645 | |
f1ec5147 | 646 | /* Likewise, but the reference is not required to be valid. */ |
738cc472 | 647 | #define adjust_address_nv(MEMREF, MODE, OFFSET) \ |
89fc10a5 JJ |
648 | adjust_address_1 (MEMREF, MODE, OFFSET, 0, 1) |
649 | ||
650 | /* Return a memory reference like MEMREF, but with its mode changed | |
651 | to MODE and its address changed to ADDR, which is assumed to be | |
652 | increased by OFFSET bytes from MEMREF. */ | |
653 | #define adjust_automodify_address(MEMREF, MODE, ADDR, OFFSET) \ | |
654 | adjust_automodify_address_1 (MEMREF, MODE, ADDR, OFFSET, 1) | |
655 | ||
656 | /* Likewise, but the reference is not required to be valid. */ | |
657 | #define adjust_automodify_address_nv(MEMREF, MODE, ADDR, OFFSET) \ | |
658 | adjust_automodify_address_1 (MEMREF, MODE, ADDR, OFFSET, 0) | |
738cc472 | 659 | |
502b8322 AJ |
660 | extern rtx adjust_address_1 (rtx, enum machine_mode, HOST_WIDE_INT, int, int); |
661 | extern rtx adjust_automodify_address_1 (rtx, enum machine_mode, rtx, | |
662 | HOST_WIDE_INT, int); | |
f1ec5147 | 663 | |
0d4903b8 RK |
664 | /* Return a memory reference like MEMREF, but whose address is changed by |
665 | adding OFFSET, an RTX, to it. POW2 is the highest power of two factor | |
666 | known to be in OFFSET (possibly 1). */ | |
502b8322 | 667 | extern rtx offset_address (rtx, rtx, unsigned HOST_WIDE_INT); |
0d4903b8 | 668 | |
792760b9 RK |
669 | /* Return a memory reference like MEMREF, but with its address changed to |
670 | ADDR. The caller is asserting that the actual piece of memory pointed | |
671 | to is the same, just the form of the address is being changed, such as | |
672 | by putting something into a register. */ | |
502b8322 | 673 | extern rtx replace_equiv_address (rtx, rtx); |
792760b9 | 674 | |
f1ec5147 | 675 | /* Likewise, but the reference is not required to be valid. */ |
502b8322 | 676 | extern rtx replace_equiv_address_nv (rtx, rtx); |
f1ec5147 | 677 | |
e7dfe4bb RH |
678 | /* Return a memory reference like MEMREF, but with its mode widened to |
679 | MODE and adjusted by OFFSET. */ | |
502b8322 | 680 | extern rtx widen_memory_access (rtx, enum machine_mode, HOST_WIDE_INT); |
e7dfe4bb | 681 | |
e8bbfc4e RK |
682 | /* Return a memory reference like MEMREF, but which is known to have a |
683 | valid address. */ | |
502b8322 | 684 | extern rtx validize_mem (rtx); |
e8bbfc4e | 685 | |
258a120b JM |
686 | /* Given REF, either a MEM or a REG, and T, either the type of X or |
687 | the expression corresponding to REF, set RTX_UNCHANGING_P if | |
688 | appropriate. */ | |
502b8322 | 689 | extern void maybe_set_unchanging (rtx, tree); |
258a120b | 690 | |
3bdf5ad1 RK |
691 | /* Given REF, a MEM, and T, either the type of X or the expression |
692 | corresponding to REF, set the memory attributes. OBJECTP is nonzero | |
693 | if we are making a new object of this type. */ | |
502b8322 | 694 | extern void set_mem_attributes (rtx, tree, int); |
6f1087be RH |
695 | |
696 | /* Similar, except that BITPOS has not yet been applied to REF, so if | |
697 | we alter MEM_OFFSET according to T then we should subtract BITPOS | |
698 | expecting that it'll be added back in later. */ | |
502b8322 | 699 | extern void set_mem_attributes_minus_bitpos (rtx, tree, int, HOST_WIDE_INT); |
3bdf5ad1 | 700 | |
e8bbfc4e | 701 | /* Assemble the static constant template for function entry trampolines. */ |
502b8322 | 702 | extern rtx assemble_trampoline_template (void); |
e8bbfc4e | 703 | |
e8bbfc4e RK |
704 | /* Given rtx, return new rtx whose address won't be affected by |
705 | any side effects. It has been copied to a new temporary reg. */ | |
502b8322 | 706 | extern rtx stabilize (rtx); |
e8bbfc4e RK |
707 | |
708 | /* Given an rtx, copy all regs it refers to into new temps | |
709 | and return a modified copy that refers to the new temps. */ | |
502b8322 | 710 | extern rtx copy_all_regs (rtx); |
e8bbfc4e RK |
711 | |
712 | /* Copy given rtx to a new temp reg and return that. */ | |
502b8322 | 713 | extern rtx copy_to_reg (rtx); |
e8bbfc4e RK |
714 | |
715 | /* Like copy_to_reg but always make the reg Pmode. */ | |
502b8322 | 716 | extern rtx copy_addr_to_reg (rtx); |
e8bbfc4e RK |
717 | |
718 | /* Like copy_to_reg but always make the reg the specified mode MODE. */ | |
502b8322 | 719 | extern rtx copy_to_mode_reg (enum machine_mode, rtx); |
e8bbfc4e RK |
720 | |
721 | /* Copy given rtx to given temp reg and return that. */ | |
502b8322 | 722 | extern rtx copy_to_suggested_reg (rtx, rtx, enum machine_mode); |
e8bbfc4e RK |
723 | |
724 | /* Copy a value to a register if it isn't already a register. | |
725 | Args are mode (in case value is a constant) and the value. */ | |
502b8322 | 726 | extern rtx force_reg (enum machine_mode, rtx); |
e8bbfc4e RK |
727 | |
728 | /* Return given rtx, copied into a new temp reg if it was in memory. */ | |
502b8322 | 729 | extern rtx force_not_mem (rtx); |
e8bbfc4e | 730 | |
9d69b7c8 | 731 | /* Return mode and signedness to use when object is promoted. */ |
502b8322 | 732 | extern enum machine_mode promote_mode (tree, enum machine_mode, int *, int); |
9d69b7c8 | 733 | |
e8bbfc4e | 734 | /* Remove some bytes from the stack. An rtx says how many. */ |
502b8322 | 735 | extern void adjust_stack (rtx); |
e8bbfc4e RK |
736 | |
737 | /* Add some bytes to the stack. An rtx says how many. */ | |
502b8322 | 738 | extern void anti_adjust_stack (rtx); |
e8bbfc4e | 739 | |
59257ff7 RK |
740 | /* This enum is used for the following two functions. */ |
741 | enum save_level {SAVE_BLOCK, SAVE_FUNCTION, SAVE_NONLOCAL}; | |
742 | ||
743 | /* Save the stack pointer at the specified level. */ | |
502b8322 | 744 | extern void emit_stack_save (enum save_level, rtx *, rtx); |
59257ff7 RK |
745 | |
746 | /* Restore the stack pointer from a save area of the specified level. */ | |
502b8322 | 747 | extern void emit_stack_restore (enum save_level, rtx, rtx); |
59257ff7 | 748 | |
6de9cd9a DN |
749 | /* Invoke emit_stack_save for the nonlocal_goto_save_area. */ |
750 | extern void update_nonlocal_goto_save_area (void); | |
751 | ||
e8bbfc4e RK |
752 | /* Allocate some space on the stack dynamically and return its address. An rtx |
753 | says how many bytes. */ | |
502b8322 | 754 | extern rtx allocate_dynamic_stack_space (rtx, rtx, int); |
e8bbfc4e | 755 | |
0fb7aeda | 756 | /* Probe a range of stack addresses from FIRST to FIRST+SIZE, inclusive. |
f7761c9a RK |
757 | FIRST is a constant and size is a Pmode RTX. These are offsets from the |
758 | current stack pointer. STACK_GROWS_DOWNWARD says whether to add or | |
759 | subtract from the stack. If SIZE is constant, this is done | |
760 | with a fixed number of probes. Otherwise, we must make a loop. */ | |
502b8322 | 761 | extern void probe_stack_range (HOST_WIDE_INT, rtx); |
f7761c9a | 762 | |
e8bbfc4e RK |
763 | /* Return an rtx that refers to the value returned by a library call |
764 | in its original home. This becomes invalid if any more code is emitted. */ | |
502b8322 | 765 | extern rtx hard_libcall_value (enum machine_mode); |
e8bbfc4e | 766 | |
e8bbfc4e RK |
767 | /* Given an rtx, return an rtx for a value rounded up to a multiple |
768 | of STACK_BOUNDARY / BITS_PER_UNIT. */ | |
502b8322 | 769 | extern rtx round_push (rtx); |
e8bbfc4e | 770 | |
da920570 ZW |
771 | /* Return the mode desired by operand N of a particular bitfield |
772 | insert/extract insn, or MAX_MACHINE_MODE if no such insn is | |
773 | available. */ | |
774 | ||
775 | enum extraction_pattern { EP_insv, EP_extv, EP_extzv }; | |
776 | extern enum machine_mode | |
502b8322 AJ |
777 | mode_for_extraction (enum extraction_pattern, int); |
778 | ||
779 | extern rtx store_bit_field (rtx, unsigned HOST_WIDE_INT, | |
780 | unsigned HOST_WIDE_INT, enum machine_mode, rtx, | |
781 | HOST_WIDE_INT); | |
782 | extern rtx extract_bit_field (rtx, unsigned HOST_WIDE_INT, | |
783 | unsigned HOST_WIDE_INT, int, rtx, | |
784 | enum machine_mode, enum machine_mode, | |
785 | HOST_WIDE_INT); | |
786 | extern rtx expand_mult (enum machine_mode, rtx, rtx, rtx, int); | |
787 | extern bool const_mult_add_overflow_p (rtx, rtx, rtx, enum machine_mode, int); | |
788 | extern rtx expand_mult_add (rtx, rtx, rtx, rtx,enum machine_mode, int); | |
789 | extern rtx expand_mult_highpart_adjust (enum machine_mode, rtx, rtx, rtx, rtx, int); | |
790 | ||
791 | extern rtx assemble_static_space (unsigned HOST_WIDE_INT); | |
792 | extern int safe_from_p (rtx, tree, int); | |
8f17b5c5 | 793 | |
e78d8e51 ZW |
794 | /* Call this once to initialize the contents of the optabs |
795 | appropriately for the current target machine. */ | |
502b8322 AJ |
796 | extern void init_optabs (void); |
797 | extern void init_all_optabs (void); | |
e78d8e51 ZW |
798 | |
799 | /* Call this to initialize an optab function entry. */ | |
502b8322 | 800 | extern rtx init_one_libfunc (const char *); |
e78d8e51 | 801 | |
502b8322 AJ |
802 | extern void do_jump_by_parts_equality_rtx (rtx, rtx, rtx); |
803 | extern void do_jump_by_parts_greater_rtx (enum machine_mode, int, rtx, rtx, | |
804 | rtx, rtx); | |
df03cab5 | 805 | |
502b8322 | 806 | extern int vector_mode_valid_p (enum machine_mode); |