]> gcc.gnu.org Git - gcc.git/blame - gcc/rtl.h
git://gcc.gnu.org / gcc.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
impint.C: New test.
[gcc.git] / gcc / rtl.h
CommitLineData
6f29feb1 1/* Register Transfer Language (RTL) definitions for GNU C-Compiler
af841dbd
JL		 2 Copyright (C) 1987, 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998,
3 1999, 2000 Free Software Foundation, Inc.
6f29feb1
JW		 4
5This file is part of GNU CC.
6
7GNU CC is free software; you can redistribute it and/or modify
8it under the terms of the GNU General Public License as published by
9the Free Software Foundation; either version 2, or (at your option)
10any later version.
11
12GNU CC is distributed in the hope that it will be useful,
13but WITHOUT ANY WARRANTY; without even the implied warranty of
14MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15GNU General Public License for more details.
16
17You should have received a copy of the GNU General Public License
18along with GNU CC; see the file COPYING. If not, write to
e99215a3
RK		 19the Free Software Foundation, 59 Temple Place - Suite 330,
20Boston, MA 02111-1307, USA. */
6f29feb1 21
ac957f13
JL		 22#ifndef _RTL_H
23#define _RTL_H
6f29feb1 24
36edd3cc
BS		 25struct function;
26
6f29feb1
JW		 27#include "machmode.h"
28
29#undef FFS /* Some systems predefine this symbol; don't let it interfere. */
1cfc3092 30#undef FLOAT /* Likewise. */
ac889e46 31#undef ABS /* Likewise. */
71ae9cc6 32#undef PC /* Likewise. */
6f29feb1 33
88efc60a
RK		 34#ifndef TREE_CODE
35union tree_node;
36#endif
37
6f29feb1
JW		 38/* Register Transfer Language EXPRESSIONS CODES */
39
40#define RTX_CODE enum rtx_code
41enum rtx_code {
42
43#define DEF_RTL_EXPR(ENUM, NAME, FORMAT, CLASS) ENUM ,
44#include "rtl.def" /* rtl expressions are documented here */
45#undef DEF_RTL_EXPR
46
6dc42e49 47 LAST_AND_UNUSED_RTX_CODE}; /* A convenient way to get a value for
6f29feb1 48 NUM_RTX_CODE.
6dc42e49 49 Assumes default enum value assignment. */
6f29feb1
JW		 50
51#define NUM_RTX_CODE ((int)LAST_AND_UNUSED_RTX_CODE)
52 /* The cast here, saves many elsewhere. */
53
aa0b4465 54extern const int rtx_length[];
0f41302f 55#define GET_RTX_LENGTH(CODE) (rtx_length[(int) (CODE)])
6f29feb1 56
5f06c983 57extern const char * const rtx_name[];
0f41302f 58#define GET_RTX_NAME(CODE) (rtx_name[(int) (CODE)])
6f29feb1 59
aa0b4465 60extern const char * const rtx_format[];
0f41302f 61#define GET_RTX_FORMAT(CODE) (rtx_format[(int) (CODE)])
6f29feb1 62
1f9a015e 63extern const char rtx_class[];
0f41302f 64#define GET_RTX_CLASS(CODE) (rtx_class[(int) (CODE)])
6f29feb1 65\f
33f7f353
JR		 66/* The flags and bitfields of an ADDR_DIFF_VEC. BASE is the base label
67 relative to which the offsets are calculated, as explained in rtl.def. */
68typedef struct
69{
70 /* Set at the start of shorten_branches - ONLY WHEN OPTIMIZING - : */
71 unsigned min_align: 8;
72 /* Flags: */
73 unsigned base_after_vec: 1; /* BASE is after the ADDR_DIFF_VEC. */
74 unsigned min_after_vec: 1; /* minimum address target label is after the ADDR_DIFF_VEC. */
75 unsigned max_after_vec: 1; /* maximum address target label is after the ADDR_DIFF_VEC. */
76 unsigned min_after_base: 1; /* minimum address target label is after BASE. */
77 unsigned max_after_base: 1; /* maximum address target label is after BASE. */
78 /* Set by the actual branch shortening process - ONLY WHEN OPTIMIZING - : */
79 unsigned offset_unsigned: 1; /* offsets have to be treated as unsigned. */
80 unsigned : 2;
81 unsigned scale : 8;
82} addr_diff_vec_flags;
83
6f29feb1
JW		 84/* Common union for an element of an rtx. */
85
86typedef union rtunion_def
87{
5f4f0e22 88 HOST_WIDE_INT rtwint;
6f29feb1
JW		 89 int rtint;
90 char *rtstr;
91 struct rtx_def *rtx;
92 struct rtvec_def *rtvec;
93 enum machine_mode rttype;
33f7f353 94 addr_diff_vec_flags rt_addr_diff_vec_flags;
0dfa1860
MM		 95 struct bitmap_head_def *rtbit;
96 union tree_node *rttree;
e881bb1b 97 struct basic_block_def *bb;
6f29feb1
JW		 98} rtunion;
99
100/* RTL expression ("rtx"). */
101
102typedef struct rtx_def
103{
104#ifdef ONLY_INT_FIELDS
10c344b4 105#ifdef CODE_FIELD_BUG
005537df 106 unsigned int code : 16;
10c344b4 107#else
6f29feb1 108 unsigned short code;
10c344b4 109#endif
6f29feb1
JW		 110#else
111 /* The kind of expression this is. */
005537df 112 enum rtx_code code : 16;
6f29feb1 113#endif
18def38f 114
6f29feb1
JW		 115 /* The kind of value the expression has. */
116#ifdef ONLY_INT_FIELDS
117 int mode : 8;
118#else
119 enum machine_mode mode : 8;
120#endif
10c5bca8 121 /* LINK_COST_ZERO in an INSN_LIST. */
6f29feb1 122 unsigned int jump : 1;
10c5bca8 123 /* LINK_COST_FREE in an INSN_LIST. */
6f29feb1
JW		 124 unsigned int call : 1;
125 /* 1 in a MEM or REG if value of this expression will never change
126 during the current function, even though it is not
127 manifestly constant.
07be3989 128 1 in a SUBREG if it is from a promoted variable that is unsigned.
6f29feb1
JW		 129 1 in a SYMBOL_REF if it addresses something in the per-function
130 constants pool.
131 1 in a CALL_INSN if it is a const call.
132 1 in a JUMP_INSN if it is a branch that should be annulled. Valid from
133 reorg until end of compilation; cleared before used. */
134 unsigned int unchanging : 1;
135 /* 1 in a MEM expression if contents of memory are volatile.
136 1 in an INSN, CALL_INSN, JUMP_INSN, CODE_LABEL or BARRIER
137 if it is deleted.
138 1 in a REG expression if corresponds to a variable declared by the user.
139 0 for an internally generated temporary.
2a406d2a
RS		 140 In a SYMBOL_REF, this flag is used for machine-specific purposes.
141 In a LABEL_REF or in a REG_LABEL note, this is LABEL_REF_NONLOCAL_P. */
6f29feb1 142 unsigned int volatil : 1;
8358a974 143 /* 1 in a MEM referring to a field of an aggregate.
6f29feb1
JW		 144 0 if the MEM was a variable or the result of a * operator in C;
145 1 if it was the result of a . or -> operator (on a struct) in C.
146 1 in a REG if the register is used only in exit code a loop.
07be3989
RK		 147 1 in a SUBREG expression if was generated from a variable with a
148 promoted mode.
6f29feb1
JW		 149 1 in a CODE_LABEL if the label is used for nonlocal gotos
150 and must not be deleted even if its count is zero.
151 1 in a LABEL_REF if this is a reference to a label outside the
152 current loop.
153 1 in an INSN, JUMP_INSN, or CALL_INSN if this insn must be scheduled
d45cf215 154 together with the preceding insn. Valid only within sched.
6f29feb1
JW		 155 1 in an INSN, JUMP_INSN, or CALL_INSN if insn is in a delay slot and
156 from the target of a branch. Valid from reorg until end of compilation;
157 cleared before used. */
158 unsigned int in_struct : 1;
159 /* 1 if this rtx is used. This is used for copying shared structure.
160 See `unshare_all_rtl'.
161 In a REG, this is not needed for that purpose, and used instead
162 in `leaf_renumber_regs_insn'.
163 In a SYMBOL_REF, means that emit_library_call
164 has used it as the function. */
165 unsigned int used : 1;
166 /* Nonzero if this rtx came from procedure integration.
167 In a REG, nonzero means this reg refers to the return value
168 of the current function. */
169 unsigned integrated : 1;
b664de3a 170 /* 1 in an INSN or a SET if this rtx is related to the call frame,
c6df88cb
MM		 171 either changing how we compute the frame address or saving and
172 restoring registers in the prologue and epilogue.
173 1 in a MEM if the MEM refers to a scalar, rather than a member of
174 an aggregate. */
469ac993 175 unsigned frame_related : 1;
0a25f1f5 176
6f29feb1
JW		 177 /* The first element of the operands of this rtx.
178 The number of operands and their types are controlled
179 by the `code' field, according to rtl.def. */
180 rtunion fld[1];
181} *rtx;
182
183#define NULL_RTX (rtx) 0
184
185/* Define macros to access the `code' field of the rtx. */
186
187#ifdef SHORT_ENUM_BUG
188#define GET_CODE(RTX) ((enum rtx_code) ((RTX)->code))
189#define PUT_CODE(RTX, CODE) ((RTX)->code = ((short) (CODE)))
190#else
191#define GET_CODE(RTX) ((RTX)->code)
192#define PUT_CODE(RTX, CODE) ((RTX)->code = (CODE))
193#endif
194
195#define GET_MODE(RTX) ((RTX)->mode)
196#define PUT_MODE(RTX, MODE) ((RTX)->mode = (MODE))
197
198#define RTX_INTEGRATED_P(RTX) ((RTX)->integrated)
199#define RTX_UNCHANGING_P(RTX) ((RTX)->unchanging)
469ac993 200#define RTX_FRAME_RELATED_P(RTX) ((RTX)->frame_related)
6f29feb1
JW		 201
202/* RTL vector. These appear inside RTX's when there is a need
203 for a variable number of things. The principle use is inside
204 PARALLEL expressions. */
205
206typedef struct rtvec_def{
e9a25f70 207 int num_elem; /* number of elements */
8f985ec4 208 struct rtx_def *elem[1];
6f29feb1
JW		 209} *rtvec;
210
211#define NULL_RTVEC (rtvec) 0
212
213#define GET_NUM_ELEM(RTVEC) ((RTVEC)->num_elem)
e9a25f70 214#define PUT_NUM_ELEM(RTVEC, NUM) ((RTVEC)->num_elem = (NUM))
6f29feb1 215
6f29feb1
JW		 216/* 1 if X is a REG. */
217
218#define REG_P(X) (GET_CODE (X) == REG)
219
220/* 1 if X is a constant value that is an integer. */
221
222#define CONSTANT_P(X) \
223 (GET_CODE (X) == LABEL_REF || GET_CODE (X) == SYMBOL_REF \
224 || GET_CODE (X) == CONST_INT || GET_CODE (X) == CONST_DOUBLE \
ee5332b8
RH		 225 || GET_CODE (X) == CONST || GET_CODE (X) == HIGH \
226 || GET_CODE (X) == CONSTANT_P_RTX)
6f29feb1
JW		 227
228/* General accessor macros for accessing the fields of an rtx. */
229
f4524c9e 230#if defined ENABLE_RTL_CHECKING && (GCC_VERSION >= 2007)
ef178af3
ZW		 231/* The bit with a star outside the statement expr and an & inside is
232 so that N can be evaluated only once. */
233#define RTL_CHECK1(RTX, N, C1) \
83ab3839 234(*({ rtx _rtx = (RTX); int _n = (N); \
ef178af3
ZW		 235 enum rtx_code _code = GET_CODE (_rtx); \
236 if (_n < 0 || _n >= GET_RTX_LENGTH (_code)) \
237 rtl_check_failed_bounds (_rtx, _n, __FILE__, __LINE__, \
238 __PRETTY_FUNCTION__); \
239 if (GET_RTX_FORMAT(_code)[_n] != C1) \
240 rtl_check_failed_type1 (_rtx, _n, C1, __FILE__, __LINE__, \
241 __PRETTY_FUNCTION__); \
242 &_rtx->fld[_n]; }))
243
244#define RTL_CHECK2(RTX, N, C1, C2) \
83ab3839 245(*({ rtx _rtx = (RTX); int _n = (N); \
ef178af3
ZW		 246 enum rtx_code _code = GET_CODE (_rtx); \
247 if (_n < 0 || _n >= GET_RTX_LENGTH (_code)) \
248 rtl_check_failed_bounds (_rtx, _n, __FILE__, __LINE__, \
249 __PRETTY_FUNCTION__); \
250 if (GET_RTX_FORMAT(_code)[_n] != C1 \
251 && GET_RTX_FORMAT(_code)[_n] != C2) \
252 rtl_check_failed_type2 (_rtx, _n, C1, C2, __FILE__, __LINE__, \
253 __PRETTY_FUNCTION__); \
254 &_rtx->fld[_n]; }))
255
83ab3839
RH		 256#define RTL_CHECKC1(RTX, N, C) \
257(*({ rtx _rtx = (RTX); int _n = (N); \
258 if (GET_CODE (_rtx) != C) \
259 rtl_check_failed_code1 (_rtx, C, __FILE__, __LINE__, \
260 __PRETTY_FUNCTION__); \
261 &_rtx->fld[_n]; }))
262
263#define RTL_CHECKC2(RTX, N, C1, C2) \
264(*({ rtx _rtx = (RTX); int _n = (N); \
265 enum rtx_code _code = GET_CODE (_rtx); \
266 if (_code != C1 && _code != C2) \
267 rtl_check_failed_code2 (_rtx, C1, C2, __FILE__, __LINE__, \
268 __PRETTY_FUNCTION__); \
269 &_rtx->fld[_n]; }))
270
ef178af3 271#define RTVEC_ELT(RTVEC, I) \
83ab3839 272(*({ rtvec _rtvec = (RTVEC); int _i = (I); \
ef178af3
ZW		 273 if (_i < 0 || _i >= GET_NUM_ELEM (_rtvec)) \
274 rtvec_check_failed_bounds (_rtvec, _i, __FILE__, __LINE__, \
275 __PRETTY_FUNCTION__); \
276 &_rtvec->elem[_i]; }))
277
cdadb1dd 278extern void rtl_check_failed_bounds PARAMS ((rtx, int,
ef178af3
ZW		 279 const char *, int, const char *))
280 ATTRIBUTE_NORETURN;
cdadb1dd 281extern void rtl_check_failed_type1 PARAMS ((rtx, int, int,
ef178af3
ZW		 282 const char *, int, const char *))
283 ATTRIBUTE_NORETURN;
cdadb1dd 284extern void rtl_check_failed_type2 PARAMS ((rtx, int, int, int,
ef178af3
ZW		 285 const char *, int, const char *))
286 ATTRIBUTE_NORETURN;
cdadb1dd 287extern void rtl_check_failed_code1 PARAMS ((rtx, enum rtx_code,
83ab3839
RH		 288 const char *, int, const char *))
289 ATTRIBUTE_NORETURN;
cdadb1dd 290extern void rtl_check_failed_code2 PARAMS ((rtx, enum rtx_code, enum rtx_code,
83ab3839
RH		 291 const char *, int, const char *))
292 ATTRIBUTE_NORETURN;
cdadb1dd 293extern void rtvec_check_failed_bounds PARAMS ((rtvec, int,
ef178af3
ZW		 294 const char *, int, const char *))
295 ATTRIBUTE_NORETURN;
296
f4524c9e 297#else /* not ENABLE_RTL_CHECKING */
ef178af3 298
83ab3839
RH		 299#define RTL_CHECK1(RTX, N, C1) ((RTX)->fld[N])
300#define RTL_CHECK2(RTX, N, C1, C2) ((RTX)->fld[N])
301#define RTL_CHECKC1(RTX, N, C) ((RTX)->fld[N])
818a3b15 302#define RTL_CHECKC2(RTX, N, C1, C2) ((RTX)->fld[N])
83ab3839 303#define RTVEC_ELT(RTVEC, I) ((RTVEC)->elem[I])
ef178af3
ZW		 304
305#endif
306
307#define XWINT(RTX, N) (RTL_CHECK1(RTX, N, 'w').rtwint)
308#define XINT(RTX, N) (RTL_CHECK2(RTX, N, 'i', 'n').rtint)
309#define XSTR(RTX, N) (RTL_CHECK2(RTX, N, 's', 'S').rtstr)
310#define XEXP(RTX, N) (RTL_CHECK2(RTX, N, 'e', 'u').rtx)
311#define XVEC(RTX, N) (RTL_CHECK2(RTX, N, 'E', 'V').rtvec)
312#define XMODE(RTX, N) (RTL_CHECK1(RTX, N, 'M').rttype)
313#define XBITMAP(RTX, N) (RTL_CHECK1(RTX, N, 'b').rtbit)
314#define XTREE(RTX, N) (RTL_CHECK1(RTX, N, 't').rttree)
315#define XBBDEF(RTX, N) (RTL_CHECK1(RTX, N, 'B').bb)
316
317#define XVECEXP(RTX, N, M) RTVEC_ELT (XVEC (RTX, N), M)
318#define XVECLEN(RTX, N) GET_NUM_ELEM (XVEC (RTX, N))
319
320/* These are like XWINT, etc. except that they expect a '0' field instead
321 of the normal type code. */
322
323#define X0WINT(RTX, N) (RTL_CHECK1(RTX, N, '0').rtwint)
324#define X0INT(RTX, N) (RTL_CHECK1(RTX, N, '0').rtint)
325#define X0STR(RTX, N) (RTL_CHECK1(RTX, N, '0').rtstr)
326#define X0EXP(RTX, N) (RTL_CHECK1(RTX, N, '0').rtx)
327#define X0VEC(RTX, N) (RTL_CHECK1(RTX, N, '0').rtvec)
328#define X0MODE(RTX, N) (RTL_CHECK1(RTX, N, '0').rttype)
329#define X0BITMAP(RTX, N) (RTL_CHECK1(RTX, N, '0').rtbit)
330#define X0TREE(RTX, N) (RTL_CHECK1(RTX, N, '0').rttree)
331#define X0BBDEF(RTX, N) (RTL_CHECK1(RTX, N, '0').bb)
332#define X0ADVFLAGS(RTX, N) (RTL_CHECK1(RTX, N, '0').rt_addr_diff_vec_flags)
0dfa1860 333
83ab3839
RH		 334#define XCWINT(RTX, N, C) (RTL_CHECKC1(RTX, N, C).rtwint)
335#define XCINT(RTX, N, C) (RTL_CHECKC1(RTX, N, C).rtint)
336#define XCSTR(RTX, N, C) (RTL_CHECKC1(RTX, N, C).rtstr)
337#define XCEXP(RTX, N, C) (RTL_CHECKC1(RTX, N, C).rtx)
338#define XCVEC(RTX, N, C) (RTL_CHECKC1(RTX, N, C).rtvec)
339#define XCMODE(RTX, N, C) (RTL_CHECKC1(RTX, N, C).rttype)
340#define XCBITMAP(RTX, N, C) (RTL_CHECKC1(RTX, N, C).rtbit)
341#define XCTREE(RTX, N, C) (RTL_CHECKC1(RTX, N, C).rttree)
342#define XCBBDEF(RTX, N, C) (RTL_CHECKC1(RTX, N, C).bb)
343#define XCADVFLAGS(RTX, N, C) (RTL_CHECKC1(RTX, N, C).rt_addr_diff_vec_flags)
344
345#define XCVECEXP(RTX, N, M, C) RTVEC_ELT (XCVEC (RTX, N, C), M)
346#define XCVECLEN(RTX, N, C) GET_NUM_ELEM (XCVEC (RTX, N, C))
347
348#define XC2EXP(RTX, N, C1, C2) (RTL_CHECKC2(RTX, N, C1, C2).rtx)
6f29feb1
JW		 349\f
350/* ACCESS MACROS for particular fields of insns. */
351
352/* Holds a unique number for each insn.
353 These are not necessarily sequentially increasing. */
8f985ec4 354#define INSN_UID(INSN) XINT(INSN, 0)
6f29feb1
JW		 355
356/* Chain insns together in sequence. */
8f985ec4
ZW		 357#define PREV_INSN(INSN) XEXP(INSN, 1)
358#define NEXT_INSN(INSN) XEXP(INSN, 2)
6f29feb1
JW		 359
360/* The body of an insn. */
8f985ec4 361#define PATTERN(INSN) XEXP(INSN, 3)
6f29feb1
JW		 362
363/* Code number of instruction, from when it was recognized.
364 -1 means this instruction has not been recognized yet. */
8f985ec4 365#define INSN_CODE(INSN) XINT(INSN, 4)
6f29feb1
JW		 366
367/* Set up in flow.c; empty before then.
368 Holds a chain of INSN_LIST rtx's whose first operands point at
369 previous insns with direct data-flow connections to this one.
370 That means that those insns set variables whose next use is in this insn.
371 They are always in the same basic block as this insn. */
8f985ec4 372#define LOG_LINKS(INSN) XEXP(INSN, 5)
6f29feb1
JW		 373
374/* 1 if insn has been deleted. */
375#define INSN_DELETED_P(INSN) ((INSN)->volatil)
376
377/* 1 if insn is a call to a const function. */
378#define CONST_CALL_P(INSN) ((INSN)->unchanging)
379
380/* 1 if insn is a branch that should not unconditionally execute its
381 delay slots, i.e., it is an annulled branch. */
382#define INSN_ANNULLED_BRANCH_P(INSN) ((INSN)->unchanging)
383
384/* 1 if insn is in a delay slot and is from the target of the branch. If
6dc42e49 385 the branch insn has INSN_ANNULLED_BRANCH_P set, this insn should only be
6f29feb1
JW		 386 executed if the branch is taken. For annulled branches with this bit
387 clear, the insn should be executed only if the branch is not taken. */
388#define INSN_FROM_TARGET_P(INSN) ((INSN)->in_struct)
389
390/* Holds a list of notes on what this insn does to various REGs.
391 It is a chain of EXPR_LIST rtx's, where the second operand
392 is the chain pointer and the first operand is the REG being described.
393 The mode field of the EXPR_LIST contains not a real machine mode
394 but a value that says what this note says about the REG:
395 REG_DEAD means that the value in REG dies in this insn (i.e., it is
396 not needed past this insn). If REG is set in this insn, the REG_DEAD
397 note may, but need not, be omitted.
398 REG_INC means that the REG is autoincremented or autodecremented.
f75487ff
ILT		 399 REG_EQUIV describes the insn as a whole; it says that the insn
400 sets a register to a constant value or to be equivalent to a memory
401 address. If the register is spilled to the stack then the constant
402 value should be substituted for it. The contents of the REG_EQUIV
6f29feb1 403 is the constant value or memory address, which may be different
f75487ff
ILT		 404 from the source of the SET although it has the same value. A
405 REG_EQUIV note may also appear on an insn which copies a register
406 parameter to a pseudo-register, if there is a memory address which
407 could be used to hold that pseudo-register throughout the function.
6f29feb1
JW		 408 REG_EQUAL is like REG_EQUIV except that the destination
409 is only momentarily equal to the specified rtx. Therefore, it
410 cannot be used for substitution; but it can be used for cse.
411 REG_RETVAL means that this insn copies the return-value of
412 a library call out of the hard reg for return values. This note
413 is actually an INSN_LIST and it points to the first insn involved
414 in setting up arguments for the call. flow.c uses this to delete
415 the entire library call when its result is dead.
416 REG_LIBCALL is the inverse of REG_RETVAL: it goes on the first insn
417 of the library call and points at the one that has the REG_RETVAL.
418 REG_WAS_0 says that the register set in this insn held 0 before the insn.
419 The contents of the note is the insn that stored the 0.
420 If that insn is deleted or patched to a NOTE, the REG_WAS_0 is inoperative.
421 The REG_WAS_0 note is actually an INSN_LIST, not an EXPR_LIST.
422 REG_NONNEG means that the register is always nonnegative during
423 the containing loop. This is used in branches so that decrement and
424 branch instructions terminating on zero can be matched. There must be
425 an insn pattern in the md file named `decrement_and_branch_until_zero'
426 or else this will never be added to any instructions.
427 REG_NO_CONFLICT means there is no conflict *after this insn*
428 between the register in the note and the destination of this insn.
429 REG_UNUSED identifies a register set in this insn and never used.
430 REG_CC_SETTER and REG_CC_USER link a pair of insns that set and use
431 CC0, respectively. Normally, these are required to be consecutive insns,
432 but we permit putting a cc0-setting insn in the delay slot of a branch
433 as long as only one copy of the insn exists. In that case, these notes
434 point from one to the other to allow code generation to determine what
435 any require information and to properly update CC_STATUS.
436 REG_LABEL points to a CODE_LABEL. Used by non-JUMP_INSNs to
437 say that the CODE_LABEL contained in the REG_LABEL note is used
438 by the insn.
d45cf215 439 REG_DEP_ANTI is used in LOG_LINKS which represent anti (write after read)
6f29feb1
JW		 440 dependencies. REG_DEP_OUTPUT is used in LOG_LINKS which represent output
441 (write after write) dependencies. Data dependencies, which are the only
442 type of LOG_LINK created by flow, are represented by a 0 reg note kind. */
7ae21caf
DE		 443/* REG_BR_PROB is attached to JUMP_INSNs and CALL_INSNs when the flag
444 -fbranch-probabilities is given. It has an integer value. For jumps,
445 it is the probability that this is a taken branch. For calls, it is the
446 probability that this call won't return.
447 REG_EXEC_COUNT is attached to the first insn of each basic block, and
448 the first insn after each CALL_INSN. It indicates how many times this
c107334d
DM		 449 block was executed.
450 REG_SAVE_AREA is used to optimize rtl generated by dynamic stack
451 allocations for targets where SETJMP_VIA_SAVE_AREA is true.
452 REG_BR_PRED is attached to JUMP_INSNs only, it holds the branch prediction
07ebc930
RH		 453 flags computed by get_jump_flags() after dbr scheduling is complete.
454 REG_FRAME_RELATED_EXPR is attached to insns that are RTX_FRAME_RELATED_P,
455 but are too complex for DWARF to interpret what they imply. The attached
c46a37c4
RH		 456 rtx is used instead of intuition.
457 REG_EH_REGION is used to indicate what exception region an INSN
6af57aae 458 belongs in. This can be used to indicate what region a call may throw
1ef1bf06
AM		 459 to. a REGION of 0 indicates that a call cannot throw at all.
460 a REGION of -1 indicates that it cannot throw, nor will it execute
6af57aae 461 a non-local goto.
1ef1bf06
AM		 462 REG_EH_RETHROW is used to indicate that a call is actually a
463 call to rethrow, and specifies the rethrow symbol for the region
464 the rethrow is targetting. This provides a way to generate the
c46a37c4
RH		 465 non standard flow edges required for a rethrow.
466 REG_SAVE_NOTE is used by haifa-sched to save NOTE_INSN notes
467 across scheduling. */
6f29feb1 468
8f985ec4 469#define REG_NOTES(INSN) XEXP(INSN, 6)
6f29feb1 470
ef178af3 471#define ADDR_DIFF_VEC_FLAGS(RTX) X0ADVFLAGS(RTX, 4)
33f7f353 472
6f29feb1
JW		 473/* Don't forget to change reg_note_name in rtl.c. */
474enum reg_note { REG_DEAD = 1, REG_INC = 2, REG_EQUIV = 3, REG_WAS_0 = 4,
475 REG_EQUAL = 5, REG_RETVAL = 6, REG_LIBCALL = 7,
476 REG_NONNEG = 8, REG_NO_CONFLICT = 9, REG_UNUSED = 10,
477 REG_CC_SETTER = 11, REG_CC_USER = 12, REG_LABEL = 13,
7ae21caf 478 REG_DEP_ANTI = 14, REG_DEP_OUTPUT = 15, REG_BR_PROB = 16,
c107334d 479 REG_EXEC_COUNT = 17, REG_NOALIAS = 18, REG_SAVE_AREA = 19,
07ebc930 480 REG_BR_PRED = 20, REG_EH_CONTEXT = 21,
e6cfb550 481 REG_FRAME_RELATED_EXPR = 22, REG_EH_REGION = 23,
c46a37c4 482 REG_EH_RETHROW = 24, REG_SAVE_NOTE = 25 };
7ae21caf
DE		 483/* The base value for branch probability notes. */
484#define REG_BR_PROB_BASE 10000
6f29feb1
JW		 485
486/* Define macros to extract and insert the reg-note kind in an EXPR_LIST. */
487#define REG_NOTE_KIND(LINK) ((enum reg_note) GET_MODE (LINK))
488#define PUT_REG_NOTE_KIND(LINK,KIND) PUT_MODE(LINK, (enum machine_mode) (KIND))
489
490/* Names for REG_NOTE's in EXPR_LIST insn's. */
491
1f9a015e 492extern const char * const reg_note_name[];
0f41302f 493#define GET_REG_NOTE_NAME(MODE) (reg_note_name[(int) (MODE)])
6f29feb1 494
e51c6661
RK		 495/* This field is only present on CALL_INSNs. It holds a chain of EXPR_LIST of
496 USE and CLOBBER expressions.
497 USE expressions list the registers filled with arguments that
498 are passed to the function.
499 CLOBBER expressions document the registers explicitly clobbered
500 by this CALL_INSN.
501 Pseudo registers can not be mentioned in this list. */
8f985ec4 502#define CALL_INSN_FUNCTION_USAGE(INSN) XEXP(INSN, 7)
e51c6661 503
6f29feb1
JW		 504/* The label-number of a code-label. The assembler label
505 is made from `L' and the label-number printed in decimal.
506 Label numbers are unique in a compilation. */
8f985ec4 507#define CODE_LABEL_NUMBER(INSN) XINT(INSN, 3)
6f29feb1
JW		 508
509#define LINE_NUMBER NOTE
510
0dfa1860
MM		 511/* In a NOTE that is a line number, this is a string for the file name that the
512 line is in. We use the same field to record block numbers temporarily in
513 NOTE_INSN_BLOCK_BEG and NOTE_INSN_BLOCK_END notes. (We avoid lots of casts
514 between ints and pointers if we use a different macro for the block number.)
515 The NOTE_INSN_RANGE_{START,END} and NOTE_INSN_LIVE notes record their
516 information as a rtx in the field. */
6f29feb1 517
83ab3839 518#define NOTE_SOURCE_FILE(INSN) XCSTR(INSN, 3, NOTE)
1a4450c7 519#define NOTE_BLOCK(INSN) XCTREE(INSN, 3, NOTE)
83ab3839
RH		 520#define NOTE_EH_HANDLER(INSN) XCINT(INSN, 3, NOTE)
521#define NOTE_RANGE_INFO(INSN) XCEXP(INSN, 3, NOTE)
522#define NOTE_LIVE_INFO(INSN) XCEXP(INSN, 3, NOTE)
523#define NOTE_BASIC_BLOCK(INSN) XCBBDEF(INSN, 3, NOTE)
0dfa1860 524
6f29feb1
JW		 525/* In a NOTE that is a line number, this is the line number.
526 Other kinds of NOTEs are identified by negative numbers here. */
83ab3839 527#define NOTE_LINE_NUMBER(INSN) XCINT(INSN, 4, NOTE)
6f29feb1
JW		 528
529/* Codes that appear in the NOTE_LINE_NUMBER field
a31efb86 530 for kinds of notes that are not line numbers.
6f29feb1 531
a31efb86
DE		 532 Notice that we do not try to use zero here for any of
533 the special note codes because sometimes the source line
534 actually can be zero! This happens (for example) when we
535 are generating code for the per-translation-unit constructor
536 and destructor routines for some C++ translation unit.
537
538 If you should change any of the following values, or if you
539 should add a new value here, don't forget to change the
540 note_insn_name array in rtl.c. */
6f29feb1
JW		 541
542/* This note is used to get rid of an insn
543 when it isn't safe to patch the insn out of the chain. */
544#define NOTE_INSN_DELETED -1
545#define NOTE_INSN_BLOCK_BEG -2
546#define NOTE_INSN_BLOCK_END -3
547#define NOTE_INSN_LOOP_BEG -4
548#define NOTE_INSN_LOOP_END -5
549/* This kind of note is generated at the end of the function body,
550 just before the return insn or return label.
551 In an optimizing compilation it is deleted by the first jump optimization,
552 after enabling that optimizer to determine whether control can fall
553 off the end of the function body without a return statement. */
554#define NOTE_INSN_FUNCTION_END -6
555/* This kind of note is generated just after each call to `setjmp', et al. */
556#define NOTE_INSN_SETJMP -7
557/* Generated at the place in a loop that `continue' jumps to. */
558#define NOTE_INSN_LOOP_CONT -8
559/* Generated at the start of a duplicated exit test. */
560#define NOTE_INSN_LOOP_VTOP -9
bdac5f58
TW		 561/* This marks the point immediately after the last prologue insn. */
562#define NOTE_INSN_PROLOGUE_END -10
563/* This marks the point immediately prior to the first epilogue insn. */
564#define NOTE_INSN_EPILOGUE_BEG -11
196cedd0
RS		 565/* Generated in place of user-declared labels when they are deleted. */
566#define NOTE_INSN_DELETED_LABEL -12
a31efb86
DE		 567/* This note indicates the start of the real body of the function,
568 i.e. the point just after all of the parms have been moved into
569 their homes, etc. */
570#define NOTE_INSN_FUNCTION_BEG -13
3d195391
MS		 571/* These note where exception handling regions begin and end. */
572#define NOTE_INSN_EH_REGION_BEG -14
573#define NOTE_INSN_EH_REGION_END -15
7ae21caf
DE		 574/* Generated whenever a duplicate line number note is output. For example,
575 one is output after the end of an inline function, in order to prevent
576 the line containing the inline call from being counted twice in gcov. */
577#define NOTE_REPEATED_LINE_NUMBER -16
6f29feb1 578
0dfa1860
MM		 579/* Start/end of a live range region, where pseudos allocated on the stack can
580 be allocated to temporary registers. */
581#define NOTE_INSN_RANGE_START -17
582#define NOTE_INSN_RANGE_END -18
583/* Record which registers are currently live. */
584#define NOTE_INSN_LIVE -19
e881bb1b
RH		 585/* Record the struct for the following basic block. */
586#define NOTE_INSN_BASIC_BLOCK -20
10f07067 587
6f29feb1
JW		 588/* Names for NOTE insn's other than line numbers. */
589
1f9a015e 590extern const char * const note_insn_name[];
6f29feb1
JW		 591#define GET_NOTE_INSN_NAME(NOTE_CODE) (note_insn_name[-(NOTE_CODE)])
592
593/* The name of a label, in case it corresponds to an explicit label
594 in the input source code. */
83ab3839 595#define LABEL_NAME(RTX) XCSTR(RTX, 4, CODE_LABEL)
6f29feb1
JW		 596
597/* In jump.c, each label contains a count of the number
598 of LABEL_REFs that point at it, so unused labels can be deleted. */
83ab3839 599#define LABEL_NUSES(RTX) XCINT(RTX, 5, CODE_LABEL)
6f29feb1 600
8cd0faaf
CM		 601/* Associate a name with a CODE_LABEL. */
602#define LABEL_ALTERNATE_NAME(RTX) XCSTR(RTX, 7, CODE_LABEL)
603
e9a25f70 604/* The original regno this ADDRESSOF was built for. */
83ab3839 605#define ADDRESSOF_REGNO(RTX) XCINT(RTX, 1, ADDRESSOF)
e9a25f70
JL		 606
607/* The variable in the register we took the address of. */
83ab3839 608#define ADDRESSOF_DECL(RTX) XCTREE(RTX, 2, ADDRESSOF)
e9a25f70 609
6f29feb1
JW		 610/* In jump.c, each JUMP_INSN can point to a label that it can jump to,
611 so that if the JUMP_INSN is deleted, the label's LABEL_NUSES can
612 be decremented and possibly the label can be deleted. */
83ab3839 613#define JUMP_LABEL(INSN) XCEXP(INSN, 7, JUMP_INSN)
6f29feb1
JW		 614
615/* Once basic blocks are found in flow.c,
616 each CODE_LABEL starts a chain that goes through
617 all the LABEL_REFs that jump to that label.
618 The chain eventually winds up at the CODE_LABEL; it is circular. */
83ab3839 619#define LABEL_REFS(LABEL) XCEXP(LABEL, 6, CODE_LABEL)
6f29feb1
JW		 620\f
621/* This is the field in the LABEL_REF through which the circular chain
622 of references to a particular label is linked.
623 This chain is set up in flow.c. */
624
83ab3839 625#define LABEL_NEXTREF(REF) XCEXP(REF, 1, LABEL_REF)
6f29feb1
JW		 626
627/* Once basic blocks are found in flow.c,
628 Each LABEL_REF points to its containing instruction with this field. */
629
83ab3839 630#define CONTAINING_INSN(RTX) XCEXP(RTX, 2, LABEL_REF)
6f29feb1
JW		 631
632/* For a REG rtx, REGNO extracts the register number. */
633
83ab3839 634#define REGNO(RTX) XCINT(RTX, 0, REG)
6f29feb1
JW		 635
636/* For a REG rtx, REG_FUNCTION_VALUE_P is nonzero if the reg
637 is the current function's return value. */
638
639#define REG_FUNCTION_VALUE_P(RTX) ((RTX)->integrated)
640
641/* 1 in a REG rtx if it corresponds to a variable declared by the user. */
642#define REG_USERVAR_P(RTX) ((RTX)->volatil)
643
644/* For a CONST_INT rtx, INTVAL extracts the integer. */
645
83ab3839 646#define INTVAL(RTX) XCWINT(RTX, 0, CONST_INT)
6f29feb1
JW		 647
648/* For a SUBREG rtx, SUBREG_REG extracts the value we want a subreg of.
649 SUBREG_WORD extracts the word-number. */
650
83ab3839
RH		 651#define SUBREG_REG(RTX) XCEXP(RTX, 0, SUBREG)
652#define SUBREG_WORD(RTX) XCINT(RTX, 1, SUBREG)
6f29feb1 653
07be3989
RK		 654/* 1 if the REG contained in SUBREG_REG is already known to be
655 sign- or zero-extended from the mode of the SUBREG to the mode of
656 the reg. SUBREG_PROMOTED_UNSIGNED_P gives the signedness of the
657 extension.
658
659 When used as a LHS, is means that this extension must be done
660 when assigning to SUBREG_REG. */
661
662#define SUBREG_PROMOTED_VAR_P(RTX) ((RTX)->in_struct)
663#define SUBREG_PROMOTED_UNSIGNED_P(RTX) ((RTX)->unchanging)
664
6f29feb1
JW		 665/* Access various components of an ASM_OPERANDS rtx. */
666
83ab3839
RH		 667#define ASM_OPERANDS_TEMPLATE(RTX) XCSTR ((RTX), 0, ASM_OPERANDS)
668#define ASM_OPERANDS_OUTPUT_CONSTRAINT(RTX) XCSTR ((RTX), 1, ASM_OPERANDS)
669#define ASM_OPERANDS_OUTPUT_IDX(RTX) XCINT ((RTX), 2, ASM_OPERANDS)
670#define ASM_OPERANDS_INPUT_VEC(RTX) XCVEC ((RTX), 3, ASM_OPERANDS)
671#define ASM_OPERANDS_INPUT_CONSTRAINT_VEC(RTX) XCVEC ((RTX), 4, ASM_OPERANDS)
672#define ASM_OPERANDS_INPUT(RTX, N) XCVECEXP ((RTX), 3, (N), ASM_OPERANDS)
673#define ASM_OPERANDS_INPUT_LENGTH(RTX) XCVECLEN ((RTX), 3, ASM_OPERANDS)
674#define ASM_OPERANDS_INPUT_CONSTRAINT(RTX, N) XSTR (XCVECEXP ((RTX), 4, (N), ASM_OPERANDS), 0)
675#define ASM_OPERANDS_INPUT_MODE(RTX, N) GET_MODE (XCVECEXP ((RTX), 4, (N), ASM_OPERANDS))
676#define ASM_OPERANDS_SOURCE_FILE(RTX) XCSTR ((RTX), 5, ASM_OPERANDS)
677#define ASM_OPERANDS_SOURCE_LINE(RTX) XCINT ((RTX), 6, ASM_OPERANDS)
6f29feb1
JW		 678
679/* For a MEM rtx, 1 if it's a volatile reference.
680 Also in an ASM_OPERANDS rtx. */
681#define MEM_VOLATILE_P(RTX) ((RTX)->volatil)
682
c6df88cb
MM		 683/* For a MEM rtx, 1 if it refers to a field of an aggregate. If zero,
684 RTX may or may not refer to a field of an aggregate. */
6f29feb1
JW		 685#define MEM_IN_STRUCT_P(RTX) ((RTX)->in_struct)
686
c6df88cb
MM		 687/* For a MEM rtx, 1 if it refers to a scalar. If zero, RTX may or may
688 not refer to a scalar.*/
689#define MEM_SCALAR_P(RTX) ((RTX)->frame_related)
690
691/* Copy the MEM_VOLATILE_P, MEM_IN_STRUCT_P, and MEM_SCALAR_P
692 attributes from RHS to LHS. */
693#define MEM_COPY_ATTRIBUTES(LHS, RHS) \
694 (MEM_VOLATILE_P (LHS) = MEM_VOLATILE_P (RHS), \
695 MEM_IN_STRUCT_P (LHS) = MEM_IN_STRUCT_P (RHS), \
63681b5f 696 MEM_SCALAR_P (LHS) = MEM_SCALAR_P (RHS))
c6df88cb
MM		 697
698/* If VAL is non-zero, set MEM_IN_STRUCT_P and clear MEM_SCALAR_P in
699 RTX. Otherwise, vice versa. Use this macro only when you are
700 *sure* that you know that the MEM is in a structure, or is a
701 scalar. VAL is evaluated only once. */
702#define MEM_SET_IN_STRUCT_P(RTX, VAL) \
703 ((VAL) ? (MEM_IN_STRUCT_P (RTX) = 1, MEM_SCALAR_P (RTX) = 0) \
704 : (MEM_IN_STRUCT_P (RTX) = 0, MEM_SCALAR_P (RTX) = 1))
705
41472af8
MM		 706/* For a MEM rtx, the alias set. If 0, this MEM is not in any alias
707 set, and may alias anything. Otherwise, the MEM can only alias
708 MEMs in the same alias set. This value is set in a
709 language-dependent manner in the front-end, and should not be
710 altered in the back-end. These set numbers are tested for zero,
711 and compared for equality; they have no other significance. In
712 some front-ends, these numbers may correspond in some way to types,
713 or other language-level entities, but they need not, and the
714 back-end makes no such assumptions. */
83ab3839 715#define MEM_ALIAS_SET(RTX) XCINT(RTX, 1, MEM)
41472af8 716
6f29feb1
JW		 717/* For a LABEL_REF, 1 means that this reference is to a label outside the
718 loop containing the reference. */
719#define LABEL_OUTSIDE_LOOP_P(RTX) ((RTX)->in_struct)
720
adfaf10a 721/* For a LABEL_REF, 1 means it is for a nonlocal label. */
2a406d2a 722/* Likewise in an EXPR_LIST for a REG_LABEL note. */
adfaf10a
RS		 723#define LABEL_REF_NONLOCAL_P(RTX) ((RTX)->volatil)
724
6f29feb1
JW		 725/* For a CODE_LABEL, 1 means always consider this label to be needed. */
726#define LABEL_PRESERVE_P(RTX) ((RTX)->in_struct)
727
728/* For a REG, 1 means the register is used only in an exit test of a loop. */
729#define REG_LOOP_TEST_P(RTX) ((RTX)->in_struct)
730
731/* During sched, for an insn, 1 means that the insn must be scheduled together
d45cf215 732 with the preceding insn. */
6f29feb1
JW		 733#define SCHED_GROUP_P(INSN) ((INSN)->in_struct)
734
c376c05b
TW		 735/* During sched, for the LOG_LINKS of an insn, these cache the adjusted
736 cost of the dependence link. The cost of executing an instruction
737 may vary based on how the results are used. LINK_COST_ZERO is 1 when
738 the cost through the link varies and is unchanged (i.e., the link has
739 zero additional cost). LINK_COST_FREE is 1 when the cost through the
740 link is zero (i.e., the link makes the cost free). In other cases,
741 the adjustment to the cost is recomputed each time it is needed. */
742#define LINK_COST_ZERO(X) ((X)->jump)
743#define LINK_COST_FREE(X) ((X)->call)
744
6f29feb1
JW		 745/* For a SET rtx, SET_DEST is the place that is set
746 and SET_SRC is the value it is set to. */
83ab3839
RH		 747#define SET_DEST(RTX) XC2EXP(RTX, 0, SET, CLOBBER)
748#define SET_SRC(RTX) XCEXP(RTX, 1, SET)
6f29feb1
JW		 749
750/* For a TRAP_IF rtx, TRAP_CONDITION is an expression. */
83ab3839
RH		 751#define TRAP_CONDITION(RTX) XCEXP(RTX, 0, TRAP_IF)
752#define TRAP_CODE(RTX) XCEXP(RTX, 1, TRAP_IF)
6f29feb1
JW		 753
754/* 1 in a SYMBOL_REF if it addresses this function's constants pool. */
755#define CONSTANT_POOL_ADDRESS_P(RTX) ((RTX)->unchanging)
756
757/* Flag in a SYMBOL_REF for machine-specific purposes. */
758#define SYMBOL_REF_FLAG(RTX) ((RTX)->volatil)
759
e6cfb550
AM		 760/* 1 in a SYMBOL_REF if it represents a symbol which might have to change
761 if its inlined or unrolled. */
762#define SYMBOL_REF_NEED_ADJUST(RTX) ((RTX)->in_struct)
763
6f29feb1
JW		 764/* 1 means a SYMBOL_REF has been the library function in emit_library_call. */
765#define SYMBOL_REF_USED(RTX) ((RTX)->used)
766
6f29feb1
JW		 767/* Define a macro to look for REG_INC notes,
768 but save time on machines where they never exist. */
769
58e54c44
RS		 770/* Don't continue this line--convex cc version 4.1 would lose. */
771#if (defined (HAVE_PRE_INCREMENT) || defined (HAVE_PRE_DECREMENT) || defined (HAVE_POST_INCREMENT) || defined (HAVE_POST_DECREMENT))
6f29feb1
JW		 772#define FIND_REG_INC_NOTE(insn, reg) (find_reg_note ((insn), REG_INC, (reg)))
773#else
774#define FIND_REG_INC_NOTE(insn, reg) 0
775#endif
776
777/* Indicate whether the machine has any sort of auto increment addressing.
778 If not, we can avoid checking for REG_INC notes. */
779
58e54c44
RS		 780/* Don't continue this line--convex cc version 4.1 would lose. */
781#if (defined (HAVE_PRE_INCREMENT) || defined (HAVE_PRE_DECREMENT) || defined (HAVE_POST_INCREMENT) || defined (HAVE_POST_DECREMENT))
6f29feb1
JW		 782#define AUTO_INC_DEC
783#endif
0dfa1860 784
940da324
JL		 785#ifndef HAVE_PRE_INCREMENT
786#define HAVE_PRE_INCREMENT 0
787#endif
788
789#ifndef HAVE_PRE_DECREMENT
790#define HAVE_PRE_DECREMENT 0
791#endif
792
793#ifndef HAVE_POST_INCREMENT
794#define HAVE_POST_INCREMENT 0
795#endif
796
797#ifndef HAVE_POST_DECREMENT
798#define HAVE_POST_DECREMENT 0
799#endif
800
6e01bd94
MH		 801
802/* Some architectures do not have complete pre/post increment/decrement
803 instruction sets, or only move some modes efficiently. These macros
804 allow us to tune autoincrement generation. */
805
806#ifndef USE_LOAD_POST_INCREMENT
807#define USE_LOAD_POST_INCREMENT(MODE) HAVE_POST_INCREMENT
808#endif
809
810#ifndef USE_LOAD_POST_DECREMENT
811#define USE_LOAD_POST_DECREMENT(MODE) HAVE_POST_DECREMENT
812#endif
813
814#ifndef USE_LOAD_PRE_INCREMENT
815#define USE_LOAD_PRE_INCREMENT(MODE) HAVE_PRE_INCREMENT
816#endif
817
818#ifndef USE_LOAD_PRE_DECREMENT
819#define USE_LOAD_PRE_DECREMENT(MODE) HAVE_PRE_DECREMENT
820#endif
821
822#ifndef USE_STORE_POST_INCREMENT
823#define USE_STORE_POST_INCREMENT(MODE) HAVE_POST_INCREMENT
824#endif
825
826#ifndef USE_STORE_POST_DECREMENT
827#define USE_STORE_POST_DECREMENT(MODE) HAVE_POST_DECREMENT
828#endif
829
830#ifndef USE_STORE_PRE_INCREMENT
831#define USE_STORE_PRE_INCREMENT(MODE) HAVE_PRE_INCREMENT
832#endif
833
834#ifndef USE_STORE_PRE_DECREMENT
835#define USE_STORE_PRE_DECREMENT(MODE) HAVE_PRE_DECREMENT
836#endif
837
838
0dfa1860
MM		 839/* Accessors for RANGE_INFO. */
840/* For RANGE_{START,END} notes return the RANGE_START note. */
83ab3839 841#define RANGE_INFO_NOTE_START(INSN) XCEXP (INSN, 0, RANGE_INFO)
0dfa1860
MM		 842
843/* For RANGE_{START,END} notes return the RANGE_START note. */
83ab3839 844#define RANGE_INFO_NOTE_END(INSN) XCEXP (INSN, 1, RANGE_INFO)
0dfa1860
MM		 845
846/* For RANGE_{START,END} notes, return the vector containing the registers used
847 in the range. */
83ab3839
RH		 848#define RANGE_INFO_REGS(INSN) XCVEC (INSN, 2, RANGE_INFO)
849#define RANGE_INFO_REGS_REG(INSN, N) XCVECEXP (INSN, 2, N, RANGE_INFO)
850#define RANGE_INFO_NUM_REGS(INSN) XCVECLEN (INSN, 2, RANGE_INFO)
0dfa1860
MM		 851
852/* For RANGE_{START,END} notes, the number of calls within the range. */
83ab3839 853#define RANGE_INFO_NCALLS(INSN) XCINT (INSN, 3, RANGE_INFO)
0dfa1860
MM		 854
855/* For RANGE_{START,END} notes, the number of insns within the range. */
83ab3839 856#define RANGE_INFO_NINSNS(INSN) XCINT (INSN, 4, RANGE_INFO)
0dfa1860
MM		 857
858/* For RANGE_{START,END} notes, a unique # to identify this range. */
83ab3839 859#define RANGE_INFO_UNIQUE(INSN) XCINT (INSN, 5, RANGE_INFO)
0dfa1860
MM		 860
861/* For RANGE_{START,END} notes, the basic block # the range starts with. */
83ab3839 862#define RANGE_INFO_BB_START(INSN) XCINT (INSN, 6, RANGE_INFO)
0dfa1860
MM		 863
864/* For RANGE_{START,END} notes, the basic block # the range ends with. */
83ab3839 865#define RANGE_INFO_BB_END(INSN) XCINT (INSN, 7, RANGE_INFO)
0dfa1860
MM		 866
867/* For RANGE_{START,END} notes, the loop depth the range is in. */
83ab3839 868#define RANGE_INFO_LOOP_DEPTH(INSN) XCINT (INSN, 8, RANGE_INFO)
0dfa1860
MM		 869
870/* For RANGE_{START,END} notes, the bitmap of live registers at the start
871 of the range. */
83ab3839 872#define RANGE_INFO_LIVE_START(INSN) XCBITMAP (INSN, 9, RANGE_INFO)
0dfa1860
MM		 873
874/* For RANGE_{START,END} notes, the bitmap of live registers at the end
875 of the range. */
83ab3839 876#define RANGE_INFO_LIVE_END(INSN) XCBITMAP (INSN, 10, RANGE_INFO)
0dfa1860
MM		 877
878/* For RANGE_START notes, the marker # of the start of the range. */
83ab3839 879#define RANGE_INFO_MARKER_START(INSN) XCINT (INSN, 11, RANGE_INFO)
0dfa1860
MM		 880
881/* For RANGE_START notes, the marker # of the end of the range. */
83ab3839 882#define RANGE_INFO_MARKER_END(INSN) XCINT (INSN, 12, RANGE_INFO)
0dfa1860
MM		 883
884/* Original pseudo register # for a live range note. */
83ab3839 885#define RANGE_REG_PSEUDO(INSN,N) XCINT (XCVECEXP (INSN, 2, N, RANGE_INFO), 0, REG)
0dfa1860
MM		 886
887/* Pseudo register # original register is copied into or -1. */
83ab3839 888#define RANGE_REG_COPY(INSN,N) XCINT (XCVECEXP (INSN, 2, N, RANGE_INFO), 1, REG)
0dfa1860
MM		 889
890/* How many times a register in a live range note was referenced. */
83ab3839 891#define RANGE_REG_REFS(INSN,N) XINT (XCVECEXP (INSN, 2, N, RANGE_INFO), 2)
0dfa1860
MM		 892
893/* How many times a register in a live range note was set. */
83ab3839 894#define RANGE_REG_SETS(INSN,N) XINT (XCVECEXP (INSN, 2, N, RANGE_INFO), 3)
0dfa1860
MM		 895
896/* How many times a register in a live range note died. */
83ab3839 897#define RANGE_REG_DEATHS(INSN,N) XINT (XCVECEXP (INSN, 2, N, RANGE_INFO), 4)
0dfa1860
MM		 898
899/* Whether the original value is needed to be copied into the range register at
900 the start of the range. */
83ab3839 901#define RANGE_REG_COPY_FLAGS(INSN,N) XINT (XCVECEXP (INSN, 2, N, RANGE_INFO), 5)
0dfa1860
MM		 902
903/* # of insns the register copy is live over. */
83ab3839 904#define RANGE_REG_LIVE_LENGTH(INSN,N) XINT (XCVECEXP (INSN, 2, N, RANGE_INFO), 6)
0dfa1860
MM		 905
906/* # of calls the register copy is live over. */
83ab3839 907#define RANGE_REG_N_CALLS(INSN,N) XINT (XCVECEXP (INSN, 2, N, RANGE_INFO), 7)
0dfa1860
MM		 908
909/* DECL_NODE pointer of the declaration if the register is a user defined
910 variable. */
83ab3839 911#define RANGE_REG_SYMBOL_NODE(INSN,N) XTREE (XCVECEXP (INSN, 2, N, RANGE_INFO), 8)
0dfa1860
MM		 912
913/* BLOCK_NODE pointer to the block the variable is declared in if the
914 register is a user defined variable. */
83ab3839 915#define RANGE_REG_BLOCK_NODE(INSN,N) XTREE (XCVECEXP (INSN, 2, N, RANGE_INFO), 9)
0dfa1860
MM		 916
917/* EXPR_LIST of the distinct ranges a variable is in. */
918#define RANGE_VAR_LIST(INSN) (XEXP (INSN, 0))
919
920/* Block a variable is declared in. */
921#define RANGE_VAR_BLOCK(INSN) (XTREE (INSN, 1))
922
923/* # of distinct ranges a variable is in. */
924#define RANGE_VAR_NUM(INSN) (XINT (INSN, 2))
925
926/* For a NOTE_INSN_LIVE note, the registers which are currently live. */
927#define RANGE_LIVE_BITMAP(INSN) (XBITMAP (INSN, 0))
928
929/* For a NOTE_INSN_LIVE note, the original basic block number. */
930#define RANGE_LIVE_ORIG_BLOCK(INSN) (XINT (INSN, 1))
6f29feb1 931\f
bf6bb899
BS		 932/* Nonzero if we need to distinguish between the return value of this function
933 and the return value of a function called by this function. This helps
934 integrate.c.
935 This is 1 until after the rtl generation pass. */
936extern int rtx_equal_function_value_matters;
937
6f29feb1
JW		 938/* Generally useful functions. */
939
5f4f0e22
CH		 940/* The following functions accept a wide integer argument. Rather than
941 having to cast on every function call, we use a macro instead, that is
942 defined here and in tree.h. */
943
944#ifndef exact_log2
ac957f13
JL		 945#define exact_log2(N) exact_log2_wide ((unsigned HOST_WIDE_INT) (N))
946#define floor_log2(N) floor_log2_wide ((unsigned HOST_WIDE_INT) (N))
5f4f0e22 947#endif
cdadb1dd
KG		 948extern int exact_log2_wide PARAMS ((unsigned HOST_WIDE_INT));
949extern int floor_log2_wide PARAMS ((unsigned HOST_WIDE_INT));
ac957f13
JL		 950
951/* In expmed.c */
cdadb1dd 952extern int ceil_log2 PARAMS ((unsigned HOST_WIDE_INT));
5f4f0e22
CH		 953
954#define plus_constant(X,C) plus_constant_wide (X, (HOST_WIDE_INT) (C))
955
956#define plus_constant_for_output(X,C) \
957 plus_constant_for_output_wide (X, (HOST_WIDE_INT) (C))
958
50b2596f 959/* In explow.c */
c6991660 960extern void set_stack_check_libfunc PARAMS ((rtx));
cdadb1dd 961extern HOST_WIDE_INT trunc_int_for_mode PARAMS ((HOST_WIDE_INT,
7e4ce834 962 enum machine_mode));
cdadb1dd
KG		 963extern rtx plus_constant_wide PARAMS ((rtx, HOST_WIDE_INT));
964extern rtx plus_constant_for_output_wide PARAMS ((rtx, HOST_WIDE_INT));
965extern void optimize_save_area_alloca PARAMS ((rtx));
5f4f0e22 966
cdadb1dd 967extern rtx gen_rtx PARAMS ((enum rtx_code,
bdea67fa 968 enum machine_mode, ...));
cdadb1dd
KG		 969extern rtvec gen_rtvec PARAMS ((int, ...));
970
971extern char *oballoc PARAMS ((int));
972extern char *permalloc PARAMS ((int));
973extern rtx rtx_alloc PARAMS ((RTX_CODE));
974extern rtvec rtvec_alloc PARAMS ((int));
975extern rtx copy_insn_1 PARAMS ((rtx));
976extern rtx copy_insn PARAMS ((rtx));
977extern rtx copy_rtx PARAMS ((rtx));
978extern rtx copy_rtx_if_shared PARAMS ((rtx));
979extern rtx copy_most_rtx PARAMS ((rtx, rtx));
980extern rtx shallow_copy_rtx PARAMS ((rtx));
981extern int rtx_equal_p PARAMS ((rtx, rtx));
982extern rtvec gen_rtvec_v PARAMS ((int, rtx *));
983extern rtx gen_reg_rtx PARAMS ((enum machine_mode));
984extern rtx gen_label_rtx PARAMS ((void));
985extern rtx gen_lowpart_common PARAMS ((enum machine_mode, rtx));
986extern rtx gen_lowpart PARAMS ((enum machine_mode, rtx));
987extern rtx gen_lowpart_if_possible PARAMS ((enum machine_mode, rtx));
988extern rtx gen_highpart PARAMS ((enum machine_mode, rtx));
989extern rtx gen_realpart PARAMS ((enum machine_mode, rtx));
990extern rtx gen_imagpart PARAMS ((enum machine_mode, rtx));
991extern rtx operand_subword PARAMS ((rtx, int, int, enum machine_mode));
992extern rtx operand_subword_force PARAMS ((rtx, int, enum machine_mode));
993extern int subreg_lowpart_p PARAMS ((rtx));
994extern rtx make_safe_from PARAMS ((rtx, rtx));
995extern rtx convert_memory_address PARAMS ((enum machine_mode, rtx));
996extern rtx memory_address PARAMS ((enum machine_mode, rtx));
997extern rtx get_insns PARAMS ((void));
998extern const char *get_insn_name PARAMS ((int));
999extern rtx get_last_insn PARAMS ((void));
1000extern rtx get_last_insn_anywhere PARAMS ((void));
1001extern void start_sequence PARAMS ((void));
1002extern void push_to_sequence PARAMS ((rtx));
1003extern void end_sequence PARAMS ((void));
1004extern rtx gen_sequence PARAMS ((void));
1005extern rtx immed_double_const PARAMS ((HOST_WIDE_INT, HOST_WIDE_INT, enum machine_mode));
1006extern rtx force_const_mem PARAMS ((enum machine_mode, rtx));
1007extern rtx force_reg PARAMS ((enum machine_mode, rtx));
1008extern rtx get_pool_constant PARAMS ((rtx));
1009extern enum machine_mode get_pool_mode PARAMS ((rtx));
1010extern rtx get_pool_constant_for_function PARAMS ((struct function *, rtx));
1011extern enum machine_mode get_pool_mode_for_function PARAMS ((struct function *, rtx));
1012extern int get_pool_offset PARAMS ((rtx));
1013extern rtx simplify_subtraction PARAMS ((rtx));
1014extern rtx assign_stack_local PARAMS ((enum machine_mode,
e5e809f4 1015 HOST_WIDE_INT, int));
cdadb1dd 1016extern rtx assign_stack_temp PARAMS ((enum machine_mode,
e5e809f4 1017 HOST_WIDE_INT, int));
cdadb1dd 1018extern rtx assign_temp PARAMS ((union tree_node *,
e5e809f4 1019 int, int, int));
cdadb1dd
KG		 1020extern rtx protect_from_queue PARAMS ((rtx, int));
1021extern void emit_queue PARAMS ((void));
1022extern rtx emit_move_insn PARAMS ((rtx, rtx));
1023extern rtx emit_insn_before PARAMS ((rtx, rtx));
1024extern rtx emit_jump_insn_before PARAMS ((rtx, rtx));
1025extern rtx emit_call_insn_before PARAMS ((rtx, rtx));
1026extern rtx emit_barrier_before PARAMS ((rtx));
1027extern rtx emit_label_before PARAMS ((rtx, rtx));
1028extern rtx emit_note_before PARAMS ((int, rtx));
1029extern rtx emit_insn_after PARAMS ((rtx, rtx));
1030extern rtx emit_jump_insn_after PARAMS ((rtx, rtx));
1031extern rtx emit_barrier_after PARAMS ((rtx));
1032extern rtx emit_label_after PARAMS ((rtx, rtx));
1033extern rtx emit_note_after PARAMS ((int, rtx));
1034extern rtx emit_line_note_after PARAMS ((char *, int, rtx));
1035extern rtx emit_insn PARAMS ((rtx));
1036extern rtx emit_insns PARAMS ((rtx));
1037extern rtx emit_insns_before PARAMS ((rtx, rtx));
1038extern rtx emit_insns_after PARAMS ((rtx, rtx));
1039extern rtx emit_jump_insn PARAMS ((rtx));
1040extern rtx emit_call_insn PARAMS ((rtx));
1041extern rtx emit_label PARAMS ((rtx));
1042extern rtx emit_barrier PARAMS ((void));
1043extern rtx emit_line_note PARAMS ((char *, int));
1044extern rtx emit_note PARAMS ((char *, int));
1045extern rtx emit_line_note_force PARAMS ((char *, int));
1046extern rtx make_insn_raw PARAMS ((rtx));
1047extern rtx previous_insn PARAMS ((rtx));
1048extern rtx next_insn PARAMS ((rtx));
1049extern rtx prev_nonnote_insn PARAMS ((rtx));
1050extern rtx next_nonnote_insn PARAMS ((rtx));
1051extern rtx prev_real_insn PARAMS ((rtx));
1052extern rtx next_real_insn PARAMS ((rtx));
1053extern rtx prev_active_insn PARAMS ((rtx));
1054extern rtx next_active_insn PARAMS ((rtx));
69732dcb 1055extern int active_insn_p PARAMS ((rtx));
cdadb1dd
KG		 1056extern rtx prev_label PARAMS ((rtx));
1057extern rtx next_label PARAMS ((rtx));
1058extern rtx next_cc0_user PARAMS ((rtx));
1059extern rtx prev_cc0_setter PARAMS ((rtx));
1060extern rtx next_nondeleted_insn PARAMS ((rtx));
1061extern enum rtx_code reverse_condition PARAMS ((enum rtx_code));
7913f3d0 1062extern enum rtx_code reverse_condition_maybe_unordered PARAMS ((enum rtx_code));
cdadb1dd
KG		 1063extern enum rtx_code swap_condition PARAMS ((enum rtx_code));
1064extern enum rtx_code unsigned_condition PARAMS ((enum rtx_code));
1065extern enum rtx_code signed_condition PARAMS ((enum rtx_code));
1066extern rtx find_equiv_reg PARAMS ((rtx, rtx, enum reg_class, int, short *, int, enum machine_mode));
1067extern rtx squeeze_notes PARAMS ((rtx, rtx));
1068extern rtx delete_insn PARAMS ((rtx));
1069extern void delete_jump PARAMS ((rtx));
1070extern void delete_barrier PARAMS ((rtx));
1071extern rtx get_label_before PARAMS ((rtx));
1072extern rtx get_label_after PARAMS ((rtx));
1073extern rtx follow_jumps PARAMS ((rtx));
1074extern rtx adj_offsettable_operand PARAMS ((rtx, int));
1075extern rtx try_split PARAMS ((rtx, rtx, int));
1076extern rtx split_insns PARAMS ((rtx, rtx));
1077extern rtx simplify_unary_operation PARAMS ((enum rtx_code, enum machine_mode, rtx, enum machine_mode));
1078extern rtx simplify_binary_operation PARAMS ((enum rtx_code, enum machine_mode, rtx, rtx));
1079extern rtx simplify_ternary_operation PARAMS ((enum rtx_code, enum machine_mode, enum machine_mode, rtx, rtx, rtx));
1080extern rtx simplify_relational_operation PARAMS ((enum rtx_code, enum machine_mode, rtx, rtx));
1081extern rtx simplify_gen_binary PARAMS ((enum rtx_code, enum machine_mode,
0cedb36c 1082 rtx, rtx));
cdadb1dd
KG		 1083extern rtx simplify_rtx PARAMS ((rtx));
1084extern rtx gen_move_insn PARAMS ((rtx, rtx));
1085extern rtx gen_jump PARAMS ((rtx));
1086extern rtx gen_beq PARAMS ((rtx));
1087extern rtx gen_bge PARAMS ((rtx));
1088extern rtx gen_ble PARAMS ((rtx));
1089extern rtx gen_mem_addressof PARAMS ((rtx, union tree_node *));
1090extern rtx eliminate_constant_term PARAMS ((rtx, rtx *));
1091extern rtx expand_complex_abs PARAMS ((enum machine_mode, rtx, rtx, int));
1092extern enum machine_mode choose_hard_reg_mode PARAMS ((int, int));
1093extern void set_unique_reg_note PARAMS ((rtx, enum reg_note, rtx));
9ae8ffe7 1094
e9a25f70
JL		 1095/* Functions in rtlanal.c */
1096
cdadb1dd
KG		 1097extern int rtx_unstable_p PARAMS ((rtx));
1098extern int rtx_varies_p PARAMS ((rtx));
1099extern int rtx_addr_varies_p PARAMS ((rtx));
1100extern HOST_WIDE_INT get_integer_term PARAMS ((rtx));
1101extern rtx get_related_value PARAMS ((rtx));
1102extern int reg_mentioned_p PARAMS ((rtx, rtx));
1103extern int reg_referenced_p PARAMS ((rtx, rtx));
1104extern int reg_used_between_p PARAMS ((rtx, rtx, rtx));
1105extern int reg_referenced_between_p PARAMS ((rtx, rtx, rtx));
1106extern int reg_set_between_p PARAMS ((rtx, rtx, rtx));
1107extern int regs_set_between_p PARAMS ((rtx, rtx, rtx));
1108extern int modified_between_p PARAMS ((rtx, rtx, rtx));
1109extern int no_labels_between_p PARAMS ((rtx, rtx));
1110extern int no_jumps_between_p PARAMS ((rtx, rtx));
1111extern int modified_in_p PARAMS ((rtx, rtx));
1112extern int reg_set_p PARAMS ((rtx, rtx));
1113extern rtx single_set PARAMS ((rtx));
1114extern int multiple_sets PARAMS ((rtx));
1115extern rtx find_last_value PARAMS ((rtx, rtx *, rtx, int));
1116extern int refers_to_regno_p PARAMS ((int, int, rtx, rtx *));
1117extern int reg_overlap_mentioned_p PARAMS ((rtx, rtx));
1118extern void note_stores PARAMS ((rtx, void (*)(rtx, rtx, void *), void *));
1119extern rtx reg_set_last PARAMS ((rtx, rtx));
1120extern int dead_or_set_p PARAMS ((rtx, rtx));
1121extern int dead_or_set_regno_p PARAMS ((rtx, int));
1122extern rtx find_reg_note PARAMS ((rtx, enum reg_note, rtx));
1123extern rtx find_regno_note PARAMS ((rtx, enum reg_note, int));
1124extern int find_reg_fusage PARAMS ((rtx, enum rtx_code, rtx));
1125extern int find_regno_fusage PARAMS ((rtx, enum rtx_code, int));
1126extern void remove_note PARAMS ((rtx, rtx));
1127extern int side_effects_p PARAMS ((rtx));
1128extern int volatile_refs_p PARAMS ((rtx));
1129extern int volatile_insn_p PARAMS ((rtx));
1130extern int may_trap_p PARAMS ((rtx));
1131extern int inequality_comparisons_p PARAMS ((rtx));
1132extern rtx replace_rtx PARAMS ((rtx, rtx, rtx));
1133extern rtx replace_regs PARAMS ((rtx, rtx *, int, int));
1134extern int computed_jump_p PARAMS ((rtx));
1135typedef int (*rtx_function) PARAMS ((rtx *, void *));
1136extern int for_each_rtx PARAMS ((rtx *, rtx_function, void *));
1137extern rtx regno_use_in PARAMS ((int, rtx));
1138extern int auto_inc_p PARAMS ((rtx));
1139extern void remove_node_from_expr_list PARAMS ((rtx, rtx *));
1140extern int insns_safe_to_move_p PARAMS ((rtx, rtx, rtx *));
6f29feb1 1141
ae0b51ef
JL		 1142/* flow.c */
1143
cdadb1dd
KG		 1144extern rtx find_use_as_address PARAMS ((rtx, rtx, HOST_WIDE_INT));
1145void init_EXPR_INSN_LIST_cache PARAMS ((void));
1146void free_EXPR_LIST_list PARAMS ((rtx *));
1147void free_INSN_LIST_list PARAMS ((rtx *));
1148void free_EXPR_LIST_node PARAMS ((rtx));
1149void free_INSN_LIST_node PARAMS ((rtx));
1150rtx alloc_INSN_LIST PARAMS ((rtx, rtx));
1151rtx alloc_EXPR_LIST PARAMS ((int, rtx, rtx));
ae0b51ef
JL		 1152
1153/* regclass.c */
1154
6f29feb1
JW		 1155/* Maximum number of parallel sets and clobbers in any insn in this fn.
1156 Always at least 3, since the combiner could put that many togetherm
1157 and we want this to remain correct for all the remaining passes. */
1158
1159extern int max_parallel;
1160
e0c6d139 1161/* Free up register info memory. */
cdadb1dd 1162extern void free_reg_info PARAMS ((void));
e0c6d139 1163
ae0b51ef 1164/* recog.c */
cdadb1dd
KG		 1165extern int asm_noperands PARAMS ((rtx));
1166extern char *decode_asm_operands PARAMS ((rtx, rtx *, rtx **,
9b3142b3
KG		 1167 const char **,
1168 enum machine_mode *));
6f29feb1 1169
cdadb1dd
KG		 1170extern enum reg_class reg_preferred_class PARAMS ((int));
1171extern enum reg_class reg_alternate_class PARAMS ((int));
6f29feb1 1172
cdadb1dd 1173extern rtx get_first_nonparm_insn PARAMS ((void));
6f29feb1 1174
cdadb1dd 1175extern void split_all_insns PARAMS ((int));
6a73406e 1176
68d75312 1177#define MAX_SAVED_CONST_INT 64
5da077de 1178extern rtx const_int_rtx[MAX_SAVED_CONST_INT * 2 + 1];
68d75312 1179
5da077de
AS		 1180#define const0_rtx (const_int_rtx[MAX_SAVED_CONST_INT])
1181#define const1_rtx (const_int_rtx[MAX_SAVED_CONST_INT+1])
1182#define const2_rtx (const_int_rtx[MAX_SAVED_CONST_INT+2])
1183#define constm1_rtx (const_int_rtx[MAX_SAVED_CONST_INT-1])
6f29feb1 1184extern rtx const_true_rtx;
a8efe40d
RK		 1185
1186extern rtx const_tiny_rtx[3][(int) MAX_MACHINE_MODE];
1187
1188/* Returns a constant 0 rtx in mode MODE. Integer modes are treated the
1189 same as VOIDmode. */
1190
1191#define CONST0_RTX(MODE) (const_tiny_rtx[0][(int) (MODE)])
1192
1193/* Likewise, for the constants 1 and 2. */
1194
1195#define CONST1_RTX(MODE) (const_tiny_rtx[1][(int) (MODE)])
1196#define CONST2_RTX(MODE) (const_tiny_rtx[2][(int) (MODE)])
6f29feb1 1197
5da077de
AS		 1198/* If HARD_FRAME_POINTER_REGNUM is defined, then a special dummy reg
1199 is used to represent the frame pointer. This is because the
1200 hard frame pointer and the automatic variables are separated by an amount
1201 that cannot be determined until after register allocation. We can assume
1202 that in this case ELIMINABLE_REGS will be defined, one action of which
1203 will be to eliminate FRAME_POINTER_REGNUM into HARD_FRAME_POINTER_REGNUM. */
1204#ifndef HARD_FRAME_POINTER_REGNUM
1205#define HARD_FRAME_POINTER_REGNUM FRAME_POINTER_REGNUM
1206#endif
1207
1208/* Index labels for global_rtl. */
1209enum global_rtl_index
68d75312 1210{
5da077de
AS		 1211 GR_PC,
1212 GR_CC0,
1213 GR_STACK_POINTER,
1214 GR_FRAME_POINTER,
1215/* For register elimination to work properly these hard_frame_pointer_rtx,
1216 frame_pointer_rtx, and arg_pointer_rtx must be the same if they refer to
1217 the same register. */
1218#if FRAME_POINTER_REGNUM == ARG_POINTER_REGNUM
1219 GR_ARG_POINTER = GR_FRAME_POINTER,
1220#endif
1221#if HARD_FRAME_POINTER_REGNUM == FRAME_POINTER_REGNUM
1222 GR_HARD_FRAME_POINTER = GR_FRAME_POINTER,
1223#else
1224 GR_HARD_FRAME_POINTER,
1225#endif
1226#if FRAME_POINTER_REGNUM != ARG_POINTER_REGNUM
1227#if HARD_FRAME_POINTER_REGNUM == ARG_POINTER_REGNUM
1228 GR_ARG_POINTER = GR_HARD_FRAME_POINTER,
1229#else
1230 GR_ARG_POINTER,
1231#endif
1232#endif
1233 GR_VIRTUAL_INCOMING_ARGS,
1234 GR_VIRTUAL_STACK_ARGS,
1235 GR_VIRTUAL_STACK_DYNAMIC,
1236 GR_VIRTUAL_OUTGOING_ARGS,
1237 GR_VIRTUAL_CFA,
1238
1239 GR_MAX
1240};
1241
1242/* Pointers to standard pieces of rtx are stored here. */
1243extern rtx global_rtl[GR_MAX];
1244
1245/* Standard pieces of rtx, to be substituted directly into things. */
1246#define pc_rtx (global_rtl[GR_PC])
1247#define cc0_rtx (global_rtl[GR_CC0])
68d75312 1248
6f29feb1
JW		 1249/* All references to certain hard regs, except those created
1250 by allocating pseudo regs into them (when that's possible),
1251 go through these unique rtx objects. */
5da077de
AS		 1252#define stack_pointer_rtx (global_rtl[GR_STACK_POINTER])
1253#define frame_pointer_rtx (global_rtl[GR_FRAME_POINTER])
1254#define hard_frame_pointer_rtx (global_rtl[GR_HARD_FRAME_POINTER])
1255#define arg_pointer_rtx (global_rtl[GR_ARG_POINTER])
68d75312 1256
6f29feb1
JW		 1257extern rtx pic_offset_table_rtx;
1258extern rtx struct_value_rtx;
1259extern rtx struct_value_incoming_rtx;
1260extern rtx static_chain_rtx;
1261extern rtx static_chain_incoming_rtx;
07ebc930 1262extern rtx return_address_pointer_rtx;
3b80f6ca
RH		 1263
1264/* Include the RTL generation functions. */
1265
1266#ifndef NO_GENRTL_H
1267#include "genrtl.h"
1268#endif
1269
41472af8
MM		 1270/* There are some RTL codes that require special attention; the
1271 generation functions included above do the raw handling. If you
b4213325
MM		 1272 add to this list, modify special_rtx in gengenrtl.c as well. You
1273 should also modify gen_rtx to use the special function. */
3b80f6ca 1274
cdadb1dd 1275extern rtx gen_rtx_CONST_DOUBLE PARAMS ((enum machine_mode, rtx,
0133b7d9 1276 HOST_WIDE_INT, HOST_WIDE_INT));
cdadb1dd
KG		 1277extern rtx gen_rtx_CONST_INT PARAMS ((enum machine_mode, HOST_WIDE_INT));
1278extern rtx gen_rtx_REG PARAMS ((enum machine_mode, int));
1279extern rtx gen_rtx_MEM PARAMS ((enum machine_mode, rtx));
3b80f6ca 1280
aefdd5ab
JL		 1281/* We need the cast here to ensure that we get the same result both with
1282 and without prototypes. */
1283#define GEN_INT(N) gen_rtx_CONST_INT (VOIDmode, (HOST_WIDE_INT) (N))
3b80f6ca 1284
6f29feb1
JW		 1285/* Virtual registers are used during RTL generation to refer to locations into
1286 the stack frame when the actual location isn't known until RTL generation
1287 is complete. The routine instantiate_virtual_regs replaces these with
1288 the proper value, which is normally {frame,arg,stack}_pointer_rtx plus
1289 a constant. */
1290
1291#define FIRST_VIRTUAL_REGISTER (FIRST_PSEUDO_REGISTER)
1292
1293/* This points to the first word of the incoming arguments passed on the stack,
1294 either by the caller or by the callee when pretending it was passed by the
1295 caller. */
1296
5da077de 1297#define virtual_incoming_args_rtx (global_rtl[GR_VIRTUAL_INCOMING_ARGS])
6f29feb1
JW		 1298
1299#define VIRTUAL_INCOMING_ARGS_REGNUM (FIRST_VIRTUAL_REGISTER)
1300
60343c3b 1301/* If FRAME_GROWS_DOWNWARD, this points to immediately above the first
6f29feb1
JW		 1302 variable on the stack. Otherwise, it points to the first variable on
1303 the stack. */
1304
5da077de 1305#define virtual_stack_vars_rtx (global_rtl[GR_VIRTUAL_STACK_ARGS])
6f29feb1
JW		 1306
1307#define VIRTUAL_STACK_VARS_REGNUM ((FIRST_VIRTUAL_REGISTER) + 1)
1308
1309/* This points to the location of dynamically-allocated memory on the stack
1310 immediately after the stack pointer has been adjusted by the amount
1311 desired. */
1312
5da077de 1313#define virtual_stack_dynamic_rtx (global_rtl[GR_VIRTUAL_STACK_DYNAMIC])
6f29feb1
JW		 1314
1315#define VIRTUAL_STACK_DYNAMIC_REGNUM ((FIRST_VIRTUAL_REGISTER) + 2)
1316
1317/* This points to the location in the stack at which outgoing arguments should
1318 be written when the stack is pre-pushed (arguments pushed using push
1319 insns always use sp). */
1320
5da077de 1321#define virtual_outgoing_args_rtx (global_rtl[GR_VIRTUAL_OUTGOING_ARGS])
6f29feb1
JW		 1322
1323#define VIRTUAL_OUTGOING_ARGS_REGNUM ((FIRST_VIRTUAL_REGISTER) + 3)
1324
71038426
RH		 1325/* This points to the Canonical Frame Address of the function. This
1326 should corrospond to the CFA produced by INCOMING_FRAME_SP_OFFSET,
1327 but is calculated relative to the arg pointer for simplicity; the
1328 frame pointer nor stack pointer are necessarily fixed relative to
1329 the CFA until after reload. */
1330
5da077de 1331#define virtual_cfa_rtx (global_rtl[GR_VIRTUAL_CFA])
71038426
RH		 1332
1333#define VIRTUAL_CFA_REGNUM ((FIRST_VIRTUAL_REGISTER) + 4)
1334
1335#define LAST_VIRTUAL_REGISTER ((FIRST_VIRTUAL_REGISTER) + 4)
6f29feb1 1336
cdadb1dd
KG		 1337extern rtx find_next_ref PARAMS ((rtx, rtx));
1338extern rtx *find_single_use PARAMS ((rtx, rtx, rtx *));
f837a861 1339
cdadb1dd
KG		 1340extern rtx output_constant_def PARAMS ((union tree_node *));
1341extern rtx immed_real_const PARAMS ((union tree_node *));
1342extern union tree_node *make_tree PARAMS ((union tree_node *, rtx));
6f29feb1
JW		 1343
1344/* Define a default value for STORE_FLAG_VALUE. */
1345
1346#ifndef STORE_FLAG_VALUE
1347#define STORE_FLAG_VALUE 1
1348#endif
1349
0ea0e871
JL		 1350/* Nonzero after the second flow pass has completed.
1351 Set to 1 or 0 by toplev.c */
1352extern int flow2_completed;
1353
6f29feb1 1354/* Nonzero after end of reload pass.
0ea0e871 1355 Set to 1 or 0 by reload1.c. */
6f29feb1
JW		 1356
1357extern int reload_completed;
1358
1359/* Set to 1 while reload_as_needed is operating.
1360 Required by some machines to handle any generated moves differently. */
1361
1362extern int reload_in_progress;
1363
1364/* If this is nonzero, we do not bother generating VOLATILE
1365 around volatile memory references, and we are willing to
1366 output indirect addresses. If cse is to follow, we reject
1367 indirect addresses so a useful potential cse is generated;
1368 if it is used only once, instruction combination will produce
1369 the same indirect address eventually. */
1370extern int cse_not_expected;
1371
f1db3576
JL		 1372/* Set to nonzero before life analysis to indicate that it is unsafe to
1373 generate any new pseudo registers. */
1374extern int no_new_pseudos;
1375
f5118aa5 1376/* Translates rtx code to tree code, for those codes needed by
88efc60a
RK		 1377 REAL_ARITHMETIC. The function returns an int because the caller may not
1378 know what `enum tree_code' means. */
1379
cdadb1dd 1380extern int rtx_to_tree_code PARAMS ((enum rtx_code));
9ae8ffe7 1381
ac957f13 1382/* In tree.c */
cdadb1dd 1383extern void obfree PARAMS ((char *));
ac957f13 1384struct obstack;
cdadb1dd
KG		 1385extern void gcc_obstack_init PARAMS ((struct obstack *));
1386extern void pop_obstacks PARAMS ((void));
1387extern void push_obstacks PARAMS ((struct obstack *,
ac957f13 1388 struct obstack *));
ac957f13
JL		 1389/* In cse.c */
1390struct cse_basic_block_data;
cdadb1dd
KG		 1391extern int rtx_cost PARAMS ((rtx, enum rtx_code));
1392extern void delete_trivially_dead_insns PARAMS ((rtx, int));
ac957f13 1393#ifdef BUFSIZ
cdadb1dd 1394extern int cse_main PARAMS ((rtx, int, int, FILE *));
ac957f13 1395#endif
cdadb1dd 1396extern void cse_end_of_basic_block PARAMS ((rtx,
ac957f13
JL		 1397 struct cse_basic_block_data *,
1398 int, int, int));
1399
1400/* In jump.c */
cdadb1dd
KG		 1401extern int comparison_dominates_p PARAMS ((enum rtx_code, enum rtx_code));
1402extern int condjump_p PARAMS ((rtx));
1403extern rtx condjump_label PARAMS ((rtx));
1404extern int simplejump_p PARAMS ((rtx));
1405extern int returnjump_p PARAMS ((rtx));
1406extern int onlyjump_p PARAMS ((rtx));
1407extern int sets_cc0_p PARAMS ((rtx));
1408extern int invert_jump PARAMS ((rtx, rtx));
1409extern int rtx_renumbered_equal_p PARAMS ((rtx, rtx));
1410extern int true_regnum PARAMS ((rtx));
1411extern int redirect_jump PARAMS ((rtx, rtx));
1412extern void jump_optimize PARAMS ((rtx, int, int, int));
1413extern void rebuild_jump_labels PARAMS ((rtx));
1414extern void thread_jumps PARAMS ((rtx, int, int));
1415extern int redirect_exp PARAMS ((rtx *, rtx, rtx, rtx));
1416extern int rtx_equal_for_thread_p PARAMS ((rtx, rtx, rtx));
1417extern int invert_exp PARAMS ((rtx, rtx));
1418extern int can_reverse_comparison_p PARAMS ((rtx, rtx));
1419extern void delete_for_peephole PARAMS ((rtx, rtx));
1420extern int condjump_in_parallel_p PARAMS ((rtx));
1421extern void never_reached_warning PARAMS ((rtx));
ac957f13 1422
14bf4a33 1423/* Flags for jump_optimize() */
a05924f9
JH		 1424#define JUMP_CROSS_JUMP 1
1425#define JUMP_CROSS_JUMP_DEATH_MATTERS 2
1426#define JUMP_NOOP_MOVES 1
1427#define JUMP_AFTER_REGSCAN 1
14bf4a33 1428
ac957f13 1429/* In emit-rtl.c. */
cdadb1dd
KG		 1430extern int max_reg_num PARAMS ((void));
1431extern int max_label_num PARAMS ((void));
1432extern int get_first_label_num PARAMS ((void));
1433extern void delete_insns_since PARAMS ((rtx));
1434extern void mark_reg_pointer PARAMS ((rtx, int));
1435extern void mark_user_reg PARAMS ((rtx));
1436extern void reset_used_flags PARAMS ((rtx));
1437extern void reorder_insns PARAMS ((rtx, rtx, rtx));
1438extern int get_max_uid PARAMS ((void));
1439extern int in_sequence_p PARAMS ((void));
1440extern void force_next_line_note PARAMS ((void));
1441extern void clear_emit_caches PARAMS ((void));
1442extern void init_emit PARAMS ((void));
1443extern void init_emit_once PARAMS ((int));
1444extern void push_topmost_sequence PARAMS ((void));
1445extern void pop_topmost_sequence PARAMS ((void));
1446extern int subreg_realpart_p PARAMS ((rtx));
1447extern void reverse_comparison PARAMS ((rtx));
1448extern void set_new_first_and_last_insn PARAMS ((rtx, rtx));
1449extern void set_new_first_and_last_label_num PARAMS ((int, int));
1450extern void set_new_last_label_num PARAMS ((int));
d1b81779 1451extern void unshare_all_rtl_again PARAMS ((rtx));
cdadb1dd
KG		 1452extern void set_last_insn PARAMS ((rtx));
1453extern void link_cc0_insns PARAMS ((rtx));
1454extern void add_insn PARAMS ((rtx));
1455extern void add_insn_before PARAMS ((rtx, rtx));
1456extern void add_insn_after PARAMS ((rtx, rtx));
1457extern void remove_insn PARAMS ((rtx));
1458extern void reorder_insns_with_line_notes PARAMS ((rtx, rtx, rtx));
1459extern void emit_insn_after_with_line_notes PARAMS ((rtx, rtx, rtx));
1460extern enum rtx_code classify_insn PARAMS ((rtx));
1461extern rtx emit PARAMS ((rtx));
a11759a3
JR		 1462/* Query and clear/ restore no_line_numbers. This is used by the
1463 switch / case handling in stmt.c to give proper line numbers in
1464 warnings about unreachable code. */
cdadb1dd
KG		 1465int force_line_numbers PARAMS ((void));
1466void restore_line_number_status PARAMS ((int old_value));
1467extern void renumber_insns PARAMS ((FILE *));
1468extern void remove_unncessary_notes PARAMS ((void));
ac957f13
JL		 1469
1470/* In insn-emit.c */
cdadb1dd 1471extern void add_clobbers PARAMS ((rtx, int));
ac957f13
JL		 1472
1473/* In combine.c */
44a76fc8 1474extern int combine_instructions PARAMS ((rtx, int));
cdadb1dd
KG		 1475extern int extended_count PARAMS ((rtx, enum machine_mode, int));
1476extern rtx remove_death PARAMS ((int, rtx));
ac957f13 1477#ifdef BUFSIZ
cdadb1dd
KG		 1478extern void dump_combine_stats PARAMS ((FILE *));
1479extern void dump_combine_total_stats PARAMS ((FILE *));
ac957f13
JL		 1480#endif
1481
1482/* In sched.c. */
1483#ifdef BUFSIZ
cdadb1dd 1484extern void schedule_insns PARAMS ((FILE *));
ac957f13 1485#endif
cdadb1dd 1486extern void fix_sched_param PARAMS ((const char *, const char *));
ac957f13
JL		 1487
1488/* In print-rtl.c */
cdadb1dd
KG		 1489extern void debug_rtx PARAMS ((rtx));
1490extern void debug_rtx_list PARAMS ((rtx, int));
1491extern rtx debug_rtx_find PARAMS ((rtx, int));
ac957f13 1492#ifdef BUFSIZ
cdadb1dd
KG		 1493extern void print_rtl PARAMS ((FILE *, rtx));
1494extern int print_rtl_single PARAMS ((FILE *, rtx));
1495extern void print_inline_rtx PARAMS ((FILE *, rtx, int));
ac957f13
JL		 1496#endif
1497
1498/* In loop.c */
cdadb1dd
KG		 1499extern void init_loop PARAMS ((void));
1500extern rtx libcall_other_reg PARAMS ((rtx, rtx));
ac957f13 1501#ifdef BUFSIZ
cdadb1dd 1502extern void loop_optimize PARAMS ((rtx, FILE *, int, int));
ac957f13 1503#endif
cdadb1dd 1504extern void record_excess_regs PARAMS ((rtx, rtx, rtx *));
ac957f13
JL		 1505
1506/* In function.c */
cdadb1dd
KG		 1507extern void reposition_prologue_and_epilogue_notes PARAMS ((rtx));
1508extern void thread_prologue_and_epilogue_insns PARAMS ((rtx));
1509extern int prologue_epilogue_contains PARAMS ((rtx));
cdadb1dd 1510extern HOST_WIDE_INT get_frame_size PARAMS ((void));
cdadb1dd
KG		 1511extern void mark_temp_addr_taken PARAMS ((rtx));
1512extern void update_temp_slot_address PARAMS ((rtx, rtx));
cdadb1dd 1513extern void purge_addressof PARAMS ((rtx));
ac957f13
JL		 1514
1515/* In reload.c */
cdadb1dd
KG		 1516extern int operands_match_p PARAMS ((rtx, rtx));
1517extern int safe_from_earlyclobber PARAMS ((rtx, rtx));
ac957f13
JL		 1518
1519/* In stmt.c */
47ee9bcb 1520extern void set_file_and_line_for_stmt PARAMS ((const char *, int));
cdadb1dd
KG		 1521extern void expand_null_return PARAMS ((void));
1522extern void emit_jump PARAMS ((rtx));
1523extern int preserve_subexpressions_p PARAMS ((void));
ac957f13
JL		 1524
1525/* In expr.c */
cdadb1dd 1526extern void init_expr_once PARAMS ((void));
729a2125 1527extern void move_by_pieces PARAMS ((rtx, rtx, int, unsigned int));
2e245dac 1528
ac957f13 1529/* In flow.c */
cdadb1dd
KG		 1530extern void allocate_bb_life_data PARAMS ((void));
1531extern void allocate_reg_life_data PARAMS ((void));
1532extern void recompute_reg_usage PARAMS ((rtx, int));
ac957f13 1533#ifdef BUFSIZ
cdadb1dd
KG		 1534extern void print_rtl_with_bb PARAMS ((FILE *, rtx));
1535extern void dump_flow_info PARAMS ((FILE *));
ac957f13
JL		 1536#endif
1537
1538/* In expmed.c */
cdadb1dd
KG		 1539extern void init_expmed PARAMS ((void));
1540extern void expand_inc PARAMS ((rtx, rtx));
1541extern void expand_dec PARAMS ((rtx, rtx));
1542extern rtx expand_mult_highpart PARAMS ((enum machine_mode, rtx,
ac957f13
JL		 1543 unsigned HOST_WIDE_INT, rtx,
1544 int, int));
1545
50b2596f
KG		 1546/* In gcse.c */
1547#ifdef BUFSIZ
cdadb1dd 1548extern int gcse_main PARAMS ((rtx, FILE *));
50b2596f
KG		 1549#endif
1550
ac957f13 1551/* In global.c */
cdadb1dd 1552extern void mark_elimination PARAMS ((int, int));
ac957f13 1553#ifdef BUFSIZ
cdadb1dd
KG		 1554extern int global_alloc PARAMS ((FILE *));
1555extern void dump_global_regs PARAMS ((FILE *));
ac957f13 1556#endif
cab634f2 1557#ifdef HARD_CONST
cdadb1dd 1558extern void retry_global_alloc PARAMS ((int, HARD_REG_SET));
cab634f2 1559#endif
d29c259b 1560extern void build_insn_chain PARAMS ((rtx));
ac957f13
JL		 1561
1562/* In regclass.c */
cdadb1dd
KG		 1563extern int reg_classes_intersect_p PARAMS ((enum reg_class, enum reg_class));
1564extern int reg_class_subset_p PARAMS ((enum reg_class, enum reg_class));
1565extern void globalize_reg PARAMS ((int));
1566extern void init_regs PARAMS ((void));
1567extern void init_reg_sets PARAMS ((void));
1568extern void regset_release_memory PARAMS ((void));
1569extern void regclass_init PARAMS ((void));
1570extern void regclass PARAMS ((rtx, int, FILE *));
1571extern void reg_scan PARAMS ((rtx, int, int));
1572extern void reg_scan_update PARAMS ((rtx, rtx, int));
1573extern void fix_register PARAMS ((const char *, int, int));
1574
1575extern void delete_null_pointer_checks PARAMS ((rtx));
a157febd 1576
50b2596f
KG		 1577/* In regmove.c */
1578#ifdef BUFSIZ
cdadb1dd 1579extern void regmove_optimize PARAMS ((rtx, int, FILE *));
50b2596f
KG		 1580#endif
1581
1582/* In reorg.c */
1583#ifdef BUFSIZ
cdadb1dd 1584extern void dbr_schedule PARAMS ((rtx, FILE *));
50b2596f
KG		 1585#endif
1586
ac957f13 1587/* In optabs.c */
cdadb1dd 1588extern void init_optabs PARAMS ((void));
ac957f13
JL		 1589
1590/* In local-alloc.c */
1591#ifdef BUFSIZ
cdadb1dd 1592extern void dump_local_alloc PARAMS ((FILE *));
ac957f13 1593#endif
cdadb1dd
KG		 1594extern int local_alloc PARAMS ((void));
1595extern int function_invariant_p PARAMS ((rtx));
ac957f13
JL		 1596
1597/* In reload1.c */
cdadb1dd
KG		 1598extern void reload_cse_regs PARAMS ((rtx));
1599extern void init_reload PARAMS ((void));
1600extern void mark_home_live PARAMS ((int));
ac957f13 1601#ifdef BUFSIZ
cdadb1dd 1602extern int reload PARAMS ((rtx, int, FILE *));
ac957f13
JL		 1603#endif
1604
1605/* In caller-save.c */
cdadb1dd 1606extern void init_caller_save PARAMS ((void));
ac957f13
JL		 1607
1608/* In profile.c */
cdadb1dd 1609extern void init_branch_prob PARAMS ((const char *));
50b2596f 1610#ifdef BUFSIZ
cdadb1dd
KG		 1611extern void branch_prob PARAMS ((rtx, FILE *));
1612extern void end_branch_prob PARAMS ((FILE *));
50b2596f 1613#endif
cdadb1dd 1614extern void output_func_start_profiler PARAMS ((void));
ac957f13
JL		 1615
1616/* In reg-stack.c */
1617#ifdef BUFSIZ
cdadb1dd 1618extern void reg_to_stack PARAMS ((rtx, FILE *));
ac957f13 1619#endif
ac957f13
JL		 1620
1621/* In fold-const.c */
cdadb1dd 1622extern int add_double PARAMS ((HOST_WIDE_INT, HOST_WIDE_INT,
ac957f13
JL		 1623 HOST_WIDE_INT, HOST_WIDE_INT,
1624 HOST_WIDE_INT *, HOST_WIDE_INT *));
cdadb1dd 1625extern int neg_double PARAMS ((HOST_WIDE_INT, HOST_WIDE_INT,
ac957f13 1626 HOST_WIDE_INT *, HOST_WIDE_INT *));
cdadb1dd 1627extern int mul_double PARAMS ((HOST_WIDE_INT, HOST_WIDE_INT,
ac957f13
JL		 1628 HOST_WIDE_INT, HOST_WIDE_INT,
1629 HOST_WIDE_INT *, HOST_WIDE_INT *));
cdadb1dd 1630extern void lshift_double PARAMS ((HOST_WIDE_INT, HOST_WIDE_INT,
ac957f13
JL		 1631 HOST_WIDE_INT, int, HOST_WIDE_INT *,
1632 HOST_WIDE_INT *, int));
cdadb1dd 1633extern void rshift_double PARAMS ((HOST_WIDE_INT, HOST_WIDE_INT,
ac957f13
JL		 1634 HOST_WIDE_INT, int,
1635 HOST_WIDE_INT *, HOST_WIDE_INT *, int));
cdadb1dd 1636extern void lrotate_double PARAMS ((HOST_WIDE_INT, HOST_WIDE_INT,
ac957f13
JL		 1637 HOST_WIDE_INT, int, HOST_WIDE_INT *,
1638 HOST_WIDE_INT *));
cdadb1dd 1639extern void rrotate_double PARAMS ((HOST_WIDE_INT, HOST_WIDE_INT,
ac957f13
JL		 1640 HOST_WIDE_INT, int, HOST_WIDE_INT *,
1641 HOST_WIDE_INT *));
1642
1643/* In calls.c */
cdadb1dd 1644extern void emit_library_call PARAMS ((rtx, int, enum machine_mode,
ac957f13 1645 int, ...));
cdadb1dd 1646extern rtx emit_library_call_value PARAMS ((rtx, rtx, int,
ac957f13
JL		 1647 enum machine_mode,
1648 int, ...));
1649
1650/* In unroll.c */
cdadb1dd 1651extern int set_dominates_use PARAMS ((int, int, int, rtx, rtx));
ac957f13
JL		 1652
1653/* In varasm.c */
cdadb1dd
KG		 1654extern void bss_section PARAMS ((void));
1655extern int in_data_section PARAMS ((void));
1656extern int supports_one_only PARAMS ((void));
1657extern void init_varasm_once PARAMS ((void));
ac957f13
JL		 1658
1659/* In rtl.c */
cdadb1dd
KG		 1660extern void init_rtl PARAMS ((void));
1661extern void rtx_free PARAMS ((rtx));
ac957f13 1662
bcdaba58 1663#ifdef BUFSIZ
cdadb1dd
KG		 1664extern int read_skip_spaces PARAMS ((FILE *));
1665extern rtx read_rtx PARAMS ((FILE *));
bcdaba58
RH		 1666#endif
1667
1668extern const char *read_rtx_filename;
1669extern int read_rtx_lineno;
1670
987009bf
ZW		 1671/* Redefine abort to report an internal error w/o coredump, and
1672 reporting the location of the error in the source file. This logic
1673 is duplicated in rtl.h and tree.h because every file that needs the
1674 special abort includes one or both. toplev.h gets too few files,
1675 system.h gets too many. */
1676
cdadb1dd 1677extern void fancy_abort PARAMS ((const char *, int, const char *))
987009bf 1678 ATTRIBUTE_NORETURN;
6c9821b7 1679#if (GCC_VERSION >= 2007)
987009bf 1680#define abort() fancy_abort (__FILE__, __LINE__, __PRETTY_FUNCTION__)
6c9821b7
PDM		 1681#else
1682#define abort() fancy_abort (__FILE__, __LINE__, 0)
987009bf
ZW		 1683#endif
1684
ac957f13 1685/* In alias.c */
cdadb1dd 1686extern int true_dependence PARAMS ((rtx, enum machine_mode, rtx,
ac957f13 1687 int (*)(rtx)));
cdadb1dd
KG		 1688extern int read_dependence PARAMS ((rtx, rtx));
1689extern int anti_dependence PARAMS ((rtx, rtx));
1690extern int output_dependence PARAMS ((rtx, rtx));
1691extern void mark_constant_function PARAMS ((void));
1692extern void init_alias_once PARAMS ((void));
1693extern void init_alias_analysis PARAMS ((void));
1694extern void end_alias_analysis PARAMS ((void));
1695
1696extern void record_base_value PARAMS ((int, rtx, int));
1697extern void record_alias_subset PARAMS ((int, int));
1698extern rtx addr_side_effect_eval PARAMS ((rtx, int, int));
4c649323 1699
21b2cd73 1700#ifdef STACK_REGS
cdadb1dd 1701extern int stack_regs_mentioned PARAMS ((rtx insn));
21b2cd73
JH		 1702#endif
1703
a157febd
GK		 1704/* In toplev.c */
1705
1706extern rtx stack_limit_rtx;
dfdb644f 1707
ac957f13 1708#endif /* _RTL_H */
GNU Compiler Collection
This page took 1.108571 seconds and 5 git commands to generate.