-/* Register Transfer Language (RTL) definitions for GNU C-Compiler
+/* Register Transfer Language (RTL) definitions for GCC
Copyright (C) 1987, 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998,
- 1999, 2000, 2001, 2002, 2003 Free Software Foundation, Inc.
+ 1999, 2000, 2001, 2002, 2003, 2004 Free Software Foundation, Inc.
This file is part of GCC.
#ifndef GCC_RTL_H
#define GCC_RTL_H
+#include "statistics.h"
struct function;
#include "machmode.h"
+#include "input.h"
#undef FFS /* Some systems predefine this symbol; don't let it interfere. */
#undef FLOAT /* Likewise. */
#define NUM_RTX_CODE ((int) LAST_AND_UNUSED_RTX_CODE)
/* The cast here, saves many elsewhere. */
+/* Register Transfer Language EXPRESSIONS CODE CLASSES */
+
+enum rtx_class {
+ /* We check bit 0-1 of some rtx class codes in the predicates below. */
+
+ /* Bit 0 = comparison if 0, arithmetic is 1
+ Bit 1 = 1 if commutative. */
+ RTX_COMPARE, /* 0 */
+ RTX_COMM_COMPARE,
+ RTX_BIN_ARITH,
+ RTX_COMM_ARITH,
+
+ /* Must follow the four preceding values. */
+ RTX_UNARY, /* 4 */
+
+ RTX_EXTRA,
+ RTX_MATCH,
+ RTX_INSN,
+
+ /* Bit 0 = 1 if constant. */
+ RTX_OBJ, /* 8 */
+ RTX_CONST_OBJ,
+
+ RTX_TERNARY,
+ RTX_BITFIELD_OPS,
+ RTX_AUTOINC
+};
+
+#define RTX_OBJ_MASK (~1)
+#define RTX_OBJ_RESULT (RTX_OBJ & RTX_OBJ_MASK)
+#define RTX_COMPARE_MASK (~1)
+#define RTX_COMPARE_RESULT (RTX_COMPARE & RTX_COMPARE_MASK)
+#define RTX_ARITHMETIC_MASK (~1)
+#define RTX_ARITHMETIC_RESULT (RTX_COMM_ARITH & RTX_ARITHMETIC_MASK)
+#define RTX_BINARY_MASK (~3)
+#define RTX_BINARY_RESULT (RTX_COMPARE & RTX_BINARY_MASK)
+#define RTX_COMMUTATIVE_MASK (~2)
+#define RTX_COMMUTATIVE_RESULT (RTX_COMM_COMPARE & RTX_COMMUTATIVE_MASK)
+#define RTX_NON_COMMUTATIVE_RESULT (RTX_COMPARE & RTX_COMMUTATIVE_MASK)
+#define RTX_EXPR_FIRST (RTX_COMPARE)
+#define RTX_EXPR_LAST (RTX_UNARY)
+
extern const unsigned char rtx_length[NUM_RTX_CODE];
#define GET_RTX_LENGTH(CODE) (rtx_length[(int) (CODE)])
extern const char * const rtx_format[NUM_RTX_CODE];
#define GET_RTX_FORMAT(CODE) (rtx_format[(int) (CODE)])
-extern const char rtx_class[NUM_RTX_CODE];
+extern const enum rtx_class rtx_class[NUM_RTX_CODE];
#define GET_RTX_CLASS(CODE) (rtx_class[(int) (CODE)])
+extern const unsigned char rtx_size[NUM_RTX_CODE];
extern const unsigned char rtx_next[NUM_RTX_CODE];
\f
/* The flags and bitfields of an ADDR_DIFF_VEC. BASE is the base label
union rtunion_def
{
- HOST_WIDE_INT rtwint;
int rtint;
unsigned int rtuint;
const char *rtstr;
1 in a SYMBOL_REF, means that emit_library_call
has used it as the function. */
unsigned int used : 1;
- /* Nonzero if this rtx came from procedure integration.
- 1 in a REG or PARALLEL means this rtx refers to the return value
- of the current function.
- 1 in a SYMBOL_REF if the symbol is weak. */
+ /* FIXME. This should be unused now that we do inlinining on trees,
+ but it is now being used for MEM_SCALAR_P. It should be renamed,
+ or some other field should be overloaded. */
unsigned integrated : 1;
/* 1 in an INSN or a SET 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.
- 1 in a MEM if the MEM refers to a scalar, rather than a member of
- an aggregate.
- 1 in a REG if the register is a pointer.
+ 1 in a REG or MEM if it is a pointer.
1 in a SYMBOL_REF if it addresses something in the per-function
constant string pool. */
unsigned frame_related : 1;
+ /* 1 in a REG or PARALLEL that is the current function's return value.
+ 1 in a SYMBOL_REF for a weak symbol. */
+ unsigned return_val : 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 GTY ((special ("rtx_def"),
- desc ("GET_CODE (&%0)"))) fld[1];
+ union u {
+ rtunion fld[1];
+ HOST_WIDE_INT hwint[1];
+ } GTY ((special ("rtx_def"), desc ("GET_CODE (&%0)"))) u;
};
+/* The size in bytes of an rtx header (code, mode and flags). */
+#define RTX_HDR_SIZE offsetof (struct rtx_def, u)
+
+/* The size in bytes of an rtx with code CODE. */
+#define RTX_SIZE(CODE) rtx_size[CODE]
+
#define NULL_RTX (rtx) 0
/* The "next" and "previous" RTX, relative to this one. */
/* Define macros to access the `code' field of the rtx. */
#define GET_CODE(RTX) ((enum rtx_code) (RTX)->code)
-#define PUT_CODE(RTX, CODE) ((RTX)->code = (ENUM_BITFIELD(rtx_code)) (CODE))
+#define PUT_CODE(RTX, CODE) ((RTX)->code = (CODE))
#define GET_MODE(RTX) ((enum machine_mode) (RTX)->mode)
-#define PUT_MODE(RTX, MODE) ((RTX)->mode = (ENUM_BITFIELD(machine_mode)) (MODE))
+#define PUT_MODE(RTX, MODE) ((RTX)->mode = (MODE))
/* RTL vector. These appear inside RTX's when there is a need
for a variable number of things. The principle use is inside
#define GET_NUM_ELEM(RTVEC) ((RTVEC)->num_elem)
#define PUT_NUM_ELEM(RTVEC, NUM) ((RTVEC)->num_elem = (NUM))
-/* Predicate yielding nonzero iff X is an rtl for a register. */
+/* Predicate yielding nonzero iff X is an rtx for a register. */
#define REG_P(X) (GET_CODE (X) == REG)
+/* Predicate yielding nonzero iff X is an rtx for a memory location. */
+#define MEM_P(X) (GET_CODE (X) == MEM)
+
/* Predicate yielding nonzero iff X is a label insn. */
#define LABEL_P(X) (GET_CODE (X) == CODE_LABEL)
/* Predicate yielding nonzero iff X is a jump insn. */
#define JUMP_P(X) (GET_CODE (X) == JUMP_INSN)
+/* Predicate yielding nonzero iff X is a call insn. */
+#define CALL_P(X) (GET_CODE (X) == CALL_INSN)
+
+/* Predicate yielding nonzero iff X is an insn that cannot jump. */
+#define NONJUMP_INSN_P(X) (GET_CODE (X) == INSN)
+
+/* Predicate yielding nonzero iff X is a real insn. */
+#define INSN_P(X) \
+ (NONJUMP_INSN_P (X) || JUMP_P (X) || CALL_P (X))
+
/* Predicate yielding nonzero iff X is a note insn. */
#define NOTE_P(X) (GET_CODE (X) == NOTE)
(JUMP_P (INSN) && (GET_CODE (PATTERN (INSN)) == ADDR_VEC || \
GET_CODE (PATTERN (INSN)) == ADDR_DIFF_VEC))
+/* 1 if X is a unary operator. */
+
+#define UNARY_P(X) \
+ (GET_RTX_CLASS (GET_CODE (X)) == RTX_UNARY)
+
+/* 1 if X is a binary operator. */
+
+#define BINARY_P(X) \
+ ((GET_RTX_CLASS (GET_CODE (X)) & RTX_BINARY_MASK) == RTX_BINARY_RESULT)
+
+/* 1 if X is an arithmetic operator. */
+
+#define ARITHMETIC_P(X) \
+ ((GET_RTX_CLASS (GET_CODE (X)) & RTX_ARITHMETIC_MASK) \
+ == RTX_ARITHMETIC_RESULT)
+
+/* 1 if X is an arithmetic operator. */
+
+#define COMMUTATIVE_ARITH_P(X) \
+ (GET_RTX_CLASS (GET_CODE (X)) == RTX_COMM_ARITH)
+
+/* 1 if X is a commutative arithmetic operator or a comparison operator.
+ These two are sometimes selected together because it is possible to
+ swap the two operands. */
+
+#define SWAPPABLE_OPERANDS_P(X) \
+ ((1 << GET_RTX_CLASS (GET_CODE (X))) \
+ & ((1 << RTX_COMM_ARITH) | (1 << RTX_COMM_COMPARE) \
+ | (1 << RTX_COMPARE)))
+
+/* 1 if X is a non-commutative operator. */
+
+#define NON_COMMUTATIVE_P(X) \
+ ((GET_RTX_CLASS (GET_CODE (X)) & RTX_COMMUTATIVE_MASK) \
+ == RTX_NON_COMMUTATIVE_RESULT)
+
+/* 1 if X is a commutative operator on integers. */
+
+#define COMMUTATIVE_P(X) \
+ ((GET_RTX_CLASS (GET_CODE (X)) & RTX_COMMUTATIVE_MASK) \
+ == RTX_COMMUTATIVE_RESULT)
+
+/* 1 if X is a relational operator. */
+
+#define COMPARISON_P(X) \
+ ((GET_RTX_CLASS (GET_CODE (X)) & RTX_COMPARE_MASK) == RTX_COMPARE_RESULT)
+
/* 1 if X is a constant value that is an integer. */
#define CONSTANT_P(X) \
- (GET_CODE (X) == LABEL_REF || GET_CODE (X) == SYMBOL_REF \
- || GET_CODE (X) == CONST_INT || GET_CODE (X) == CONST_DOUBLE \
- || GET_CODE (X) == CONST || GET_CODE (X) == HIGH \
- || GET_CODE (X) == CONST_VECTOR \
- || GET_CODE (X) == CONSTANT_P_RTX)
+ (GET_RTX_CLASS (GET_CODE (X)) == RTX_CONST_OBJ \
+ || GET_CODE (X) == CONST_VECTOR)
+
+/* 1 if X can be used to represent an object. */
+#define OBJECT_P(X) \
+ ((GET_RTX_CLASS (GET_CODE (X)) & RTX_OBJ_MASK) == RTX_OBJ_RESULT)
/* General accessor macros for accessing the fields of an rtx. */
if (GET_RTX_FORMAT(_code)[_n] != C1) \
rtl_check_failed_type1 (_rtx, _n, C1, __FILE__, __LINE__, \
__FUNCTION__); \
- &_rtx->fld[_n]; }))
+ &_rtx->u.fld[_n]; }))
#define RTL_CHECK2(RTX, N, C1, C2) __extension__ \
(*({ rtx const _rtx = (RTX); const int _n = (N); \
&& GET_RTX_FORMAT(_code)[_n] != C2) \
rtl_check_failed_type2 (_rtx, _n, C1, C2, __FILE__, __LINE__, \
__FUNCTION__); \
- &_rtx->fld[_n]; }))
+ &_rtx->u.fld[_n]; }))
#define RTL_CHECKC1(RTX, N, C) __extension__ \
(*({ rtx const _rtx = (RTX); const int _n = (N); \
if (GET_CODE (_rtx) != (C)) \
rtl_check_failed_code1 (_rtx, (C), __FILE__, __LINE__, \
__FUNCTION__); \
- &_rtx->fld[_n]; }))
+ &_rtx->u.fld[_n]; }))
#define RTL_CHECKC2(RTX, N, C1, C2) __extension__ \
(*({ rtx const _rtx = (RTX); const int _n = (N); \
if (_code != (C1) && _code != (C2)) \
rtl_check_failed_code2 (_rtx, (C1), (C2), __FILE__, __LINE__, \
__FUNCTION__); \
- &_rtx->fld[_n]; }))
+ &_rtx->u.fld[_n]; }))
#define RTVEC_ELT(RTVEC, I) __extension__ \
(*({ rtvec const _rtvec = (RTVEC); const int _i = (I); \
__FUNCTION__); \
&_rtvec->elem[_i]; }))
-extern void rtl_check_failed_bounds PARAMS ((rtx, int,
- const char *, int, const char *))
+#define XWINT(RTX, N) __extension__ \
+(*({ rtx const _rtx = (RTX); const int _n = (N); \
+ const enum rtx_code _code = GET_CODE (_rtx); \
+ if (_n < 0 || _n >= GET_RTX_LENGTH (_code)) \
+ rtl_check_failed_bounds (_rtx, _n, __FILE__, __LINE__, \
+ __FUNCTION__); \
+ if (GET_RTX_FORMAT(_code)[_n] != 'w') \
+ rtl_check_failed_type1 (_rtx, _n, 'w', __FILE__, __LINE__, \
+ __FUNCTION__); \
+ &_rtx->u.hwint[_n]; }))
+
+#define XCWINT(RTX, N, C) __extension__ \
+(*({ rtx const _rtx = (RTX); \
+ if (GET_CODE (_rtx) != (C)) \
+ rtl_check_failed_code1 (_rtx, (C), __FILE__, __LINE__, \
+ __FUNCTION__); \
+ &_rtx->u.hwint[N]; }))
+
+extern void rtl_check_failed_bounds (rtx, int, const char *, int,
+ const char *)
ATTRIBUTE_NORETURN;
-extern void rtl_check_failed_type1 PARAMS ((rtx, int, int,
- const char *, int, const char *))
+extern void rtl_check_failed_type1 (rtx, int, int, const char *, int,
+ const char *)
ATTRIBUTE_NORETURN;
-extern void rtl_check_failed_type2 PARAMS ((rtx, int, int, int,
- const char *, int, const char *))
+extern void rtl_check_failed_type2 (rtx, int, int, int, const char *,
+ int, const char *)
ATTRIBUTE_NORETURN;
-extern void rtl_check_failed_code1 PARAMS ((rtx, enum rtx_code,
- const char *, int, const char *))
+extern void rtl_check_failed_code1 (rtx, enum rtx_code, const char *,
+ int, const char *)
ATTRIBUTE_NORETURN;
-extern void rtl_check_failed_code2 PARAMS ((rtx, enum rtx_code, enum rtx_code,
- const char *, int, const char *))
+extern void rtl_check_failed_code2 (rtx, enum rtx_code, enum rtx_code,
+ const char *, int, const char *)
ATTRIBUTE_NORETURN;
-extern void rtvec_check_failed_bounds PARAMS ((rtvec, int,
- const char *, int, const char *))
+extern void rtvec_check_failed_bounds (rtvec, int, const char *, int,
+ const char *)
ATTRIBUTE_NORETURN;
#else /* not ENABLE_RTL_CHECKING */
-#define RTL_CHECK1(RTX, N, C1) ((RTX)->fld[N])
-#define RTL_CHECK2(RTX, N, C1, C2) ((RTX)->fld[N])
-#define RTL_CHECKC1(RTX, N, C) ((RTX)->fld[N])
-#define RTL_CHECKC2(RTX, N, C1, C2) ((RTX)->fld[N])
+#define RTL_CHECK1(RTX, N, C1) ((RTX)->u.fld[N])
+#define RTL_CHECK2(RTX, N, C1, C2) ((RTX)->u.fld[N])
+#define RTL_CHECKC1(RTX, N, C) ((RTX)->u.fld[N])
+#define RTL_CHECKC2(RTX, N, C1, C2) ((RTX)->u.fld[N])
#define RTVEC_ELT(RTVEC, I) ((RTVEC)->elem[I])
+#define XWINT(RTX, N) ((RTX)->u.hwint[N])
+#define XCWINT(RTX, N, C) ((RTX)->u.hwint[N])
#endif
__FUNCTION__); \
_rtx; })
-extern void rtl_check_failed_flag PARAMS ((const char *, rtx, const char *,
- int, const char *))
+extern void rtl_check_failed_flag (const char *, rtx, const char *,
+ int, const char *)
ATTRIBUTE_NORETURN
;
_rtx->call = 0; \
_rtx->frame_related = 0; \
_rtx->in_struct = 0; \
- _rtx->integrated = 0; \
_rtx->jump = 0; \
_rtx->unchanging = 0; \
_rtx->used = 0; \
_rtx->volatil = 0; \
+ _rtx->unused_flag = 0; \
} while (0)
-#define XWINT(RTX, N) (RTL_CHECK1 (RTX, N, 'w').rtwint)
#define XINT(RTX, N) (RTL_CHECK2 (RTX, N, 'i', 'n').rtint)
#define XSTR(RTX, N) (RTL_CHECK2 (RTX, N, 's', 'S').rtstr)
#define XEXP(RTX, N) (RTL_CHECK2 (RTX, N, 'e', 'u').rtx)
#define XVECEXP(RTX, N, M) RTVEC_ELT (XVEC (RTX, N), M)
#define XVECLEN(RTX, N) GET_NUM_ELEM (XVEC (RTX, N))
-/* These are like XWINT, etc. except that they expect a '0' field instead
+/* These are like XINT, etc. except that they expect a '0' field instead
of the normal type code. */
-#define X0WINT(RTX, N) (RTL_CHECK1 (RTX, N, '0').rtwint)
#define X0INT(RTX, N) (RTL_CHECK1 (RTX, N, '0').rtint)
#define X0UINT(RTX, N) (RTL_CHECK1 (RTX, N, '0').rtuint)
#define X0STR(RTX, N) (RTL_CHECK1 (RTX, N, '0').rtstr)
#define X0MEMATTR(RTX, N) (RTL_CHECKC1 (RTX, N, MEM).rtmem)
#define X0REGATTR(RTX, N) (RTL_CHECKC1 (RTX, N, REG).rtreg)
-#define XCWINT(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rtwint)
+/* Access a '0' field with any type. */
+#define X0ANY(RTX, N) RTL_CHECK1 (RTX, N, '0')
+
#define XCINT(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rtint)
#define XCUINT(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rtuint)
#define XCSTR(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rtstr)
\f
/* ACCESS MACROS for particular fields of insns. */
-/* Determines whether X is an insn. */
-#define INSN_P(X) (GET_RTX_CLASS (GET_CODE(X)) == 'i')
-
/* Holds a unique number for each insn.
These are not necessarily sequentially increasing. */
#define INSN_UID(INSN) XINT (INSN, 0)
#define NEXT_INSN(INSN) XEXP (INSN, 2)
#define BLOCK_FOR_INSN(INSN) XBBDEF (INSN, 3)
-#define INSN_SCOPE(INSN) XTREE (INSN, 4)
+#define INSN_LOCATOR(INSN) XINT (INSN, 4)
/* The body of an insn. */
#define PATTERN(INSN) XEXP (INSN, 5)
They are always in the same basic block as this insn. */
#define LOG_LINKS(INSN) XEXP(INSN, 7)
-#define RTX_INTEGRATED_P(RTX) \
- (RTL_FLAG_CHECK8("RTX_INTEGRATED_P", (RTX), INSN, CALL_INSN, \
- JUMP_INSN, INSN_LIST, BARRIER, CODE_LABEL, CONST, \
- NOTE)->integrated)
#define RTX_UNCHANGING_P(RTX) \
(RTL_FLAG_CHECK3("RTX_UNCHANGING_P", (RTX), REG, MEM, CONCAT)->unchanging)
#define RTX_FRAME_RELATED_P(RTX) \
but it can be used for cse. */
REG_EQUAL,
- /* The register set in this insn held 0 before the insn. The contents of
- the note is the insn that stored the 0. If that insn is deleted or
- patched to a NOTE, the REG_WAS_0 is inoperative. The REG_WAS_0 note
- is actually an INSN_LIST, not an EXPR_LIST. */
- REG_WAS_0,
-
/* This insn copies the return-value of a library call out of the hard reg
for return values. This note is actually an INSN_LIST and it points to
the first insn involved in setting up arguments for the call. flow.c
return. */
REG_BR_PROB,
+ /* REG_VALUE_PROFILE is attached when the profile is read in to an insn
+ before that the code to profile the value is inserted. It contains
+ the results of profiling. */
+ REG_VALUE_PROFILE,
+
/* Attached to a call insn; indicates that the call is malloc-like and
that the pointer returned cannot alias anything else. */
REG_NOALIAS,
computed goto. */
REG_NON_LOCAL_GOTO,
+ /* Indicates that a jump crosses between hot and cold sections
+ in a (partitioned) assembly or .o file, and therefore should not be
+ reduced to a simpler jump by optimizations. */
+ REG_CROSSING_JUMP,
+
/* This kind of note is generated at each to `setjmp',
and similar functions that can return twice. */
REG_SETJMP,
between ints and pointers if we use a different macro for the block number.)
*/
+/* Opaque data. */
+#define NOTE_DATA(INSN) RTL_CHECKC1 (INSN, 4, NOTE)
+#define NOTE_DELETED_LABEL_NAME(INSN) XCSTR (INSN, 4, NOTE)
+#ifdef USE_MAPPED_LOCATION
+#define NOTE_SOURCE_LOCATION(INSN) XCUINT (INSN, 5, NOTE)
+#define NOTE_EXPANDED_LOCATION(XLOC, INSN) \
+ (XLOC) = expand_location (NOTE_SOURCE_LOCATION (INSN))
+#define SET_INSN_DELETED(INSN) \
+ (PUT_CODE (INSN, NOTE), NOTE_LINE_NUMBER (INSN) = NOTE_INSN_DELETED)
+#else
+#define NOTE_EXPANDED_LOCATION(XLOC, INSN) \
+ ((XLOC).file = NOTE_SOURCE_FILE (INSN), \
+ (XLOC).line = NOTE_LINE_NUMBER (INSN))
#define NOTE_SOURCE_FILE(INSN) XCSTR (INSN, 4, NOTE)
+#define SET_INSN_DELETED(INSN) \
+ (PUT_CODE (INSN, NOTE), NOTE_SOURCE_FILE (INSN) = 0, \
+ NOTE_LINE_NUMBER (INSN) = NOTE_INSN_DELETED)
+#endif
#define NOTE_BLOCK(INSN) XCTREE (INSN, 4, NOTE)
#define NOTE_EH_HANDLER(INSN) XCINT (INSN, 4, NOTE)
#define NOTE_BASIC_BLOCK(INSN) XCBBDEF (INSN, 4, NOTE)
#define NOTE_EXPECTED_VALUE(INSN) XCEXP (INSN, 4, NOTE)
#define NOTE_PREDICTION(INSN) XCINT (INSN, 4, NOTE)
#define NOTE_PRECONDITIONED(INSN) XCINT (INSN, 4, NOTE)
+#define NOTE_VAR_LOCATION(INSN) XCEXP (INSN, 4, NOTE)
/* In a NOTE that is a line number, this is the line number.
Other kinds of NOTEs are identified by negative numbers here. */
#define NOTE_PREDICTION_FLAGS(INSN) (XCINT(INSN, 4, NOTE)&0xff)
#define NOTE_PREDICT(ALG,FLAGS) ((ALG<<8)+(FLAGS))
+/* Variable declaration and the location of a variable. */
+#define NOTE_VAR_LOCATION_DECL(INSN) (XCTREE (XCEXP (INSN, 4, NOTE), \
+ 0, VAR_LOCATION))
+#define NOTE_VAR_LOCATION_LOC(INSN) (XCEXP (XCEXP (INSN, 4, NOTE), \
+ 1, VAR_LOCATION))
+
/* Codes that appear in the NOTE_LINE_NUMBER field
for kinds of notes that are not line numbers.
NOTE_INSN_DELETED,
/* These are used to mark the beginning and end of a lexical block.
- See NOTE_BLOCK, identify_blocks and reorder_blocks. */
+ See NOTE_BLOCK and reorder_blocks. */
NOTE_INSN_BLOCK_BEG,
NOTE_INSN_BLOCK_END,
/* Record a prediction. Uses NOTE_PREDICTION. */
NOTE_INSN_PREDICTION,
+ /* Record that the current basic block is unlikely to be executed and
+ should be moved to the UNLIKELY_EXECUTED_TEXT_SECTION. */
+ NOTE_INSN_UNLIKELY_EXECUTED_CODE,
+
+ /* The location of a variable. */
+ NOTE_INSN_VAR_LOCATION,
+
NOTE_INSN_MAX
};
/* 1 if RTX is a reg or parallel that is the current function's return
value. */
#define REG_FUNCTION_VALUE_P(RTX) \
- (RTL_FLAG_CHECK2("REG_FUNCTION_VALUE_P", (RTX), REG, PARALLEL)->integrated)
+ (RTL_FLAG_CHECK2("REG_FUNCTION_VALUE_P", (RTX), REG, PARALLEL)->return_val)
/* 1 if RTX is a reg that corresponds to a variable declared by the user. */
#define REG_USERVAR_P(RTX) \
#define REG_POINTER(RTX) \
(RTL_FLAG_CHECK1("REG_POINTER", (RTX), REG)->frame_related)
+/* 1 if RTX is a mem that holds a pointer value. */
+#define MEM_POINTER(RTX) \
+ (RTL_FLAG_CHECK1("MEM_POINTER", (RTX), MEM)->frame_related)
+
/* 1 if the given register REG corresponds to a hard register. */
#define HARD_REGISTER_P(REG) (HARD_REGISTER_NUM_P (REGNO (REG)))
#define SUBREG_BYTE(RTX) XCUINT (RTX, 1, SUBREG)
/* in rtlanal.c */
-extern unsigned int subreg_lsb PARAMS ((rtx));
-extern unsigned int subreg_regno_offset PARAMS ((unsigned int,
- enum machine_mode,
- unsigned int,
- enum machine_mode));
-extern bool subreg_offset_representable_p PARAMS ((unsigned int,
- enum machine_mode,
- unsigned int,
- enum machine_mode));
-extern unsigned int subreg_regno PARAMS ((rtx));
+/* Return the right cost to give to an operation
+ to make the cost of the corresponding register-to-register instruction
+ N times that of a fast register-to-register instruction. */
+#define COSTS_N_INSNS(N) ((N) * 4)
+
+/* Maximum cost of an rtl expression. This value has the special meaning
+ not to use an rtx with this cost under any circumstances. */
+#define MAX_COST INT_MAX
+
+extern int rtx_cost (rtx, enum rtx_code);
+extern int address_cost (rtx, enum machine_mode);
+extern unsigned int subreg_lsb (rtx);
+extern unsigned int subreg_lsb_1 (enum machine_mode, enum machine_mode,
+ unsigned int);
+extern unsigned int subreg_regno_offset (unsigned int, enum machine_mode,
+ unsigned int, enum machine_mode);
+extern bool subreg_offset_representable_p (unsigned int, enum machine_mode,
+ unsigned int, enum machine_mode);
+extern unsigned int subreg_regno (rtx);
+extern unsigned HOST_WIDE_INT nonzero_bits (rtx, enum machine_mode);
+extern unsigned int num_sign_bit_copies (rtx, enum machine_mode);
+
/* 1 if RTX is a subreg containing a reg that is already known to be
sign- or zero-extended from the mode of the subreg to the mode of
XSTR (XCVECEXP (RTX, 4, N, ASM_OPERANDS), 0)
#define ASM_OPERANDS_INPUT_MODE(RTX, N) \
GET_MODE (XCVECEXP (RTX, 4, N, ASM_OPERANDS))
+#ifdef USE_MAPPED_LOCATION
+#define ASM_OPERANDS_SOURCE_LOCATION(RTX) XCUINT (RTX, 5, ASM_OPERANDS)
+#else
#define ASM_OPERANDS_SOURCE_FILE(RTX) XCSTR (RTX, 5, ASM_OPERANDS)
#define ASM_OPERANDS_SOURCE_LINE(RTX) XCINT (RTX, 6, ASM_OPERANDS)
+#endif
/* 1 if RTX is a mem and we should keep the alias set for this mem
unchanged when we access a component. Set to 1, or example, when we
/* 1 if RTX is a mem that refers to a scalar. If zero, RTX may or may
not refer to a scalar. */
#define MEM_SCALAR_P(RTX) \
- (RTL_FLAG_CHECK1("MEM_SCALAR_P", (RTX), MEM)->frame_related)
+ (RTL_FLAG_CHECK1("MEM_SCALAR_P", (RTX), MEM)->integrated)
/* 1 if RTX is a mem that cannot trap. */
#define MEM_NOTRAP_P(RTX) \
/* 1 if RTX is a symbol_ref for a weak symbol. */
#define SYMBOL_REF_WEAK(RTX) \
- (RTL_FLAG_CHECK1("SYMBOL_REF_WEAK", (RTX), SYMBOL_REF)->integrated)
+ (RTL_FLAG_CHECK1("SYMBOL_REF_WEAK", (RTX), SYMBOL_REF)->return_val)
/* The tree (decl or constant) associated with the symbol, or null. */
#define SYMBOL_REF_DECL(RTX) X0TREE ((RTX), 2)
#ifndef USE_STORE_PRE_DECREMENT
#define USE_STORE_PRE_DECREMENT(MODE) HAVE_PRE_DECREMENT
#endif
-
-/* Determine if the insn is a PHI node. */
-#define PHI_NODE_P(X) \
- ((X) && GET_CODE (X) == INSN \
- && GET_CODE (PATTERN (X)) == SET \
- && GET_CODE (SET_SRC (PATTERN (X))) == PHI)
\f
/* Nonzero if we need to distinguish between the return value of this function
and the return value of a function called by this function. This helps
integrate.c.
- This is 1 until after the rtl generation pass. */
+ This is 1 until after the rtl generation pass.
+ ??? It appears that this is 1 only when expanding trees to RTL. */
extern int rtx_equal_function_value_matters;
/* Nonzero when we are generating CONCATs. */
/* Generally useful functions. */
/* In expmed.c */
-extern int ceil_log2 PARAMS ((unsigned HOST_WIDE_INT));
+extern int ceil_log2 (unsigned HOST_WIDE_INT);
#define plus_constant(X, C) plus_constant_wide ((X), (HOST_WIDE_INT) (C))
/* In builtins.c */
-extern rtx expand_builtin_expect_jump PARAMS ((tree, rtx, rtx));
-extern void purge_builtin_constant_p PARAMS ((void));
+extern rtx expand_builtin_expect_jump (tree, rtx, rtx);
+extern void purge_builtin_constant_p (void);
/* In explow.c */
-extern void set_stack_check_libfunc PARAMS ((rtx));
-extern HOST_WIDE_INT trunc_int_for_mode PARAMS ((HOST_WIDE_INT,
- enum machine_mode));
-extern rtx plus_constant_wide PARAMS ((rtx, HOST_WIDE_INT));
-extern rtx plus_constant_for_output_wide PARAMS ((rtx, HOST_WIDE_INT));
-extern void optimize_save_area_alloca PARAMS ((rtx));
+extern void set_stack_check_libfunc (rtx);
+extern HOST_WIDE_INT trunc_int_for_mode (HOST_WIDE_INT, enum machine_mode);
+extern rtx plus_constant_wide (rtx, HOST_WIDE_INT);
+extern rtx plus_constant_for_output_wide (rtx, HOST_WIDE_INT);
+extern void optimize_save_area_alloca (rtx);
/* In emit-rtl.c */
-extern rtx gen_rtx PARAMS ((enum rtx_code,
- enum machine_mode, ...));
-extern rtvec gen_rtvec PARAMS ((int, ...));
-extern rtx copy_insn_1 PARAMS ((rtx));
-extern rtx copy_insn PARAMS ((rtx));
-extern rtx gen_int_mode PARAMS ((HOST_WIDE_INT,
- enum machine_mode));
-extern rtx emit_copy_of_insn_after PARAMS ((rtx, rtx));
-extern void set_reg_attrs_from_mem PARAMS ((rtx, rtx));
-extern void set_mem_attrs_from_reg PARAMS ((rtx, rtx));
-extern void set_reg_attrs_for_parm PARAMS ((rtx, rtx));
+extern rtvec gen_rtvec (int, ...);
+extern rtx copy_insn_1 (rtx);
+extern rtx copy_insn (rtx);
+extern rtx gen_int_mode (HOST_WIDE_INT, enum machine_mode);
+extern rtx emit_copy_of_insn_after (rtx, rtx);
+extern void set_reg_attrs_from_mem (rtx, rtx);
+extern void set_mem_attrs_from_reg (rtx, rtx);
+extern void set_reg_attrs_for_parm (rtx, rtx);
+extern void set_reg_pointer_align (rtx, unsigned int);
+extern int mem_expr_equal_p (tree, tree);
/* In rtl.c */
-extern rtx rtx_alloc PARAMS ((RTX_CODE));
-extern rtvec rtvec_alloc PARAMS ((int));
-extern rtx copy_rtx PARAMS ((rtx));
+extern rtx rtx_alloc_stat (RTX_CODE MEM_STAT_DECL);
+#define rtx_alloc(c) rtx_alloc_stat (c MEM_STAT_INFO)
+
+extern rtvec rtvec_alloc (int);
+extern rtx copy_rtx (rtx);
+extern void dump_rtx_statistics (void);
/* In emit-rtl.c */
-extern rtx copy_rtx_if_shared PARAMS ((rtx));
+extern rtx copy_rtx_if_shared (rtx);
/* In rtl.c */
-extern rtx copy_most_rtx PARAMS ((rtx, rtx));
-extern rtx shallow_copy_rtx PARAMS ((rtx));
-extern int rtx_equal_p PARAMS ((rtx, rtx));
+extern rtx copy_most_rtx (rtx, rtx);
+extern rtx shallow_copy_rtx_stat (rtx MEM_STAT_DECL);
+#define shallow_copy_rtx(a) shallow_copy_rtx_stat (a MEM_STAT_INFO)
+extern int rtx_equal_p (rtx, rtx);
/* In emit-rtl.c */
-extern rtvec gen_rtvec_v PARAMS ((int, rtx *));
-extern rtx gen_reg_rtx PARAMS ((enum machine_mode));
-extern rtx gen_rtx_REG_offset PARAMS ((rtx, enum machine_mode,
- unsigned int, int));
-extern rtx gen_label_rtx PARAMS ((void));
-extern int subreg_hard_regno PARAMS ((rtx, int));
-extern rtx gen_lowpart_common PARAMS ((enum machine_mode, rtx));
-extern rtx gen_lowpart PARAMS ((enum machine_mode, rtx));
+extern rtvec gen_rtvec_v (int, rtx *);
+extern rtx gen_reg_rtx (enum machine_mode);
+extern rtx gen_rtx_REG_offset (rtx, enum machine_mode, unsigned int, int);
+extern rtx gen_label_rtx (void);
+extern int subreg_hard_regno (rtx, int);
+extern rtx gen_lowpart_common (enum machine_mode, rtx);
/* In cse.c */
-extern rtx gen_lowpart_if_possible PARAMS ((enum machine_mode, rtx));
+extern rtx gen_lowpart_if_possible (enum machine_mode, rtx);
/* In emit-rtl.c */
-extern rtx gen_highpart PARAMS ((enum machine_mode, rtx));
-extern rtx gen_highpart_mode PARAMS ((enum machine_mode,
- enum machine_mode, rtx));
-extern rtx gen_realpart PARAMS ((enum machine_mode, rtx));
-extern rtx gen_imagpart PARAMS ((enum machine_mode, rtx));
-extern rtx operand_subword PARAMS ((rtx, unsigned int, int,
- enum machine_mode));
-extern rtx constant_subword PARAMS ((rtx, int,
- enum machine_mode));
+extern rtx gen_highpart (enum machine_mode, rtx);
+extern rtx gen_highpart_mode (enum machine_mode, enum machine_mode, rtx);
+extern rtx gen_realpart (enum machine_mode, rtx);
+extern rtx gen_imagpart (enum machine_mode, rtx);
+extern rtx operand_subword (rtx, unsigned int, int, enum machine_mode);
/* In emit-rtl.c */
-extern rtx operand_subword_force PARAMS ((rtx, unsigned int,
- enum machine_mode));
-extern int subreg_lowpart_p PARAMS ((rtx));
-extern unsigned int subreg_lowpart_offset PARAMS ((enum machine_mode,
- enum machine_mode));
-extern unsigned int subreg_highpart_offset PARAMS ((enum machine_mode,
- enum machine_mode));
-extern rtx make_safe_from PARAMS ((rtx, rtx));
-extern rtx convert_memory_address PARAMS ((enum machine_mode, rtx));
-extern rtx get_insns PARAMS ((void));
-extern const char *get_insn_name PARAMS ((int));
-extern rtx get_last_insn PARAMS ((void));
-extern rtx get_last_insn_anywhere PARAMS ((void));
-extern rtx get_first_nonnote_insn PARAMS ((void));
-extern rtx get_last_nonnote_insn PARAMS ((void));
-extern void start_sequence PARAMS ((void));
-extern void push_to_sequence PARAMS ((rtx));
-extern void end_sequence PARAMS ((void));
-extern void push_to_full_sequence PARAMS ((rtx, rtx));
-extern void end_full_sequence PARAMS ((rtx*, rtx*));
+extern rtx operand_subword_force (rtx, unsigned int, enum machine_mode);
+extern int subreg_lowpart_p (rtx);
+extern unsigned int subreg_lowpart_offset (enum machine_mode,
+ enum machine_mode);
+extern unsigned int subreg_highpart_offset (enum machine_mode,
+ enum machine_mode);
+extern rtx make_safe_from (rtx, rtx);
+extern rtx convert_memory_address (enum machine_mode, rtx);
+extern rtx get_insns (void);
+extern const char *get_insn_name (int);
+extern rtx get_last_insn (void);
+extern rtx get_last_insn_anywhere (void);
+extern rtx get_first_nonnote_insn (void);
+extern rtx get_last_nonnote_insn (void);
+extern void start_sequence (void);
+extern void push_to_sequence (rtx);
+extern void end_sequence (void);
+extern void push_to_full_sequence (rtx, rtx);
+extern rtx immed_double_const (HOST_WIDE_INT, HOST_WIDE_INT,
+ enum machine_mode);
/* In varasm.c */
-extern rtx immed_double_const PARAMS ((HOST_WIDE_INT, HOST_WIDE_INT, enum machine_mode));
-extern rtx mem_for_const_double PARAMS ((rtx));
-extern rtx force_const_mem PARAMS ((enum machine_mode, rtx));
+extern rtx force_const_mem (enum machine_mode, rtx);
/* In varasm.c */
-extern rtx get_pool_constant PARAMS ((rtx));
-extern rtx get_pool_constant_mark PARAMS ((rtx, bool *));
-extern enum machine_mode get_pool_mode PARAMS ((rtx));
-extern rtx get_pool_constant_for_function PARAMS ((struct function *, rtx));
-extern enum machine_mode get_pool_mode_for_function PARAMS ((struct function *, rtx));
-extern int get_pool_offset PARAMS ((rtx));
-extern rtx simplify_subtraction PARAMS ((rtx));
+extern rtx get_pool_constant (rtx);
+extern rtx get_pool_constant_mark (rtx, bool *);
+extern enum machine_mode get_pool_mode (rtx);
+extern rtx get_pool_constant_for_function (struct function *, rtx);
+extern enum machine_mode get_pool_mode_for_function (struct function *, rtx);
+extern int get_pool_offset (rtx);
+extern rtx simplify_subtraction (rtx);
/* In function.c */
-extern rtx assign_stack_local PARAMS ((enum machine_mode,
- HOST_WIDE_INT, int));
-extern rtx assign_stack_temp PARAMS ((enum machine_mode,
- HOST_WIDE_INT, int));
-extern rtx assign_stack_temp_for_type PARAMS ((enum machine_mode,
- HOST_WIDE_INT, int, tree));
-extern rtx assign_temp PARAMS ((tree, int, int, int));
+extern rtx assign_stack_local (enum machine_mode, HOST_WIDE_INT, int);
+extern rtx assign_stack_temp (enum machine_mode, HOST_WIDE_INT, int);
+extern rtx assign_stack_temp_for_type (enum machine_mode,
+ HOST_WIDE_INT, int, tree);
+extern rtx assign_temp (tree, int, int, int);
+
/* In emit-rtl.c */
-extern rtx emit_insn_before PARAMS ((rtx, rtx));
-extern rtx emit_insn_before_scope PARAMS ((rtx, rtx, tree));
-extern rtx emit_jump_insn_before PARAMS ((rtx, rtx));
-extern rtx emit_jump_insn_before_scope PARAMS ((rtx, rtx, tree));
-extern rtx emit_call_insn_before PARAMS ((rtx, rtx));
-extern rtx emit_call_insn_before_scope PARAMS ((rtx, rtx, tree));
-extern rtx emit_barrier_before PARAMS ((rtx));
-extern rtx emit_label_before PARAMS ((rtx, rtx));
-extern rtx emit_note_before PARAMS ((int, rtx));
-extern rtx emit_insn_after PARAMS ((rtx, rtx));
-extern rtx emit_insn_after_scope PARAMS ((rtx, rtx, tree));
-extern rtx emit_jump_insn_after PARAMS ((rtx, rtx));
-extern rtx emit_jump_insn_after_scope PARAMS ((rtx, rtx, tree));
-extern rtx emit_call_insn_after PARAMS ((rtx, rtx));
-extern rtx emit_call_insn_after_scope PARAMS ((rtx, rtx, tree));
-extern rtx emit_barrier_after PARAMS ((rtx));
-extern rtx emit_label_after PARAMS ((rtx, rtx));
-extern rtx emit_note_after PARAMS ((int, rtx));
-extern rtx emit_line_note_after PARAMS ((const char *, int, rtx));
-extern rtx emit_insn PARAMS ((rtx));
-extern rtx emit_jump_insn PARAMS ((rtx));
-extern rtx emit_call_insn PARAMS ((rtx));
-extern rtx emit_label PARAMS ((rtx));
-extern rtx emit_barrier PARAMS ((void));
-extern rtx emit_line_note PARAMS ((const char *, int));
-extern rtx emit_note PARAMS ((const char *, int));
-extern rtx emit_line_note_force PARAMS ((const char *, int));
-extern rtx make_insn_raw PARAMS ((rtx));
-extern void add_function_usage_to PARAMS ((rtx, rtx));
-extern rtx last_call_insn PARAMS ((void));
-extern rtx previous_insn PARAMS ((rtx));
-extern rtx next_insn PARAMS ((rtx));
-extern rtx prev_nonnote_insn PARAMS ((rtx));
-extern rtx next_nonnote_insn PARAMS ((rtx));
-extern rtx prev_real_insn PARAMS ((rtx));
-extern rtx next_real_insn PARAMS ((rtx));
-extern rtx prev_active_insn PARAMS ((rtx));
-extern rtx next_active_insn PARAMS ((rtx));
-extern int active_insn_p PARAMS ((rtx));
-extern rtx prev_label PARAMS ((rtx));
-extern rtx next_label PARAMS ((rtx));
-extern rtx next_cc0_user PARAMS ((rtx));
-extern rtx prev_cc0_setter PARAMS ((rtx));
+extern rtx emit_insn_before (rtx, rtx);
+extern rtx emit_insn_before_setloc (rtx, rtx, int);
+extern rtx emit_jump_insn_before (rtx, rtx);
+extern rtx emit_jump_insn_before_setloc (rtx, rtx, int);
+extern rtx emit_call_insn_before (rtx, rtx);
+extern rtx emit_call_insn_before_setloc (rtx, rtx, int);
+extern rtx emit_barrier_before (rtx);
+extern rtx emit_label_before (rtx, rtx);
+extern rtx emit_note_before (int, rtx);
+extern rtx emit_insn_after (rtx, rtx);
+extern rtx emit_insn_after_setloc (rtx, rtx, int);
+extern rtx emit_jump_insn_after (rtx, rtx);
+extern rtx emit_jump_insn_after_setloc (rtx, rtx, int);
+extern rtx emit_call_insn_after (rtx, rtx);
+extern rtx emit_call_insn_after_setloc (rtx, rtx, int);
+extern rtx emit_barrier_after (rtx);
+extern rtx emit_label_after (rtx, rtx);
+extern rtx emit_note_after (int, rtx);
+extern rtx emit_note_copy_after (rtx, rtx);
+extern rtx emit_insn (rtx);
+extern rtx emit_jump_insn (rtx);
+extern rtx emit_call_insn (rtx);
+extern rtx emit_label (rtx);
+extern rtx emit_barrier (void);
+extern rtx emit_note (int);
+extern rtx emit_note_copy (rtx);
+extern rtx emit_line_note (location_t);
+extern rtx make_insn_raw (rtx);
+extern void add_function_usage_to (rtx, rtx);
+extern rtx last_call_insn (void);
+extern rtx previous_insn (rtx);
+extern rtx next_insn (rtx);
+extern rtx prev_nonnote_insn (rtx);
+extern rtx next_nonnote_insn (rtx);
+extern rtx prev_real_insn (rtx);
+extern rtx next_real_insn (rtx);
+extern rtx prev_active_insn (rtx);
+extern rtx next_active_insn (rtx);
+extern int active_insn_p (rtx);
+extern rtx prev_label (rtx);
+extern rtx next_label (rtx);
+extern rtx skip_consecutive_labels (rtx);
+extern rtx next_cc0_user (rtx);
+extern rtx prev_cc0_setter (rtx);
+
+#define emit_insn_before_sameloc(INSN, BEFORE) \
+ emit_insn_before_setloc (INSN, BEFORE, INSN_LOCATOR (BEFORE))
+#define emit_jump_insn_before_sameloc(INSN, BEFORE) \
+ emit_jump_insn_before_setloc (INSN, BEFORE, INSN_LOCATOR (BEFORE))
+#define emit_call_insn_before_sameloc(INSN, BEFORE) \
+ emit_call_insn_before_setloc (INSN, BEFORE, INSN_LOCATOR (BEFORE))
+#define emit_insn_after_sameloc(INSN, AFTER) \
+ emit_insn_after_setloc (INSN, AFTER, INSN_LOCATOR (AFTER))
+#define emit_jump_insn_after_sameloc(INSN, AFTER) \
+ emit_jump_insn_after_setloc (INSN, AFTER, INSN_LOCATOR (AFTER))
+#define emit_call_insn_after_sameloc(INSN, AFTER) \
+ emit_call_insn_after_setloc (INSN, AFTER, INSN_LOCATOR (AFTER))
/* In cfglayout.c */
-extern tree choose_inner_scope PARAMS ((tree, tree));
+extern tree choose_inner_scope (tree, tree);
+extern int insn_line (rtx);
+extern const char * insn_file (rtx);
+extern int locator_line (int);
+extern const char * locator_file (int);
+extern int prologue_locator, epilogue_locator;
/* In jump.c */
-extern rtx next_nondeleted_insn PARAMS ((rtx));
-extern enum rtx_code reverse_condition PARAMS ((enum rtx_code));
-extern enum rtx_code reverse_condition_maybe_unordered PARAMS ((enum rtx_code));
-extern enum rtx_code swap_condition PARAMS ((enum rtx_code));
-extern enum rtx_code unsigned_condition PARAMS ((enum rtx_code));
-extern enum rtx_code signed_condition PARAMS ((enum rtx_code));
-extern void mark_jump_label PARAMS ((rtx, rtx, int));
-extern void cleanup_barriers PARAMS ((void));
+extern enum rtx_code reverse_condition (enum rtx_code);
+extern enum rtx_code reverse_condition_maybe_unordered (enum rtx_code);
+extern enum rtx_code swap_condition (enum rtx_code);
+extern enum rtx_code unsigned_condition (enum rtx_code);
+extern enum rtx_code signed_condition (enum rtx_code);
+extern void mark_jump_label (rtx, rtx, int);
+extern void cleanup_barriers (void);
/* In jump.c */
-extern bool squeeze_notes PARAMS ((rtx *, rtx *));
-extern rtx delete_related_insns PARAMS ((rtx));
-extern void delete_jump PARAMS ((rtx));
-extern void delete_barrier PARAMS ((rtx));
-extern rtx get_label_before PARAMS ((rtx));
-extern rtx get_label_after PARAMS ((rtx));
-extern rtx follow_jumps PARAMS ((rtx));
+extern bool squeeze_notes (rtx *, rtx *);
+extern rtx delete_related_insns (rtx);
+extern void delete_jump (rtx);
+extern void delete_barrier (rtx);
+extern rtx get_label_before (rtx);
+extern rtx get_label_after (rtx);
+extern rtx follow_jumps (rtx);
/* In recog.c */
-extern rtx *find_constant_term_loc PARAMS ((rtx *));
+extern rtx *find_constant_term_loc (rtx *);
/* In emit-rtl.c */
-extern rtx try_split PARAMS ((rtx, rtx, int));
+extern rtx try_split (rtx, rtx, int);
extern int split_branch_probability;
/* In unknown file */
-extern rtx split_insns PARAMS ((rtx, rtx));
+extern rtx split_insns (rtx, rtx);
/* In simplify-rtx.c */
-extern rtx simplify_unary_operation PARAMS ((enum rtx_code,
- enum machine_mode, rtx,
- enum machine_mode));
-extern rtx simplify_binary_operation PARAMS ((enum rtx_code,
- enum machine_mode, rtx,
- rtx));
-extern rtx simplify_ternary_operation PARAMS ((enum rtx_code,
- enum machine_mode,
- enum machine_mode, rtx, rtx,
- rtx));
-extern rtx simplify_relational_operation PARAMS ((enum rtx_code,
- enum machine_mode, rtx,
- rtx));
-extern rtx simplify_gen_binary PARAMS ((enum rtx_code,
- enum machine_mode,
- rtx, rtx));
-extern rtx simplify_gen_unary PARAMS ((enum rtx_code,
- enum machine_mode, rtx,
- enum machine_mode));
-extern rtx simplify_gen_ternary PARAMS ((enum rtx_code,
- enum machine_mode,
- enum machine_mode,
- rtx, rtx, rtx));
-extern rtx simplify_gen_relational PARAMS ((enum rtx_code,
- enum machine_mode,
- enum machine_mode,
- rtx, rtx));
-extern rtx simplify_subreg PARAMS ((enum machine_mode,
- rtx,
- enum machine_mode,
- unsigned int));
-extern rtx simplify_gen_subreg PARAMS ((enum machine_mode,
- rtx,
- enum machine_mode,
- unsigned int));
-extern rtx simplify_replace_rtx PARAMS ((rtx, rtx, rtx));
-extern rtx simplify_rtx PARAMS ((rtx));
-extern rtx avoid_constant_pool_reference PARAMS ((rtx));
+extern rtx simplify_unary_operation (enum rtx_code, enum machine_mode, rtx,
+ enum machine_mode);
+extern rtx simplify_binary_operation (enum rtx_code, enum machine_mode, rtx,
+ rtx);
+extern rtx simplify_ternary_operation (enum rtx_code, enum machine_mode,
+ enum machine_mode, rtx, rtx, rtx);
+extern rtx simplify_const_relational_operation (enum rtx_code,
+ enum machine_mode, rtx, rtx);
+extern rtx simplify_relational_operation (enum rtx_code, enum machine_mode,
+ enum machine_mode, rtx, rtx);
+extern rtx simplify_gen_binary (enum rtx_code, enum machine_mode, rtx, rtx);
+extern rtx simplify_gen_unary (enum rtx_code, enum machine_mode, rtx,
+ enum machine_mode);
+extern rtx simplify_gen_ternary (enum rtx_code, enum machine_mode,
+ enum machine_mode, rtx, rtx, rtx);
+extern rtx simplify_gen_relational (enum rtx_code, enum machine_mode,
+ enum machine_mode, rtx, rtx);
+extern rtx simplify_subreg (enum machine_mode, rtx, enum machine_mode,
+ unsigned int);
+extern rtx simplify_gen_subreg (enum machine_mode, rtx, enum machine_mode,
+ unsigned int);
+extern rtx simplify_replace_rtx (rtx, rtx, rtx);
+extern rtx simplify_rtx (rtx);
+extern rtx avoid_constant_pool_reference (rtx);
/* In function.c */
-extern rtx gen_mem_addressof PARAMS ((rtx, tree, int));
+extern rtx gen_mem_addressof (rtx, tree, int);
/* In regclass.c */
-extern enum machine_mode choose_hard_reg_mode PARAMS ((unsigned int,
- unsigned int));
+extern enum machine_mode choose_hard_reg_mode (unsigned int, unsigned int,
+ bool);
/* In emit-rtl.c */
-extern rtx set_unique_reg_note PARAMS ((rtx, enum reg_note, rtx));
+extern rtx set_unique_reg_note (rtx, enum reg_note, rtx);
/* Functions in rtlanal.c */
bool update_label_nuses;
} replace_label_data;
-extern int rtx_addr_can_trap_p PARAMS ((rtx));
-extern bool nonzero_address_p PARAMS ((rtx));
-extern int rtx_unstable_p PARAMS ((rtx));
-extern int rtx_varies_p PARAMS ((rtx, int));
-extern int rtx_addr_varies_p PARAMS ((rtx, int));
-extern HOST_WIDE_INT get_integer_term PARAMS ((rtx));
-extern rtx get_related_value PARAMS ((rtx));
-extern rtx get_jump_table_offset PARAMS ((rtx, rtx *));
-extern int global_reg_mentioned_p PARAMS ((rtx));
-extern int reg_mentioned_p PARAMS ((rtx, rtx));
-extern int count_occurrences PARAMS ((rtx, rtx, int));
-extern int reg_referenced_p PARAMS ((rtx, rtx));
-extern int reg_used_between_p PARAMS ((rtx, rtx, rtx));
-extern int reg_referenced_between_p PARAMS ((rtx, rtx, rtx));
-extern int reg_set_between_p PARAMS ((rtx, rtx, rtx));
-extern int regs_set_between_p PARAMS ((rtx, rtx, rtx));
-extern int commutative_operand_precedence PARAMS ((rtx));
-extern int swap_commutative_operands_p PARAMS ((rtx, rtx));
-extern int modified_between_p PARAMS ((rtx, rtx, rtx));
-extern int no_labels_between_p PARAMS ((rtx, rtx));
-extern int no_jumps_between_p PARAMS ((rtx, rtx));
-extern int modified_in_p PARAMS ((rtx, rtx));
-extern int insn_dependent_p PARAMS ((rtx, rtx));
-extern int reg_set_p PARAMS ((rtx, rtx));
-extern rtx single_set_2 PARAMS ((rtx, rtx));
-extern int multiple_sets PARAMS ((rtx));
-extern int set_noop_p PARAMS ((rtx));
-extern int noop_move_p PARAMS ((rtx));
-extern rtx find_last_value PARAMS ((rtx, rtx *, rtx, int));
-extern int refers_to_regno_p PARAMS ((unsigned int, unsigned int,
- rtx, rtx *));
-extern int reg_overlap_mentioned_p PARAMS ((rtx, rtx));
-extern rtx set_of PARAMS ((rtx, rtx));
-extern void note_stores PARAMS ((rtx,
- void (*) (rtx, rtx, void *),
- void *));
-extern void note_uses PARAMS ((rtx *,
- void (*) (rtx *, void *),
- void *));
-extern rtx reg_set_last PARAMS ((rtx, rtx));
-extern int dead_or_set_p PARAMS ((rtx, rtx));
-extern int dead_or_set_regno_p PARAMS ((rtx, unsigned int));
-extern rtx find_reg_note PARAMS ((rtx, enum reg_note, rtx));
-extern rtx find_regno_note PARAMS ((rtx, enum reg_note,
- unsigned int));
-extern rtx find_reg_equal_equiv_note PARAMS ((rtx));
-extern int find_reg_fusage PARAMS ((rtx, enum rtx_code, rtx));
-extern int find_regno_fusage PARAMS ((rtx, enum rtx_code,
- unsigned int));
-extern int pure_call_p PARAMS ((rtx));
-extern void remove_note PARAMS ((rtx, rtx));
-extern int side_effects_p PARAMS ((rtx));
-extern int volatile_refs_p PARAMS ((rtx));
-extern int volatile_insn_p PARAMS ((rtx));
-extern int may_trap_p PARAMS ((rtx));
-extern int inequality_comparisons_p PARAMS ((rtx));
-extern rtx replace_rtx PARAMS ((rtx, rtx, rtx));
-extern rtx replace_regs PARAMS ((rtx, rtx *, unsigned int,
- int));
-extern int replace_label PARAMS ((rtx *, void *));
-extern int rtx_referenced_p PARAMS ((rtx, rtx));
-extern bool tablejump_p PARAMS ((rtx, rtx *, rtx *));
-extern int computed_jump_p PARAMS ((rtx));
-typedef int (*rtx_function) PARAMS ((rtx *, void *));
-extern int for_each_rtx PARAMS ((rtx *, rtx_function, void *));
-extern rtx regno_use_in PARAMS ((unsigned int, rtx));
-extern int auto_inc_p PARAMS ((rtx));
-extern int in_expr_list_p PARAMS ((rtx, rtx));
-extern void remove_node_from_expr_list PARAMS ((rtx, rtx *));
-extern int insns_safe_to_move_p PARAMS ((rtx, rtx, rtx *));
-extern int loc_mentioned_in_p PARAMS ((rtx *, rtx));
-extern rtx find_first_parameter_load PARAMS ((rtx, rtx));
-extern bool keep_with_call_p PARAMS ((rtx));
+extern int rtx_addr_can_trap_p (rtx);
+extern bool nonzero_address_p (rtx);
+extern int rtx_unstable_p (rtx);
+extern int rtx_varies_p (rtx, int);
+extern int rtx_addr_varies_p (rtx, int);
+extern HOST_WIDE_INT get_integer_term (rtx);
+extern rtx get_related_value (rtx);
+extern rtx get_jump_table_offset (rtx, rtx *);
+extern int global_reg_mentioned_p (rtx);
+extern int reg_mentioned_p (rtx, rtx);
+extern int count_occurrences (rtx, rtx, int);
+extern int reg_referenced_p (rtx, rtx);
+extern int reg_used_between_p (rtx, rtx, rtx);
+extern int reg_referenced_between_p (rtx, rtx, rtx);
+extern int reg_set_between_p (rtx, rtx, rtx);
+extern int regs_set_between_p (rtx, rtx, rtx);
+extern int commutative_operand_precedence (rtx);
+extern int swap_commutative_operands_p (rtx, rtx);
+extern int modified_between_p (rtx, rtx, rtx);
+extern int no_labels_between_p (rtx, rtx);
+extern int no_jumps_between_p (rtx, rtx);
+extern int modified_in_p (rtx, rtx);
+extern int insn_dependent_p (rtx, rtx);
+extern int reg_set_p (rtx, rtx);
+extern rtx single_set_2 (rtx, rtx);
+extern int multiple_sets (rtx);
+extern int set_noop_p (rtx);
+extern int noop_move_p (rtx);
+extern rtx find_last_value (rtx, rtx *, rtx, int);
+extern int refers_to_regno_p (unsigned int, unsigned int, rtx, rtx *);
+extern int reg_overlap_mentioned_p (rtx, rtx);
+extern rtx set_of (rtx, rtx);
+extern void note_stores (rtx, void (*) (rtx, rtx, void *), void *);
+extern void note_uses (rtx *, void (*) (rtx *, void *), void *);
+extern int dead_or_set_p (rtx, rtx);
+extern int dead_or_set_regno_p (rtx, unsigned int);
+extern rtx find_reg_note (rtx, enum reg_note, rtx);
+extern rtx find_regno_note (rtx, enum reg_note, unsigned int);
+extern rtx find_reg_equal_equiv_note (rtx);
+extern int find_reg_fusage (rtx, enum rtx_code, rtx);
+extern int find_regno_fusage (rtx, enum rtx_code, unsigned int);
+extern int pure_call_p (rtx);
+extern void remove_note (rtx, rtx);
+extern int side_effects_p (rtx);
+extern int volatile_refs_p (rtx);
+extern int volatile_insn_p (rtx);
+extern int may_trap_p (rtx);
+extern int inequality_comparisons_p (rtx);
+extern rtx replace_rtx (rtx, rtx, rtx);
+extern rtx replace_regs (rtx, rtx *, unsigned int, int);
+extern int replace_label (rtx *, void *);
+extern int rtx_referenced_p (rtx, rtx);
+extern bool tablejump_p (rtx, rtx *, rtx *);
+extern int computed_jump_p (rtx);
+typedef int (*rtx_function) (rtx *, void *);
+extern int for_each_rtx (rtx *, rtx_function, void *);
+extern rtx regno_use_in (unsigned int, rtx);
+extern int auto_inc_p (rtx);
+extern int in_expr_list_p (rtx, rtx);
+extern void remove_node_from_expr_list (rtx, rtx *);
+extern int insns_safe_to_move_p (rtx, rtx, rtx *);
+extern int loc_mentioned_in_p (rtx *, rtx);
+extern rtx find_first_parameter_load (rtx, rtx);
+extern bool keep_with_call_p (rtx);
+extern bool label_is_jump_target_p (rtx, rtx);
/* flow.c */
-extern rtx find_use_as_address PARAMS ((rtx, rtx, HOST_WIDE_INT));
+extern rtx find_use_as_address (rtx, rtx, HOST_WIDE_INT);
/* lists.c */
/* regclass.c */
/* 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
+ Always at least 3, since the combiner could put that many together
and we want this to remain correct for all the remaining passes. */
extern int max_parallel;
/* Free up register info memory. */
-extern void free_reg_info PARAMS ((void));
+extern void free_reg_info (void);
/* recog.c */
-extern int asm_noperands PARAMS ((rtx));
-extern const char *decode_asm_operands PARAMS ((rtx, rtx *, rtx **,
- const char **,
- enum machine_mode *));
-
-extern enum reg_class reg_preferred_class PARAMS ((int));
-extern enum reg_class reg_alternate_class PARAMS ((int));
+extern int asm_noperands (rtx);
+extern const char *decode_asm_operands (rtx, rtx *, rtx **, const char **,
+ enum machine_mode *);
-extern rtx get_first_nonparm_insn PARAMS ((void));
+extern enum reg_class reg_preferred_class (int);
+extern enum reg_class reg_alternate_class (int);
-extern void split_all_insns PARAMS ((int));
-extern void split_all_insns_noflow PARAMS ((void));
+extern void split_all_insns (int);
+extern void split_all_insns_noflow (void);
#define MAX_SAVED_CONST_INT 64
extern GTY(()) rtx const_int_rtx[MAX_SAVED_CONST_INT * 2 + 1];
#define arg_pointer_rtx (global_rtl[GR_ARG_POINTER])
extern GTY(()) rtx pic_offset_table_rtx;
-extern GTY(()) rtx struct_value_rtx;
-extern GTY(()) rtx struct_value_incoming_rtx;
extern GTY(()) rtx static_chain_rtx;
extern GTY(()) rtx static_chain_incoming_rtx;
extern GTY(()) rtx return_address_pointer_rtx;
#ifndef NO_GENRTL_H
#include "genrtl.h"
+#ifndef USE_MAPPED_LOCATION
+#undef gen_rtx_ASM_OPERANDS
+#define gen_rtx_ASM_OPERANDS(MODE, ARG0, ARG1, ARG2, ARG3, ARG4, LOC) \
+ gen_rtx_fmt_ssiEEsi (ASM_OPERANDS, (MODE), (ARG0), (ARG1), (ARG2), (ARG3), (ARG4), (LOC).file, (LOC).line)
+#endif
#endif
/* There are some RTL codes that require special attention; the
generation functions included above do the raw handling. If you
- add to this list, modify special_rtx in gengenrtl.c as well. You
- should also modify gen_rtx to use the special function. */
-
-extern rtx gen_rtx_CONST_INT PARAMS ((enum machine_mode, HOST_WIDE_INT));
-extern rtx gen_rtx_CONST_VECTOR PARAMS ((enum machine_mode, rtvec));
-extern rtx gen_raw_REG PARAMS ((enum machine_mode, int));
-extern rtx gen_rtx_REG PARAMS ((enum machine_mode, unsigned));
-extern rtx gen_rtx_SUBREG PARAMS ((enum machine_mode, rtx, int));
-extern rtx gen_rtx_MEM PARAMS ((enum machine_mode, rtx));
+ add to this list, modify special_rtx in gengenrtl.c as well. */
-extern rtx gen_lowpart_SUBREG PARAMS ((enum machine_mode, rtx));
+extern rtx gen_rtx_CONST_INT (enum machine_mode, HOST_WIDE_INT);
+extern rtx gen_rtx_CONST_VECTOR (enum machine_mode, rtvec);
+extern rtx gen_raw_REG (enum machine_mode, int);
+extern rtx gen_rtx_REG (enum machine_mode, unsigned);
+extern rtx gen_rtx_SUBREG (enum machine_mode, rtx, int);
+extern rtx gen_rtx_MEM (enum machine_mode, rtx);
/* We need the cast here to ensure that we get the same result both with
and without prototypes. */
/* REGNUM never really appearing in the INSN stream. */
#define INVALID_REGNUM (~(unsigned int) 0)
-extern rtx find_next_ref PARAMS ((rtx, rtx));
-
-extern rtx output_constant_def PARAMS ((tree, int));
-
-/* Called from integrate.c when a deferred constant is inlined. */
-extern void notice_rtl_inlining_of_deferred_constant PARAMS ((void));
-
-/* Define a default value for STORE_FLAG_VALUE. */
-
-#ifndef STORE_FLAG_VALUE
-#define STORE_FLAG_VALUE 1
-#endif
+extern rtx output_constant_def (tree, int);
+extern rtx lookup_constant_def (tree);
/* Nonzero after the second flow pass has completed.
Set to 1 or 0 by toplev.c */
extern int reload_completed;
+/* Nonzero after thread_prologue_and_epilogue_insns has run. */
+extern int epilogue_completed;
+
/* Set to 1 while reload_as_needed is operating.
Required by some machines to handle any generated moves differently. */
REAL_ARITHMETIC. The function returns an int because the caller may not
know what `enum tree_code' means. */
-extern int rtx_to_tree_code PARAMS ((enum rtx_code));
+extern int rtx_to_tree_code (enum rtx_code);
/* In cse.c */
-struct cse_basic_block_data;
-
-/* Return the right cost to give to an operation
- to make the cost of the corresponding register-to-register instruction
- N times that of a fast register-to-register instruction. */
-#define COSTS_N_INSNS(N) ((N) * 4)
-
-/* Maximum cost of a rtl expression. This value has the special meaning
- not to use an rtx with this cost under any circumstances. */
-#define MAX_COST INT_MAX
-
-extern int rtx_cost PARAMS ((rtx, enum rtx_code));
-extern int address_cost PARAMS ((rtx, enum machine_mode));
-extern int delete_trivially_dead_insns PARAMS ((rtx, int));
+extern int delete_trivially_dead_insns (rtx, int);
#ifdef BUFSIZ
-extern int cse_main PARAMS ((rtx, int, int, FILE *));
+extern int cse_main (rtx, int, int, FILE *);
#endif
-extern void cse_end_of_basic_block PARAMS ((rtx,
- struct cse_basic_block_data *,
- int, int, int));
+extern void cse_condition_code_reg (void);
/* In jump.c */
-extern int comparison_dominates_p PARAMS ((enum rtx_code, enum rtx_code));
-extern int condjump_p PARAMS ((rtx));
-extern int any_condjump_p PARAMS ((rtx));
-extern int any_uncondjump_p PARAMS ((rtx));
-extern int safe_to_remove_jump_p PARAMS ((rtx));
-extern rtx pc_set PARAMS ((rtx));
-extern rtx condjump_label PARAMS ((rtx));
-extern int simplejump_p PARAMS ((rtx));
-extern int returnjump_p PARAMS ((rtx));
-extern int onlyjump_p PARAMS ((rtx));
-extern int only_sets_cc0_p PARAMS ((rtx));
-extern int sets_cc0_p PARAMS ((rtx));
-extern int invert_jump_1 PARAMS ((rtx, rtx));
-extern int invert_jump PARAMS ((rtx, rtx, int));
-extern int rtx_renumbered_equal_p PARAMS ((rtx, rtx));
-extern int true_regnum PARAMS ((rtx));
-extern unsigned int reg_or_subregno PARAMS ((rtx));
-extern int redirect_jump_1 PARAMS ((rtx, rtx));
-extern int redirect_jump PARAMS ((rtx, rtx, int));
-extern void rebuild_jump_labels PARAMS ((rtx));
-extern enum rtx_code reversed_comparison_code PARAMS ((rtx, rtx));
-extern enum rtx_code reversed_comparison_code_parts PARAMS ((enum rtx_code,
- rtx, rtx, rtx));
-extern void delete_for_peephole PARAMS ((rtx, rtx));
-extern int condjump_in_parallel_p PARAMS ((rtx));
-extern void never_reached_warning PARAMS ((rtx, rtx));
-extern void purge_line_number_notes PARAMS ((rtx));
-extern void copy_loop_headers PARAMS ((rtx));
+extern int comparison_dominates_p (enum rtx_code, enum rtx_code);
+extern int condjump_p (rtx);
+extern int any_condjump_p (rtx);
+extern int any_uncondjump_p (rtx);
+extern int safe_to_remove_jump_p (rtx);
+extern rtx pc_set (rtx);
+extern rtx condjump_label (rtx);
+extern int simplejump_p (rtx);
+extern int returnjump_p (rtx);
+extern int onlyjump_p (rtx);
+extern int only_sets_cc0_p (rtx);
+extern int sets_cc0_p (rtx);
+extern int invert_jump_1 (rtx, rtx);
+extern int invert_jump (rtx, rtx, int);
+extern int rtx_renumbered_equal_p (rtx, rtx);
+extern int true_regnum (rtx);
+extern unsigned int reg_or_subregno (rtx);
+extern int redirect_jump_1 (rtx, rtx);
+extern int redirect_jump (rtx, rtx, int);
+extern void rebuild_jump_labels (rtx);
+extern enum rtx_code reversed_comparison_code (rtx, rtx);
+extern enum rtx_code reversed_comparison_code_parts (enum rtx_code,
+ rtx, rtx, rtx);
+extern void delete_for_peephole (rtx, rtx);
+extern int condjump_in_parallel_p (rtx);
+extern void purge_line_number_notes (rtx);
/* In emit-rtl.c. */
-extern int max_reg_num PARAMS ((void));
-extern int max_label_num PARAMS ((void));
-extern int get_first_label_num PARAMS ((void));
-extern void delete_insns_since PARAMS ((rtx));
-extern void mark_reg_pointer PARAMS ((rtx, int));
-extern void mark_user_reg PARAMS ((rtx));
-extern void reset_used_flags PARAMS ((rtx));
-extern void reorder_insns PARAMS ((rtx, rtx, rtx));
-extern void reorder_insns_nobb PARAMS ((rtx, rtx, rtx));
-extern int get_max_uid PARAMS ((void));
-extern int in_sequence_p PARAMS ((void));
-extern void force_next_line_note PARAMS ((void));
-extern void init_emit PARAMS ((void));
-extern void init_emit_once PARAMS ((int));
-extern void push_topmost_sequence PARAMS ((void));
-extern void pop_topmost_sequence PARAMS ((void));
-extern int subreg_realpart_p PARAMS ((rtx));
-extern void reverse_comparison PARAMS ((rtx));
-extern void set_new_first_and_last_insn PARAMS ((rtx, rtx));
-extern void set_new_first_and_last_label_num PARAMS ((int, int));
-extern void set_new_last_label_num PARAMS ((int));
-extern void unshare_all_rtl_again PARAMS ((rtx));
-extern void set_first_insn PARAMS ((rtx));
-extern void set_last_insn PARAMS ((rtx));
-extern void link_cc0_insns PARAMS ((rtx));
-extern void add_insn PARAMS ((rtx));
-extern void add_insn_before PARAMS ((rtx, rtx));
-extern void add_insn_after PARAMS ((rtx, rtx));
-extern void remove_insn PARAMS ((rtx));
-extern void reorder_insns_with_line_notes PARAMS ((rtx, rtx, rtx));
-extern void emit_insn_after_with_line_notes PARAMS ((rtx, rtx, rtx));
-extern enum rtx_code classify_insn PARAMS ((rtx));
-extern rtx emit PARAMS ((rtx));
+extern int max_reg_num (void);
+extern int max_label_num (void);
+extern int get_first_label_num (void);
+extern void maybe_set_first_label_num (rtx);
+extern void delete_insns_since (rtx);
+extern void mark_reg_pointer (rtx, int);
+extern void mark_user_reg (rtx);
+extern void reset_used_flags (rtx);
+extern void set_used_flags (rtx);
+extern void reorder_insns (rtx, rtx, rtx);
+extern void reorder_insns_nobb (rtx, rtx, rtx);
+extern int get_max_uid (void);
+extern int in_sequence_p (void);
+extern void force_next_line_note (void);
+extern void init_emit (void);
+extern void init_emit_once (int);
+extern void push_topmost_sequence (void);
+extern void pop_topmost_sequence (void);
+extern void reverse_comparison (rtx);
+extern void set_new_first_and_last_insn (rtx, rtx);
+extern void set_new_last_label_num (int);
+extern void unshare_all_rtl (void);
+extern void unshare_all_rtl_again (rtx);
+extern void unshare_all_rtl_in_chain (rtx);
+extern void verify_rtl_sharing (void);
+extern void set_first_insn (rtx);
+extern void set_last_insn (rtx);
+extern void link_cc0_insns (rtx);
+extern void add_insn (rtx);
+extern void add_insn_before (rtx, rtx);
+extern void add_insn_after (rtx, rtx);
+extern void remove_insn (rtx);
+extern void emit_insn_after_with_line_notes (rtx, rtx, rtx);
+extern enum rtx_code classify_insn (rtx);
+extern rtx emit (rtx);
/* Query and clear/ restore no_line_numbers. This is used by the
switch / case handling in stmt.c to give proper line numbers in
warnings about unreachable code. */
-int force_line_numbers PARAMS ((void));
-void restore_line_number_status PARAMS ((int old_value));
-extern void renumber_insns PARAMS ((FILE *));
-extern void remove_unnecessary_notes PARAMS ((void));
-extern rtx delete_insn PARAMS ((rtx));
-extern void delete_insn_chain PARAMS ((rtx, rtx));
-extern rtx delete_insn_and_edges PARAMS ((rtx));
-extern void delete_insn_chain_and_edges PARAMS ((rtx, rtx));
+int force_line_numbers (void);
+void restore_line_number_status (int old_value);
+extern void renumber_insns (FILE *);
+extern void remove_unnecessary_notes (void);
+extern rtx delete_insn (rtx);
+extern rtx entry_of_function (void);
+extern void delete_insn_chain (rtx, rtx);
+extern rtx unlink_insn_chain (rtx, rtx);
+extern rtx delete_insn_and_edges (rtx);
+extern void delete_insn_chain_and_edges (rtx, rtx);
+extern rtx gen_lowpart_SUBREG (enum machine_mode, rtx);
/* In combine.c */
-extern int combine_instructions PARAMS ((rtx, unsigned int));
-extern unsigned int extended_count PARAMS ((rtx, enum machine_mode, int));
-extern rtx remove_death PARAMS ((unsigned int, rtx));
+extern int combine_instructions (rtx, unsigned int);
+extern unsigned int extended_count (rtx, enum machine_mode, int);
+extern rtx remove_death (unsigned int, rtx);
+#ifdef BUFSIZ
+extern void dump_combine_stats (FILE *);
+extern void dump_combine_total_stats (FILE *);
+#endif
+/* In web.c */
+extern void web_main (void);
+
+/* In sched-rgn.c. */
#ifdef BUFSIZ
-extern void dump_combine_stats PARAMS ((FILE *));
-extern void dump_combine_total_stats PARAMS ((FILE *));
+extern void schedule_insns (FILE *);
#endif
-/* In sched.c. */
+/* In sched-ebb.c. */
#ifdef BUFSIZ
-extern void schedule_insns PARAMS ((FILE *));
-extern void schedule_ebbs PARAMS ((FILE *));
+extern void schedule_ebbs (FILE *);
#endif
-extern void fix_sched_param PARAMS ((const char *, const char *));
+
+/* In haifa-sched.c. */
+extern void fix_sched_param (const char *, const char *);
/* In print-rtl.c */
extern const char *print_rtx_head;
-extern void debug_rtx PARAMS ((rtx));
-extern void debug_rtx_list PARAMS ((rtx, int));
-extern void debug_rtx_range PARAMS ((rtx, rtx));
-extern rtx debug_rtx_find PARAMS ((rtx, int));
+extern void debug_rtx (rtx);
+extern void debug_rtx_list (rtx, int);
+extern void debug_rtx_range (rtx, rtx);
+extern rtx debug_rtx_find (rtx, int);
#ifdef BUFSIZ
-extern void print_mem_expr PARAMS ((FILE *, tree));
-extern void print_rtl PARAMS ((FILE *, rtx));
-extern void print_simple_rtl PARAMS ((FILE *, rtx));
-extern int print_rtl_single PARAMS ((FILE *, rtx));
-extern void print_inline_rtx PARAMS ((FILE *, rtx, int));
+extern void print_mem_expr (FILE *, tree);
+extern void print_rtl (FILE *, rtx);
+extern void print_simple_rtl (FILE *, rtx);
+extern int print_rtl_single (FILE *, rtx);
+extern void print_inline_rtx (FILE *, rtx, int);
#endif
/* In loop.c */
-extern void init_loop PARAMS ((void));
-extern rtx libcall_other_reg PARAMS ((rtx, rtx));
+extern void init_loop (void);
#ifdef BUFSIZ
-extern void loop_optimize PARAMS ((rtx, FILE *, int));
+extern void loop_optimize (rtx, FILE *, int);
#endif
-extern void record_excess_regs PARAMS ((rtx, rtx, rtx *));
+extern void branch_target_load_optimize (bool);
/* In function.c */
-extern void reposition_prologue_and_epilogue_notes PARAMS ((rtx));
-extern void thread_prologue_and_epilogue_insns PARAMS ((rtx));
-extern int prologue_epilogue_contains PARAMS ((rtx));
-extern int sibcall_epilogue_contains PARAMS ((rtx));
-extern void preserve_rtl_expr_result PARAMS ((rtx));
-extern void mark_temp_addr_taken PARAMS ((rtx));
-extern void update_temp_slot_address PARAMS ((rtx, rtx));
-extern void purge_addressof PARAMS ((rtx));
-extern void purge_hard_subreg_sets PARAMS ((rtx));
+extern void reposition_prologue_and_epilogue_notes (rtx);
+extern void thread_prologue_and_epilogue_insns (rtx);
+extern int prologue_epilogue_contains (rtx);
+extern int sibcall_epilogue_contains (rtx);
+extern void mark_temp_addr_taken (rtx);
+extern void update_temp_slot_address (rtx, rtx);
+extern void purge_addressof (rtx);
+extern void purge_hard_subreg_sets (rtx);
/* In stmt.c */
-extern void set_file_and_line_for_stmt PARAMS ((const char *, int));
-extern void expand_null_return PARAMS ((void));
-extern void emit_jump PARAMS ((rtx));
-extern int preserve_subexpressions_p PARAMS ((void));
+extern void set_file_and_line_for_stmt (location_t);
+extern void expand_null_return (void);
+extern void expand_naked_return (void);
+extern void emit_jump (rtx);
+extern int preserve_subexpressions_p (void);
/* In expr.c */
-extern void move_by_pieces PARAMS ((rtx, rtx,
- unsigned HOST_WIDE_INT,
- unsigned int));
+extern rtx move_by_pieces (rtx, rtx, unsigned HOST_WIDE_INT,
+ unsigned int, int);
/* In flow.c */
-extern void recompute_reg_usage PARAMS ((rtx, int));
-extern int initialize_uninitialized_subregs PARAMS ((void));
-extern void delete_dead_jumptables PARAMS ((void));
+extern void recompute_reg_usage (rtx, int);
+extern int initialize_uninitialized_subregs (void);
+extern void delete_dead_jumptables (void);
#ifdef BUFSIZ
-extern void print_rtl_with_bb PARAMS ((FILE *, rtx));
-extern void dump_flow_info PARAMS ((FILE *));
+extern void print_rtl_with_bb (FILE *, rtx);
+extern void dump_flow_info (FILE *);
#endif
/* In expmed.c */
-extern void init_expmed PARAMS ((void));
-extern void expand_inc PARAMS ((rtx, rtx));
-extern void expand_dec PARAMS ((rtx, rtx));
-extern rtx expand_mult_highpart PARAMS ((enum machine_mode, rtx,
- unsigned HOST_WIDE_INT, rtx,
- int, int));
+extern void init_expmed (void);
+extern void expand_inc (rtx, rtx);
+extern void expand_dec (rtx, rtx);
+extern rtx expand_mult_highpart (enum machine_mode, rtx,
+ unsigned HOST_WIDE_INT, rtx, int, int);
/* In gcse.c */
-extern bool can_copy_p PARAMS ((enum machine_mode));
+extern bool can_copy_p (enum machine_mode);
+extern rtx fis_get_condition (rtx);
#ifdef BUFSIZ
-extern int gcse_main PARAMS ((rtx, FILE *));
-extern int bypass_jumps PARAMS ((FILE *));
+extern int gcse_main (rtx, FILE *);
+extern int bypass_jumps (FILE *);
+extern void gcse_after_reload_main (rtx, FILE *);
#endif
/* In global.c */
-extern void mark_elimination PARAMS ((int, int));
+extern void mark_elimination (int, int);
#ifdef BUFSIZ
-extern int global_alloc PARAMS ((FILE *));
-extern void dump_global_regs PARAMS ((FILE *));
+extern int global_alloc (FILE *);
+extern void dump_global_regs (FILE *);
#endif
#ifdef HARD_CONST
/* Yes, this ifdef is silly, but HARD_REG_SET is not always defined. */
-extern void retry_global_alloc PARAMS ((int, HARD_REG_SET));
+extern void retry_global_alloc (int, HARD_REG_SET);
#endif
-extern void build_insn_chain PARAMS ((rtx));
+extern void build_insn_chain (rtx);
/* In regclass.c */
-extern int reg_classes_intersect_p PARAMS ((enum reg_class, enum reg_class));
-extern int reg_class_subset_p PARAMS ((enum reg_class, enum reg_class));
-extern void globalize_reg PARAMS ((int));
-extern void init_regs PARAMS ((void));
-extern void init_fake_stack_mems PARAMS ((void));
-extern void init_reg_sets PARAMS ((void));
-extern void regset_release_memory PARAMS ((void));
-extern void regclass_init PARAMS ((void));
-extern void regclass PARAMS ((rtx, int, FILE *));
-extern void reg_scan PARAMS ((rtx, unsigned int, int));
-extern void reg_scan_update PARAMS ((rtx, rtx, unsigned int));
-extern void fix_register PARAMS ((const char *, int, int));
+extern int reg_classes_intersect_p (enum reg_class, enum reg_class);
+extern int reg_class_subset_p (enum reg_class, enum reg_class);
+extern void globalize_reg (int);
+extern void init_reg_modes_once (void);
+extern void init_regs (void);
+extern void init_fake_stack_mems (void);
+extern void init_reg_sets (void);
+extern void regset_release_memory (void);
+extern void regclass_init (void);
+extern void regclass (rtx, int, FILE *);
+extern void reg_scan (rtx, unsigned int, int);
+extern void reg_scan_update (rtx, rtx, unsigned int);
+extern void fix_register (const char *, int, int);
#ifdef HARD_CONST
-extern void cannot_change_mode_set_regs PARAMS ((HARD_REG_SET *,
- enum machine_mode,
- unsigned int));
+extern void cannot_change_mode_set_regs (HARD_REG_SET *,
+ enum machine_mode, unsigned int);
#endif
-extern bool invalid_mode_change_p PARAMS ((unsigned int,
- enum reg_class,
- enum machine_mode));
-
-extern int delete_null_pointer_checks PARAMS ((rtx));
+extern bool invalid_mode_change_p (unsigned int, enum reg_class,
+ enum machine_mode);
/* In regmove.c */
#ifdef BUFSIZ
-extern void regmove_optimize PARAMS ((rtx, int, FILE *));
+extern void regmove_optimize (rtx, int, FILE *);
#endif
-extern void combine_stack_adjustments PARAMS ((void));
+extern void combine_stack_adjustments (void);
/* In reorg.c */
#ifdef BUFSIZ
-extern void dbr_schedule PARAMS ((rtx, FILE *));
+extern void dbr_schedule (rtx, FILE *);
#endif
/* In local-alloc.c */
#ifdef BUFSIZ
-extern void dump_local_alloc PARAMS ((FILE *));
+extern void dump_local_alloc (FILE *);
#endif
-extern int local_alloc PARAMS ((void));
-extern int function_invariant_p PARAMS ((rtx));
-
-/* In coverage.c */
-extern void coverage_init (const char *);
-extern void coverage_finish (void);
-extern void coverage_end_function (void);
-
-/* In profile.c */
-extern void init_branch_prob PARAMS ((void));
-extern void branch_prob PARAMS ((void));
-extern void end_branch_prob PARAMS ((void));
+extern int local_alloc (void);
/* In reg-stack.c */
#ifdef BUFSIZ
-extern bool reg_to_stack PARAMS ((rtx, FILE *));
+extern bool reg_to_stack (FILE *);
#endif
-/* In fold-const.c */
-extern int add_double PARAMS ((unsigned HOST_WIDE_INT, HOST_WIDE_INT,
- unsigned HOST_WIDE_INT, HOST_WIDE_INT,
- unsigned HOST_WIDE_INT *,
- HOST_WIDE_INT *));
-extern int neg_double PARAMS ((unsigned HOST_WIDE_INT, HOST_WIDE_INT,
- unsigned HOST_WIDE_INT *,
- HOST_WIDE_INT *));
-extern int mul_double PARAMS ((unsigned HOST_WIDE_INT,
- HOST_WIDE_INT,
- unsigned HOST_WIDE_INT, HOST_WIDE_INT,
- unsigned HOST_WIDE_INT *,
- HOST_WIDE_INT *));
-extern void lshift_double PARAMS ((unsigned HOST_WIDE_INT, HOST_WIDE_INT,
- HOST_WIDE_INT, unsigned int,
- unsigned HOST_WIDE_INT *,
- HOST_WIDE_INT *, int));
-extern void rshift_double PARAMS ((unsigned HOST_WIDE_INT, HOST_WIDE_INT,
- HOST_WIDE_INT, unsigned int,
- unsigned HOST_WIDE_INT *,
- HOST_WIDE_INT *, int));
-extern void lrotate_double PARAMS ((unsigned HOST_WIDE_INT, HOST_WIDE_INT,
- HOST_WIDE_INT, unsigned int,
- unsigned HOST_WIDE_INT *,
- HOST_WIDE_INT *));
-extern void rrotate_double PARAMS ((unsigned HOST_WIDE_INT, HOST_WIDE_INT,
- HOST_WIDE_INT, unsigned int,
- unsigned HOST_WIDE_INT *,
- HOST_WIDE_INT *));
-
/* In calls.c */
enum libcall_type
{
LCT_RETURNS_TWICE = 8
};
-extern void emit_library_call PARAMS ((rtx, enum libcall_type,
- enum machine_mode, int,
- ...));
-extern rtx emit_library_call_value PARAMS ((rtx, rtx, enum libcall_type,
- enum machine_mode, int,
- ...));
+extern void emit_library_call (rtx, enum libcall_type, enum machine_mode, int,
+ ...);
+extern rtx emit_library_call_value (rtx, rtx, enum libcall_type,
+ enum machine_mode, int, ...);
/* In unroll.c */
-extern int set_dominates_use PARAMS ((int, int, int, rtx, rtx));
+extern int set_dominates_use (int, int, int, rtx, rtx);
/* In varasm.c */
-extern int in_data_section PARAMS ((void));
-extern void init_varasm_once PARAMS ((void));
+extern int in_data_section (void);
+extern void init_varasm_once (void);
/* In rtl.c */
-extern void init_rtl PARAMS ((void));
-extern void traverse_md_constants PARAMS ((int (*) (void **, void *),
- void *));
+extern void init_rtl (void);
+extern void traverse_md_constants (int (*) (void **, void *), void *);
struct md_constant { char *name, *value; };
#ifdef BUFSIZ
-extern int read_skip_spaces PARAMS ((FILE *));
-extern rtx read_rtx PARAMS ((FILE *));
+extern int read_skip_spaces (FILE *);
+extern rtx read_rtx (FILE *);
#endif
extern const char *read_rtx_filename;
special abort includes one or both. toplev.h gets too few files,
system.h gets too many. */
-extern void fancy_abort PARAMS ((const char *, int, const char *))
+extern void fancy_abort (const char *, int, const char *)
ATTRIBUTE_NORETURN;
#define abort() fancy_abort (__FILE__, __LINE__, __FUNCTION__)
/* In alias.c */
-extern void clear_reg_alias_info PARAMS ((rtx));
-extern rtx canon_rtx PARAMS ((rtx));
-extern int true_dependence PARAMS ((rtx, enum machine_mode, rtx,
- int (*)(rtx, int)));
-extern rtx get_addr PARAMS ((rtx));
-extern int canon_true_dependence PARAMS ((rtx, enum machine_mode, rtx,
- rtx, int (*)(rtx, int)));
-extern int read_dependence PARAMS ((rtx, rtx));
-extern int anti_dependence PARAMS ((rtx, rtx));
-extern int output_dependence PARAMS ((rtx, rtx));
-extern void mark_constant_function PARAMS ((void));
-extern void init_alias_once PARAMS ((void));
-extern void init_alias_analysis PARAMS ((void));
-extern void end_alias_analysis PARAMS ((void));
-extern rtx addr_side_effect_eval PARAMS ((rtx, int, int));
-extern bool memory_modified_in_insn_p PARAMS ((rtx, rtx));
-extern rtx find_base_term PARAMS ((rtx));
-
-/* In sibcall.c */
-typedef enum {
- sibcall_use_normal = 1,
- sibcall_use_tail_recursion,
- sibcall_use_sibcall
-} sibcall_use_t;
-
-extern void optimize_sibling_and_tail_recursive_calls PARAMS ((void));
-extern void replace_call_placeholder PARAMS ((rtx, sibcall_use_t));
+extern void clear_reg_alias_info (rtx);
+extern rtx canon_rtx (rtx);
+extern int true_dependence (rtx, enum machine_mode, rtx, int (*)(rtx, int));
+extern rtx get_addr (rtx);
+extern int canon_true_dependence (rtx, enum machine_mode, rtx, rtx,
+ int (*)(rtx, int));
+extern int read_dependence (rtx, rtx);
+extern int anti_dependence (rtx, rtx);
+extern int output_dependence (rtx, rtx);
+extern int unchanging_anti_dependence (rtx, rtx);
+extern void mark_constant_function (void);
+extern void init_alias_once (void);
+extern void init_alias_analysis (void);
+extern void end_alias_analysis (void);
+extern rtx addr_side_effect_eval (rtx, int, int);
+extern bool memory_modified_in_insn_p (rtx, rtx);
+extern rtx find_base_term (rtx);
+extern rtx gen_hard_reg_clobber (enum machine_mode, unsigned int);
+extern rtx get_reg_known_value (unsigned int);
+extern bool get_reg_known_equiv_p (unsigned int);
#ifdef STACK_REGS
-extern int stack_regs_mentioned PARAMS ((rtx insn));
+extern int stack_regs_mentioned (rtx insn);
#endif
/* In toplev.c */
extern GTY(()) rtx stack_limit_rtx;
/* In regrename.c */
-extern void regrename_optimize PARAMS ((void));
-extern void copyprop_hardreg_forward PARAMS ((void));
+extern void regrename_optimize (void);
+extern void copyprop_hardreg_forward (void);
/* In ifcvt.c */
-extern void if_convert PARAMS ((int));
+extern void if_convert (int);
/* In predict.c */
-extern void invert_br_probabilities PARAMS ((rtx));
-extern bool expensive_function_p PARAMS ((int));
+extern void invert_br_probabilities (rtx);
+extern bool expensive_function_p (int);
/* In tracer.c */
-extern void tracer PARAMS ((void));
+extern void tracer (void);
-/* In calls.c */
+/* In var-tracking.c */
+extern void variable_tracking_main (void);
+
+/* In stor-layout.c. */
+extern void get_mode_bounds (enum machine_mode, int, enum machine_mode,
+ rtx *, rtx *);
+
+/* In loop-unswitch.c */
+extern rtx reversed_condition (rtx);
+extern rtx compare_and_jump_seq (rtx, rtx, enum rtx_code, rtx, int, rtx);
+
+/* In loop-iv.c */
+extern rtx canon_condition (rtx);
+extern void simplify_using_condition (rtx, rtx *, struct bitmap_head_def *);
+
+/* In ra.c. */
+extern void reg_alloc (void);
+
+/* In modulo-sched.c. */
+#ifdef BUFSIZ
+extern void sms_schedule (FILE *);
+#endif
+\f
+struct rtl_hooks
+{
+ rtx (*gen_lowpart) (enum machine_mode, rtx);
+ rtx (*reg_nonzero_bits) (rtx, enum machine_mode, rtx, enum machine_mode,
+ unsigned HOST_WIDE_INT, unsigned HOST_WIDE_INT *);
+ rtx (*reg_num_sign_bit_copies) (rtx, enum machine_mode, rtx, enum machine_mode,
+ unsigned int, unsigned int *);
+
+ /* Whenever you add entries here, make sure you adjust hosthooks-def.h. */
+};
+
+/* Each pass can provide its own. */
+extern struct rtl_hooks rtl_hooks;
+
+/* ... but then it has to restore these. */
+extern const struct rtl_hooks general_rtl_hooks;
-/* Nonzero if this is a call to a `const' function. */
-#define ECF_CONST 1
-/* Nonzero if this is a call to a `volatile' function. */
-#define ECF_NORETURN 2
-/* Nonzero if this is a call to malloc or a related function. */
-#define ECF_MALLOC 4
-/* Nonzero if it is plausible that this is a call to alloca. */
-#define ECF_MAY_BE_ALLOCA 8
-/* Nonzero if this is a call to a function that won't throw an exception. */
-#define ECF_NOTHROW 16
-/* Nonzero if this is a call to setjmp or a related function. */
-#define ECF_RETURNS_TWICE 32
-/* Nonzero if this is a call to `longjmp'. */
-#define ECF_LONGJMP 64
-/* Nonzero if this is a syscall that makes a new process in the image of
- the current one. */
-#define ECF_FORK_OR_EXEC 128
-#define ECF_SIBCALL 256
-/* Nonzero if this is a call to "pure" function (like const function,
- but may read memory. */
-#define ECF_PURE 512
-/* Nonzero if this is a call to a function that returns with the stack
- pointer depressed. */
-#define ECF_SP_DEPRESSED 1024
-/* Nonzero if this call is known to always return. */
-#define ECF_ALWAYS_RETURN 2048
-/* Create libcall block around the call. */
-#define ECF_LIBCALL_BLOCK 4096
-
-extern int flags_from_decl_or_type PARAMS ((tree));
+/* Keep this for the nonce. */
+#define gen_lowpart rtl_hooks.gen_lowpart
#endif /* ! GCC_RTL_H */
OSDN Git Service
