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