]>
Commit | Line | Data |
---|---|---|
6f29feb1 | 1 | /* Register Transfer Language (RTL) definitions for GNU C-Compiler |
af841dbd | 2 | Copyright (C) 1987, 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, |
f52eda29 | 3 | 1999, 2000, 2001, 2002 Free Software Foundation, Inc. |
6f29feb1 | 4 | |
1322177d | 5 | This file is part of GCC. |
6f29feb1 | 6 | |
1322177d LB |
7 | GCC is free software; you can redistribute it and/or modify it under |
8 | the terms of the GNU General Public License as published by the Free | |
9 | Software Foundation; either version 2, or (at your option) any later | |
10 | version. | |
6f29feb1 | 11 | |
1322177d LB |
12 | GCC is distributed in the hope that it will be useful, but WITHOUT ANY |
13 | WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
14 | FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
15 | for more details. | |
6f29feb1 JW |
16 | |
17 | You should have received a copy of the GNU General Public License | |
1322177d LB |
18 | along with GCC; see the file COPYING. If not, write to the Free |
19 | Software Foundation, 59 Temple Place - Suite 330, Boston, MA | |
20 | 02111-1307, USA. */ | |
6f29feb1 | 21 | |
88657302 RH |
22 | #ifndef GCC_RTL_H |
23 | #define GCC_RTL_H | |
6f29feb1 | 24 | |
36edd3cc BS |
25 | struct 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 | |
173b24b9 | 34 | /* Value used by some passes to "recognize" noop moves as valid |
eebedaa5 | 35 | instructions. */ |
b5832b43 JH |
36 | #define NOOP_MOVE_INSN_CODE INT_MAX |
37 | ||
6f29feb1 JW |
38 | /* Register Transfer Language EXPRESSIONS CODES */ |
39 | ||
40 | #define RTX_CODE enum rtx_code | |
41 | enum 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 | 50 | |
cf403648 | 51 | #define NUM_RTX_CODE ((int) LAST_AND_UNUSED_RTX_CODE) |
6f29feb1 JW |
52 | /* The cast here, saves many elsewhere. */ |
53 | ||
86460bab | 54 | extern const unsigned char rtx_length[NUM_RTX_CODE]; |
0f41302f | 55 | #define GET_RTX_LENGTH(CODE) (rtx_length[(int) (CODE)]) |
6f29feb1 | 56 | |
86460bab | 57 | extern const char * const rtx_name[NUM_RTX_CODE]; |
0f41302f | 58 | #define GET_RTX_NAME(CODE) (rtx_name[(int) (CODE)]) |
6f29feb1 | 59 | |
86460bab | 60 | extern const char * const rtx_format[NUM_RTX_CODE]; |
0f41302f | 61 | #define GET_RTX_FORMAT(CODE) (rtx_format[(int) (CODE)]) |
6f29feb1 | 62 | |
86460bab | 63 | extern const char rtx_class[NUM_RTX_CODE]; |
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. */ | |
68 | typedef 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. */ | |
173b24b9 RK |
74 | unsigned min_after_vec: 1; /* minimum address target label is |
75 | after the ADDR_DIFF_VEC. */ | |
76 | unsigned max_after_vec: 1; /* maximum address target label is | |
77 | after the ADDR_DIFF_VEC. */ | |
78 | unsigned min_after_base: 1; /* minimum address target label is | |
79 | after BASE. */ | |
80 | unsigned max_after_base: 1; /* maximum address target label is | |
81 | after BASE. */ | |
33f7f353 JR |
82 | /* Set by the actual branch shortening process - ONLY WHEN OPTIMIZING - : */ |
83 | unsigned offset_unsigned: 1; /* offsets have to be treated as unsigned. */ | |
84 | unsigned : 2; | |
85 | unsigned scale : 8; | |
86 | } addr_diff_vec_flags; | |
87 | ||
173b24b9 RK |
88 | /* Structure used to describe the attributes of a MEM. These are hashed |
89 | so MEMs that the same attributes share a data structure. This means | |
90 | they cannot be modified in place. If any element is nonzero, it means | |
91 | the value of the corresponding attribute is unknown. */ | |
92 | typedef struct | |
93 | { | |
eebedaa5 | 94 | HOST_WIDE_INT alias; /* Memory alias set. */ |
998d7deb | 95 | tree expr; /* expr corresponding to MEM. */ |
eebedaa5 | 96 | rtx offset; /* Offset from start of DECL, as CONST_INT. */ |
173b24b9 | 97 | rtx size; /* Size in bytes, as a CONST_INT. */ |
d022d93e | 98 | unsigned int align; /* Alignment of MEM in bits. */ |
173b24b9 RK |
99 | } mem_attrs; |
100 | ||
6f29feb1 JW |
101 | /* Common union for an element of an rtx. */ |
102 | ||
103 | typedef union rtunion_def | |
104 | { | |
5f4f0e22 | 105 | HOST_WIDE_INT rtwint; |
6f29feb1 | 106 | int rtint; |
770ae6cc | 107 | unsigned int rtuint; |
3cce094d | 108 | const char *rtstr; |
2f78c311 ZW |
109 | rtx rtx; |
110 | rtvec rtvec; | |
6f29feb1 | 111 | enum machine_mode rttype; |
33f7f353 | 112 | addr_diff_vec_flags rt_addr_diff_vec_flags; |
eab5c70a | 113 | struct cselib_val_struct *rt_cselib; |
0dfa1860 | 114 | struct bitmap_head_def *rtbit; |
2f78c311 | 115 | tree rttree; |
e881bb1b | 116 | struct basic_block_def *bb; |
173b24b9 | 117 | mem_attrs *rtmem; |
6f29feb1 JW |
118 | } rtunion; |
119 | ||
120 | /* RTL expression ("rtx"). */ | |
121 | ||
2f78c311 | 122 | struct rtx_def |
6f29feb1 | 123 | { |
6f29feb1 | 124 | /* The kind of expression this is. */ |
c149cc37 | 125 | ENUM_BITFIELD(rtx_code) code: 16; |
18def38f | 126 | |
6f29feb1 | 127 | /* The kind of value the expression has. */ |
c149cc37 RL |
128 | ENUM_BITFIELD(machine_mode) mode : 8; |
129 | ||
0a1c58a2 | 130 | /* 1 in an INSN if it can alter flow of control |
b8ec5764 | 131 | within this function. |
10b76d73 | 132 | MEM_KEEP_ALIAS_SET_P in a MEM. |
3258e996 RK |
133 | LINK_COST_ZERO in an INSN_LIST. |
134 | SET_IS_RETURN_P in a SET. */ | |
6f29feb1 | 135 | unsigned int jump : 1; |
b8ec5764 VM |
136 | /* 1 in an INSN if it can call another function. |
137 | LINK_COST_FREE in an INSN_LIST. */ | |
6f29feb1 | 138 | unsigned int call : 1; |
49982682 JW |
139 | /* 1 in a REG if value of this expression will never change during |
140 | the current function, even though it is not manifestly constant. | |
141 | 1 in a MEM if contents of memory are constant. This does not | |
142 | necessarily mean that the value of this expression is constant. | |
07be3989 | 143 | 1 in a SUBREG if it is from a promoted variable that is unsigned. |
6f29feb1 JW |
144 | 1 in a SYMBOL_REF if it addresses something in the per-function |
145 | constants pool. | |
146 | 1 in a CALL_INSN if it is a const call. | |
147 | 1 in a JUMP_INSN if it is a branch that should be annulled. Valid from | |
148 | reorg until end of compilation; cleared before used. */ | |
149 | unsigned int unchanging : 1; | |
150 | /* 1 in a MEM expression if contents of memory are volatile. | |
151 | 1 in an INSN, CALL_INSN, JUMP_INSN, CODE_LABEL or BARRIER | |
152 | if it is deleted. | |
153 | 1 in a REG expression if corresponds to a variable declared by the user. | |
154 | 0 for an internally generated temporary. | |
2a406d2a RS |
155 | In a SYMBOL_REF, this flag is used for machine-specific purposes. |
156 | In a LABEL_REF or in a REG_LABEL note, this is LABEL_REF_NONLOCAL_P. */ | |
6f29feb1 | 157 | unsigned int volatil : 1; |
8358a974 | 158 | /* 1 in a MEM referring to a field of an aggregate. |
6f29feb1 JW |
159 | 0 if the MEM was a variable or the result of a * operator in C; |
160 | 1 if it was the result of a . or -> operator (on a struct) in C. | |
161 | 1 in a REG if the register is used only in exit code a loop. | |
f590cca1 | 162 | 1 in a SUBREG expression if was generated from a variable with a |
07be3989 | 163 | promoted mode. |
6f29feb1 JW |
164 | 1 in a CODE_LABEL if the label is used for nonlocal gotos |
165 | and must not be deleted even if its count is zero. | |
166 | 1 in a LABEL_REF if this is a reference to a label outside the | |
167 | current loop. | |
168 | 1 in an INSN, JUMP_INSN, or CALL_INSN if this insn must be scheduled | |
d45cf215 | 169 | together with the preceding insn. Valid only within sched. |
6f29feb1 JW |
170 | 1 in an INSN, JUMP_INSN, or CALL_INSN if insn is in a delay slot and |
171 | from the target of a branch. Valid from reorg until end of compilation; | |
b53978a3 JO |
172 | cleared before used. |
173 | 1 in an INSN if this insn is dead code. Valid only during | |
eebedaa5 | 174 | dead-code elimination phase; cleared before use. */ |
6f29feb1 JW |
175 | unsigned int in_struct : 1; |
176 | /* 1 if this rtx is used. This is used for copying shared structure. | |
177 | See `unshare_all_rtl'. | |
f590cca1 | 178 | In a REG, this is not needed for that purpose, and used instead |
6f29feb1 JW |
179 | in `leaf_renumber_regs_insn'. |
180 | In a SYMBOL_REF, means that emit_library_call | |
181 | has used it as the function. */ | |
182 | unsigned int used : 1; | |
183 | /* Nonzero if this rtx came from procedure integration. | |
184 | In a REG, nonzero means this reg refers to the return value | |
ff0b6b99 FS |
185 | of the current function. |
186 | 1 in a SYMBOL_REF if the symbol is weak. */ | |
6f29feb1 | 187 | unsigned integrated : 1; |
b664de3a | 188 | /* 1 in an INSN or a SET if this rtx is related to the call frame, |
c6df88cb | 189 | either changing how we compute the frame address or saving and |
f590cca1 | 190 | restoring registers in the prologue and epilogue. |
c6df88cb | 191 | 1 in a MEM if the MEM refers to a scalar, rather than a member of |
bd7cf17e | 192 | an aggregate. |
3502dc9c | 193 | 1 in a REG if the register is a pointer. |
bd7cf17e JJ |
194 | 1 in a SYMBOL_REF if it addresses something in the per-function |
195 | constant string pool. */ | |
469ac993 | 196 | unsigned frame_related : 1; |
0a25f1f5 | 197 | |
6f29feb1 JW |
198 | /* The first element of the operands of this rtx. |
199 | The number of operands and their types are controlled | |
200 | by the `code' field, according to rtl.def. */ | |
201 | rtunion fld[1]; | |
2f78c311 | 202 | }; |
6f29feb1 JW |
203 | |
204 | #define NULL_RTX (rtx) 0 | |
205 | ||
206 | /* Define macros to access the `code' field of the rtx. */ | |
207 | ||
dbbbbf3b JDA |
208 | #define GET_CODE(RTX) ((enum rtx_code) (RTX)->code) |
209 | #define PUT_CODE(RTX, CODE) ((RTX)->code = (ENUM_BITFIELD(rtx_code)) (CODE)) | |
6f29feb1 | 210 | |
dbbbbf3b JDA |
211 | #define GET_MODE(RTX) ((enum machine_mode) (RTX)->mode) |
212 | #define PUT_MODE(RTX, MODE) ((RTX)->mode = (ENUM_BITFIELD(machine_mode)) (MODE)) | |
6f29feb1 JW |
213 | |
214 | #define RTX_INTEGRATED_P(RTX) ((RTX)->integrated) | |
215 | #define RTX_UNCHANGING_P(RTX) ((RTX)->unchanging) | |
469ac993 | 216 | #define RTX_FRAME_RELATED_P(RTX) ((RTX)->frame_related) |
6f29feb1 JW |
217 | |
218 | /* RTL vector. These appear inside RTX's when there is a need | |
219 | for a variable number of things. The principle use is inside | |
220 | PARALLEL expressions. */ | |
221 | ||
2f78c311 | 222 | struct rtvec_def { |
e9a25f70 | 223 | int num_elem; /* number of elements */ |
2f78c311 ZW |
224 | rtx elem[1]; |
225 | }; | |
6f29feb1 JW |
226 | |
227 | #define NULL_RTVEC (rtvec) 0 | |
228 | ||
229 | #define GET_NUM_ELEM(RTVEC) ((RTVEC)->num_elem) | |
e9a25f70 | 230 | #define PUT_NUM_ELEM(RTVEC, NUM) ((RTVEC)->num_elem = (NUM)) |
6f29feb1 | 231 | |
b53978a3 | 232 | /* Predicate yielding nonzero iff X is an rtl for a register. */ |
6f29feb1 JW |
233 | #define REG_P(X) (GET_CODE (X) == REG) |
234 | ||
b53978a3 JO |
235 | /* Predicate yielding nonzero iff X is a label insn. */ |
236 | #define LABEL_P(X) (GET_CODE (X) == CODE_LABEL) | |
237 | ||
238 | /* Predicate yielding nonzero iff X is a jump insn. */ | |
239 | #define JUMP_P(X) (GET_CODE (X) == JUMP_INSN) | |
240 | ||
241 | /* Predicate yielding nonzero iff X is a note insn. */ | |
242 | #define NOTE_P(X) (GET_CODE (X) == NOTE) | |
243 | ||
244 | /* Predicate yielding nonzero iff X is a barrier insn. */ | |
245 | #define BARRIER_P(X) (GET_CODE (X) == BARRIER) | |
246 | ||
247 | /* Predicate yielding nonzero iff X is a data for a jump table. */ | |
248 | #define JUMP_TABLE_DATA_P(INSN) \ | |
249 | (JUMP_P (INSN) && (GET_CODE (PATTERN (INSN)) == ADDR_VEC || \ | |
250 | GET_CODE (PATTERN (INSN)) == ADDR_DIFF_VEC)) | |
251 | ||
6f29feb1 JW |
252 | /* 1 if X is a constant value that is an integer. */ |
253 | ||
254 | #define CONSTANT_P(X) \ | |
255 | (GET_CODE (X) == LABEL_REF || GET_CODE (X) == SYMBOL_REF \ | |
256 | || GET_CODE (X) == CONST_INT || GET_CODE (X) == CONST_DOUBLE \ | |
ee5332b8 | 257 | || GET_CODE (X) == CONST || GET_CODE (X) == HIGH \ |
69ef87e2 | 258 | || GET_CODE (X) == CONST_VECTOR \ |
ee5332b8 | 259 | || GET_CODE (X) == CONSTANT_P_RTX) |
6f29feb1 JW |
260 | |
261 | /* General accessor macros for accessing the fields of an rtx. */ | |
262 | ||
f4524c9e | 263 | #if defined ENABLE_RTL_CHECKING && (GCC_VERSION >= 2007) |
ef178af3 ZW |
264 | /* The bit with a star outside the statement expr and an & inside is |
265 | so that N can be evaluated only once. */ | |
8784fdcd | 266 | #define RTL_CHECK1(RTX, N, C1) __extension__ \ |
83ab3839 | 267 | (*({ rtx _rtx = (RTX); int _n = (N); \ |
ef178af3 ZW |
268 | enum rtx_code _code = GET_CODE (_rtx); \ |
269 | if (_n < 0 || _n >= GET_RTX_LENGTH (_code)) \ | |
f52eda29 GS |
270 | rtl_check_failed_bounds (_rtx, _n, __FILE__, __LINE__, \ |
271 | __FUNCTION__); \ | |
ef178af3 | 272 | if (GET_RTX_FORMAT(_code)[_n] != C1) \ |
f52eda29 GS |
273 | rtl_check_failed_type1 (_rtx, _n, C1, __FILE__, __LINE__, \ |
274 | __FUNCTION__); \ | |
ef178af3 ZW |
275 | &_rtx->fld[_n]; })) |
276 | ||
8784fdcd | 277 | #define RTL_CHECK2(RTX, N, C1, C2) __extension__ \ |
83ab3839 | 278 | (*({ rtx _rtx = (RTX); int _n = (N); \ |
ef178af3 ZW |
279 | enum rtx_code _code = GET_CODE (_rtx); \ |
280 | if (_n < 0 || _n >= GET_RTX_LENGTH (_code)) \ | |
f52eda29 GS |
281 | rtl_check_failed_bounds (_rtx, _n, __FILE__, __LINE__, \ |
282 | __FUNCTION__); \ | |
ef178af3 ZW |
283 | if (GET_RTX_FORMAT(_code)[_n] != C1 \ |
284 | && GET_RTX_FORMAT(_code)[_n] != C2) \ | |
285 | rtl_check_failed_type2 (_rtx, _n, C1, C2, __FILE__, __LINE__, \ | |
fbfc1192 | 286 | __FUNCTION__); \ |
ef178af3 ZW |
287 | &_rtx->fld[_n]; })) |
288 | ||
8784fdcd | 289 | #define RTL_CHECKC1(RTX, N, C) __extension__ \ |
83ab3839 | 290 | (*({ rtx _rtx = (RTX); int _n = (N); \ |
f52eda29 GS |
291 | if (GET_CODE (_rtx) != (C)) \ |
292 | rtl_check_failed_code1 (_rtx, (C), __FILE__, __LINE__, \ | |
293 | __FUNCTION__); \ | |
83ab3839 RH |
294 | &_rtx->fld[_n]; })) |
295 | ||
8784fdcd | 296 | #define RTL_CHECKC2(RTX, N, C1, C2) __extension__ \ |
83ab3839 RH |
297 | (*({ rtx _rtx = (RTX); int _n = (N); \ |
298 | enum rtx_code _code = GET_CODE (_rtx); \ | |
f52eda29 GS |
299 | if (_code != (C1) && _code != (C2)) \ |
300 | rtl_check_failed_code2 (_rtx, (C1), (C2), __FILE__, __LINE__, \ | |
301 | __FUNCTION__); \ | |
83ab3839 RH |
302 | &_rtx->fld[_n]; })) |
303 | ||
8784fdcd | 304 | #define RTVEC_ELT(RTVEC, I) __extension__ \ |
83ab3839 | 305 | (*({ rtvec _rtvec = (RTVEC); int _i = (I); \ |
ef178af3 ZW |
306 | if (_i < 0 || _i >= GET_NUM_ELEM (_rtvec)) \ |
307 | rtvec_check_failed_bounds (_rtvec, _i, __FILE__, __LINE__, \ | |
fbfc1192 | 308 | __FUNCTION__); \ |
ef178af3 ZW |
309 | &_rtvec->elem[_i]; })) |
310 | ||
cdadb1dd | 311 | extern void rtl_check_failed_bounds PARAMS ((rtx, int, |
ef178af3 ZW |
312 | const char *, int, const char *)) |
313 | ATTRIBUTE_NORETURN; | |
cdadb1dd | 314 | extern void rtl_check_failed_type1 PARAMS ((rtx, int, int, |
ef178af3 ZW |
315 | const char *, int, const char *)) |
316 | ATTRIBUTE_NORETURN; | |
cdadb1dd | 317 | extern void rtl_check_failed_type2 PARAMS ((rtx, int, int, int, |
ef178af3 ZW |
318 | const char *, int, const char *)) |
319 | ATTRIBUTE_NORETURN; | |
cdadb1dd | 320 | extern void rtl_check_failed_code1 PARAMS ((rtx, enum rtx_code, |
83ab3839 RH |
321 | const char *, int, const char *)) |
322 | ATTRIBUTE_NORETURN; | |
cdadb1dd | 323 | extern void rtl_check_failed_code2 PARAMS ((rtx, enum rtx_code, enum rtx_code, |
83ab3839 RH |
324 | const char *, int, const char *)) |
325 | ATTRIBUTE_NORETURN; | |
cdadb1dd | 326 | extern void rtvec_check_failed_bounds PARAMS ((rtvec, int, |
ef178af3 ZW |
327 | const char *, int, const char *)) |
328 | ATTRIBUTE_NORETURN; | |
329 | ||
f4524c9e | 330 | #else /* not ENABLE_RTL_CHECKING */ |
ef178af3 | 331 | |
83ab3839 RH |
332 | #define RTL_CHECK1(RTX, N, C1) ((RTX)->fld[N]) |
333 | #define RTL_CHECK2(RTX, N, C1, C2) ((RTX)->fld[N]) | |
334 | #define RTL_CHECKC1(RTX, N, C) ((RTX)->fld[N]) | |
818a3b15 | 335 | #define RTL_CHECKC2(RTX, N, C1, C2) ((RTX)->fld[N]) |
83ab3839 | 336 | #define RTVEC_ELT(RTVEC, I) ((RTVEC)->elem[I]) |
ef178af3 ZW |
337 | |
338 | #endif | |
339 | ||
f52eda29 GS |
340 | #define XWINT(RTX, N) (RTL_CHECK1 (RTX, N, 'w').rtwint) |
341 | #define XINT(RTX, N) (RTL_CHECK2 (RTX, N, 'i', 'n').rtint) | |
342 | #define XSTR(RTX, N) (RTL_CHECK2 (RTX, N, 's', 'S').rtstr) | |
343 | #define XEXP(RTX, N) (RTL_CHECK2 (RTX, N, 'e', 'u').rtx) | |
344 | #define XVEC(RTX, N) (RTL_CHECK2 (RTX, N, 'E', 'V').rtvec) | |
345 | #define XMODE(RTX, N) (RTL_CHECK1 (RTX, N, 'M').rttype) | |
346 | #define XBITMAP(RTX, N) (RTL_CHECK1 (RTX, N, 'b').rtbit) | |
347 | #define XTREE(RTX, N) (RTL_CHECK1 (RTX, N, 't').rttree) | |
348 | #define XBBDEF(RTX, N) (RTL_CHECK1 (RTX, N, 'B').bb) | |
349 | #define XTMPL(RTX, N) (RTL_CHECK1 (RTX, N, 'T').rtstr) | |
ef178af3 ZW |
350 | |
351 | #define XVECEXP(RTX, N, M) RTVEC_ELT (XVEC (RTX, N), M) | |
352 | #define XVECLEN(RTX, N) GET_NUM_ELEM (XVEC (RTX, N)) | |
353 | ||
354 | /* These are like XWINT, etc. except that they expect a '0' field instead | |
355 | of the normal type code. */ | |
356 | ||
f52eda29 GS |
357 | #define X0WINT(RTX, N) (RTL_CHECK1 (RTX, N, '0').rtwint) |
358 | #define X0INT(RTX, N) (RTL_CHECK1 (RTX, N, '0').rtint) | |
359 | #define X0UINT(RTX, N) (RTL_CHECK1 (RTX, N, '0').rtuint) | |
360 | #define X0STR(RTX, N) (RTL_CHECK1 (RTX, N, '0').rtstr) | |
361 | #define X0EXP(RTX, N) (RTL_CHECK1 (RTX, N, '0').rtx) | |
362 | #define X0VEC(RTX, N) (RTL_CHECK1 (RTX, N, '0').rtvec) | |
363 | #define X0MODE(RTX, N) (RTL_CHECK1 (RTX, N, '0').rttype) | |
364 | #define X0BITMAP(RTX, N) (RTL_CHECK1 (RTX, N, '0').rtbit) | |
365 | #define X0TREE(RTX, N) (RTL_CHECK1 (RTX, N, '0').rttree) | |
366 | #define X0BBDEF(RTX, N) (RTL_CHECK1 (RTX, N, '0').bb) | |
367 | #define X0ADVFLAGS(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_addr_diff_vec_flags) | |
368 | #define X0CSELIB(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_cselib) | |
369 | #define X0MEMATTR(RTX, N) (RTL_CHECK1 (RTX, N, '0').rtmem) | |
370 | ||
371 | #define XCWINT(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rtwint) | |
372 | #define XCINT(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rtint) | |
373 | #define XCUINT(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rtuint) | |
374 | #define XCSTR(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rtstr) | |
375 | #define XCEXP(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rtx) | |
376 | #define XCVEC(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rtvec) | |
377 | #define XCMODE(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rttype) | |
378 | #define XCBITMAP(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rtbit) | |
379 | #define XCTREE(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rttree) | |
380 | #define XCBBDEF(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).bb) | |
381 | #define XCADVFLAGS(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rt_addr_diff_vec_flags) | |
382 | #define XCCSELIB(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rt_cselib) | |
83ab3839 RH |
383 | |
384 | #define XCVECEXP(RTX, N, M, C) RTVEC_ELT (XCVEC (RTX, N, C), M) | |
385 | #define XCVECLEN(RTX, N, C) GET_NUM_ELEM (XCVEC (RTX, N, C)) | |
386 | ||
f52eda29 | 387 | #define XC2EXP(RTX, N, C1, C2) (RTL_CHECKC2 (RTX, N, C1, C2).rtx) |
6f29feb1 JW |
388 | \f |
389 | /* ACCESS MACROS for particular fields of insns. */ | |
390 | ||
4e872036 AS |
391 | /* Determines whether X is an insn. */ |
392 | #define INSN_P(X) (GET_RTX_CLASS (GET_CODE(X)) == 'i') | |
393 | ||
6f29feb1 JW |
394 | /* Holds a unique number for each insn. |
395 | These are not necessarily sequentially increasing. */ | |
f52eda29 | 396 | #define INSN_UID(INSN) XINT (INSN, 0) |
6f29feb1 JW |
397 | |
398 | /* Chain insns together in sequence. */ | |
f52eda29 GS |
399 | #define PREV_INSN(INSN) XEXP (INSN, 1) |
400 | #define NEXT_INSN(INSN) XEXP (INSN, 2) | |
6f29feb1 JW |
401 | |
402 | /* The body of an insn. */ | |
f52eda29 | 403 | #define PATTERN(INSN) XEXP (INSN, 3) |
6f29feb1 JW |
404 | |
405 | /* Code number of instruction, from when it was recognized. | |
406 | -1 means this instruction has not been recognized yet. */ | |
f52eda29 | 407 | #define INSN_CODE(INSN) XINT (INSN, 4) |
6f29feb1 JW |
408 | |
409 | /* Set up in flow.c; empty before then. | |
410 | Holds a chain of INSN_LIST rtx's whose first operands point at | |
411 | previous insns with direct data-flow connections to this one. | |
412 | That means that those insns set variables whose next use is in this insn. | |
413 | They are always in the same basic block as this insn. */ | |
8f985ec4 | 414 | #define LOG_LINKS(INSN) XEXP(INSN, 5) |
6f29feb1 JW |
415 | |
416 | /* 1 if insn has been deleted. */ | |
417 | #define INSN_DELETED_P(INSN) ((INSN)->volatil) | |
418 | ||
24a28584 JH |
419 | /* 1 if insn is a call to a const or pure function. */ |
420 | #define CONST_OR_PURE_CALL_P(INSN) ((INSN)->unchanging) | |
6f29feb1 | 421 | |
0a1c58a2 JL |
422 | /* 1 if insn (assumed to be a CALL_INSN) is a sibling call. */ |
423 | #define SIBLING_CALL_P(INSN) ((INSN)->jump) | |
424 | ||
6f29feb1 | 425 | /* 1 if insn is a branch that should not unconditionally execute its |
eebedaa5 | 426 | delay slots, i.e., it is an annulled branch. */ |
6f29feb1 JW |
427 | #define INSN_ANNULLED_BRANCH_P(INSN) ((INSN)->unchanging) |
428 | ||
eebedaa5 | 429 | /* 1 if insn is a dead code. Valid only for dead-code elimination phase. */ |
b53978a3 JO |
430 | #define INSN_DEAD_CODE_P(INSN) ((INSN)->in_struct) |
431 | ||
6f29feb1 | 432 | /* 1 if insn is in a delay slot and is from the target of the branch. If |
6dc42e49 | 433 | the branch insn has INSN_ANNULLED_BRANCH_P set, this insn should only be |
6f29feb1 JW |
434 | executed if the branch is taken. For annulled branches with this bit |
435 | clear, the insn should be executed only if the branch is not taken. */ | |
436 | #define INSN_FROM_TARGET_P(INSN) ((INSN)->in_struct) | |
437 | ||
f590cca1 RH |
438 | #define ADDR_DIFF_VEC_FLAGS(RTX) X0ADVFLAGS(RTX, 4) |
439 | ||
440 | #define CSELIB_VAL_PTR(RTX) X0CSELIB(RTX, 0) | |
441 | ||
6f29feb1 | 442 | /* Holds a list of notes on what this insn does to various REGs. |
f590cca1 RH |
443 | It is a chain of EXPR_LIST rtx's, where the second operand is the |
444 | chain pointer and the first operand is the REG being described. | |
6f29feb1 | 445 | The mode field of the EXPR_LIST contains not a real machine mode |
f590cca1 | 446 | but a value from enum reg_note. */ |
6f29feb1 | 447 | |
8f985ec4 | 448 | #define REG_NOTES(INSN) XEXP(INSN, 6) |
6f29feb1 JW |
449 | |
450 | /* Don't forget to change reg_note_name in rtl.c. */ | |
f590cca1 RH |
451 | enum reg_note |
452 | { | |
453 | /* The value in REG dies in this insn (i.e., it is not needed past | |
454 | this insn). If REG is set in this insn, the REG_DEAD note may, | |
455 | but need not, be omitted. */ | |
456 | REG_DEAD = 1, | |
457 | ||
458 | /* The REG is autoincremented or autodecremented. */ | |
459 | REG_INC, | |
460 | ||
461 | /* Describes the insn as a whole; it says that the insn sets a register | |
462 | to a constant value or to be equivalent to a memory address. If the | |
463 | register is spilled to the stack then the constant value should be | |
464 | substituted for it. The contents of the REG_EQUIV is the constant | |
465 | value or memory address, which may be different from the source of | |
466 | the SET although it has the same value. A REG_EQUIV note may also | |
467 | appear on an insn which copies a register parameter to a pseudo-register, | |
468 | if there is a memory address which could be used to hold that | |
469 | pseudo-register throughout the function. */ | |
be1bb652 | 470 | REG_EQUIV, |
f590cca1 RH |
471 | |
472 | /* Like REG_EQUIV except that the destination is only momentarily equal | |
473 | to the specified rtx. Therefore, it cannot be used for substitution; | |
474 | but it can be used for cse. */ | |
475 | REG_EQUAL, | |
476 | ||
477 | /* The register set in this insn held 0 before the insn. The contents of | |
478 | the note is the insn that stored the 0. If that insn is deleted or | |
479 | patched to a NOTE, the REG_WAS_0 is inoperative. The REG_WAS_0 note | |
480 | is actually an INSN_LIST, not an EXPR_LIST. */ | |
481 | REG_WAS_0, | |
482 | ||
483 | /* This insn copies the return-value of a library call out of the hard reg | |
484 | for return values. This note is actually an INSN_LIST and it points to | |
485 | the first insn involved in setting up arguments for the call. flow.c | |
486 | uses this to delete the entire library call when its result is dead. */ | |
487 | REG_RETVAL, | |
488 | ||
489 | /* The inverse of REG_RETVAL: it goes on the first insn of the library call | |
be1bb652 RH |
490 | and points at the one that has the REG_RETVAL. This note is also an |
491 | INSN_LIST. */ | |
f590cca1 RH |
492 | REG_LIBCALL, |
493 | ||
494 | /* The register is always nonnegative during the containing loop. This is | |
495 | used in branches so that decrement and branch instructions terminating | |
496 | on zero can be matched. There must be an insn pattern in the md file | |
497 | named `decrement_and_branch_until_zero' or else this will never be added | |
498 | to any instructions. */ | |
499 | REG_NONNEG, | |
500 | ||
501 | /* There is no conflict *after this insn* between the register in the note | |
502 | and the destination of this insn. */ | |
503 | REG_NO_CONFLICT, | |
504 | ||
505 | /* Identifies a register set in this insn and never used. */ | |
506 | REG_UNUSED, | |
507 | ||
508 | /* REG_CC_SETTER and REG_CC_USER link a pair of insns that set and use CC0, | |
509 | respectively. Normally, these are required to be consecutive insns, but | |
510 | we permit putting a cc0-setting insn in the delay slot of a branch as | |
511 | long as only one copy of the insn exists. In that case, these notes | |
512 | point from one to the other to allow code generation to determine what | |
be1bb652 RH |
513 | any require information and to properly update CC_STATUS. These notes |
514 | are INSN_LISTs. */ | |
f590cca1 RH |
515 | REG_CC_SETTER, REG_CC_USER, |
516 | ||
517 | /* Points to a CODE_LABEL. Used by non-JUMP_INSNs to say that the | |
be1bb652 RH |
518 | CODE_LABEL contained in the REG_LABEL note is used by the insn. |
519 | This note is an INSN_LIST. */ | |
f590cca1 RH |
520 | REG_LABEL, |
521 | ||
522 | /* REG_DEP_ANTI and REG_DEP_OUTPUT are used in LOG_LINKS to represent | |
523 | write-after-read and write-after-write dependencies respectively. | |
524 | Data dependencies, which are the only type of LOG_LINK created by | |
525 | flow, are represented by a 0 reg note kind. */ | |
526 | REG_DEP_ANTI, REG_DEP_OUTPUT, | |
527 | ||
4db384c9 JH |
528 | /* REG_BR_PROB is attached to JUMP_INSNs and CALL_INSNs. |
529 | It has an integer value. For jumps, it is the probability that this is a | |
530 | taken branch. For calls, it is the probability that this call won't | |
531 | return. */ | |
f590cca1 RH |
532 | REG_BR_PROB, |
533 | ||
534 | /* REG_EXEC_COUNT is attached to the first insn of each basic block, and | |
535 | the first insn after each CALL_INSN. It indicates how many times this | |
536 | block was executed. */ | |
537 | REG_EXEC_COUNT, | |
538 | ||
539 | /* Attached to a call insn; indicates that the call is malloc-like and | |
540 | that the pointer returned cannot alias anything else. */ | |
541 | REG_NOALIAS, | |
542 | ||
543 | /* Used to optimize rtl generated by dynamic stack allocations for targets | |
544 | where SETJMP_VIA_SAVE_AREA is true. */ | |
545 | REG_SAVE_AREA, | |
546 | ||
4db384c9 JH |
547 | /* REG_BR_PRED is attached to JUMP_INSNs and CALL_INSNSs. It contains |
548 | CONCAT of two integer value. First specifies the branch predictor | |
549 | that added the note, second specifies the predicted hitrate of branch | |
550 | in the same format as REG_BR_PROB note uses. */ | |
f590cca1 RH |
551 | REG_BR_PRED, |
552 | ||
553 | /* Attached to insns that are RTX_FRAME_RELATED_P, but are too complex | |
554 | for DWARF to interpret what they imply. The attached rtx is used | |
555 | instead of intuition. */ | |
556 | REG_FRAME_RELATED_EXPR, | |
557 | ||
558 | /* Indicates that REG holds the exception context for the function. | |
559 | This context is shared by inline functions, so the code to acquire | |
560 | the real exception context is delayed until after inlining. */ | |
561 | REG_EH_CONTEXT, | |
562 | ||
563 | /* Indicates what exception region an INSN belongs in. This is used to | |
564 | indicate what region to which a call may throw. REGION 0 indicates | |
565 | that a call cannot throw at all. REGION -1 indicates that it cannot | |
566 | throw, nor will it execute a non-local goto. */ | |
567 | REG_EH_REGION, | |
568 | ||
f590cca1 | 569 | /* Used by haifa-sched to save NOTE_INSN notes across scheduling. */ |
8cd8f856 GK |
570 | REG_SAVE_NOTE, |
571 | ||
572 | /* Indicates that this insn (which is part of the prologue) computes | |
573 | a value which might not be used later, and if so it's OK to delete | |
574 | the insn. Normally, deleting any insn in the prologue is an error. | |
575 | At present the parameter is unused and set to (const_int 0). */ | |
ca3920ad JW |
576 | REG_MAYBE_DEAD, |
577 | ||
578 | /* Indicates that a call does not return. */ | |
4b01bd16 RH |
579 | REG_NORETURN, |
580 | ||
581 | /* Indicates that an indirect jump is a non-local goto instead of a | |
582 | computed goto. */ | |
570a98eb JH |
583 | REG_NON_LOCAL_GOTO, |
584 | ||
585 | /* This kind of note is generated at each to `setjmp', | |
586 | and similar functions that can return twice. */ | |
9d98f8f9 JH |
587 | REG_SETJMP, |
588 | ||
589 | /* Indicate calls that always returns. */ | |
4a8d0c9c RH |
590 | REG_ALWAYS_RETURN, |
591 | ||
592 | /* Indicate that the memory load references a vtable. The expression | |
593 | is of the form (plus (symbol_ref vtable_sym) (const_int offset)). */ | |
594 | REG_VTABLE_REF | |
f590cca1 RH |
595 | }; |
596 | ||
7ae21caf DE |
597 | /* The base value for branch probability notes. */ |
598 | #define REG_BR_PROB_BASE 10000 | |
6f29feb1 JW |
599 | |
600 | /* Define macros to extract and insert the reg-note kind in an EXPR_LIST. */ | |
601 | #define REG_NOTE_KIND(LINK) ((enum reg_note) GET_MODE (LINK)) | |
f52eda29 GS |
602 | #define PUT_REG_NOTE_KIND(LINK, KIND) \ |
603 | PUT_MODE (LINK, (enum machine_mode) (KIND)) | |
6f29feb1 JW |
604 | |
605 | /* Names for REG_NOTE's in EXPR_LIST insn's. */ | |
606 | ||
1f9a015e | 607 | extern const char * const reg_note_name[]; |
0f41302f | 608 | #define GET_REG_NOTE_NAME(MODE) (reg_note_name[(int) (MODE)]) |
6f29feb1 | 609 | |
e51c6661 RK |
610 | /* This field is only present on CALL_INSNs. It holds a chain of EXPR_LIST of |
611 | USE and CLOBBER expressions. | |
612 | USE expressions list the registers filled with arguments that | |
613 | are passed to the function. | |
614 | CLOBBER expressions document the registers explicitly clobbered | |
615 | by this CALL_INSN. | |
616 | Pseudo registers can not be mentioned in this list. */ | |
8f985ec4 | 617 | #define CALL_INSN_FUNCTION_USAGE(INSN) XEXP(INSN, 7) |
e51c6661 | 618 | |
6f29feb1 JW |
619 | /* The label-number of a code-label. The assembler label |
620 | is made from `L' and the label-number printed in decimal. | |
621 | Label numbers are unique in a compilation. */ | |
f52eda29 | 622 | #define CODE_LABEL_NUMBER(INSN) XINT (INSN, 5) |
6f29feb1 JW |
623 | |
624 | #define LINE_NUMBER NOTE | |
625 | ||
0dfa1860 MM |
626 | /* In a NOTE that is a line number, this is a string for the file name that the |
627 | line is in. We use the same field to record block numbers temporarily in | |
628 | NOTE_INSN_BLOCK_BEG and NOTE_INSN_BLOCK_END notes. (We avoid lots of casts | |
629 | between ints and pointers if we use a different macro for the block number.) | |
630 | The NOTE_INSN_RANGE_{START,END} and NOTE_INSN_LIVE notes record their | |
4fe9b91c | 631 | information as an rtx in the field. */ |
6f29feb1 | 632 | |
f52eda29 GS |
633 | #define NOTE_SOURCE_FILE(INSN) XCSTR (INSN, 3, NOTE) |
634 | #define NOTE_BLOCK(INSN) XCTREE (INSN, 3, NOTE) | |
635 | #define NOTE_EH_HANDLER(INSN) XCINT (INSN, 3, NOTE) | |
636 | #define NOTE_RANGE_INFO(INSN) XCEXP (INSN, 3, NOTE) | |
637 | #define NOTE_LIVE_INFO(INSN) XCEXP (INSN, 3, NOTE) | |
638 | #define NOTE_BASIC_BLOCK(INSN) XCBBDEF (INSN, 3, NOTE) | |
639 | #define NOTE_EXPECTED_VALUE(INSN) XCEXP (INSN, 3, NOTE) | |
0dfa1860 | 640 | |
6f29feb1 JW |
641 | /* In a NOTE that is a line number, this is the line number. |
642 | Other kinds of NOTEs are identified by negative numbers here. */ | |
f52eda29 | 643 | #define NOTE_LINE_NUMBER(INSN) XCINT (INSN, 4, NOTE) |
6f29feb1 | 644 | |
589ca5cb MM |
645 | /* Nonzero if INSN is a note marking the beginning of a basic block. */ |
646 | #define NOTE_INSN_BASIC_BLOCK_P(INSN) \ | |
647 | (GET_CODE (INSN) == NOTE \ | |
648 | && NOTE_LINE_NUMBER (INSN) == NOTE_INSN_BASIC_BLOCK) | |
649 | ||
6f29feb1 | 650 | /* Codes that appear in the NOTE_LINE_NUMBER field |
a31efb86 | 651 | for kinds of notes that are not line numbers. |
6f29feb1 | 652 | |
a31efb86 DE |
653 | Notice that we do not try to use zero here for any of |
654 | the special note codes because sometimes the source line | |
655 | actually can be zero! This happens (for example) when we | |
656 | are generating code for the per-translation-unit constructor | |
657 | and destructor routines for some C++ translation unit. | |
658 | ||
659 | If you should change any of the following values, or if you | |
660 | should add a new value here, don't forget to change the | |
661 | note_insn_name array in rtl.c. */ | |
6f29feb1 | 662 | |
d636c18c RH |
663 | enum insn_note |
664 | { | |
665 | /* Keep all of these numbers negative. Adjust as needed. */ | |
666 | NOTE_INSN_BIAS = -100, | |
667 | ||
668 | /* This note is used to get rid of an insn | |
669 | when it isn't safe to patch the insn out of the chain. */ | |
670 | NOTE_INSN_DELETED, | |
671 | ||
672 | /* These are used to mark the beginning and end of a lexical block. | |
673 | See NOTE_BLOCK, identify_blocks and reorder_blocks. */ | |
674 | NOTE_INSN_BLOCK_BEG, | |
675 | NOTE_INSN_BLOCK_END, | |
676 | ||
677 | /* These mark the extremes of a loop. */ | |
678 | NOTE_INSN_LOOP_BEG, | |
679 | NOTE_INSN_LOOP_END, | |
680 | ||
681 | /* Generated at the place in a loop that `continue' jumps to. */ | |
682 | NOTE_INSN_LOOP_CONT, | |
683 | /* Generated at the start of a duplicated exit test. */ | |
684 | NOTE_INSN_LOOP_VTOP, | |
685 | ||
e803a64b RH |
686 | /* Generated at the end of a conditional at the top of the loop. |
687 | This is used to perform a lame form of loop rotation in lieu | |
688 | of actually understanding the loop structure. The note is | |
689 | discarded after rotation is complete. */ | |
690 | NOTE_INSN_LOOP_END_TOP_COND, | |
691 | ||
d636c18c RH |
692 | /* This kind of note is generated at the end of the function body, |
693 | just before the return insn or return label. In an optimizing | |
694 | compilation it is deleted by the first jump optimization, after | |
695 | enabling that optimizer to determine whether control can fall | |
696 | off the end of the function body without a return statement. */ | |
697 | NOTE_INSN_FUNCTION_END, | |
698 | ||
d636c18c RH |
699 | /* This marks the point immediately after the last prologue insn. */ |
700 | NOTE_INSN_PROLOGUE_END, | |
701 | ||
702 | /* This marks the point immediately prior to the first epilogue insn. */ | |
703 | NOTE_INSN_EPILOGUE_BEG, | |
704 | ||
705 | /* Generated in place of user-declared labels when they are deleted. */ | |
706 | NOTE_INSN_DELETED_LABEL, | |
707 | ||
708 | /* This note indicates the start of the real body of the function, | |
709 | i.e. the point just after all of the parms have been moved into | |
710 | their homes, etc. */ | |
711 | NOTE_INSN_FUNCTION_BEG, | |
712 | ||
713 | /* These note where exception handling regions begin and end. | |
714 | Uses NOTE_EH_HANDLER to identify the region in question. */ | |
715 | NOTE_INSN_EH_REGION_BEG, | |
716 | NOTE_INSN_EH_REGION_END, | |
717 | ||
718 | /* Generated whenever a duplicate line number note is output. For example, | |
719 | one is output after the end of an inline function, in order to prevent | |
eebedaa5 | 720 | the line containing the inline call from being counted twice in gcov. */ |
b3b42a4d | 721 | NOTE_INSN_REPEATED_LINE_NUMBER, |
d636c18c RH |
722 | |
723 | /* Start/end of a live range region, where pseudos allocated on the stack | |
724 | can be allocated to temporary registers. Uses NOTE_RANGE_INFO. */ | |
b3b42a4d | 725 | NOTE_INSN_RANGE_BEG, |
d636c18c RH |
726 | NOTE_INSN_RANGE_END, |
727 | ||
728 | /* Record which registers are currently live. Uses NOTE_LIVE_INFO. */ | |
729 | NOTE_INSN_LIVE, | |
730 | ||
eebedaa5 | 731 | /* Record the struct for the following basic block. Uses NOTE_BASIC_BLOCK. */ |
d636c18c RH |
732 | NOTE_INSN_BASIC_BLOCK, |
733 | ||
994a57cd RH |
734 | /* Record the expected value of a register at a location. Uses |
735 | NOTE_EXPECTED_VALUE; stored as (eq (reg) (const_int)). */ | |
736 | NOTE_INSN_EXPECTED_VALUE, | |
737 | ||
d636c18c RH |
738 | NOTE_INSN_MAX |
739 | }; | |
10f07067 | 740 | |
6f29feb1 JW |
741 | /* Names for NOTE insn's other than line numbers. */ |
742 | ||
d636c18c RH |
743 | extern const char * const note_insn_name[NOTE_INSN_MAX - NOTE_INSN_BIAS]; |
744 | #define GET_NOTE_INSN_NAME(NOTE_CODE) \ | |
dbbbbf3b | 745 | (note_insn_name[(NOTE_CODE) - (int) NOTE_INSN_BIAS]) |
6f29feb1 JW |
746 | |
747 | /* The name of a label, in case it corresponds to an explicit label | |
748 | in the input source code. */ | |
f52eda29 | 749 | #define LABEL_NAME(RTX) XCSTR (RTX, 6, CODE_LABEL) |
6f29feb1 JW |
750 | |
751 | /* In jump.c, each label contains a count of the number | |
752 | of LABEL_REFs that point at it, so unused labels can be deleted. */ | |
f52eda29 | 753 | #define LABEL_NUSES(RTX) XCINT (RTX, 3, CODE_LABEL) |
6f29feb1 | 754 | |
8cd0faaf | 755 | /* Associate a name with a CODE_LABEL. */ |
f52eda29 | 756 | #define LABEL_ALTERNATE_NAME(RTX) XCSTR (RTX, 7, CODE_LABEL) |
8cd0faaf | 757 | |
e9a25f70 | 758 | /* The original regno this ADDRESSOF was built for. */ |
f52eda29 | 759 | #define ADDRESSOF_REGNO(RTX) XCUINT (RTX, 1, ADDRESSOF) |
e9a25f70 JL |
760 | |
761 | /* The variable in the register we took the address of. */ | |
f52eda29 | 762 | #define ADDRESSOF_DECL(RTX) XCTREE (RTX, 2, ADDRESSOF) |
e9a25f70 | 763 | |
6f29feb1 JW |
764 | /* In jump.c, each JUMP_INSN can point to a label that it can jump to, |
765 | so that if the JUMP_INSN is deleted, the label's LABEL_NUSES can | |
766 | be decremented and possibly the label can be deleted. */ | |
f52eda29 | 767 | #define JUMP_LABEL(INSN) XCEXP (INSN, 7, JUMP_INSN) |
6f29feb1 JW |
768 | |
769 | /* Once basic blocks are found in flow.c, | |
770 | each CODE_LABEL starts a chain that goes through | |
771 | all the LABEL_REFs that jump to that label. | |
be1bb652 | 772 | The chain eventually winds up at the CODE_LABEL: it is circular. */ |
f52eda29 | 773 | #define LABEL_REFS(LABEL) XCEXP (LABEL, 4, CODE_LABEL) |
6f29feb1 JW |
774 | \f |
775 | /* This is the field in the LABEL_REF through which the circular chain | |
776 | of references to a particular label is linked. | |
777 | This chain is set up in flow.c. */ | |
778 | ||
f52eda29 | 779 | #define LABEL_NEXTREF(REF) XCEXP (REF, 1, LABEL_REF) |
6f29feb1 JW |
780 | |
781 | /* Once basic blocks are found in flow.c, | |
782 | Each LABEL_REF points to its containing instruction with this field. */ | |
783 | ||
f52eda29 | 784 | #define CONTAINING_INSN(RTX) XCEXP (RTX, 2, LABEL_REF) |
6f29feb1 | 785 | |
08394eef BS |
786 | /* For a REG rtx, REGNO extracts the register number. ORIGINAL_REGNO holds |
787 | the number the register originally had; for a pseudo register turned into | |
788 | a hard reg this will hold the old pseudo register number. */ | |
6f29feb1 | 789 | |
f52eda29 GS |
790 | #define REGNO(RTX) XCUINT (RTX, 0, REG) |
791 | #define ORIGINAL_REGNO(RTX) X0UINT (RTX, 1) | |
6f29feb1 JW |
792 | |
793 | /* For a REG rtx, REG_FUNCTION_VALUE_P is nonzero if the reg | |
794 | is the current function's return value. */ | |
795 | ||
796 | #define REG_FUNCTION_VALUE_P(RTX) ((RTX)->integrated) | |
797 | ||
798 | /* 1 in a REG rtx if it corresponds to a variable declared by the user. */ | |
799 | #define REG_USERVAR_P(RTX) ((RTX)->volatil) | |
800 | ||
3502dc9c JDA |
801 | /* 1 in a REG rtx if the register is a pointer. */ |
802 | #define REG_POINTER(RTX) ((RTX)->frame_related) | |
803 | ||
cdbca172 JO |
804 | /* 1 if the given register REG corresponds to a hard register. */ |
805 | #define HARD_REGISTER_P(REG) (HARD_REGISTER_NUM_P (REGNO (REG))) | |
806 | ||
807 | /* 1 if the given register number REG_NO corresponds to a hard register. */ | |
f52eda29 | 808 | #define HARD_REGISTER_NUM_P(REG_NO) ((REG_NO) < FIRST_PSEUDO_REGISTER) |
cdbca172 | 809 | |
6f29feb1 JW |
810 | /* For a CONST_INT rtx, INTVAL extracts the integer. */ |
811 | ||
83ab3839 | 812 | #define INTVAL(RTX) XCWINT(RTX, 0, CONST_INT) |
6f29feb1 | 813 | |
a36556a8 ZW |
814 | /* For a CONST_DOUBLE: |
815 | The usual two ints that hold the value. | |
816 | For a DImode, that is all there are; | |
817 | and CONST_DOUBLE_LOW is the low-order word and ..._HIGH the high-order. | |
818 | For a float, the number of ints varies, | |
819 | and CONST_DOUBLE_LOW is the one that should come first *in memory*. | |
820 | So use &CONST_DOUBLE_LOW(r) as the address of an array of ints. */ | |
a79e3a45 RK |
821 | #define CONST_DOUBLE_LOW(r) XCWINT (r, 1, CONST_DOUBLE) |
822 | #define CONST_DOUBLE_HIGH(r) XCWINT (r, 2, CONST_DOUBLE) | |
a36556a8 ZW |
823 | |
824 | /* Link for chain of all CONST_DOUBLEs in use in current function. */ | |
a79e3a45 | 825 | #define CONST_DOUBLE_CHAIN(r) XCEXP (r, 0, CONST_DOUBLE) |
a36556a8 | 826 | |
69ef87e2 AH |
827 | /* For a CONST_VECTOR, return element #n. */ |
828 | #define CONST_VECTOR_ELT(RTX, N) XCVECEXP (RTX, 0, N, CONST_VECTOR) | |
829 | ||
830 | /* For a CONST_VECTOR, return the number of elements in a vector. */ | |
831 | #define CONST_VECTOR_NUNITS(RTX) XCVECLEN (RTX, 0, CONST_VECTOR) | |
832 | ||
6f29feb1 | 833 | /* For a SUBREG rtx, SUBREG_REG extracts the value we want a subreg of. |
ddef6bc7 | 834 | SUBREG_BYTE extracts the byte-number. */ |
6f29feb1 | 835 | |
f52eda29 GS |
836 | #define SUBREG_REG(RTX) XCEXP (RTX, 0, SUBREG) |
837 | #define SUBREG_BYTE(RTX) XCUINT (RTX, 1, SUBREG) | |
ddef6bc7 JJ |
838 | |
839 | /* in rtlanal.c */ | |
33aceff2 | 840 | extern unsigned int subreg_lsb PARAMS ((rtx)); |
ddef6bc7 JJ |
841 | extern unsigned int subreg_regno_offset PARAMS ((unsigned int, |
842 | enum machine_mode, | |
843 | unsigned int, | |
844 | enum machine_mode)); | |
845 | extern unsigned int subreg_regno PARAMS ((rtx)); | |
6f29feb1 | 846 | |
07be3989 RK |
847 | /* 1 if the REG contained in SUBREG_REG is already known to be |
848 | sign- or zero-extended from the mode of the SUBREG to the mode of | |
849 | the reg. SUBREG_PROMOTED_UNSIGNED_P gives the signedness of the | |
f590cca1 | 850 | extension. |
07be3989 RK |
851 | |
852 | When used as a LHS, is means that this extension must be done | |
853 | when assigning to SUBREG_REG. */ | |
854 | ||
855 | #define SUBREG_PROMOTED_VAR_P(RTX) ((RTX)->in_struct) | |
856 | #define SUBREG_PROMOTED_UNSIGNED_P(RTX) ((RTX)->unchanging) | |
857 | ||
6f29feb1 JW |
858 | /* Access various components of an ASM_OPERANDS rtx. */ |
859 | ||
f52eda29 GS |
860 | #define ASM_OPERANDS_TEMPLATE(RTX) XCSTR (RTX, 0, ASM_OPERANDS) |
861 | #define ASM_OPERANDS_OUTPUT_CONSTRAINT(RTX) XCSTR (RTX, 1, ASM_OPERANDS) | |
862 | #define ASM_OPERANDS_OUTPUT_IDX(RTX) XCINT (RTX, 2, ASM_OPERANDS) | |
863 | #define ASM_OPERANDS_INPUT_VEC(RTX) XCVEC (RTX, 3, ASM_OPERANDS) | |
864 | #define ASM_OPERANDS_INPUT_CONSTRAINT_VEC(RTX) XCVEC (RTX, 4, ASM_OPERANDS) | |
865 | #define ASM_OPERANDS_INPUT(RTX, N) XCVECEXP (RTX, 3, N, ASM_OPERANDS) | |
866 | #define ASM_OPERANDS_INPUT_LENGTH(RTX) XCVECLEN (RTX, 3, ASM_OPERANDS) | |
6462bb43 | 867 | #define ASM_OPERANDS_INPUT_CONSTRAINT_EXP(RTX, N) \ |
f52eda29 | 868 | XCVECEXP (RTX, 4, N, ASM_OPERANDS) |
3bdf5ad1 | 869 | #define ASM_OPERANDS_INPUT_CONSTRAINT(RTX, N) \ |
f52eda29 | 870 | XSTR (XCVECEXP (RTX, 4, N, ASM_OPERANDS), 0) |
3bdf5ad1 | 871 | #define ASM_OPERANDS_INPUT_MODE(RTX, N) \ |
f52eda29 GS |
872 | GET_MODE (XCVECEXP (RTX, 4, N, ASM_OPERANDS)) |
873 | #define ASM_OPERANDS_SOURCE_FILE(RTX) XCSTR (RTX, 5, ASM_OPERANDS) | |
874 | #define ASM_OPERANDS_SOURCE_LINE(RTX) XCINT (RTX, 6, ASM_OPERANDS) | |
6f29feb1 | 875 | |
10b76d73 RK |
876 | /* For a MEM RTX, 1 if we should keep the alias set for this mem |
877 | unchanged when we access a component. Set to 1, or example, when we | |
878 | are already in a non-addressable component of an aggregate. */ | |
879 | #define MEM_KEEP_ALIAS_SET_P(RTX) ((RTX)->jump) | |
880 | ||
6f29feb1 JW |
881 | /* For a MEM rtx, 1 if it's a volatile reference. |
882 | Also in an ASM_OPERANDS rtx. */ | |
883 | #define MEM_VOLATILE_P(RTX) ((RTX)->volatil) | |
884 | ||
3bdf5ad1 RK |
885 | /* For a MEM rtx, 1 if it refers to an aggregate, either to the |
886 | aggregate itself of to a field of the aggregate. If zero, RTX may | |
4eb00163 | 887 | or may not be such a reference. */ |
6f29feb1 JW |
888 | #define MEM_IN_STRUCT_P(RTX) ((RTX)->in_struct) |
889 | ||
c6df88cb | 890 | /* For a MEM rtx, 1 if it refers to a scalar. If zero, RTX may or may |
3ef42a0c | 891 | not refer to a scalar. */ |
c6df88cb MM |
892 | #define MEM_SCALAR_P(RTX) ((RTX)->frame_related) |
893 | ||
c6df88cb MM |
894 | /* If VAL is non-zero, set MEM_IN_STRUCT_P and clear MEM_SCALAR_P in |
895 | RTX. Otherwise, vice versa. Use this macro only when you are | |
896 | *sure* that you know that the MEM is in a structure, or is a | |
897 | scalar. VAL is evaluated only once. */ | |
f52eda29 GS |
898 | #define MEM_SET_IN_STRUCT_P(RTX, VAL) \ |
899 | do { \ | |
f9e158c3 JM |
900 | if (VAL) \ |
901 | { \ | |
902 | MEM_IN_STRUCT_P (RTX) = 1; \ | |
903 | MEM_SCALAR_P (RTX) = 0; \ | |
904 | } \ | |
905 | else \ | |
906 | { \ | |
907 | MEM_IN_STRUCT_P (RTX) = 0; \ | |
908 | MEM_SCALAR_P (RTX) = 1; \ | |
909 | } \ | |
910 | } while (0) | |
c6df88cb | 911 | |
173b24b9 RK |
912 | /* The memory attribute block. We provide access macros for each value |
913 | in the block and provide defaults if none specified. */ | |
914 | #define MEM_ATTRS(RTX) X0MEMATTR (RTX, 1) | |
915 | ||
41472af8 MM |
916 | /* For a MEM rtx, the alias set. If 0, this MEM is not in any alias |
917 | set, and may alias anything. Otherwise, the MEM can only alias | |
918 | MEMs in the same alias set. This value is set in a | |
919 | language-dependent manner in the front-end, and should not be | |
920 | altered in the back-end. These set numbers are tested for zero, | |
921 | and compared for equality; they have no other significance. In | |
922 | some front-ends, these numbers may correspond in some way to types, | |
923 | or other language-level entities, but they need not, and the | |
924 | back-end makes no such assumptions. */ | |
173b24b9 RK |
925 | #define MEM_ALIAS_SET(RTX) (MEM_ATTRS (RTX) == 0 ? 0 : MEM_ATTRS (RTX)->alias) |
926 | ||
927 | /* For a MEM rtx, the decl it is known to refer to, if it is known to | |
998d7deb RH |
928 | refer to part of a DECL. It may also be a COMPONENT_REF. */ |
929 | #define MEM_EXPR(RTX) (MEM_ATTRS (RTX) == 0 ? 0 : MEM_ATTRS (RTX)->expr) | |
173b24b9 | 930 | |
998d7deb | 931 | /* For a MEM rtx, the offset from the start of MEM_EXPR, if known, as a |
173b24b9 RK |
932 | RTX that is always a CONST_INT. */ |
933 | #define MEM_OFFSET(RTX) (MEM_ATTRS (RTX) == 0 ? 0 : MEM_ATTRS (RTX)->offset) | |
934 | ||
935 | /* For a MEM rtx, the size in bytes of the MEM, if known, as an RTX that | |
936 | is always a CONST_INT. */ | |
10b76d73 RK |
937 | #define MEM_SIZE(RTX) \ |
938 | (MEM_ATTRS (RTX) != 0 ? MEM_ATTRS (RTX)->size \ | |
939 | : GET_MODE (RTX) != BLKmode ? GEN_INT (GET_MODE_SIZE (GET_MODE (RTX))) \ | |
940 | : 0) | |
173b24b9 | 941 | |
917afb0c RK |
942 | /* For a MEM rtx, the alignment in bits. We can use the alignment of the |
943 | mode as a default when STRICT_ALIGNMENT, but not if not. */ | |
8ac61af7 RK |
944 | #define MEM_ALIGN(RTX) \ |
945 | (MEM_ATTRS (RTX) != 0 ? MEM_ATTRS (RTX)->align \ | |
917afb0c RK |
946 | : (STRICT_ALIGNMENT && GET_MODE (RTX) != BLKmode \ |
947 | ? GET_MODE_ALIGNMENT (GET_MODE (RTX)) : BITS_PER_UNIT)) | |
3bdf5ad1 RK |
948 | |
949 | /* Copy the attributes that apply to memory locations from RHS to LHS. */ | |
10b76d73 RK |
950 | #define MEM_COPY_ATTRIBUTES(LHS, RHS) \ |
951 | (MEM_VOLATILE_P (LHS) = MEM_VOLATILE_P (RHS), \ | |
952 | MEM_IN_STRUCT_P (LHS) = MEM_IN_STRUCT_P (RHS), \ | |
953 | MEM_SCALAR_P (LHS) = MEM_SCALAR_P (RHS), \ | |
954 | RTX_UNCHANGING_P (LHS) = RTX_UNCHANGING_P (RHS), \ | |
955 | MEM_KEEP_ALIAS_SET_P (LHS) = MEM_KEEP_ALIAS_SET_P (RHS), \ | |
173b24b9 | 956 | MEM_ATTRS (LHS) = MEM_ATTRS (RHS)) |
41472af8 | 957 | |
6f29feb1 JW |
958 | /* For a LABEL_REF, 1 means that this reference is to a label outside the |
959 | loop containing the reference. */ | |
960 | #define LABEL_OUTSIDE_LOOP_P(RTX) ((RTX)->in_struct) | |
961 | ||
adfaf10a | 962 | /* For a LABEL_REF, 1 means it is for a nonlocal label. */ |
2a406d2a | 963 | /* Likewise in an EXPR_LIST for a REG_LABEL note. */ |
adfaf10a RS |
964 | #define LABEL_REF_NONLOCAL_P(RTX) ((RTX)->volatil) |
965 | ||
6f29feb1 JW |
966 | /* For a CODE_LABEL, 1 means always consider this label to be needed. */ |
967 | #define LABEL_PRESERVE_P(RTX) ((RTX)->in_struct) | |
968 | ||
969 | /* For a REG, 1 means the register is used only in an exit test of a loop. */ | |
970 | #define REG_LOOP_TEST_P(RTX) ((RTX)->in_struct) | |
971 | ||
972 | /* During sched, for an insn, 1 means that the insn must be scheduled together | |
d45cf215 | 973 | with the preceding insn. */ |
6f29feb1 JW |
974 | #define SCHED_GROUP_P(INSN) ((INSN)->in_struct) |
975 | ||
b8ec5764 VM |
976 | /* During sched, for the LOG_LINKS of an insn, these cache the adjusted |
977 | cost of the dependence link. The cost of executing an instruction | |
978 | may vary based on how the results are used. LINK_COST_ZERO is 1 when | |
979 | the cost through the link varies and is unchanged (i.e., the link has | |
980 | zero additional cost). LINK_COST_FREE is 1 when the cost through the | |
981 | link is zero (i.e., the link makes the cost free). In other cases, | |
982 | the adjustment to the cost is recomputed each time it is needed. */ | |
983 | #define LINK_COST_ZERO(X) ((X)->jump) | |
984 | #define LINK_COST_FREE(X) ((X)->call) | |
985 | ||
6f29feb1 JW |
986 | /* For a SET rtx, SET_DEST is the place that is set |
987 | and SET_SRC is the value it is set to. */ | |
83ab3839 RH |
988 | #define SET_DEST(RTX) XC2EXP(RTX, 0, SET, CLOBBER) |
989 | #define SET_SRC(RTX) XCEXP(RTX, 1, SET) | |
3258e996 | 990 | #define SET_IS_RETURN_P(RTX) ((RTX)->jump) |
6f29feb1 JW |
991 | |
992 | /* For a TRAP_IF rtx, TRAP_CONDITION is an expression. */ | |
f52eda29 GS |
993 | #define TRAP_CONDITION(RTX) XCEXP (RTX, 0, TRAP_IF) |
994 | #define TRAP_CODE(RTX) XCEXP (RTX, 1, TRAP_IF) | |
6f29feb1 | 995 | |
0c99ec5c RH |
996 | /* For a COND_EXEC rtx, COND_EXEC_TEST is the condition to base |
997 | conditionally executing the code on, COND_EXEC_CODE is the code | |
998 | to execute if the condition is true. */ | |
f52eda29 GS |
999 | #define COND_EXEC_TEST(RTX) XCEXP (RTX, 0, COND_EXEC) |
1000 | #define COND_EXEC_CODE(RTX) XCEXP (RTX, 1, COND_EXEC) | |
0c99ec5c | 1001 | |
6f29feb1 JW |
1002 | /* 1 in a SYMBOL_REF if it addresses this function's constants pool. */ |
1003 | #define CONSTANT_POOL_ADDRESS_P(RTX) ((RTX)->unchanging) | |
1004 | ||
bd7cf17e JJ |
1005 | /* 1 in a SYMBOL_REF if it addresses this function's string constant pool. */ |
1006 | #define STRING_POOL_ADDRESS_P(RTX) ((RTX)->frame_related) | |
1007 | ||
6f29feb1 JW |
1008 | /* Flag in a SYMBOL_REF for machine-specific purposes. */ |
1009 | #define SYMBOL_REF_FLAG(RTX) ((RTX)->volatil) | |
1010 | ||
1011 | /* 1 means a SYMBOL_REF has been the library function in emit_library_call. */ | |
1012 | #define SYMBOL_REF_USED(RTX) ((RTX)->used) | |
1013 | ||
ff0b6b99 FS |
1014 | /* 1 means a SYMBOL_REF is weak. */ |
1015 | #define SYMBOL_REF_WEAK(RTX) ((RTX)->integrated) | |
1016 | ||
6f29feb1 JW |
1017 | /* Define a macro to look for REG_INC notes, |
1018 | but save time on machines where they never exist. */ | |
1019 | ||
58e54c44 RS |
1020 | /* Don't continue this line--convex cc version 4.1 would lose. */ |
1021 | #if (defined (HAVE_PRE_INCREMENT) || defined (HAVE_PRE_DECREMENT) || defined (HAVE_POST_INCREMENT) || defined (HAVE_POST_DECREMENT)) | |
f52eda29 GS |
1022 | #define FIND_REG_INC_NOTE(INSN, REG) \ |
1023 | ((REG) != NULL_RTX && REG_P ((REG)) \ | |
1024 | ? find_regno_note ((INSN), REG_INC, REGNO (REG)) \ | |
1025 | : find_reg_note ((INSN), REG_INC, (REG))) | |
6f29feb1 | 1026 | #else |
f52eda29 | 1027 | #define FIND_REG_INC_NOTE(INSN, REG) 0 |
6f29feb1 JW |
1028 | #endif |
1029 | ||
1030 | /* Indicate whether the machine has any sort of auto increment addressing. | |
1031 | If not, we can avoid checking for REG_INC notes. */ | |
1032 | ||
58e54c44 RS |
1033 | /* Don't continue this line--convex cc version 4.1 would lose. */ |
1034 | #if (defined (HAVE_PRE_INCREMENT) || defined (HAVE_PRE_DECREMENT) || defined (HAVE_POST_INCREMENT) || defined (HAVE_POST_DECREMENT)) | |
6f29feb1 JW |
1035 | #define AUTO_INC_DEC |
1036 | #endif | |
0dfa1860 | 1037 | |
940da324 JL |
1038 | #ifndef HAVE_PRE_INCREMENT |
1039 | #define HAVE_PRE_INCREMENT 0 | |
1040 | #endif | |
1041 | ||
1042 | #ifndef HAVE_PRE_DECREMENT | |
1043 | #define HAVE_PRE_DECREMENT 0 | |
1044 | #endif | |
1045 | ||
1046 | #ifndef HAVE_POST_INCREMENT | |
1047 | #define HAVE_POST_INCREMENT 0 | |
1048 | #endif | |
1049 | ||
1050 | #ifndef HAVE_POST_DECREMENT | |
1051 | #define HAVE_POST_DECREMENT 0 | |
1052 | #endif | |
1053 | ||
4b983fdc RH |
1054 | #ifndef HAVE_POST_MODIFY_DISP |
1055 | #define HAVE_POST_MODIFY_DISP 0 | |
1056 | #endif | |
1057 | ||
1058 | #ifndef HAVE_POST_MODIFY_REG | |
1059 | #define HAVE_POST_MODIFY_REG 0 | |
1060 | #endif | |
1061 | ||
1062 | #ifndef HAVE_PRE_MODIFY_DISP | |
1063 | #define HAVE_PRE_MODIFY_DISP 0 | |
1064 | #endif | |
1065 | ||
1066 | #ifndef HAVE_PRE_MODIFY_REG | |
1067 | #define HAVE_PRE_MODIFY_REG 0 | |
1068 | #endif | |
1069 | ||
6e01bd94 MH |
1070 | |
1071 | /* Some architectures do not have complete pre/post increment/decrement | |
1072 | instruction sets, or only move some modes efficiently. These macros | |
1073 | allow us to tune autoincrement generation. */ | |
1074 | ||
1075 | #ifndef USE_LOAD_POST_INCREMENT | |
1076 | #define USE_LOAD_POST_INCREMENT(MODE) HAVE_POST_INCREMENT | |
1077 | #endif | |
1078 | ||
1079 | #ifndef USE_LOAD_POST_DECREMENT | |
1080 | #define USE_LOAD_POST_DECREMENT(MODE) HAVE_POST_DECREMENT | |
1081 | #endif | |
1082 | ||
1083 | #ifndef USE_LOAD_PRE_INCREMENT | |
1084 | #define USE_LOAD_PRE_INCREMENT(MODE) HAVE_PRE_INCREMENT | |
1085 | #endif | |
1086 | ||
1087 | #ifndef USE_LOAD_PRE_DECREMENT | |
1088 | #define USE_LOAD_PRE_DECREMENT(MODE) HAVE_PRE_DECREMENT | |
1089 | #endif | |
1090 | ||
1091 | #ifndef USE_STORE_POST_INCREMENT | |
1092 | #define USE_STORE_POST_INCREMENT(MODE) HAVE_POST_INCREMENT | |
1093 | #endif | |
1094 | ||
1095 | #ifndef USE_STORE_POST_DECREMENT | |
1096 | #define USE_STORE_POST_DECREMENT(MODE) HAVE_POST_DECREMENT | |
1097 | #endif | |
1098 | ||
1099 | #ifndef USE_STORE_PRE_INCREMENT | |
1100 | #define USE_STORE_PRE_INCREMENT(MODE) HAVE_PRE_INCREMENT | |
1101 | #endif | |
1102 | ||
1103 | #ifndef USE_STORE_PRE_DECREMENT | |
1104 | #define USE_STORE_PRE_DECREMENT(MODE) HAVE_PRE_DECREMENT | |
1105 | #endif | |
1106 | ||
1107 | ||
0dfa1860 MM |
1108 | /* Accessors for RANGE_INFO. */ |
1109 | /* For RANGE_{START,END} notes return the RANGE_START note. */ | |
83ab3839 | 1110 | #define RANGE_INFO_NOTE_START(INSN) XCEXP (INSN, 0, RANGE_INFO) |
0dfa1860 MM |
1111 | |
1112 | /* For RANGE_{START,END} notes return the RANGE_START note. */ | |
83ab3839 | 1113 | #define RANGE_INFO_NOTE_END(INSN) XCEXP (INSN, 1, RANGE_INFO) |
0dfa1860 MM |
1114 | |
1115 | /* For RANGE_{START,END} notes, return the vector containing the registers used | |
1116 | in the range. */ | |
83ab3839 RH |
1117 | #define RANGE_INFO_REGS(INSN) XCVEC (INSN, 2, RANGE_INFO) |
1118 | #define RANGE_INFO_REGS_REG(INSN, N) XCVECEXP (INSN, 2, N, RANGE_INFO) | |
1119 | #define RANGE_INFO_NUM_REGS(INSN) XCVECLEN (INSN, 2, RANGE_INFO) | |
0dfa1860 MM |
1120 | |
1121 | /* For RANGE_{START,END} notes, the number of calls within the range. */ | |
83ab3839 | 1122 | #define RANGE_INFO_NCALLS(INSN) XCINT (INSN, 3, RANGE_INFO) |
0dfa1860 MM |
1123 | |
1124 | /* For RANGE_{START,END} notes, the number of insns within the range. */ | |
83ab3839 | 1125 | #define RANGE_INFO_NINSNS(INSN) XCINT (INSN, 4, RANGE_INFO) |
0dfa1860 MM |
1126 | |
1127 | /* For RANGE_{START,END} notes, a unique # to identify this range. */ | |
83ab3839 | 1128 | #define RANGE_INFO_UNIQUE(INSN) XCINT (INSN, 5, RANGE_INFO) |
0dfa1860 | 1129 | |
eebedaa5 | 1130 | /* For RANGE_{START,END} notes, the basic block # the range starts with. */ |
83ab3839 | 1131 | #define RANGE_INFO_BB_START(INSN) XCINT (INSN, 6, RANGE_INFO) |
0dfa1860 | 1132 | |
eebedaa5 | 1133 | /* For RANGE_{START,END} notes, the basic block # the range ends with. */ |
83ab3839 | 1134 | #define RANGE_INFO_BB_END(INSN) XCINT (INSN, 7, RANGE_INFO) |
0dfa1860 MM |
1135 | |
1136 | /* For RANGE_{START,END} notes, the loop depth the range is in. */ | |
83ab3839 | 1137 | #define RANGE_INFO_LOOP_DEPTH(INSN) XCINT (INSN, 8, RANGE_INFO) |
0dfa1860 MM |
1138 | |
1139 | /* For RANGE_{START,END} notes, the bitmap of live registers at the start | |
1140 | of the range. */ | |
83ab3839 | 1141 | #define RANGE_INFO_LIVE_START(INSN) XCBITMAP (INSN, 9, RANGE_INFO) |
0dfa1860 MM |
1142 | |
1143 | /* For RANGE_{START,END} notes, the bitmap of live registers at the end | |
1144 | of the range. */ | |
83ab3839 | 1145 | #define RANGE_INFO_LIVE_END(INSN) XCBITMAP (INSN, 10, RANGE_INFO) |
0dfa1860 MM |
1146 | |
1147 | /* For RANGE_START notes, the marker # of the start of the range. */ | |
83ab3839 | 1148 | #define RANGE_INFO_MARKER_START(INSN) XCINT (INSN, 11, RANGE_INFO) |
0dfa1860 MM |
1149 | |
1150 | /* For RANGE_START notes, the marker # of the end of the range. */ | |
83ab3839 | 1151 | #define RANGE_INFO_MARKER_END(INSN) XCINT (INSN, 12, RANGE_INFO) |
0dfa1860 MM |
1152 | |
1153 | /* Original pseudo register # for a live range note. */ | |
83ab3839 | 1154 | #define RANGE_REG_PSEUDO(INSN,N) XCINT (XCVECEXP (INSN, 2, N, RANGE_INFO), 0, REG) |
0dfa1860 MM |
1155 | |
1156 | /* Pseudo register # original register is copied into or -1. */ | |
83ab3839 | 1157 | #define RANGE_REG_COPY(INSN,N) XCINT (XCVECEXP (INSN, 2, N, RANGE_INFO), 1, REG) |
0dfa1860 MM |
1158 | |
1159 | /* How many times a register in a live range note was referenced. */ | |
83ab3839 | 1160 | #define RANGE_REG_REFS(INSN,N) XINT (XCVECEXP (INSN, 2, N, RANGE_INFO), 2) |
0dfa1860 MM |
1161 | |
1162 | /* How many times a register in a live range note was set. */ | |
83ab3839 | 1163 | #define RANGE_REG_SETS(INSN,N) XINT (XCVECEXP (INSN, 2, N, RANGE_INFO), 3) |
0dfa1860 MM |
1164 | |
1165 | /* How many times a register in a live range note died. */ | |
83ab3839 | 1166 | #define RANGE_REG_DEATHS(INSN,N) XINT (XCVECEXP (INSN, 2, N, RANGE_INFO), 4) |
0dfa1860 MM |
1167 | |
1168 | /* Whether the original value is needed to be copied into the range register at | |
eebedaa5 | 1169 | the start of the range. */ |
83ab3839 | 1170 | #define RANGE_REG_COPY_FLAGS(INSN,N) XINT (XCVECEXP (INSN, 2, N, RANGE_INFO), 5) |
0dfa1860 MM |
1171 | |
1172 | /* # of insns the register copy is live over. */ | |
83ab3839 | 1173 | #define RANGE_REG_LIVE_LENGTH(INSN,N) XINT (XCVECEXP (INSN, 2, N, RANGE_INFO), 6) |
0dfa1860 MM |
1174 | |
1175 | /* # of calls the register copy is live over. */ | |
83ab3839 | 1176 | #define RANGE_REG_N_CALLS(INSN,N) XINT (XCVECEXP (INSN, 2, N, RANGE_INFO), 7) |
0dfa1860 MM |
1177 | |
1178 | /* DECL_NODE pointer of the declaration if the register is a user defined | |
1179 | variable. */ | |
83ab3839 | 1180 | #define RANGE_REG_SYMBOL_NODE(INSN,N) XTREE (XCVECEXP (INSN, 2, N, RANGE_INFO), 8) |
0dfa1860 MM |
1181 | |
1182 | /* BLOCK_NODE pointer to the block the variable is declared in if the | |
1183 | register is a user defined variable. */ | |
83ab3839 | 1184 | #define RANGE_REG_BLOCK_NODE(INSN,N) XTREE (XCVECEXP (INSN, 2, N, RANGE_INFO), 9) |
0dfa1860 MM |
1185 | |
1186 | /* EXPR_LIST of the distinct ranges a variable is in. */ | |
1187 | #define RANGE_VAR_LIST(INSN) (XEXP (INSN, 0)) | |
1188 | ||
1189 | /* Block a variable is declared in. */ | |
1190 | #define RANGE_VAR_BLOCK(INSN) (XTREE (INSN, 1)) | |
1191 | ||
1192 | /* # of distinct ranges a variable is in. */ | |
1193 | #define RANGE_VAR_NUM(INSN) (XINT (INSN, 2)) | |
1194 | ||
1195 | /* For a NOTE_INSN_LIVE note, the registers which are currently live. */ | |
1196 | #define RANGE_LIVE_BITMAP(INSN) (XBITMAP (INSN, 0)) | |
1197 | ||
1198 | /* For a NOTE_INSN_LIVE note, the original basic block number. */ | |
1199 | #define RANGE_LIVE_ORIG_BLOCK(INSN) (XINT (INSN, 1)) | |
4e872036 AS |
1200 | |
1201 | /* Determine if the insn is a PHI node. */ | |
1202 | #define PHI_NODE_P(X) \ | |
f52eda29 | 1203 | ((X) && GET_CODE (X) == INSN \ |
4e872036 AS |
1204 | && GET_CODE (PATTERN (X)) == SET \ |
1205 | && GET_CODE (SET_SRC (PATTERN (X))) == PHI) | |
6f29feb1 | 1206 | \f |
bf6bb899 BS |
1207 | /* Nonzero if we need to distinguish between the return value of this function |
1208 | and the return value of a function called by this function. This helps | |
1209 | integrate.c. | |
1210 | This is 1 until after the rtl generation pass. */ | |
1211 | extern int rtx_equal_function_value_matters; | |
1212 | ||
1b3d8f8a GK |
1213 | /* Nonzero when we are generating CONCATs. */ |
1214 | extern int generating_concat_p; | |
1215 | ||
6f29feb1 JW |
1216 | /* Generally useful functions. */ |
1217 | ||
ac957f13 | 1218 | /* In expmed.c */ |
cdadb1dd | 1219 | extern int ceil_log2 PARAMS ((unsigned HOST_WIDE_INT)); |
5f4f0e22 | 1220 | |
f52eda29 | 1221 | #define plus_constant(X, C) plus_constant_wide ((X), (HOST_WIDE_INT) (C)) |
5f4f0e22 | 1222 | |
5f2d6cfa | 1223 | /* In builtins.c */ |
2f78c311 | 1224 | extern rtx expand_builtin_expect_jump PARAMS ((tree, rtx, rtx)); |
5f2d6cfa | 1225 | |
50b2596f | 1226 | /* In explow.c */ |
c6991660 | 1227 | extern void set_stack_check_libfunc PARAMS ((rtx)); |
cdadb1dd | 1228 | extern HOST_WIDE_INT trunc_int_for_mode PARAMS ((HOST_WIDE_INT, |
7e4ce834 | 1229 | enum machine_mode)); |
cdadb1dd KG |
1230 | extern rtx plus_constant_wide PARAMS ((rtx, HOST_WIDE_INT)); |
1231 | extern rtx plus_constant_for_output_wide PARAMS ((rtx, HOST_WIDE_INT)); | |
1232 | extern void optimize_save_area_alloca PARAMS ((rtx)); | |
5f4f0e22 | 1233 | |
4eb00163 | 1234 | /* In emit-rtl.c */ |
cdadb1dd | 1235 | extern rtx gen_rtx PARAMS ((enum rtx_code, |
bdea67fa | 1236 | enum machine_mode, ...)); |
cdadb1dd | 1237 | extern rtvec gen_rtvec PARAMS ((int, ...)); |
cdadb1dd KG |
1238 | extern rtx copy_insn_1 PARAMS ((rtx)); |
1239 | extern rtx copy_insn PARAMS ((rtx)); | |
4eb00163 JO |
1240 | |
1241 | /* In rtl.c */ | |
5fe2e41b GK |
1242 | extern rtx rtx_alloc PARAMS ((RTX_CODE)); |
1243 | extern rtvec rtvec_alloc PARAMS ((int)); | |
cdadb1dd | 1244 | extern rtx copy_rtx PARAMS ((rtx)); |
4eb00163 JO |
1245 | |
1246 | /* In emit-rtl.c */ | |
cdadb1dd | 1247 | extern rtx copy_rtx_if_shared PARAMS ((rtx)); |
4eb00163 JO |
1248 | |
1249 | /* In rtl.c */ | |
cdadb1dd KG |
1250 | extern rtx copy_most_rtx PARAMS ((rtx, rtx)); |
1251 | extern rtx shallow_copy_rtx PARAMS ((rtx)); | |
1252 | extern int rtx_equal_p PARAMS ((rtx, rtx)); | |
4eb00163 JO |
1253 | |
1254 | /* In emit-rtl.c */ | |
cdadb1dd KG |
1255 | extern rtvec gen_rtvec_v PARAMS ((int, rtx *)); |
1256 | extern rtx gen_reg_rtx PARAMS ((enum machine_mode)); | |
1257 | extern rtx gen_label_rtx PARAMS ((void)); | |
ddef6bc7 | 1258 | extern int subreg_hard_regno PARAMS ((rtx, int)); |
cdadb1dd KG |
1259 | extern rtx gen_lowpart_common PARAMS ((enum machine_mode, rtx)); |
1260 | extern rtx gen_lowpart PARAMS ((enum machine_mode, rtx)); | |
4eb00163 JO |
1261 | |
1262 | /* In cse.c */ | |
cdadb1dd | 1263 | extern rtx gen_lowpart_if_possible PARAMS ((enum machine_mode, rtx)); |
4eb00163 JO |
1264 | |
1265 | /* In emit-rtl.c */ | |
cdadb1dd | 1266 | extern rtx gen_highpart PARAMS ((enum machine_mode, rtx)); |
5222e470 JH |
1267 | extern rtx gen_highpart_mode PARAMS ((enum machine_mode, |
1268 | enum machine_mode, rtx)); | |
cdadb1dd KG |
1269 | extern rtx gen_realpart PARAMS ((enum machine_mode, rtx)); |
1270 | extern rtx gen_imagpart PARAMS ((enum machine_mode, rtx)); | |
770ae6cc RK |
1271 | extern rtx operand_subword PARAMS ((rtx, unsigned int, int, |
1272 | enum machine_mode)); | |
ddef6bc7 JJ |
1273 | extern rtx constant_subword PARAMS ((rtx, int, |
1274 | enum machine_mode)); | |
4eb00163 JO |
1275 | |
1276 | /* In emit-rtl.c */ | |
770ae6cc RK |
1277 | extern rtx operand_subword_force PARAMS ((rtx, unsigned int, |
1278 | enum machine_mode)); | |
cdadb1dd | 1279 | extern int subreg_lowpart_p PARAMS ((rtx)); |
e0e08ac2 JH |
1280 | extern unsigned int subreg_lowpart_offset PARAMS ((enum machine_mode, |
1281 | enum machine_mode)); | |
1282 | extern unsigned int subreg_highpart_offset PARAMS ((enum machine_mode, | |
1283 | enum machine_mode)); | |
cdadb1dd KG |
1284 | extern rtx make_safe_from PARAMS ((rtx, rtx)); |
1285 | extern rtx convert_memory_address PARAMS ((enum machine_mode, rtx)); | |
cdadb1dd KG |
1286 | extern rtx get_insns PARAMS ((void)); |
1287 | extern const char *get_insn_name PARAMS ((int)); | |
1288 | extern rtx get_last_insn PARAMS ((void)); | |
1289 | extern rtx get_last_insn_anywhere PARAMS ((void)); | |
1290 | extern void start_sequence PARAMS ((void)); | |
1291 | extern void push_to_sequence PARAMS ((rtx)); | |
1292 | extern void end_sequence PARAMS ((void)); | |
c14f7160 ML |
1293 | extern void push_to_full_sequence PARAMS ((rtx, rtx)); |
1294 | extern void end_full_sequence PARAMS ((rtx*, rtx*)); | |
cdadb1dd | 1295 | extern rtx gen_sequence PARAMS ((void)); |
4eb00163 JO |
1296 | |
1297 | /* In varasm.c */ | |
cdadb1dd | 1298 | extern rtx immed_double_const PARAMS ((HOST_WIDE_INT, HOST_WIDE_INT, enum machine_mode)); |
03f54026 | 1299 | extern rtx mem_for_const_double PARAMS ((rtx)); |
cdadb1dd | 1300 | extern rtx force_const_mem PARAMS ((enum machine_mode, rtx)); |
4eb00163 | 1301 | |
4eb00163 | 1302 | /* In varasm.c */ |
cdadb1dd | 1303 | extern rtx get_pool_constant PARAMS ((rtx)); |
149d6f9e | 1304 | extern rtx get_pool_constant_mark PARAMS ((rtx, bool *)); |
cdadb1dd KG |
1305 | extern enum machine_mode get_pool_mode PARAMS ((rtx)); |
1306 | extern rtx get_pool_constant_for_function PARAMS ((struct function *, rtx)); | |
1307 | extern enum machine_mode get_pool_mode_for_function PARAMS ((struct function *, rtx)); | |
1308 | extern int get_pool_offset PARAMS ((rtx)); | |
1309 | extern rtx simplify_subtraction PARAMS ((rtx)); | |
4eb00163 JO |
1310 | |
1311 | /* In function.c */ | |
cdadb1dd | 1312 | extern rtx assign_stack_local PARAMS ((enum machine_mode, |
e5e809f4 | 1313 | HOST_WIDE_INT, int)); |
cdadb1dd | 1314 | extern rtx assign_stack_temp PARAMS ((enum machine_mode, |
e5e809f4 | 1315 | HOST_WIDE_INT, int)); |
a06ef755 RK |
1316 | extern rtx assign_stack_temp_for_type PARAMS ((enum machine_mode, |
1317 | HOST_WIDE_INT, int, tree)); | |
2f78c311 | 1318 | extern rtx assign_temp PARAMS ((tree, int, int, int)); |
4eb00163 | 1319 | /* In emit-rtl.c */ |
cdadb1dd KG |
1320 | extern rtx emit_insn_before PARAMS ((rtx, rtx)); |
1321 | extern rtx emit_jump_insn_before PARAMS ((rtx, rtx)); | |
1322 | extern rtx emit_call_insn_before PARAMS ((rtx, rtx)); | |
1323 | extern rtx emit_barrier_before PARAMS ((rtx)); | |
1324 | extern rtx emit_label_before PARAMS ((rtx, rtx)); | |
1325 | extern rtx emit_note_before PARAMS ((int, rtx)); | |
1326 | extern rtx emit_insn_after PARAMS ((rtx, rtx)); | |
1327 | extern rtx emit_jump_insn_after PARAMS ((rtx, rtx)); | |
1328 | extern rtx emit_barrier_after PARAMS ((rtx)); | |
1329 | extern rtx emit_label_after PARAMS ((rtx, rtx)); | |
1330 | extern rtx emit_note_after PARAMS ((int, rtx)); | |
3cce094d | 1331 | extern rtx emit_line_note_after PARAMS ((const char *, int, rtx)); |
cdadb1dd KG |
1332 | extern rtx emit_insn PARAMS ((rtx)); |
1333 | extern rtx emit_insns PARAMS ((rtx)); | |
1334 | extern rtx emit_insns_before PARAMS ((rtx, rtx)); | |
1335 | extern rtx emit_insns_after PARAMS ((rtx, rtx)); | |
1336 | extern rtx emit_jump_insn PARAMS ((rtx)); | |
1337 | extern rtx emit_call_insn PARAMS ((rtx)); | |
1338 | extern rtx emit_label PARAMS ((rtx)); | |
1339 | extern rtx emit_barrier PARAMS ((void)); | |
3cce094d KG |
1340 | extern rtx emit_line_note PARAMS ((const char *, int)); |
1341 | extern rtx emit_note PARAMS ((const char *, int)); | |
1342 | extern rtx emit_line_note_force PARAMS ((const char *, int)); | |
cdadb1dd KG |
1343 | extern rtx make_insn_raw PARAMS ((rtx)); |
1344 | extern rtx previous_insn PARAMS ((rtx)); | |
1345 | extern rtx next_insn PARAMS ((rtx)); | |
1346 | extern rtx prev_nonnote_insn PARAMS ((rtx)); | |
1347 | extern rtx next_nonnote_insn PARAMS ((rtx)); | |
1348 | extern rtx prev_real_insn PARAMS ((rtx)); | |
1349 | extern rtx next_real_insn PARAMS ((rtx)); | |
1350 | extern rtx prev_active_insn PARAMS ((rtx)); | |
1351 | extern rtx next_active_insn PARAMS ((rtx)); | |
69732dcb | 1352 | extern int active_insn_p PARAMS ((rtx)); |
cdadb1dd KG |
1353 | extern rtx prev_label PARAMS ((rtx)); |
1354 | extern rtx next_label PARAMS ((rtx)); | |
1355 | extern rtx next_cc0_user PARAMS ((rtx)); | |
1356 | extern rtx prev_cc0_setter PARAMS ((rtx)); | |
4eb00163 JO |
1357 | |
1358 | /* In jump.c */ | |
cdadb1dd KG |
1359 | extern rtx next_nondeleted_insn PARAMS ((rtx)); |
1360 | extern enum rtx_code reverse_condition PARAMS ((enum rtx_code)); | |
7913f3d0 | 1361 | extern enum rtx_code reverse_condition_maybe_unordered PARAMS ((enum rtx_code)); |
cdadb1dd KG |
1362 | extern enum rtx_code swap_condition PARAMS ((enum rtx_code)); |
1363 | extern enum rtx_code unsigned_condition PARAMS ((enum rtx_code)); | |
1364 | extern enum rtx_code signed_condition PARAMS ((enum rtx_code)); | |
1e5fd094 | 1365 | extern void mark_jump_label PARAMS ((rtx, rtx, int)); |
01f62f01 | 1366 | extern void cleanup_barriers PARAMS ((void)); |
4eb00163 | 1367 | |
4eb00163 | 1368 | /* In jump.c */ |
2b7d71b2 | 1369 | extern bool squeeze_notes PARAMS ((rtx *, rtx *)); |
53c17031 | 1370 | extern rtx delete_related_insns PARAMS ((rtx)); |
cdadb1dd KG |
1371 | extern void delete_jump PARAMS ((rtx)); |
1372 | extern void delete_barrier PARAMS ((rtx)); | |
1373 | extern rtx get_label_before PARAMS ((rtx)); | |
1374 | extern rtx get_label_after PARAMS ((rtx)); | |
1375 | extern rtx follow_jumps PARAMS ((rtx)); | |
4eb00163 JO |
1376 | |
1377 | /* In recog.c */ | |
b72f00af | 1378 | extern rtx *find_constant_term_loc PARAMS ((rtx *)); |
4eb00163 JO |
1379 | |
1380 | /* In emit-rtl.c */ | |
cdadb1dd | 1381 | extern rtx try_split PARAMS ((rtx, rtx, int)); |
6b24c259 | 1382 | extern int split_branch_probability; |
4eb00163 JO |
1383 | |
1384 | /* In unknown file */ | |
cdadb1dd | 1385 | extern rtx split_insns PARAMS ((rtx, rtx)); |
4eb00163 JO |
1386 | |
1387 | /* In simplify-rtx.c */ | |
d9c695ff RK |
1388 | extern rtx simplify_unary_operation PARAMS ((enum rtx_code, |
1389 | enum machine_mode, rtx, | |
1390 | enum machine_mode)); | |
1391 | extern rtx simplify_binary_operation PARAMS ((enum rtx_code, | |
1392 | enum machine_mode, rtx, | |
1393 | rtx)); | |
1394 | extern rtx simplify_ternary_operation PARAMS ((enum rtx_code, | |
1395 | enum machine_mode, | |
1396 | enum machine_mode, rtx, rtx, | |
1397 | rtx)); | |
1398 | extern rtx simplify_relational_operation PARAMS ((enum rtx_code, | |
1399 | enum machine_mode, rtx, | |
1400 | rtx)); | |
1401 | extern rtx simplify_gen_binary PARAMS ((enum rtx_code, | |
1402 | enum machine_mode, | |
1403 | rtx, rtx)); | |
1404 | extern rtx simplify_gen_unary PARAMS ((enum rtx_code, | |
1405 | enum machine_mode, rtx, | |
1406 | enum machine_mode)); | |
1407 | extern rtx simplify_gen_ternary PARAMS ((enum rtx_code, | |
1408 | enum machine_mode, | |
1409 | enum machine_mode, | |
1410 | rtx, rtx, rtx)); | |
1411 | extern rtx simplify_gen_relational PARAMS ((enum rtx_code, | |
141e454b | 1412 | enum machine_mode, |
d9c695ff RK |
1413 | enum machine_mode, |
1414 | rtx, rtx)); | |
eea50aa0 JH |
1415 | extern rtx simplify_subreg PARAMS ((enum machine_mode, |
1416 | rtx, | |
1417 | enum machine_mode, | |
1418 | unsigned int)); | |
949c5d62 JH |
1419 | extern rtx simplify_gen_subreg PARAMS ((enum machine_mode, |
1420 | rtx, | |
1421 | enum machine_mode, | |
1422 | unsigned int)); | |
d9c695ff | 1423 | extern rtx simplify_replace_rtx PARAMS ((rtx, rtx, rtx)); |
cdadb1dd | 1424 | extern rtx simplify_rtx PARAMS ((rtx)); |
732910b9 | 1425 | extern rtx avoid_constant_pool_reference PARAMS ((rtx)); |
4eb00163 | 1426 | |
4eb00163 | 1427 | /* In function.c */ |
2f78c311 | 1428 | extern rtx gen_mem_addressof PARAMS ((rtx, tree)); |
4eb00163 | 1429 | |
4eb00163 | 1430 | /* In regclass.c */ |
770ae6cc RK |
1431 | extern enum machine_mode choose_hard_reg_mode PARAMS ((unsigned int, |
1432 | unsigned int)); | |
4eb00163 JO |
1433 | |
1434 | /* In emit-rtl.c */ | |
3d238248 | 1435 | extern rtx set_unique_reg_note PARAMS ((rtx, enum reg_note, rtx)); |
9ae8ffe7 | 1436 | |
e9a25f70 JL |
1437 | /* Functions in rtlanal.c */ |
1438 | ||
b1cdafbb JH |
1439 | /* Single set is implemented as macro for performance reasons. */ |
1440 | #define single_set(I) (INSN_P (I) \ | |
1441 | ? (GET_CODE (PATTERN (I)) == SET \ | |
1442 | ? PATTERN (I) : single_set_1 (I)) \ | |
1443 | : NULL_RTX) | |
2130b7fb | 1444 | #define single_set_1(I) single_set_2 (I, PATTERN (I)) |
b1cdafbb | 1445 | |
e38fe8e0 | 1446 | extern int rtx_addr_can_trap_p PARAMS ((rtx)); |
cdadb1dd | 1447 | extern int rtx_unstable_p PARAMS ((rtx)); |
e38fe8e0 BS |
1448 | extern int rtx_varies_p PARAMS ((rtx, int)); |
1449 | extern int rtx_addr_varies_p PARAMS ((rtx, int)); | |
cdadb1dd KG |
1450 | extern HOST_WIDE_INT get_integer_term PARAMS ((rtx)); |
1451 | extern rtx get_related_value PARAMS ((rtx)); | |
d644189f | 1452 | extern rtx get_jump_table_offset PARAMS ((rtx, rtx *)); |
cdadb1dd | 1453 | extern int reg_mentioned_p PARAMS ((rtx, rtx)); |
4b983fdc | 1454 | extern int count_occurrences PARAMS ((rtx, rtx, int)); |
cdadb1dd KG |
1455 | extern int reg_referenced_p PARAMS ((rtx, rtx)); |
1456 | extern int reg_used_between_p PARAMS ((rtx, rtx, rtx)); | |
1457 | extern int reg_referenced_between_p PARAMS ((rtx, rtx, rtx)); | |
1458 | extern int reg_set_between_p PARAMS ((rtx, rtx, rtx)); | |
1459 | extern int regs_set_between_p PARAMS ((rtx, rtx, rtx)); | |
9b3bd424 | 1460 | extern int commutative_operand_precedence PARAMS ((rtx)); |
e5c56fd9 | 1461 | extern int swap_commutative_operands_p PARAMS ((rtx, rtx)); |
cdadb1dd KG |
1462 | extern int modified_between_p PARAMS ((rtx, rtx, rtx)); |
1463 | extern int no_labels_between_p PARAMS ((rtx, rtx)); | |
1464 | extern int no_jumps_between_p PARAMS ((rtx, rtx)); | |
1465 | extern int modified_in_p PARAMS ((rtx, rtx)); | |
4eb00163 | 1466 | extern int insn_dependent_p PARAMS ((rtx, rtx)); |
cdadb1dd | 1467 | extern int reg_set_p PARAMS ((rtx, rtx)); |
2130b7fb | 1468 | extern rtx single_set_2 PARAMS ((rtx, rtx)); |
cdadb1dd | 1469 | extern int multiple_sets PARAMS ((rtx)); |
7142e318 | 1470 | extern int set_noop_p PARAMS ((rtx)); |
0005550b | 1471 | extern int noop_move_p PARAMS ((rtx)); |
cdadb1dd | 1472 | extern rtx find_last_value PARAMS ((rtx, rtx *, rtx, int)); |
770ae6cc RK |
1473 | extern int refers_to_regno_p PARAMS ((unsigned int, unsigned int, |
1474 | rtx, rtx *)); | |
cdadb1dd | 1475 | extern int reg_overlap_mentioned_p PARAMS ((rtx, rtx)); |
91b2d119 | 1476 | extern rtx set_of PARAMS ((rtx, rtx)); |
770ae6cc RK |
1477 | extern void note_stores PARAMS ((rtx, |
1478 | void (*) (rtx, rtx, void *), | |
1479 | void *)); | |
e2373f95 RK |
1480 | extern void note_uses PARAMS ((rtx *, |
1481 | void (*) (rtx *, void *), | |
1482 | void *)); | |
cdadb1dd KG |
1483 | extern rtx reg_set_last PARAMS ((rtx, rtx)); |
1484 | extern int dead_or_set_p PARAMS ((rtx, rtx)); | |
770ae6cc | 1485 | extern int dead_or_set_regno_p PARAMS ((rtx, unsigned int)); |
cdadb1dd | 1486 | extern rtx find_reg_note PARAMS ((rtx, enum reg_note, rtx)); |
770ae6cc RK |
1487 | extern rtx find_regno_note PARAMS ((rtx, enum reg_note, |
1488 | unsigned int)); | |
d9c695ff | 1489 | extern rtx find_reg_equal_equiv_note PARAMS ((rtx)); |
cdadb1dd | 1490 | extern int find_reg_fusage PARAMS ((rtx, enum rtx_code, rtx)); |
770ae6cc RK |
1491 | extern int find_regno_fusage PARAMS ((rtx, enum rtx_code, |
1492 | unsigned int)); | |
cdadb1dd KG |
1493 | extern void remove_note PARAMS ((rtx, rtx)); |
1494 | extern int side_effects_p PARAMS ((rtx)); | |
1495 | extern int volatile_refs_p PARAMS ((rtx)); | |
1496 | extern int volatile_insn_p PARAMS ((rtx)); | |
1497 | extern int may_trap_p PARAMS ((rtx)); | |
1498 | extern int inequality_comparisons_p PARAMS ((rtx)); | |
1499 | extern rtx replace_rtx PARAMS ((rtx, rtx, rtx)); | |
770ae6cc RK |
1500 | extern rtx replace_regs PARAMS ((rtx, rtx *, unsigned int, |
1501 | int)); | |
cdadb1dd KG |
1502 | extern int computed_jump_p PARAMS ((rtx)); |
1503 | typedef int (*rtx_function) PARAMS ((rtx *, void *)); | |
1504 | extern int for_each_rtx PARAMS ((rtx *, rtx_function, void *)); | |
770ae6cc | 1505 | extern rtx regno_use_in PARAMS ((unsigned int, rtx)); |
cdadb1dd | 1506 | extern int auto_inc_p PARAMS ((rtx)); |
5f0d2358 | 1507 | extern int in_expr_list_p PARAMS ((rtx, rtx)); |
cdadb1dd KG |
1508 | extern void remove_node_from_expr_list PARAMS ((rtx, rtx *)); |
1509 | extern int insns_safe_to_move_p PARAMS ((rtx, rtx, rtx *)); | |
db7ba742 | 1510 | extern int loc_mentioned_in_p PARAMS ((rtx *, rtx)); |
833366d6 | 1511 | extern rtx find_first_parameter_load PARAMS ((rtx, rtx)); |
6f29feb1 | 1512 | |
ae0b51ef JL |
1513 | /* flow.c */ |
1514 | ||
cdadb1dd KG |
1515 | extern rtx find_use_as_address PARAMS ((rtx, rtx, HOST_WIDE_INT)); |
1516 | void init_EXPR_INSN_LIST_cache PARAMS ((void)); | |
1517 | void free_EXPR_LIST_list PARAMS ((rtx *)); | |
1518 | void free_INSN_LIST_list PARAMS ((rtx *)); | |
1519 | void free_EXPR_LIST_node PARAMS ((rtx)); | |
1520 | void free_INSN_LIST_node PARAMS ((rtx)); | |
1521 | rtx alloc_INSN_LIST PARAMS ((rtx, rtx)); | |
1522 | rtx alloc_EXPR_LIST PARAMS ((int, rtx, rtx)); | |
ae0b51ef JL |
1523 | |
1524 | /* regclass.c */ | |
1525 | ||
6f29feb1 JW |
1526 | /* Maximum number of parallel sets and clobbers in any insn in this fn. |
1527 | Always at least 3, since the combiner could put that many togetherm | |
1528 | and we want this to remain correct for all the remaining passes. */ | |
1529 | ||
1530 | extern int max_parallel; | |
1531 | ||
e0c6d139 | 1532 | /* Free up register info memory. */ |
cdadb1dd | 1533 | extern void free_reg_info PARAMS ((void)); |
e0c6d139 | 1534 | |
ae0b51ef | 1535 | /* recog.c */ |
cdadb1dd | 1536 | extern int asm_noperands PARAMS ((rtx)); |
3cce094d | 1537 | extern const char *decode_asm_operands PARAMS ((rtx, rtx *, rtx **, |
9b3142b3 KG |
1538 | const char **, |
1539 | enum machine_mode *)); | |
6f29feb1 | 1540 | |
cdadb1dd KG |
1541 | extern enum reg_class reg_preferred_class PARAMS ((int)); |
1542 | extern enum reg_class reg_alternate_class PARAMS ((int)); | |
6f29feb1 | 1543 | |
cdadb1dd | 1544 | extern rtx get_first_nonparm_insn PARAMS ((void)); |
6f29feb1 | 1545 | |
cdadb1dd | 1546 | extern void split_all_insns PARAMS ((int)); |
6f862f2f | 1547 | extern void split_all_insns_noflow PARAMS ((void)); |
6a73406e | 1548 | |
68d75312 | 1549 | #define MAX_SAVED_CONST_INT 64 |
5da077de | 1550 | extern rtx const_int_rtx[MAX_SAVED_CONST_INT * 2 + 1]; |
68d75312 | 1551 | |
5da077de AS |
1552 | #define const0_rtx (const_int_rtx[MAX_SAVED_CONST_INT]) |
1553 | #define const1_rtx (const_int_rtx[MAX_SAVED_CONST_INT+1]) | |
1554 | #define const2_rtx (const_int_rtx[MAX_SAVED_CONST_INT+2]) | |
1555 | #define constm1_rtx (const_int_rtx[MAX_SAVED_CONST_INT-1]) | |
6f29feb1 | 1556 | extern rtx const_true_rtx; |
a8efe40d RK |
1557 | |
1558 | extern rtx const_tiny_rtx[3][(int) MAX_MACHINE_MODE]; | |
1559 | ||
f590cca1 | 1560 | /* Returns a constant 0 rtx in mode MODE. Integer modes are treated the |
a8efe40d RK |
1561 | same as VOIDmode. */ |
1562 | ||
1563 | #define CONST0_RTX(MODE) (const_tiny_rtx[0][(int) (MODE)]) | |
1564 | ||
1565 | /* Likewise, for the constants 1 and 2. */ | |
1566 | ||
1567 | #define CONST1_RTX(MODE) (const_tiny_rtx[1][(int) (MODE)]) | |
1568 | #define CONST2_RTX(MODE) (const_tiny_rtx[2][(int) (MODE)]) | |
6f29feb1 | 1569 | |
5da077de AS |
1570 | /* If HARD_FRAME_POINTER_REGNUM is defined, then a special dummy reg |
1571 | is used to represent the frame pointer. This is because the | |
1572 | hard frame pointer and the automatic variables are separated by an amount | |
1573 | that cannot be determined until after register allocation. We can assume | |
1574 | that in this case ELIMINABLE_REGS will be defined, one action of which | |
eebedaa5 | 1575 | will be to eliminate FRAME_POINTER_REGNUM into HARD_FRAME_POINTER_REGNUM. */ |
5da077de AS |
1576 | #ifndef HARD_FRAME_POINTER_REGNUM |
1577 | #define HARD_FRAME_POINTER_REGNUM FRAME_POINTER_REGNUM | |
1578 | #endif | |
1579 | ||
1580 | /* Index labels for global_rtl. */ | |
1581 | enum global_rtl_index | |
68d75312 | 1582 | { |
5da077de AS |
1583 | GR_PC, |
1584 | GR_CC0, | |
1585 | GR_STACK_POINTER, | |
1586 | GR_FRAME_POINTER, | |
1587 | /* For register elimination to work properly these hard_frame_pointer_rtx, | |
1588 | frame_pointer_rtx, and arg_pointer_rtx must be the same if they refer to | |
1589 | the same register. */ | |
1590 | #if FRAME_POINTER_REGNUM == ARG_POINTER_REGNUM | |
1591 | GR_ARG_POINTER = GR_FRAME_POINTER, | |
1592 | #endif | |
1593 | #if HARD_FRAME_POINTER_REGNUM == FRAME_POINTER_REGNUM | |
1594 | GR_HARD_FRAME_POINTER = GR_FRAME_POINTER, | |
1595 | #else | |
1596 | GR_HARD_FRAME_POINTER, | |
1597 | #endif | |
1598 | #if FRAME_POINTER_REGNUM != ARG_POINTER_REGNUM | |
1599 | #if HARD_FRAME_POINTER_REGNUM == ARG_POINTER_REGNUM | |
1600 | GR_ARG_POINTER = GR_HARD_FRAME_POINTER, | |
1601 | #else | |
1602 | GR_ARG_POINTER, | |
1603 | #endif | |
1604 | #endif | |
1605 | GR_VIRTUAL_INCOMING_ARGS, | |
1606 | GR_VIRTUAL_STACK_ARGS, | |
1607 | GR_VIRTUAL_STACK_DYNAMIC, | |
1608 | GR_VIRTUAL_OUTGOING_ARGS, | |
1609 | GR_VIRTUAL_CFA, | |
1610 | ||
1611 | GR_MAX | |
1612 | }; | |
1613 | ||
1614 | /* Pointers to standard pieces of rtx are stored here. */ | |
1615 | extern rtx global_rtl[GR_MAX]; | |
1616 | ||
1617 | /* Standard pieces of rtx, to be substituted directly into things. */ | |
1618 | #define pc_rtx (global_rtl[GR_PC]) | |
1619 | #define cc0_rtx (global_rtl[GR_CC0]) | |
68d75312 | 1620 | |
6f29feb1 JW |
1621 | /* All references to certain hard regs, except those created |
1622 | by allocating pseudo regs into them (when that's possible), | |
1623 | go through these unique rtx objects. */ | |
5da077de AS |
1624 | #define stack_pointer_rtx (global_rtl[GR_STACK_POINTER]) |
1625 | #define frame_pointer_rtx (global_rtl[GR_FRAME_POINTER]) | |
1626 | #define hard_frame_pointer_rtx (global_rtl[GR_HARD_FRAME_POINTER]) | |
1627 | #define arg_pointer_rtx (global_rtl[GR_ARG_POINTER]) | |
68d75312 | 1628 | |
6f29feb1 JW |
1629 | extern rtx pic_offset_table_rtx; |
1630 | extern rtx struct_value_rtx; | |
1631 | extern rtx struct_value_incoming_rtx; | |
1632 | extern rtx static_chain_rtx; | |
1633 | extern rtx static_chain_incoming_rtx; | |
07ebc930 | 1634 | extern rtx return_address_pointer_rtx; |
3b80f6ca RH |
1635 | |
1636 | /* Include the RTL generation functions. */ | |
1637 | ||
1638 | #ifndef NO_GENRTL_H | |
1639 | #include "genrtl.h" | |
1640 | #endif | |
1641 | ||
41472af8 MM |
1642 | /* There are some RTL codes that require special attention; the |
1643 | generation functions included above do the raw handling. If you | |
b4213325 MM |
1644 | add to this list, modify special_rtx in gengenrtl.c as well. You |
1645 | should also modify gen_rtx to use the special function. */ | |
3b80f6ca | 1646 | |
a79e3a45 | 1647 | extern rtx gen_rtx_CONST_DOUBLE PARAMS ((enum machine_mode, |
0133b7d9 | 1648 | HOST_WIDE_INT, HOST_WIDE_INT)); |
cdadb1dd | 1649 | extern rtx gen_rtx_CONST_INT PARAMS ((enum machine_mode, HOST_WIDE_INT)); |
08394eef | 1650 | extern rtx gen_raw_REG PARAMS ((enum machine_mode, int)); |
cdadb1dd | 1651 | extern rtx gen_rtx_REG PARAMS ((enum machine_mode, int)); |
ddef6bc7 | 1652 | extern rtx gen_rtx_SUBREG PARAMS ((enum machine_mode, rtx, int)); |
cdadb1dd | 1653 | extern rtx gen_rtx_MEM PARAMS ((enum machine_mode, rtx)); |
3b80f6ca | 1654 | |
ddef6bc7 JJ |
1655 | extern rtx gen_lowpart_SUBREG PARAMS ((enum machine_mode, rtx)); |
1656 | ||
aefdd5ab JL |
1657 | /* We need the cast here to ensure that we get the same result both with |
1658 | and without prototypes. */ | |
1659 | #define GEN_INT(N) gen_rtx_CONST_INT (VOIDmode, (HOST_WIDE_INT) (N)) | |
3b80f6ca | 1660 | |
6f29feb1 JW |
1661 | /* Virtual registers are used during RTL generation to refer to locations into |
1662 | the stack frame when the actual location isn't known until RTL generation | |
1663 | is complete. The routine instantiate_virtual_regs replaces these with | |
1664 | the proper value, which is normally {frame,arg,stack}_pointer_rtx plus | |
1665 | a constant. */ | |
1666 | ||
1667 | #define FIRST_VIRTUAL_REGISTER (FIRST_PSEUDO_REGISTER) | |
1668 | ||
1669 | /* This points to the first word of the incoming arguments passed on the stack, | |
1670 | either by the caller or by the callee when pretending it was passed by the | |
1671 | caller. */ | |
1672 | ||
5da077de | 1673 | #define virtual_incoming_args_rtx (global_rtl[GR_VIRTUAL_INCOMING_ARGS]) |
6f29feb1 JW |
1674 | |
1675 | #define VIRTUAL_INCOMING_ARGS_REGNUM (FIRST_VIRTUAL_REGISTER) | |
1676 | ||
60343c3b | 1677 | /* If FRAME_GROWS_DOWNWARD, this points to immediately above the first |
6f29feb1 JW |
1678 | variable on the stack. Otherwise, it points to the first variable on |
1679 | the stack. */ | |
1680 | ||
5da077de | 1681 | #define virtual_stack_vars_rtx (global_rtl[GR_VIRTUAL_STACK_ARGS]) |
6f29feb1 JW |
1682 | |
1683 | #define VIRTUAL_STACK_VARS_REGNUM ((FIRST_VIRTUAL_REGISTER) + 1) | |
1684 | ||
1685 | /* This points to the location of dynamically-allocated memory on the stack | |
1686 | immediately after the stack pointer has been adjusted by the amount | |
1687 | desired. */ | |
1688 | ||
5da077de | 1689 | #define virtual_stack_dynamic_rtx (global_rtl[GR_VIRTUAL_STACK_DYNAMIC]) |
6f29feb1 JW |
1690 | |
1691 | #define VIRTUAL_STACK_DYNAMIC_REGNUM ((FIRST_VIRTUAL_REGISTER) + 2) | |
1692 | ||
1693 | /* This points to the location in the stack at which outgoing arguments should | |
1694 | be written when the stack is pre-pushed (arguments pushed using push | |
1695 | insns always use sp). */ | |
1696 | ||
5da077de | 1697 | #define virtual_outgoing_args_rtx (global_rtl[GR_VIRTUAL_OUTGOING_ARGS]) |
6f29feb1 JW |
1698 | |
1699 | #define VIRTUAL_OUTGOING_ARGS_REGNUM ((FIRST_VIRTUAL_REGISTER) + 3) | |
1700 | ||
71038426 RH |
1701 | /* This points to the Canonical Frame Address of the function. This |
1702 | should corrospond to the CFA produced by INCOMING_FRAME_SP_OFFSET, | |
1703 | but is calculated relative to the arg pointer for simplicity; the | |
f590cca1 | 1704 | frame pointer nor stack pointer are necessarily fixed relative to |
71038426 RH |
1705 | the CFA until after reload. */ |
1706 | ||
5da077de | 1707 | #define virtual_cfa_rtx (global_rtl[GR_VIRTUAL_CFA]) |
71038426 RH |
1708 | |
1709 | #define VIRTUAL_CFA_REGNUM ((FIRST_VIRTUAL_REGISTER) + 4) | |
1710 | ||
1711 | #define LAST_VIRTUAL_REGISTER ((FIRST_VIRTUAL_REGISTER) + 4) | |
6f29feb1 | 1712 | |
a06ef755 RK |
1713 | /* Nonzero if REGNUM is a pointer into the stack frame. */ |
1714 | #define REGNO_PTR_FRAME_P(REGNUM) \ | |
1715 | ((REGNUM) == STACK_POINTER_REGNUM \ | |
1716 | || (REGNUM) == FRAME_POINTER_REGNUM \ | |
1717 | || (REGNUM) == HARD_FRAME_POINTER_REGNUM \ | |
1718 | || (REGNUM) == ARG_POINTER_REGNUM \ | |
1719 | || ((REGNUM) >= FIRST_VIRTUAL_REGISTER \ | |
1720 | && (REGNUM) <= LAST_VIRTUAL_REGISTER)) | |
1721 | ||
848e0190 | 1722 | /* REGNUM never really appearing in the INSN stream. */ |
cf403648 | 1723 | #define INVALID_REGNUM (~(unsigned int) 0) |
848e0190 | 1724 | |
cdadb1dd | 1725 | extern rtx find_next_ref PARAMS ((rtx, rtx)); |
f837a861 | 1726 | |
2f78c311 ZW |
1727 | extern rtx output_constant_def PARAMS ((tree, int)); |
1728 | extern rtx immed_real_const PARAMS ((tree)); | |
6f29feb1 JW |
1729 | |
1730 | /* Define a default value for STORE_FLAG_VALUE. */ | |
1731 | ||
1732 | #ifndef STORE_FLAG_VALUE | |
1733 | #define STORE_FLAG_VALUE 1 | |
1734 | #endif | |
1735 | ||
0ea0e871 JL |
1736 | /* Nonzero after the second flow pass has completed. |
1737 | Set to 1 or 0 by toplev.c */ | |
1738 | extern int flow2_completed; | |
1739 | ||
6f29feb1 | 1740 | /* Nonzero after end of reload pass. |
0ea0e871 | 1741 | Set to 1 or 0 by reload1.c. */ |
6f29feb1 JW |
1742 | |
1743 | extern int reload_completed; | |
1744 | ||
1745 | /* Set to 1 while reload_as_needed is operating. | |
1746 | Required by some machines to handle any generated moves differently. */ | |
1747 | ||
1748 | extern int reload_in_progress; | |
1749 | ||
1750 | /* If this is nonzero, we do not bother generating VOLATILE | |
1751 | around volatile memory references, and we are willing to | |
1752 | output indirect addresses. If cse is to follow, we reject | |
1753 | indirect addresses so a useful potential cse is generated; | |
1754 | if it is used only once, instruction combination will produce | |
1755 | the same indirect address eventually. */ | |
1756 | extern int cse_not_expected; | |
1757 | ||
f1db3576 JL |
1758 | /* Set to nonzero before life analysis to indicate that it is unsafe to |
1759 | generate any new pseudo registers. */ | |
1760 | extern int no_new_pseudos; | |
1761 | ||
f5118aa5 | 1762 | /* Translates rtx code to tree code, for those codes needed by |
88efc60a RK |
1763 | REAL_ARITHMETIC. The function returns an int because the caller may not |
1764 | know what `enum tree_code' means. */ | |
1765 | ||
cdadb1dd | 1766 | extern int rtx_to_tree_code PARAMS ((enum rtx_code)); |
9ae8ffe7 | 1767 | |
ac957f13 | 1768 | /* In tree.c */ |
ac957f13 | 1769 | struct obstack; |
cdadb1dd | 1770 | extern void gcc_obstack_init PARAMS ((struct obstack *)); |
1f8f4a0b | 1771 | |
ac957f13 JL |
1772 | /* In cse.c */ |
1773 | struct cse_basic_block_data; | |
f1c1dfc3 BS |
1774 | |
1775 | /* Return the right cost to give to an operation | |
1776 | to make the cost of the corresponding register-to-register instruction | |
1777 | N times that of a fast register-to-register instruction. */ | |
1778 | #define COSTS_N_INSNS(N) ((N) * 4) | |
1779 | ||
1780 | /* Maximum cost of a rtl expression. This value has the special meaning | |
1781 | not to use an rtx with this cost under any circumstances. */ | |
1782 | #define MAX_COST INT_MAX | |
1783 | ||
cdadb1dd | 1784 | extern int rtx_cost PARAMS ((rtx, enum rtx_code)); |
01329426 | 1785 | extern int address_cost PARAMS ((rtx, enum machine_mode)); |
4793dca1 | 1786 | extern void delete_trivially_dead_insns PARAMS ((rtx, int, int)); |
ac957f13 | 1787 | #ifdef BUFSIZ |
cdadb1dd | 1788 | extern int cse_main PARAMS ((rtx, int, int, FILE *)); |
ac957f13 | 1789 | #endif |
cdadb1dd | 1790 | extern void cse_end_of_basic_block PARAMS ((rtx, |
ac957f13 JL |
1791 | struct cse_basic_block_data *, |
1792 | int, int, int)); | |
1793 | ||
1794 | /* In jump.c */ | |
cdadb1dd KG |
1795 | extern int comparison_dominates_p PARAMS ((enum rtx_code, enum rtx_code)); |
1796 | extern int condjump_p PARAMS ((rtx)); | |
e4c85816 JH |
1797 | extern int any_condjump_p PARAMS ((rtx)); |
1798 | extern int any_uncondjump_p PARAMS ((rtx)); | |
1799 | extern int safe_to_remove_jump_p PARAMS ((rtx)); | |
1800 | extern rtx pc_set PARAMS ((rtx)); | |
cdadb1dd KG |
1801 | extern rtx condjump_label PARAMS ((rtx)); |
1802 | extern int simplejump_p PARAMS ((rtx)); | |
1803 | extern int returnjump_p PARAMS ((rtx)); | |
1804 | extern int onlyjump_p PARAMS ((rtx)); | |
44ce0063 | 1805 | extern int only_sets_cc0_p PARAMS ((rtx)); |
cdadb1dd | 1806 | extern int sets_cc0_p PARAMS ((rtx)); |
2ea64f10 | 1807 | extern int invert_jump_1 PARAMS ((rtx, rtx)); |
9ba11d5a | 1808 | extern int invert_jump PARAMS ((rtx, rtx, int)); |
cdadb1dd KG |
1809 | extern int rtx_renumbered_equal_p PARAMS ((rtx, rtx)); |
1810 | extern int true_regnum PARAMS ((rtx)); | |
2ea64f10 | 1811 | extern int redirect_jump_1 PARAMS ((rtx, rtx)); |
9ba11d5a | 1812 | extern int redirect_jump PARAMS ((rtx, rtx, int)); |
cdadb1dd | 1813 | extern void rebuild_jump_labels PARAMS ((rtx)); |
ab94bc48 JH |
1814 | extern enum rtx_code reversed_comparison_code PARAMS ((rtx, rtx)); |
1815 | extern enum rtx_code reversed_comparison_code_parts PARAMS ((enum rtx_code, | |
1816 | rtx, rtx, rtx)); | |
cdadb1dd KG |
1817 | extern void delete_for_peephole PARAMS ((rtx, rtx)); |
1818 | extern int condjump_in_parallel_p PARAMS ((rtx)); | |
56d44285 | 1819 | extern void never_reached_warning PARAMS ((rtx, rtx)); |
0045d504 JH |
1820 | extern void purge_line_number_notes PARAMS ((rtx)); |
1821 | extern void copy_loop_headers PARAMS ((rtx)); | |
14bf4a33 | 1822 | |
eebedaa5 | 1823 | /* In emit-rtl.c. */ |
cdadb1dd KG |
1824 | extern int max_reg_num PARAMS ((void)); |
1825 | extern int max_label_num PARAMS ((void)); | |
1826 | extern int get_first_label_num PARAMS ((void)); | |
1827 | extern void delete_insns_since PARAMS ((rtx)); | |
1828 | extern void mark_reg_pointer PARAMS ((rtx, int)); | |
1829 | extern void mark_user_reg PARAMS ((rtx)); | |
1830 | extern void reset_used_flags PARAMS ((rtx)); | |
1831 | extern void reorder_insns PARAMS ((rtx, rtx, rtx)); | |
3c030e88 | 1832 | extern void reorder_insns_nobb PARAMS ((rtx, rtx, rtx)); |
cdadb1dd KG |
1833 | extern int get_max_uid PARAMS ((void)); |
1834 | extern int in_sequence_p PARAMS ((void)); | |
1835 | extern void force_next_line_note PARAMS ((void)); | |
1836 | extern void clear_emit_caches PARAMS ((void)); | |
1837 | extern void init_emit PARAMS ((void)); | |
1838 | extern void init_emit_once PARAMS ((int)); | |
1839 | extern void push_topmost_sequence PARAMS ((void)); | |
1840 | extern void pop_topmost_sequence PARAMS ((void)); | |
1841 | extern int subreg_realpart_p PARAMS ((rtx)); | |
1842 | extern void reverse_comparison PARAMS ((rtx)); | |
1843 | extern void set_new_first_and_last_insn PARAMS ((rtx, rtx)); | |
1844 | extern void set_new_first_and_last_label_num PARAMS ((int, int)); | |
1845 | extern void set_new_last_label_num PARAMS ((int)); | |
d1b81779 | 1846 | extern void unshare_all_rtl_again PARAMS ((rtx)); |
cdadb1dd KG |
1847 | extern void set_last_insn PARAMS ((rtx)); |
1848 | extern void link_cc0_insns PARAMS ((rtx)); | |
1849 | extern void add_insn PARAMS ((rtx)); | |
1850 | extern void add_insn_before PARAMS ((rtx, rtx)); | |
1851 | extern void add_insn_after PARAMS ((rtx, rtx)); | |
1852 | extern void remove_insn PARAMS ((rtx)); | |
1853 | extern void reorder_insns_with_line_notes PARAMS ((rtx, rtx, rtx)); | |
1854 | extern void emit_insn_after_with_line_notes PARAMS ((rtx, rtx, rtx)); | |
1855 | extern enum rtx_code classify_insn PARAMS ((rtx)); | |
1856 | extern rtx emit PARAMS ((rtx)); | |
a11759a3 JR |
1857 | /* Query and clear/ restore no_line_numbers. This is used by the |
1858 | switch / case handling in stmt.c to give proper line numbers in | |
1859 | warnings about unreachable code. */ | |
cdadb1dd KG |
1860 | int force_line_numbers PARAMS ((void)); |
1861 | void restore_line_number_status PARAMS ((int old_value)); | |
1862 | extern void renumber_insns PARAMS ((FILE *)); | |
f8855270 | 1863 | extern void remove_unnecessary_notes PARAMS ((void)); |
53c17031 JH |
1864 | extern rtx delete_insn PARAMS ((rtx)); |
1865 | extern void delete_insn_chain PARAMS ((rtx, rtx)); | |
ac957f13 | 1866 | |
ac957f13 | 1867 | /* In combine.c */ |
770ae6cc RK |
1868 | extern int combine_instructions PARAMS ((rtx, unsigned int)); |
1869 | extern unsigned int extended_count PARAMS ((rtx, enum machine_mode, int)); | |
1870 | extern rtx remove_death PARAMS ((unsigned int, rtx)); | |
ac957f13 | 1871 | #ifdef BUFSIZ |
cdadb1dd KG |
1872 | extern void dump_combine_stats PARAMS ((FILE *)); |
1873 | extern void dump_combine_total_stats PARAMS ((FILE *)); | |
ac957f13 JL |
1874 | #endif |
1875 | ||
eebedaa5 | 1876 | /* In sched.c. */ |
ac957f13 | 1877 | #ifdef BUFSIZ |
cdadb1dd | 1878 | extern void schedule_insns PARAMS ((FILE *)); |
18e720b3 | 1879 | extern void schedule_ebbs PARAMS ((FILE *)); |
ac957f13 | 1880 | #endif |
cdadb1dd | 1881 | extern void fix_sched_param PARAMS ((const char *, const char *)); |
ac957f13 JL |
1882 | |
1883 | /* In print-rtl.c */ | |
47c10e9b | 1884 | extern const char *print_rtx_head; |
cdadb1dd KG |
1885 | extern void debug_rtx PARAMS ((rtx)); |
1886 | extern void debug_rtx_list PARAMS ((rtx, int)); | |
4c85a96d | 1887 | extern void debug_rtx_range PARAMS ((rtx, rtx)); |
cdadb1dd | 1888 | extern rtx debug_rtx_find PARAMS ((rtx, int)); |
ac957f13 | 1889 | #ifdef BUFSIZ |
998d7deb | 1890 | extern void print_mem_expr PARAMS ((FILE *, tree)); |
cdadb1dd | 1891 | extern void print_rtl PARAMS ((FILE *, rtx)); |
75b7557d | 1892 | extern void print_simple_rtl PARAMS ((FILE *, rtx)); |
cdadb1dd KG |
1893 | extern int print_rtl_single PARAMS ((FILE *, rtx)); |
1894 | extern void print_inline_rtx PARAMS ((FILE *, rtx, int)); | |
ac957f13 JL |
1895 | #endif |
1896 | ||
1897 | /* In loop.c */ | |
cdadb1dd KG |
1898 | extern void init_loop PARAMS ((void)); |
1899 | extern rtx libcall_other_reg PARAMS ((rtx, rtx)); | |
ac957f13 | 1900 | #ifdef BUFSIZ |
1bf14ad7 | 1901 | extern void loop_optimize PARAMS ((rtx, FILE *, int)); |
ac957f13 | 1902 | #endif |
cdadb1dd | 1903 | extern void record_excess_regs PARAMS ((rtx, rtx, rtx *)); |
ac957f13 JL |
1904 | |
1905 | /* In function.c */ | |
cdadb1dd KG |
1906 | extern void reposition_prologue_and_epilogue_notes PARAMS ((rtx)); |
1907 | extern void thread_prologue_and_epilogue_insns PARAMS ((rtx)); | |
1908 | extern int prologue_epilogue_contains PARAMS ((rtx)); | |
0a1c58a2 | 1909 | extern int sibcall_epilogue_contains PARAMS ((rtx)); |
591ccf92 | 1910 | extern void preserve_rtl_expr_result PARAMS ((rtx)); |
cdadb1dd KG |
1911 | extern void mark_temp_addr_taken PARAMS ((rtx)); |
1912 | extern void update_temp_slot_address PARAMS ((rtx, rtx)); | |
cdadb1dd | 1913 | extern void purge_addressof PARAMS ((rtx)); |
659e47fb | 1914 | extern void purge_hard_subreg_sets PARAMS ((rtx)); |
ac957f13 | 1915 | |
ac957f13 | 1916 | /* In stmt.c */ |
47ee9bcb | 1917 | extern void set_file_and_line_for_stmt PARAMS ((const char *, int)); |
cdadb1dd KG |
1918 | extern void expand_null_return PARAMS ((void)); |
1919 | extern void emit_jump PARAMS ((rtx)); | |
1920 | extern int preserve_subexpressions_p PARAMS ((void)); | |
ac957f13 JL |
1921 | |
1922 | /* In expr.c */ | |
3bdf5ad1 RK |
1923 | extern void move_by_pieces PARAMS ((rtx, rtx, |
1924 | unsigned HOST_WIDE_INT, | |
1925 | unsigned int)); | |
2e245dac | 1926 | |
ac957f13 | 1927 | /* In flow.c */ |
0626ef8a AM |
1928 | extern void recompute_reg_usage PARAMS ((rtx, int)); |
1929 | extern int initialize_uninitialized_subregs PARAMS ((void)); | |
ac957f13 | 1930 | #ifdef BUFSIZ |
0626ef8a AM |
1931 | extern void print_rtl_with_bb PARAMS ((FILE *, rtx)); |
1932 | extern void dump_flow_info PARAMS ((FILE *)); | |
ac957f13 JL |
1933 | #endif |
1934 | ||
1935 | /* In expmed.c */ | |
cdadb1dd KG |
1936 | extern void init_expmed PARAMS ((void)); |
1937 | extern void expand_inc PARAMS ((rtx, rtx)); | |
1938 | extern void expand_dec PARAMS ((rtx, rtx)); | |
1939 | extern rtx expand_mult_highpart PARAMS ((enum machine_mode, rtx, | |
ac957f13 JL |
1940 | unsigned HOST_WIDE_INT, rtx, |
1941 | int, int)); | |
1942 | ||
50b2596f KG |
1943 | /* In gcse.c */ |
1944 | #ifdef BUFSIZ | |
cdadb1dd | 1945 | extern int gcse_main PARAMS ((rtx, FILE *)); |
50b2596f KG |
1946 | #endif |
1947 | ||
ac957f13 | 1948 | /* In global.c */ |
cdadb1dd | 1949 | extern void mark_elimination PARAMS ((int, int)); |
ac957f13 | 1950 | #ifdef BUFSIZ |
cdadb1dd KG |
1951 | extern int global_alloc PARAMS ((FILE *)); |
1952 | extern void dump_global_regs PARAMS ((FILE *)); | |
ac957f13 | 1953 | #endif |
cab634f2 | 1954 | #ifdef HARD_CONST |
cdadb1dd | 1955 | extern void retry_global_alloc PARAMS ((int, HARD_REG_SET)); |
cab634f2 | 1956 | #endif |
d29c259b | 1957 | extern void build_insn_chain PARAMS ((rtx)); |
ac957f13 JL |
1958 | |
1959 | /* In regclass.c */ | |
cdadb1dd KG |
1960 | extern int reg_classes_intersect_p PARAMS ((enum reg_class, enum reg_class)); |
1961 | extern int reg_class_subset_p PARAMS ((enum reg_class, enum reg_class)); | |
1962 | extern void globalize_reg PARAMS ((int)); | |
1963 | extern void init_regs PARAMS ((void)); | |
1964 | extern void init_reg_sets PARAMS ((void)); | |
1965 | extern void regset_release_memory PARAMS ((void)); | |
1966 | extern void regclass_init PARAMS ((void)); | |
1967 | extern void regclass PARAMS ((rtx, int, FILE *)); | |
770ae6cc RK |
1968 | extern void reg_scan PARAMS ((rtx, unsigned int, int)); |
1969 | extern void reg_scan_update PARAMS ((rtx, rtx, unsigned int)); | |
cdadb1dd KG |
1970 | extern void fix_register PARAMS ((const char *, int, int)); |
1971 | ||
1972 | extern void delete_null_pointer_checks PARAMS ((rtx)); | |
a157febd | 1973 | |
50b2596f KG |
1974 | /* In regmove.c */ |
1975 | #ifdef BUFSIZ | |
cdadb1dd | 1976 | extern void regmove_optimize PARAMS ((rtx, int, FILE *)); |
50b2596f | 1977 | #endif |
1e7f0a48 | 1978 | extern void combine_stack_adjustments PARAMS ((void)); |
50b2596f KG |
1979 | |
1980 | /* In reorg.c */ | |
1981 | #ifdef BUFSIZ | |
cdadb1dd | 1982 | extern void dbr_schedule PARAMS ((rtx, FILE *)); |
50b2596f KG |
1983 | #endif |
1984 | ||
ac957f13 JL |
1985 | /* In local-alloc.c */ |
1986 | #ifdef BUFSIZ | |
cdadb1dd | 1987 | extern void dump_local_alloc PARAMS ((FILE *)); |
ac957f13 | 1988 | #endif |
cdadb1dd KG |
1989 | extern int local_alloc PARAMS ((void)); |
1990 | extern int function_invariant_p PARAMS ((rtx)); | |
ac957f13 | 1991 | |
ac957f13 | 1992 | /* In profile.c */ |
cdadb1dd | 1993 | extern void init_branch_prob PARAMS ((const char *)); |
51891abe JH |
1994 | extern void branch_prob PARAMS ((void)); |
1995 | extern void end_branch_prob PARAMS ((void)); | |
cdadb1dd | 1996 | extern void output_func_start_profiler PARAMS ((void)); |
ac957f13 JL |
1997 | |
1998 | /* In reg-stack.c */ | |
1999 | #ifdef BUFSIZ | |
cdadb1dd | 2000 | extern void reg_to_stack PARAMS ((rtx, FILE *)); |
ac957f13 | 2001 | #endif |
ac957f13 JL |
2002 | |
2003 | /* In fold-const.c */ | |
05bccae2 RK |
2004 | extern int add_double PARAMS ((unsigned HOST_WIDE_INT, HOST_WIDE_INT, |
2005 | unsigned HOST_WIDE_INT, HOST_WIDE_INT, | |
2006 | unsigned HOST_WIDE_INT *, | |
2007 | HOST_WIDE_INT *)); | |
2008 | extern int neg_double PARAMS ((unsigned HOST_WIDE_INT, HOST_WIDE_INT, | |
2009 | unsigned HOST_WIDE_INT *, | |
2010 | HOST_WIDE_INT *)); | |
2011 | extern int mul_double PARAMS ((unsigned HOST_WIDE_INT, | |
2012 | HOST_WIDE_INT, | |
2013 | unsigned HOST_WIDE_INT, HOST_WIDE_INT, | |
2014 | unsigned HOST_WIDE_INT *, | |
2015 | HOST_WIDE_INT *)); | |
2016 | extern void lshift_double PARAMS ((unsigned HOST_WIDE_INT, HOST_WIDE_INT, | |
2017 | HOST_WIDE_INT, unsigned int, | |
2018 | unsigned HOST_WIDE_INT *, | |
2019 | HOST_WIDE_INT *, int)); | |
2020 | extern void rshift_double PARAMS ((unsigned HOST_WIDE_INT, HOST_WIDE_INT, | |
2021 | HOST_WIDE_INT, unsigned int, | |
2022 | unsigned HOST_WIDE_INT *, | |
2023 | HOST_WIDE_INT *, int)); | |
2024 | extern void lrotate_double PARAMS ((unsigned HOST_WIDE_INT, HOST_WIDE_INT, | |
2025 | HOST_WIDE_INT, unsigned int, | |
2026 | unsigned HOST_WIDE_INT *, | |
2027 | HOST_WIDE_INT *)); | |
2028 | extern void rrotate_double PARAMS ((unsigned HOST_WIDE_INT, HOST_WIDE_INT, | |
2029 | HOST_WIDE_INT, unsigned int, | |
2030 | unsigned HOST_WIDE_INT *, | |
2031 | HOST_WIDE_INT *)); | |
ac957f13 JL |
2032 | |
2033 | /* In calls.c */ | |
ebb1b59a BS |
2034 | enum libcall_type |
2035 | { | |
2036 | LCT_NORMAL = 0, | |
2037 | LCT_CONST = 1, | |
2038 | LCT_PURE = 2, | |
2039 | LCT_CONST_MAKE_BLOCK = 3, | |
695ee791 | 2040 | LCT_PURE_MAKE_BLOCK = 4, |
9555a122 | 2041 | LCT_NORETURN = 5, |
9d98f8f9 | 2042 | LCT_THROW = 6, |
9defc9b7 RH |
2043 | LCT_ALWAYS_RETURN = 7, |
2044 | LCT_RETURNS_TWICE = 8 | |
ebb1b59a BS |
2045 | }; |
2046 | ||
2047 | extern void emit_library_call PARAMS ((rtx, enum libcall_type, | |
2048 | enum machine_mode, int, | |
2049 | ...)); | |
2050 | extern rtx emit_library_call_value PARAMS ((rtx, rtx, enum libcall_type, | |
2051 | enum machine_mode, int, | |
2052 | ...)); | |
ac957f13 JL |
2053 | |
2054 | /* In unroll.c */ | |
cdadb1dd | 2055 | extern int set_dominates_use PARAMS ((int, int, int, rtx, rtx)); |
ac957f13 JL |
2056 | |
2057 | /* In varasm.c */ | |
cdadb1dd | 2058 | extern int in_data_section PARAMS ((void)); |
cdadb1dd | 2059 | extern void init_varasm_once PARAMS ((void)); |
ac957f13 JL |
2060 | |
2061 | /* In rtl.c */ | |
cdadb1dd | 2062 | extern void init_rtl PARAMS ((void)); |
c25c12b8 R |
2063 | extern void traverse_md_constants PARAMS ((int (*) (void **, void *), |
2064 | void *)); | |
2065 | struct md_constant { char *name, *value; }; | |
ac957f13 | 2066 | |
bcdaba58 | 2067 | #ifdef BUFSIZ |
cdadb1dd KG |
2068 | extern int read_skip_spaces PARAMS ((FILE *)); |
2069 | extern rtx read_rtx PARAMS ((FILE *)); | |
bcdaba58 RH |
2070 | #endif |
2071 | ||
2072 | extern const char *read_rtx_filename; | |
2073 | extern int read_rtx_lineno; | |
2074 | ||
987009bf ZW |
2075 | /* Redefine abort to report an internal error w/o coredump, and |
2076 | reporting the location of the error in the source file. This logic | |
2077 | is duplicated in rtl.h and tree.h because every file that needs the | |
2078 | special abort includes one or both. toplev.h gets too few files, | |
2079 | system.h gets too many. */ | |
2080 | ||
cdadb1dd | 2081 | extern void fancy_abort PARAMS ((const char *, int, const char *)) |
987009bf | 2082 | ATTRIBUTE_NORETURN; |
fbfc1192 | 2083 | #define abort() fancy_abort (__FILE__, __LINE__, __FUNCTION__) |
987009bf | 2084 | |
ac957f13 | 2085 | /* In alias.c */ |
43fe47ca | 2086 | extern void clear_reg_alias_info PARAMS ((rtx)); |
db048faf | 2087 | extern rtx canon_rtx PARAMS ((rtx)); |
cdadb1dd | 2088 | extern int true_dependence PARAMS ((rtx, enum machine_mode, rtx, |
e38fe8e0 | 2089 | int (*)(rtx, int))); |
a13d4ebf AM |
2090 | extern rtx get_addr PARAMS ((rtx)); |
2091 | extern int canon_true_dependence PARAMS ((rtx, enum machine_mode, rtx, | |
2092 | rtx, int (*)(rtx, int))); | |
cdadb1dd KG |
2093 | extern int read_dependence PARAMS ((rtx, rtx)); |
2094 | extern int anti_dependence PARAMS ((rtx, rtx)); | |
2095 | extern int output_dependence PARAMS ((rtx, rtx)); | |
2096 | extern void mark_constant_function PARAMS ((void)); | |
2097 | extern void init_alias_once PARAMS ((void)); | |
2098 | extern void init_alias_analysis PARAMS ((void)); | |
2099 | extern void end_alias_analysis PARAMS ((void)); | |
cdadb1dd | 2100 | extern rtx addr_side_effect_eval PARAMS ((rtx, int, int)); |
4c649323 | 2101 | |
0a1c58a2 JL |
2102 | /* In sibcall.c */ |
2103 | typedef enum { | |
2104 | sibcall_use_normal = 1, | |
2105 | sibcall_use_tail_recursion, | |
2106 | sibcall_use_sibcall | |
2107 | } sibcall_use_t; | |
2108 | ||
2109 | extern void optimize_sibling_and_tail_recursive_calls PARAMS ((void)); | |
2110 | extern void replace_call_placeholder PARAMS ((rtx, sibcall_use_t)); | |
2111 | ||
21b2cd73 | 2112 | #ifdef STACK_REGS |
cdadb1dd | 2113 | extern int stack_regs_mentioned PARAMS ((rtx insn)); |
21b2cd73 JH |
2114 | #endif |
2115 | ||
a157febd | 2116 | /* In toplev.c */ |
a157febd | 2117 | extern rtx stack_limit_rtx; |
dfdb644f | 2118 | |
7b82b5da | 2119 | /* In regrename.c */ |
7b82b5da | 2120 | extern void regrename_optimize PARAMS ((void)); |
8582c27b | 2121 | extern void copyprop_hardreg_forward PARAMS ((void)); |
7b82b5da | 2122 | |
4db384c9 | 2123 | /* In ifcvt.c */ |
2ea64f10 RH |
2124 | extern void if_convert PARAMS ((int)); |
2125 | ||
4db384c9 JH |
2126 | /* In predict.c */ |
2127 | extern void invert_br_probabilities PARAMS ((rtx)); | |
6ab16dd9 | 2128 | extern bool expensive_function_p PARAMS ((int)); |
88657302 | 2129 | #endif /* ! GCC_RTL_H */ |