1 /* Definitions for code generation pass of GNU compiler.
2 Copyright (C) 1987, 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998,
3 1999, 2000, 2001, 2002, 2003 Free Software Foundation, Inc.
5 This file is part of GCC.
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
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
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING. If not, write to the Free
19 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
22 /* The default branch cost is 1. */
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. */
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
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. */
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)
46 /* This is the 4th arg to `expand_expr'.
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.
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
53 is a constant that is not a legitimate address.
54 EXPAND_WRITE means we are only going to write to the resulting rtx. */
55 enum expand_modifier
{EXPAND_NORMAL
= 0, EXPAND_STACK_PARM
= 2, EXPAND_SUM
,
56 EXPAND_CONST_ADDRESS
, EXPAND_INITIALIZER
, EXPAND_WRITE
};
58 /* Prevent the compiler from deferring stack pops. See
59 inhibit_defer_pop for more information. */
60 #define NO_DEFER_POP (inhibit_defer_pop += 1)
62 /* Allow the compiler to defer stack pops. See inhibit_defer_pop for
64 #define OK_DEFER_POP (inhibit_defer_pop -= 1)
66 #ifdef TREE_CODE /* Don't lose if tree.h not included. */
67 /* Structure to record the size of a sequence of arguments
68 as the sum of a tree-expression and a constant. This structure is
69 also used to store offsets from the stack, which might be negative,
70 so the variable part must be ssizetype, not sizetype. */
74 HOST_WIDE_INT constant
;
79 /* Add the value of the tree INC to the `struct args_size' TO. */
81 #define ADD_PARM_SIZE(TO, INC) \
84 if (host_integerp (inc, 0)) \
85 (TO).constant += tree_low_cst (inc, 0); \
86 else if ((TO).var == 0) \
87 (TO).var = convert (ssizetype, inc); \
89 (TO).var = size_binop (PLUS_EXPR, (TO).var, \
90 convert (ssizetype, inc)); \
93 #define SUB_PARM_SIZE(TO, DEC) \
96 if (host_integerp (dec, 0)) \
97 (TO).constant -= tree_low_cst (dec, 0); \
98 else if ((TO).var == 0) \
99 (TO).var = size_binop (MINUS_EXPR, ssize_int (0), \
100 convert (ssizetype, dec)); \
102 (TO).var = size_binop (MINUS_EXPR, (TO).var, \
103 convert (ssizetype, dec)); \
106 /* Convert the implicit sum in a `struct args_size' into a tree
107 of type ssizetype. */
108 #define ARGS_SIZE_TREE(SIZE) \
109 ((SIZE).var == 0 ? ssize_int ((SIZE).constant) \
110 : size_binop (PLUS_EXPR, convert (ssizetype, (SIZE).var), \
111 ssize_int ((SIZE).constant)))
113 /* Convert the implicit sum in a `struct args_size' into an rtx. */
114 #define ARGS_SIZE_RTX(SIZE) \
115 ((SIZE).var == 0 ? GEN_INT ((SIZE).constant) \
116 : expand_expr (ARGS_SIZE_TREE (SIZE), NULL_RTX, VOIDmode, 0))
118 /* Supply a default definition for FUNCTION_ARG_PADDING:
119 usually pad upward, but pad short args downward on
120 big-endian machines. */
122 enum direction
{none
, upward
, downward
}; /* Value has this type. */
124 #ifndef FUNCTION_ARG_PADDING
125 #define FUNCTION_ARG_PADDING(MODE, TYPE) \
126 (! BYTES_BIG_ENDIAN \
128 : (((MODE) == BLKmode \
129 ? ((TYPE) && TREE_CODE (TYPE_SIZE (TYPE)) == INTEGER_CST \
130 && int_size_in_bytes (TYPE) < (PARM_BOUNDARY / BITS_PER_UNIT)) \
131 : GET_MODE_BITSIZE (MODE) < PARM_BOUNDARY) \
132 ? downward : upward))
135 /* Supply a default definition for FUNCTION_ARG_BOUNDARY. Normally, we let
136 FUNCTION_ARG_PADDING, which also pads the length, handle any needed
139 #ifndef FUNCTION_ARG_BOUNDARY
140 #define FUNCTION_ARG_BOUNDARY(MODE, TYPE) PARM_BOUNDARY
143 /* Provide a default value for STRICT_ARGUMENT_NAMING. */
144 #ifndef STRICT_ARGUMENT_NAMING
145 #define STRICT_ARGUMENT_NAMING 0
148 /* Provide a default value for PRETEND_OUTGOING_VARARGS_NAMED. */
149 #ifdef SETUP_INCOMING_VARARGS
150 #ifndef PRETEND_OUTGOING_VARARGS_NAMED
151 #define PRETEND_OUTGOING_VARARGS_NAMED 1
154 /* It is an error to define PRETEND_OUTGOING_VARARGS_NAMED without
155 defining SETUP_INCOMING_VARARGS. */
156 #define PRETEND_OUTGOING_VARARGS_NAMED 0
159 /* Nonzero if we do not know how to pass TYPE solely in registers. */
160 extern bool default_must_pass_in_stack
PARAMS((enum machine_mode
, tree
));
161 #ifndef MUST_PASS_IN_STACK
162 #define MUST_PASS_IN_STACK(MODE,TYPE) default_must_pass_in_stack(MODE, TYPE)
165 /* Nonzero if type TYPE should be returned in memory.
166 Most machines can use the following default definition. */
168 #ifndef RETURN_IN_MEMORY
169 #define RETURN_IN_MEMORY(TYPE) (TYPE_MODE (TYPE) == BLKmode)
172 /* Supply a default definition of STACK_SAVEAREA_MODE for emit_stack_save.
173 Normally move_insn, so Pmode stack pointer. */
175 #ifndef STACK_SAVEAREA_MODE
176 #define STACK_SAVEAREA_MODE(LEVEL) Pmode
179 /* Supply a default definition of STACK_SIZE_MODE for
180 allocate_dynamic_stack_space. Normally PLUS/MINUS, so word_mode. */
182 #ifndef STACK_SIZE_MODE
183 #define STACK_SIZE_MODE word_mode
186 /* Provide default values for the macros controlling stack checking. */
188 #ifndef STACK_CHECK_BUILTIN
189 #define STACK_CHECK_BUILTIN 0
192 /* The default interval is one page. */
193 #ifndef STACK_CHECK_PROBE_INTERVAL
194 #define STACK_CHECK_PROBE_INTERVAL 4096
197 /* The default is to do a store into the stack. */
198 #ifndef STACK_CHECK_PROBE_LOAD
199 #define STACK_CHECK_PROBE_LOAD 0
202 /* This value is arbitrary, but should be sufficient for most machines. */
203 #ifndef STACK_CHECK_PROTECT
204 #define STACK_CHECK_PROTECT (75 * UNITS_PER_WORD)
207 /* Make the maximum frame size be the largest we can and still only need
208 one probe per function. */
209 #ifndef STACK_CHECK_MAX_FRAME_SIZE
210 #define STACK_CHECK_MAX_FRAME_SIZE \
211 (STACK_CHECK_PROBE_INTERVAL - UNITS_PER_WORD)
214 /* This is arbitrary, but should be large enough everywhere. */
215 #ifndef STACK_CHECK_FIXED_FRAME_SIZE
216 #define STACK_CHECK_FIXED_FRAME_SIZE (4 * UNITS_PER_WORD)
219 /* Provide a reasonable default for the maximum size of an object to
220 allocate in the fixed frame. We may need to be able to make this
221 controllable by the user at some point. */
222 #ifndef STACK_CHECK_MAX_VAR_SIZE
223 #define STACK_CHECK_MAX_VAR_SIZE (STACK_CHECK_MAX_FRAME_SIZE / 100)
226 /* Functions from optabs.c, commonly used, and without need for the optabs
229 /* Passed to expand_simple_binop and expand_binop to say which options
230 to try to use if the requested operation can't be open-coded on the
231 requisite mode. Either OPTAB_LIB or OPTAB_LIB_WIDEN says try using
232 a library call. Either OPTAB_WIDEN or OPTAB_LIB_WIDEN says try
233 using a wider mode. OPTAB_MUST_WIDEN says try widening and don't
234 try anything else. */
245 /* Generate code for a simple binary or unary operation. "Simple" in
246 this case means "can be unambiguously described by a (mode, code)
247 pair and mapped to a single optab." */
248 extern rtx expand_simple_binop
PARAMS ((enum machine_mode
, enum rtx_code
, rtx
,
249 rtx
, rtx
, int, enum optab_methods
));
250 extern rtx expand_simple_unop
PARAMS ((enum machine_mode
, enum rtx_code
,
253 /* Report whether the machine description contains an insn which can
254 perform the operation described by CODE and MODE. */
255 extern int have_insn_for
PARAMS ((enum rtx_code
, enum machine_mode
));
257 /* Emit code to make a call to a constant function or a library call. */
258 extern void emit_libcall_block
PARAMS ((rtx
, rtx
, rtx
, rtx
));
260 /* Create but don't emit one rtl instruction to perform certain operations.
261 Modes must match; operands must meet the operation's predicates.
262 Likewise for subtraction and for just copying.
263 These do not call protect_from_queue; caller must do so. */
264 extern rtx gen_add2_insn
PARAMS ((rtx
, rtx
));
265 extern rtx gen_add3_insn
PARAMS ((rtx
, rtx
, rtx
));
266 extern rtx gen_sub2_insn
PARAMS ((rtx
, rtx
));
267 extern rtx gen_sub3_insn
PARAMS ((rtx
, rtx
, rtx
));
268 extern rtx gen_move_insn
PARAMS ((rtx
, rtx
));
269 extern int have_add2_insn
PARAMS ((rtx
, rtx
));
270 extern int have_sub2_insn
PARAMS ((rtx
, rtx
));
272 /* Emit a pair of rtl insns to compare two rtx's and to jump
273 to a label if the comparison is true. */
274 extern void emit_cmp_and_jump_insns
PARAMS ((rtx
, rtx
, enum rtx_code
, rtx
,
275 enum machine_mode
, int, rtx
));
277 /* Generate code to indirectly jump to a location given in the rtx LOC. */
278 extern void emit_indirect_jump
PARAMS ((rtx
));
280 #ifdef HAVE_conditional_move
281 /* Emit a conditional move operation. */
282 rtx emit_conditional_move
PARAMS ((rtx
, enum rtx_code
, rtx
, rtx
,
283 enum machine_mode
, rtx
, rtx
,
284 enum machine_mode
, int));
286 /* Return nonzero if the conditional move is supported. */
287 int can_conditionally_move_p
PARAMS ((enum machine_mode mode
));
290 rtx emit_conditional_add
PARAMS ((rtx
, enum rtx_code
, rtx
, rtx
,
291 enum machine_mode
, rtx
, rtx
,
292 enum machine_mode
, int));
295 /* Functions from expmed.c: */
297 /* Arguments MODE, RTX: return an rtx for the negation of that value.
299 extern rtx negate_rtx
PARAMS ((enum machine_mode
, rtx
));
301 /* Expand a logical AND operation. */
302 extern rtx expand_and
PARAMS ((enum machine_mode
, rtx
, rtx
, rtx
));
304 /* Emit a store-flag operation. */
305 extern rtx emit_store_flag
PARAMS ((rtx
, enum rtx_code
, rtx
, rtx
,
306 enum machine_mode
, int, int));
308 /* Like emit_store_flag, but always succeeds. */
309 extern rtx emit_store_flag_force
PARAMS ((rtx
, enum rtx_code
, rtx
, rtx
,
310 enum machine_mode
, int, int));
312 /* Functions from loop.c: */
314 /* Given an insn and condition, return a canonical description of
315 the test being made. */
316 extern rtx canonicalize_condition
PARAMS ((rtx
, rtx
, int, rtx
*, rtx
));
318 /* Given a JUMP_INSN, return a canonical description of the test
320 extern rtx get_condition
PARAMS ((rtx
, rtx
*));
322 /* Generate a conditional trap instruction. */
323 extern rtx gen_cond_trap
PARAMS ((enum rtx_code
, rtx
, rtx
, rtx
));
325 /* Functions from builtins.c: */
326 extern rtx expand_builtin
PARAMS ((tree
, rtx
, rtx
, enum machine_mode
, int));
327 extern void std_expand_builtin_va_start
PARAMS ((tree
, rtx
));
328 extern rtx std_expand_builtin_va_arg
PARAMS ((tree
, tree
));
329 extern rtx expand_builtin_va_arg
PARAMS ((tree
, tree
));
330 extern void default_init_builtins
PARAMS ((void));
331 extern rtx default_expand_builtin
PARAMS ((tree
, rtx
, rtx
,
332 enum machine_mode
, int));
333 extern void expand_builtin_setjmp_setup
PARAMS ((rtx
, rtx
));
334 extern void expand_builtin_setjmp_receiver
PARAMS ((rtx
));
335 extern void expand_builtin_longjmp
PARAMS ((rtx
, rtx
));
336 extern rtx expand_builtin_saveregs
PARAMS ((void));
337 extern void expand_builtin_trap
PARAMS ((void));
338 extern HOST_WIDE_INT get_varargs_alias_set
PARAMS ((void));
339 extern HOST_WIDE_INT get_frame_alias_set
PARAMS ((void));
340 extern void record_base_value
PARAMS ((unsigned int, rtx
, int));
341 extern void record_alias_subset
PARAMS ((HOST_WIDE_INT
,
343 extern HOST_WIDE_INT new_alias_set
PARAMS ((void));
344 extern int can_address_p
PARAMS ((tree
));
346 /* Functions from expr.c: */
348 /* This is run once per compilation to set up which modes can be used
349 directly in memory and to initialize the block move optab. */
350 extern void init_expr_once
PARAMS ((void));
352 /* This is run at the start of compiling a function. */
353 extern void init_expr
PARAMS ((void));
355 /* This is run at the end of compiling a function. */
356 extern void finish_expr_for_function
PARAMS ((void));
358 /* Use protect_from_queue to convert a QUEUED expression
359 into something that you can put immediately into an instruction. */
360 extern rtx protect_from_queue
PARAMS ((rtx
, int));
362 /* Perform all the pending incrementations. */
363 extern void emit_queue
PARAMS ((void));
365 /* Tell if something has a queued subexpression. */
366 extern int queued_subexp_p
PARAMS ((rtx
));
368 /* Emit some rtl insns to move data between rtx's, converting machine modes.
369 Both modes must be floating or both fixed. */
370 extern void convert_move
PARAMS ((rtx
, rtx
, int));
372 /* Convert an rtx to specified machine mode and return the result. */
373 extern rtx convert_to_mode
PARAMS ((enum machine_mode
, rtx
, int));
375 /* Convert an rtx to MODE from OLDMODE and return the result. */
376 extern rtx convert_modes
PARAMS ((enum machine_mode
, enum machine_mode
,
379 /* Emit code to move a block Y to a block X. */
381 enum block_op_methods
388 extern rtx emit_block_move
PARAMS ((rtx
, rtx
, rtx
, enum block_op_methods
));
390 /* Copy all or part of a value X into registers starting at REGNO.
391 The number of registers to be filled is NREGS. */
392 extern void move_block_to_reg
PARAMS ((int, rtx
, int, enum machine_mode
));
394 /* Copy all or part of a BLKmode value X out of registers starting at REGNO.
395 The number of registers to be filled is NREGS. */
396 extern void move_block_from_reg
PARAMS ((int, rtx
, int, int));
398 /* Generate a non-consecutive group of registers represented by a PARALLEL. */
399 extern rtx gen_group_rtx
PARAMS ((rtx
));
401 /* Load a BLKmode value into non-consecutive registers represented by a
403 extern void emit_group_load
PARAMS ((rtx
, rtx
, int));
405 /* Move a non-consecutive group of registers represented by a PARALLEL into
406 a non-consecutive group of registers represented by a PARALLEL. */
407 extern void emit_group_move
PARAMS ((rtx
, rtx
));
409 /* Store a BLKmode value from non-consecutive registers represented by a
411 extern void emit_group_store
PARAMS ((rtx
, rtx
, int));
414 /* Copy BLKmode object from a set of registers. */
415 extern rtx copy_blkmode_from_reg
PARAMS ((rtx
,rtx
,tree
));
418 /* Mark REG as holding a parameter for the next CALL_INSN. */
419 extern void use_reg
PARAMS ((rtx
*, rtx
));
421 /* Mark NREGS consecutive regs, starting at REGNO, as holding parameters
422 for the next CALL_INSN. */
423 extern void use_regs
PARAMS ((rtx
*, int, int));
425 /* Mark a PARALLEL as holding a parameter for the next CALL_INSN. */
426 extern void use_group_regs
PARAMS ((rtx
*, rtx
));
428 /* Write zeros through the storage of OBJECT.
429 If OBJECT has BLKmode, SIZE is its length in bytes. */
430 extern rtx clear_storage
PARAMS ((rtx
, rtx
));
432 /* Return nonzero if it is desirable to store LEN bytes generated by
433 CONSTFUN with several move instructions by store_by_pieces
434 function. CONSTFUNDATA is a pointer which will be passed as argument
435 in every CONSTFUN call.
436 ALIGN is maximum alignment we can assume. */
437 extern int can_store_by_pieces
PARAMS ((unsigned HOST_WIDE_INT
,
438 rtx (*) (PTR
, HOST_WIDE_INT
,
442 /* Generate several move instructions to store LEN bytes generated by
443 CONSTFUN to block TO. (A MEM rtx with BLKmode). CONSTFUNDATA is a
444 pointer which will be passed as argument in every CONSTFUN call.
445 ALIGN is maximum alignment we can assume. */
446 extern void store_by_pieces
PARAMS ((rtx
, unsigned HOST_WIDE_INT
,
447 rtx (*) (PTR
, HOST_WIDE_INT
,
451 /* Emit insns to set X from Y. */
452 extern rtx emit_move_insn
PARAMS ((rtx
, rtx
));
454 /* Emit insns to set X from Y, with no frills. */
455 extern rtx emit_move_insn_1
PARAMS ((rtx
, rtx
));
457 /* Push a block of length SIZE (perhaps variable)
458 and return an rtx to address the beginning of the block. */
459 extern rtx push_block
PARAMS ((rtx
, int, int));
462 /* Generate code to push something onto the stack, given its mode and type. */
463 extern void emit_push_insn
PARAMS ((rtx
, enum machine_mode
, tree
, rtx
,
464 unsigned int, int, rtx
, int, rtx
, rtx
,
467 /* Expand an assignment that stores the value of FROM into TO. */
468 extern rtx expand_assignment
PARAMS ((tree
, tree
, int, int));
470 /* Generate code for computing expression EXP,
471 and storing the value into TARGET.
472 If SUGGEST_REG is nonzero, copy the value through a register
473 and return that register, if that is possible. */
474 extern rtx store_expr
PARAMS ((tree
, rtx
, int));
477 /* Given an rtx that may include add and multiply operations,
478 generate them as insns and return a pseudo-reg containing the value.
479 Useful after calling expand_expr with 1 as sum_ok. */
480 extern rtx force_operand
PARAMS ((rtx
, rtx
));
482 /* Return an object on the placeholder list that matches EXP, a
483 PLACEHOLDER_EXPR. An object "matches" if it is of the type of the
484 PLACEHOLDER_EXPR or a pointer type to it. For further information, see
485 tree.def. If no such object is found, abort. If PLIST is nonzero, it is
486 a location which initially points to a starting location in the
487 placeholder list (zero means start of the list) and where a pointer into
488 the placeholder list at which the object is found is placed. */
489 extern tree find_placeholder
PARAMS ((tree
, tree
*));
491 /* Generate code for computing expression EXP.
492 An rtx for the computed value is returned. The value is never null.
493 In the case of a void EXP, const0_rtx is returned. */
494 extern rtx expand_expr
PARAMS ((tree
, rtx
, enum machine_mode
,
495 enum expand_modifier
));
497 /* At the start of a function, record that we have no previously-pushed
498 arguments waiting to be popped. */
499 extern void init_pending_stack_adjust
PARAMS ((void));
501 /* When exiting from function, if safe, clear out any pending stack adjust
502 so the adjustment won't get done. */
503 extern void clear_pending_stack_adjust
PARAMS ((void));
505 /* Pop any previously-pushed arguments that have not been popped yet. */
506 extern void do_pending_stack_adjust
PARAMS ((void));
509 /* Return the tree node and offset if a given argument corresponds to
510 a string constant. */
511 extern tree string_constant
PARAMS ((tree
, tree
*));
513 /* Generate code to evaluate EXP and jump to LABEL if the value is zero. */
514 extern void jumpifnot
PARAMS ((tree
, rtx
));
516 /* Generate code to evaluate EXP and jump to LABEL if the value is nonzero. */
517 extern void jumpif
PARAMS ((tree
, rtx
));
519 /* Generate code to evaluate EXP and jump to IF_FALSE_LABEL if
520 the result is zero, or IF_TRUE_LABEL if the result is one. */
521 extern void do_jump
PARAMS ((tree
, rtx
, rtx
));
524 /* Generate rtl to compare two rtx's, will call emit_cmp_insn. */
525 extern rtx compare_from_rtx
PARAMS ((rtx
, rtx
, enum rtx_code
, int,
526 enum machine_mode
, rtx
));
527 extern void do_compare_rtx_and_jump
PARAMS ((rtx
, rtx
, enum rtx_code
, int,
528 enum machine_mode
, rtx
,
531 /* Two different ways of generating switch statements. */
532 extern int try_casesi
PARAMS ((tree
, tree
, tree
, tree
, rtx
, rtx
));
533 extern int try_tablejump
PARAMS ((tree
, tree
, tree
, tree
, rtx
, rtx
));
535 /* Smallest number of adjacent cases before we use a jump table.
536 XXX Should be a target hook. */
537 extern unsigned int case_values_threshold
PARAMS ((void));
541 /* rtl.h and tree.h were included. */
542 /* Return an rtx for the size in bytes of the value of an expr. */
543 extern rtx expr_size
PARAMS ((tree
));
545 /* Return a wide integer for the size in bytes of the value of EXP, or -1
546 if the size can vary or is larger than an integer. */
547 extern HOST_WIDE_INT int_expr_size
PARAMS ((tree
));
549 extern rtx lookup_static_chain
PARAMS ((tree
));
551 /* Convert a stack slot address ADDR valid in function FNDECL
552 into an address valid in this function (using a static chain). */
553 extern rtx fix_lexical_addr
PARAMS ((rtx
, tree
));
555 /* Return the address of the trampoline for entering nested fn FUNCTION. */
556 extern rtx trampoline_address
PARAMS ((tree
));
558 /* Return an rtx that refers to the value returned by a function
559 in its original home. This becomes invalid if any more code is emitted. */
560 extern rtx hard_function_value
PARAMS ((tree
, tree
, int));
562 extern rtx prepare_call_address
PARAMS ((rtx
, tree
, rtx
*, int, int));
564 extern rtx expand_call
PARAMS ((tree
, rtx
, int));
566 extern rtx expand_shift
PARAMS ((enum tree_code
, enum machine_mode
, rtx
, tree
,
568 extern rtx expand_divmod
PARAMS ((int, enum tree_code
, enum machine_mode
, rtx
,
570 extern void locate_and_pad_parm
PARAMS ((enum machine_mode
, tree
, int, tree
,
574 struct args_size
*));
575 extern rtx expand_inline_function
PARAMS ((tree
, tree
, rtx
, int, tree
, rtx
));
577 /* Return the CODE_LABEL rtx for a LABEL_DECL, creating it if necessary. */
578 extern rtx label_rtx
PARAMS ((tree
));
581 /* Indicate how an input argument register was promoted. */
582 extern rtx promoted_input_arg
PARAMS ((unsigned int, enum machine_mode
*,
585 /* Return an rtx like arg but sans any constant terms.
586 Returns the original rtx if it has no constant terms.
587 The constant terms are added and stored via a second arg. */
588 extern rtx eliminate_constant_term
PARAMS ((rtx
, rtx
*));
590 /* Convert arg to a valid memory address for specified machine mode,
591 by emitting insns to perform arithmetic if nec. */
592 extern rtx memory_address
PARAMS ((enum machine_mode
, rtx
));
594 /* Like `memory_address' but pretent `flag_force_addr' is 0. */
595 extern rtx memory_address_noforce
PARAMS ((enum machine_mode
, rtx
));
597 /* Set the alias set of MEM to SET. */
598 extern void set_mem_alias_set
PARAMS ((rtx
, HOST_WIDE_INT
));
600 /* Set the alignment of MEM to ALIGN bits. */
601 extern void set_mem_align
PARAMS ((rtx
, unsigned int));
603 /* Set the expr for MEM to EXPR. */
604 extern void set_mem_expr
PARAMS ((rtx
, tree
));
606 /* Set the offset for MEM to OFFSET. */
607 extern void set_mem_offset
PARAMS ((rtx
, rtx
));
609 /* Set the size for MEM to SIZE. */
610 extern void set_mem_size
PARAMS ((rtx
, rtx
));
612 /* Return a memory reference like MEMREF, but with its mode changed
613 to MODE and its address changed to ADDR.
614 (VOIDmode means don't change the mode.
615 NULL for ADDR means don't change the address.) */
616 extern rtx change_address
PARAMS ((rtx
, enum machine_mode
, rtx
));
618 /* Return a memory reference like MEMREF, but with its mode changed
619 to MODE and its address offset by OFFSET bytes. */
620 #define adjust_address(MEMREF, MODE, OFFSET) \
621 adjust_address_1 (MEMREF, MODE, OFFSET, 1, 1)
623 /* Likewise, but the reference is not required to be valid. */
624 #define adjust_address_nv(MEMREF, MODE, OFFSET) \
625 adjust_address_1 (MEMREF, MODE, OFFSET, 0, 1)
627 /* Return a memory reference like MEMREF, but with its mode changed
628 to MODE and its address changed to ADDR, which is assumed to be
629 increased by OFFSET bytes from MEMREF. */
630 #define adjust_automodify_address(MEMREF, MODE, ADDR, OFFSET) \
631 adjust_automodify_address_1 (MEMREF, MODE, ADDR, OFFSET, 1)
633 /* Likewise, but the reference is not required to be valid. */
634 #define adjust_automodify_address_nv(MEMREF, MODE, ADDR, OFFSET) \
635 adjust_automodify_address_1 (MEMREF, MODE, ADDR, OFFSET, 0)
637 extern rtx adjust_address_1
PARAMS ((rtx
, enum machine_mode
, HOST_WIDE_INT
,
639 extern rtx adjust_automodify_address_1
PARAMS ((rtx
, enum machine_mode
,
640 rtx
, HOST_WIDE_INT
, int));
642 /* Return a memory reference like MEMREF, but whose address is changed by
643 adding OFFSET, an RTX, to it. POW2 is the highest power of two factor
644 known to be in OFFSET (possibly 1). */
645 extern rtx offset_address
PARAMS ((rtx
, rtx
, HOST_WIDE_INT
));
647 /* Return a memory reference like MEMREF, but with its address changed to
648 ADDR. The caller is asserting that the actual piece of memory pointed
649 to is the same, just the form of the address is being changed, such as
650 by putting something into a register. */
651 extern rtx replace_equiv_address
PARAMS ((rtx
, rtx
));
653 /* Likewise, but the reference is not required to be valid. */
654 extern rtx replace_equiv_address_nv
PARAMS ((rtx
, rtx
));
656 /* Return a memory reference like MEMREF, but with its mode widened to
657 MODE and adjusted by OFFSET. */
658 extern rtx widen_memory_access
PARAMS ((rtx
, enum machine_mode
, HOST_WIDE_INT
));
660 /* Return a memory reference like MEMREF, but which is known to have a
662 extern rtx validize_mem
PARAMS ((rtx
));
665 /* Given REF, either a MEM or a REG, and T, either the type of X or
666 the expression corresponding to REF, set RTX_UNCHANGING_P if
668 extern void maybe_set_unchanging
PARAMS ((rtx
, tree
));
670 /* Given REF, a MEM, and T, either the type of X or the expression
671 corresponding to REF, set the memory attributes. OBJECTP is nonzero
672 if we are making a new object of this type. */
673 extern void set_mem_attributes
PARAMS ((rtx
, tree
, int));
675 /* Similar, except that BITPOS has not yet been applied to REF, so if
676 we alter MEM_OFFSET according to T then we should subtract BITPOS
677 expecting that it'll be added back in later. */
678 extern void set_mem_attributes_minus_bitpos
PARAMS ((rtx
, tree
, int,
682 /* Assemble the static constant template for function entry trampolines. */
683 extern rtx assemble_trampoline_template
PARAMS ((void));
685 /* Given rtx, return new rtx whose address won't be affected by
686 any side effects. It has been copied to a new temporary reg. */
687 extern rtx stabilize
PARAMS ((rtx
));
689 /* Given an rtx, copy all regs it refers to into new temps
690 and return a modified copy that refers to the new temps. */
691 extern rtx copy_all_regs
PARAMS ((rtx
));
693 /* Copy given rtx to a new temp reg and return that. */
694 extern rtx copy_to_reg
PARAMS ((rtx
));
696 /* Like copy_to_reg but always make the reg Pmode. */
697 extern rtx copy_addr_to_reg
PARAMS ((rtx
));
699 /* Like copy_to_reg but always make the reg the specified mode MODE. */
700 extern rtx copy_to_mode_reg
PARAMS ((enum machine_mode
, rtx
));
702 /* Copy given rtx to given temp reg and return that. */
703 extern rtx copy_to_suggested_reg
PARAMS ((rtx
, rtx
, enum machine_mode
));
705 /* Copy a value to a register if it isn't already a register.
706 Args are mode (in case value is a constant) and the value. */
707 extern rtx force_reg
PARAMS ((enum machine_mode
, rtx
));
709 /* Return given rtx, copied into a new temp reg if it was in memory. */
710 extern rtx force_not_mem
PARAMS ((rtx
));
713 /* Return mode and signedness to use when object is promoted. */
714 extern enum machine_mode promote_mode
PARAMS ((tree
, enum machine_mode
,
718 /* Remove some bytes from the stack. An rtx says how many. */
719 extern void adjust_stack
PARAMS ((rtx
));
721 /* Add some bytes to the stack. An rtx says how many. */
722 extern void anti_adjust_stack
PARAMS ((rtx
));
724 /* This enum is used for the following two functions. */
725 enum save_level
{SAVE_BLOCK
, SAVE_FUNCTION
, SAVE_NONLOCAL
};
727 /* Save the stack pointer at the specified level. */
728 extern void emit_stack_save
PARAMS ((enum save_level
, rtx
*, rtx
));
730 /* Restore the stack pointer from a save area of the specified level. */
731 extern void emit_stack_restore
PARAMS ((enum save_level
, rtx
, rtx
));
733 /* Allocate some space on the stack dynamically and return its address. An rtx
734 says how many bytes. */
735 extern rtx allocate_dynamic_stack_space
PARAMS ((rtx
, rtx
, int));
737 /* Probe a range of stack addresses from FIRST to FIRST+SIZE, inclusive.
738 FIRST is a constant and size is a Pmode RTX. These are offsets from the
739 current stack pointer. STACK_GROWS_DOWNWARD says whether to add or
740 subtract from the stack. If SIZE is constant, this is done
741 with a fixed number of probes. Otherwise, we must make a loop. */
742 extern void probe_stack_range
PARAMS ((HOST_WIDE_INT
, rtx
));
744 /* Return an rtx that refers to the value returned by a library call
745 in its original home. This becomes invalid if any more code is emitted. */
746 extern rtx hard_libcall_value
PARAMS ((enum machine_mode
));
748 /* Given an rtx, return an rtx for a value rounded up to a multiple
749 of STACK_BOUNDARY / BITS_PER_UNIT. */
750 extern rtx round_push
PARAMS ((rtx
));
752 /* Return the mode desired by operand N of a particular bitfield
753 insert/extract insn, or MAX_MACHINE_MODE if no such insn is
756 enum extraction_pattern
{ EP_insv
, EP_extv
, EP_extzv
};
757 extern enum machine_mode
758 mode_for_extraction
PARAMS ((enum extraction_pattern
, int));
760 extern rtx store_bit_field
PARAMS ((rtx
, unsigned HOST_WIDE_INT
,
761 unsigned HOST_WIDE_INT
,
762 enum machine_mode
, rtx
, HOST_WIDE_INT
));
763 extern rtx extract_bit_field
PARAMS ((rtx
, unsigned HOST_WIDE_INT
,
764 unsigned HOST_WIDE_INT
, int, rtx
,
765 enum machine_mode
, enum machine_mode
,
767 extern rtx expand_mult
PARAMS ((enum machine_mode
, rtx
, rtx
, rtx
, int));
768 extern bool const_mult_add_overflow_p
PARAMS ((rtx
, rtx
, rtx
, enum machine_mode
, int));
769 extern rtx expand_mult_add
PARAMS ((rtx
, rtx
, rtx
, rtx
,enum machine_mode
, int));
770 extern rtx expand_mult_highpart_adjust
PARAMS ((enum machine_mode
, rtx
, rtx
, rtx
, rtx
, int));
772 extern rtx assemble_static_space
PARAMS ((int));
774 /* Hook called by expand_expr for language-specific tree codes.
775 It is up to the language front end to install a hook
776 if it has any such codes that expand_expr needs to know about. */
777 extern rtx (*lang_expand_expr
) PARAMS ((union tree_node
*, rtx
,
779 enum expand_modifier modifier
));
781 extern int safe_from_p
PARAMS ((rtx
, tree
, int));
783 /* Call this once to initialize the contents of the optabs
784 appropriately for the current target machine. */
785 extern void init_optabs
PARAMS ((void));
786 extern void init_all_optabs
PARAMS ((void));
788 /* Call this to initialize an optab function entry. */
789 extern rtx init_one_libfunc
PARAMS ((const char *));
791 extern void do_jump_by_parts_equality_rtx
PARAMS ((rtx
, rtx
, rtx
));
792 extern void do_jump_by_parts_greater_rtx
PARAMS ((enum machine_mode
,
796 #ifdef TREE_CODE /* Don't lose if tree.h not included. */
797 extern void mark_seen_cases
PARAMS ((tree
, unsigned char *,
798 HOST_WIDE_INT
, int));
801 extern int vector_mode_valid_p
PARAMS ((enum machine_mode
));