Mercurial > hg > CbC > CbC_gcc
annotate gcc/rtl.h @ 22:0eb6cac880f0
add cbc example of quicksort.
| author | kent <kent@cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Tue, 13 Oct 2009 17:15:58 +0900 |
| parents | 58ad6c70ea60 |
| children | 77e2b8dfacca |
| rev | line source |
|---|---|
| 0 | 1 /* Register Transfer Language (RTL) definitions for GCC |
| 2 Copyright (C) 1987, 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, | |
| 3 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009 | |
| 4 Free Software Foundation, Inc. | |
| 5 | |
| 6 This file is part of GCC. | |
| 7 | |
| 8 GCC is free software; you can redistribute it and/or modify it under | |
| 9 the terms of the GNU General Public License as published by the Free | |
| 10 Software Foundation; either version 3, or (at your option) any later | |
| 11 version. | |
| 12 | |
| 13 GCC is distributed in the hope that it will be useful, but WITHOUT ANY | |
| 14 WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
| 15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
| 16 for more details. | |
| 17 | |
| 18 You should have received a copy of the GNU General Public License | |
| 19 along with GCC; see the file COPYING3. If not see | |
| 20 <http://www.gnu.org/licenses/>. */ | |
| 21 | |
| 22 #ifndef GCC_RTL_H | |
| 23 #define GCC_RTL_H | |
| 24 | |
| 25 #include "statistics.h" | |
| 26 #include "machmode.h" | |
| 27 #include "input.h" | |
| 28 #include "real.h" | |
| 29 #include "vec.h" | |
| 30 #include "fixed-value.h" | |
| 31 #include "alias.h" | |
| 32 | |
| 33 #undef FFS /* Some systems predefine this symbol; don't let it interfere. */ | |
| 34 #undef FLOAT /* Likewise. */ | |
| 35 #undef ABS /* Likewise. */ | |
| 36 #undef PC /* Likewise. */ | |
| 37 | |
| 38 /* Value used by some passes to "recognize" noop moves as valid | |
| 39 instructions. */ | |
| 40 #define NOOP_MOVE_INSN_CODE INT_MAX | |
| 41 | |
| 42 /* Register Transfer Language EXPRESSIONS CODES */ | |
| 43 | |
| 44 #define RTX_CODE enum rtx_code | |
| 45 enum rtx_code { | |
| 46 | |
| 47 #define DEF_RTL_EXPR(ENUM, NAME, FORMAT, CLASS) ENUM , | |
| 48 #include "rtl.def" /* rtl expressions are documented here */ | |
| 49 #undef DEF_RTL_EXPR | |
| 50 | |
| 51 LAST_AND_UNUSED_RTX_CODE}; /* A convenient way to get a value for | |
| 52 NUM_RTX_CODE. | |
| 53 Assumes default enum value assignment. */ | |
| 54 | |
| 55 #define NUM_RTX_CODE ((int) LAST_AND_UNUSED_RTX_CODE) | |
| 56 /* The cast here, saves many elsewhere. */ | |
| 57 | |
| 58 /* Register Transfer Language EXPRESSIONS CODE CLASSES */ | |
| 59 | |
| 60 enum rtx_class { | |
| 61 /* We check bit 0-1 of some rtx class codes in the predicates below. */ | |
| 62 | |
| 63 /* Bit 0 = comparison if 0, arithmetic is 1 | |
| 64 Bit 1 = 1 if commutative. */ | |
| 65 RTX_COMPARE, /* 0 */ | |
| 66 RTX_COMM_COMPARE, | |
| 67 RTX_BIN_ARITH, | |
| 68 RTX_COMM_ARITH, | |
| 69 | |
| 70 /* Must follow the four preceding values. */ | |
| 71 RTX_UNARY, /* 4 */ | |
| 72 | |
| 73 RTX_EXTRA, | |
| 74 RTX_MATCH, | |
| 75 RTX_INSN, | |
| 76 | |
| 77 /* Bit 0 = 1 if constant. */ | |
| 78 RTX_OBJ, /* 8 */ | |
| 79 RTX_CONST_OBJ, | |
| 80 | |
| 81 RTX_TERNARY, | |
| 82 RTX_BITFIELD_OPS, | |
| 83 RTX_AUTOINC | |
| 84 }; | |
| 85 | |
| 86 #define RTX_OBJ_MASK (~1) | |
| 87 #define RTX_OBJ_RESULT (RTX_OBJ & RTX_OBJ_MASK) | |
| 88 #define RTX_COMPARE_MASK (~1) | |
| 89 #define RTX_COMPARE_RESULT (RTX_COMPARE & RTX_COMPARE_MASK) | |
| 90 #define RTX_ARITHMETIC_MASK (~1) | |
| 91 #define RTX_ARITHMETIC_RESULT (RTX_COMM_ARITH & RTX_ARITHMETIC_MASK) | |
| 92 #define RTX_BINARY_MASK (~3) | |
| 93 #define RTX_BINARY_RESULT (RTX_COMPARE & RTX_BINARY_MASK) | |
| 94 #define RTX_COMMUTATIVE_MASK (~2) | |
| 95 #define RTX_COMMUTATIVE_RESULT (RTX_COMM_COMPARE & RTX_COMMUTATIVE_MASK) | |
| 96 #define RTX_NON_COMMUTATIVE_RESULT (RTX_COMPARE & RTX_COMMUTATIVE_MASK) | |
| 97 | |
| 98 extern const unsigned char rtx_length[NUM_RTX_CODE]; | |
| 99 #define GET_RTX_LENGTH(CODE) (rtx_length[(int) (CODE)]) | |
| 100 | |
| 101 extern const char * const rtx_name[NUM_RTX_CODE]; | |
| 102 #define GET_RTX_NAME(CODE) (rtx_name[(int) (CODE)]) | |
| 103 | |
| 104 extern const char * const rtx_format[NUM_RTX_CODE]; | |
| 105 #define GET_RTX_FORMAT(CODE) (rtx_format[(int) (CODE)]) | |
| 106 | |
| 107 extern const enum rtx_class rtx_class[NUM_RTX_CODE]; | |
| 108 #define GET_RTX_CLASS(CODE) (rtx_class[(int) (CODE)]) | |
| 109 | |
| 110 extern const unsigned char rtx_code_size[NUM_RTX_CODE]; | |
| 111 extern const unsigned char rtx_next[NUM_RTX_CODE]; | |
| 112 | |
| 113 /* The flags and bitfields of an ADDR_DIFF_VEC. BASE is the base label | |
| 114 relative to which the offsets are calculated, as explained in rtl.def. */ | |
| 115 typedef struct | |
| 116 { | |
| 117 /* Set at the start of shorten_branches - ONLY WHEN OPTIMIZING - : */ | |
| 118 unsigned min_align: 8; | |
| 119 /* Flags: */ | |
| 120 unsigned base_after_vec: 1; /* BASE is after the ADDR_DIFF_VEC. */ | |
| 121 unsigned min_after_vec: 1; /* minimum address target label is | |
| 122 after the ADDR_DIFF_VEC. */ | |
| 123 unsigned max_after_vec: 1; /* maximum address target label is | |
| 124 after the ADDR_DIFF_VEC. */ | |
| 125 unsigned min_after_base: 1; /* minimum address target label is | |
| 126 after BASE. */ | |
| 127 unsigned max_after_base: 1; /* maximum address target label is | |
| 128 after BASE. */ | |
| 129 /* Set by the actual branch shortening process - ONLY WHEN OPTIMIZING - : */ | |
| 130 unsigned offset_unsigned: 1; /* offsets have to be treated as unsigned. */ | |
| 131 unsigned : 2; | |
| 132 unsigned scale : 8; | |
| 133 } addr_diff_vec_flags; | |
| 134 | |
| 135 /* Structure used to describe the attributes of a MEM. These are hashed | |
| 136 so MEMs that the same attributes share a data structure. This means | |
| 137 they cannot be modified in place. If any element is nonzero, it means | |
| 138 the value of the corresponding attribute is unknown. */ | |
| 139 /* ALIGN and SIZE are the alignment and size of the MEM itself, | |
| 140 while EXPR can describe a larger underlying object, which might have a | |
| 141 stricter alignment; OFFSET is the offset of the MEM within that object. */ | |
| 142 typedef struct mem_attrs GTY(()) | |
| 143 { | |
| 144 tree expr; /* expr corresponding to MEM. */ | |
| 145 rtx offset; /* Offset from start of DECL, as CONST_INT. */ | |
| 146 rtx size; /* Size in bytes, as a CONST_INT. */ | |
| 147 alias_set_type alias; /* Memory alias set. */ | |
| 148 unsigned int align; /* Alignment of MEM in bits. */ | |
| 149 } mem_attrs; | |
| 150 | |
| 151 /* Structure used to describe the attributes of a REG in similar way as | |
| 152 mem_attrs does for MEM above. Note that the OFFSET field is calculated | |
| 153 in the same way as for mem_attrs, rather than in the same way as a | |
| 154 SUBREG_BYTE. For example, if a big-endian target stores a byte | |
| 155 object in the low part of a 4-byte register, the OFFSET field | |
| 156 will be -3 rather than 0. */ | |
| 157 | |
| 158 typedef struct reg_attrs GTY(()) | |
| 159 { | |
| 160 tree decl; /* decl corresponding to REG. */ | |
| 161 HOST_WIDE_INT offset; /* Offset from start of DECL. */ | |
| 162 } reg_attrs; | |
| 163 | |
| 164 /* Common union for an element of an rtx. */ | |
| 165 | |
| 166 union rtunion_def | |
| 167 { | |
| 168 int rt_int; | |
| 169 unsigned int rt_uint; | |
| 170 const char *rt_str; | |
| 171 rtx rt_rtx; | |
| 172 rtvec rt_rtvec; | |
| 173 enum machine_mode rt_type; | |
| 174 addr_diff_vec_flags rt_addr_diff_vec_flags; | |
| 175 struct cselib_val_struct *rt_cselib; | |
| 176 struct bitmap_head_def *rt_bit; | |
| 177 tree rt_tree; | |
| 178 struct basic_block_def *rt_bb; | |
| 179 mem_attrs *rt_mem; | |
| 180 reg_attrs *rt_reg; | |
| 181 struct constant_descriptor_rtx *rt_constant; | |
| 182 }; | |
| 183 typedef union rtunion_def rtunion; | |
| 184 | |
| 185 /* This structure remembers the position of a SYMBOL_REF within an | |
| 186 object_block structure. A SYMBOL_REF only provides this information | |
| 187 if SYMBOL_REF_HAS_BLOCK_INFO_P is true. */ | |
| 188 struct block_symbol GTY(()) { | |
| 189 /* The usual SYMBOL_REF fields. */ | |
| 190 rtunion GTY ((skip)) fld[3]; | |
| 191 | |
| 192 /* The block that contains this object. */ | |
| 193 struct object_block *block; | |
| 194 | |
| 195 /* The offset of this object from the start of its block. It is negative | |
| 196 if the symbol has not yet been assigned an offset. */ | |
| 197 HOST_WIDE_INT offset; | |
| 198 }; | |
| 199 | |
| 200 DEF_VEC_P(rtx); | |
| 201 DEF_VEC_ALLOC_P(rtx,heap); | |
| 202 DEF_VEC_ALLOC_P(rtx,gc); | |
| 203 | |
| 204 /* Describes a group of objects that are to be placed together in such | |
| 205 a way that their relative positions are known. */ | |
| 206 struct object_block GTY(()) | |
| 207 { | |
| 208 /* The section in which these objects should be placed. */ | |
| 209 section *sect; | |
| 210 | |
| 211 /* The alignment of the first object, measured in bits. */ | |
| 212 unsigned int alignment; | |
| 213 | |
| 214 /* The total size of the objects, measured in bytes. */ | |
| 215 HOST_WIDE_INT size; | |
| 216 | |
| 217 /* The SYMBOL_REFs for each object. The vector is sorted in | |
| 218 order of increasing offset and the following conditions will | |
| 219 hold for each element X: | |
| 220 | |
| 221 SYMBOL_REF_HAS_BLOCK_INFO_P (X) | |
| 222 !SYMBOL_REF_ANCHOR_P (X) | |
| 223 SYMBOL_REF_BLOCK (X) == [address of this structure] | |
| 224 SYMBOL_REF_BLOCK_OFFSET (X) >= 0. */ | |
| 225 VEC(rtx,gc) *objects; | |
| 226 | |
| 227 /* All the anchor SYMBOL_REFs used to address these objects, sorted | |
| 228 in order of increasing offset, and then increasing TLS model. | |
| 229 The following conditions will hold for each element X in this vector: | |
| 230 | |
| 231 SYMBOL_REF_HAS_BLOCK_INFO_P (X) | |
| 232 SYMBOL_REF_ANCHOR_P (X) | |
| 233 SYMBOL_REF_BLOCK (X) == [address of this structure] | |
| 234 SYMBOL_REF_BLOCK_OFFSET (X) >= 0. */ | |
| 235 VEC(rtx,gc) *anchors; | |
| 236 }; | |
| 237 | |
| 238 /* RTL expression ("rtx"). */ | |
| 239 | |
| 240 struct rtx_def GTY((chain_next ("RTX_NEXT (&%h)"), | |
| 241 chain_prev ("RTX_PREV (&%h)"))) | |
| 242 { | |
| 243 /* The kind of expression this is. */ | |
| 244 ENUM_BITFIELD(rtx_code) code: 16; | |
| 245 | |
| 246 /* The kind of value the expression has. */ | |
| 247 ENUM_BITFIELD(machine_mode) mode : 8; | |
| 248 | |
| 249 /* 1 in a MEM if we should keep the alias set for this mem unchanged | |
| 250 when we access a component. | |
| 251 1 in a CALL_INSN if it is a sibling call. | |
| 252 1 in a SET that is for a return. | |
| 253 In a CODE_LABEL, part of the two-bit alternate entry field. */ | |
| 254 unsigned int jump : 1; | |
| 255 /* In a CODE_LABEL, part of the two-bit alternate entry field. | |
| 256 1 in a MEM if it cannot trap. | |
| 257 1 in a CALL_INSN logically equivalent to | |
| 258 ECF_LOOPING_CONST_OR_PURE and DECL_LOOPING_CONST_OR_PURE_P. */ | |
| 259 unsigned int call : 1; | |
| 260 /* 1 in a REG, MEM, or CONCAT if the value is set at most once, anywhere. | |
| 261 1 in a SUBREG if it references an unsigned object whose mode has been | |
| 262 from a promoted to a wider mode. | |
| 263 1 in a SYMBOL_REF if it addresses something in the per-function | |
| 264 constants pool. | |
| 265 1 in a CALL_INSN logically equivalent to ECF_CONST and TREE_READONLY. | |
| 266 1 in a NOTE, or EXPR_LIST for a const call. | |
| 267 1 in a JUMP_INSN, CALL_INSN, or INSN of an annulling branch. */ | |
| 268 unsigned int unchanging : 1; | |
| 269 /* 1 in a MEM or ASM_OPERANDS expression if the memory reference is volatile. | |
| 270 1 in an INSN, CALL_INSN, JUMP_INSN, CODE_LABEL, BARRIER, or NOTE | |
| 271 if it has been deleted. | |
| 272 1 in a REG expression if corresponds to a variable declared by the user, | |
| 273 0 for an internally generated temporary. | |
| 274 1 in a SUBREG with a negative value. | |
| 275 1 in a LABEL_REF, REG_LABEL_TARGET or REG_LABEL_OPERAND note for a | |
| 276 non-local label. | |
| 277 In a SYMBOL_REF, this flag is used for machine-specific purposes. */ | |
| 278 unsigned int volatil : 1; | |
| 279 /* 1 in a MEM referring to a field of an aggregate. | |
| 280 0 if the MEM was a variable or the result of a * operator in C; | |
| 281 1 if it was the result of a . or -> operator (on a struct) in C. | |
| 282 1 in a REG if the register is used only in exit code a loop. | |
| 283 1 in a SUBREG expression if was generated from a variable with a | |
| 284 promoted mode. | |
| 285 1 in a CODE_LABEL if the label is used for nonlocal gotos | |
| 286 and must not be deleted even if its count is zero. | |
| 287 1 in an INSN, JUMP_INSN or CALL_INSN if this insn must be scheduled | |
| 288 together with the preceding insn. Valid only within sched. | |
| 289 1 in an INSN, JUMP_INSN, or CALL_INSN if insn is in a delay slot and | |
| 290 from the target of a branch. Valid from reorg until end of compilation; | |
| 291 cleared before used. */ | |
| 292 unsigned int in_struct : 1; | |
| 293 /* At the end of RTL generation, 1 if this rtx is used. This is used for | |
| 294 copying shared structure. See `unshare_all_rtl'. | |
| 295 In a REG, this is not needed for that purpose, and used instead | |
| 296 in `leaf_renumber_regs_insn'. | |
| 297 1 in a SYMBOL_REF, means that emit_library_call | |
| 298 has used it as the function. */ | |
| 299 unsigned int used : 1; | |
| 300 /* 1 in an INSN or a SET if this rtx is related to the call frame, | |
| 301 either changing how we compute the frame address or saving and | |
| 302 restoring registers in the prologue and epilogue. | |
| 303 1 in a REG or MEM if it is a pointer. | |
| 304 1 in a SYMBOL_REF if it addresses something in the per-function | |
| 305 constant string pool. */ | |
| 306 unsigned frame_related : 1; | |
| 307 /* 1 in a REG or PARALLEL that is the current function's return value. | |
| 308 1 in a MEM if it refers to a scalar. | |
| 309 1 in a SYMBOL_REF for a weak symbol. | |
| 310 1 in a CALL_INSN logically equivalent to ECF_PURE and DECL_PURE_P. */ | |
| 311 unsigned return_val : 1; | |
| 312 | |
| 313 /* The first element of the operands of this rtx. | |
| 314 The number of operands and their types are controlled | |
| 315 by the `code' field, according to rtl.def. */ | |
| 316 union u { | |
| 317 rtunion fld[1]; | |
| 318 HOST_WIDE_INT hwint[1]; | |
| 319 struct block_symbol block_sym; | |
| 320 struct real_value rv; | |
| 321 struct fixed_value fv; | |
| 322 } GTY ((special ("rtx_def"), desc ("GET_CODE (&%0)"))) u; | |
| 323 }; | |
| 324 | |
| 325 /* The size in bytes of an rtx header (code, mode and flags). */ | |
| 326 #define RTX_HDR_SIZE offsetof (struct rtx_def, u) | |
| 327 | |
| 328 /* The size in bytes of an rtx with code CODE. */ | |
| 329 #define RTX_CODE_SIZE(CODE) rtx_code_size[CODE] | |
| 330 | |
| 331 #define NULL_RTX (rtx) 0 | |
| 332 | |
| 333 /* The "next" and "previous" RTX, relative to this one. */ | |
| 334 | |
| 335 #define RTX_NEXT(X) (rtx_next[GET_CODE (X)] == 0 ? NULL \ | |
| 336 : *(rtx *)(((char *)X) + rtx_next[GET_CODE (X)])) | |
| 337 | |
| 338 /* FIXME: the "NEXT_INSN (PREV_INSN (X)) == X" condition shouldn't be needed. | |
| 339 */ | |
| 340 #define RTX_PREV(X) ((INSN_P (X) \ | |
| 341 || NOTE_P (X) \ | |
| 342 || BARRIER_P (X) \ | |
| 343 || LABEL_P (X)) \ | |
| 344 && PREV_INSN (X) != NULL \ | |
| 345 && NEXT_INSN (PREV_INSN (X)) == X \ | |
| 346 ? PREV_INSN (X) : NULL) | |
| 347 | |
| 348 /* Define macros to access the `code' field of the rtx. */ | |
| 349 | |
| 350 #define GET_CODE(RTX) ((enum rtx_code) (RTX)->code) | |
| 351 #define PUT_CODE(RTX, CODE) ((RTX)->code = (CODE)) | |
| 352 | |
| 353 #define GET_MODE(RTX) ((enum machine_mode) (RTX)->mode) | |
| 354 #define PUT_MODE(RTX, MODE) ((RTX)->mode = (MODE)) | |
| 355 | |
| 356 /* RTL vector. These appear inside RTX's when there is a need | |
| 357 for a variable number of things. The principle use is inside | |
| 358 PARALLEL expressions. */ | |
| 359 | |
| 360 struct rtvec_def GTY(()) { | |
| 361 int num_elem; /* number of elements */ | |
| 362 rtx GTY ((length ("%h.num_elem"))) elem[1]; | |
| 363 }; | |
| 364 | |
| 365 #define NULL_RTVEC (rtvec) 0 | |
| 366 | |
| 367 #define GET_NUM_ELEM(RTVEC) ((RTVEC)->num_elem) | |
| 368 #define PUT_NUM_ELEM(RTVEC, NUM) ((RTVEC)->num_elem = (NUM)) | |
| 369 | |
| 370 /* Predicate yielding nonzero iff X is an rtx for a register. */ | |
| 371 #define REG_P(X) (GET_CODE (X) == REG) | |
| 372 | |
| 373 /* Predicate yielding nonzero iff X is an rtx for a memory location. */ | |
| 374 #define MEM_P(X) (GET_CODE (X) == MEM) | |
| 375 | |
| 376 /* Predicate yielding nonzero iff X is an rtx for a constant integer. */ | |
| 377 #define CONST_INT_P(X) (GET_CODE (X) == CONST_INT) | |
| 378 | |
| 379 /* Predicate yielding nonzero iff X is a label insn. */ | |
| 380 #define LABEL_P(X) (GET_CODE (X) == CODE_LABEL) | |
| 381 | |
| 382 /* Predicate yielding nonzero iff X is a jump insn. */ | |
| 383 #define JUMP_P(X) (GET_CODE (X) == JUMP_INSN) | |
| 384 | |
| 385 /* Predicate yielding nonzero iff X is a call insn. */ | |
| 386 #define CALL_P(X) (GET_CODE (X) == CALL_INSN) | |
| 387 | |
| 388 /* Predicate yielding nonzero iff X is an insn that cannot jump. */ | |
| 389 #define NONJUMP_INSN_P(X) (GET_CODE (X) == INSN) | |
| 390 | |
| 391 /* Predicate yielding nonzero iff X is a real insn. */ | |
| 392 #define INSN_P(X) \ | |
| 393 (NONJUMP_INSN_P (X) || JUMP_P (X) || CALL_P (X)) | |
| 394 | |
| 395 /* Predicate yielding nonzero iff X is a note insn. */ | |
| 396 #define NOTE_P(X) (GET_CODE (X) == NOTE) | |
| 397 | |
| 398 /* Predicate yielding nonzero iff X is a barrier insn. */ | |
| 399 #define BARRIER_P(X) (GET_CODE (X) == BARRIER) | |
| 400 | |
| 401 /* Predicate yielding nonzero iff X is a data for a jump table. */ | |
| 402 #define JUMP_TABLE_DATA_P(INSN) \ | |
| 403 (JUMP_P (INSN) && (GET_CODE (PATTERN (INSN)) == ADDR_VEC || \ | |
| 404 GET_CODE (PATTERN (INSN)) == ADDR_DIFF_VEC)) | |
| 405 | |
| 406 /* 1 if X is a unary operator. */ | |
| 407 | |
| 408 #define UNARY_P(X) \ | |
| 409 (GET_RTX_CLASS (GET_CODE (X)) == RTX_UNARY) | |
| 410 | |
| 411 /* 1 if X is a binary operator. */ | |
| 412 | |
| 413 #define BINARY_P(X) \ | |
| 414 ((GET_RTX_CLASS (GET_CODE (X)) & RTX_BINARY_MASK) == RTX_BINARY_RESULT) | |
| 415 | |
| 416 /* 1 if X is an arithmetic operator. */ | |
| 417 | |
| 418 #define ARITHMETIC_P(X) \ | |
| 419 ((GET_RTX_CLASS (GET_CODE (X)) & RTX_ARITHMETIC_MASK) \ | |
| 420 == RTX_ARITHMETIC_RESULT) | |
| 421 | |
| 422 /* 1 if X is an arithmetic operator. */ | |
| 423 | |
| 424 #define COMMUTATIVE_ARITH_P(X) \ | |
| 425 (GET_RTX_CLASS (GET_CODE (X)) == RTX_COMM_ARITH) | |
| 426 | |
| 427 /* 1 if X is a commutative arithmetic operator or a comparison operator. | |
| 428 These two are sometimes selected together because it is possible to | |
| 429 swap the two operands. */ | |
| 430 | |
| 431 #define SWAPPABLE_OPERANDS_P(X) \ | |
| 432 ((1 << GET_RTX_CLASS (GET_CODE (X))) \ | |
| 433 & ((1 << RTX_COMM_ARITH) | (1 << RTX_COMM_COMPARE) \ | |
| 434 | (1 << RTX_COMPARE))) | |
| 435 | |
| 436 /* 1 if X is a non-commutative operator. */ | |
| 437 | |
| 438 #define NON_COMMUTATIVE_P(X) \ | |
| 439 ((GET_RTX_CLASS (GET_CODE (X)) & RTX_COMMUTATIVE_MASK) \ | |
| 440 == RTX_NON_COMMUTATIVE_RESULT) | |
| 441 | |
| 442 /* 1 if X is a commutative operator on integers. */ | |
| 443 | |
| 444 #define COMMUTATIVE_P(X) \ | |
| 445 ((GET_RTX_CLASS (GET_CODE (X)) & RTX_COMMUTATIVE_MASK) \ | |
| 446 == RTX_COMMUTATIVE_RESULT) | |
| 447 | |
| 448 /* 1 if X is a relational operator. */ | |
| 449 | |
| 450 #define COMPARISON_P(X) \ | |
| 451 ((GET_RTX_CLASS (GET_CODE (X)) & RTX_COMPARE_MASK) == RTX_COMPARE_RESULT) | |
| 452 | |
| 453 /* 1 if X is a constant value that is an integer. */ | |
| 454 | |
| 455 #define CONSTANT_P(X) \ | |
| 456 (GET_RTX_CLASS (GET_CODE (X)) == RTX_CONST_OBJ) | |
| 457 | |
| 458 /* 1 if X can be used to represent an object. */ | |
| 459 #define OBJECT_P(X) \ | |
| 460 ((GET_RTX_CLASS (GET_CODE (X)) & RTX_OBJ_MASK) == RTX_OBJ_RESULT) | |
| 461 | |
| 462 /* General accessor macros for accessing the fields of an rtx. */ | |
| 463 | |
| 464 #if defined ENABLE_RTL_CHECKING && (GCC_VERSION >= 2007) | |
| 465 /* The bit with a star outside the statement expr and an & inside is | |
| 466 so that N can be evaluated only once. */ | |
| 467 #define RTL_CHECK1(RTX, N, C1) __extension__ \ | |
| 468 (*({ __typeof (RTX) const _rtx = (RTX); const int _n = (N); \ | |
| 469 const enum rtx_code _code = GET_CODE (_rtx); \ | |
| 470 if (_n < 0 || _n >= GET_RTX_LENGTH (_code)) \ | |
| 471 rtl_check_failed_bounds (_rtx, _n, __FILE__, __LINE__, \ | |
| 472 __FUNCTION__); \ | |
| 473 if (GET_RTX_FORMAT(_code)[_n] != C1) \ | |
| 474 rtl_check_failed_type1 (_rtx, _n, C1, __FILE__, __LINE__, \ | |
| 475 __FUNCTION__); \ | |
| 476 &_rtx->u.fld[_n]; })) | |
| 477 | |
| 478 #define RTL_CHECK2(RTX, N, C1, C2) __extension__ \ | |
| 479 (*({ __typeof (RTX) const _rtx = (RTX); const int _n = (N); \ | |
| 480 const enum rtx_code _code = GET_CODE (_rtx); \ | |
| 481 if (_n < 0 || _n >= GET_RTX_LENGTH (_code)) \ | |
| 482 rtl_check_failed_bounds (_rtx, _n, __FILE__, __LINE__, \ | |
| 483 __FUNCTION__); \ | |
| 484 if (GET_RTX_FORMAT(_code)[_n] != C1 \ | |
| 485 && GET_RTX_FORMAT(_code)[_n] != C2) \ | |
| 486 rtl_check_failed_type2 (_rtx, _n, C1, C2, __FILE__, __LINE__, \ | |
| 487 __FUNCTION__); \ | |
| 488 &_rtx->u.fld[_n]; })) | |
| 489 | |
| 490 #define RTL_CHECKC1(RTX, N, C) __extension__ \ | |
| 491 (*({ __typeof (RTX) const _rtx = (RTX); const int _n = (N); \ | |
| 492 if (GET_CODE (_rtx) != (C)) \ | |
| 493 rtl_check_failed_code1 (_rtx, (C), __FILE__, __LINE__, \ | |
| 494 __FUNCTION__); \ | |
| 495 &_rtx->u.fld[_n]; })) | |
| 496 | |
| 497 #define RTL_CHECKC2(RTX, N, C1, C2) __extension__ \ | |
| 498 (*({ __typeof (RTX) const _rtx = (RTX); const int _n = (N); \ | |
| 499 const enum rtx_code _code = GET_CODE (_rtx); \ | |
| 500 if (_code != (C1) && _code != (C2)) \ | |
| 501 rtl_check_failed_code2 (_rtx, (C1), (C2), __FILE__, __LINE__, \ | |
| 502 __FUNCTION__); \ | |
| 503 &_rtx->u.fld[_n]; })) | |
| 504 | |
| 505 #define RTVEC_ELT(RTVEC, I) __extension__ \ | |
| 506 (*({ __typeof (RTVEC) const _rtvec = (RTVEC); const int _i = (I); \ | |
| 507 if (_i < 0 || _i >= GET_NUM_ELEM (_rtvec)) \ | |
| 508 rtvec_check_failed_bounds (_rtvec, _i, __FILE__, __LINE__, \ | |
| 509 __FUNCTION__); \ | |
| 510 &_rtvec->elem[_i]; })) | |
| 511 | |
| 512 #define XWINT(RTX, N) __extension__ \ | |
| 513 (*({ __typeof (RTX) const _rtx = (RTX); const int _n = (N); \ | |
| 514 const enum rtx_code _code = GET_CODE (_rtx); \ | |
| 515 if (_n < 0 || _n >= GET_RTX_LENGTH (_code)) \ | |
| 516 rtl_check_failed_bounds (_rtx, _n, __FILE__, __LINE__, \ | |
| 517 __FUNCTION__); \ | |
| 518 if (GET_RTX_FORMAT(_code)[_n] != 'w') \ | |
| 519 rtl_check_failed_type1 (_rtx, _n, 'w', __FILE__, __LINE__, \ | |
| 520 __FUNCTION__); \ | |
| 521 &_rtx->u.hwint[_n]; })) | |
| 522 | |
| 523 #define XCWINT(RTX, N, C) __extension__ \ | |
| 524 (*({ __typeof (RTX) const _rtx = (RTX); \ | |
| 525 if (GET_CODE (_rtx) != (C)) \ | |
| 526 rtl_check_failed_code1 (_rtx, (C), __FILE__, __LINE__, \ | |
| 527 __FUNCTION__); \ | |
| 528 &_rtx->u.hwint[N]; })) | |
| 529 | |
| 530 #define XCMWINT(RTX, N, C, M) __extension__ \ | |
| 531 (*({ __typeof (RTX) const _rtx = (RTX); \ | |
| 532 if (GET_CODE (_rtx) != (C) || GET_MODE (_rtx) != (M)) \ | |
| 533 rtl_check_failed_code_mode (_rtx, (C), (M), false, __FILE__, \ | |
| 534 __LINE__, __FUNCTION__); \ | |
| 535 &_rtx->u.hwint[N]; })) | |
| 536 | |
| 537 #define XCNMPRV(RTX, C, M) __extension__ \ | |
| 538 ({ __typeof (RTX) const _rtx = (RTX); \ | |
| 539 if (GET_CODE (_rtx) != (C) || GET_MODE (_rtx) == (M)) \ | |
| 540 rtl_check_failed_code_mode (_rtx, (C), (M), true, __FILE__, \ | |
| 541 __LINE__, __FUNCTION__); \ | |
| 542 &_rtx->u.rv; }) | |
| 543 | |
| 544 #define XCNMPFV(RTX, C, M) __extension__ \ | |
| 545 ({ __typeof (RTX) const _rtx = (RTX); \ | |
| 546 if (GET_CODE (_rtx) != (C) || GET_MODE (_rtx) == (M)) \ | |
| 547 rtl_check_failed_code_mode (_rtx, (C), (M), true, __FILE__, \ | |
| 548 __LINE__, __FUNCTION__); \ | |
| 549 &_rtx->u.fv; }) | |
| 550 | |
| 551 #define BLOCK_SYMBOL_CHECK(RTX) __extension__ \ | |
| 552 ({ __typeof (RTX) const _symbol = (RTX); \ | |
| 553 const unsigned int flags = RTL_CHECKC1 (_symbol, 1, SYMBOL_REF).rt_int; \ | |
| 554 if ((flags & SYMBOL_FLAG_HAS_BLOCK_INFO) == 0) \ | |
| 555 rtl_check_failed_block_symbol (__FILE__, __LINE__, \ | |
| 556 __FUNCTION__); \ | |
| 557 &_symbol->u.block_sym; }) | |
| 558 | |
| 559 extern void rtl_check_failed_bounds (const_rtx, int, const char *, int, | |
| 560 const char *) | |
| 561 ATTRIBUTE_NORETURN; | |
| 562 extern void rtl_check_failed_type1 (const_rtx, int, int, const char *, int, | |
| 563 const char *) | |
| 564 ATTRIBUTE_NORETURN; | |
| 565 extern void rtl_check_failed_type2 (const_rtx, int, int, int, const char *, | |
| 566 int, const char *) | |
| 567 ATTRIBUTE_NORETURN; | |
| 568 extern void rtl_check_failed_code1 (const_rtx, enum rtx_code, const char *, | |
| 569 int, const char *) | |
| 570 ATTRIBUTE_NORETURN; | |
| 571 extern void rtl_check_failed_code2 (const_rtx, enum rtx_code, enum rtx_code, | |
| 572 const char *, int, const char *) | |
| 573 ATTRIBUTE_NORETURN; | |
| 574 extern void rtl_check_failed_code_mode (const_rtx, enum rtx_code, enum machine_mode, | |
| 575 bool, const char *, int, const char *) | |
| 576 ATTRIBUTE_NORETURN; | |
| 577 extern void rtl_check_failed_block_symbol (const char *, int, const char *) | |
| 578 ATTRIBUTE_NORETURN; | |
| 579 extern void rtvec_check_failed_bounds (const_rtvec, int, const char *, int, | |
| 580 const char *) | |
| 581 ATTRIBUTE_NORETURN; | |
| 582 | |
| 583 #else /* not ENABLE_RTL_CHECKING */ | |
| 584 | |
| 585 #define RTL_CHECK1(RTX, N, C1) ((RTX)->u.fld[N]) | |
| 586 #define RTL_CHECK2(RTX, N, C1, C2) ((RTX)->u.fld[N]) | |
| 587 #define RTL_CHECKC1(RTX, N, C) ((RTX)->u.fld[N]) | |
| 588 #define RTL_CHECKC2(RTX, N, C1, C2) ((RTX)->u.fld[N]) | |
| 589 #define RTVEC_ELT(RTVEC, I) ((RTVEC)->elem[I]) | |
| 590 #define XWINT(RTX, N) ((RTX)->u.hwint[N]) | |
| 591 #define XCWINT(RTX, N, C) ((RTX)->u.hwint[N]) | |
| 592 #define XCMWINT(RTX, N, C, M) ((RTX)->u.hwint[N]) | |
| 593 #define XCNMWINT(RTX, N, C, M) ((RTX)->u.hwint[N]) | |
| 594 #define XCNMPRV(RTX, C, M) (&(RTX)->u.rv) | |
| 595 #define XCNMPFV(RTX, C, M) (&(RTX)->u.fv) | |
| 596 #define BLOCK_SYMBOL_CHECK(RTX) (&(RTX)->u.block_sym) | |
| 597 | |
| 598 #endif | |
| 599 | |
| 600 /* General accessor macros for accessing the flags of an rtx. */ | |
| 601 | |
| 602 /* Access an individual rtx flag, with no checking of any kind. */ | |
| 603 #define RTX_FLAG(RTX, FLAG) ((RTX)->FLAG) | |
| 604 | |
| 605 #if defined ENABLE_RTL_FLAG_CHECKING && (GCC_VERSION >= 2007) | |
| 606 #define RTL_FLAG_CHECK1(NAME, RTX, C1) __extension__ \ | |
| 607 ({ __typeof (RTX) const _rtx = (RTX); \ | |
| 608 if (GET_CODE(_rtx) != C1) \ | |
| 609 rtl_check_failed_flag (NAME, _rtx, __FILE__, __LINE__, \ | |
| 610 __FUNCTION__); \ | |
| 611 _rtx; }) | |
| 612 | |
| 613 #define RTL_FLAG_CHECK2(NAME, RTX, C1, C2) __extension__ \ | |
| 614 ({ __typeof (RTX) const _rtx = (RTX); \ | |
| 615 if (GET_CODE(_rtx) != C1 && GET_CODE(_rtx) != C2) \ | |
| 616 rtl_check_failed_flag (NAME,_rtx, __FILE__, __LINE__, \ | |
| 617 __FUNCTION__); \ | |
| 618 _rtx; }) | |
| 619 | |
| 620 #define RTL_FLAG_CHECK3(NAME, RTX, C1, C2, C3) __extension__ \ | |
| 621 ({ __typeof (RTX) const _rtx = (RTX); \ | |
| 622 if (GET_CODE(_rtx) != C1 && GET_CODE(_rtx) != C2 \ | |
| 623 && GET_CODE(_rtx) != C3) \ | |
| 624 rtl_check_failed_flag (NAME, _rtx, __FILE__, __LINE__, \ | |
| 625 __FUNCTION__); \ | |
| 626 _rtx; }) | |
| 627 | |
| 628 #define RTL_FLAG_CHECK4(NAME, RTX, C1, C2, C3, C4) __extension__ \ | |
| 629 ({ __typeof (RTX) const _rtx = (RTX); \ | |
| 630 if (GET_CODE(_rtx) != C1 && GET_CODE(_rtx) != C2 \ | |
| 631 && GET_CODE(_rtx) != C3 && GET_CODE(_rtx) != C4) \ | |
| 632 rtl_check_failed_flag (NAME, _rtx, __FILE__, __LINE__, \ | |
| 633 __FUNCTION__); \ | |
| 634 _rtx; }) | |
| 635 | |
| 636 #define RTL_FLAG_CHECK5(NAME, RTX, C1, C2, C3, C4, C5) __extension__ \ | |
| 637 ({ __typeof (RTX) const _rtx = (RTX); \ | |
| 638 if (GET_CODE(_rtx) != C1 && GET_CODE(_rtx) != C2 \ | |
| 639 && GET_CODE(_rtx) != C3 && GET_CODE(_rtx) != C4 \ | |
| 640 && GET_CODE(_rtx) != C5) \ | |
| 641 rtl_check_failed_flag (NAME, _rtx, __FILE__, __LINE__, \ | |
| 642 __FUNCTION__); \ | |
| 643 _rtx; }) | |
| 644 | |
| 645 #define RTL_FLAG_CHECK6(NAME, RTX, C1, C2, C3, C4, C5, C6) \ | |
| 646 __extension__ \ | |
| 647 ({ __typeof (RTX) const _rtx = (RTX); \ | |
| 648 if (GET_CODE(_rtx) != C1 && GET_CODE(_rtx) != C2 \ | |
| 649 && GET_CODE(_rtx) != C3 && GET_CODE(_rtx) != C4 \ | |
| 650 && GET_CODE(_rtx) != C5 && GET_CODE(_rtx) != C6) \ | |
| 651 rtl_check_failed_flag (NAME,_rtx, __FILE__, __LINE__, \ | |
| 652 __FUNCTION__); \ | |
| 653 _rtx; }) | |
| 654 | |
| 655 #define RTL_FLAG_CHECK7(NAME, RTX, C1, C2, C3, C4, C5, C6, C7) \ | |
| 656 __extension__ \ | |
| 657 ({ __typeof (RTX) const _rtx = (RTX); \ | |
| 658 if (GET_CODE(_rtx) != C1 && GET_CODE(_rtx) != C2 \ | |
| 659 && GET_CODE(_rtx) != C3 && GET_CODE(_rtx) != C4 \ | |
| 660 && GET_CODE(_rtx) != C5 && GET_CODE(_rtx) != C6 \ | |
| 661 && GET_CODE(_rtx) != C7) \ | |
| 662 rtl_check_failed_flag (NAME, _rtx, __FILE__, __LINE__, \ | |
| 663 __FUNCTION__); \ | |
| 664 _rtx; }) | |
| 665 | |
| 666 #define RTL_FLAG_CHECK8(NAME, RTX, C1, C2, C3, C4, C5, C6, C7, C8) \ | |
| 667 __extension__ \ | |
| 668 ({ __typeof (RTX) const _rtx = (RTX); \ | |
| 669 if (GET_CODE(_rtx) != C1 && GET_CODE(_rtx) != C2 \ | |
| 670 && GET_CODE(_rtx) != C3 && GET_CODE(_rtx) != C4 \ | |
| 671 && GET_CODE(_rtx) != C5 && GET_CODE(_rtx) != C6 \ | |
| 672 && GET_CODE(_rtx) != C7 && GET_CODE(_rtx) != C8) \ | |
| 673 rtl_check_failed_flag (NAME, _rtx, __FILE__, __LINE__, \ | |
| 674 __FUNCTION__); \ | |
| 675 _rtx; }) | |
| 676 | |
| 677 extern void rtl_check_failed_flag (const char *, const_rtx, const char *, | |
| 678 int, const char *) | |
| 679 ATTRIBUTE_NORETURN | |
| 680 ; | |
| 681 | |
| 682 #else /* not ENABLE_RTL_FLAG_CHECKING */ | |
| 683 | |
| 684 #define RTL_FLAG_CHECK1(NAME, RTX, C1) (RTX) | |
| 685 #define RTL_FLAG_CHECK2(NAME, RTX, C1, C2) (RTX) | |
| 686 #define RTL_FLAG_CHECK3(NAME, RTX, C1, C2, C3) (RTX) | |
| 687 #define RTL_FLAG_CHECK4(NAME, RTX, C1, C2, C3, C4) (RTX) | |
| 688 #define RTL_FLAG_CHECK5(NAME, RTX, C1, C2, C3, C4, C5) (RTX) | |
| 689 #define RTL_FLAG_CHECK6(NAME, RTX, C1, C2, C3, C4, C5, C6) (RTX) | |
| 690 #define RTL_FLAG_CHECK7(NAME, RTX, C1, C2, C3, C4, C5, C6, C7) (RTX) | |
| 691 #define RTL_FLAG_CHECK8(NAME, RTX, C1, C2, C3, C4, C5, C6, C7, C8) (RTX) | |
| 692 #endif | |
| 693 | |
| 694 #define XINT(RTX, N) (RTL_CHECK2 (RTX, N, 'i', 'n').rt_int) | |
| 695 #define XSTR(RTX, N) (RTL_CHECK2 (RTX, N, 's', 'S').rt_str) | |
| 696 #define XEXP(RTX, N) (RTL_CHECK2 (RTX, N, 'e', 'u').rt_rtx) | |
| 697 #define XVEC(RTX, N) (RTL_CHECK2 (RTX, N, 'E', 'V').rt_rtvec) | |
| 698 #define XMODE(RTX, N) (RTL_CHECK1 (RTX, N, 'M').rt_type) | |
| 699 #define XBITMAP(RTX, N) (RTL_CHECK1 (RTX, N, 'b').rt_bit) | |
| 700 #define XTREE(RTX, N) (RTL_CHECK1 (RTX, N, 't').rt_tree) | |
| 701 #define XBBDEF(RTX, N) (RTL_CHECK1 (RTX, N, 'B').rt_bb) | |
| 702 #define XTMPL(RTX, N) (RTL_CHECK1 (RTX, N, 'T').rt_str) | |
| 703 | |
| 704 #define XVECEXP(RTX, N, M) RTVEC_ELT (XVEC (RTX, N), M) | |
| 705 #define XVECLEN(RTX, N) GET_NUM_ELEM (XVEC (RTX, N)) | |
| 706 | |
| 707 /* These are like XINT, etc. except that they expect a '0' field instead | |
| 708 of the normal type code. */ | |
| 709 | |
| 710 #define X0INT(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_int) | |
| 711 #define X0UINT(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_uint) | |
| 712 #define X0STR(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_str) | |
| 713 #define X0EXP(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_rtx) | |
| 714 #define X0VEC(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_rtvec) | |
| 715 #define X0MODE(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_type) | |
| 716 #define X0BITMAP(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_bit) | |
| 717 #define X0TREE(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_tree) | |
| 718 #define X0BBDEF(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_bb) | |
| 719 #define X0ADVFLAGS(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_addr_diff_vec_flags) | |
| 720 #define X0CSELIB(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_cselib) | |
| 721 #define X0MEMATTR(RTX, N) (RTL_CHECKC1 (RTX, N, MEM).rt_mem) | |
| 722 #define X0REGATTR(RTX, N) (RTL_CHECKC1 (RTX, N, REG).rt_reg) | |
| 723 #define X0CONSTANT(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_constant) | |
| 724 | |
| 725 /* Access a '0' field with any type. */ | |
| 726 #define X0ANY(RTX, N) RTL_CHECK1 (RTX, N, '0') | |
| 727 | |
| 728 #define XCINT(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rt_int) | |
| 729 #define XCUINT(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rt_uint) | |
| 730 #define XCSTR(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rt_str) | |
| 731 #define XCEXP(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rt_rtx) | |
| 732 #define XCVEC(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rt_rtvec) | |
| 733 #define XCMODE(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rt_type) | |
| 734 #define XCBITMAP(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rt_bit) | |
| 735 #define XCTREE(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rt_tree) | |
| 736 #define XCBBDEF(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rt_bb) | |
| 737 #define XCCSELIB(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rt_cselib) | |
| 738 | |
| 739 #define XCVECEXP(RTX, N, M, C) RTVEC_ELT (XCVEC (RTX, N, C), M) | |
| 740 #define XCVECLEN(RTX, N, C) GET_NUM_ELEM (XCVEC (RTX, N, C)) | |
| 741 | |
| 742 #define XC2EXP(RTX, N, C1, C2) (RTL_CHECKC2 (RTX, N, C1, C2).rt_rtx) | |
| 743 | |
| 744 /* ACCESS MACROS for particular fields of insns. */ | |
| 745 | |
| 746 /* Holds a unique number for each insn. | |
| 747 These are not necessarily sequentially increasing. */ | |
| 748 #define INSN_UID(INSN) XINT (INSN, 0) | |
| 749 | |
| 750 /* Chain insns together in sequence. */ | |
| 751 #define PREV_INSN(INSN) XEXP (INSN, 1) | |
| 752 #define NEXT_INSN(INSN) XEXP (INSN, 2) | |
| 753 | |
| 754 #define BLOCK_FOR_INSN(INSN) XBBDEF (INSN, 3) | |
| 755 #define INSN_LOCATOR(INSN) XINT (INSN, 4) | |
| 756 /* The body of an insn. */ | |
| 757 #define PATTERN(INSN) XEXP (INSN, 5) | |
| 758 | |
| 759 /* Code number of instruction, from when it was recognized. | |
| 760 -1 means this instruction has not been recognized yet. */ | |
| 761 #define INSN_CODE(INSN) XINT (INSN, 6) | |
| 762 | |
| 763 #define RTX_FRAME_RELATED_P(RTX) \ | |
| 764 (RTL_FLAG_CHECK5("RTX_FRAME_RELATED_P", (RTX), INSN, CALL_INSN, \ | |
| 765 JUMP_INSN, BARRIER, SET)->frame_related) | |
| 766 | |
| 767 /* 1 if RTX is an insn that has been deleted. */ | |
| 768 #define INSN_DELETED_P(RTX) \ | |
| 769 (RTL_FLAG_CHECK6("INSN_DELETED_P", (RTX), INSN, CALL_INSN, JUMP_INSN, \ | |
| 770 CODE_LABEL, BARRIER, NOTE)->volatil) | |
| 771 | |
| 772 /* 1 if RTX is a call to a const function. Built from ECF_CONST and | |
| 773 TREE_READONLY. */ | |
| 774 #define RTL_CONST_CALL_P(RTX) \ | |
| 775 (RTL_FLAG_CHECK1("RTL_CONST_CALL_P", (RTX), CALL_INSN)->unchanging) | |
| 776 | |
| 777 /* 1 if RTX is a call to a pure function. Built from ECF_PURE and | |
| 778 DECL_PURE_P. */ | |
| 779 #define RTL_PURE_CALL_P(RTX) \ | |
| 780 (RTL_FLAG_CHECK1("RTL_PURE_CALL_P", (RTX), CALL_INSN)->return_val) | |
| 781 | |
| 782 /* 1 if RTX is a call to a const or pure function. */ | |
| 783 #define RTL_CONST_OR_PURE_CALL_P(RTX) \ | |
| 784 (RTL_CONST_CALL_P(RTX) || RTL_PURE_CALL_P(RTX)) | |
| 785 | |
| 786 /* 1 if RTX is a call to a looping const or pure function. Built from | |
| 787 ECF_LOOPING_CONST_OR_PURE and DECL_LOOPING_CONST_OR_PURE_P. */ | |
| 788 #define RTL_LOOPING_CONST_OR_PURE_CALL_P(RTX) \ | |
| 789 (RTL_FLAG_CHECK1("CONST_OR_PURE_CALL_P", (RTX), CALL_INSN)->call) | |
| 790 | |
| 791 /* 1 if RTX is a call_insn for a sibling call. */ | |
| 792 #define SIBLING_CALL_P(RTX) \ | |
| 793 (RTL_FLAG_CHECK1("SIBLING_CALL_P", (RTX), CALL_INSN)->jump) | |
| 794 | |
| 795 /* 1 if RTX is a jump_insn, call_insn, or insn that is an annulling branch. */ | |
| 796 #define INSN_ANNULLED_BRANCH_P(RTX) \ | |
| 797 (RTL_FLAG_CHECK3("INSN_ANNULLED_BRANCH_P", (RTX), JUMP_INSN, CALL_INSN, INSN)->unchanging) | |
| 798 | |
| 799 /* 1 if RTX is an insn in a delay slot and is from the target of the branch. | |
| 800 If the branch insn has INSN_ANNULLED_BRANCH_P set, this insn should only be | |
| 801 executed if the branch is taken. For annulled branches with this bit | |
| 802 clear, the insn should be executed only if the branch is not taken. */ | |
| 803 #define INSN_FROM_TARGET_P(RTX) \ | |
| 804 (RTL_FLAG_CHECK3("INSN_FROM_TARGET_P", (RTX), INSN, JUMP_INSN, CALL_INSN)->in_struct) | |
| 805 | |
| 806 /* In an ADDR_DIFF_VEC, the flags for RTX for use by branch shortening. | |
| 807 See the comments for ADDR_DIFF_VEC in rtl.def. */ | |
| 808 #define ADDR_DIFF_VEC_FLAGS(RTX) X0ADVFLAGS(RTX, 4) | |
| 809 | |
| 810 /* In a VALUE, the value cselib has assigned to RTX. | |
| 811 This is a "struct cselib_val_struct", see cselib.h. */ | |
| 812 #define CSELIB_VAL_PTR(RTX) X0CSELIB(RTX, 0) | |
| 813 | |
| 814 /* Holds a list of notes on what this insn does to various REGs. | |
| 815 It is a chain of EXPR_LIST rtx's, where the second operand is the | |
| 816 chain pointer and the first operand is the REG being described. | |
| 817 The mode field of the EXPR_LIST contains not a real machine mode | |
| 818 but a value from enum reg_note. */ | |
| 819 #define REG_NOTES(INSN) XEXP(INSN, 7) | |
| 820 | |
| 821 enum reg_note | |
| 822 { | |
| 823 #define DEF_REG_NOTE(NAME) NAME, | |
| 824 #include "reg-notes.def" | |
| 825 #undef DEF_REG_NOTE | |
| 826 REG_NOTE_MAX | |
| 827 }; | |
| 828 | |
| 829 /* Define macros to extract and insert the reg-note kind in an EXPR_LIST. */ | |
| 830 #define REG_NOTE_KIND(LINK) ((enum reg_note) GET_MODE (LINK)) | |
| 831 #define PUT_REG_NOTE_KIND(LINK, KIND) \ | |
| 832 PUT_MODE (LINK, (enum machine_mode) (KIND)) | |
| 833 | |
| 834 /* Names for REG_NOTE's in EXPR_LIST insn's. */ | |
| 835 | |
| 836 extern const char * const reg_note_name[]; | |
| 837 #define GET_REG_NOTE_NAME(MODE) (reg_note_name[(int) (MODE)]) | |
| 838 | |
| 839 /* This field is only present on CALL_INSNs. It holds a chain of EXPR_LIST of | |
| 840 USE and CLOBBER expressions. | |
| 841 USE expressions list the registers filled with arguments that | |
| 842 are passed to the function. | |
| 843 CLOBBER expressions document the registers explicitly clobbered | |
| 844 by this CALL_INSN. | |
| 845 Pseudo registers can not be mentioned in this list. */ | |
| 846 #define CALL_INSN_FUNCTION_USAGE(INSN) XEXP(INSN, 8) | |
| 847 | |
| 848 /* The label-number of a code-label. The assembler label | |
| 849 is made from `L' and the label-number printed in decimal. | |
| 850 Label numbers are unique in a compilation. */ | |
| 851 #define CODE_LABEL_NUMBER(INSN) XINT (INSN, 6) | |
| 852 | |
| 853 /* In a NOTE that is a line number, this is a string for the file name that the | |
| 854 line is in. We use the same field to record block numbers temporarily in | |
| 855 NOTE_INSN_BLOCK_BEG and NOTE_INSN_BLOCK_END notes. (We avoid lots of casts | |
| 856 between ints and pointers if we use a different macro for the block number.) | |
| 857 */ | |
| 858 | |
| 859 /* Opaque data. */ | |
| 860 #define NOTE_DATA(INSN) RTL_CHECKC1 (INSN, 4, NOTE) | |
| 861 #define NOTE_DELETED_LABEL_NAME(INSN) XCSTR (INSN, 4, NOTE) | |
| 862 #define SET_INSN_DELETED(INSN) set_insn_deleted (INSN); | |
| 863 #define NOTE_BLOCK(INSN) XCTREE (INSN, 4, NOTE) | |
| 864 #define NOTE_EH_HANDLER(INSN) XCINT (INSN, 4, NOTE) | |
| 865 #define NOTE_BASIC_BLOCK(INSN) XCBBDEF (INSN, 4, NOTE) | |
| 866 #define NOTE_VAR_LOCATION(INSN) XCEXP (INSN, 4, NOTE) | |
| 867 | |
| 868 /* In a NOTE that is a line number, this is the line number. | |
| 869 Other kinds of NOTEs are identified by negative numbers here. */ | |
| 870 #define NOTE_KIND(INSN) XCINT (INSN, 5, NOTE) | |
| 871 | |
| 872 /* Nonzero if INSN is a note marking the beginning of a basic block. */ | |
| 873 #define NOTE_INSN_BASIC_BLOCK_P(INSN) \ | |
| 874 (GET_CODE (INSN) == NOTE \ | |
| 875 && NOTE_KIND (INSN) == NOTE_INSN_BASIC_BLOCK) | |
| 876 | |
| 877 /* Variable declaration and the location of a variable. */ | |
| 878 #define NOTE_VAR_LOCATION_DECL(INSN) (XCTREE (XCEXP (INSN, 4, NOTE), \ | |
| 879 0, VAR_LOCATION)) | |
| 880 #define NOTE_VAR_LOCATION_LOC(INSN) (XCEXP (XCEXP (INSN, 4, NOTE), \ | |
| 881 1, VAR_LOCATION)) | |
| 882 | |
| 883 /* Initialization status of the variable in the location. Status | |
| 884 can be unknown, uninitialized or initialized. See enumeration | |
| 885 type below. */ | |
| 886 #define NOTE_VAR_LOCATION_STATUS(INSN) (XCINT (XCEXP (INSN, 4, NOTE), \ | |
| 887 2, VAR_LOCATION)) | |
| 888 | |
| 889 /* Possible initialization status of a variable. When requested | |
| 890 by the user, this information is tracked and recorded in the DWARF | |
| 891 debug information, along with the variable's location. */ | |
| 892 enum var_init_status | |
| 893 { | |
| 894 VAR_INIT_STATUS_UNKNOWN, | |
| 895 VAR_INIT_STATUS_UNINITIALIZED, | |
| 896 VAR_INIT_STATUS_INITIALIZED | |
| 897 }; | |
| 898 | |
| 899 /* Codes that appear in the NOTE_KIND field for kinds of notes | |
| 900 that are not line numbers. These codes are all negative. | |
| 901 | |
| 902 Notice that we do not try to use zero here for any of | |
| 903 the special note codes because sometimes the source line | |
| 904 actually can be zero! This happens (for example) when we | |
| 905 are generating code for the per-translation-unit constructor | |
| 906 and destructor routines for some C++ translation unit. */ | |
| 907 | |
| 908 enum insn_note | |
| 909 { | |
| 910 #define DEF_INSN_NOTE(NAME) NAME, | |
| 911 #include "insn-notes.def" | |
| 912 #undef DEF_INSN_NOTE | |
| 913 | |
| 914 NOTE_INSN_MAX | |
| 915 }; | |
| 916 | |
| 917 /* Names for NOTE insn's other than line numbers. */ | |
| 918 | |
| 919 extern const char * const note_insn_name[NOTE_INSN_MAX]; | |
| 920 #define GET_NOTE_INSN_NAME(NOTE_CODE) \ | |
| 921 (note_insn_name[(NOTE_CODE)]) | |
| 922 | |
| 923 /* The name of a label, in case it corresponds to an explicit label | |
| 924 in the input source code. */ | |
| 925 #define LABEL_NAME(RTX) XCSTR (RTX, 7, CODE_LABEL) | |
| 926 | |
| 927 /* In jump.c, each label contains a count of the number | |
| 928 of LABEL_REFs that point at it, so unused labels can be deleted. */ | |
| 929 #define LABEL_NUSES(RTX) XCINT (RTX, 4, CODE_LABEL) | |
| 930 | |
| 931 /* Labels carry a two-bit field composed of the ->jump and ->call | |
| 932 bits. This field indicates whether the label is an alternate | |
| 933 entry point, and if so, what kind. */ | |
| 934 enum label_kind | |
| 935 { | |
| 936 LABEL_NORMAL = 0, /* ordinary label */ | |
| 937 LABEL_STATIC_ENTRY, /* alternate entry point, not exported */ | |
| 938 LABEL_GLOBAL_ENTRY, /* alternate entry point, exported */ | |
| 939 LABEL_WEAK_ENTRY /* alternate entry point, exported as weak symbol */ | |
| 940 }; | |
| 941 | |
| 942 #if defined ENABLE_RTL_FLAG_CHECKING && (GCC_VERSION > 2007) | |
| 943 | |
| 944 /* Retrieve the kind of LABEL. */ | |
| 945 #define LABEL_KIND(LABEL) __extension__ \ | |
| 946 ({ __typeof (LABEL) const _label = (LABEL); \ | |
| 947 if (GET_CODE (_label) != CODE_LABEL) \ | |
| 948 rtl_check_failed_flag ("LABEL_KIND", _label, __FILE__, __LINE__, \ | |
| 949 __FUNCTION__); \ | |
| 950 (enum label_kind) ((_label->jump << 1) | _label->call); }) | |
| 951 | |
| 952 /* Set the kind of LABEL. */ | |
| 953 #define SET_LABEL_KIND(LABEL, KIND) do { \ | |
| 954 __typeof (LABEL) const _label = (LABEL); \ | |
| 955 const unsigned int _kind = (KIND); \ | |
| 956 if (GET_CODE (_label) != CODE_LABEL) \ | |
| 957 rtl_check_failed_flag ("SET_LABEL_KIND", _label, __FILE__, __LINE__, \ | |
| 958 __FUNCTION__); \ | |
| 959 _label->jump = ((_kind >> 1) & 1); \ | |
| 960 _label->call = (_kind & 1); \ | |
| 961 } while (0) | |
| 962 | |
| 963 #else | |
| 964 | |
| 965 /* Retrieve the kind of LABEL. */ | |
| 966 #define LABEL_KIND(LABEL) \ | |
| 967 ((enum label_kind) (((LABEL)->jump << 1) | (LABEL)->call)) | |
| 968 | |
| 969 /* Set the kind of LABEL. */ | |
| 970 #define SET_LABEL_KIND(LABEL, KIND) do { \ | |
| 971 rtx const _label = (LABEL); \ | |
| 972 const unsigned int _kind = (KIND); \ | |
| 973 _label->jump = ((_kind >> 1) & 1); \ | |
| 974 _label->call = (_kind & 1); \ | |
| 975 } while (0) | |
| 976 | |
| 977 #endif /* rtl flag checking */ | |
| 978 | |
| 979 #define LABEL_ALT_ENTRY_P(LABEL) (LABEL_KIND (LABEL) != LABEL_NORMAL) | |
| 980 | |
| 981 /* In jump.c, each JUMP_INSN can point to a label that it can jump to, | |
| 982 so that if the JUMP_INSN is deleted, the label's LABEL_NUSES can | |
| 983 be decremented and possibly the label can be deleted. */ | |
| 984 #define JUMP_LABEL(INSN) XCEXP (INSN, 8, JUMP_INSN) | |
| 985 | |
| 986 /* Once basic blocks are found, each CODE_LABEL starts a chain that | |
| 987 goes through all the LABEL_REFs that jump to that label. The chain | |
| 988 eventually winds up at the CODE_LABEL: it is circular. */ | |
| 989 #define LABEL_REFS(LABEL) XCEXP (LABEL, 5, CODE_LABEL) | |
| 990 | |
| 991 /* For a REG rtx, REGNO extracts the register number. REGNO can only | |
| 992 be used on RHS. Use SET_REGNO to change the value. */ | |
| 993 #define REGNO(RTX) (rhs_regno(RTX)) | |
| 994 #define SET_REGNO(RTX,N) (df_ref_change_reg_with_loc (REGNO(RTX), N, RTX), XCUINT (RTX, 0, REG) = N) | |
| 995 | |
| 996 /* ORIGINAL_REGNO holds the number the register originally had; for a | |
| 997 pseudo register turned into a hard reg this will hold the old pseudo | |
| 998 register number. */ | |
| 999 #define ORIGINAL_REGNO(RTX) X0UINT (RTX, 1) | |
| 1000 | |
| 1001 /* Force the REGNO macro to only be used on the lhs. */ | |
| 1002 static inline unsigned int | |
| 1003 rhs_regno (const_rtx x) | |
| 1004 { | |
| 1005 return XCUINT (x, 0, REG); | |
| 1006 } | |
| 1007 | |
| 1008 | |
| 1009 | |
| 1010 /* 1 if RTX is a reg or parallel that is the current function's return | |
| 1011 value. */ | |
| 1012 #define REG_FUNCTION_VALUE_P(RTX) \ | |
| 1013 (RTL_FLAG_CHECK2("REG_FUNCTION_VALUE_P", (RTX), REG, PARALLEL)->return_val) | |
| 1014 | |
| 1015 /* 1 if RTX is a reg that corresponds to a variable declared by the user. */ | |
| 1016 #define REG_USERVAR_P(RTX) \ | |
| 1017 (RTL_FLAG_CHECK1("REG_USERVAR_P", (RTX), REG)->volatil) | |
| 1018 | |
| 1019 /* 1 if RTX is a reg that holds a pointer value. */ | |
| 1020 #define REG_POINTER(RTX) \ | |
| 1021 (RTL_FLAG_CHECK1("REG_POINTER", (RTX), REG)->frame_related) | |
| 1022 | |
| 1023 /* 1 if RTX is a mem that holds a pointer value. */ | |
| 1024 #define MEM_POINTER(RTX) \ | |
| 1025 (RTL_FLAG_CHECK1("MEM_POINTER", (RTX), MEM)->frame_related) | |
| 1026 | |
| 1027 /* 1 if the given register REG corresponds to a hard register. */ | |
| 1028 #define HARD_REGISTER_P(REG) (HARD_REGISTER_NUM_P (REGNO (REG))) | |
| 1029 | |
| 1030 /* 1 if the given register number REG_NO corresponds to a hard register. */ | |
| 1031 #define HARD_REGISTER_NUM_P(REG_NO) ((REG_NO) < FIRST_PSEUDO_REGISTER) | |
| 1032 | |
| 1033 /* For a CONST_INT rtx, INTVAL extracts the integer. */ | |
| 1034 #define INTVAL(RTX) XCWINT(RTX, 0, CONST_INT) | |
| 1035 #define UINTVAL(RTX) ((unsigned HOST_WIDE_INT) INTVAL (RTX)) | |
| 1036 | |
| 1037 /* For a CONST_DOUBLE: | |
| 1038 For a VOIDmode, there are two integers CONST_DOUBLE_LOW is the | |
| 1039 low-order word and ..._HIGH the high-order. | |
| 1040 For a float, there is a REAL_VALUE_TYPE structure, and | |
| 1041 CONST_DOUBLE_REAL_VALUE(r) is a pointer to it. */ | |
| 1042 #define CONST_DOUBLE_LOW(r) XCMWINT (r, 0, CONST_DOUBLE, VOIDmode) | |
| 1043 #define CONST_DOUBLE_HIGH(r) XCMWINT (r, 1, CONST_DOUBLE, VOIDmode) | |
| 1044 #define CONST_DOUBLE_REAL_VALUE(r) \ | |
| 1045 ((const struct real_value *) XCNMPRV (r, CONST_DOUBLE, VOIDmode)) | |
| 1046 | |
| 1047 #define CONST_FIXED_VALUE(r) \ | |
| 1048 ((const struct fixed_value *) XCNMPFV (r, CONST_FIXED, VOIDmode)) | |
| 1049 #define CONST_FIXED_VALUE_HIGH(r) \ | |
| 1050 ((HOST_WIDE_INT) (CONST_FIXED_VALUE(r)->data.high)) | |
| 1051 #define CONST_FIXED_VALUE_LOW(r) \ | |
| 1052 ((HOST_WIDE_INT) (CONST_FIXED_VALUE(r)->data.low)) | |
| 1053 | |
| 1054 /* For a CONST_VECTOR, return element #n. */ | |
| 1055 #define CONST_VECTOR_ELT(RTX, N) XCVECEXP (RTX, 0, N, CONST_VECTOR) | |
| 1056 | |
| 1057 /* For a CONST_VECTOR, return the number of elements in a vector. */ | |
| 1058 #define CONST_VECTOR_NUNITS(RTX) XCVECLEN (RTX, 0, CONST_VECTOR) | |
| 1059 | |
| 1060 /* For a SUBREG rtx, SUBREG_REG extracts the value we want a subreg of. | |
| 1061 SUBREG_BYTE extracts the byte-number. */ | |
| 1062 | |
| 1063 #define SUBREG_REG(RTX) XCEXP (RTX, 0, SUBREG) | |
| 1064 #define SUBREG_BYTE(RTX) XCUINT (RTX, 1, SUBREG) | |
| 1065 | |
| 1066 /* in rtlanal.c */ | |
| 1067 /* Return the right cost to give to an operation | |
| 1068 to make the cost of the corresponding register-to-register instruction | |
| 1069 N times that of a fast register-to-register instruction. */ | |
| 1070 #define COSTS_N_INSNS(N) ((N) * 4) | |
| 1071 | |
| 1072 /* Maximum cost of an rtl expression. This value has the special meaning | |
| 1073 not to use an rtx with this cost under any circumstances. */ | |
| 1074 #define MAX_COST INT_MAX | |
| 1075 | |
| 1076 extern void init_rtlanal (void); | |
| 1077 extern int rtx_cost (rtx, enum rtx_code, bool); | |
| 1078 extern int address_cost (rtx, enum machine_mode, bool); | |
| 1079 extern unsigned int subreg_lsb (const_rtx); | |
| 1080 extern unsigned int subreg_lsb_1 (enum machine_mode, enum machine_mode, | |
| 1081 unsigned int); | |
| 1082 extern unsigned int subreg_regno_offset (unsigned int, enum machine_mode, | |
| 1083 unsigned int, enum machine_mode); | |
| 1084 extern bool subreg_offset_representable_p (unsigned int, enum machine_mode, | |
| 1085 unsigned int, enum machine_mode); | |
| 1086 extern unsigned int subreg_regno (const_rtx); | |
| 1087 extern int simplify_subreg_regno (unsigned int, enum machine_mode, | |
| 1088 unsigned int, enum machine_mode); | |
| 1089 extern unsigned int subreg_nregs (const_rtx); | |
| 1090 extern unsigned int subreg_nregs_with_regno (unsigned int, const_rtx); | |
| 1091 extern unsigned HOST_WIDE_INT nonzero_bits (const_rtx, enum machine_mode); | |
| 1092 extern unsigned int num_sign_bit_copies (const_rtx, enum machine_mode); | |
| 1093 extern bool constant_pool_constant_p (rtx); | |
| 1094 extern bool truncated_to_mode (enum machine_mode, const_rtx); | |
| 1095 | |
| 1096 | |
| 1097 /* 1 if RTX is a subreg containing a reg that is already known to be | |
| 1098 sign- or zero-extended from the mode of the subreg to the mode of | |
| 1099 the reg. SUBREG_PROMOTED_UNSIGNED_P gives the signedness of the | |
| 1100 extension. | |
| 1101 | |
| 1102 When used as a LHS, is means that this extension must be done | |
| 1103 when assigning to SUBREG_REG. */ | |
| 1104 | |
| 1105 #define SUBREG_PROMOTED_VAR_P(RTX) \ | |
| 1106 (RTL_FLAG_CHECK1("SUBREG_PROMOTED", (RTX), SUBREG)->in_struct) | |
| 1107 | |
| 1108 #define SUBREG_PROMOTED_UNSIGNED_SET(RTX, VAL) \ | |
| 1109 do { \ | |
| 1110 rtx const _rtx = RTL_FLAG_CHECK1("SUBREG_PROMOTED_UNSIGNED_SET", (RTX), SUBREG); \ | |
| 1111 if ((VAL) < 0) \ | |
| 1112 _rtx->volatil = 1; \ | |
| 1113 else { \ | |
| 1114 _rtx->volatil = 0; \ | |
| 1115 _rtx->unchanging = (VAL); \ | |
| 1116 } \ | |
| 1117 } while (0) | |
| 1118 #define SUBREG_PROMOTED_UNSIGNED_P(RTX) \ | |
| 1119 ((RTL_FLAG_CHECK1("SUBREG_PROMOTED_UNSIGNED_P", (RTX), SUBREG)->volatil) \ | |
| 1120 ? -1 : (RTX)->unchanging) | |
| 1121 | |
| 1122 /* Access various components of an ASM_OPERANDS rtx. */ | |
| 1123 | |
| 1124 #define ASM_OPERANDS_TEMPLATE(RTX) XCSTR (RTX, 0, ASM_OPERANDS) | |
| 1125 #define ASM_OPERANDS_OUTPUT_CONSTRAINT(RTX) XCSTR (RTX, 1, ASM_OPERANDS) | |
| 1126 #define ASM_OPERANDS_OUTPUT_IDX(RTX) XCINT (RTX, 2, ASM_OPERANDS) | |
| 1127 #define ASM_OPERANDS_INPUT_VEC(RTX) XCVEC (RTX, 3, ASM_OPERANDS) | |
| 1128 #define ASM_OPERANDS_INPUT_CONSTRAINT_VEC(RTX) XCVEC (RTX, 4, ASM_OPERANDS) | |
| 1129 #define ASM_OPERANDS_INPUT(RTX, N) XCVECEXP (RTX, 3, N, ASM_OPERANDS) | |
| 1130 #define ASM_OPERANDS_INPUT_LENGTH(RTX) XCVECLEN (RTX, 3, ASM_OPERANDS) | |
| 1131 #define ASM_OPERANDS_INPUT_CONSTRAINT_EXP(RTX, N) \ | |
| 1132 XCVECEXP (RTX, 4, N, ASM_OPERANDS) | |
| 1133 #define ASM_OPERANDS_INPUT_CONSTRAINT(RTX, N) \ | |
| 1134 XSTR (XCVECEXP (RTX, 4, N, ASM_OPERANDS), 0) | |
| 1135 #define ASM_OPERANDS_INPUT_MODE(RTX, N) \ | |
| 1136 GET_MODE (XCVECEXP (RTX, 4, N, ASM_OPERANDS)) | |
| 1137 #define ASM_OPERANDS_SOURCE_LOCATION(RTX) XCUINT (RTX, 5, ASM_OPERANDS) | |
| 1138 #define ASM_INPUT_SOURCE_LOCATION(RTX) XCUINT (RTX, 1, ASM_INPUT) | |
| 1139 | |
| 1140 /* 1 if RTX is a mem that is statically allocated in read-only memory. */ | |
| 1141 #define MEM_READONLY_P(RTX) \ | |
| 1142 (RTL_FLAG_CHECK1("MEM_READONLY_P", (RTX), MEM)->unchanging) | |
| 1143 | |
| 1144 /* 1 if RTX is a mem and we should keep the alias set for this mem | |
| 1145 unchanged when we access a component. Set to 1, or example, when we | |
| 1146 are already in a non-addressable component of an aggregate. */ | |
| 1147 #define MEM_KEEP_ALIAS_SET_P(RTX) \ | |
| 1148 (RTL_FLAG_CHECK1("MEM_KEEP_ALIAS_SET_P", (RTX), MEM)->jump) | |
| 1149 | |
| 1150 /* 1 if RTX is a mem or asm_operand for a volatile reference. */ | |
| 1151 #define MEM_VOLATILE_P(RTX) \ | |
| 1152 (RTL_FLAG_CHECK3("MEM_VOLATILE_P", (RTX), MEM, ASM_OPERANDS, \ | |
| 1153 ASM_INPUT)->volatil) | |
| 1154 | |
| 1155 /* 1 if RTX is a mem that refers to an aggregate, either to the | |
| 1156 aggregate itself or to a field of the aggregate. If zero, RTX may | |
| 1157 or may not be such a reference. */ | |
| 1158 #define MEM_IN_STRUCT_P(RTX) \ | |
| 1159 (RTL_FLAG_CHECK1("MEM_IN_STRUCT_P", (RTX), MEM)->in_struct) | |
| 1160 | |
| 1161 /* 1 if RTX is a MEM that refers to a scalar. If zero, RTX may or may | |
| 1162 not refer to a scalar. */ | |
| 1163 #define MEM_SCALAR_P(RTX) \ | |
| 1164 (RTL_FLAG_CHECK1("MEM_SCALAR_P", (RTX), MEM)->return_val) | |
| 1165 | |
| 1166 /* 1 if RTX is a mem that cannot trap. */ | |
| 1167 #define MEM_NOTRAP_P(RTX) \ | |
| 1168 (RTL_FLAG_CHECK1("MEM_NOTRAP_P", (RTX), MEM)->call) | |
| 1169 | |
| 1170 /* If VAL is nonzero, set MEM_IN_STRUCT_P and clear MEM_SCALAR_P in | |
| 1171 RTX. Otherwise, vice versa. Use this macro only when you are | |
| 1172 *sure* that you know that the MEM is in a structure, or is a | |
| 1173 scalar. VAL is evaluated only once. */ | |
| 1174 #define MEM_SET_IN_STRUCT_P(RTX, VAL) \ | |
| 1175 do { \ | |
| 1176 if (VAL) \ | |
| 1177 { \ | |
| 1178 MEM_IN_STRUCT_P (RTX) = 1; \ | |
| 1179 MEM_SCALAR_P (RTX) = 0; \ | |
| 1180 } \ | |
| 1181 else \ | |
| 1182 { \ | |
| 1183 MEM_IN_STRUCT_P (RTX) = 0; \ | |
| 1184 MEM_SCALAR_P (RTX) = 1; \ | |
| 1185 } \ | |
| 1186 } while (0) | |
| 1187 | |
| 1188 /* The memory attribute block. We provide access macros for each value | |
| 1189 in the block and provide defaults if none specified. */ | |
| 1190 #define MEM_ATTRS(RTX) X0MEMATTR (RTX, 1) | |
| 1191 | |
| 1192 /* The register attribute block. We provide access macros for each value | |
| 1193 in the block and provide defaults if none specified. */ | |
| 1194 #define REG_ATTRS(RTX) X0REGATTR (RTX, 2) | |
| 1195 | |
| 1196 /* For a MEM rtx, the alias set. If 0, this MEM is not in any alias | |
| 1197 set, and may alias anything. Otherwise, the MEM can only alias | |
| 1198 MEMs in a conflicting alias set. This value is set in a | |
| 1199 language-dependent manner in the front-end, and should not be | |
| 1200 altered in the back-end. These set numbers are tested with | |
| 1201 alias_sets_conflict_p. */ | |
| 1202 #define MEM_ALIAS_SET(RTX) (MEM_ATTRS (RTX) == 0 ? 0 : MEM_ATTRS (RTX)->alias) | |
| 1203 | |
| 1204 /* For a MEM rtx, the decl it is known to refer to, if it is known to | |
| 1205 refer to part of a DECL. It may also be a COMPONENT_REF. */ | |
| 1206 #define MEM_EXPR(RTX) (MEM_ATTRS (RTX) == 0 ? 0 : MEM_ATTRS (RTX)->expr) | |
| 1207 | |
| 1208 /* For a MEM rtx, the offset from the start of MEM_EXPR, if known, as a | |
| 1209 RTX that is always a CONST_INT. */ | |
| 1210 #define MEM_OFFSET(RTX) (MEM_ATTRS (RTX) == 0 ? 0 : MEM_ATTRS (RTX)->offset) | |
| 1211 | |
| 1212 /* For a MEM rtx, the size in bytes of the MEM, if known, as an RTX that | |
| 1213 is always a CONST_INT. */ | |
| 1214 #define MEM_SIZE(RTX) \ | |
| 1215 (MEM_ATTRS (RTX) != 0 ? MEM_ATTRS (RTX)->size \ | |
| 1216 : GET_MODE (RTX) != BLKmode ? GEN_INT (GET_MODE_SIZE (GET_MODE (RTX))) \ | |
| 1217 : 0) | |
| 1218 | |
| 1219 /* For a MEM rtx, the alignment in bits. We can use the alignment of the | |
| 1220 mode as a default when STRICT_ALIGNMENT, but not if not. */ | |
| 1221 #define MEM_ALIGN(RTX) \ | |
| 1222 (MEM_ATTRS (RTX) != 0 ? MEM_ATTRS (RTX)->align \ | |
| 1223 : (STRICT_ALIGNMENT && GET_MODE (RTX) != BLKmode \ | |
| 1224 ? GET_MODE_ALIGNMENT (GET_MODE (RTX)) : BITS_PER_UNIT)) | |
| 1225 | |
| 1226 /* For a REG rtx, the decl it is known to refer to, if it is known to | |
| 1227 refer to part of a DECL. */ | |
| 1228 #define REG_EXPR(RTX) (REG_ATTRS (RTX) == 0 ? 0 : REG_ATTRS (RTX)->decl) | |
| 1229 | |
| 1230 /* For a REG rtx, the offset from the start of REG_EXPR, if known, as an | |
| 1231 HOST_WIDE_INT. */ | |
| 1232 #define REG_OFFSET(RTX) (REG_ATTRS (RTX) == 0 ? 0 : REG_ATTRS (RTX)->offset) | |
| 1233 | |
| 1234 /* Copy the attributes that apply to memory locations from RHS to LHS. */ | |
| 1235 #define MEM_COPY_ATTRIBUTES(LHS, RHS) \ | |
| 1236 (MEM_VOLATILE_P (LHS) = MEM_VOLATILE_P (RHS), \ | |
| 1237 MEM_IN_STRUCT_P (LHS) = MEM_IN_STRUCT_P (RHS), \ | |
| 1238 MEM_SCALAR_P (LHS) = MEM_SCALAR_P (RHS), \ | |
| 1239 MEM_NOTRAP_P (LHS) = MEM_NOTRAP_P (RHS), \ | |
| 1240 MEM_READONLY_P (LHS) = MEM_READONLY_P (RHS), \ | |
| 1241 MEM_KEEP_ALIAS_SET_P (LHS) = MEM_KEEP_ALIAS_SET_P (RHS), \ | |
| 1242 MEM_POINTER (LHS) = MEM_POINTER (RHS), \ | |
| 1243 MEM_ATTRS (LHS) = MEM_ATTRS (RHS)) | |
| 1244 | |
| 1245 /* 1 if RTX is a label_ref for a nonlocal label. */ | |
| 1246 /* Likewise in an expr_list for a REG_LABEL_OPERAND or | |
| 1247 REG_LABEL_TARGET note. */ | |
| 1248 #define LABEL_REF_NONLOCAL_P(RTX) \ | |
| 1249 (RTL_FLAG_CHECK1("LABEL_REF_NONLOCAL_P", (RTX), LABEL_REF)->volatil) | |
| 1250 | |
| 1251 /* 1 if RTX is a code_label that should always be considered to be needed. */ | |
| 1252 #define LABEL_PRESERVE_P(RTX) \ | |
| 1253 (RTL_FLAG_CHECK2("LABEL_PRESERVE_P", (RTX), CODE_LABEL, NOTE)->in_struct) | |
| 1254 | |
| 1255 /* During sched, 1 if RTX is an insn that must be scheduled together | |
| 1256 with the preceding insn. */ | |
| 1257 #define SCHED_GROUP_P(RTX) \ | |
| 1258 (RTL_FLAG_CHECK3("SCHED_GROUP_P", (RTX), INSN, JUMP_INSN, CALL_INSN \ | |
| 1259 )->in_struct) | |
| 1260 | |
| 1261 /* For a SET rtx, SET_DEST is the place that is set | |
| 1262 and SET_SRC is the value it is set to. */ | |
| 1263 #define SET_DEST(RTX) XC2EXP(RTX, 0, SET, CLOBBER) | |
| 1264 #define SET_SRC(RTX) XCEXP(RTX, 1, SET) | |
| 1265 #define SET_IS_RETURN_P(RTX) \ | |
| 1266 (RTL_FLAG_CHECK1("SET_IS_RETURN_P", (RTX), SET)->jump) | |
| 1267 | |
| 1268 /* For a TRAP_IF rtx, TRAP_CONDITION is an expression. */ | |
| 1269 #define TRAP_CONDITION(RTX) XCEXP (RTX, 0, TRAP_IF) | |
| 1270 #define TRAP_CODE(RTX) XCEXP (RTX, 1, TRAP_IF) | |
| 1271 | |
| 1272 /* For a COND_EXEC rtx, COND_EXEC_TEST is the condition to base | |
| 1273 conditionally executing the code on, COND_EXEC_CODE is the code | |
| 1274 to execute if the condition is true. */ | |
| 1275 #define COND_EXEC_TEST(RTX) XCEXP (RTX, 0, COND_EXEC) | |
| 1276 #define COND_EXEC_CODE(RTX) XCEXP (RTX, 1, COND_EXEC) | |
| 1277 | |
| 1278 /* 1 if RTX is a symbol_ref that addresses this function's rtl | |
| 1279 constants pool. */ | |
| 1280 #define CONSTANT_POOL_ADDRESS_P(RTX) \ | |
| 1281 (RTL_FLAG_CHECK1("CONSTANT_POOL_ADDRESS_P", (RTX), SYMBOL_REF)->unchanging) | |
| 1282 | |
| 1283 /* 1 if RTX is a symbol_ref that addresses a value in the file's | |
| 1284 tree constant pool. This information is private to varasm.c. */ | |
| 1285 #define TREE_CONSTANT_POOL_ADDRESS_P(RTX) \ | |
| 1286 (RTL_FLAG_CHECK1("TREE_CONSTANT_POOL_ADDRESS_P", \ | |
| 1287 (RTX), SYMBOL_REF)->frame_related) | |
| 1288 | |
| 1289 /* Used if RTX is a symbol_ref, for machine-specific purposes. */ | |
| 1290 #define SYMBOL_REF_FLAG(RTX) \ | |
| 1291 (RTL_FLAG_CHECK1("SYMBOL_REF_FLAG", (RTX), SYMBOL_REF)->volatil) | |
| 1292 | |
| 1293 /* 1 if RTX is a symbol_ref that has been the library function in | |
| 1294 emit_library_call. */ | |
| 1295 #define SYMBOL_REF_USED(RTX) \ | |
| 1296 (RTL_FLAG_CHECK1("SYMBOL_REF_USED", (RTX), SYMBOL_REF)->used) | |
| 1297 | |
| 1298 /* 1 if RTX is a symbol_ref for a weak symbol. */ | |
| 1299 #define SYMBOL_REF_WEAK(RTX) \ | |
| 1300 (RTL_FLAG_CHECK1("SYMBOL_REF_WEAK", (RTX), SYMBOL_REF)->return_val) | |
| 1301 | |
| 1302 /* A pointer attached to the SYMBOL_REF; either SYMBOL_REF_DECL or | |
| 1303 SYMBOL_REF_CONSTANT. */ | |
| 1304 #define SYMBOL_REF_DATA(RTX) X0ANY ((RTX), 2) | |
| 1305 | |
| 1306 /* Set RTX's SYMBOL_REF_DECL to DECL. RTX must not be a constant | |
| 1307 pool symbol. */ | |
| 1308 #define SET_SYMBOL_REF_DECL(RTX, DECL) \ | |
| 1309 (gcc_assert (!CONSTANT_POOL_ADDRESS_P (RTX)), X0TREE ((RTX), 2) = (DECL)) | |
| 1310 | |
| 1311 /* The tree (decl or constant) associated with the symbol, or null. */ | |
| 1312 #define SYMBOL_REF_DECL(RTX) \ | |
| 1313 (CONSTANT_POOL_ADDRESS_P (RTX) ? NULL : X0TREE ((RTX), 2)) | |
| 1314 | |
| 1315 /* Set RTX's SYMBOL_REF_CONSTANT to C. RTX must be a constant pool symbol. */ | |
| 1316 #define SET_SYMBOL_REF_CONSTANT(RTX, C) \ | |
| 1317 (gcc_assert (CONSTANT_POOL_ADDRESS_P (RTX)), X0CONSTANT ((RTX), 2) = (C)) | |
| 1318 | |
| 1319 /* The rtx constant pool entry for a symbol, or null. */ | |
| 1320 #define SYMBOL_REF_CONSTANT(RTX) \ | |
| 1321 (CONSTANT_POOL_ADDRESS_P (RTX) ? X0CONSTANT ((RTX), 2) : NULL) | |
| 1322 | |
| 1323 /* A set of flags on a symbol_ref that are, in some respects, redundant with | |
| 1324 information derivable from the tree decl associated with this symbol. | |
| 1325 Except that we build a *lot* of SYMBOL_REFs that aren't associated with a | |
| 1326 decl. In some cases this is a bug. But beyond that, it's nice to cache | |
| 1327 this information to avoid recomputing it. Finally, this allows space for | |
| 1328 the target to store more than one bit of information, as with | |
| 1329 SYMBOL_REF_FLAG. */ | |
| 1330 #define SYMBOL_REF_FLAGS(RTX) X0INT ((RTX), 1) | |
| 1331 | |
| 1332 /* These flags are common enough to be defined for all targets. They | |
| 1333 are computed by the default version of targetm.encode_section_info. */ | |
| 1334 | |
| 1335 /* Set if this symbol is a function. */ | |
| 1336 #define SYMBOL_FLAG_FUNCTION (1 << 0) | |
| 1337 #define SYMBOL_REF_FUNCTION_P(RTX) \ | |
| 1338 ((SYMBOL_REF_FLAGS (RTX) & SYMBOL_FLAG_FUNCTION) != 0) | |
| 1339 /* Set if targetm.binds_local_p is true. */ | |
| 1340 #define SYMBOL_FLAG_LOCAL (1 << 1) | |
| 1341 #define SYMBOL_REF_LOCAL_P(RTX) \ | |
| 1342 ((SYMBOL_REF_FLAGS (RTX) & SYMBOL_FLAG_LOCAL) != 0) | |
| 1343 /* Set if targetm.in_small_data_p is true. */ | |
| 1344 #define SYMBOL_FLAG_SMALL (1 << 2) | |
| 1345 #define SYMBOL_REF_SMALL_P(RTX) \ | |
| 1346 ((SYMBOL_REF_FLAGS (RTX) & SYMBOL_FLAG_SMALL) != 0) | |
| 1347 /* The three-bit field at [5:3] is true for TLS variables; use | |
| 1348 SYMBOL_REF_TLS_MODEL to extract the field as an enum tls_model. */ | |
| 1349 #define SYMBOL_FLAG_TLS_SHIFT 3 | |
| 1350 #define SYMBOL_REF_TLS_MODEL(RTX) \ | |
| 1351 ((enum tls_model) ((SYMBOL_REF_FLAGS (RTX) >> SYMBOL_FLAG_TLS_SHIFT) & 7)) | |
| 1352 /* Set if this symbol is not defined in this translation unit. */ | |
| 1353 #define SYMBOL_FLAG_EXTERNAL (1 << 6) | |
| 1354 #define SYMBOL_REF_EXTERNAL_P(RTX) \ | |
| 1355 ((SYMBOL_REF_FLAGS (RTX) & SYMBOL_FLAG_EXTERNAL) != 0) | |
| 1356 /* Set if this symbol has a block_symbol structure associated with it. */ | |
| 1357 #define SYMBOL_FLAG_HAS_BLOCK_INFO (1 << 7) | |
| 1358 #define SYMBOL_REF_HAS_BLOCK_INFO_P(RTX) \ | |
| 1359 ((SYMBOL_REF_FLAGS (RTX) & SYMBOL_FLAG_HAS_BLOCK_INFO) != 0) | |
| 1360 /* Set if this symbol is a section anchor. SYMBOL_REF_ANCHOR_P implies | |
| 1361 SYMBOL_REF_HAS_BLOCK_INFO_P. */ | |
| 1362 #define SYMBOL_FLAG_ANCHOR (1 << 8) | |
| 1363 #define SYMBOL_REF_ANCHOR_P(RTX) \ | |
| 1364 ((SYMBOL_REF_FLAGS (RTX) & SYMBOL_FLAG_ANCHOR) != 0) | |
| 1365 | |
| 1366 /* Subsequent bits are available for the target to use. */ | |
| 1367 #define SYMBOL_FLAG_MACH_DEP_SHIFT 9 | |
| 1368 #define SYMBOL_FLAG_MACH_DEP (1 << SYMBOL_FLAG_MACH_DEP_SHIFT) | |
| 1369 | |
| 1370 /* If SYMBOL_REF_HAS_BLOCK_INFO_P (RTX), this is the object_block | |
| 1371 structure to which the symbol belongs, or NULL if it has not been | |
| 1372 assigned a block. */ | |
| 1373 #define SYMBOL_REF_BLOCK(RTX) (BLOCK_SYMBOL_CHECK (RTX)->block) | |
| 1374 | |
| 1375 /* If SYMBOL_REF_HAS_BLOCK_INFO_P (RTX), this is the offset of RTX from | |
| 1376 the first object in SYMBOL_REF_BLOCK (RTX). The value is negative if | |
| 1377 RTX has not yet been assigned to a block, or it has not been given an | |
| 1378 offset within that block. */ | |
| 1379 #define SYMBOL_REF_BLOCK_OFFSET(RTX) (BLOCK_SYMBOL_CHECK (RTX)->offset) | |
| 1380 | |
| 1381 /* Indicate whether the machine has any sort of auto increment addressing. | |
| 1382 If not, we can avoid checking for REG_INC notes. */ | |
| 1383 | |
| 1384 #if (defined (HAVE_PRE_INCREMENT) || defined (HAVE_PRE_DECREMENT) \ | |
| 1385 || defined (HAVE_POST_INCREMENT) || defined (HAVE_POST_DECREMENT) \ | |
| 1386 || defined (HAVE_PRE_MODIFY_DISP) || defined (HAVE_PRE_MODIFY_DISP) \ | |
| 1387 || defined (HAVE_PRE_MODIFY_REG) || defined (HAVE_POST_MODIFY_REG)) | |
| 1388 #define AUTO_INC_DEC | |
| 1389 #endif | |
| 1390 | |
| 1391 /* Define a macro to look for REG_INC notes, | |
| 1392 but save time on machines where they never exist. */ | |
| 1393 | |
| 1394 #ifdef AUTO_INC_DEC | |
| 1395 #define FIND_REG_INC_NOTE(INSN, REG) \ | |
| 1396 ((REG) != NULL_RTX && REG_P ((REG)) \ | |
| 1397 ? find_regno_note ((INSN), REG_INC, REGNO (REG)) \ | |
| 1398 : find_reg_note ((INSN), REG_INC, (REG))) | |
| 1399 #else | |
| 1400 #define FIND_REG_INC_NOTE(INSN, REG) 0 | |
| 1401 #endif | |
| 1402 | |
| 1403 #ifndef HAVE_PRE_INCREMENT | |
| 1404 #define HAVE_PRE_INCREMENT 0 | |
| 1405 #endif | |
| 1406 | |
| 1407 #ifndef HAVE_PRE_DECREMENT | |
| 1408 #define HAVE_PRE_DECREMENT 0 | |
| 1409 #endif | |
| 1410 | |
| 1411 #ifndef HAVE_POST_INCREMENT | |
| 1412 #define HAVE_POST_INCREMENT 0 | |
| 1413 #endif | |
| 1414 | |
| 1415 #ifndef HAVE_POST_DECREMENT | |
| 1416 #define HAVE_POST_DECREMENT 0 | |
| 1417 #endif | |
| 1418 | |
| 1419 #ifndef HAVE_POST_MODIFY_DISP | |
| 1420 #define HAVE_POST_MODIFY_DISP 0 | |
| 1421 #endif | |
| 1422 | |
| 1423 #ifndef HAVE_POST_MODIFY_REG | |
| 1424 #define HAVE_POST_MODIFY_REG 0 | |
| 1425 #endif | |
| 1426 | |
| 1427 #ifndef HAVE_PRE_MODIFY_DISP | |
| 1428 #define HAVE_PRE_MODIFY_DISP 0 | |
| 1429 #endif | |
| 1430 | |
| 1431 #ifndef HAVE_PRE_MODIFY_REG | |
| 1432 #define HAVE_PRE_MODIFY_REG 0 | |
| 1433 #endif | |
| 1434 | |
| 1435 | |
| 1436 /* Some architectures do not have complete pre/post increment/decrement | |
| 1437 instruction sets, or only move some modes efficiently. These macros | |
| 1438 allow us to tune autoincrement generation. */ | |
| 1439 | |
| 1440 #ifndef USE_LOAD_POST_INCREMENT | |
| 1441 #define USE_LOAD_POST_INCREMENT(MODE) HAVE_POST_INCREMENT | |
| 1442 #endif | |
| 1443 | |
| 1444 #ifndef USE_LOAD_POST_DECREMENT | |
| 1445 #define USE_LOAD_POST_DECREMENT(MODE) HAVE_POST_DECREMENT | |
| 1446 #endif | |
| 1447 | |
| 1448 #ifndef USE_LOAD_PRE_INCREMENT | |
| 1449 #define USE_LOAD_PRE_INCREMENT(MODE) HAVE_PRE_INCREMENT | |
| 1450 #endif | |
| 1451 | |
| 1452 #ifndef USE_LOAD_PRE_DECREMENT | |
| 1453 #define USE_LOAD_PRE_DECREMENT(MODE) HAVE_PRE_DECREMENT | |
| 1454 #endif | |
| 1455 | |
| 1456 #ifndef USE_STORE_POST_INCREMENT | |
| 1457 #define USE_STORE_POST_INCREMENT(MODE) HAVE_POST_INCREMENT | |
| 1458 #endif | |
| 1459 | |
| 1460 #ifndef USE_STORE_POST_DECREMENT | |
| 1461 #define USE_STORE_POST_DECREMENT(MODE) HAVE_POST_DECREMENT | |
| 1462 #endif | |
| 1463 | |
| 1464 #ifndef USE_STORE_PRE_INCREMENT | |
| 1465 #define USE_STORE_PRE_INCREMENT(MODE) HAVE_PRE_INCREMENT | |
| 1466 #endif | |
| 1467 | |
| 1468 #ifndef USE_STORE_PRE_DECREMENT | |
| 1469 #define USE_STORE_PRE_DECREMENT(MODE) HAVE_PRE_DECREMENT | |
| 1470 #endif | |
| 1471 | |
| 1472 /* Nonzero when we are generating CONCATs. */ | |
| 1473 extern int generating_concat_p; | |
| 1474 | |
| 1475 /* Nonzero when we are expanding trees to RTL. */ | |
| 1476 extern int currently_expanding_to_rtl; | |
| 1477 | |
| 1478 /* Generally useful functions. */ | |
| 1479 | |
| 1480 /* In expmed.c */ | |
| 1481 extern int ceil_log2 (unsigned HOST_WIDE_INT); | |
| 1482 | |
| 1483 /* In explow.c */ | |
| 1484 extern void set_stack_check_libfunc (rtx); | |
| 1485 extern HOST_WIDE_INT trunc_int_for_mode (HOST_WIDE_INT, enum machine_mode); | |
| 1486 extern rtx plus_constant (rtx, HOST_WIDE_INT); | |
| 1487 | |
| 1488 /* In emit-rtl.c */ | |
| 1489 extern rtx gen_blockage (void); | |
| 1490 extern rtvec gen_rtvec (int, ...); | |
| 1491 extern rtx copy_insn_1 (rtx); | |
| 1492 extern rtx copy_insn (rtx); | |
| 1493 extern rtx gen_int_mode (HOST_WIDE_INT, enum machine_mode); | |
| 1494 extern rtx emit_copy_of_insn_after (rtx, rtx); | |
| 1495 extern void set_reg_attrs_from_value (rtx, rtx); | |
| 1496 extern void set_mem_attrs_from_reg (rtx, rtx); | |
| 1497 extern void set_reg_attrs_for_parm (rtx, rtx); | |
| 1498 extern void adjust_reg_mode (rtx, enum machine_mode); | |
| 1499 extern int mem_expr_equal_p (const_tree, const_tree); | |
| 1500 | |
| 1501 /* In rtl.c */ | |
| 1502 extern rtx rtx_alloc_stat (RTX_CODE MEM_STAT_DECL); | |
| 1503 #define rtx_alloc(c) rtx_alloc_stat (c MEM_STAT_INFO) | |
| 1504 | |
| 1505 extern rtvec rtvec_alloc (int); | |
| 1506 extern bool shared_const_p (const_rtx); | |
| 1507 extern rtx copy_rtx (rtx); | |
| 1508 extern void dump_rtx_statistics (void); | |
| 1509 | |
| 1510 /* In emit-rtl.c */ | |
| 1511 extern rtx copy_rtx_if_shared (rtx); | |
| 1512 | |
| 1513 /* In rtl.c */ | |
| 1514 extern unsigned int rtx_size (const_rtx); | |
| 1515 extern rtx shallow_copy_rtx_stat (const_rtx MEM_STAT_DECL); | |
| 1516 #define shallow_copy_rtx(a) shallow_copy_rtx_stat (a MEM_STAT_INFO) | |
| 1517 extern int rtx_equal_p (const_rtx, const_rtx); | |
| 1518 | |
| 1519 /* In emit-rtl.c */ | |
| 1520 extern rtvec gen_rtvec_v (int, rtx *); | |
| 1521 extern rtx gen_reg_rtx (enum machine_mode); | |
| 1522 extern rtx gen_rtx_REG_offset (rtx, enum machine_mode, unsigned int, int); | |
| 1523 extern rtx gen_reg_rtx_offset (rtx, enum machine_mode, int); | |
| 1524 extern rtx gen_reg_rtx_and_attrs (rtx); | |
| 1525 extern rtx gen_label_rtx (void); | |
| 1526 extern rtx gen_lowpart_common (enum machine_mode, rtx); | |
| 1527 | |
| 1528 /* In cse.c */ | |
| 1529 extern rtx gen_lowpart_if_possible (enum machine_mode, rtx); | |
| 1530 | |
| 1531 /* In emit-rtl.c */ | |
| 1532 extern rtx gen_highpart (enum machine_mode, rtx); | |
| 1533 extern rtx gen_highpart_mode (enum machine_mode, enum machine_mode, rtx); | |
| 1534 extern rtx operand_subword (rtx, unsigned int, int, enum machine_mode); | |
| 1535 | |
| 1536 /* In emit-rtl.c */ | |
| 1537 extern rtx operand_subword_force (rtx, unsigned int, enum machine_mode); | |
| 1538 extern int subreg_lowpart_p (const_rtx); | |
| 1539 extern unsigned int subreg_lowpart_offset (enum machine_mode, | |
| 1540 enum machine_mode); | |
| 1541 extern unsigned int subreg_highpart_offset (enum machine_mode, | |
| 1542 enum machine_mode); | |
| 1543 extern int byte_lowpart_offset (enum machine_mode, enum machine_mode); | |
| 1544 extern rtx make_safe_from (rtx, rtx); | |
| 1545 extern rtx convert_memory_address (enum machine_mode, rtx); | |
| 1546 extern rtx get_insns (void); | |
| 1547 extern const char *get_insn_name (int); | |
| 1548 extern rtx get_last_insn (void); | |
| 1549 extern rtx get_last_insn_anywhere (void); | |
| 1550 extern rtx get_first_nonnote_insn (void); | |
| 1551 extern rtx get_last_nonnote_insn (void); | |
| 1552 extern void start_sequence (void); | |
| 1553 extern void push_to_sequence (rtx); | |
| 1554 extern void push_to_sequence2 (rtx, rtx); | |
| 1555 extern void end_sequence (void); | |
| 1556 extern rtx immed_double_const (HOST_WIDE_INT, HOST_WIDE_INT, | |
| 1557 enum machine_mode); | |
| 1558 | |
| 1559 /* In loop-iv.c */ | |
| 1560 | |
| 1561 extern rtx lowpart_subreg (enum machine_mode, rtx, enum machine_mode); | |
| 1562 | |
| 1563 /* In varasm.c */ | |
| 1564 extern rtx force_const_mem (enum machine_mode, rtx); | |
| 1565 | |
| 1566 /* In varasm.c */ | |
| 1567 | |
| 1568 struct function; | |
| 1569 extern rtx get_pool_constant (rtx); | |
| 1570 extern rtx get_pool_constant_mark (rtx, bool *); | |
| 1571 extern enum machine_mode get_pool_mode (const_rtx); | |
| 1572 extern rtx simplify_subtraction (rtx); | |
| 1573 | |
| 1574 /* In function.c */ | |
| 1575 extern rtx assign_stack_local (enum machine_mode, HOST_WIDE_INT, int); | |
| 1576 extern rtx assign_stack_local_1 (enum machine_mode, HOST_WIDE_INT, int, bool); | |
| 1577 extern rtx assign_stack_temp (enum machine_mode, HOST_WIDE_INT, int); | |
| 1578 extern rtx assign_stack_temp_for_type (enum machine_mode, | |
| 1579 HOST_WIDE_INT, int, tree); | |
| 1580 extern rtx assign_temp (tree, int, int, int); | |
| 1581 | |
| 1582 /* In emit-rtl.c */ | |
| 1583 extern rtx emit_insn_before (rtx, rtx); | |
| 1584 extern rtx emit_insn_before_noloc (rtx, rtx, struct basic_block_def *); | |
| 1585 extern rtx emit_insn_before_setloc (rtx, rtx, int); | |
| 1586 extern rtx emit_jump_insn_before (rtx, rtx); | |
| 1587 extern rtx emit_jump_insn_before_noloc (rtx, rtx); | |
| 1588 extern rtx emit_jump_insn_before_setloc (rtx, rtx, int); | |
| 1589 extern rtx emit_call_insn_before (rtx, rtx); | |
| 1590 extern rtx emit_call_insn_before_noloc (rtx, rtx); | |
| 1591 extern rtx emit_call_insn_before_setloc (rtx, rtx, int); | |
| 1592 extern rtx emit_barrier_before (rtx); | |
| 1593 extern rtx emit_label_before (rtx, rtx); | |
| 1594 extern rtx emit_note_before (enum insn_note, rtx); | |
| 1595 extern rtx emit_insn_after (rtx, rtx); | |
| 1596 extern rtx emit_insn_after_noloc (rtx, rtx, struct basic_block_def *); | |
| 1597 extern rtx emit_insn_after_setloc (rtx, rtx, int); | |
| 1598 extern rtx emit_jump_insn_after (rtx, rtx); | |
| 1599 extern rtx emit_jump_insn_after_noloc (rtx, rtx); | |
| 1600 extern rtx emit_jump_insn_after_setloc (rtx, rtx, int); | |
| 1601 extern rtx emit_call_insn_after (rtx, rtx); | |
| 1602 extern rtx emit_call_insn_after_noloc (rtx, rtx); | |
| 1603 extern rtx emit_call_insn_after_setloc (rtx, rtx, int); | |
| 1604 extern rtx emit_barrier_after (rtx); | |
| 1605 extern rtx emit_label_after (rtx, rtx); | |
| 1606 extern rtx emit_note_after (enum insn_note, rtx); | |
| 1607 extern rtx emit_insn (rtx); | |
| 1608 extern rtx emit_jump_insn (rtx); | |
| 1609 extern rtx emit_call_insn (rtx); | |
| 1610 extern rtx emit_label (rtx); | |
| 1611 extern rtx emit_barrier (void); | |
| 1612 extern rtx emit_note (enum insn_note); | |
| 1613 extern rtx emit_note_copy (rtx); | |
| 1614 extern rtx gen_clobber (rtx); | |
| 1615 extern rtx emit_clobber (rtx); | |
| 1616 extern rtx gen_use (rtx); | |
| 1617 extern rtx emit_use (rtx); | |
| 1618 extern rtx make_insn_raw (rtx); | |
| 1619 extern rtx make_jump_insn_raw (rtx); | |
| 1620 extern void add_function_usage_to (rtx, rtx); | |
| 1621 extern rtx last_call_insn (void); | |
| 1622 extern rtx previous_insn (rtx); | |
| 1623 extern rtx next_insn (rtx); | |
| 1624 extern rtx prev_nonnote_insn (rtx); | |
| 1625 extern rtx next_nonnote_insn (rtx); | |
| 1626 extern rtx prev_real_insn (rtx); | |
| 1627 extern rtx next_real_insn (rtx); | |
| 1628 extern rtx prev_active_insn (rtx); | |
| 1629 extern rtx next_active_insn (rtx); | |
| 1630 extern int active_insn_p (const_rtx); | |
| 1631 extern rtx prev_label (rtx); | |
| 1632 extern rtx next_label (rtx); | |
| 1633 extern rtx skip_consecutive_labels (rtx); | |
| 1634 extern rtx next_cc0_user (rtx); | |
| 1635 extern rtx prev_cc0_setter (rtx); | |
| 1636 | |
| 1637 /* In cfglayout.c */ | |
| 1638 extern int insn_line (const_rtx); | |
| 1639 extern const char * insn_file (const_rtx); | |
| 1640 extern location_t locator_location (int); | |
| 1641 extern int locator_line (int); | |
| 1642 extern const char * locator_file (int); | |
| 1643 extern bool locator_eq (int, int); | |
| 1644 extern int prologue_locator, epilogue_locator; | |
| 1645 | |
| 1646 /* In jump.c */ | |
| 1647 extern enum rtx_code reverse_condition (enum rtx_code); | |
| 1648 extern enum rtx_code reverse_condition_maybe_unordered (enum rtx_code); | |
| 1649 extern enum rtx_code swap_condition (enum rtx_code); | |
| 1650 extern enum rtx_code unsigned_condition (enum rtx_code); | |
| 1651 extern enum rtx_code signed_condition (enum rtx_code); | |
| 1652 extern void mark_jump_label (rtx, rtx, int); | |
| 1653 extern unsigned int cleanup_barriers (void); | |
| 1654 | |
| 1655 /* In jump.c */ | |
| 1656 extern rtx delete_related_insns (rtx); | |
| 1657 | |
| 1658 /* In recog.c */ | |
| 1659 extern rtx *find_constant_term_loc (rtx *); | |
| 1660 | |
| 1661 /* In emit-rtl.c */ | |
| 1662 extern rtx try_split (rtx, rtx, int); | |
| 1663 extern int split_branch_probability; | |
| 1664 | |
| 1665 /* In unknown file */ | |
| 1666 extern rtx split_insns (rtx, rtx); | |
| 1667 | |
| 1668 /* In simplify-rtx.c */ | |
| 1669 extern rtx simplify_const_unary_operation (enum rtx_code, enum machine_mode, | |
| 1670 rtx, enum machine_mode); | |
| 1671 extern rtx simplify_unary_operation (enum rtx_code, enum machine_mode, rtx, | |
| 1672 enum machine_mode); | |
| 1673 extern rtx simplify_const_binary_operation (enum rtx_code, enum machine_mode, | |
| 1674 rtx, rtx); | |
| 1675 extern rtx simplify_binary_operation (enum rtx_code, enum machine_mode, rtx, | |
| 1676 rtx); | |
| 1677 extern rtx simplify_ternary_operation (enum rtx_code, enum machine_mode, | |
| 1678 enum machine_mode, rtx, rtx, rtx); | |
| 1679 extern rtx simplify_const_relational_operation (enum rtx_code, | |
| 1680 enum machine_mode, rtx, rtx); | |
| 1681 extern rtx simplify_relational_operation (enum rtx_code, enum machine_mode, | |
| 1682 enum machine_mode, rtx, rtx); | |
| 1683 extern rtx simplify_gen_binary (enum rtx_code, enum machine_mode, rtx, rtx); | |
| 1684 extern rtx simplify_gen_unary (enum rtx_code, enum machine_mode, rtx, | |
| 1685 enum machine_mode); | |
| 1686 extern rtx simplify_gen_ternary (enum rtx_code, enum machine_mode, | |
| 1687 enum machine_mode, rtx, rtx, rtx); | |
| 1688 extern rtx simplify_gen_relational (enum rtx_code, enum machine_mode, | |
| 1689 enum machine_mode, rtx, rtx); | |
| 1690 extern rtx simplify_subreg (enum machine_mode, rtx, enum machine_mode, | |
| 1691 unsigned int); | |
| 1692 extern rtx simplify_gen_subreg (enum machine_mode, rtx, enum machine_mode, | |
| 1693 unsigned int); | |
| 1694 extern rtx simplify_replace_rtx (rtx, const_rtx, rtx); | |
| 1695 extern rtx simplify_rtx (const_rtx); | |
| 1696 extern rtx avoid_constant_pool_reference (rtx); | |
| 1697 extern bool mode_signbit_p (enum machine_mode, const_rtx); | |
| 1698 | |
| 1699 /* In reginfo.c */ | |
| 1700 extern enum machine_mode choose_hard_reg_mode (unsigned int, unsigned int, | |
| 1701 bool); | |
| 1702 | |
| 1703 /* In emit-rtl.c */ | |
| 1704 extern rtx set_unique_reg_note (rtx, enum reg_note, rtx); | |
| 1705 extern void set_insn_deleted (rtx); | |
| 1706 | |
| 1707 /* Functions in rtlanal.c */ | |
| 1708 | |
| 1709 /* Single set is implemented as macro for performance reasons. */ | |
| 1710 #define single_set(I) (INSN_P (I) \ | |
| 1711 ? (GET_CODE (PATTERN (I)) == SET \ | |
| 1712 ? PATTERN (I) : single_set_1 (I)) \ | |
| 1713 : NULL_RTX) | |
| 1714 #define single_set_1(I) single_set_2 (I, PATTERN (I)) | |
| 1715 | |
| 1716 /* Structure used for passing data to REPLACE_LABEL. */ | |
| 1717 typedef struct replace_label_data | |
| 1718 { | |
| 1719 rtx r1; | |
| 1720 rtx r2; | |
| 1721 bool update_label_nuses; | |
| 1722 } replace_label_data; | |
| 1723 | |
| 1724 extern int rtx_addr_can_trap_p (const_rtx); | |
| 1725 extern bool nonzero_address_p (const_rtx); | |
| 1726 extern int rtx_unstable_p (const_rtx); | |
| 1727 extern bool rtx_varies_p (const_rtx, bool); | |
| 1728 extern bool rtx_addr_varies_p (const_rtx, bool); | |
| 1729 extern HOST_WIDE_INT get_integer_term (const_rtx); | |
| 1730 extern rtx get_related_value (const_rtx); | |
| 1731 extern bool offset_within_block_p (const_rtx, HOST_WIDE_INT); | |
| 1732 extern void split_const (rtx, rtx *, rtx *); | |
| 1733 extern int reg_mentioned_p (const_rtx, const_rtx); | |
| 1734 extern int count_occurrences (const_rtx, const_rtx, int); | |
| 1735 extern int reg_referenced_p (const_rtx, const_rtx); | |
| 1736 extern int reg_used_between_p (const_rtx, const_rtx, const_rtx); | |
| 1737 extern int reg_set_between_p (const_rtx, const_rtx, const_rtx); | |
| 1738 extern int commutative_operand_precedence (rtx); | |
| 1739 extern bool swap_commutative_operands_p (rtx, rtx); | |
| 1740 extern int modified_between_p (const_rtx, const_rtx, const_rtx); | |
| 1741 extern int no_labels_between_p (const_rtx, const_rtx); | |
| 1742 extern int modified_in_p (const_rtx, const_rtx); | |
| 1743 extern int reg_set_p (const_rtx, const_rtx); | |
| 1744 extern rtx single_set_2 (const_rtx, const_rtx); | |
| 1745 extern int multiple_sets (const_rtx); | |
| 1746 extern int set_noop_p (const_rtx); | |
| 1747 extern int noop_move_p (const_rtx); | |
| 1748 extern rtx find_last_value (rtx, rtx *, rtx, int); | |
| 1749 extern int refers_to_regno_p (unsigned int, unsigned int, const_rtx, rtx *); | |
| 1750 extern int reg_overlap_mentioned_p (const_rtx, const_rtx); | |
| 1751 extern const_rtx set_of (const_rtx, const_rtx); | |
| 1752 extern void note_stores (const_rtx, void (*) (rtx, const_rtx, void *), void *); | |
| 1753 extern void note_uses (rtx *, void (*) (rtx *, void *), void *); | |
| 1754 extern int dead_or_set_p (const_rtx, const_rtx); | |
| 1755 extern int dead_or_set_regno_p (const_rtx, unsigned int); | |
| 1756 extern rtx find_reg_note (const_rtx, enum reg_note, const_rtx); | |
| 1757 extern rtx find_regno_note (const_rtx, enum reg_note, unsigned int); | |
| 1758 extern rtx find_reg_equal_equiv_note (const_rtx); | |
| 1759 extern rtx find_constant_src (const_rtx); | |
| 1760 extern int find_reg_fusage (const_rtx, enum rtx_code, const_rtx); | |
| 1761 extern int find_regno_fusage (const_rtx, enum rtx_code, unsigned int); | |
| 1762 extern void add_reg_note (rtx, enum reg_note, rtx); | |
| 1763 extern void remove_note (rtx, const_rtx); | |
| 1764 extern void remove_reg_equal_equiv_notes (rtx); | |
| 1765 extern int side_effects_p (const_rtx); | |
| 1766 extern int volatile_refs_p (const_rtx); | |
| 1767 extern int volatile_insn_p (const_rtx); | |
| 1768 extern int may_trap_p_1 (const_rtx, unsigned); | |
| 1769 extern int may_trap_p (const_rtx); | |
| 1770 extern int may_trap_or_fault_p (const_rtx); | |
| 1771 extern int inequality_comparisons_p (const_rtx); | |
| 1772 extern rtx replace_rtx (rtx, rtx, rtx); | |
| 1773 extern int replace_label (rtx *, void *); | |
| 1774 extern int rtx_referenced_p (rtx, rtx); | |
| 1775 extern bool tablejump_p (const_rtx, rtx *, rtx *); | |
| 1776 extern int computed_jump_p (const_rtx); | |
| 1777 | |
| 1778 typedef int (*rtx_function) (rtx *, void *); | |
| 1779 extern int for_each_rtx (rtx *, rtx_function, void *); | |
| 1780 | |
| 1781 typedef int (*rtx_equal_p_callback_function) (const_rtx *, const_rtx *, | |
| 1782 rtx *, rtx *); | |
| 1783 extern int rtx_equal_p_cb (const_rtx, const_rtx, | |
| 1784 rtx_equal_p_callback_function); | |
| 1785 | |
| 1786 typedef int (*hash_rtx_callback_function) (const_rtx, enum machine_mode, rtx *, | |
| 1787 enum machine_mode *); | |
| 1788 extern unsigned hash_rtx_cb (const_rtx, enum machine_mode, int *, int *, | |
| 1789 bool, hash_rtx_callback_function); | |
| 1790 | |
| 1791 extern rtx regno_use_in (unsigned int, rtx); | |
| 1792 extern int auto_inc_p (const_rtx); | |
| 1793 extern int in_expr_list_p (const_rtx, const_rtx); | |
| 1794 extern void remove_node_from_expr_list (const_rtx, rtx *); | |
| 1795 extern int loc_mentioned_in_p (rtx *, const_rtx); | |
| 1796 extern rtx find_first_parameter_load (rtx, rtx); | |
| 1797 extern bool keep_with_call_p (const_rtx); | |
| 1798 extern bool label_is_jump_target_p (const_rtx, const_rtx); | |
| 1799 extern int insn_rtx_cost (rtx, bool); | |
| 1800 | |
| 1801 /* Given an insn and condition, return a canonical description of | |
| 1802 the test being made. */ | |
| 1803 extern rtx canonicalize_condition (rtx, rtx, int, rtx *, rtx, int, int); | |
| 1804 | |
| 1805 /* Given a JUMP_INSN, return a canonical description of the test | |
| 1806 being made. */ | |
| 1807 extern rtx get_condition (rtx, rtx *, int, int); | |
| 1808 | |
| 1809 /* lists.c */ | |
| 1810 | |
| 1811 extern void free_EXPR_LIST_list (rtx *); | |
| 1812 extern void free_INSN_LIST_list (rtx *); | |
| 1813 extern void free_EXPR_LIST_node (rtx); | |
| 1814 extern void free_INSN_LIST_node (rtx); | |
| 1815 extern rtx alloc_INSN_LIST (rtx, rtx); | |
| 1816 extern rtx alloc_EXPR_LIST (int, rtx, rtx); | |
| 1817 extern void remove_free_INSN_LIST_elem (rtx, rtx *); | |
| 1818 extern rtx remove_list_elem (rtx, rtx *); | |
| 1819 extern rtx remove_free_INSN_LIST_node (rtx *); | |
| 1820 extern rtx remove_free_EXPR_LIST_node (rtx *); | |
| 1821 | |
| 1822 | |
| 1823 /* reginfo.c */ | |
| 1824 | |
| 1825 /* Initialize may_move_cost and friends for mode M. */ | |
| 1826 extern void init_move_cost (enum machine_mode); | |
| 1827 /* Allocate register info memory. */ | |
| 1828 extern void allocate_reg_info (void); | |
| 1829 /* Resize reg info. */ | |
| 1830 extern void resize_reg_info (void); | |
| 1831 /* Free up register info memory. */ | |
| 1832 extern void free_reg_info (void); | |
| 1833 | |
| 1834 /* recog.c */ | |
| 1835 extern int asm_noperands (const_rtx); | |
| 1836 extern const char *decode_asm_operands (rtx, rtx *, rtx **, const char **, | |
| 1837 enum machine_mode *, location_t *); | |
| 1838 | |
| 1839 extern enum reg_class reg_preferred_class (int); | |
| 1840 extern enum reg_class reg_alternate_class (int); | |
| 1841 extern void setup_reg_classes (int, enum reg_class, enum reg_class); | |
| 1842 | |
| 1843 extern void split_all_insns (void); | |
| 1844 extern unsigned int split_all_insns_noflow (void); | |
| 1845 | |
| 1846 #define MAX_SAVED_CONST_INT 64 | |
| 1847 extern GTY(()) rtx const_int_rtx[MAX_SAVED_CONST_INT * 2 + 1]; | |
| 1848 | |
| 1849 #define const0_rtx (const_int_rtx[MAX_SAVED_CONST_INT]) | |
| 1850 #define const1_rtx (const_int_rtx[MAX_SAVED_CONST_INT+1]) | |
| 1851 #define const2_rtx (const_int_rtx[MAX_SAVED_CONST_INT+2]) | |
| 1852 #define constm1_rtx (const_int_rtx[MAX_SAVED_CONST_INT-1]) | |
| 1853 extern GTY(()) rtx const_true_rtx; | |
| 1854 | |
| 1855 extern GTY(()) rtx const_tiny_rtx[3][(int) MAX_MACHINE_MODE]; | |
| 1856 | |
| 1857 /* Returns a constant 0 rtx in mode MODE. Integer modes are treated the | |
| 1858 same as VOIDmode. */ | |
| 1859 | |
| 1860 #define CONST0_RTX(MODE) (const_tiny_rtx[0][(int) (MODE)]) | |
| 1861 | |
| 1862 /* Likewise, for the constants 1 and 2. */ | |
| 1863 | |
| 1864 #define CONST1_RTX(MODE) (const_tiny_rtx[1][(int) (MODE)]) | |
| 1865 #define CONST2_RTX(MODE) (const_tiny_rtx[2][(int) (MODE)]) | |
| 1866 | |
| 1867 /* If HARD_FRAME_POINTER_REGNUM is defined, then a special dummy reg | |
| 1868 is used to represent the frame pointer. This is because the | |
| 1869 hard frame pointer and the automatic variables are separated by an amount | |
| 1870 that cannot be determined until after register allocation. We can assume | |
| 1871 that in this case ELIMINABLE_REGS will be defined, one action of which | |
| 1872 will be to eliminate FRAME_POINTER_REGNUM into HARD_FRAME_POINTER_REGNUM. */ | |
| 1873 #ifndef HARD_FRAME_POINTER_REGNUM | |
| 1874 #define HARD_FRAME_POINTER_REGNUM FRAME_POINTER_REGNUM | |
| 1875 #endif | |
| 1876 | |
| 1877 /* Index labels for global_rtl. */ | |
| 1878 enum global_rtl_index | |
| 1879 { | |
| 1880 GR_PC, | |
| 1881 GR_CC0, | |
| 1882 GR_STACK_POINTER, | |
| 1883 GR_FRAME_POINTER, | |
| 1884 /* For register elimination to work properly these hard_frame_pointer_rtx, | |
| 1885 frame_pointer_rtx, and arg_pointer_rtx must be the same if they refer to | |
| 1886 the same register. */ | |
| 1887 #if FRAME_POINTER_REGNUM == ARG_POINTER_REGNUM | |
| 1888 GR_ARG_POINTER = GR_FRAME_POINTER, | |
| 1889 #endif | |
| 1890 #if HARD_FRAME_POINTER_REGNUM == FRAME_POINTER_REGNUM | |
| 1891 GR_HARD_FRAME_POINTER = GR_FRAME_POINTER, | |
| 1892 #else | |
| 1893 GR_HARD_FRAME_POINTER, | |
| 1894 #endif | |
| 1895 #if FRAME_POINTER_REGNUM != ARG_POINTER_REGNUM | |
| 1896 #if HARD_FRAME_POINTER_REGNUM == ARG_POINTER_REGNUM | |
| 1897 GR_ARG_POINTER = GR_HARD_FRAME_POINTER, | |
| 1898 #else | |
| 1899 GR_ARG_POINTER, | |
| 1900 #endif | |
| 1901 #endif | |
| 1902 GR_VIRTUAL_INCOMING_ARGS, | |
| 1903 GR_VIRTUAL_STACK_ARGS, | |
| 1904 GR_VIRTUAL_STACK_DYNAMIC, | |
| 1905 GR_VIRTUAL_OUTGOING_ARGS, | |
| 1906 GR_VIRTUAL_CFA, | |
| 1907 | |
| 1908 GR_MAX | |
| 1909 }; | |
| 1910 | |
| 1911 /* Pointers to standard pieces of rtx are stored here. */ | |
| 1912 extern GTY(()) rtx global_rtl[GR_MAX]; | |
| 1913 | |
| 1914 /* Standard pieces of rtx, to be substituted directly into things. */ | |
| 1915 #define pc_rtx (global_rtl[GR_PC]) | |
| 1916 #define cc0_rtx (global_rtl[GR_CC0]) | |
| 1917 | |
| 1918 /* All references to certain hard regs, except those created | |
| 1919 by allocating pseudo regs into them (when that's possible), | |
| 1920 go through these unique rtx objects. */ | |
| 1921 #define stack_pointer_rtx (global_rtl[GR_STACK_POINTER]) | |
| 1922 #define frame_pointer_rtx (global_rtl[GR_FRAME_POINTER]) | |
| 1923 #define hard_frame_pointer_rtx (global_rtl[GR_HARD_FRAME_POINTER]) | |
| 1924 #define arg_pointer_rtx (global_rtl[GR_ARG_POINTER]) | |
| 1925 | |
| 1926 extern GTY(()) rtx pic_offset_table_rtx; | |
| 1927 extern GTY(()) rtx static_chain_rtx; | |
| 1928 extern GTY(()) rtx static_chain_incoming_rtx; | |
| 1929 extern GTY(()) rtx return_address_pointer_rtx; | |
| 1930 | |
| 1931 /* Include the RTL generation functions. */ | |
| 1932 | |
| 1933 #ifndef GENERATOR_FILE | |
| 1934 #include "genrtl.h" | |
| 1935 #undef gen_rtx_ASM_INPUT | |
| 1936 #define gen_rtx_ASM_INPUT(MODE, ARG0) \ | |
| 1937 gen_rtx_fmt_si (ASM_INPUT, (MODE), (ARG0), 0) | |
| 1938 #define gen_rtx_ASM_INPUT_loc(MODE, ARG0, LOC) \ | |
| 1939 gen_rtx_fmt_si (ASM_INPUT, (MODE), (ARG0), (LOC)) | |
| 1940 #endif | |
| 1941 | |
| 1942 /* There are some RTL codes that require special attention; the | |
| 1943 generation functions included above do the raw handling. If you | |
| 1944 add to this list, modify special_rtx in gengenrtl.c as well. */ | |
| 1945 | |
| 1946 extern rtx gen_rtx_CONST_INT (enum machine_mode, HOST_WIDE_INT); | |
| 1947 extern rtx gen_rtx_CONST_VECTOR (enum machine_mode, rtvec); | |
| 1948 extern rtx gen_raw_REG (enum machine_mode, int); | |
| 1949 extern rtx gen_rtx_REG (enum machine_mode, unsigned); | |
| 1950 extern rtx gen_rtx_SUBREG (enum machine_mode, rtx, int); | |
| 1951 extern rtx gen_rtx_MEM (enum machine_mode, rtx); | |
| 1952 | |
| 1953 #define GEN_INT(N) gen_rtx_CONST_INT (VOIDmode, (N)) | |
| 1954 | |
| 1955 /* Virtual registers are used during RTL generation to refer to locations into | |
| 1956 the stack frame when the actual location isn't known until RTL generation | |
| 1957 is complete. The routine instantiate_virtual_regs replaces these with | |
| 1958 the proper value, which is normally {frame,arg,stack}_pointer_rtx plus | |
| 1959 a constant. */ | |
| 1960 | |
| 1961 #define FIRST_VIRTUAL_REGISTER (FIRST_PSEUDO_REGISTER) | |
| 1962 | |
| 1963 /* This points to the first word of the incoming arguments passed on the stack, | |
| 1964 either by the caller or by the callee when pretending it was passed by the | |
| 1965 caller. */ | |
| 1966 | |
| 1967 #define virtual_incoming_args_rtx (global_rtl[GR_VIRTUAL_INCOMING_ARGS]) | |
| 1968 | |
| 1969 #define VIRTUAL_INCOMING_ARGS_REGNUM (FIRST_VIRTUAL_REGISTER) | |
| 1970 | |
| 1971 /* If FRAME_GROWS_DOWNWARD, this points to immediately above the first | |
| 1972 variable on the stack. Otherwise, it points to the first variable on | |
| 1973 the stack. */ | |
| 1974 | |
| 1975 #define virtual_stack_vars_rtx (global_rtl[GR_VIRTUAL_STACK_ARGS]) | |
| 1976 | |
| 1977 #define VIRTUAL_STACK_VARS_REGNUM ((FIRST_VIRTUAL_REGISTER) + 1) | |
| 1978 | |
| 1979 /* This points to the location of dynamically-allocated memory on the stack | |
| 1980 immediately after the stack pointer has been adjusted by the amount | |
| 1981 desired. */ | |
| 1982 | |
| 1983 #define virtual_stack_dynamic_rtx (global_rtl[GR_VIRTUAL_STACK_DYNAMIC]) | |
| 1984 | |
| 1985 #define VIRTUAL_STACK_DYNAMIC_REGNUM ((FIRST_VIRTUAL_REGISTER) + 2) | |
| 1986 | |
| 1987 /* This points to the location in the stack at which outgoing arguments should | |
| 1988 be written when the stack is pre-pushed (arguments pushed using push | |
| 1989 insns always use sp). */ | |
| 1990 | |
| 1991 #define virtual_outgoing_args_rtx (global_rtl[GR_VIRTUAL_OUTGOING_ARGS]) | |
| 1992 | |
| 1993 #define VIRTUAL_OUTGOING_ARGS_REGNUM ((FIRST_VIRTUAL_REGISTER) + 3) | |
| 1994 | |
| 1995 /* This points to the Canonical Frame Address of the function. This | |
| 1996 should correspond to the CFA produced by INCOMING_FRAME_SP_OFFSET, | |
| 1997 but is calculated relative to the arg pointer for simplicity; the | |
| 1998 frame pointer nor stack pointer are necessarily fixed relative to | |
| 1999 the CFA until after reload. */ | |
| 2000 | |
| 2001 #define virtual_cfa_rtx (global_rtl[GR_VIRTUAL_CFA]) | |
| 2002 | |
| 2003 #define VIRTUAL_CFA_REGNUM ((FIRST_VIRTUAL_REGISTER) + 4) | |
| 2004 | |
| 2005 #define LAST_VIRTUAL_REGISTER ((FIRST_VIRTUAL_REGISTER) + 4) | |
| 2006 | |
| 2007 /* Nonzero if REGNUM is a pointer into the stack frame. */ | |
| 2008 #define REGNO_PTR_FRAME_P(REGNUM) \ | |
| 2009 ((REGNUM) == STACK_POINTER_REGNUM \ | |
| 2010 || (REGNUM) == FRAME_POINTER_REGNUM \ | |
| 2011 || (REGNUM) == HARD_FRAME_POINTER_REGNUM \ | |
| 2012 || (REGNUM) == ARG_POINTER_REGNUM \ | |
| 2013 || ((REGNUM) >= FIRST_VIRTUAL_REGISTER \ | |
| 2014 && (REGNUM) <= LAST_VIRTUAL_REGISTER)) | |
| 2015 | |
| 2016 /* REGNUM never really appearing in the INSN stream. */ | |
| 2017 #define INVALID_REGNUM (~(unsigned int) 0) | |
| 2018 | |
| 2019 extern rtx output_constant_def (tree, int); | |
| 2020 extern rtx lookup_constant_def (tree); | |
| 2021 | |
| 2022 /* Nonzero after end of reload pass. | |
| 2023 Set to 1 or 0 by reload1.c. */ | |
| 2024 | |
| 2025 extern int reload_completed; | |
| 2026 | |
| 2027 /* Nonzero after thread_prologue_and_epilogue_insns has run. */ | |
| 2028 extern int epilogue_completed; | |
| 2029 | |
| 2030 /* Set to 1 while reload_as_needed is operating. | |
| 2031 Required by some machines to handle any generated moves differently. */ | |
| 2032 | |
| 2033 extern int reload_in_progress; | |
| 2034 | |
| 2035 /* This macro indicates whether you may create a new | |
| 2036 pseudo-register. */ | |
| 2037 | |
| 2038 #define can_create_pseudo_p() (!reload_in_progress && !reload_completed) | |
| 2039 | |
| 2040 #ifdef STACK_REGS | |
| 2041 /* Nonzero after end of regstack pass. | |
| 2042 Set to 1 or 0 by reg-stack.c. */ | |
| 2043 extern int regstack_completed; | |
| 2044 #endif | |
| 2045 | |
| 2046 /* If this is nonzero, we do not bother generating VOLATILE | |
| 2047 around volatile memory references, and we are willing to | |
| 2048 output indirect addresses. If cse is to follow, we reject | |
| 2049 indirect addresses so a useful potential cse is generated; | |
| 2050 if it is used only once, instruction combination will produce | |
| 2051 the same indirect address eventually. */ | |
| 2052 extern int cse_not_expected; | |
| 2053 | |
| 2054 /* Translates rtx code to tree code, for those codes needed by | |
| 2055 REAL_ARITHMETIC. The function returns an int because the caller may not | |
| 2056 know what `enum tree_code' means. */ | |
| 2057 | |
| 2058 extern int rtx_to_tree_code (enum rtx_code); | |
| 2059 | |
| 2060 /* In cse.c */ | |
| 2061 extern int delete_trivially_dead_insns (rtx, int); | |
| 2062 extern int cse_main (rtx, int); | |
| 2063 extern int exp_equiv_p (const_rtx, const_rtx, int, bool); | |
| 2064 extern unsigned hash_rtx (const_rtx x, enum machine_mode, int *, int *, bool); | |
| 2065 | |
| 2066 /* In jump.c */ | |
| 2067 extern int comparison_dominates_p (enum rtx_code, enum rtx_code); | |
| 2068 extern int condjump_p (const_rtx); | |
| 2069 extern int any_condjump_p (const_rtx); | |
| 2070 extern int any_uncondjump_p (const_rtx); | |
| 2071 extern rtx pc_set (const_rtx); | |
| 2072 extern rtx condjump_label (const_rtx); | |
| 2073 extern int simplejump_p (const_rtx); | |
| 2074 extern int returnjump_p (rtx); | |
| 2075 extern int onlyjump_p (const_rtx); | |
| 2076 extern int only_sets_cc0_p (const_rtx); | |
| 2077 extern int sets_cc0_p (const_rtx); | |
| 2078 extern int invert_jump_1 (rtx, rtx); | |
| 2079 extern int invert_jump (rtx, rtx, int); | |
| 2080 extern int rtx_renumbered_equal_p (const_rtx, const_rtx); | |
| 2081 extern int true_regnum (const_rtx); | |
| 2082 extern unsigned int reg_or_subregno (const_rtx); | |
| 2083 extern int redirect_jump_1 (rtx, rtx); | |
| 2084 extern void redirect_jump_2 (rtx, rtx, rtx, int, int); | |
| 2085 extern int redirect_jump (rtx, rtx, int); | |
| 2086 extern void rebuild_jump_labels (rtx); | |
| 2087 extern rtx reversed_comparison (const_rtx, enum machine_mode); | |
| 2088 extern enum rtx_code reversed_comparison_code (const_rtx, const_rtx); | |
| 2089 extern enum rtx_code reversed_comparison_code_parts (enum rtx_code, const_rtx, | |
| 2090 const_rtx, const_rtx); | |
| 2091 extern void delete_for_peephole (rtx, rtx); | |
| 2092 extern int condjump_in_parallel_p (const_rtx); | |
| 2093 | |
| 2094 /* In emit-rtl.c. */ | |
| 2095 extern int max_reg_num (void); | |
| 2096 extern int max_label_num (void); | |
| 2097 extern int get_first_label_num (void); | |
| 2098 extern void maybe_set_first_label_num (rtx); | |
| 2099 extern void delete_insns_since (rtx); | |
| 2100 extern void mark_reg_pointer (rtx, int); | |
| 2101 extern void mark_user_reg (rtx); | |
| 2102 extern void reset_used_flags (rtx); | |
| 2103 extern void set_used_flags (rtx); | |
| 2104 extern void reorder_insns (rtx, rtx, rtx); | |
| 2105 extern void reorder_insns_nobb (rtx, rtx, rtx); | |
| 2106 extern int get_max_uid (void); | |
| 2107 extern int in_sequence_p (void); | |
| 2108 extern void force_next_line_note (void); | |
| 2109 extern void init_emit (void); | |
| 2110 extern void init_emit_regs (void); | |
| 2111 extern void init_emit_once (int); | |
| 2112 extern void push_topmost_sequence (void); | |
| 2113 extern void pop_topmost_sequence (void); | |
| 2114 extern void set_new_first_and_last_insn (rtx, rtx); | |
| 2115 extern unsigned int unshare_all_rtl (void); | |
| 2116 extern void unshare_all_rtl_again (rtx); | |
| 2117 extern void unshare_all_rtl_in_chain (rtx); | |
| 2118 extern void verify_rtl_sharing (void); | |
| 2119 extern void set_first_insn (rtx); | |
| 2120 extern void set_last_insn (rtx); | |
| 2121 extern void link_cc0_insns (rtx); | |
| 2122 extern void add_insn (rtx); | |
| 2123 extern void add_insn_before (rtx, rtx, struct basic_block_def *); | |
| 2124 extern void add_insn_after (rtx, rtx, struct basic_block_def *); | |
| 2125 extern void remove_insn (rtx); | |
| 2126 extern rtx emit (rtx); | |
| 2127 extern rtx delete_insn (rtx); | |
| 2128 extern rtx entry_of_function (void); | |
| 2129 extern void emit_insn_at_entry (rtx); | |
| 2130 extern void delete_insn_chain (rtx, rtx, bool); | |
| 2131 extern rtx unlink_insn_chain (rtx, rtx); | |
| 2132 extern rtx delete_insn_and_edges (rtx); | |
| 2133 extern void delete_insn_chain_and_edges (rtx, rtx); | |
| 2134 extern rtx gen_lowpart_SUBREG (enum machine_mode, rtx); | |
| 2135 extern rtx gen_const_mem (enum machine_mode, rtx); | |
| 2136 extern rtx gen_frame_mem (enum machine_mode, rtx); | |
| 2137 extern rtx gen_tmp_stack_mem (enum machine_mode, rtx); | |
| 2138 extern bool validate_subreg (enum machine_mode, enum machine_mode, | |
| 2139 const_rtx, unsigned int); | |
| 2140 | |
| 2141 /* In combine.c */ | |
| 2142 extern unsigned int extended_count (const_rtx, enum machine_mode, int); | |
| 2143 extern rtx remove_death (unsigned int, rtx); | |
| 2144 extern void dump_combine_stats (FILE *); | |
| 2145 extern void dump_combine_total_stats (FILE *); | |
| 2146 | |
| 2147 /* In cfgcleanup.c */ | |
| 2148 extern void delete_dead_jumptables (void); | |
| 2149 | |
| 2150 /* In sched-vis.c. */ | |
| 2151 extern void debug_bb_n_slim (int); | |
| 2152 extern void debug_bb_slim (struct basic_block_def *); | |
| 2153 extern void print_rtl_slim (FILE *, rtx, rtx, int, int); | |
| 2154 extern void print_rtl_slim_with_bb (FILE *, rtx, int); | |
| 2155 extern void dump_insn_slim (FILE *f, rtx x); | |
| 2156 extern void debug_insn_slim (rtx x); | |
| 2157 | |
| 2158 /* In sched-rgn.c. */ | |
| 2159 extern void schedule_insns (void); | |
| 2160 | |
| 2161 /* In sched-ebb.c. */ | |
| 2162 extern void schedule_ebbs (void); | |
| 2163 | |
| 2164 /* In haifa-sched.c. */ | |
| 2165 extern void fix_sched_param (const char *, const char *); | |
| 2166 | |
| 2167 /* In sel-sched-dump.c. */ | |
| 2168 extern void sel_sched_fix_param (const char *param, const char *val); | |
| 2169 | |
| 2170 /* In print-rtl.c */ | |
| 2171 extern const char *print_rtx_head; | |
| 2172 extern void debug_rtx (const_rtx); | |
| 2173 extern void debug_rtx_list (const_rtx, int); | |
| 2174 extern void debug_rtx_range (const_rtx, const_rtx); | |
| 2175 extern const_rtx debug_rtx_find (const_rtx, int); | |
| 2176 extern void print_mem_expr (FILE *, const_tree); | |
| 2177 extern void print_rtl (FILE *, const_rtx); | |
| 2178 extern void print_simple_rtl (FILE *, const_rtx); | |
| 2179 extern int print_rtl_single (FILE *, const_rtx); | |
| 2180 extern void print_inline_rtx (FILE *, const_rtx, int); | |
| 2181 | |
| 2182 /* In function.c */ | |
| 2183 extern void reposition_prologue_and_epilogue_notes (void); | |
| 2184 extern int prologue_epilogue_contains (const_rtx); | |
| 2185 extern int sibcall_epilogue_contains (const_rtx); | |
| 2186 extern void mark_temp_addr_taken (rtx); | |
| 2187 extern void update_temp_slot_address (rtx, rtx); | |
| 2188 | |
| 2189 /* In stmt.c */ | |
| 2190 extern void expand_null_return (void); | |
| 2191 extern void expand_naked_return (void); | |
| 2192 extern void emit_jump (rtx); | |
| 2193 | |
| 2194 /* In expr.c */ | |
| 2195 extern rtx move_by_pieces (rtx, rtx, unsigned HOST_WIDE_INT, | |
| 2196 unsigned int, int); | |
| 2197 | |
| 2198 /* In cfgrtl.c */ | |
| 2199 extern void print_rtl_with_bb (FILE *, const_rtx); | |
| 2200 | |
| 2201 /* In cfg.c. */ | |
| 2202 extern void dump_reg_info (FILE *); | |
| 2203 extern void dump_flow_info (FILE *, int); | |
| 2204 | |
| 2205 /* In expmed.c */ | |
| 2206 extern void init_expmed (void); | |
| 2207 extern void expand_inc (rtx, rtx); | |
| 2208 extern void expand_dec (rtx, rtx); | |
| 2209 | |
| 2210 /* In gcse.c */ | |
| 2211 extern bool can_copy_p (enum machine_mode); | |
| 2212 extern rtx fis_get_condition (rtx); | |
| 2213 | |
| 2214 /* In ira.c */ | |
| 2215 #ifdef HARD_CONST | |
| 2216 extern HARD_REG_SET eliminable_regset; | |
| 2217 #endif | |
| 2218 extern void mark_elimination (int, int); | |
| 2219 | |
| 2220 /* In reginfo.c */ | |
| 2221 extern int reg_classes_intersect_p (enum reg_class, enum reg_class); | |
| 2222 extern int reg_class_subset_p (enum reg_class, enum reg_class); | |
| 2223 extern void globalize_reg (int); | |
| 2224 extern void init_reg_modes_target (void); | |
| 2225 extern void init_regs (void); | |
| 2226 extern void reinit_regs (void); | |
| 2227 extern void init_fake_stack_mems (void); | |
| 2228 extern void save_register_info (void); | |
| 2229 extern void init_reg_sets (void); | |
| 2230 extern void regclass (rtx, int); | |
| 2231 extern void reg_scan (rtx, unsigned int); | |
| 2232 extern void fix_register (const char *, int, int); | |
| 2233 #ifdef HARD_CONST | |
| 2234 extern void cannot_change_mode_set_regs (HARD_REG_SET *, | |
| 2235 enum machine_mode, unsigned int); | |
| 2236 #endif | |
| 2237 extern bool invalid_mode_change_p (unsigned int, enum reg_class, | |
| 2238 enum machine_mode); | |
| 2239 | |
| 2240 /* In reorg.c */ | |
| 2241 extern void dbr_schedule (rtx); | |
| 2242 | |
| 2243 /* In reload1.c */ | |
| 2244 extern int function_invariant_p (const_rtx); | |
| 2245 | |
| 2246 /* In calls.c */ | |
| 2247 enum libcall_type | |
| 2248 { | |
| 2249 LCT_NORMAL = 0, | |
| 2250 LCT_CONST = 1, | |
| 2251 LCT_PURE = 2, | |
| 2252 LCT_NORETURN = 3, | |
| 2253 LCT_THROW = 4, | |
| 2254 LCT_RETURNS_TWICE = 5 | |
| 2255 }; | |
| 2256 | |
| 2257 extern void emit_library_call (rtx, enum libcall_type, enum machine_mode, int, | |
| 2258 ...); | |
| 2259 extern rtx emit_library_call_value (rtx, rtx, enum libcall_type, | |
| 2260 enum machine_mode, int, ...); | |
| 2261 | |
| 2262 /* In varasm.c */ | |
| 2263 extern void init_varasm_once (void); | |
| 2264 extern enum tls_model decl_default_tls_model (const_tree); | |
| 2265 | |
| 2266 /* In rtl.c */ | |
| 2267 extern void traverse_md_constants (int (*) (void **, void *), void *); | |
| 2268 struct md_constant { char *name, *value; }; | |
| 2269 | |
| 2270 /* In read-rtl.c */ | |
| 2271 extern int read_skip_spaces (FILE *); | |
| 2272 extern bool read_rtx (FILE *, rtx *, int *); | |
| 2273 extern void copy_rtx_ptr_loc (const void *, const void *); | |
| 2274 extern void print_rtx_ptr_loc (const void *); | |
| 2275 extern const char *join_c_conditions (const char *, const char *); | |
| 2276 extern void print_c_condition (const char *); | |
| 2277 extern const char *read_rtx_filename; | |
| 2278 extern int read_rtx_lineno; | |
| 2279 | |
| 2280 /* In alias.c */ | |
| 2281 extern rtx canon_rtx (rtx); | |
| 2282 extern int true_dependence (const_rtx, enum machine_mode, const_rtx, bool (*)(const_rtx, bool)); | |
| 2283 extern rtx get_addr (rtx); | |
| 2284 extern int canon_true_dependence (const_rtx, enum machine_mode, rtx, const_rtx, | |
|
19
58ad6c70ea60
update gcc from 4.4.0 to 4.4.1.
kent@firefly.cr.ie.u-ryukyu.ac.jp
parents:
0
diff
changeset
|
2285 rtx, bool (*)(const_rtx, bool)); |
| 0 | 2286 extern int read_dependence (const_rtx, const_rtx); |
| 2287 extern int anti_dependence (const_rtx, const_rtx); | |
| 2288 extern int output_dependence (const_rtx, const_rtx); | |
| 2289 extern void init_alias_target (void); | |
| 2290 extern void init_alias_analysis (void); | |
| 2291 extern void end_alias_analysis (void); | |
| 2292 extern bool memory_modified_in_insn_p (const_rtx, const_rtx); | |
| 2293 extern rtx find_base_term (rtx); | |
| 2294 extern rtx gen_hard_reg_clobber (enum machine_mode, unsigned int); | |
| 2295 extern rtx get_reg_known_value (unsigned int); | |
| 2296 extern bool get_reg_known_equiv_p (unsigned int); | |
| 2297 | |
| 2298 #ifdef STACK_REGS | |
| 2299 extern int stack_regs_mentioned (const_rtx insn); | |
| 2300 #endif | |
| 2301 | |
| 2302 /* In toplev.c */ | |
| 2303 extern GTY(()) rtx stack_limit_rtx; | |
| 2304 | |
| 2305 /* In predict.c */ | |
| 2306 extern void invert_br_probabilities (rtx); | |
| 2307 extern bool expensive_function_p (int); | |
| 2308 /* In cfgexpand.c */ | |
| 2309 extern void add_reg_br_prob_note (rtx last, int probability); | |
| 2310 | |
| 2311 /* In var-tracking.c */ | |
| 2312 extern unsigned int variable_tracking_main (void); | |
| 2313 | |
| 2314 /* In stor-layout.c. */ | |
| 2315 extern void get_mode_bounds (enum machine_mode, int, enum machine_mode, | |
| 2316 rtx *, rtx *); | |
| 2317 | |
| 2318 /* In loop-unswitch.c */ | |
| 2319 extern rtx reversed_condition (rtx); | |
| 2320 extern rtx compare_and_jump_seq (rtx, rtx, enum rtx_code, rtx, int, rtx); | |
| 2321 | |
| 2322 /* In loop-iv.c */ | |
| 2323 extern rtx canon_condition (rtx); | |
| 2324 extern void simplify_using_condition (rtx, rtx *, struct bitmap_head_def *); | |
| 2325 | |
| 2326 /* In final.c */ | |
| 2327 extern unsigned int compute_alignments (void); | |
| 2328 | |
| 2329 struct rtl_hooks | |
| 2330 { | |
| 2331 rtx (*gen_lowpart) (enum machine_mode, rtx); | |
| 2332 rtx (*gen_lowpart_no_emit) (enum machine_mode, rtx); | |
| 2333 rtx (*reg_nonzero_bits) (const_rtx, enum machine_mode, const_rtx, enum machine_mode, | |
| 2334 unsigned HOST_WIDE_INT, unsigned HOST_WIDE_INT *); | |
| 2335 rtx (*reg_num_sign_bit_copies) (const_rtx, enum machine_mode, const_rtx, enum machine_mode, | |
| 2336 unsigned int, unsigned int *); | |
| 2337 bool (*reg_truncated_to_mode) (enum machine_mode, const_rtx); | |
| 2338 | |
| 2339 /* Whenever you add entries here, make sure you adjust rtlhooks-def.h. */ | |
| 2340 }; | |
| 2341 | |
| 2342 /* Each pass can provide its own. */ | |
| 2343 extern struct rtl_hooks rtl_hooks; | |
| 2344 | |
| 2345 /* ... but then it has to restore these. */ | |
| 2346 extern const struct rtl_hooks general_rtl_hooks; | |
| 2347 | |
| 2348 /* Keep this for the nonce. */ | |
| 2349 #define gen_lowpart rtl_hooks.gen_lowpart | |
| 2350 | |
| 2351 extern void insn_locators_alloc (void); | |
| 2352 extern void insn_locators_free (void); | |
| 2353 extern void insn_locators_finalize (void); | |
| 2354 extern void set_curr_insn_source_location (location_t); | |
| 2355 extern void set_curr_insn_block (tree); | |
| 2356 extern int curr_insn_locator (void); | |
| 2357 extern bool optimize_insn_for_size_p (void); | |
| 2358 extern bool optimize_insn_for_speed_p (void); | |
| 2359 | |
| 2360 #endif /* ! GCC_RTL_H */ |