[8833] | 1 | /* Register Transfer Language (RTL) definitions for GNU C-Compiler |
---|
[11287] | 2 | Copyright (C) 1987, 91-97, 1998 Free Software Foundation, Inc. |
---|
[8833] | 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 |
---|
| 18 | the Free Software Foundation, 59 Temple Place - Suite 330, |
---|
| 19 | Boston, MA 02111-1307, USA. */ |
---|
| 20 | |
---|
| 21 | |
---|
| 22 | #include "machmode.h" |
---|
| 23 | |
---|
| 24 | #undef FFS /* Some systems predefine this symbol; don't let it interfere. */ |
---|
| 25 | #undef FLOAT /* Likewise. */ |
---|
| 26 | #undef ABS /* Likewise. */ |
---|
| 27 | #undef PC /* Likewise. */ |
---|
| 28 | |
---|
| 29 | #ifndef TREE_CODE |
---|
| 30 | union tree_node; |
---|
| 31 | #endif |
---|
| 32 | |
---|
| 33 | /* Register Transfer Language EXPRESSIONS CODES */ |
---|
| 34 | |
---|
| 35 | #define RTX_CODE enum rtx_code |
---|
| 36 | enum rtx_code { |
---|
| 37 | |
---|
| 38 | #define DEF_RTL_EXPR(ENUM, NAME, FORMAT, CLASS) ENUM , |
---|
| 39 | #include "rtl.def" /* rtl expressions are documented here */ |
---|
| 40 | #undef DEF_RTL_EXPR |
---|
| 41 | |
---|
| 42 | LAST_AND_UNUSED_RTX_CODE}; /* A convenient way to get a value for |
---|
| 43 | NUM_RTX_CODE. |
---|
| 44 | Assumes default enum value assignment. */ |
---|
| 45 | |
---|
| 46 | #define NUM_RTX_CODE ((int)LAST_AND_UNUSED_RTX_CODE) |
---|
| 47 | /* The cast here, saves many elsewhere. */ |
---|
| 48 | |
---|
| 49 | extern int rtx_length[]; |
---|
[11287] | 50 | #define GET_RTX_LENGTH(CODE) (rtx_length[(int) (CODE)]) |
---|
[8833] | 51 | |
---|
| 52 | extern char *rtx_name[]; |
---|
[11287] | 53 | #define GET_RTX_NAME(CODE) (rtx_name[(int) (CODE)]) |
---|
[8833] | 54 | |
---|
| 55 | extern char *rtx_format[]; |
---|
[11287] | 56 | #define GET_RTX_FORMAT(CODE) (rtx_format[(int) (CODE)]) |
---|
[8833] | 57 | |
---|
| 58 | extern char rtx_class[]; |
---|
[11287] | 59 | #define GET_RTX_CLASS(CODE) (rtx_class[(int) (CODE)]) |
---|
[8833] | 60 | |
---|
| 61 | /* Common union for an element of an rtx. */ |
---|
| 62 | |
---|
| 63 | typedef union rtunion_def |
---|
| 64 | { |
---|
| 65 | HOST_WIDE_INT rtwint; |
---|
| 66 | int rtint; |
---|
| 67 | char *rtstr; |
---|
| 68 | struct rtx_def *rtx; |
---|
| 69 | struct rtvec_def *rtvec; |
---|
| 70 | enum machine_mode rttype; |
---|
| 71 | } rtunion; |
---|
| 72 | |
---|
| 73 | /* RTL expression ("rtx"). */ |
---|
| 74 | |
---|
| 75 | typedef struct rtx_def |
---|
| 76 | { |
---|
| 77 | #ifdef ONLY_INT_FIELDS |
---|
| 78 | #ifdef CODE_FIELD_BUG |
---|
| 79 | unsigned int code : 16; |
---|
| 80 | #else |
---|
| 81 | unsigned short code; |
---|
| 82 | #endif |
---|
| 83 | #else |
---|
| 84 | /* The kind of expression this is. */ |
---|
| 85 | enum rtx_code code : 16; |
---|
| 86 | #endif |
---|
| 87 | /* The kind of value the expression has. */ |
---|
| 88 | #ifdef ONLY_INT_FIELDS |
---|
| 89 | int mode : 8; |
---|
| 90 | #else |
---|
| 91 | enum machine_mode mode : 8; |
---|
| 92 | #endif |
---|
| 93 | /* 1 in an INSN if it can alter flow of control |
---|
| 94 | within this function. Not yet used! */ |
---|
| 95 | unsigned int jump : 1; |
---|
| 96 | /* 1 in an INSN if it can call another function. Not yet used! */ |
---|
| 97 | unsigned int call : 1; |
---|
| 98 | /* 1 in a MEM or REG if value of this expression will never change |
---|
| 99 | during the current function, even though it is not |
---|
| 100 | manifestly constant. |
---|
| 101 | 1 in a SUBREG if it is from a promoted variable that is unsigned. |
---|
| 102 | 1 in a SYMBOL_REF if it addresses something in the per-function |
---|
| 103 | constants pool. |
---|
| 104 | 1 in a CALL_INSN if it is a const call. |
---|
| 105 | 1 in a JUMP_INSN if it is a branch that should be annulled. Valid from |
---|
| 106 | reorg until end of compilation; cleared before used. */ |
---|
| 107 | unsigned int unchanging : 1; |
---|
| 108 | /* 1 in a MEM expression if contents of memory are volatile. |
---|
| 109 | 1 in an INSN, CALL_INSN, JUMP_INSN, CODE_LABEL or BARRIER |
---|
| 110 | if it is deleted. |
---|
| 111 | 1 in a REG expression if corresponds to a variable declared by the user. |
---|
| 112 | 0 for an internally generated temporary. |
---|
| 113 | In a SYMBOL_REF, this flag is used for machine-specific purposes. |
---|
| 114 | In a LABEL_REF or in a REG_LABEL note, this is LABEL_REF_NONLOCAL_P. */ |
---|
| 115 | unsigned int volatil : 1; |
---|
| 116 | /* 1 in a MEM referring to a field of a structure (not a union!). |
---|
| 117 | 0 if the MEM was a variable or the result of a * operator in C; |
---|
| 118 | 1 if it was the result of a . or -> operator (on a struct) in C. |
---|
| 119 | 1 in a REG if the register is used only in exit code a loop. |
---|
| 120 | 1 in a SUBREG expression if was generated from a variable with a |
---|
| 121 | promoted mode. |
---|
| 122 | 1 in a CODE_LABEL if the label is used for nonlocal gotos |
---|
| 123 | and must not be deleted even if its count is zero. |
---|
| 124 | 1 in a LABEL_REF if this is a reference to a label outside the |
---|
| 125 | current loop. |
---|
| 126 | 1 in an INSN, JUMP_INSN, or CALL_INSN if this insn must be scheduled |
---|
| 127 | together with the preceding insn. Valid only within sched. |
---|
| 128 | 1 in an INSN, JUMP_INSN, or CALL_INSN if insn is in a delay slot and |
---|
| 129 | from the target of a branch. Valid from reorg until end of compilation; |
---|
| 130 | cleared before used. */ |
---|
| 131 | unsigned int in_struct : 1; |
---|
| 132 | /* 1 if this rtx is used. This is used for copying shared structure. |
---|
| 133 | See `unshare_all_rtl'. |
---|
| 134 | In a REG, this is not needed for that purpose, and used instead |
---|
| 135 | in `leaf_renumber_regs_insn'. |
---|
| 136 | In a SYMBOL_REF, means that emit_library_call |
---|
| 137 | has used it as the function. */ |
---|
| 138 | unsigned int used : 1; |
---|
| 139 | /* Nonzero if this rtx came from procedure integration. |
---|
| 140 | In a REG, nonzero means this reg refers to the return value |
---|
| 141 | of the current function. */ |
---|
| 142 | unsigned integrated : 1; |
---|
[11287] | 143 | /* Nonzero if this rtx is related to the call frame, either changing how |
---|
| 144 | we compute the frame address or saving and restoring registers in |
---|
| 145 | the prologue and epilogue. */ |
---|
| 146 | unsigned frame_related : 1; |
---|
[8833] | 147 | /* The first element of the operands of this rtx. |
---|
| 148 | The number of operands and their types are controlled |
---|
| 149 | by the `code' field, according to rtl.def. */ |
---|
| 150 | rtunion fld[1]; |
---|
| 151 | } *rtx; |
---|
| 152 | |
---|
[11287] | 153 | #include "gansidecl.h" |
---|
[8833] | 154 | |
---|
| 155 | #define NULL_RTX (rtx) 0 |
---|
| 156 | |
---|
| 157 | /* Define macros to access the `code' field of the rtx. */ |
---|
| 158 | |
---|
| 159 | #ifdef SHORT_ENUM_BUG |
---|
| 160 | #define GET_CODE(RTX) ((enum rtx_code) ((RTX)->code)) |
---|
| 161 | #define PUT_CODE(RTX, CODE) ((RTX)->code = ((short) (CODE))) |
---|
| 162 | #else |
---|
| 163 | #define GET_CODE(RTX) ((RTX)->code) |
---|
| 164 | #define PUT_CODE(RTX, CODE) ((RTX)->code = (CODE)) |
---|
| 165 | #endif |
---|
| 166 | |
---|
| 167 | #define GET_MODE(RTX) ((RTX)->mode) |
---|
| 168 | #define PUT_MODE(RTX, MODE) ((RTX)->mode = (MODE)) |
---|
| 169 | |
---|
| 170 | #define RTX_INTEGRATED_P(RTX) ((RTX)->integrated) |
---|
| 171 | #define RTX_UNCHANGING_P(RTX) ((RTX)->unchanging) |
---|
[11287] | 172 | #define RTX_FRAME_RELATED_P(RTX) ((RTX)->frame_related) |
---|
[8833] | 173 | |
---|
| 174 | /* RTL vector. These appear inside RTX's when there is a need |
---|
| 175 | for a variable number of things. The principle use is inside |
---|
| 176 | PARALLEL expressions. */ |
---|
| 177 | |
---|
| 178 | typedef struct rtvec_def{ |
---|
[11287] | 179 | int num_elem; /* number of elements */ |
---|
[8833] | 180 | rtunion elem[1]; |
---|
| 181 | } *rtvec; |
---|
| 182 | |
---|
| 183 | #define NULL_RTVEC (rtvec) 0 |
---|
| 184 | |
---|
| 185 | #define GET_NUM_ELEM(RTVEC) ((RTVEC)->num_elem) |
---|
[11287] | 186 | #define PUT_NUM_ELEM(RTVEC, NUM) ((RTVEC)->num_elem = (NUM)) |
---|
[8833] | 187 | |
---|
| 188 | #define RTVEC_ELT(RTVEC, I) ((RTVEC)->elem[(I)].rtx) |
---|
| 189 | |
---|
| 190 | /* 1 if X is a REG. */ |
---|
| 191 | |
---|
| 192 | #define REG_P(X) (GET_CODE (X) == REG) |
---|
| 193 | |
---|
| 194 | /* 1 if X is a constant value that is an integer. */ |
---|
| 195 | |
---|
| 196 | #define CONSTANT_P(X) \ |
---|
| 197 | (GET_CODE (X) == LABEL_REF || GET_CODE (X) == SYMBOL_REF \ |
---|
| 198 | || GET_CODE (X) == CONST_INT || GET_CODE (X) == CONST_DOUBLE \ |
---|
| 199 | || GET_CODE (X) == CONST || GET_CODE (X) == HIGH) |
---|
| 200 | |
---|
| 201 | /* General accessor macros for accessing the fields of an rtx. */ |
---|
| 202 | |
---|
| 203 | #define XEXP(RTX, N) ((RTX)->fld[N].rtx) |
---|
| 204 | #define XINT(RTX, N) ((RTX)->fld[N].rtint) |
---|
| 205 | #define XWINT(RTX, N) ((RTX)->fld[N].rtwint) |
---|
| 206 | #define XSTR(RTX, N) ((RTX)->fld[N].rtstr) |
---|
| 207 | #define XVEC(RTX, N) ((RTX)->fld[N].rtvec) |
---|
| 208 | #define XVECLEN(RTX, N) ((RTX)->fld[N].rtvec->num_elem) |
---|
| 209 | #define XVECEXP(RTX,N,M)((RTX)->fld[N].rtvec->elem[M].rtx) |
---|
| 210 | |
---|
| 211 | /* ACCESS MACROS for particular fields of insns. */ |
---|
| 212 | |
---|
| 213 | /* Holds a unique number for each insn. |
---|
| 214 | These are not necessarily sequentially increasing. */ |
---|
| 215 | #define INSN_UID(INSN) ((INSN)->fld[0].rtint) |
---|
| 216 | |
---|
| 217 | /* Chain insns together in sequence. */ |
---|
| 218 | #define PREV_INSN(INSN) ((INSN)->fld[1].rtx) |
---|
| 219 | #define NEXT_INSN(INSN) ((INSN)->fld[2].rtx) |
---|
| 220 | |
---|
| 221 | /* The body of an insn. */ |
---|
| 222 | #define PATTERN(INSN) ((INSN)->fld[3].rtx) |
---|
| 223 | |
---|
| 224 | /* Code number of instruction, from when it was recognized. |
---|
| 225 | -1 means this instruction has not been recognized yet. */ |
---|
| 226 | #define INSN_CODE(INSN) ((INSN)->fld[4].rtint) |
---|
| 227 | |
---|
| 228 | /* Set up in flow.c; empty before then. |
---|
| 229 | Holds a chain of INSN_LIST rtx's whose first operands point at |
---|
| 230 | previous insns with direct data-flow connections to this one. |
---|
| 231 | That means that those insns set variables whose next use is in this insn. |
---|
| 232 | They are always in the same basic block as this insn. */ |
---|
| 233 | #define LOG_LINKS(INSN) ((INSN)->fld[5].rtx) |
---|
| 234 | |
---|
| 235 | /* 1 if insn has been deleted. */ |
---|
| 236 | #define INSN_DELETED_P(INSN) ((INSN)->volatil) |
---|
| 237 | |
---|
| 238 | /* 1 if insn is a call to a const function. */ |
---|
| 239 | #define CONST_CALL_P(INSN) ((INSN)->unchanging) |
---|
| 240 | |
---|
| 241 | /* 1 if insn is a branch that should not unconditionally execute its |
---|
| 242 | delay slots, i.e., it is an annulled branch. */ |
---|
| 243 | #define INSN_ANNULLED_BRANCH_P(INSN) ((INSN)->unchanging) |
---|
| 244 | |
---|
| 245 | /* 1 if insn is in a delay slot and is from the target of the branch. If |
---|
| 246 | the branch insn has INSN_ANNULLED_BRANCH_P set, this insn should only be |
---|
| 247 | executed if the branch is taken. For annulled branches with this bit |
---|
| 248 | clear, the insn should be executed only if the branch is not taken. */ |
---|
| 249 | #define INSN_FROM_TARGET_P(INSN) ((INSN)->in_struct) |
---|
| 250 | |
---|
| 251 | /* Holds a list of notes on what this insn does to various REGs. |
---|
| 252 | It is a chain of EXPR_LIST rtx's, where the second operand |
---|
| 253 | is the chain pointer and the first operand is the REG being described. |
---|
| 254 | The mode field of the EXPR_LIST contains not a real machine mode |
---|
| 255 | but a value that says what this note says about the REG: |
---|
| 256 | REG_DEAD means that the value in REG dies in this insn (i.e., it is |
---|
| 257 | not needed past this insn). If REG is set in this insn, the REG_DEAD |
---|
| 258 | note may, but need not, be omitted. |
---|
| 259 | REG_INC means that the REG is autoincremented or autodecremented. |
---|
[11287] | 260 | REG_EQUIV describes the insn as a whole; it says that the insn |
---|
| 261 | sets a register to a constant value or to be equivalent to a memory |
---|
| 262 | address. If the register is spilled to the stack then the constant |
---|
| 263 | value should be substituted for it. The contents of the REG_EQUIV |
---|
[8833] | 264 | is the constant value or memory address, which may be different |
---|
[11287] | 265 | from the source of the SET although it has the same value. A |
---|
| 266 | REG_EQUIV note may also appear on an insn which copies a register |
---|
| 267 | parameter to a pseudo-register, if there is a memory address which |
---|
| 268 | could be used to hold that pseudo-register throughout the function. |
---|
[8833] | 269 | REG_EQUAL is like REG_EQUIV except that the destination |
---|
| 270 | is only momentarily equal to the specified rtx. Therefore, it |
---|
| 271 | cannot be used for substitution; but it can be used for cse. |
---|
| 272 | REG_RETVAL means that this insn copies the return-value of |
---|
| 273 | a library call out of the hard reg for return values. This note |
---|
| 274 | is actually an INSN_LIST and it points to the first insn involved |
---|
| 275 | in setting up arguments for the call. flow.c uses this to delete |
---|
| 276 | the entire library call when its result is dead. |
---|
| 277 | REG_LIBCALL is the inverse of REG_RETVAL: it goes on the first insn |
---|
| 278 | of the library call and points at the one that has the REG_RETVAL. |
---|
| 279 | REG_WAS_0 says that the register set in this insn held 0 before the insn. |
---|
| 280 | The contents of the note is the insn that stored the 0. |
---|
| 281 | If that insn is deleted or patched to a NOTE, the REG_WAS_0 is inoperative. |
---|
| 282 | The REG_WAS_0 note is actually an INSN_LIST, not an EXPR_LIST. |
---|
| 283 | REG_NONNEG means that the register is always nonnegative during |
---|
| 284 | the containing loop. This is used in branches so that decrement and |
---|
| 285 | branch instructions terminating on zero can be matched. There must be |
---|
| 286 | an insn pattern in the md file named `decrement_and_branch_until_zero' |
---|
| 287 | or else this will never be added to any instructions. |
---|
| 288 | REG_NO_CONFLICT means there is no conflict *after this insn* |
---|
| 289 | between the register in the note and the destination of this insn. |
---|
| 290 | REG_UNUSED identifies a register set in this insn and never used. |
---|
| 291 | REG_CC_SETTER and REG_CC_USER link a pair of insns that set and use |
---|
| 292 | CC0, respectively. Normally, these are required to be consecutive insns, |
---|
| 293 | but we permit putting a cc0-setting insn in the delay slot of a branch |
---|
| 294 | as long as only one copy of the insn exists. In that case, these notes |
---|
| 295 | point from one to the other to allow code generation to determine what |
---|
| 296 | any require information and to properly update CC_STATUS. |
---|
| 297 | REG_LABEL points to a CODE_LABEL. Used by non-JUMP_INSNs to |
---|
| 298 | say that the CODE_LABEL contained in the REG_LABEL note is used |
---|
| 299 | by the insn. |
---|
| 300 | REG_DEP_ANTI is used in LOG_LINKS which represent anti (write after read) |
---|
| 301 | dependencies. REG_DEP_OUTPUT is used in LOG_LINKS which represent output |
---|
| 302 | (write after write) dependencies. Data dependencies, which are the only |
---|
| 303 | type of LOG_LINK created by flow, are represented by a 0 reg note kind. */ |
---|
[11287] | 304 | /* REG_BR_PROB is attached to JUMP_INSNs and CALL_INSNs when the flag |
---|
| 305 | -fbranch-probabilities is given. It has an integer value. For jumps, |
---|
| 306 | it is the probability that this is a taken branch. For calls, it is the |
---|
| 307 | probability that this call won't return. |
---|
| 308 | REG_EXEC_COUNT is attached to the first insn of each basic block, and |
---|
| 309 | the first insn after each CALL_INSN. It indicates how many times this |
---|
| 310 | block was executed. */ |
---|
[8833] | 311 | |
---|
| 312 | #define REG_NOTES(INSN) ((INSN)->fld[6].rtx) |
---|
| 313 | |
---|
| 314 | /* Don't forget to change reg_note_name in rtl.c. */ |
---|
| 315 | enum reg_note { REG_DEAD = 1, REG_INC = 2, REG_EQUIV = 3, REG_WAS_0 = 4, |
---|
| 316 | REG_EQUAL = 5, REG_RETVAL = 6, REG_LIBCALL = 7, |
---|
| 317 | REG_NONNEG = 8, REG_NO_CONFLICT = 9, REG_UNUSED = 10, |
---|
| 318 | REG_CC_SETTER = 11, REG_CC_USER = 12, REG_LABEL = 13, |
---|
[11287] | 319 | REG_DEP_ANTI = 14, REG_DEP_OUTPUT = 15, REG_BR_PROB = 16, |
---|
| 320 | REG_EXEC_COUNT = 17 }; |
---|
| 321 | /* The base value for branch probability notes. */ |
---|
| 322 | #define REG_BR_PROB_BASE 10000 |
---|
[8833] | 323 | |
---|
| 324 | /* Define macros to extract and insert the reg-note kind in an EXPR_LIST. */ |
---|
| 325 | #define REG_NOTE_KIND(LINK) ((enum reg_note) GET_MODE (LINK)) |
---|
| 326 | #define PUT_REG_NOTE_KIND(LINK,KIND) PUT_MODE(LINK, (enum machine_mode) (KIND)) |
---|
| 327 | |
---|
| 328 | /* Names for REG_NOTE's in EXPR_LIST insn's. */ |
---|
| 329 | |
---|
| 330 | extern char *reg_note_name[]; |
---|
[11287] | 331 | #define GET_REG_NOTE_NAME(MODE) (reg_note_name[(int) (MODE)]) |
---|
[8833] | 332 | |
---|
| 333 | /* This field is only present on CALL_INSNs. It holds a chain of EXPR_LIST of |
---|
| 334 | USE and CLOBBER expressions. |
---|
| 335 | USE expressions list the registers filled with arguments that |
---|
| 336 | are passed to the function. |
---|
| 337 | CLOBBER expressions document the registers explicitly clobbered |
---|
| 338 | by this CALL_INSN. |
---|
| 339 | Pseudo registers can not be mentioned in this list. */ |
---|
| 340 | #define CALL_INSN_FUNCTION_USAGE(INSN) ((INSN)->fld[7].rtx) |
---|
| 341 | |
---|
| 342 | /* The label-number of a code-label. The assembler label |
---|
| 343 | is made from `L' and the label-number printed in decimal. |
---|
| 344 | Label numbers are unique in a compilation. */ |
---|
| 345 | #define CODE_LABEL_NUMBER(INSN) ((INSN)->fld[3].rtint) |
---|
| 346 | |
---|
| 347 | #define LINE_NUMBER NOTE |
---|
| 348 | |
---|
| 349 | /* In a NOTE that is a line number, this is a string for the file name |
---|
| 350 | that the line is in. We use the same field to record block numbers |
---|
| 351 | temporarily in NOTE_INSN_BLOCK_BEG and NOTE_INSN_BLOCK_END notes. |
---|
| 352 | (We avoid lots of casts between ints and pointers if we use a |
---|
| 353 | different macro for the bock number.) */ |
---|
| 354 | |
---|
| 355 | #define NOTE_SOURCE_FILE(INSN) ((INSN)->fld[3].rtstr) |
---|
| 356 | #define NOTE_BLOCK_NUMBER(INSN) ((INSN)->fld[3].rtint) |
---|
| 357 | |
---|
| 358 | /* In a NOTE that is a line number, this is the line number. |
---|
| 359 | Other kinds of NOTEs are identified by negative numbers here. */ |
---|
| 360 | #define NOTE_LINE_NUMBER(INSN) ((INSN)->fld[4].rtint) |
---|
| 361 | |
---|
| 362 | /* Codes that appear in the NOTE_LINE_NUMBER field |
---|
| 363 | for kinds of notes that are not line numbers. |
---|
| 364 | |
---|
| 365 | Notice that we do not try to use zero here for any of |
---|
| 366 | the special note codes because sometimes the source line |
---|
| 367 | actually can be zero! This happens (for example) when we |
---|
| 368 | are generating code for the per-translation-unit constructor |
---|
| 369 | and destructor routines for some C++ translation unit. |
---|
| 370 | |
---|
| 371 | If you should change any of the following values, or if you |
---|
| 372 | should add a new value here, don't forget to change the |
---|
| 373 | note_insn_name array in rtl.c. */ |
---|
| 374 | |
---|
| 375 | /* This note is used to get rid of an insn |
---|
| 376 | when it isn't safe to patch the insn out of the chain. */ |
---|
| 377 | #define NOTE_INSN_DELETED -1 |
---|
| 378 | #define NOTE_INSN_BLOCK_BEG -2 |
---|
| 379 | #define NOTE_INSN_BLOCK_END -3 |
---|
| 380 | #define NOTE_INSN_LOOP_BEG -4 |
---|
| 381 | #define NOTE_INSN_LOOP_END -5 |
---|
| 382 | /* This kind of note is generated at the end of the function body, |
---|
| 383 | just before the return insn or return label. |
---|
| 384 | In an optimizing compilation it is deleted by the first jump optimization, |
---|
| 385 | after enabling that optimizer to determine whether control can fall |
---|
| 386 | off the end of the function body without a return statement. */ |
---|
| 387 | #define NOTE_INSN_FUNCTION_END -6 |
---|
| 388 | /* This kind of note is generated just after each call to `setjmp', et al. */ |
---|
| 389 | #define NOTE_INSN_SETJMP -7 |
---|
| 390 | /* Generated at the place in a loop that `continue' jumps to. */ |
---|
| 391 | #define NOTE_INSN_LOOP_CONT -8 |
---|
| 392 | /* Generated at the start of a duplicated exit test. */ |
---|
| 393 | #define NOTE_INSN_LOOP_VTOP -9 |
---|
| 394 | /* This marks the point immediately after the last prologue insn. */ |
---|
| 395 | #define NOTE_INSN_PROLOGUE_END -10 |
---|
| 396 | /* This marks the point immediately prior to the first epilogue insn. */ |
---|
| 397 | #define NOTE_INSN_EPILOGUE_BEG -11 |
---|
| 398 | /* Generated in place of user-declared labels when they are deleted. */ |
---|
| 399 | #define NOTE_INSN_DELETED_LABEL -12 |
---|
| 400 | /* This note indicates the start of the real body of the function, |
---|
| 401 | i.e. the point just after all of the parms have been moved into |
---|
| 402 | their homes, etc. */ |
---|
| 403 | #define NOTE_INSN_FUNCTION_BEG -13 |
---|
[11287] | 404 | /* These note where exception handling regions begin and end. */ |
---|
| 405 | #define NOTE_INSN_EH_REGION_BEG -14 |
---|
| 406 | #define NOTE_INSN_EH_REGION_END -15 |
---|
| 407 | /* Generated whenever a duplicate line number note is output. For example, |
---|
| 408 | one is output after the end of an inline function, in order to prevent |
---|
| 409 | the line containing the inline call from being counted twice in gcov. */ |
---|
| 410 | #define NOTE_REPEATED_LINE_NUMBER -16 |
---|
[8833] | 411 | |
---|
| 412 | |
---|
| 413 | #if 0 /* These are not used, and I don't know what they were for. --rms. */ |
---|
| 414 | #define NOTE_DECL_NAME(INSN) ((INSN)->fld[3].rtstr) |
---|
| 415 | #define NOTE_DECL_CODE(INSN) ((INSN)->fld[4].rtint) |
---|
| 416 | #define NOTE_DECL_RTL(INSN) ((INSN)->fld[5].rtx) |
---|
| 417 | #define NOTE_DECL_IDENTIFIER(INSN) ((INSN)->fld[6].rtint) |
---|
| 418 | #define NOTE_DECL_TYPE(INSN) ((INSN)->fld[7].rtint) |
---|
| 419 | #endif /* 0 */ |
---|
| 420 | |
---|
| 421 | /* Names for NOTE insn's other than line numbers. */ |
---|
| 422 | |
---|
| 423 | extern char *note_insn_name[]; |
---|
| 424 | #define GET_NOTE_INSN_NAME(NOTE_CODE) (note_insn_name[-(NOTE_CODE)]) |
---|
| 425 | |
---|
| 426 | /* The name of a label, in case it corresponds to an explicit label |
---|
| 427 | in the input source code. */ |
---|
| 428 | #define LABEL_NAME(LABEL) ((LABEL)->fld[4].rtstr) |
---|
| 429 | |
---|
| 430 | /* In jump.c, each label contains a count of the number |
---|
| 431 | of LABEL_REFs that point at it, so unused labels can be deleted. */ |
---|
| 432 | #define LABEL_NUSES(LABEL) ((LABEL)->fld[5].rtint) |
---|
| 433 | |
---|
| 434 | /* The rest is used instead of the above, in a CODE_LABEL, |
---|
| 435 | if bytecode is being output. |
---|
| 436 | We make the slightly kludgy assumption that a LABEL has enough slots |
---|
| 437 | to hold these things. That happens to be true. */ |
---|
| 438 | |
---|
| 439 | /* For static or external objects. */ |
---|
[11287] | 440 | #define BYTECODE_LABEL(X) (XSTR ((X), 0)) |
---|
[8833] | 441 | |
---|
| 442 | /* For goto labels inside bytecode functions. */ |
---|
| 443 | #define BYTECODE_BC_LABEL(X) (*(struct bc_label **) &XEXP ((X), 1)) |
---|
| 444 | |
---|
[11287] | 445 | /* The original regno this ADDRESSOF was built for. */ |
---|
| 446 | #define ADDRESSOF_REGNO(RTX) ((RTX)->fld[1].rtint) |
---|
| 447 | |
---|
| 448 | /* The variable in the register we took the address of. */ |
---|
| 449 | #define ADDRESSOF_DECL(X) ((tree) XEXP ((X), 2)) |
---|
| 450 | #define SET_ADDRESSOF_DECL(X, T) (XEXP ((X), 2) = (rtx) (T)) |
---|
| 451 | |
---|
[8833] | 452 | /* In jump.c, each JUMP_INSN can point to a label that it can jump to, |
---|
| 453 | so that if the JUMP_INSN is deleted, the label's LABEL_NUSES can |
---|
| 454 | be decremented and possibly the label can be deleted. */ |
---|
| 455 | #define JUMP_LABEL(INSN) ((INSN)->fld[7].rtx) |
---|
| 456 | |
---|
| 457 | /* Once basic blocks are found in flow.c, |
---|
| 458 | each CODE_LABEL starts a chain that goes through |
---|
| 459 | all the LABEL_REFs that jump to that label. |
---|
| 460 | The chain eventually winds up at the CODE_LABEL; it is circular. */ |
---|
| 461 | #define LABEL_REFS(LABEL) ((LABEL)->fld[5].rtx) |
---|
| 462 | |
---|
| 463 | /* This is the field in the LABEL_REF through which the circular chain |
---|
| 464 | of references to a particular label is linked. |
---|
| 465 | This chain is set up in flow.c. */ |
---|
| 466 | |
---|
| 467 | #define LABEL_NEXTREF(REF) ((REF)->fld[1].rtx) |
---|
| 468 | |
---|
| 469 | /* Once basic blocks are found in flow.c, |
---|
| 470 | Each LABEL_REF points to its containing instruction with this field. */ |
---|
| 471 | |
---|
| 472 | #define CONTAINING_INSN(RTX) ((RTX)->fld[2].rtx) |
---|
| 473 | |
---|
| 474 | /* For a REG rtx, REGNO extracts the register number. */ |
---|
| 475 | |
---|
| 476 | #define REGNO(RTX) ((RTX)->fld[0].rtint) |
---|
| 477 | |
---|
| 478 | /* For a REG rtx, REG_FUNCTION_VALUE_P is nonzero if the reg |
---|
| 479 | is the current function's return value. */ |
---|
| 480 | |
---|
| 481 | #define REG_FUNCTION_VALUE_P(RTX) ((RTX)->integrated) |
---|
| 482 | |
---|
| 483 | /* 1 in a REG rtx if it corresponds to a variable declared by the user. */ |
---|
| 484 | #define REG_USERVAR_P(RTX) ((RTX)->volatil) |
---|
| 485 | |
---|
| 486 | /* For a CONST_INT rtx, INTVAL extracts the integer. */ |
---|
| 487 | |
---|
| 488 | #define INTVAL(RTX) ((RTX)->fld[0].rtwint) |
---|
| 489 | |
---|
| 490 | /* For a SUBREG rtx, SUBREG_REG extracts the value we want a subreg of. |
---|
| 491 | SUBREG_WORD extracts the word-number. */ |
---|
| 492 | |
---|
| 493 | #define SUBREG_REG(RTX) ((RTX)->fld[0].rtx) |
---|
| 494 | #define SUBREG_WORD(RTX) ((RTX)->fld[1].rtint) |
---|
| 495 | |
---|
| 496 | /* 1 if the REG contained in SUBREG_REG is already known to be |
---|
| 497 | sign- or zero-extended from the mode of the SUBREG to the mode of |
---|
| 498 | the reg. SUBREG_PROMOTED_UNSIGNED_P gives the signedness of the |
---|
| 499 | extension. |
---|
| 500 | |
---|
| 501 | When used as a LHS, is means that this extension must be done |
---|
| 502 | when assigning to SUBREG_REG. */ |
---|
| 503 | |
---|
| 504 | #define SUBREG_PROMOTED_VAR_P(RTX) ((RTX)->in_struct) |
---|
| 505 | #define SUBREG_PROMOTED_UNSIGNED_P(RTX) ((RTX)->unchanging) |
---|
| 506 | |
---|
| 507 | /* Access various components of an ASM_OPERANDS rtx. */ |
---|
| 508 | |
---|
| 509 | #define ASM_OPERANDS_TEMPLATE(RTX) XSTR ((RTX), 0) |
---|
| 510 | #define ASM_OPERANDS_OUTPUT_CONSTRAINT(RTX) XSTR ((RTX), 1) |
---|
| 511 | #define ASM_OPERANDS_OUTPUT_IDX(RTX) XINT ((RTX), 2) |
---|
| 512 | #define ASM_OPERANDS_INPUT_VEC(RTX) XVEC ((RTX), 3) |
---|
| 513 | #define ASM_OPERANDS_INPUT_CONSTRAINT_VEC(RTX) XVEC ((RTX), 4) |
---|
| 514 | #define ASM_OPERANDS_INPUT(RTX, N) XVECEXP ((RTX), 3, (N)) |
---|
| 515 | #define ASM_OPERANDS_INPUT_LENGTH(RTX) XVECLEN ((RTX), 3) |
---|
| 516 | #define ASM_OPERANDS_INPUT_CONSTRAINT(RTX, N) XSTR (XVECEXP ((RTX), 4, (N)), 0) |
---|
| 517 | #define ASM_OPERANDS_INPUT_MODE(RTX, N) GET_MODE (XVECEXP ((RTX), 4, (N))) |
---|
| 518 | #define ASM_OPERANDS_SOURCE_FILE(RTX) XSTR ((RTX), 5) |
---|
| 519 | #define ASM_OPERANDS_SOURCE_LINE(RTX) XINT ((RTX), 6) |
---|
| 520 | |
---|
| 521 | /* For a MEM rtx, 1 if it's a volatile reference. |
---|
| 522 | Also in an ASM_OPERANDS rtx. */ |
---|
| 523 | #define MEM_VOLATILE_P(RTX) ((RTX)->volatil) |
---|
| 524 | |
---|
| 525 | /* For a MEM rtx, 1 if it refers to a structure or union component. */ |
---|
| 526 | #define MEM_IN_STRUCT_P(RTX) ((RTX)->in_struct) |
---|
| 527 | |
---|
| 528 | /* For a LABEL_REF, 1 means that this reference is to a label outside the |
---|
| 529 | loop containing the reference. */ |
---|
| 530 | #define LABEL_OUTSIDE_LOOP_P(RTX) ((RTX)->in_struct) |
---|
| 531 | |
---|
| 532 | /* For a LABEL_REF, 1 means it is for a nonlocal label. */ |
---|
| 533 | /* Likewise in an EXPR_LIST for a REG_LABEL note. */ |
---|
| 534 | #define LABEL_REF_NONLOCAL_P(RTX) ((RTX)->volatil) |
---|
| 535 | |
---|
| 536 | /* For a CODE_LABEL, 1 means always consider this label to be needed. */ |
---|
| 537 | #define LABEL_PRESERVE_P(RTX) ((RTX)->in_struct) |
---|
| 538 | |
---|
| 539 | /* For a REG, 1 means the register is used only in an exit test of a loop. */ |
---|
| 540 | #define REG_LOOP_TEST_P(RTX) ((RTX)->in_struct) |
---|
| 541 | |
---|
| 542 | /* During sched, for an insn, 1 means that the insn must be scheduled together |
---|
| 543 | with the preceding insn. */ |
---|
| 544 | #define SCHED_GROUP_P(INSN) ((INSN)->in_struct) |
---|
| 545 | |
---|
| 546 | /* During sched, for the LOG_LINKS of an insn, these cache the adjusted |
---|
| 547 | cost of the dependence link. The cost of executing an instruction |
---|
| 548 | may vary based on how the results are used. LINK_COST_ZERO is 1 when |
---|
| 549 | the cost through the link varies and is unchanged (i.e., the link has |
---|
| 550 | zero additional cost). LINK_COST_FREE is 1 when the cost through the |
---|
| 551 | link is zero (i.e., the link makes the cost free). In other cases, |
---|
| 552 | the adjustment to the cost is recomputed each time it is needed. */ |
---|
| 553 | #define LINK_COST_ZERO(X) ((X)->jump) |
---|
| 554 | #define LINK_COST_FREE(X) ((X)->call) |
---|
| 555 | |
---|
| 556 | /* For a SET rtx, SET_DEST is the place that is set |
---|
| 557 | and SET_SRC is the value it is set to. */ |
---|
| 558 | #define SET_DEST(RTX) ((RTX)->fld[0].rtx) |
---|
| 559 | #define SET_SRC(RTX) ((RTX)->fld[1].rtx) |
---|
| 560 | |
---|
| 561 | /* For a TRAP_IF rtx, TRAP_CONDITION is an expression. */ |
---|
| 562 | #define TRAP_CONDITION(RTX) ((RTX)->fld[0].rtx) |
---|
| 563 | |
---|
| 564 | /* 1 in a SYMBOL_REF if it addresses this function's constants pool. */ |
---|
| 565 | #define CONSTANT_POOL_ADDRESS_P(RTX) ((RTX)->unchanging) |
---|
| 566 | |
---|
| 567 | /* Flag in a SYMBOL_REF for machine-specific purposes. */ |
---|
| 568 | #define SYMBOL_REF_FLAG(RTX) ((RTX)->volatil) |
---|
| 569 | |
---|
| 570 | /* 1 means a SYMBOL_REF has been the library function in emit_library_call. */ |
---|
| 571 | #define SYMBOL_REF_USED(RTX) ((RTX)->used) |
---|
| 572 | |
---|
| 573 | /* For an INLINE_HEADER rtx, FIRST_FUNCTION_INSN is the first insn |
---|
| 574 | of the function that is not involved in copying parameters to |
---|
| 575 | pseudo-registers. FIRST_PARM_INSN is the very first insn of |
---|
| 576 | the function, including the parameter copying. |
---|
| 577 | We keep this around in case we must splice |
---|
| 578 | this function into the assembly code at the end of the file. |
---|
| 579 | FIRST_LABELNO is the first label number used by the function (inclusive). |
---|
| 580 | LAST_LABELNO is the last label used by the function (exclusive). |
---|
| 581 | MAX_REGNUM is the largest pseudo-register used by that function. |
---|
| 582 | FUNCTION_ARGS_SIZE is the size of the argument block in the stack. |
---|
| 583 | POPS_ARGS is the number of bytes of input arguments popped by the function |
---|
| 584 | STACK_SLOT_LIST is the list of stack slots. |
---|
| 585 | FORCED_LABELS is the list of labels whose address was taken. |
---|
| 586 | FUNCTION_FLAGS are where single-bit flags are saved. |
---|
| 587 | OUTGOING_ARGS_SIZE is the size of the largest outgoing stack parameter list. |
---|
| 588 | ORIGINAL_ARG_VECTOR is a vector of the original DECL_RTX values |
---|
| 589 | for the function arguments. |
---|
| 590 | ORIGINAL_DECL_INITIAL is a pointer to the original DECL_INITIAL for the |
---|
| 591 | function. |
---|
[11287] | 592 | INLINE_REGNO_REG_RTX, INLINE_REGNO_POINTER_FLAG, and |
---|
| 593 | INLINE_REGNO_POINTER_ALIGN are pointers to the corresponding arrays. |
---|
[8833] | 594 | |
---|
| 595 | We want this to lay down like an INSN. The PREV_INSN field |
---|
| 596 | is always NULL. The NEXT_INSN field always points to the |
---|
| 597 | first function insn of the function being squirreled away. */ |
---|
| 598 | |
---|
| 599 | #define FIRST_FUNCTION_INSN(RTX) ((RTX)->fld[2].rtx) |
---|
| 600 | #define FIRST_PARM_INSN(RTX) ((RTX)->fld[3].rtx) |
---|
| 601 | #define FIRST_LABELNO(RTX) ((RTX)->fld[4].rtint) |
---|
| 602 | #define LAST_LABELNO(RTX) ((RTX)->fld[5].rtint) |
---|
| 603 | #define MAX_PARMREG(RTX) ((RTX)->fld[6].rtint) |
---|
| 604 | #define MAX_REGNUM(RTX) ((RTX)->fld[7].rtint) |
---|
| 605 | #define FUNCTION_ARGS_SIZE(RTX) ((RTX)->fld[8].rtint) |
---|
| 606 | #define POPS_ARGS(RTX) ((RTX)->fld[9].rtint) |
---|
| 607 | #define STACK_SLOT_LIST(RTX) ((RTX)->fld[10].rtx) |
---|
| 608 | #define FORCED_LABELS(RTX) ((RTX)->fld[11].rtx) |
---|
| 609 | #define FUNCTION_FLAGS(RTX) ((RTX)->fld[12].rtint) |
---|
| 610 | #define OUTGOING_ARGS_SIZE(RTX) ((RTX)->fld[13].rtint) |
---|
| 611 | #define ORIGINAL_ARG_VECTOR(RTX) ((RTX)->fld[14].rtvec) |
---|
| 612 | #define ORIGINAL_DECL_INITIAL(RTX) ((RTX)->fld[15].rtx) |
---|
[11287] | 613 | #define INLINE_REGNO_REG_RTX(RTX) ((RTX)->fld[16].rtvec) |
---|
| 614 | #define INLINE_REGNO_POINTER_FLAG(RTX) ((RTX)->fld[17].rtstr) |
---|
| 615 | #define INLINE_REGNO_POINTER_ALIGN(RTX) ((RTX)->fld[18].rtstr) |
---|
| 616 | #define PARMREG_STACK_LOC(RTX) ((RTX)->fld[19].rtvec) |
---|
[8833] | 617 | |
---|
| 618 | /* In FUNCTION_FLAGS we save some variables computed when emitting the code |
---|
| 619 | for the function and which must be `or'ed into the current flag values when |
---|
| 620 | insns from that function are being inlined. */ |
---|
| 621 | |
---|
| 622 | /* These ought to be an enum, but non-ANSI compilers don't like that. */ |
---|
| 623 | #define FUNCTION_FLAGS_CALLS_ALLOCA 01 |
---|
| 624 | #define FUNCTION_FLAGS_CALLS_SETJMP 02 |
---|
| 625 | #define FUNCTION_FLAGS_RETURNS_STRUCT 04 |
---|
| 626 | #define FUNCTION_FLAGS_RETURNS_PCC_STRUCT 010 |
---|
| 627 | #define FUNCTION_FLAGS_NEEDS_CONTEXT 020 |
---|
| 628 | #define FUNCTION_FLAGS_HAS_NONLOCAL_LABEL 040 |
---|
| 629 | #define FUNCTION_FLAGS_RETURNS_POINTER 0100 |
---|
| 630 | #define FUNCTION_FLAGS_USES_CONST_POOL 0200 |
---|
| 631 | #define FUNCTION_FLAGS_CALLS_LONGJMP 0400 |
---|
| 632 | #define FUNCTION_FLAGS_USES_PIC_OFFSET_TABLE 01000 |
---|
| 633 | |
---|
| 634 | /* Define a macro to look for REG_INC notes, |
---|
| 635 | but save time on machines where they never exist. */ |
---|
| 636 | |
---|
| 637 | /* Don't continue this line--convex cc version 4.1 would lose. */ |
---|
| 638 | #if (defined (HAVE_PRE_INCREMENT) || defined (HAVE_PRE_DECREMENT) || defined (HAVE_POST_INCREMENT) || defined (HAVE_POST_DECREMENT)) |
---|
| 639 | #define FIND_REG_INC_NOTE(insn, reg) (find_reg_note ((insn), REG_INC, (reg))) |
---|
| 640 | #else |
---|
| 641 | #define FIND_REG_INC_NOTE(insn, reg) 0 |
---|
| 642 | #endif |
---|
| 643 | |
---|
| 644 | /* Indicate whether the machine has any sort of auto increment addressing. |
---|
| 645 | If not, we can avoid checking for REG_INC notes. */ |
---|
| 646 | |
---|
| 647 | /* Don't continue this line--convex cc version 4.1 would lose. */ |
---|
| 648 | #if (defined (HAVE_PRE_INCREMENT) || defined (HAVE_PRE_DECREMENT) || defined (HAVE_POST_INCREMENT) || defined (HAVE_POST_DECREMENT)) |
---|
| 649 | #define AUTO_INC_DEC |
---|
| 650 | #endif |
---|
| 651 | |
---|
| 652 | /* Generally useful functions. */ |
---|
| 653 | |
---|
| 654 | /* The following functions accept a wide integer argument. Rather than |
---|
| 655 | having to cast on every function call, we use a macro instead, that is |
---|
| 656 | defined here and in tree.h. */ |
---|
| 657 | |
---|
| 658 | #ifndef exact_log2 |
---|
| 659 | #define exact_log2(N) exact_log2_wide ((HOST_WIDE_INT) (N)) |
---|
| 660 | #define floor_log2(N) floor_log2_wide ((HOST_WIDE_INT) (N)) |
---|
| 661 | #endif |
---|
| 662 | |
---|
| 663 | #define plus_constant(X,C) plus_constant_wide (X, (HOST_WIDE_INT) (C)) |
---|
| 664 | |
---|
| 665 | #define plus_constant_for_output(X,C) \ |
---|
| 666 | plus_constant_for_output_wide (X, (HOST_WIDE_INT) (C)) |
---|
| 667 | |
---|
| 668 | extern rtx plus_constant_wide PROTO((rtx, HOST_WIDE_INT)); |
---|
| 669 | extern rtx plus_constant_for_output_wide PROTO((rtx, HOST_WIDE_INT)); |
---|
| 670 | |
---|
| 671 | #define GEN_INT(N) gen_rtx (CONST_INT, VOIDmode, (HOST_WIDE_INT) (N)) |
---|
| 672 | |
---|
| 673 | extern rtx bc_gen_rtx (); |
---|
| 674 | |
---|
| 675 | extern rtx gen_rtx PVPROTO((enum rtx_code, |
---|
| 676 | enum machine_mode, ...)); |
---|
| 677 | extern rtvec gen_rtvec PVPROTO((int, ...)); |
---|
| 678 | |
---|
[11287] | 679 | extern rtx read_rtx PROTO((FILE *)); |
---|
[8833] | 680 | |
---|
| 681 | #if 0 |
---|
| 682 | /* At present, don't prototype xrealloc, since all of the callers don't |
---|
| 683 | cast their pointers to char *, and all of the xrealloc's don't use |
---|
| 684 | void * yet. */ |
---|
| 685 | extern char *xmalloc PROTO((size_t)); |
---|
| 686 | extern char *xrealloc PROTO((void *, size_t)); |
---|
| 687 | #else |
---|
| 688 | extern char *xmalloc (); |
---|
| 689 | extern char *xrealloc (); |
---|
| 690 | #endif |
---|
| 691 | |
---|
| 692 | extern char *oballoc PROTO((int)); |
---|
| 693 | extern char *permalloc PROTO((int)); |
---|
[11287] | 694 | #ifdef NEED_DECLARATION_FREE |
---|
[8833] | 695 | extern void free PROTO((void *)); |
---|
[11287] | 696 | #endif |
---|
[8833] | 697 | extern rtx rtx_alloc PROTO((RTX_CODE)); |
---|
| 698 | extern rtvec rtvec_alloc PROTO((int)); |
---|
| 699 | extern rtx copy_rtx PROTO((rtx)); |
---|
| 700 | extern rtx copy_rtx_if_shared PROTO((rtx)); |
---|
| 701 | extern rtx copy_most_rtx PROTO((rtx, rtx)); |
---|
| 702 | extern rtvec gen_rtvec_v PROTO((int, rtx *)); |
---|
[11287] | 703 | extern rtvec gen_rtvec_vv PROTO((int, rtunion *)); |
---|
[8833] | 704 | extern rtx gen_reg_rtx PROTO((enum machine_mode)); |
---|
| 705 | extern rtx gen_label_rtx PROTO((void)); |
---|
| 706 | extern rtx gen_inline_header_rtx PROTO((rtx, rtx, int, int, int, int, |
---|
| 707 | int, int, rtx, rtx, int, int, |
---|
[11287] | 708 | rtvec, rtx, |
---|
| 709 | rtvec, char *, char *, rtvec)); |
---|
[8833] | 710 | extern rtx gen_lowpart_common PROTO((enum machine_mode, rtx)); |
---|
| 711 | extern rtx gen_lowpart PROTO((enum machine_mode, rtx)); |
---|
| 712 | extern rtx gen_lowpart_if_possible PROTO((enum machine_mode, rtx)); |
---|
| 713 | extern rtx gen_highpart PROTO((enum machine_mode, rtx)); |
---|
| 714 | extern rtx gen_realpart PROTO((enum machine_mode, rtx)); |
---|
| 715 | extern rtx gen_imagpart PROTO((enum machine_mode, rtx)); |
---|
| 716 | extern rtx operand_subword PROTO((rtx, int, int, enum machine_mode)); |
---|
| 717 | extern rtx operand_subword_force PROTO((rtx, int, enum machine_mode)); |
---|
| 718 | extern int subreg_lowpart_p PROTO((rtx)); |
---|
| 719 | extern rtx make_safe_from PROTO((rtx, rtx)); |
---|
| 720 | extern rtx convert_memory_address PROTO((enum machine_mode, rtx)); |
---|
| 721 | extern rtx memory_address PROTO((enum machine_mode, rtx)); |
---|
| 722 | extern rtx get_insns PROTO((void)); |
---|
| 723 | extern rtx get_last_insn PROTO((void)); |
---|
| 724 | extern rtx get_last_insn_anywhere PROTO((void)); |
---|
| 725 | extern void start_sequence PROTO((void)); |
---|
| 726 | extern void push_to_sequence PROTO((rtx)); |
---|
| 727 | extern void end_sequence PROTO((void)); |
---|
| 728 | extern rtx gen_sequence PROTO((void)); |
---|
| 729 | extern rtx immed_double_const PROTO((HOST_WIDE_INT, HOST_WIDE_INT, enum machine_mode)); |
---|
| 730 | extern rtx force_const_mem PROTO((enum machine_mode, rtx)); |
---|
| 731 | extern rtx force_reg PROTO((enum machine_mode, rtx)); |
---|
| 732 | extern rtx get_pool_constant PROTO((rtx)); |
---|
| 733 | extern enum machine_mode get_pool_mode PROTO((rtx)); |
---|
| 734 | extern int get_pool_offset PROTO((rtx)); |
---|
| 735 | extern rtx simplify_subtraction PROTO((rtx)); |
---|
[11287] | 736 | extern rtx assign_stack_local PROTO((enum machine_mode, |
---|
| 737 | HOST_WIDE_INT, int)); |
---|
| 738 | extern rtx assign_stack_temp PROTO((enum machine_mode, |
---|
| 739 | HOST_WIDE_INT, int)); |
---|
| 740 | extern rtx assign_temp PROTO((union tree_node *, |
---|
| 741 | int, int, int)); |
---|
[8833] | 742 | extern rtx protect_from_queue PROTO((rtx, int)); |
---|
| 743 | extern void emit_queue PROTO((void)); |
---|
| 744 | extern rtx emit_move_insn PROTO((rtx, rtx)); |
---|
| 745 | extern rtx emit_insn_before PROTO((rtx, rtx)); |
---|
| 746 | extern rtx emit_jump_insn_before PROTO((rtx, rtx)); |
---|
| 747 | extern rtx emit_call_insn_before PROTO((rtx, rtx)); |
---|
| 748 | extern rtx emit_barrier_before PROTO((rtx)); |
---|
| 749 | extern rtx emit_note_before PROTO((int, rtx)); |
---|
| 750 | extern rtx emit_insn_after PROTO((rtx, rtx)); |
---|
| 751 | extern rtx emit_jump_insn_after PROTO((rtx, rtx)); |
---|
| 752 | extern rtx emit_barrier_after PROTO((rtx)); |
---|
| 753 | extern rtx emit_label_after PROTO((rtx, rtx)); |
---|
| 754 | extern rtx emit_note_after PROTO((int, rtx)); |
---|
| 755 | extern rtx emit_line_note_after PROTO((char *, int, rtx)); |
---|
| 756 | extern rtx emit_insn PROTO((rtx)); |
---|
| 757 | extern rtx emit_insns PROTO((rtx)); |
---|
| 758 | extern rtx emit_insns_before PROTO((rtx, rtx)); |
---|
| 759 | extern rtx emit_insns_after PROTO((rtx, rtx)); |
---|
| 760 | extern rtx emit_jump_insn PROTO((rtx)); |
---|
| 761 | extern rtx emit_call_insn PROTO((rtx)); |
---|
| 762 | extern rtx emit_label PROTO((rtx)); |
---|
| 763 | extern rtx emit_barrier PROTO((void)); |
---|
| 764 | extern rtx emit_line_note PROTO((char *, int)); |
---|
| 765 | extern rtx emit_note PROTO((char *, int)); |
---|
| 766 | extern rtx emit_line_note_force PROTO((char *, int)); |
---|
| 767 | extern rtx make_insn_raw PROTO((rtx)); |
---|
| 768 | extern rtx previous_insn PROTO((rtx)); |
---|
| 769 | extern rtx next_insn PROTO((rtx)); |
---|
| 770 | extern rtx prev_nonnote_insn PROTO((rtx)); |
---|
| 771 | extern rtx next_nonnote_insn PROTO((rtx)); |
---|
| 772 | extern rtx prev_real_insn PROTO((rtx)); |
---|
| 773 | extern rtx next_real_insn PROTO((rtx)); |
---|
| 774 | extern rtx prev_active_insn PROTO((rtx)); |
---|
| 775 | extern rtx next_active_insn PROTO((rtx)); |
---|
| 776 | extern rtx prev_label PROTO((rtx)); |
---|
| 777 | extern rtx next_label PROTO((rtx)); |
---|
| 778 | extern rtx next_cc0_user PROTO((rtx)); |
---|
| 779 | extern rtx prev_cc0_setter PROTO((rtx)); |
---|
| 780 | extern rtx next_nondeleted_insn PROTO((rtx)); |
---|
| 781 | extern enum rtx_code reverse_condition PROTO((enum rtx_code)); |
---|
| 782 | extern enum rtx_code swap_condition PROTO((enum rtx_code)); |
---|
| 783 | extern enum rtx_code unsigned_condition PROTO((enum rtx_code)); |
---|
| 784 | extern enum rtx_code signed_condition PROTO((enum rtx_code)); |
---|
| 785 | extern rtx find_equiv_reg PROTO((rtx, rtx, enum reg_class, int, short *, int, enum machine_mode)); |
---|
| 786 | extern rtx squeeze_notes PROTO((rtx, rtx)); |
---|
| 787 | extern rtx delete_insn PROTO((rtx)); |
---|
| 788 | extern void delete_jump PROTO((rtx)); |
---|
| 789 | extern rtx get_label_before PROTO((rtx)); |
---|
| 790 | extern rtx get_label_after PROTO((rtx)); |
---|
| 791 | extern rtx follow_jumps PROTO((rtx)); |
---|
| 792 | extern rtx adj_offsettable_operand PROTO((rtx, int)); |
---|
| 793 | extern rtx try_split PROTO((rtx, rtx, int)); |
---|
| 794 | extern rtx split_insns PROTO((rtx, rtx)); |
---|
| 795 | extern rtx simplify_unary_operation PROTO((enum rtx_code, enum machine_mode, rtx, enum machine_mode)); |
---|
| 796 | extern rtx simplify_binary_operation PROTO((enum rtx_code, enum machine_mode, rtx, rtx)); |
---|
| 797 | extern rtx simplify_ternary_operation PROTO((enum rtx_code, enum machine_mode, enum machine_mode, rtx, rtx, rtx)); |
---|
| 798 | extern rtx simplify_relational_operation PROTO((enum rtx_code, enum machine_mode, rtx, rtx)); |
---|
| 799 | extern rtx nonlocal_label_rtx_list PROTO((void)); |
---|
| 800 | extern rtx gen_move_insn PROTO((rtx, rtx)); |
---|
| 801 | extern rtx gen_jump PROTO((rtx)); |
---|
| 802 | extern rtx gen_beq PROTO((rtx)); |
---|
| 803 | extern rtx gen_bge PROTO((rtx)); |
---|
| 804 | extern rtx gen_ble PROTO((rtx)); |
---|
[11287] | 805 | extern rtx gen_mem_addressof PROTO((rtx, union tree_node *)); |
---|
[8833] | 806 | extern rtx eliminate_constant_term PROTO((rtx, rtx *)); |
---|
| 807 | extern rtx expand_complex_abs PROTO((enum machine_mode, rtx, rtx, int)); |
---|
| 808 | extern enum machine_mode choose_hard_reg_mode PROTO((int, int)); |
---|
| 809 | |
---|
[11287] | 810 | /* Functions in rtlanal.c */ |
---|
| 811 | |
---|
| 812 | extern int rtx_unstable_p PROTO((rtx)); |
---|
| 813 | extern int rtx_varies_p PROTO((rtx)); |
---|
| 814 | extern int rtx_addr_varies_p PROTO((rtx)); |
---|
| 815 | extern HOST_WIDE_INT get_integer_term PROTO((rtx)); |
---|
| 816 | extern rtx get_related_value PROTO((rtx)); |
---|
| 817 | extern int reg_mentioned_p PROTO((rtx, rtx)); |
---|
| 818 | extern int reg_referenced_p PROTO((rtx, rtx)); |
---|
| 819 | extern int reg_used_between_p PROTO((rtx, rtx, rtx)); |
---|
| 820 | extern int reg_referenced_between_p PROTO((rtx, rtx, rtx)); |
---|
| 821 | extern int reg_set_between_p PROTO((rtx, rtx, rtx)); |
---|
| 822 | extern int modified_between_p PROTO((rtx, rtx, rtx)); |
---|
| 823 | extern int no_labels_between_p PROTO((rtx, rtx)); |
---|
| 824 | extern int modified_in_p PROTO((rtx, rtx)); |
---|
| 825 | extern int reg_set_p PROTO((rtx, rtx)); |
---|
| 826 | extern rtx single_set PROTO((rtx)); |
---|
| 827 | extern rtx find_last_value PROTO((rtx, rtx *, rtx)); |
---|
| 828 | extern int refers_to_regno_p PROTO((int, int, rtx, rtx *)); |
---|
| 829 | extern int reg_overlap_mentioned_p PROTO((rtx, rtx)); |
---|
| 830 | extern void note_stores PROTO((rtx, void (*)())); |
---|
| 831 | extern rtx reg_set_last PROTO((rtx, rtx)); |
---|
| 832 | extern int rtx_equal_p PROTO((rtx, rtx)); |
---|
| 833 | extern int dead_or_set_p PROTO((rtx, rtx)); |
---|
| 834 | extern int dead_or_set_regno_p PROTO((rtx, int)); |
---|
| 835 | extern rtx find_reg_note PROTO((rtx, enum reg_note, rtx)); |
---|
| 836 | extern rtx find_regno_note PROTO((rtx, enum reg_note, int)); |
---|
| 837 | extern int find_reg_fusage PROTO((rtx, enum rtx_code, rtx)); |
---|
| 838 | extern int find_regno_fusage PROTO((rtx, enum rtx_code, int)); |
---|
| 839 | extern void remove_note PROTO((rtx, rtx)); |
---|
| 840 | extern int side_effects_p PROTO((rtx)); |
---|
| 841 | extern int volatile_refs_p PROTO((rtx)); |
---|
| 842 | extern int volatile_insn_p PROTO((rtx)); |
---|
| 843 | extern int may_trap_p PROTO((rtx)); |
---|
| 844 | extern int inequality_comparison_p PROTO((rtx)); |
---|
| 845 | extern rtx replace_rtx PROTO((rtx, rtx, rtx)); |
---|
| 846 | extern rtx replace_regs PROTO((rtx, rtx *, int, int)); |
---|
| 847 | |
---|
[8833] | 848 | /* Maximum number of parallel sets and clobbers in any insn in this fn. |
---|
| 849 | Always at least 3, since the combiner could put that many togetherm |
---|
| 850 | and we want this to remain correct for all the remaining passes. */ |
---|
| 851 | |
---|
| 852 | extern int max_parallel; |
---|
| 853 | |
---|
| 854 | extern int asm_noperands PROTO((rtx)); |
---|
| 855 | extern char *decode_asm_operands PROTO((rtx, rtx *, rtx **, char **, enum machine_mode *)); |
---|
| 856 | |
---|
| 857 | extern enum reg_class reg_preferred_class PROTO((int)); |
---|
| 858 | extern enum reg_class reg_alternate_class PROTO((int)); |
---|
| 859 | |
---|
| 860 | extern rtx get_first_nonparm_insn PROTO((void)); |
---|
| 861 | |
---|
| 862 | /* Standard pieces of rtx, to be substituted directly into things. */ |
---|
| 863 | extern rtx pc_rtx; |
---|
| 864 | extern rtx cc0_rtx; |
---|
| 865 | extern rtx const0_rtx; |
---|
| 866 | extern rtx const1_rtx; |
---|
| 867 | extern rtx const2_rtx; |
---|
| 868 | extern rtx constm1_rtx; |
---|
| 869 | extern rtx const_true_rtx; |
---|
| 870 | |
---|
| 871 | extern rtx const_tiny_rtx[3][(int) MAX_MACHINE_MODE]; |
---|
| 872 | |
---|
| 873 | /* Returns a constant 0 rtx in mode MODE. Integer modes are treated the |
---|
| 874 | same as VOIDmode. */ |
---|
| 875 | |
---|
| 876 | #define CONST0_RTX(MODE) (const_tiny_rtx[0][(int) (MODE)]) |
---|
| 877 | |
---|
| 878 | /* Likewise, for the constants 1 and 2. */ |
---|
| 879 | |
---|
| 880 | #define CONST1_RTX(MODE) (const_tiny_rtx[1][(int) (MODE)]) |
---|
| 881 | #define CONST2_RTX(MODE) (const_tiny_rtx[2][(int) (MODE)]) |
---|
| 882 | |
---|
| 883 | /* All references to certain hard regs, except those created |
---|
| 884 | by allocating pseudo regs into them (when that's possible), |
---|
| 885 | go through these unique rtx objects. */ |
---|
| 886 | extern rtx stack_pointer_rtx; |
---|
| 887 | extern rtx frame_pointer_rtx; |
---|
| 888 | extern rtx hard_frame_pointer_rtx; |
---|
| 889 | extern rtx arg_pointer_rtx; |
---|
| 890 | extern rtx pic_offset_table_rtx; |
---|
| 891 | extern rtx struct_value_rtx; |
---|
| 892 | extern rtx struct_value_incoming_rtx; |
---|
| 893 | extern rtx static_chain_rtx; |
---|
| 894 | extern rtx static_chain_incoming_rtx; |
---|
| 895 | |
---|
| 896 | /* If HARD_FRAME_POINTER_REGNUM is defined, then a special dummy reg |
---|
| 897 | is used to represent the frame pointer. This is because the |
---|
| 898 | hard frame pointer and the automatic variables are separated by an amount |
---|
| 899 | that cannot be determined until after register allocation. We can assume |
---|
| 900 | that in this case ELIMINABLE_REGS will be defined, one action of which |
---|
| 901 | will be to eliminate FRAME_POINTER_REGNUM into HARD_FRAME_POINTER_REGNUM. */ |
---|
| 902 | #ifndef HARD_FRAME_POINTER_REGNUM |
---|
| 903 | #define HARD_FRAME_POINTER_REGNUM FRAME_POINTER_REGNUM |
---|
| 904 | #endif |
---|
| 905 | |
---|
| 906 | /* Virtual registers are used during RTL generation to refer to locations into |
---|
| 907 | the stack frame when the actual location isn't known until RTL generation |
---|
| 908 | is complete. The routine instantiate_virtual_regs replaces these with |
---|
| 909 | the proper value, which is normally {frame,arg,stack}_pointer_rtx plus |
---|
| 910 | a constant. */ |
---|
| 911 | |
---|
| 912 | #define FIRST_VIRTUAL_REGISTER (FIRST_PSEUDO_REGISTER) |
---|
| 913 | |
---|
| 914 | /* This points to the first word of the incoming arguments passed on the stack, |
---|
| 915 | either by the caller or by the callee when pretending it was passed by the |
---|
| 916 | caller. */ |
---|
| 917 | |
---|
| 918 | extern rtx virtual_incoming_args_rtx; |
---|
| 919 | |
---|
| 920 | #define VIRTUAL_INCOMING_ARGS_REGNUM (FIRST_VIRTUAL_REGISTER) |
---|
| 921 | |
---|
| 922 | /* If FRAME_GROWS_DOWNWARD, this points to immediately above the first |
---|
| 923 | variable on the stack. Otherwise, it points to the first variable on |
---|
| 924 | the stack. */ |
---|
| 925 | |
---|
| 926 | extern rtx virtual_stack_vars_rtx; |
---|
| 927 | |
---|
| 928 | #define VIRTUAL_STACK_VARS_REGNUM ((FIRST_VIRTUAL_REGISTER) + 1) |
---|
| 929 | |
---|
| 930 | /* This points to the location of dynamically-allocated memory on the stack |
---|
| 931 | immediately after the stack pointer has been adjusted by the amount |
---|
| 932 | desired. */ |
---|
| 933 | |
---|
| 934 | extern rtx virtual_stack_dynamic_rtx; |
---|
| 935 | |
---|
| 936 | #define VIRTUAL_STACK_DYNAMIC_REGNUM ((FIRST_VIRTUAL_REGISTER) + 2) |
---|
| 937 | |
---|
| 938 | /* This points to the location in the stack at which outgoing arguments should |
---|
| 939 | be written when the stack is pre-pushed (arguments pushed using push |
---|
| 940 | insns always use sp). */ |
---|
| 941 | |
---|
| 942 | extern rtx virtual_outgoing_args_rtx; |
---|
| 943 | |
---|
| 944 | #define VIRTUAL_OUTGOING_ARGS_REGNUM ((FIRST_VIRTUAL_REGISTER) + 3) |
---|
| 945 | |
---|
| 946 | #define LAST_VIRTUAL_REGISTER ((FIRST_VIRTUAL_REGISTER) + 3) |
---|
| 947 | |
---|
| 948 | extern rtx find_next_ref PROTO((rtx, rtx)); |
---|
| 949 | extern rtx *find_single_use PROTO((rtx, rtx, rtx *)); |
---|
| 950 | |
---|
| 951 | /* It is hard to write the prototype for expand_expr, since it needs |
---|
| 952 | expr.h to be included for the enumeration. */ |
---|
| 953 | |
---|
| 954 | extern rtx expand_expr (); |
---|
| 955 | |
---|
| 956 | extern rtx output_constant_def PROTO((union tree_node *)); |
---|
| 957 | extern rtx immed_real_const PROTO((union tree_node *)); |
---|
| 958 | extern union tree_node *make_tree PROTO((union tree_node *, rtx)); |
---|
| 959 | |
---|
| 960 | /* Abort routines */ |
---|
| 961 | extern void fatal_insn_not_found PROTO((rtx)); |
---|
| 962 | extern void fatal_insn PROTO((char *, rtx)); |
---|
| 963 | |
---|
| 964 | /* Define a default value for STORE_FLAG_VALUE. */ |
---|
| 965 | |
---|
| 966 | #ifndef STORE_FLAG_VALUE |
---|
| 967 | #define STORE_FLAG_VALUE 1 |
---|
| 968 | #endif |
---|
| 969 | |
---|
| 970 | /* Nonzero after end of reload pass. |
---|
| 971 | Set to 1 or 0 by toplev.c. */ |
---|
| 972 | |
---|
| 973 | extern int reload_completed; |
---|
| 974 | |
---|
| 975 | /* Set to 1 while reload_as_needed is operating. |
---|
| 976 | Required by some machines to handle any generated moves differently. */ |
---|
| 977 | |
---|
| 978 | extern int reload_in_progress; |
---|
| 979 | |
---|
| 980 | /* If this is nonzero, we do not bother generating VOLATILE |
---|
| 981 | around volatile memory references, and we are willing to |
---|
| 982 | output indirect addresses. If cse is to follow, we reject |
---|
| 983 | indirect addresses so a useful potential cse is generated; |
---|
| 984 | if it is used only once, instruction combination will produce |
---|
| 985 | the same indirect address eventually. */ |
---|
| 986 | extern int cse_not_expected; |
---|
| 987 | |
---|
| 988 | /* Indexed by pseudo register number, gives the rtx for that pseudo. |
---|
| 989 | Allocated in parallel with regno_pointer_flag. */ |
---|
| 990 | extern rtx *regno_reg_rtx; |
---|
| 991 | |
---|
[11287] | 992 | /* Vector indexed by regno; contains the alignment in bytes for a |
---|
| 993 | register that contains a pointer, if known. */ |
---|
| 994 | extern char *regno_pointer_align; |
---|
| 995 | #define REGNO_POINTER_ALIGN(REGNO) regno_pointer_align[REGNO] |
---|
| 996 | |
---|
[8833] | 997 | /* Translates rtx code to tree code, for those codes needed by |
---|
| 998 | REAL_ARITHMETIC. The function returns an int because the caller may not |
---|
| 999 | know what `enum tree_code' means. */ |
---|
| 1000 | |
---|
| 1001 | extern int rtx_to_tree_code PROTO((enum rtx_code)); |
---|
[11287] | 1002 | |
---|
| 1003 | extern int computed_jump_p PROTO((rtx)); |
---|
| 1004 | |
---|