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