/* Register Transfer Language (RTL) definitions for GNU C-Compiler
- Copyright (C) 1987, 1991, 1992 Free Software Foundation, Inc.
+ Copyright (C) 1987, 91-96, 1997 Free Software Foundation, Inc.
This file is part of GNU CC.
You should have received a copy of the GNU General Public License
along with GNU CC; see the file COPYING. If not, write to
-the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */
+the Free Software Foundation, 59 Temple Place - Suite 330,
+Boston, MA 02111-1307, USA. */
+#ifndef _RTL_H
+#define _RTL_H
#include "machmode.h"
#undef FFS /* Some systems predefine this symbol; don't let it interfere. */
#undef FLOAT /* Likewise. */
#undef ABS /* Likewise. */
+#undef PC /* Likewise. */
+
+#ifndef TREE_CODE
+union tree_node;
+#endif
/* Register Transfer Language EXPRESSIONS CODES */
/* The cast here, saves many elsewhere. */
extern int rtx_length[];
-#define GET_RTX_LENGTH(CODE) (rtx_length[(int)(CODE)])
+#define GET_RTX_LENGTH(CODE) (rtx_length[(int) (CODE)])
extern char *rtx_name[];
-#define GET_RTX_NAME(CODE) (rtx_name[(int)(CODE)])
+#define GET_RTX_NAME(CODE) (rtx_name[(int) (CODE)])
extern char *rtx_format[];
-#define GET_RTX_FORMAT(CODE) (rtx_format[(int)(CODE)])
+#define GET_RTX_FORMAT(CODE) (rtx_format[(int) (CODE)])
extern char rtx_class[];
-#define GET_RTX_CLASS(CODE) (rtx_class[(int)(CODE)])
+#define GET_RTX_CLASS(CODE) (rtx_class[(int) (CODE)])
\f
/* Common union for an element of an rtx. */
In a REG, nonzero means this reg refers to the return value
of the current function. */
unsigned integrated : 1;
+ /* Nonzero if this rtx is related to the call frame, either changing how
+ we compute the frame address or saving and restoring registers in
+ the prologue and epilogue. */
+ unsigned frame_related : 1;
/* The first element of the operands of this rtx.
The number of operands and their types are controlled
by the `code' field, according to rtl.def. */
rtunion fld[1];
} *rtx;
-/* Add prototype support. */
-#ifndef PROTO
-#if defined (USE_PROTOTYPES) ? USE_PROTOTYPES : defined (__STDC__)
-#define PROTO(ARGS) ARGS
-#else
-#define PROTO(ARGS) ()
-#endif
-#endif
+#include "gansidecl.h"
#define NULL_RTX (rtx) 0
-/* Define a generic NULL if one hasn't already been defined. */
-
-#ifndef NULL
-#define NULL 0
-#endif
-
-#ifndef GENERIC_PTR
-#if defined (USE_PROTOTYPES) ? USE_PROTOTYPES : defined (__STDC__)
-#define GENERIC_PTR void *
-#else
-#define GENERIC_PTR char *
-#endif
-#endif
-
-#ifndef NULL_PTR
-#define NULL_PTR ((GENERIC_PTR)0)
-#endif
-
/* Define macros to access the `code' field of the rtx. */
#ifdef SHORT_ENUM_BUG
#define RTX_INTEGRATED_P(RTX) ((RTX)->integrated)
#define RTX_UNCHANGING_P(RTX) ((RTX)->unchanging)
+#define RTX_FRAME_RELATED_P(RTX) ((RTX)->frame_related)
/* RTL vector. These appear inside RTX's when there is a need
for a variable number of things. The principle use is inside
PARALLEL expressions. */
typedef struct rtvec_def{
- unsigned num_elem; /* number of elements */
+ int num_elem; /* number of elements */
rtunion elem[1];
} *rtvec;
#define NULL_RTVEC (rtvec) 0
#define GET_NUM_ELEM(RTVEC) ((RTVEC)->num_elem)
-#define PUT_NUM_ELEM(RTVEC, NUM) ((RTVEC)->num_elem = (unsigned) NUM)
+#define PUT_NUM_ELEM(RTVEC, NUM) ((RTVEC)->num_elem = (NUM))
#define RTVEC_ELT(RTVEC, I) ((RTVEC)->elem[(I)].rtx)
not needed past this insn). If REG is set in this insn, the REG_DEAD
note may, but need not, be omitted.
REG_INC means that the REG is autoincremented or autodecremented.
- REG_EQUIV describes the insn as a whole; it says that the
- insn sets a register to a constant value or to be equivalent to
- a memory address. If the
- register is spilled to the stack then the constant value
- should be substituted for it. The contents of the REG_EQUIV
+ REG_EQUIV describes the insn as a whole; it says that the insn
+ sets a register to a constant value or to be equivalent to a memory
+ address. If the register is spilled to the stack then the constant
+ value should be substituted for it. The contents of the REG_EQUIV
is the constant value or memory address, which may be different
- from the source of the SET although it has the same value.
+ from the source of the SET although it has the same value. A
+ REG_EQUIV note may also appear on an insn which copies a register
+ parameter to a pseudo-register, if there is a memory address which
+ could be used to hold that pseudo-register throughout the function.
REG_EQUAL is like REG_EQUIV except that the destination
is only momentarily equal to the specified rtx. Therefore, it
cannot be used for substitution; but it can be used for cse.
dependencies. REG_DEP_OUTPUT is used in LOG_LINKS which represent output
(write after write) dependencies. Data dependencies, which are the only
type of LOG_LINK created by flow, are represented by a 0 reg note kind. */
+/* REG_BR_PROB is attached to JUMP_INSNs and CALL_INSNs when the flag
+ -fbranch-probabilities is given. It has an integer value. For jumps,
+ it is the probability that this is a taken branch. For calls, it is the
+ probability that this call won't return.
+ REG_EXEC_COUNT is attached to the first insn of each basic block, and
+ the first insn after each CALL_INSN. It indicates how many times this
+ block was executed.
+ REG_SAVE_AREA is used to optimize rtl generated by dynamic stack
+ allocations for targets where SETJMP_VIA_SAVE_AREA is true.
+ REG_BR_PRED is attached to JUMP_INSNs only, it holds the branch prediction
+ flags computed by get_jump_flags() after dbr scheduling is complete. */
+
#define REG_NOTES(INSN) ((INSN)->fld[6].rtx)
REG_EQUAL = 5, REG_RETVAL = 6, REG_LIBCALL = 7,
REG_NONNEG = 8, REG_NO_CONFLICT = 9, REG_UNUSED = 10,
REG_CC_SETTER = 11, REG_CC_USER = 12, REG_LABEL = 13,
- REG_DEP_ANTI = 14, REG_DEP_OUTPUT = 15 };
+ REG_DEP_ANTI = 14, REG_DEP_OUTPUT = 15, REG_BR_PROB = 16,
+ REG_EXEC_COUNT = 17, REG_NOALIAS = 18, REG_SAVE_AREA = 19,
+ REG_BR_PRED = 20 };
+/* The base value for branch probability notes. */
+#define REG_BR_PROB_BASE 10000
/* Define macros to extract and insert the reg-note kind in an EXPR_LIST. */
#define REG_NOTE_KIND(LINK) ((enum reg_note) GET_MODE (LINK))
/* Names for REG_NOTE's in EXPR_LIST insn's. */
extern char *reg_note_name[];
-#define GET_REG_NOTE_NAME(MODE) (reg_note_name[(int)(MODE)])
+#define GET_REG_NOTE_NAME(MODE) (reg_note_name[(int) (MODE)])
+
+/* This field is only present on CALL_INSNs. It holds a chain of EXPR_LIST of
+ USE and CLOBBER expressions.
+ USE expressions list the registers filled with arguments that
+ are passed to the function.
+ CLOBBER expressions document the registers explicitly clobbered
+ by this CALL_INSN.
+ Pseudo registers can not be mentioned in this list. */
+#define CALL_INSN_FUNCTION_USAGE(INSN) ((INSN)->fld[7].rtx)
/* The label-number of a code-label. The assembler label
is made from `L' and the label-number printed in decimal.
#define NOTE_LINE_NUMBER(INSN) ((INSN)->fld[4].rtint)
/* Codes that appear in the NOTE_LINE_NUMBER field
- for kinds of notes that are not line numbers. */
+ for kinds of notes that are not line numbers.
+
+ Notice that we do not try to use zero here for any of
+ the special note codes because sometimes the source line
+ actually can be zero! This happens (for example) when we
+ are generating code for the per-translation-unit constructor
+ and destructor routines for some C++ translation unit.
-/* This note indicates the end of the real body of the function,
- after moving the parms into their homes, etc. */
-#define NOTE_INSN_FUNCTION_BEG 0
+ If you should change any of the following values, or if you
+ should add a new value here, don't forget to change the
+ note_insn_name array in rtl.c. */
/* This note is used to get rid of an insn
when it isn't safe to patch the insn out of the chain. */
#define NOTE_INSN_EPILOGUE_BEG -11
/* Generated in place of user-declared labels when they are deleted. */
#define NOTE_INSN_DELETED_LABEL -12
-/* Don't forget to change note_insn_name in rtl.c. */
+/* This note indicates the start of the real body of the function,
+ i.e. the point just after all of the parms have been moved into
+ their homes, etc. */
+#define NOTE_INSN_FUNCTION_BEG -13
+/* These note where exception handling regions begin and end. */
+#define NOTE_INSN_EH_REGION_BEG -14
+#define NOTE_INSN_EH_REGION_END -15
+/* Generated whenever a duplicate line number note is output. For example,
+ one is output after the end of an inline function, in order to prevent
+ the line containing the inline call from being counted twice in gcov. */
+#define NOTE_REPEATED_LINE_NUMBER -16
#if 0 /* These are not used, and I don't know what they were for. --rms. */
of LABEL_REFs that point at it, so unused labels can be deleted. */
#define LABEL_NUSES(LABEL) ((LABEL)->fld[5].rtint)
+/* The rest is used instead of the above, in a CODE_LABEL,
+ if bytecode is being output.
+ We make the slightly kludgy assumption that a LABEL has enough slots
+ to hold these things. That happens to be true. */
+
+/* For static or external objects. */
+#define BYTECODE_LABEL(X) (XSTR ((X), 0))
+
+/* For goto labels inside bytecode functions. */
+#define BYTECODE_BC_LABEL(X) (*(struct bc_label **) &XEXP ((X), 1))
+
+/* The original regno this ADDRESSOF was built for. */
+#define ADDRESSOF_REGNO(RTX) ((RTX)->fld[1].rtint)
+
+/* The variable in the register we took the address of. */
+#define ADDRESSOF_DECL(X) ((tree) XEXP ((X), 2))
+#define SET_ADDRESSOF_DECL(X, T) (XEXP ((X), 2) = (rtx) (T))
+
/* In jump.c, each JUMP_INSN can point to a label that it can jump to,
so that if the JUMP_INSN is deleted, the label's LABEL_NUSES can
be decremented and possibly the label can be deleted. */
each CODE_LABEL starts a chain that goes through
all the LABEL_REFs that jump to that label.
The chain eventually winds up at the CODE_LABEL; it is circular. */
-#define LABEL_REFS(LABEL) ((LABEL)->fld[5].rtx)
+#define LABEL_REFS(LABEL) ((LABEL)->fld[6].rtx)
\f
/* This is the field in the LABEL_REF through which the circular chain
of references to a particular label is linked.
FUNCTION_ARGS_SIZE is the size of the argument block in the stack.
POPS_ARGS is the number of bytes of input arguments popped by the function
STACK_SLOT_LIST is the list of stack slots.
+ FORCED_LABELS is the list of labels whose address was taken.
FUNCTION_FLAGS are where single-bit flags are saved.
OUTGOING_ARGS_SIZE is the size of the largest outgoing stack parameter list.
ORIGINAL_ARG_VECTOR is a vector of the original DECL_RTX values
for the function arguments.
ORIGINAL_DECL_INITIAL is a pointer to the original DECL_INITIAL for the
function.
+ INLINE_REGNO_REG_RTX, INLINE_REGNO_POINTER_FLAG, and
+ INLINE_REGNO_POINTER_ALIGN are pointers to the corresponding arrays.
We want this to lay down like an INSN. The PREV_INSN field
is always NULL. The NEXT_INSN field always points to the
#define FUNCTION_ARGS_SIZE(RTX) ((RTX)->fld[8].rtint)
#define POPS_ARGS(RTX) ((RTX)->fld[9].rtint)
#define STACK_SLOT_LIST(RTX) ((RTX)->fld[10].rtx)
-#define FUNCTION_FLAGS(RTX) ((RTX)->fld[11].rtint)
-#define OUTGOING_ARGS_SIZE(RTX) ((RTX)->fld[12].rtint)
-#define ORIGINAL_ARG_VECTOR(RTX) ((RTX)->fld[13].rtvec)
-#define ORIGINAL_DECL_INITIAL(RTX) ((RTX)->fld[14].rtx)
+#define FORCED_LABELS(RTX) ((RTX)->fld[11].rtx)
+#define FUNCTION_FLAGS(RTX) ((RTX)->fld[12].rtint)
+#define OUTGOING_ARGS_SIZE(RTX) ((RTX)->fld[13].rtint)
+#define ORIGINAL_ARG_VECTOR(RTX) ((RTX)->fld[14].rtvec)
+#define ORIGINAL_DECL_INITIAL(RTX) ((RTX)->fld[15].rtx)
+#define INLINE_REGNO_REG_RTX(RTX) ((RTX)->fld[16].rtvec)
+#define INLINE_REGNO_POINTER_FLAG(RTX) ((RTX)->fld[17].rtstr)
+#define INLINE_REGNO_POINTER_ALIGN(RTX) ((RTX)->fld[18].rtstr)
+#define PARMREG_STACK_LOC(RTX) ((RTX)->fld[19].rtvec)
/* In FUNCTION_FLAGS we save some variables computed when emitting the code
for the function and which must be `or'ed into the current flag values when
defined here and in tree.h. */
#ifndef exact_log2
-#define exact_log2(N) exact_log2_wide ((HOST_WIDE_INT) (N))
-#define floor_log2(N) floor_log2_wide ((HOST_WIDE_INT) (N))
+#define exact_log2(N) exact_log2_wide ((unsigned HOST_WIDE_INT) (N))
+#define floor_log2(N) floor_log2_wide ((unsigned HOST_WIDE_INT) (N))
#endif
+extern int exact_log2_wide PROTO((unsigned HOST_WIDE_INT));
+extern int floor_log2_wide PROTO((unsigned HOST_WIDE_INT));
+
+/* In expmed.c */
+extern int ceil_log2 PROTO((unsigned HOST_WIDE_INT));
#define plus_constant(X,C) plus_constant_wide (X, (HOST_WIDE_INT) (C))
extern rtx plus_constant_wide PROTO((rtx, HOST_WIDE_INT));
extern rtx plus_constant_for_output_wide PROTO((rtx, HOST_WIDE_INT));
-#define GEN_INT(N) gen_rtx (CONST_INT, VOIDmode, (N))
-
-#if 0
-/* We cannot define prototypes for the variable argument functions,
- since they have not been ANSI-fied, and an ANSI compiler would
- complain when compiling the definition of these functions. */
+#define GEN_INT(N) gen_rtx (CONST_INT, VOIDmode, (HOST_WIDE_INT) (N))
-extern rtx gen_rtx PROTO((enum rtx_code, enum machine_mode, ...));
-extern rtvec gen_rtvec PROTO((int, ...));
+struct bc_label;
+extern rtx bc_gen_rtx PROTO ((char *, int,
+ struct bc_label *));
-#else
-extern rtx gen_rtx ();
-extern rtvec gen_rtvec ();
-#endif
+extern rtx gen_rtx PVPROTO((enum rtx_code,
+ enum machine_mode, ...));
+extern rtvec gen_rtvec PVPROTO((int, ...));
-#ifdef BUFSIZ /* stdio.h has been included */
+#ifdef BUFSIZ
extern rtx read_rtx PROTO((FILE *));
-#else
-extern rtx read_rtx ();
#endif
#if 0
/* At present, don't prototype xrealloc, since all of the callers don't
cast their pointers to char *, and all of the xrealloc's don't use
void * yet. */
-extern char *xrealloc PROTO((void *, unsigned));
+extern char *xmalloc PROTO((size_t));
+extern char *xrealloc PROTO((void *, size_t));
#else
+extern char *xmalloc ();
extern char *xrealloc ();
#endif
-extern char *xmalloc PROTO((unsigned));
extern char *oballoc PROTO((int));
extern char *permalloc PROTO((int));
+#ifdef NEED_DECLARATION_FREE
extern void free PROTO((void *));
+#endif
extern rtx rtx_alloc PROTO((RTX_CODE));
extern rtvec rtvec_alloc PROTO((int));
-extern rtx find_reg_note PROTO((rtx, enum reg_note, rtx));
-extern rtx find_regno_note PROTO((rtx, enum reg_note, int));
-extern HOST_WIDE_INT get_integer_term PROTO((rtx));
-extern rtx get_related_value PROTO((rtx));
-extern rtx single_set PROTO((rtx));
-extern rtx find_last_value PROTO((rtx, rtx *, rtx));
extern rtx copy_rtx PROTO((rtx));
extern rtx copy_rtx_if_shared PROTO((rtx));
extern rtx copy_most_rtx PROTO((rtx, rtx));
-extern rtx replace_rtx PROTO((rtx, rtx, rtx));
extern rtvec gen_rtvec_v PROTO((int, rtx *));
+extern rtvec gen_rtvec_vv PROTO((int, rtunion *));
extern rtx gen_reg_rtx PROTO((enum machine_mode));
extern rtx gen_label_rtx PROTO((void));
-extern rtx gen_inline_header_rtx PROTO((rtx, rtx, int, int, int, int, int, int, rtx, int, int, rtvec, rtx));
+extern rtx gen_inline_header_rtx PROTO((rtx, rtx, int, int, int, int,
+ int, int, rtx, rtx, int, int,
+ rtvec, rtx,
+ rtvec, char *, char *, rtvec));
extern rtx gen_lowpart_common PROTO((enum machine_mode, rtx));
extern rtx gen_lowpart PROTO((enum machine_mode, rtx));
extern rtx gen_lowpart_if_possible PROTO((enum machine_mode, rtx));
extern rtx operand_subword_force PROTO((rtx, int, enum machine_mode));
extern int subreg_lowpart_p PROTO((rtx));
extern rtx make_safe_from PROTO((rtx, rtx));
+extern rtx convert_memory_address PROTO((enum machine_mode, rtx));
extern rtx memory_address PROTO((enum machine_mode, rtx));
extern rtx get_insns PROTO((void));
extern rtx get_last_insn PROTO((void));
extern rtx simplify_subtraction PROTO((rtx));
extern rtx assign_stack_local PROTO((enum machine_mode, int, int));
extern rtx assign_stack_temp PROTO((enum machine_mode, int, int));
+extern rtx assign_temp PROTO((union tree_node *, int,
+ int, int));
extern rtx protect_from_queue PROTO((rtx, int));
extern void emit_queue PROTO((void));
extern rtx emit_move_insn PROTO((rtx, rtx));
extern rtx emit_insn PROTO((rtx));
extern rtx emit_insns PROTO((rtx));
extern rtx emit_insns_before PROTO((rtx, rtx));
+extern rtx emit_insns_after PROTO((rtx, rtx));
extern rtx emit_jump_insn PROTO((rtx));
extern rtx emit_call_insn PROTO((rtx));
extern rtx emit_label PROTO((rtx));
extern rtx next_label PROTO((rtx));
extern rtx next_cc0_user PROTO((rtx));
extern rtx prev_cc0_setter PROTO((rtx));
-extern rtx reg_set_last PROTO((rtx, rtx));
extern rtx next_nondeleted_insn PROTO((rtx));
extern enum rtx_code reverse_condition PROTO((enum rtx_code));
extern enum rtx_code swap_condition PROTO((enum rtx_code));
extern rtx gen_beq PROTO((rtx));
extern rtx gen_bge PROTO((rtx));
extern rtx gen_ble PROTO((rtx));
+extern rtx gen_mem_addressof PROTO((rtx, union tree_node *));
extern rtx eliminate_constant_term PROTO((rtx, rtx *));
extern rtx expand_complex_abs PROTO((enum machine_mode, rtx, rtx, int));
+extern enum machine_mode choose_hard_reg_mode PROTO((int, int));
+extern int rtx_varies_p PROTO((rtx));
+extern int may_trap_p PROTO((rtx));
+extern int side_effects_p PROTO((rtx));
+extern int volatile_refs_p PROTO((rtx));
+extern int volatile_insn_p PROTO((rtx));
+extern void remove_note PROTO((rtx, rtx));
+extern void note_stores PROTO((rtx, void (*) (rtx, rtx)));
+extern int refers_to_regno_p PROTO((int, int, rtx, rtx *));
+extern int reg_overlap_mentioned_p PROTO((rtx, rtx));
+extern rtx find_use_as_address PROTO((rtx, rtx, HOST_WIDE_INT));
+
+/* Functions in rtlanal.c */
+
+extern int rtx_unstable_p PROTO((rtx));
+extern int rtx_varies_p PROTO((rtx));
+extern int rtx_addr_varies_p PROTO((rtx));
+extern HOST_WIDE_INT get_integer_term PROTO((rtx));
+extern rtx get_related_value PROTO((rtx));
+extern int reg_mentioned_p PROTO((rtx, rtx));
+extern int reg_referenced_p PROTO((rtx, rtx));
+extern int reg_used_between_p PROTO((rtx, rtx, rtx));
+extern int reg_referenced_between_p PROTO((rtx, rtx, rtx));
+extern int reg_set_between_p PROTO((rtx, rtx, rtx));
+extern int modified_between_p PROTO((rtx, rtx, rtx));
+extern int no_labels_between_p PROTO((rtx, rtx));
+extern int modified_in_p PROTO((rtx, rtx));
+extern int reg_set_p PROTO((rtx, rtx));
+extern rtx single_set PROTO((rtx));
+extern rtx find_last_value PROTO((rtx, rtx *, rtx));
+extern int refers_to_regno_p PROTO((int, int, rtx, rtx *));
+extern int reg_overlap_mentioned_p PROTO((rtx, rtx));
+extern void note_stores PROTO((rtx, void (*)()));
+extern rtx reg_set_last PROTO((rtx, rtx));
+extern int rtx_equal_p PROTO((rtx, rtx));
+extern int dead_or_set_p PROTO((rtx, rtx));
+extern int dead_or_set_regno_p PROTO((rtx, int));
+extern rtx find_reg_note PROTO((rtx, enum reg_note, rtx));
+extern rtx find_regno_note PROTO((rtx, enum reg_note, int));
+extern int find_reg_fusage PROTO((rtx, enum rtx_code, rtx));
+extern int find_regno_fusage PROTO((rtx, enum rtx_code, int));
+extern void remove_note PROTO((rtx, rtx));
+extern int side_effects_p PROTO((rtx));
+extern int volatile_refs_p PROTO((rtx));
+extern int volatile_insn_p PROTO((rtx));
+extern int may_trap_p PROTO((rtx));
+extern int inequality_comparison_p PROTO((rtx));
+extern rtx replace_rtx PROTO((rtx, rtx, rtx));
+extern rtx replace_regs PROTO((rtx, rtx *, int, int));
+extern int computed_jump_p PROTO((rtx));
/* Maximum number of parallel sets and clobbers in any insn in this fn.
Always at least 3, since the combiner could put that many togetherm
extern rtx get_first_nonparm_insn PROTO((void));
/* Standard pieces of rtx, to be substituted directly into things. */
-extern rtx pc_rtx;
-extern rtx cc0_rtx;
-extern rtx const0_rtx;
-extern rtx const1_rtx;
-extern rtx const2_rtx;
-extern rtx constm1_rtx;
+#define pc_rtx (&global_rtl.pc_val)
+#define cc0_rtx (&global_rtl.cc0_val)
+
+#define MAX_SAVED_CONST_INT 64
+extern struct rtx_def const_int_rtx[MAX_SAVED_CONST_INT * 2 + 1];
+
+#define const0_rtx (&const_int_rtx[MAX_SAVED_CONST_INT])
+#define const1_rtx (&const_int_rtx[MAX_SAVED_CONST_INT+1])
+#define const2_rtx (&const_int_rtx[MAX_SAVED_CONST_INT+2])
+#define constm1_rtx (&const_int_rtx[MAX_SAVED_CONST_INT-1])
extern rtx const_true_rtx;
extern rtx const_tiny_rtx[3][(int) MAX_MACHINE_MODE];
#define CONST1_RTX(MODE) (const_tiny_rtx[1][(int) (MODE)])
#define CONST2_RTX(MODE) (const_tiny_rtx[2][(int) (MODE)])
+extern struct _global_rtl
+{
+ struct rtx_def pc_val, cc0_val;
+ struct rtx_def stack_pointer_val, frame_pointer_val;
+ struct rtx_def hard_frame_pointer_val;
+ struct rtx_def arg_pointer_val;
+ struct rtx_def virtual_incoming_args_val;
+ struct rtx_def virtual_stack_vars_val;
+ struct rtx_def virtual_stack_dynamic_val;
+ struct rtx_def virtual_outgoing_args_val;
+} global_rtl;
+
/* All references to certain hard regs, except those created
by allocating pseudo regs into them (when that's possible),
go through these unique rtx objects. */
-extern rtx stack_pointer_rtx;
-extern rtx frame_pointer_rtx;
-extern rtx arg_pointer_rtx;
+#define stack_pointer_rtx (&global_rtl.stack_pointer_val)
+#define frame_pointer_rtx (&global_rtl.frame_pointer_val)
+
extern rtx pic_offset_table_rtx;
extern rtx struct_value_rtx;
extern rtx struct_value_incoming_rtx;
extern rtx static_chain_rtx;
extern rtx static_chain_incoming_rtx;
+/* If HARD_FRAME_POINTER_REGNUM is defined, then a special dummy reg
+ is used to represent the frame pointer. This is because the
+ hard frame pointer and the automatic variables are separated by an amount
+ that cannot be determined until after register allocation. We can assume
+ that in this case ELIMINABLE_REGS will be defined, one action of which
+ will be to eliminate FRAME_POINTER_REGNUM into HARD_FRAME_POINTER_REGNUM. */
+#ifndef HARD_FRAME_POINTER_REGNUM
+#define HARD_FRAME_POINTER_REGNUM FRAME_POINTER_REGNUM
+#endif
+
+/* For register elimination to work properly these hard_frame_pointer_rtx,
+ frame_pointer_rtx, and arg_pointer_rtx must be the same if they refer to
+ the same register. */
+#if HARD_FRAME_POINTER_REGNUM == FRAME_POINTER_REGNUM
+#define hard_frame_pointer_rtx (&global_rtl.frame_pointer_val)
+#else
+#define hard_frame_pointer_rtx (&global_rtl.hard_frame_pointer_val)
+#endif
+
+#if FRAME_POINTER_REGNUM == ARG_POINTER_REGNUM
+#define arg_pointer_rtx (&global_rtl.frame_pointer_val)
+#else
+#if HARD_POINTER_REGNUM == ARG_POINTER_REGNUM
+#define arg_pointer_rtx (&global_rtl.hard_frame_pointer_val)
+#else
+#define arg_pointer_rtx (&global_rtl.arg_pointer_val)
+#endif
+#endif
+
/* Virtual registers are used during RTL generation to refer to locations into
the stack frame when the actual location isn't known until RTL generation
is complete. The routine instantiate_virtual_regs replaces these with
either by the caller or by the callee when pretending it was passed by the
caller. */
-extern rtx virtual_incoming_args_rtx;
+#define virtual_incoming_args_rtx (&global_rtl.virtual_incoming_args_val)
#define VIRTUAL_INCOMING_ARGS_REGNUM (FIRST_VIRTUAL_REGISTER)
-/* If FRAME_GROWS_DOWNWARDS, this points to immediately above the first
+/* If FRAME_GROWS_DOWNWARD, this points to immediately above the first
variable on the stack. Otherwise, it points to the first variable on
the stack. */
-extern rtx virtual_stack_vars_rtx;
+#define virtual_stack_vars_rtx (&global_rtl.virtual_stack_vars_val)
#define VIRTUAL_STACK_VARS_REGNUM ((FIRST_VIRTUAL_REGISTER) + 1)
immediately after the stack pointer has been adjusted by the amount
desired. */
-extern rtx virtual_stack_dynamic_rtx;
+#define virtual_stack_dynamic_rtx (&global_rtl.virtual_stack_dynamic_val)
#define VIRTUAL_STACK_DYNAMIC_REGNUM ((FIRST_VIRTUAL_REGISTER) + 2)
be written when the stack is pre-pushed (arguments pushed using push
insns always use sp). */
-extern rtx virtual_outgoing_args_rtx;
+#define virtual_outgoing_args_rtx (&global_rtl.virtual_outgoing_args_val)
#define VIRTUAL_OUTGOING_ARGS_REGNUM ((FIRST_VIRTUAL_REGISTER) + 3)
expr.h to be included for the enumeration. */
extern rtx expand_expr ();
-extern rtx immed_real_const_1();
-#ifdef TREE_CODE
-/* rtl.h and tree.h were included. */
-extern rtx output_constant_def PROTO((tree));
-extern rtx immed_real_const PROTO((tree));
-extern rtx immed_real_const_1 PROTO((REAL_VALUE_TYPE, enum machine_mode));
-extern tree make_tree PROTO((tree, rtx));
+extern rtx output_constant_def PROTO((union tree_node *));
+extern rtx immed_real_const PROTO((union tree_node *));
+extern union tree_node *make_tree PROTO((union tree_node *, rtx));
-#else
-extern rtx output_constant_def ();
-extern rtx immed_real_const ();
-extern rtx immed_real_const_1 ();
-#endif
+/* Abort routines */
+extern void fatal_insn_not_found PROTO((rtx));
+extern void fatal_insn PROTO((char *, rtx));
/* Define a default value for STORE_FLAG_VALUE. */
Allocated in parallel with regno_pointer_flag. */
extern rtx *regno_reg_rtx;
+/* Vector indexed by regno; contain the alignment in bytes and type
+ pointed to for a register that contains a pointer, if known. */
+extern char *regno_pointer_align;
+#define REGNO_POINTER_ALIGN(REGNO) regno_pointer_align[REGNO]
+
/* Translates rtx code to tree code, for those codes needed by
- REAL_ARITHMETIC. */
-extern int rtx_to_tree_code ();
+ REAL_ARITHMETIC. The function returns an int because the caller may not
+ know what `enum tree_code' means. */
+
+extern int rtx_to_tree_code PROTO((enum rtx_code));
+
+/* In rtlanal.c */
+extern int reg_set_p PROTO ((rtx, rtx));
+extern int reg_mentioned_p PROTO ((rtx, rtx));
+extern int reg_referenced_p PROTO ((rtx, rtx));
+extern int reg_used_between_p PROTO ((rtx, rtx, rtx));
+extern int reg_set_p PROTO ((rtx, rtx));
+extern int reg_referenced_between_p PROTO ((rtx, rtx, rtx));
+extern int reg_set_between_p PROTO ((rtx, rtx, rtx));
+extern int rtx_unstable_p PROTO ((rtx));
+extern int rtx_addr_varies_p PROTO ((rtx));
+extern int rtx_equal_p PROTO ((rtx, rtx));
+extern int inequality_comparisons_p PROTO ((rtx));
+extern int dead_or_set_p PROTO ((rtx, rtx));
+extern int dead_or_set_regno_p PROTO ((rtx, int));
+extern int no_labels_between_p PROTO ((rtx, rtx));
+extern int modified_between_p PROTO ((rtx, rtx, rtx));
+extern int modified_in_p PROTO ((rtx, rtx));
+
+/* In tree.c */
+extern void obfree PROTO ((char *));
+struct obstack;
+extern void gcc_obstack_init PROTO ((struct obstack *));
+extern void pop_obstacks PROTO ((void));
+extern void push_obstacks PROTO ((struct obstack *,
+ struct obstack *));
+#ifdef BUFSIZ
+extern int read_skip_spaces PROTO ((FILE *));
+#endif
+
+/* In cse.c */
+struct cse_basic_block_data;
+extern int rtx_cost PROTO ((rtx, enum rtx_code));
+extern void delete_dead_from_cse PROTO ((rtx, int));
+#ifdef BUFSIZ
+extern int cse_main PROTO ((rtx, int, int, FILE *));
+#endif
+extern void cse_end_of_basic_block PROTO ((rtx,
+ struct cse_basic_block_data *,
+ int, int, int));
+
+/* In jump.c */
+extern int comparison_dominates_p PROTO ((enum rtx_code, enum rtx_code));
+extern int condjump_p PROTO ((rtx));
+extern int simplejump_p PROTO ((rtx));
+extern int sets_cc0_p PROTO ((rtx));
+extern int invert_jump PROTO ((rtx, rtx));
+extern int rtx_renumbered_equal_p PROTO ((rtx, rtx));
+extern int true_regnum PROTO ((rtx));
+extern int redirect_jump PROTO ((rtx, rtx));
+extern void jump_optimize PROTO ((rtx, int, int, int));
+extern void thread_jumps PROTO ((rtx, int, int));
+extern int redirect_exp PROTO ((rtx *, rtx, rtx, rtx));
+extern int rtx_equal_for_thread_p PROTO ((rtx, rtx, rtx));
+extern int invert_exp PROTO ((rtx, rtx));
+extern int can_reverse_comparison_p PROTO ((rtx, rtx));
+extern void delete_for_peephole PROTO ((rtx, rtx));
+extern int condjump_in_parallel_p PROTO ((rtx));
+
+/* In emit-rtl.c. */
+extern int max_reg_num PROTO ((void));
+extern int max_label_num PROTO ((void));
+extern int get_first_label_num PROTO ((void));
+extern void delete_insns_since PROTO ((rtx));
+extern void mark_reg_pointer PROTO ((rtx, int));
+extern void mark_user_reg PROTO ((rtx));
+extern void reset_used_flags PROTO ((rtx));
+extern void reorder_insns PROTO ((rtx, rtx, rtx));
+extern int get_max_uid PROTO ((void));
+extern int in_sequence_p PROTO ((void));
+extern void force_next_line_note PROTO ((void));
+extern void init_emit PROTO ((void));
+extern void init_emit_once PROTO ((int));
+extern void push_topmost_sequence PROTO ((void));
+extern void pop_topmost_sequence PROTO ((void));
+extern int subreg_realpart_p PROTO ((rtx));
+extern void reverse_comparison PROTO ((rtx));
+extern void set_new_first_and_last_insn PROTO ((rtx, rtx));
+extern void set_new_first_and_last_label_num PROTO ((int, int));
+extern void unshare_all_rtl PROTO ((rtx));
+extern void set_last_insn PROTO ((rtx));
+extern void link_cc0_insns PROTO ((rtx));
+extern void add_insn PROTO ((rtx));
+extern void add_insn_before PROTO ((rtx, rtx));
+extern void add_insn_after PROTO ((rtx, rtx));
+extern void reorder_insns_with_line_notes PROTO ((rtx, rtx, rtx));
+extern void emit_insn_after_with_line_notes PROTO ((rtx, rtx, rtx));
+extern enum rtx_code classify_insn PROTO ((rtx));
+extern rtx emit PROTO ((rtx));
+
+/* In insn-emit.c */
+extern void add_clobbers PROTO ((rtx, int));
+
+/* In combine.c */
+extern void combine_instructions PROTO ((rtx, int));
+extern int extended_count PROTO ((rtx, enum machine_mode, int));
+extern rtx remove_death PROTO ((int, rtx));
+#ifdef BUFSIZ
+extern void dump_combine_stats PROTO ((FILE *));
+extern void dump_combine_total_stats PROTO ((FILE *));
+#endif
+
+/* In sched.c. */
+#ifdef BUFSIZ
+extern void schedule_insns PROTO ((FILE *));
+#endif
+
+/* In print-rtl.c */
+extern void debug_rtx PROTO ((rtx));
+extern void debug_rtx_list PROTO ((rtx, int));
+extern rtx debug_rtx_find PROTO ((rtx, int));
+#ifdef BUFSIZ
+extern void print_rtl PROTO ((FILE *, rtx));
+extern void print_inline_rtx PROTO ((FILE *, rtx, int));
+#endif
+
+/* In loop.c */
+extern void init_loop PROTO ((void));
+#ifdef BUFSIZ
+extern void loop_optimize PROTO ((rtx, FILE *, int));
+#endif
+extern void record_excess_regs PROTO ((rtx, rtx, rtx *));
+
+/* In function.c */
+extern void reposition_prologue_and_epilogue_notes PROTO ((rtx));
+extern void thread_prologue_and_epilogue_insns PROTO ((rtx));
+extern void use_variable PROTO ((rtx));
+extern HOST_WIDE_INT get_frame_size PROTO ((void));
+extern void preserve_rtl_expr_result PROTO ((rtx));
+extern void mark_temp_addr_taken PROTO ((rtx));
+extern void update_temp_slot_address PROTO ((rtx, rtx));
+extern void use_variable_after PROTO ((rtx, rtx));
+
+/* In reload.c */
+extern int operands_match_p PROTO ((rtx, rtx));
+extern int safe_from_earlyclobber PROTO ((rtx, rtx));
+extern int strict_memory_address_p PROTO ((enum machine_mode, rtx));
+
+/* In recog.c */
+extern int memory_address_p PROTO ((enum machine_mode, rtx));
+extern int constrain_operands PROTO ((int, int));
+extern int mode_dependent_address_p PROTO ((rtx));
+extern void init_recog_no_volatile PROTO ((void));
+extern int offsettable_memref_pq PROTO ((rtx));
+extern int offsettable_nonstrict_memref_p PROTO ((rtx));
+extern int reg_fits_class_p PROTO ((rtx, register enum reg_class,
+ int, enum machine_mode));
+extern int check_asm_operands PROTO ((rtx));
+extern int address_operand PROTO ((rtx, enum machine_mode));
+extern int const_int_operand PROTO ((rtx, enum machine_mode));
+extern int const_double_operand PROTO ((rtx, enum machine_mode));
+extern int general_operand PROTO ((rtx, enum machine_mode));
+extern int immediate_operand PROTO ((rtx, enum machine_mode));
+extern int nonimmediate_operand PROTO ((rtx, enum machine_mode));
+extern int memory_operand PROTO ((rtx, enum machine_mode));
+extern int nonmemory_operand PROTO ((rtx, enum machine_mode));
+extern int push_operand PROTO ((rtx, enum machine_mode));
+extern int register_operand PROTO ((rtx, enum machine_mode));
+extern int scratch_operand PROTO ((rtx, enum machine_mode));
+extern int indirect_operand PROTO ((rtx, enum machine_mode));
+extern int mode_independent_operand PROTO ((rtx, enum machine_mode));
+extern int comparison_operator PROTO ((rtx, enum machine_mode));
+extern void init_recog_no_volatile PROTO ((void));
+extern void init_recog PROTO ((void));
+extern int validate_replace_rtx PROTO ((rtx, rtx, rtx));
+extern int offsettable_address_p PROTO ((int, enum machine_mode, rtx));
+extern int next_insn_tests_no_inequality PROTO ((rtx));
+extern int recog_memoized PROTO ((rtx));
+extern int validate_change PROTO ((rtx, rtx *, rtx, int));
+extern int apply_change_group PROTO ((void));
+extern void cancel_changes PROTO ((int));
+extern int num_validated_changes PROTO ((void));
+
+/* In insn-recog.c */
+extern int recog PROTO ((rtx, rtx, int *));
+
+/* In stmt.c */
+extern void emit_jump PROTO ((rtx));
+extern int preserve_subexpressions_p PROTO ((void));
+
+/* In expr.c */
+extern rtx bc_allocate_local PROTO ((int, int));
+extern void init_expr_once PROTO ((void));
+
+/* In stupid.c */
+#ifdef BUFSIZ
+extern void stupid_life_analysis PROTO ((rtx, int, FILE *));
+#endif
+
+/* In flow.c */
+extern void allocate_for_life_analysis PROTO ((void));
+#ifdef BUFSIZ
+extern void dump_flow_info PROTO ((FILE *));
+#endif
+
+/* In expmed.c */
+extern void init_expmed PROTO ((void));
+extern void expand_inc PROTO ((rtx, rtx));
+extern void expand_dec PROTO ((rtx, rtx));
+extern rtx expand_mult_highpart PROTO ((enum machine_mode, rtx,
+ unsigned HOST_WIDE_INT, rtx,
+ int, int));
+
+/* In toplev.c */
+extern void strip_off_ending PROTO ((char *, int));
+extern void print_time PROTO ((char *, int));
+extern int get_run_time PROTO ((void));
+#if 0
+extern void fatal PVPROTO ((char *, ...));
+extern void warning PVPROTO ((char *, ...));
+extern void error PVPROTO ((char *, ...));
+#endif
+extern void pfatal_with_name PROTO ((char *));
+extern void fancy_abort PROTO ((void));
+extern int count_error PROTO ((int));
+extern void pedwarn PVPROTO ((char *, ...));
+extern void warning_for_asm PVPROTO ((rtx, char *, ...));
+extern void error_for_asm PVPROTO ((rtx, char *, ...));
+
+/* In global.c */
+#ifdef BUFSIZ
+extern int global_alloc PROTO ((FILE *));
+extern void dump_global_regs PROTO ((FILE *));
+#endif
+
+/* In regclass.c */
+extern void globalize_reg PROTO ((int));
+extern void init_regs PROTO ((void));
+extern void init_reg_sets PROTO ((void));
+extern void regset_release_memory PROTO ((void));
+extern void regclass_init PROTO ((void));
+extern void regclass PROTO ((rtx, int));
+extern void reg_scan PROTO ((rtx, int, int));
+extern void fix_register PROTO ((char *, int, int));
+
+/* In optabs.c */
+extern void init_optabs PROTO ((void));
+
+/* In local-alloc.c */
+#ifdef BUFSIZ
+extern void dump_local_alloc PROTO ((FILE *));
+#endif
+extern void local_alloc PROTO ((void));
+
+/* In reload1.c */
+extern void reload_cse_regs PROTO ((rtx));
+extern void init_reload PROTO ((void));
+extern void mark_home_live PROTO ((int));
+#ifdef BUFSIZ
+extern int reload PROTO ((rtx, int, FILE *));
+#endif
+
+/* In caller-save.c */
+extern void init_caller_save PROTO ((void));
+
+/* In profile.c */
+extern void init_branch_prob PROTO ((char *));
+
+/* In reg-stack.c */
+#ifdef BUFSIZ
+extern void reg_to_stack PROTO ((rtx, FILE *));
+#endif
+extern int stack_regs_mentioned_p PROTO ((rtx));
+
+/* In fold-const.c */
+extern int add_double PROTO ((HOST_WIDE_INT, HOST_WIDE_INT,
+ HOST_WIDE_INT, HOST_WIDE_INT,
+ HOST_WIDE_INT *, HOST_WIDE_INT *));
+extern int neg_double PROTO ((HOST_WIDE_INT, HOST_WIDE_INT,
+ HOST_WIDE_INT *, HOST_WIDE_INT *));
+extern int mul_double PROTO ((HOST_WIDE_INT, HOST_WIDE_INT,
+ HOST_WIDE_INT, HOST_WIDE_INT,
+ HOST_WIDE_INT *, HOST_WIDE_INT *));
+extern void lshift_double PROTO ((HOST_WIDE_INT, HOST_WIDE_INT,
+ HOST_WIDE_INT, int, HOST_WIDE_INT *,
+ HOST_WIDE_INT *, int));
+extern void rshift_double PROTO ((HOST_WIDE_INT, HOST_WIDE_INT,
+ HOST_WIDE_INT, int,
+ HOST_WIDE_INT *, HOST_WIDE_INT *, int));
+extern void lrotate_double PROTO ((HOST_WIDE_INT, HOST_WIDE_INT,
+ HOST_WIDE_INT, int, HOST_WIDE_INT *,
+ HOST_WIDE_INT *));
+extern void rrotate_double PROTO ((HOST_WIDE_INT, HOST_WIDE_INT,
+ HOST_WIDE_INT, int, HOST_WIDE_INT *,
+ HOST_WIDE_INT *));
+
+/* In calls.c */
+/* Emit library call. */
+extern void emit_library_call PVPROTO ((rtx, int, enum machine_mode,
+ int, ...));
+extern rtx emit_library_call_value PVPROTO((rtx, rtx, int,
+ enum machine_mode,
+ int, ...));
+
+/* In unroll.c */
+extern int set_dominates_use PROTO ((int, int, int, rtx, rtx));
+
+/* In varasm.c */
+extern void bss_section PROTO ((void));
+extern int in_data_section PROTO ((void));
+extern int supports_one_only PROTO ((void));
+
+/* In rtl.c */
+extern void init_rtl PROTO ((void));
+extern void rtx_free PROTO ((rtx));
+
+/* In alias.c */
+extern int true_dependence PROTO ((rtx, enum machine_mode, rtx,
+ int (*)(rtx)));
+extern int read_dependence PROTO ((rtx, rtx));
+extern int anti_dependence PROTO ((rtx, rtx));
+extern int output_dependence PROTO ((rtx, rtx));
+extern void init_alias_analysis PROTO ((void));
+extern void end_alias_analysis PROTO ((void));
+
+#endif /* _RTL_H */
+
projects / platform / upstream / gcc.git / blobdiff