]>
Commit | Line | Data |
---|---|---|
bccafa26 | 1 | /* Register Transfer Language (RTL) definitions for GCC |
4dc5882f | 2 | Copyright (C) 1987, 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, |
9c85a98a | 3 | 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008 |
1a6a0f2a | 4 | Free Software Foundation, Inc. |
759bebca | 5 | |
f12b58b3 | 6 | This file is part of GCC. |
759bebca | 7 | |
f12b58b3 | 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 | |
8c4c00c1 | 10 | Software Foundation; either version 3, or (at your option) any later |
f12b58b3 | 11 | version. |
759bebca | 12 | |
f12b58b3 | 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. | |
759bebca | 17 | |
18 | You should have received a copy of the GNU General Public License | |
8c4c00c1 | 19 | along with GCC; see the file COPYING3. If not see |
20 | <http://www.gnu.org/licenses/>. */ | |
759bebca | 21 | |
2a281353 | 22 | #ifndef GCC_RTL_H |
23 | #define GCC_RTL_H | |
605f66ec | 24 | |
fdef3332 | 25 | #include "statistics.h" |
759bebca | 26 | #include "machmode.h" |
0a3b3d88 | 27 | #include "input.h" |
e8aaae4e | 28 | #include "real.h" |
f2d0e9f1 | 29 | #include "vec.h" |
e397ad8e | 30 | #include "fixed-value.h" |
32c2fdea | 31 | #include "alias.h" |
759bebca | 32 | |
33 | #undef FFS /* Some systems predefine this symbol; don't let it interfere. */ | |
c32e1850 | 34 | #undef FLOAT /* Likewise. */ |
2cb13480 | 35 | #undef ABS /* Likewise. */ |
2ebe8a66 | 36 | #undef PC /* Likewise. */ |
759bebca | 37 | |
c6259b83 | 38 | /* Value used by some passes to "recognize" noop moves as valid |
a7dce381 | 39 | instructions. */ |
1805c35c | 40 | #define NOOP_MOVE_INSN_CODE INT_MAX |
41 | ||
759bebca | 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 | ||
4bbea254 | 51 | LAST_AND_UNUSED_RTX_CODE}; /* A convenient way to get a value for |
759bebca | 52 | NUM_RTX_CODE. |
4bbea254 | 53 | Assumes default enum value assignment. */ |
759bebca | 54 | |
47c251e5 | 55 | #define NUM_RTX_CODE ((int) LAST_AND_UNUSED_RTX_CODE) |
759bebca | 56 | /* The cast here, saves many elsewhere. */ |
57 | ||
6720e96c | 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) | |
6720e96c | 97 | |
1af5f160 | 98 | extern const unsigned char rtx_length[NUM_RTX_CODE]; |
a92771b8 | 99 | #define GET_RTX_LENGTH(CODE) (rtx_length[(int) (CODE)]) |
759bebca | 100 | |
1af5f160 | 101 | extern const char * const rtx_name[NUM_RTX_CODE]; |
a92771b8 | 102 | #define GET_RTX_NAME(CODE) (rtx_name[(int) (CODE)]) |
759bebca | 103 | |
1af5f160 | 104 | extern const char * const rtx_format[NUM_RTX_CODE]; |
a92771b8 | 105 | #define GET_RTX_FORMAT(CODE) (rtx_format[(int) (CODE)]) |
759bebca | 106 | |
6720e96c | 107 | extern const enum rtx_class rtx_class[NUM_RTX_CODE]; |
a92771b8 | 108 | #define GET_RTX_CLASS(CODE) (rtx_class[(int) (CODE)]) |
c849df63 | 109 | |
f2d0e9f1 | 110 | extern const unsigned char rtx_code_size[NUM_RTX_CODE]; |
c849df63 | 111 | extern const unsigned char rtx_next[NUM_RTX_CODE]; |
759bebca | 112 | \f |
9eaab178 | 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. */ | |
c6259b83 | 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. */ | |
9eaab178 | 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 | ||
c6259b83 | 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. */ | |
07ebef41 | 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. */ | |
1f3233d1 | 142 | typedef struct mem_attrs GTY(()) |
c6259b83 | 143 | { |
32c2fdea | 144 | alias_set_type alias; /* Memory alias set. */ |
b10dbbca | 145 | tree expr; /* expr corresponding to MEM. */ |
a7dce381 | 146 | rtx offset; /* Offset from start of DECL, as CONST_INT. */ |
c6259b83 | 147 | rtx size; /* Size in bytes, as a CONST_INT. */ |
1c4512da | 148 | unsigned int align; /* Alignment of MEM in bits. */ |
c6259b83 | 149 | } mem_attrs; |
150 | ||
ca74b940 | 151 | /* Structure used to describe the attributes of a REG in similar way as |
80c70e76 | 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. */ | |
ca74b940 | 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 | ||
759bebca | 164 | /* Common union for an element of an rtx. */ |
165 | ||
c849df63 | 166 | union rtunion_def |
759bebca | 167 | { |
993d9e55 | 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; | |
9eaab178 | 174 | addr_diff_vec_flags rt_addr_diff_vec_flags; |
1617c276 | 175 | struct cselib_val_struct *rt_cselib; |
993d9e55 | 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; | |
7c266bb1 | 181 | struct constant_descriptor_rtx *rt_constant; |
c849df63 | 182 | }; |
183 | typedef union rtunion_def rtunion; | |
759bebca | 184 | |
f2d0e9f1 | 185 | /* This structure remembers the position of a SYMBOL_REF within an |
186 | object_block structure. A SYMBOL_REF only provides this information | |
6617cbc1 | 187 | if SYMBOL_REF_HAS_BLOCK_INFO_P is true. */ |
f2d0e9f1 | 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 | ||
6617cbc1 | 221 | SYMBOL_REF_HAS_BLOCK_INFO_P (X) |
f2d0e9f1 | 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 | ||
6617cbc1 | 231 | SYMBOL_REF_HAS_BLOCK_INFO_P (X) |
f2d0e9f1 | 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 | ||
759bebca | 238 | /* RTL expression ("rtx"). */ |
239 | ||
1a97be37 | 240 | struct rtx_def GTY((chain_next ("RTX_NEXT (&%h)"), |
c849df63 | 241 | chain_prev ("RTX_PREV (&%h)"))) |
759bebca | 242 | { |
759bebca | 243 | /* The kind of expression this is. */ |
488c4206 | 244 | ENUM_BITFIELD(rtx_code) code: 16; |
bfec6070 | 245 | |
759bebca | 246 | /* The kind of value the expression has. */ |
488c4206 | 247 | ENUM_BITFIELD(machine_mode) mode : 8; |
248 | ||
e7f75e15 | 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. | |
a7ae1e59 | 252 | 1 in a SET that is for a return. |
253 | In a CODE_LABEL, part of the two-bit alternate entry field. */ | |
759bebca | 254 | unsigned int jump : 1; |
1ed8ccdb | 255 | /* In a CODE_LABEL, part of the two-bit alternate entry field. |
9c2a0c05 | 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. */ | |
759bebca | 259 | unsigned int call : 1; |
e7f75e15 | 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. | |
759bebca | 263 | 1 in a SYMBOL_REF if it addresses something in the per-function |
264 | constants pool. | |
9c2a0c05 | 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. | |
5fdf542c | 267 | 1 in a JUMP_INSN, CALL_INSN, or INSN of an annulling branch. */ |
759bebca | 268 | unsigned int unchanging : 1; |
e7f75e15 | 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, | |
759bebca | 273 | 0 for an internally generated temporary. |
e7f75e15 | 274 | 1 in a SUBREG with a negative value. |
19d2fe05 | 275 | 1 in a LABEL_REF, REG_LABEL_TARGET or REG_LABEL_OPERAND note for a |
276 | non-local label. | |
e7f75e15 | 277 | In a SYMBOL_REF, this flag is used for machine-specific purposes. */ |
759bebca | 278 | unsigned int volatil : 1; |
cdd56452 | 279 | /* 1 in a MEM referring to a field of an aggregate. |
759bebca | 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. | |
f220c8f0 | 283 | 1 in a SUBREG expression if was generated from a variable with a |
3e8eba79 | 284 | promoted mode. |
759bebca | 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. | |
f372955c | 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. | |
759bebca | 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; | |
5bbaf5ca | 291 | cleared before used. */ |
759bebca | 292 | unsigned int in_struct : 1; |
e7f75e15 | 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'. | |
f220c8f0 | 295 | In a REG, this is not needed for that purpose, and used instead |
759bebca | 296 | in `leaf_renumber_regs_insn'. |
e7f75e15 | 297 | 1 in a SYMBOL_REF, means that emit_library_call |
759bebca | 298 | has used it as the function. */ |
299 | unsigned int used : 1; | |
fa19b467 | 300 | /* 1 in an INSN or a SET if this rtx is related to the call frame, |
6a0934dd | 301 | either changing how we compute the frame address or saving and |
f220c8f0 | 302 | restoring registers in the prologue and epilogue. |
8d350e69 | 303 | 1 in a REG or MEM if it is a pointer. |
abf74c5b | 304 | 1 in a SYMBOL_REF if it addresses something in the per-function |
305 | constant string pool. */ | |
df78b73b | 306 | unsigned frame_related : 1; |
4ee9c684 | 307 | /* 1 in a REG or PARALLEL that is the current function's return value. |
c55c3439 | 308 | 1 in a MEM if it refers to a scalar. |
9c2a0c05 | 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. */ | |
4ee9c684 | 311 | unsigned return_val : 1; |
05513b45 | 312 | |
759bebca | 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. */ | |
bf6b5685 | 316 | union u { |
317 | rtunion fld[1]; | |
318 | HOST_WIDE_INT hwint[1]; | |
f2d0e9f1 | 319 | struct block_symbol block_sym; |
e8aaae4e | 320 | struct real_value rv; |
e397ad8e | 321 | struct fixed_value fv; |
bf6b5685 | 322 | } GTY ((special ("rtx_def"), desc ("GET_CODE (&%0)"))) u; |
6a3e3d6d | 323 | }; |
759bebca | 324 | |
bf6b5685 | 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. */ | |
f2d0e9f1 | 329 | #define RTX_CODE_SIZE(CODE) rtx_code_size[CODE] |
bf6b5685 | 330 | |
759bebca | 331 | #define NULL_RTX (rtx) 0 |
332 | ||
c849df63 | 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 | */ | |
6d7dc5b9 | 340 | #define RTX_PREV(X) ((INSN_P (X) \ |
341 | || NOTE_P (X) \ | |
342 | || BARRIER_P (X) \ | |
343 | || LABEL_P (X)) \ | |
c849df63 | 344 | && PREV_INSN (X) != NULL \ |
345 | && NEXT_INSN (PREV_INSN (X)) == X \ | |
346 | ? PREV_INSN (X) : NULL) | |
347 | ||
759bebca | 348 | /* Define macros to access the `code' field of the rtx. */ |
349 | ||
0fd4500a | 350 | #define GET_CODE(RTX) ((enum rtx_code) (RTX)->code) |
2aea9e36 | 351 | #define PUT_CODE(RTX, CODE) ((RTX)->code = (CODE)) |
759bebca | 352 | |
0fd4500a | 353 | #define GET_MODE(RTX) ((enum machine_mode) (RTX)->mode) |
2aea9e36 | 354 | #define PUT_MODE(RTX, MODE) ((RTX)->mode = (MODE)) |
759bebca | 355 | |
759bebca | 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 | ||
1f3233d1 | 360 | struct rtvec_def GTY(()) { |
0dbd1c74 | 361 | int num_elem; /* number of elements */ |
1f3233d1 | 362 | rtx GTY ((length ("%h.num_elem"))) elem[1]; |
6a3e3d6d | 363 | }; |
759bebca | 364 | |
365 | #define NULL_RTVEC (rtvec) 0 | |
366 | ||
367 | #define GET_NUM_ELEM(RTVEC) ((RTVEC)->num_elem) | |
0dbd1c74 | 368 | #define PUT_NUM_ELEM(RTVEC, NUM) ((RTVEC)->num_elem = (NUM)) |
759bebca | 369 | |
e75781d3 | 370 | /* Predicate yielding nonzero iff X is an rtx for a register. */ |
759bebca | 371 | #define REG_P(X) (GET_CODE (X) == REG) |
372 | ||
e75781d3 | 373 | /* Predicate yielding nonzero iff X is an rtx for a memory location. */ |
374 | #define MEM_P(X) (GET_CODE (X) == MEM) | |
375 | ||
9ca2c29a | 376 | /* Predicate yielding nonzero iff X is an rtx for a constant integer. */ |
97590808 | 377 | #define CONST_INT_P(X) (GET_CODE (X) == CONST_INT) |
378 | ||
1deb248e | 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 | ||
e75781d3 | 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 | ||
1deb248e | 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 | ||
6720e96c | 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 | ||
759bebca | 453 | /* 1 if X is a constant value that is an integer. */ |
454 | ||
455 | #define CONSTANT_P(X) \ | |
0824c0d2 | 456 | (GET_RTX_CLASS (GET_CODE (X)) == RTX_CONST_OBJ) |
759bebca | 457 | |
6720e96c | 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 | ||
759bebca | 462 | /* General accessor macros for accessing the fields of an rtx. */ |
463 | ||
0c4e40c5 | 464 | #if defined ENABLE_RTL_CHECKING && (GCC_VERSION >= 2007) |
25999090 | 465 | /* The bit with a star outside the statement expr and an & inside is |
466 | so that N can be evaluated only once. */ | |
db7e2f59 | 467 | #define RTL_CHECK1(RTX, N, C1) __extension__ \ |
0c16c31b | 468 | (*({ __typeof (RTX) const _rtx = (RTX); const int _n = (N); \ |
861589fe | 469 | const enum rtx_code _code = GET_CODE (_rtx); \ |
25999090 | 470 | if (_n < 0 || _n >= GET_RTX_LENGTH (_code)) \ |
017c31d6 | 471 | rtl_check_failed_bounds (_rtx, _n, __FILE__, __LINE__, \ |
472 | __FUNCTION__); \ | |
25999090 | 473 | if (GET_RTX_FORMAT(_code)[_n] != C1) \ |
017c31d6 | 474 | rtl_check_failed_type1 (_rtx, _n, C1, __FILE__, __LINE__, \ |
475 | __FUNCTION__); \ | |
bf6b5685 | 476 | &_rtx->u.fld[_n]; })) |
25999090 | 477 | |
db7e2f59 | 478 | #define RTL_CHECK2(RTX, N, C1, C2) __extension__ \ |
0c16c31b | 479 | (*({ __typeof (RTX) const _rtx = (RTX); const int _n = (N); \ |
861589fe | 480 | const enum rtx_code _code = GET_CODE (_rtx); \ |
25999090 | 481 | if (_n < 0 || _n >= GET_RTX_LENGTH (_code)) \ |
017c31d6 | 482 | rtl_check_failed_bounds (_rtx, _n, __FILE__, __LINE__, \ |
483 | __FUNCTION__); \ | |
25999090 | 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__, \ | |
19fafbd3 | 487 | __FUNCTION__); \ |
bf6b5685 | 488 | &_rtx->u.fld[_n]; })) |
25999090 | 489 | |
db7e2f59 | 490 | #define RTL_CHECKC1(RTX, N, C) __extension__ \ |
0c16c31b | 491 | (*({ __typeof (RTX) const _rtx = (RTX); const int _n = (N); \ |
017c31d6 | 492 | if (GET_CODE (_rtx) != (C)) \ |
493 | rtl_check_failed_code1 (_rtx, (C), __FILE__, __LINE__, \ | |
494 | __FUNCTION__); \ | |
bf6b5685 | 495 | &_rtx->u.fld[_n]; })) |
005d995b | 496 | |
db7e2f59 | 497 | #define RTL_CHECKC2(RTX, N, C1, C2) __extension__ \ |
0c16c31b | 498 | (*({ __typeof (RTX) const _rtx = (RTX); const int _n = (N); \ |
861589fe | 499 | const enum rtx_code _code = GET_CODE (_rtx); \ |
017c31d6 | 500 | if (_code != (C1) && _code != (C2)) \ |
501 | rtl_check_failed_code2 (_rtx, (C1), (C2), __FILE__, __LINE__, \ | |
502 | __FUNCTION__); \ | |
bf6b5685 | 503 | &_rtx->u.fld[_n]; })) |
005d995b | 504 | |
db7e2f59 | 505 | #define RTVEC_ELT(RTVEC, I) __extension__ \ |
0c16c31b | 506 | (*({ __typeof (RTVEC) const _rtvec = (RTVEC); const int _i = (I); \ |
25999090 | 507 | if (_i < 0 || _i >= GET_NUM_ELEM (_rtvec)) \ |
508 | rtvec_check_failed_bounds (_rtvec, _i, __FILE__, __LINE__, \ | |
19fafbd3 | 509 | __FUNCTION__); \ |
25999090 | 510 | &_rtvec->elem[_i]; })) |
511 | ||
bf6b5685 | 512 | #define XWINT(RTX, N) __extension__ \ |
0c16c31b | 513 | (*({ __typeof (RTX) const _rtx = (RTX); const int _n = (N); \ |
bf6b5685 | 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__ \ | |
0c16c31b | 524 | (*({ __typeof (RTX) const _rtx = (RTX); \ |
bf6b5685 | 525 | if (GET_CODE (_rtx) != (C)) \ |
526 | rtl_check_failed_code1 (_rtx, (C), __FILE__, __LINE__, \ | |
527 | __FUNCTION__); \ | |
528 | &_rtx->u.hwint[N]; })) | |
529 | ||
e8aaae4e | 530 | #define XCMWINT(RTX, N, C, M) __extension__ \ |
0c16c31b | 531 | (*({ __typeof (RTX) const _rtx = (RTX); \ |
e8aaae4e | 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__ \ | |
0c16c31b | 538 | ({ __typeof (RTX) const _rtx = (RTX); \ |
e8aaae4e | 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 | ||
e397ad8e | 544 | #define XCNMPFV(RTX, C, M) __extension__ \ |
6463c271 | 545 | ({ __typeof (RTX) const _rtx = (RTX); \ |
e397ad8e | 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 | ||
f2d0e9f1 | 551 | #define BLOCK_SYMBOL_CHECK(RTX) __extension__ \ |
0c16c31b | 552 | ({ __typeof (RTX) const _symbol = (RTX); \ |
553 | const unsigned int flags = RTL_CHECKC1 (_symbol, 1, SYMBOL_REF).rt_int; \ | |
6617cbc1 | 554 | if ((flags & SYMBOL_FLAG_HAS_BLOCK_INFO) == 0) \ |
f2d0e9f1 | 555 | rtl_check_failed_block_symbol (__FILE__, __LINE__, \ |
556 | __FUNCTION__); \ | |
557 | &_symbol->u.block_sym; }) | |
558 | ||
dd9b9fc5 | 559 | extern void rtl_check_failed_bounds (const_rtx, int, const char *, int, |
3ad4992f | 560 | const char *) |
25999090 | 561 | ATTRIBUTE_NORETURN; |
dd9b9fc5 | 562 | extern void rtl_check_failed_type1 (const_rtx, int, int, const char *, int, |
3ad4992f | 563 | const char *) |
25999090 | 564 | ATTRIBUTE_NORETURN; |
dd9b9fc5 | 565 | extern void rtl_check_failed_type2 (const_rtx, int, int, int, const char *, |
3ad4992f | 566 | int, const char *) |
25999090 | 567 | ATTRIBUTE_NORETURN; |
dd9b9fc5 | 568 | extern void rtl_check_failed_code1 (const_rtx, enum rtx_code, const char *, |
3ad4992f | 569 | int, const char *) |
005d995b | 570 | ATTRIBUTE_NORETURN; |
dd9b9fc5 | 571 | extern void rtl_check_failed_code2 (const_rtx, enum rtx_code, enum rtx_code, |
3ad4992f | 572 | const char *, int, const char *) |
005d995b | 573 | ATTRIBUTE_NORETURN; |
dd9b9fc5 | 574 | extern void rtl_check_failed_code_mode (const_rtx, enum rtx_code, enum machine_mode, |
e8aaae4e | 575 | bool, const char *, int, const char *) |
576 | ATTRIBUTE_NORETURN; | |
f2d0e9f1 | 577 | extern void rtl_check_failed_block_symbol (const char *, int, const char *) |
578 | ATTRIBUTE_NORETURN; | |
dd9b9fc5 | 579 | extern void rtvec_check_failed_bounds (const_rtvec, int, const char *, int, |
3ad4992f | 580 | const char *) |
25999090 | 581 | ATTRIBUTE_NORETURN; |
582 | ||
0c4e40c5 | 583 | #else /* not ENABLE_RTL_CHECKING */ |
25999090 | 584 | |
bf6b5685 | 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]) | |
005d995b | 589 | #define RTVEC_ELT(RTVEC, I) ((RTVEC)->elem[I]) |
bf6b5685 | 590 | #define XWINT(RTX, N) ((RTX)->u.hwint[N]) |
591 | #define XCWINT(RTX, N, C) ((RTX)->u.hwint[N]) | |
e8aaae4e | 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) | |
e397ad8e | 595 | #define XCNMPFV(RTX, C, M) (&(RTX)->u.fv) |
f2d0e9f1 | 596 | #define BLOCK_SYMBOL_CHECK(RTX) (&(RTX)->u.block_sym) |
25999090 | 597 | |
598 | #endif | |
599 | ||
e7f75e15 | 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 | ||
9b535aa8 | 605 | #if defined ENABLE_RTL_FLAG_CHECKING && (GCC_VERSION >= 2007) |
3c6858c6 | 606 | #define RTL_FLAG_CHECK1(NAME, RTX, C1) __extension__ \ |
0c16c31b | 607 | ({ __typeof (RTX) const _rtx = (RTX); \ |
e7f75e15 | 608 | if (GET_CODE(_rtx) != C1) \ |
3c6858c6 | 609 | rtl_check_failed_flag (NAME, _rtx, __FILE__, __LINE__, \ |
1a97be37 | 610 | __FUNCTION__); \ |
e7f75e15 | 611 | _rtx; }) |
612 | ||
3c6858c6 | 613 | #define RTL_FLAG_CHECK2(NAME, RTX, C1, C2) __extension__ \ |
0c16c31b | 614 | ({ __typeof (RTX) const _rtx = (RTX); \ |
e7f75e15 | 615 | if (GET_CODE(_rtx) != C1 && GET_CODE(_rtx) != C2) \ |
3c6858c6 | 616 | rtl_check_failed_flag (NAME,_rtx, __FILE__, __LINE__, \ |
1a97be37 | 617 | __FUNCTION__); \ |
e7f75e15 | 618 | _rtx; }) |
619 | ||
3c6858c6 | 620 | #define RTL_FLAG_CHECK3(NAME, RTX, C1, C2, C3) __extension__ \ |
0c16c31b | 621 | ({ __typeof (RTX) const _rtx = (RTX); \ |
1a97be37 | 622 | if (GET_CODE(_rtx) != C1 && GET_CODE(_rtx) != C2 \ |
e7f75e15 | 623 | && GET_CODE(_rtx) != C3) \ |
3c6858c6 | 624 | rtl_check_failed_flag (NAME, _rtx, __FILE__, __LINE__, \ |
1a97be37 | 625 | __FUNCTION__); \ |
e7f75e15 | 626 | _rtx; }) |
627 | ||
3c6858c6 | 628 | #define RTL_FLAG_CHECK4(NAME, RTX, C1, C2, C3, C4) __extension__ \ |
0c16c31b | 629 | ({ __typeof (RTX) const _rtx = (RTX); \ |
1a97be37 | 630 | if (GET_CODE(_rtx) != C1 && GET_CODE(_rtx) != C2 \ |
e7f75e15 | 631 | && GET_CODE(_rtx) != C3 && GET_CODE(_rtx) != C4) \ |
3c6858c6 | 632 | rtl_check_failed_flag (NAME, _rtx, __FILE__, __LINE__, \ |
1a97be37 | 633 | __FUNCTION__); \ |
e7f75e15 | 634 | _rtx; }) |
635 | ||
3c6858c6 | 636 | #define RTL_FLAG_CHECK5(NAME, RTX, C1, C2, C3, C4, C5) __extension__ \ |
0c16c31b | 637 | ({ __typeof (RTX) const _rtx = (RTX); \ |
1a97be37 | 638 | if (GET_CODE(_rtx) != C1 && GET_CODE(_rtx) != C2 \ |
e7f75e15 | 639 | && GET_CODE(_rtx) != C3 && GET_CODE(_rtx) != C4 \ |
640 | && GET_CODE(_rtx) != C5) \ | |
3c6858c6 | 641 | rtl_check_failed_flag (NAME, _rtx, __FILE__, __LINE__, \ |
1a97be37 | 642 | __FUNCTION__); \ |
e7f75e15 | 643 | _rtx; }) |
644 | ||
3c6858c6 | 645 | #define RTL_FLAG_CHECK6(NAME, RTX, C1, C2, C3, C4, C5, C6) \ |
646 | __extension__ \ | |
0c16c31b | 647 | ({ __typeof (RTX) const _rtx = (RTX); \ |
1a97be37 | 648 | if (GET_CODE(_rtx) != C1 && GET_CODE(_rtx) != C2 \ |
e7f75e15 | 649 | && GET_CODE(_rtx) != C3 && GET_CODE(_rtx) != C4 \ |
650 | && GET_CODE(_rtx) != C5 && GET_CODE(_rtx) != C6) \ | |
3c6858c6 | 651 | rtl_check_failed_flag (NAME,_rtx, __FILE__, __LINE__, \ |
1a97be37 | 652 | __FUNCTION__); \ |
e7f75e15 | 653 | _rtx; }) |
654 | ||
3c6858c6 | 655 | #define RTL_FLAG_CHECK7(NAME, RTX, C1, C2, C3, C4, C5, C6, C7) \ |
656 | __extension__ \ | |
0c16c31b | 657 | ({ __typeof (RTX) const _rtx = (RTX); \ |
1a97be37 | 658 | if (GET_CODE(_rtx) != C1 && GET_CODE(_rtx) != C2 \ |
e7f75e15 | 659 | && GET_CODE(_rtx) != C3 && GET_CODE(_rtx) != C4 \ |
660 | && GET_CODE(_rtx) != C5 && GET_CODE(_rtx) != C6 \ | |
661 | && GET_CODE(_rtx) != C7) \ | |
3c6858c6 | 662 | rtl_check_failed_flag (NAME, _rtx, __FILE__, __LINE__, \ |
1a97be37 | 663 | __FUNCTION__); \ |
e7f75e15 | 664 | _rtx; }) |
665 | ||
3c6858c6 | 666 | #define RTL_FLAG_CHECK8(NAME, RTX, C1, C2, C3, C4, C5, C6, C7, C8) \ |
667 | __extension__ \ | |
0c16c31b | 668 | ({ __typeof (RTX) const _rtx = (RTX); \ |
1a97be37 | 669 | if (GET_CODE(_rtx) != C1 && GET_CODE(_rtx) != C2 \ |
e7f75e15 | 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) \ | |
3c6858c6 | 673 | rtl_check_failed_flag (NAME, _rtx, __FILE__, __LINE__, \ |
1a97be37 | 674 | __FUNCTION__); \ |
e7f75e15 | 675 | _rtx; }) |
676 | ||
dd9b9fc5 | 677 | extern void rtl_check_failed_flag (const char *, const_rtx, const char *, |
3ad4992f | 678 | int, const char *) |
e7f75e15 | 679 | ATTRIBUTE_NORETURN |
680 | ; | |
681 | ||
682 | #else /* not ENABLE_RTL_FLAG_CHECKING */ | |
683 | ||
3c6858c6 | 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) | |
1a97be37 | 688 | #define RTL_FLAG_CHECK5(NAME, RTX, C1, C2, C3, C4, C5) (RTX) |
3c6858c6 | 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) | |
e7f75e15 | 692 | #endif |
693 | ||
993d9e55 | 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) | |
25999090 | 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 | ||
bf6b5685 | 707 | /* These are like XINT, etc. except that they expect a '0' field instead |
25999090 | 708 | of the normal type code. */ |
709 | ||
993d9e55 | 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) | |
017c31d6 | 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) | |
993d9e55 | 721 | #define X0MEMATTR(RTX, N) (RTL_CHECKC1 (RTX, N, MEM).rt_mem) |
722 | #define X0REGATTR(RTX, N) (RTL_CHECKC1 (RTX, N, REG).rt_reg) | |
7c266bb1 | 723 | #define X0CONSTANT(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_constant) |
017c31d6 | 724 | |
bf6b5685 | 725 | /* Access a '0' field with any type. */ |
726 | #define X0ANY(RTX, N) RTL_CHECK1 (RTX, N, '0') | |
727 | ||
993d9e55 | 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) | |
017c31d6 | 737 | #define XCCSELIB(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rt_cselib) |
005d995b | 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 | ||
993d9e55 | 742 | #define XC2EXP(RTX, N, C1, C2) (RTL_CHECKC2 (RTX, N, C1, C2).rt_rtx) |
759bebca | 743 | \f |
744 | /* ACCESS MACROS for particular fields of insns. */ | |
745 | ||
746 | /* Holds a unique number for each insn. | |
747 | These are not necessarily sequentially increasing. */ | |
017c31d6 | 748 | #define INSN_UID(INSN) XINT (INSN, 0) |
759bebca | 749 | |
750 | /* Chain insns together in sequence. */ | |
017c31d6 | 751 | #define PREV_INSN(INSN) XEXP (INSN, 1) |
752 | #define NEXT_INSN(INSN) XEXP (INSN, 2) | |
759bebca | 753 | |
ab87d1bc | 754 | #define BLOCK_FOR_INSN(INSN) XBBDEF (INSN, 3) |
13751393 | 755 | #define INSN_LOCATOR(INSN) XINT (INSN, 4) |
759bebca | 756 | /* The body of an insn. */ |
ab87d1bc | 757 | #define PATTERN(INSN) XEXP (INSN, 5) |
759bebca | 758 | |
759 | /* Code number of instruction, from when it was recognized. | |
760 | -1 means this instruction has not been recognized yet. */ | |
ab87d1bc | 761 | #define INSN_CODE(INSN) XINT (INSN, 6) |
759bebca | 762 | |
3c6858c6 | 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 | ||
9c2a0c05 | 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 | ||
3c6858c6 | 782 | /* 1 if RTX is a call to a const or pure function. */ |
9c2a0c05 | 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) | |
3c6858c6 | 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 | ||
5fdf542c | 795 | /* 1 if RTX is a jump_insn, call_insn, or insn that is an annulling branch. */ |
3c6858c6 | 796 | #define INSN_ANNULLED_BRANCH_P(RTX) \ |
5fdf542c | 797 | (RTL_FLAG_CHECK3("INSN_ANNULLED_BRANCH_P", (RTX), JUMP_INSN, CALL_INSN, INSN)->unchanging) |
3c6858c6 | 798 | |
3c6858c6 | 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 | |
759bebca | 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. */ | |
3c6858c6 | 803 | #define INSN_FROM_TARGET_P(RTX) \ |
00f2bb6a | 804 | (RTL_FLAG_CHECK3("INSN_FROM_TARGET_P", (RTX), INSN, JUMP_INSN, CALL_INSN)->in_struct) |
759bebca | 805 | |
5bbaf5ca | 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. */ | |
f220c8f0 | 808 | #define ADDR_DIFF_VEC_FLAGS(RTX) X0ADVFLAGS(RTX, 4) |
809 | ||
5bbaf5ca | 810 | /* In a VALUE, the value cselib has assigned to RTX. |
811 | This is a "struct cselib_val_struct", see cselib.h. */ | |
f220c8f0 | 812 | #define CSELIB_VAL_PTR(RTX) X0CSELIB(RTX, 0) |
813 | ||
759bebca | 814 | /* Holds a list of notes on what this insn does to various REGs. |
f220c8f0 | 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. | |
759bebca | 817 | The mode field of the EXPR_LIST contains not a real machine mode |
f220c8f0 | 818 | but a value from enum reg_note. */ |
3072d30e | 819 | #define REG_NOTES(INSN) XEXP(INSN, 7) |
759bebca | 820 | |
f220c8f0 | 821 | enum reg_note |
822 | { | |
30f4db0d | 823 | #define DEF_REG_NOTE(NAME) NAME, |
824 | #include "reg-notes.def" | |
825 | #undef DEF_REG_NOTE | |
826 | REG_NOTE_MAX | |
f220c8f0 | 827 | }; |
828 | ||
759bebca | 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)) | |
017c31d6 | 831 | #define PUT_REG_NOTE_KIND(LINK, KIND) \ |
832 | PUT_MODE (LINK, (enum machine_mode) (KIND)) | |
759bebca | 833 | |
834 | /* Names for REG_NOTE's in EXPR_LIST insn's. */ | |
835 | ||
66e6c350 | 836 | extern const char * const reg_note_name[]; |
a92771b8 | 837 | #define GET_REG_NOTE_NAME(MODE) (reg_note_name[(int) (MODE)]) |
759bebca | 838 | |
ff18c271 | 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. */ | |
3072d30e | 846 | #define CALL_INSN_FUNCTION_USAGE(INSN) XEXP(INSN, 8) |
ff18c271 | 847 | |
759bebca | 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. */ | |
ab87d1bc | 851 | #define CODE_LABEL_NUMBER(INSN) XINT (INSN, 6) |
759bebca | 852 | |
a3426c4c | 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.) | |
f16b6102 | 857 | */ |
759bebca | 858 | |
0a3b3d88 | 859 | /* Opaque data. */ |
6c7786cb | 860 | #define NOTE_DATA(INSN) RTL_CHECKC1 (INSN, 4, NOTE) |
fdfe4b3f | 861 | #define NOTE_DELETED_LABEL_NAME(INSN) XCSTR (INSN, 4, NOTE) |
3072d30e | 862 | #define SET_INSN_DELETED(INSN) set_insn_deleted (INSN); |
ab87d1bc | 863 | #define NOTE_BLOCK(INSN) XCTREE (INSN, 4, NOTE) |
864 | #define NOTE_EH_HANDLER(INSN) XCINT (INSN, 4, NOTE) | |
ab87d1bc | 865 | #define NOTE_BASIC_BLOCK(INSN) XCBBDEF (INSN, 4, NOTE) |
5923a5e7 | 866 | #define NOTE_VAR_LOCATION(INSN) XCEXP (INSN, 4, NOTE) |
a3426c4c | 867 | |
759bebca | 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. */ | |
ad4583d9 | 870 | #define NOTE_KIND(INSN) XCINT (INSN, 5, NOTE) |
759bebca | 871 | |
83458610 | 872 | /* Nonzero if INSN is a note marking the beginning of a basic block. */ |
1a97be37 | 873 | #define NOTE_INSN_BASIC_BLOCK_P(INSN) \ |
83458610 | 874 | (GET_CODE (INSN) == NOTE \ |
ad4583d9 | 875 | && NOTE_KIND (INSN) == NOTE_INSN_BASIC_BLOCK) |
83458610 | 876 | |
5923a5e7 | 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)) | |
759bebca | 882 | |
d53bb226 | 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 | ||
ad4583d9 | 899 | /* Codes that appear in the NOTE_KIND field for kinds of notes |
30f4db0d | 900 | that are not line numbers. These codes are all negative. |
901 | ||
94c7f239 | 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 | |
30f4db0d | 906 | and destructor routines for some C++ translation unit. */ |
759bebca | 907 | |
0c981e42 | 908 | enum insn_note |
909 | { | |
30f4db0d | 910 | #define DEF_INSN_NOTE(NAME) NAME, |
911 | #include "insn-notes.def" | |
912 | #undef DEF_INSN_NOTE | |
5923a5e7 | 913 | |
0c981e42 | 914 | NOTE_INSN_MAX |
915 | }; | |
64fdc3d4 | 916 | |
759bebca | 917 | /* Names for NOTE insn's other than line numbers. */ |
918 | ||
ad4583d9 | 919 | extern const char * const note_insn_name[NOTE_INSN_MAX]; |
0c981e42 | 920 | #define GET_NOTE_INSN_NAME(NOTE_CODE) \ |
ad4583d9 | 921 | (note_insn_name[(NOTE_CODE)]) |
759bebca | 922 | |
923 | /* The name of a label, in case it corresponds to an explicit label | |
924 | in the input source code. */ | |
ab87d1bc | 925 | #define LABEL_NAME(RTX) XCSTR (RTX, 7, CODE_LABEL) |
759bebca | 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. */ | |
ab87d1bc | 929 | #define LABEL_NUSES(RTX) XCINT (RTX, 4, CODE_LABEL) |
759bebca | 930 | |
a7ae1e59 | 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__ \ | |
dd9b9fc5 | 946 | ({ __typeof (LABEL) const _label = (LABEL); \ |
a7ae1e59 | 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 { \ | |
dd9b9fc5 | 954 | __typeof (LABEL) const _label = (LABEL); \ |
0c16c31b | 955 | const unsigned int _kind = (KIND); \ |
a7ae1e59 | 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 { \ | |
0c16c31b | 971 | rtx const _label = (LABEL); \ |
972 | const unsigned int _kind = (KIND); \ | |
a7ae1e59 | 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) | |
bfee5366 | 980 | |
759bebca | 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. */ | |
3072d30e | 984 | #define JUMP_LABEL(INSN) XCEXP (INSN, 8, JUMP_INSN) |
759bebca | 985 | |
3072d30e | 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. */ | |
ab87d1bc | 989 | #define LABEL_REFS(LABEL) XCEXP (LABEL, 5, CODE_LABEL) |
759bebca | 990 | \f |
3072d30e | 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. */ | |
017c31d6 | 999 | #define ORIGINAL_REGNO(RTX) X0UINT (RTX, 1) |
759bebca | 1000 | |
3072d30e | 1001 | /* Force the REGNO macro to only be used on the lhs. */ |
1002 | static inline unsigned int | |
dd9b9fc5 | 1003 | rhs_regno (const_rtx x) |
3072d30e | 1004 | { |
1005 | return XCUINT (x, 0, REG); | |
1006 | } | |
1007 | ||
1008 | ||
1009 | ||
b566e2e5 | 1010 | /* 1 if RTX is a reg or parallel that is the current function's return |
1011 | value. */ | |
3c6858c6 | 1012 | #define REG_FUNCTION_VALUE_P(RTX) \ |
4ee9c684 | 1013 | (RTL_FLAG_CHECK2("REG_FUNCTION_VALUE_P", (RTX), REG, PARALLEL)->return_val) |
759bebca | 1014 | |
3c6858c6 | 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) | |
759bebca | 1018 | |
3c6858c6 | 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) | |
e61a0a7f | 1022 | |
8d350e69 | 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 | ||
baaa5be9 | 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. */ | |
017c31d6 | 1031 | #define HARD_REGISTER_NUM_P(REG_NO) ((REG_NO) < FIRST_PSEUDO_REGISTER) |
baaa5be9 | 1032 | |
759bebca | 1033 | /* For a CONST_INT rtx, INTVAL extracts the integer. */ |
005d995b | 1034 | #define INTVAL(RTX) XCWINT(RTX, 0, CONST_INT) |
02fd0f2d | 1035 | #define UINTVAL(RTX) ((unsigned HOST_WIDE_INT) INTVAL (RTX)) |
759bebca | 1036 | |
0f221fb7 | 1037 | /* For a CONST_DOUBLE: |
0b2730a7 | 1038 | For a VOIDmode, there are two integers CONST_DOUBLE_LOW is the |
3393215f | 1039 | low-order word and ..._HIGH the high-order. |
1a97be37 | 1040 | For a float, there is a REAL_VALUE_TYPE structure, and |
3393215f | 1041 | CONST_DOUBLE_REAL_VALUE(r) is a pointer to it. */ |
e8aaae4e | 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)) | |
0f221fb7 | 1046 | |
e397ad8e | 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 | ||
886cfd4f | 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 | ||
759bebca | 1060 | /* For a SUBREG rtx, SUBREG_REG extracts the value we want a subreg of. |
701e46d0 | 1061 | SUBREG_BYTE extracts the byte-number. */ |
759bebca | 1062 | |
017c31d6 | 1063 | #define SUBREG_REG(RTX) XCEXP (RTX, 0, SUBREG) |
1064 | #define SUBREG_BYTE(RTX) XCUINT (RTX, 1, SUBREG) | |
701e46d0 | 1065 | |
1066 | /* in rtlanal.c */ | |
26619827 | 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 | ||
a87cf6e5 | 1076 | extern void init_rtlanal (void); |
26619827 | 1077 | extern int rtx_cost (rtx, enum rtx_code); |
1078 | extern int address_cost (rtx, enum machine_mode); | |
dd9b9fc5 | 1079 | extern unsigned int subreg_lsb (const_rtx); |
f36eb1e9 | 1080 | extern unsigned int subreg_lsb_1 (enum machine_mode, enum machine_mode, |
1081 | unsigned int); | |
3ad4992f | 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); | |
dd9b9fc5 | 1086 | extern unsigned int subreg_regno (const_rtx); |
1087 | extern unsigned int subreg_nregs (const_rtx); | |
dea7b504 | 1088 | extern unsigned int subreg_nregs_with_regno (unsigned int, const_rtx); |
b7bf20db | 1089 | extern unsigned HOST_WIDE_INT nonzero_bits (const_rtx, enum machine_mode); |
1090 | extern unsigned int num_sign_bit_copies (const_rtx, enum machine_mode); | |
e207fd7a | 1091 | extern bool constant_pool_constant_p (rtx); |
b7bf20db | 1092 | extern bool truncated_to_mode (enum machine_mode, const_rtx); |
d263732c | 1093 | |
759bebca | 1094 | |
3c6858c6 | 1095 | /* 1 if RTX is a subreg containing a reg that is already known to be |
1096 | sign- or zero-extended from the mode of the subreg to the mode of | |
3e8eba79 | 1097 | the reg. SUBREG_PROMOTED_UNSIGNED_P gives the signedness of the |
f220c8f0 | 1098 | extension. |
3e8eba79 | 1099 | |
1100 | When used as a LHS, is means that this extension must be done | |
1101 | when assigning to SUBREG_REG. */ | |
1102 | ||
3c6858c6 | 1103 | #define SUBREG_PROMOTED_VAR_P(RTX) \ |
1104 | (RTL_FLAG_CHECK1("SUBREG_PROMOTED", (RTX), SUBREG)->in_struct) | |
1105 | ||
1106 | #define SUBREG_PROMOTED_UNSIGNED_SET(RTX, VAL) \ | |
1107 | do { \ | |
8d780c0b | 1108 | rtx const _rtx = RTL_FLAG_CHECK1("SUBREG_PROMOTED_UNSIGNED_SET", (RTX), SUBREG); \ |
3c6858c6 | 1109 | if ((VAL) < 0) \ |
8d780c0b | 1110 | _rtx->volatil = 1; \ |
3c6858c6 | 1111 | else { \ |
8d780c0b | 1112 | _rtx->volatil = 0; \ |
1113 | _rtx->unchanging = (VAL); \ | |
3c6858c6 | 1114 | } \ |
bfd242e8 | 1115 | } while (0) |
e7f75e15 | 1116 | #define SUBREG_PROMOTED_UNSIGNED_P(RTX) \ |
3c6858c6 | 1117 | ((RTL_FLAG_CHECK1("SUBREG_PROMOTED_UNSIGNED_P", (RTX), SUBREG)->volatil) \ |
1118 | ? -1 : (RTX)->unchanging) | |
3e8eba79 | 1119 | |
759bebca | 1120 | /* Access various components of an ASM_OPERANDS rtx. */ |
1121 | ||
017c31d6 | 1122 | #define ASM_OPERANDS_TEMPLATE(RTX) XCSTR (RTX, 0, ASM_OPERANDS) |
1123 | #define ASM_OPERANDS_OUTPUT_CONSTRAINT(RTX) XCSTR (RTX, 1, ASM_OPERANDS) | |
1124 | #define ASM_OPERANDS_OUTPUT_IDX(RTX) XCINT (RTX, 2, ASM_OPERANDS) | |
1125 | #define ASM_OPERANDS_INPUT_VEC(RTX) XCVEC (RTX, 3, ASM_OPERANDS) | |
1126 | #define ASM_OPERANDS_INPUT_CONSTRAINT_VEC(RTX) XCVEC (RTX, 4, ASM_OPERANDS) | |
1127 | #define ASM_OPERANDS_INPUT(RTX, N) XCVECEXP (RTX, 3, N, ASM_OPERANDS) | |
1128 | #define ASM_OPERANDS_INPUT_LENGTH(RTX) XCVECLEN (RTX, 3, ASM_OPERANDS) | |
d91f2122 | 1129 | #define ASM_OPERANDS_INPUT_CONSTRAINT_EXP(RTX, N) \ |
017c31d6 | 1130 | XCVECEXP (RTX, 4, N, ASM_OPERANDS) |
f7c44134 | 1131 | #define ASM_OPERANDS_INPUT_CONSTRAINT(RTX, N) \ |
017c31d6 | 1132 | XSTR (XCVECEXP (RTX, 4, N, ASM_OPERANDS), 0) |
f7c44134 | 1133 | #define ASM_OPERANDS_INPUT_MODE(RTX, N) \ |
017c31d6 | 1134 | GET_MODE (XCVECEXP (RTX, 4, N, ASM_OPERANDS)) |
fdfe4b3f | 1135 | #define ASM_OPERANDS_SOURCE_LOCATION(RTX) XCUINT (RTX, 5, ASM_OPERANDS) |
09fb10e8 | 1136 | #define ASM_INPUT_SOURCE_LOCATION(RTX) XCUINT (RTX, 1, ASM_INPUT) |
759bebca | 1137 | |
b04fab2a | 1138 | /* 1 if RTX is a mem that is statically allocated in read-only memory. */ |
1139 | #define MEM_READONLY_P(RTX) \ | |
1140 | (RTL_FLAG_CHECK1("MEM_READONLY_P", (RTX), MEM)->unchanging) | |
1141 | ||
3c6858c6 | 1142 | /* 1 if RTX is a mem and we should keep the alias set for this mem |
5cc193e7 | 1143 | unchanged when we access a component. Set to 1, or example, when we |
1144 | are already in a non-addressable component of an aggregate. */ | |
3c6858c6 | 1145 | #define MEM_KEEP_ALIAS_SET_P(RTX) \ |
1146 | (RTL_FLAG_CHECK1("MEM_KEEP_ALIAS_SET_P", (RTX), MEM)->jump) | |
5cc193e7 | 1147 | |
3c6858c6 | 1148 | /* 1 if RTX is a mem or asm_operand for a volatile reference. */ |
1149 | #define MEM_VOLATILE_P(RTX) \ | |
1150 | (RTL_FLAG_CHECK3("MEM_VOLATILE_P", (RTX), MEM, ASM_OPERANDS, \ | |
1151 | ASM_INPUT)->volatil) | |
759bebca | 1152 | |
3c6858c6 | 1153 | /* 1 if RTX is a mem that refers to an aggregate, either to the |
85ef0c81 | 1154 | aggregate itself or to a field of the aggregate. If zero, RTX may |
9588521d | 1155 | or may not be such a reference. */ |
3c6858c6 | 1156 | #define MEM_IN_STRUCT_P(RTX) \ |
1157 | (RTL_FLAG_CHECK1("MEM_IN_STRUCT_P", (RTX), MEM)->in_struct) | |
759bebca | 1158 | |
c55c3439 | 1159 | /* 1 if RTX is a MEM that refers to a scalar. If zero, RTX may or may |
04641143 | 1160 | not refer to a scalar. */ |
3c6858c6 | 1161 | #define MEM_SCALAR_P(RTX) \ |
c55c3439 | 1162 | (RTL_FLAG_CHECK1("MEM_SCALAR_P", (RTX), MEM)->return_val) |
6a0934dd | 1163 | |
1ed8ccdb | 1164 | /* 1 if RTX is a mem that cannot trap. */ |
1165 | #define MEM_NOTRAP_P(RTX) \ | |
1166 | (RTL_FLAG_CHECK1("MEM_NOTRAP_P", (RTX), MEM)->call) | |
1167 | ||
7fd957fe | 1168 | /* If VAL is nonzero, set MEM_IN_STRUCT_P and clear MEM_SCALAR_P in |
6a0934dd | 1169 | RTX. Otherwise, vice versa. Use this macro only when you are |
1170 | *sure* that you know that the MEM is in a structure, or is a | |
1171 | scalar. VAL is evaluated only once. */ | |
017c31d6 | 1172 | #define MEM_SET_IN_STRUCT_P(RTX, VAL) \ |
1173 | do { \ | |
4491f79f | 1174 | if (VAL) \ |
1175 | { \ | |
1176 | MEM_IN_STRUCT_P (RTX) = 1; \ | |
1177 | MEM_SCALAR_P (RTX) = 0; \ | |
1178 | } \ | |
1179 | else \ | |
1180 | { \ | |
1181 | MEM_IN_STRUCT_P (RTX) = 0; \ | |
1182 | MEM_SCALAR_P (RTX) = 1; \ | |
1183 | } \ | |
1184 | } while (0) | |
6a0934dd | 1185 | |
c6259b83 | 1186 | /* The memory attribute block. We provide access macros for each value |
1187 | in the block and provide defaults if none specified. */ | |
1188 | #define MEM_ATTRS(RTX) X0MEMATTR (RTX, 1) | |
1189 | ||
ca74b940 | 1190 | /* The register attribute block. We provide access macros for each value |
1191 | in the block and provide defaults if none specified. */ | |
1192 | #define REG_ATTRS(RTX) X0REGATTR (RTX, 2) | |
1193 | ||
b5ba9f3a | 1194 | /* For a MEM rtx, the alias set. If 0, this MEM is not in any alias |
1195 | set, and may alias anything. Otherwise, the MEM can only alias | |
650e773f | 1196 | MEMs in a conflicting alias set. This value is set in a |
b5ba9f3a | 1197 | language-dependent manner in the front-end, and should not be |
650e773f | 1198 | altered in the back-end. These set numbers are tested with |
1199 | alias_sets_conflict_p. */ | |
c6259b83 | 1200 | #define MEM_ALIAS_SET(RTX) (MEM_ATTRS (RTX) == 0 ? 0 : MEM_ATTRS (RTX)->alias) |
1201 | ||
1202 | /* For a MEM rtx, the decl it is known to refer to, if it is known to | |
b10dbbca | 1203 | refer to part of a DECL. It may also be a COMPONENT_REF. */ |
1204 | #define MEM_EXPR(RTX) (MEM_ATTRS (RTX) == 0 ? 0 : MEM_ATTRS (RTX)->expr) | |
c6259b83 | 1205 | |
b10dbbca | 1206 | /* For a MEM rtx, the offset from the start of MEM_EXPR, if known, as a |
c6259b83 | 1207 | RTX that is always a CONST_INT. */ |
1208 | #define MEM_OFFSET(RTX) (MEM_ATTRS (RTX) == 0 ? 0 : MEM_ATTRS (RTX)->offset) | |
1209 | ||
1210 | /* For a MEM rtx, the size in bytes of the MEM, if known, as an RTX that | |
1211 | is always a CONST_INT. */ | |
5cc193e7 | 1212 | #define MEM_SIZE(RTX) \ |
1213 | (MEM_ATTRS (RTX) != 0 ? MEM_ATTRS (RTX)->size \ | |
1214 | : GET_MODE (RTX) != BLKmode ? GEN_INT (GET_MODE_SIZE (GET_MODE (RTX))) \ | |
1215 | : 0) | |
c6259b83 | 1216 | |
981336a3 | 1217 | /* For a MEM rtx, the alignment in bits. We can use the alignment of the |
1218 | mode as a default when STRICT_ALIGNMENT, but not if not. */ | |
2a631e19 | 1219 | #define MEM_ALIGN(RTX) \ |
1220 | (MEM_ATTRS (RTX) != 0 ? MEM_ATTRS (RTX)->align \ | |
981336a3 | 1221 | : (STRICT_ALIGNMENT && GET_MODE (RTX) != BLKmode \ |
1222 | ? GET_MODE_ALIGNMENT (GET_MODE (RTX)) : BITS_PER_UNIT)) | |
f7c44134 | 1223 | |
ca74b940 | 1224 | /* For a REG rtx, the decl it is known to refer to, if it is known to |
1225 | refer to part of a DECL. */ | |
1226 | #define REG_EXPR(RTX) (REG_ATTRS (RTX) == 0 ? 0 : REG_ATTRS (RTX)->decl) | |
1227 | ||
eeb0ae23 | 1228 | /* For a REG rtx, the offset from the start of REG_EXPR, if known, as an |
1229 | HOST_WIDE_INT. */ | |
ca74b940 | 1230 | #define REG_OFFSET(RTX) (REG_ATTRS (RTX) == 0 ? 0 : REG_ATTRS (RTX)->offset) |
1231 | ||
f7c44134 | 1232 | /* Copy the attributes that apply to memory locations from RHS to LHS. */ |
5cc193e7 | 1233 | #define MEM_COPY_ATTRIBUTES(LHS, RHS) \ |
1234 | (MEM_VOLATILE_P (LHS) = MEM_VOLATILE_P (RHS), \ | |
1235 | MEM_IN_STRUCT_P (LHS) = MEM_IN_STRUCT_P (RHS), \ | |
1236 | MEM_SCALAR_P (LHS) = MEM_SCALAR_P (RHS), \ | |
1ed8ccdb | 1237 | MEM_NOTRAP_P (LHS) = MEM_NOTRAP_P (RHS), \ |
b04fab2a | 1238 | MEM_READONLY_P (LHS) = MEM_READONLY_P (RHS), \ |
5cc193e7 | 1239 | MEM_KEEP_ALIAS_SET_P (LHS) = MEM_KEEP_ALIAS_SET_P (RHS), \ |
c23c6f48 | 1240 | MEM_POINTER (LHS) = MEM_POINTER (RHS), \ |
c6259b83 | 1241 | MEM_ATTRS (LHS) = MEM_ATTRS (RHS)) |
b5ba9f3a | 1242 | |
3c6858c6 | 1243 | /* 1 if RTX is a label_ref for a nonlocal label. */ |
19d2fe05 | 1244 | /* Likewise in an expr_list for a REG_LABEL_OPERAND or |
1245 | REG_LABEL_TARGET note. */ | |
3c6858c6 | 1246 | #define LABEL_REF_NONLOCAL_P(RTX) \ |
19d2fe05 | 1247 | (RTL_FLAG_CHECK3("LABEL_REF_NONLOCAL_P", (RTX), LABEL_REF, \ |
1248 | REG_LABEL_OPERAND, REG_LABEL_TARGET)->volatil) | |
9a293e97 | 1249 | |
3c6858c6 | 1250 | /* 1 if RTX is a code_label that should always be considered to be needed. */ |
1251 | #define LABEL_PRESERVE_P(RTX) \ | |
1252 | (RTL_FLAG_CHECK2("LABEL_PRESERVE_P", (RTX), CODE_LABEL, NOTE)->in_struct) | |
759bebca | 1253 | |
3c6858c6 | 1254 | /* During sched, 1 if RTX is an insn that must be scheduled together |
f9e15121 | 1255 | with the preceding insn. */ |
3c6858c6 | 1256 | #define SCHED_GROUP_P(RTX) \ |
f372955c | 1257 | (RTL_FLAG_CHECK3("SCHED_GROUP_P", (RTX), INSN, JUMP_INSN, CALL_INSN \ |
1258 | )->in_struct) | |
759bebca | 1259 | |
1260 | /* For a SET rtx, SET_DEST is the place that is set | |
1261 | and SET_SRC is the value it is set to. */ | |
005d995b | 1262 | #define SET_DEST(RTX) XC2EXP(RTX, 0, SET, CLOBBER) |
1263 | #define SET_SRC(RTX) XCEXP(RTX, 1, SET) | |
3c6858c6 | 1264 | #define SET_IS_RETURN_P(RTX) \ |
1265 | (RTL_FLAG_CHECK1("SET_IS_RETURN_P", (RTX), SET)->jump) | |
759bebca | 1266 | |
1267 | /* For a TRAP_IF rtx, TRAP_CONDITION is an expression. */ | |
017c31d6 | 1268 | #define TRAP_CONDITION(RTX) XCEXP (RTX, 0, TRAP_IF) |
1269 | #define TRAP_CODE(RTX) XCEXP (RTX, 1, TRAP_IF) | |
759bebca | 1270 | |
406034fa | 1271 | /* For a COND_EXEC rtx, COND_EXEC_TEST is the condition to base |
1272 | conditionally executing the code on, COND_EXEC_CODE is the code | |
1273 | to execute if the condition is true. */ | |
017c31d6 | 1274 | #define COND_EXEC_TEST(RTX) XCEXP (RTX, 0, COND_EXEC) |
1275 | #define COND_EXEC_CODE(RTX) XCEXP (RTX, 1, COND_EXEC) | |
406034fa | 1276 | |
658782a5 | 1277 | /* 1 if RTX is a symbol_ref that addresses this function's rtl |
1278 | constants pool. */ | |
3c6858c6 | 1279 | #define CONSTANT_POOL_ADDRESS_P(RTX) \ |
1280 | (RTL_FLAG_CHECK1("CONSTANT_POOL_ADDRESS_P", (RTX), SYMBOL_REF)->unchanging) | |
759bebca | 1281 | |
658782a5 | 1282 | /* 1 if RTX is a symbol_ref that addresses a value in the file's |
1283 | tree constant pool. This information is private to varasm.c. */ | |
1284 | #define TREE_CONSTANT_POOL_ADDRESS_P(RTX) \ | |
1285 | (RTL_FLAG_CHECK1("TREE_CONSTANT_POOL_ADDRESS_P", \ | |
1286 | (RTX), SYMBOL_REF)->frame_related) | |
abf74c5b | 1287 | |
3c6858c6 | 1288 | /* Used if RTX is a symbol_ref, for machine-specific purposes. */ |
1289 | #define SYMBOL_REF_FLAG(RTX) \ | |
1290 | (RTL_FLAG_CHECK1("SYMBOL_REF_FLAG", (RTX), SYMBOL_REF)->volatil) | |
759bebca | 1291 | |
3c6858c6 | 1292 | /* 1 if RTX is a symbol_ref that has been the library function in |
1293 | emit_library_call. */ | |
1294 | #define SYMBOL_REF_USED(RTX) \ | |
1295 | (RTL_FLAG_CHECK1("SYMBOL_REF_USED", (RTX), SYMBOL_REF)->used) | |
759bebca | 1296 | |
3c6858c6 | 1297 | /* 1 if RTX is a symbol_ref for a weak symbol. */ |
1298 | #define SYMBOL_REF_WEAK(RTX) \ | |
4ee9c684 | 1299 | (RTL_FLAG_CHECK1("SYMBOL_REF_WEAK", (RTX), SYMBOL_REF)->return_val) |
67f79732 | 1300 | |
7c266bb1 | 1301 | /* A pointer attached to the SYMBOL_REF; either SYMBOL_REF_DECL or |
1302 | SYMBOL_REF_CONSTANT. */ | |
b864739b | 1303 | #define SYMBOL_REF_DATA(RTX) X0ANY ((RTX), 2) |
1304 | ||
1305 | /* Set RTX's SYMBOL_REF_DECL to DECL. RTX must not be a constant | |
1306 | pool symbol. */ | |
1307 | #define SET_SYMBOL_REF_DECL(RTX, DECL) \ | |
1308 | (gcc_assert (!CONSTANT_POOL_ADDRESS_P (RTX)), X0TREE ((RTX), 2) = (DECL)) | |
7c266bb1 | 1309 | |
b2fd8d52 | 1310 | /* The tree (decl or constant) associated with the symbol, or null. */ |
7c266bb1 | 1311 | #define SYMBOL_REF_DECL(RTX) \ |
1312 | (CONSTANT_POOL_ADDRESS_P (RTX) ? NULL : X0TREE ((RTX), 2)) | |
1313 | ||
b864739b | 1314 | /* Set RTX's SYMBOL_REF_CONSTANT to C. RTX must be a constant pool symbol. */ |
1315 | #define SET_SYMBOL_REF_CONSTANT(RTX, C) \ | |
1316 | (gcc_assert (CONSTANT_POOL_ADDRESS_P (RTX)), X0CONSTANT ((RTX), 2) = (C)) | |
1317 | ||
7c266bb1 | 1318 | /* The rtx constant pool entry for a symbol, or null. */ |
1319 | #define SYMBOL_REF_CONSTANT(RTX) \ | |
1320 | (CONSTANT_POOL_ADDRESS_P (RTX) ? X0CONSTANT ((RTX), 2) : NULL) | |
001be062 | 1321 | |
1322 | /* A set of flags on a symbol_ref that are, in some respects, redundant with | |
1323 | information derivable from the tree decl associated with this symbol. | |
1324 | Except that we build a *lot* of SYMBOL_REFs that aren't associated with a | |
1325 | decl. In some cases this is a bug. But beyond that, it's nice to cache | |
1326 | this information to avoid recomputing it. Finally, this allows space for | |
1327 | the target to store more than one bit of information, as with | |
1328 | SYMBOL_REF_FLAG. */ | |
1329 | #define SYMBOL_REF_FLAGS(RTX) X0INT ((RTX), 1) | |
1330 | ||
1331 | /* These flags are common enough to be defined for all targets. They | |
1332 | are computed by the default version of targetm.encode_section_info. */ | |
1333 | ||
1334 | /* Set if this symbol is a function. */ | |
1335 | #define SYMBOL_FLAG_FUNCTION (1 << 0) | |
1336 | #define SYMBOL_REF_FUNCTION_P(RTX) \ | |
1337 | ((SYMBOL_REF_FLAGS (RTX) & SYMBOL_FLAG_FUNCTION) != 0) | |
1338 | /* Set if targetm.binds_local_p is true. */ | |
1339 | #define SYMBOL_FLAG_LOCAL (1 << 1) | |
1340 | #define SYMBOL_REF_LOCAL_P(RTX) \ | |
1341 | ((SYMBOL_REF_FLAGS (RTX) & SYMBOL_FLAG_LOCAL) != 0) | |
1342 | /* Set if targetm.in_small_data_p is true. */ | |
1343 | #define SYMBOL_FLAG_SMALL (1 << 2) | |
1344 | #define SYMBOL_REF_SMALL_P(RTX) \ | |
1345 | ((SYMBOL_REF_FLAGS (RTX) & SYMBOL_FLAG_SMALL) != 0) | |
1346 | /* The three-bit field at [5:3] is true for TLS variables; use | |
1347 | SYMBOL_REF_TLS_MODEL to extract the field as an enum tls_model. */ | |
1348 | #define SYMBOL_FLAG_TLS_SHIFT 3 | |
1349 | #define SYMBOL_REF_TLS_MODEL(RTX) \ | |
9763286f | 1350 | ((enum tls_model) ((SYMBOL_REF_FLAGS (RTX) >> SYMBOL_FLAG_TLS_SHIFT) & 7)) |
001be062 | 1351 | /* Set if this symbol is not defined in this translation unit. */ |
1352 | #define SYMBOL_FLAG_EXTERNAL (1 << 6) | |
1353 | #define SYMBOL_REF_EXTERNAL_P(RTX) \ | |
1354 | ((SYMBOL_REF_FLAGS (RTX) & SYMBOL_FLAG_EXTERNAL) != 0) | |
f2d0e9f1 | 1355 | /* Set if this symbol has a block_symbol structure associated with it. */ |
6617cbc1 | 1356 | #define SYMBOL_FLAG_HAS_BLOCK_INFO (1 << 7) |
1357 | #define SYMBOL_REF_HAS_BLOCK_INFO_P(RTX) \ | |
1358 | ((SYMBOL_REF_FLAGS (RTX) & SYMBOL_FLAG_HAS_BLOCK_INFO) != 0) | |
f2d0e9f1 | 1359 | /* Set if this symbol is a section anchor. SYMBOL_REF_ANCHOR_P implies |
6617cbc1 | 1360 | SYMBOL_REF_HAS_BLOCK_INFO_P. */ |
f2d0e9f1 | 1361 | #define SYMBOL_FLAG_ANCHOR (1 << 8) |
1362 | #define SYMBOL_REF_ANCHOR_P(RTX) \ | |
1363 | ((SYMBOL_REF_FLAGS (RTX) & SYMBOL_FLAG_ANCHOR) != 0) | |
001be062 | 1364 | |
1365 | /* Subsequent bits are available for the target to use. */ | |
f2d0e9f1 | 1366 | #define SYMBOL_FLAG_MACH_DEP_SHIFT 9 |
5c5d0ae9 | 1367 | #define SYMBOL_FLAG_MACH_DEP (1 << SYMBOL_FLAG_MACH_DEP_SHIFT) |
001be062 | 1368 | |
6617cbc1 | 1369 | /* If SYMBOL_REF_HAS_BLOCK_INFO_P (RTX), this is the object_block |
1370 | structure to which the symbol belongs, or NULL if it has not been | |
1371 | assigned a block. */ | |
f2d0e9f1 | 1372 | #define SYMBOL_REF_BLOCK(RTX) (BLOCK_SYMBOL_CHECK (RTX)->block) |
1373 | ||
6617cbc1 | 1374 | /* If SYMBOL_REF_HAS_BLOCK_INFO_P (RTX), this is the offset of RTX from |
1375 | the first object in SYMBOL_REF_BLOCK (RTX). The value is negative if | |
1376 | RTX has not yet been assigned to a block, or it has not been given an | |
1377 | offset within that block. */ | |
f2d0e9f1 | 1378 | #define SYMBOL_REF_BLOCK_OFFSET(RTX) (BLOCK_SYMBOL_CHECK (RTX)->offset) |
1379 | ||
3072d30e | 1380 | /* Indicate whether the machine has any sort of auto increment addressing. |
1381 | If not, we can avoid checking for REG_INC notes. */ | |
1382 | ||
1383 | #if (defined (HAVE_PRE_INCREMENT) || defined (HAVE_PRE_DECREMENT) \ | |
1384 | || defined (HAVE_POST_INCREMENT) || defined (HAVE_POST_DECREMENT) \ | |
1385 | || defined (HAVE_PRE_MODIFY_DISP) || defined (HAVE_PRE_MODIFY_DISP) \ | |
1386 | || defined (HAVE_PRE_MODIFY_REG) || defined (HAVE_POST_MODIFY_REG)) | |
1387 | #define AUTO_INC_DEC | |
1388 | #endif | |
1389 | ||
759bebca | 1390 | /* Define a macro to look for REG_INC notes, |
1391 | but save time on machines where they never exist. */ | |
1392 | ||
3072d30e | 1393 | #ifdef AUTO_INC_DEC |
017c31d6 | 1394 | #define FIND_REG_INC_NOTE(INSN, REG) \ |
1395 | ((REG) != NULL_RTX && REG_P ((REG)) \ | |
1396 | ? find_regno_note ((INSN), REG_INC, REGNO (REG)) \ | |
1397 | : find_reg_note ((INSN), REG_INC, (REG))) | |
759bebca | 1398 | #else |
017c31d6 | 1399 | #define FIND_REG_INC_NOTE(INSN, REG) 0 |
759bebca | 1400 | #endif |
1401 | ||
e4e498cf | 1402 | #ifndef HAVE_PRE_INCREMENT |
1403 | #define HAVE_PRE_INCREMENT 0 | |
1404 | #endif | |
1405 | ||
1406 | #ifndef HAVE_PRE_DECREMENT | |
1407 | #define HAVE_PRE_DECREMENT 0 | |
1408 | #endif | |
1409 | ||
1410 | #ifndef HAVE_POST_INCREMENT | |
1411 | #define HAVE_POST_INCREMENT 0 | |
1412 | #endif | |
1413 | ||
1414 | #ifndef HAVE_POST_DECREMENT | |
1415 | #define HAVE_POST_DECREMENT 0 | |
1416 | #endif | |
1417 | ||
40988080 | 1418 | #ifndef HAVE_POST_MODIFY_DISP |
1419 | #define HAVE_POST_MODIFY_DISP 0 | |
1420 | #endif | |
1421 | ||
1422 | #ifndef HAVE_POST_MODIFY_REG | |
1423 | #define HAVE_POST_MODIFY_REG 0 | |
1424 | #endif | |
1425 | ||
1426 | #ifndef HAVE_PRE_MODIFY_DISP | |
1427 | #define HAVE_PRE_MODIFY_DISP 0 | |
1428 | #endif | |
1429 | ||
1430 | #ifndef HAVE_PRE_MODIFY_REG | |
1431 | #define HAVE_PRE_MODIFY_REG 0 | |
1432 | #endif | |
1433 | ||
c14ad648 | 1434 | |
1435 | /* Some architectures do not have complete pre/post increment/decrement | |
1436 | instruction sets, or only move some modes efficiently. These macros | |
1437 | allow us to tune autoincrement generation. */ | |
1438 | ||
1439 | #ifndef USE_LOAD_POST_INCREMENT | |
1440 | #define USE_LOAD_POST_INCREMENT(MODE) HAVE_POST_INCREMENT | |
1441 | #endif | |
1442 | ||
1443 | #ifndef USE_LOAD_POST_DECREMENT | |
1444 | #define USE_LOAD_POST_DECREMENT(MODE) HAVE_POST_DECREMENT | |
1445 | #endif | |
1446 | ||
1447 | #ifndef USE_LOAD_PRE_INCREMENT | |
1448 | #define USE_LOAD_PRE_INCREMENT(MODE) HAVE_PRE_INCREMENT | |
1449 | #endif | |
1450 | ||
1451 | #ifndef USE_LOAD_PRE_DECREMENT | |
1452 | #define USE_LOAD_PRE_DECREMENT(MODE) HAVE_PRE_DECREMENT | |
1453 | #endif | |
1454 | ||
1455 | #ifndef USE_STORE_POST_INCREMENT | |
1456 | #define USE_STORE_POST_INCREMENT(MODE) HAVE_POST_INCREMENT | |
1457 | #endif | |
1458 | ||
1459 | #ifndef USE_STORE_POST_DECREMENT | |
1460 | #define USE_STORE_POST_DECREMENT(MODE) HAVE_POST_DECREMENT | |
1461 | #endif | |
1462 | ||
1463 | #ifndef USE_STORE_PRE_INCREMENT | |
1464 | #define USE_STORE_PRE_INCREMENT(MODE) HAVE_PRE_INCREMENT | |
1465 | #endif | |
1466 | ||
1467 | #ifndef USE_STORE_PRE_DECREMENT | |
1468 | #define USE_STORE_PRE_DECREMENT(MODE) HAVE_PRE_DECREMENT | |
1469 | #endif | |
759bebca | 1470 | \f |
316bc009 | 1471 | /* Nonzero when we are generating CONCATs. */ |
1472 | extern int generating_concat_p; | |
1473 | ||
723c0ee7 | 1474 | /* Nonzero when we are expanding trees to RTL. */ |
1475 | extern int currently_expanding_to_rtl; | |
1476 | ||
759bebca | 1477 | /* Generally useful functions. */ |
1478 | ||
bc33205e | 1479 | /* In expmed.c */ |
3ad4992f | 1480 | extern int ceil_log2 (unsigned HOST_WIDE_INT); |
1bb04728 | 1481 | |
ebd9163c | 1482 | /* In explow.c */ |
3ad4992f | 1483 | extern void set_stack_check_libfunc (rtx); |
1484 | extern HOST_WIDE_INT trunc_int_for_mode (HOST_WIDE_INT, enum machine_mode); | |
1e9d55d7 | 1485 | extern rtx plus_constant (rtx, HOST_WIDE_INT); |
1bb04728 | 1486 | |
9588521d | 1487 | /* In emit-rtl.c */ |
3072d30e | 1488 | extern rtx gen_blockage (void); |
3ad4992f | 1489 | extern rtvec gen_rtvec (int, ...); |
1490 | extern rtx copy_insn_1 (rtx); | |
1491 | extern rtx copy_insn (rtx); | |
1492 | extern rtx gen_int_mode (HOST_WIDE_INT, enum machine_mode); | |
1493 | extern rtx emit_copy_of_insn_after (rtx, rtx); | |
80c70e76 | 1494 | extern void set_reg_attrs_from_value (rtx, rtx); |
3ad4992f | 1495 | extern void set_mem_attrs_from_reg (rtx, rtx); |
1496 | extern void set_reg_attrs_for_parm (rtx, rtx); | |
80c70e76 | 1497 | extern void adjust_reg_mode (rtx, enum machine_mode); |
52d07779 | 1498 | extern int mem_expr_equal_p (const_tree, const_tree); |
9588521d | 1499 | |
1500 | /* In rtl.c */ | |
674b05f5 | 1501 | extern rtx rtx_alloc_stat (RTX_CODE MEM_STAT_DECL); |
1502 | #define rtx_alloc(c) rtx_alloc_stat (c MEM_STAT_INFO) | |
1503 | ||
3ad4992f | 1504 | extern rtvec rtvec_alloc (int); |
dd9b9fc5 | 1505 | extern bool shared_const_p (const_rtx); |
3ad4992f | 1506 | extern rtx copy_rtx (rtx); |
86736f9e | 1507 | extern void dump_rtx_statistics (void); |
9588521d | 1508 | |
1509 | /* In emit-rtl.c */ | |
3ad4992f | 1510 | extern rtx copy_rtx_if_shared (rtx); |
9588521d | 1511 | |
1512 | /* In rtl.c */ | |
dd9b9fc5 | 1513 | extern unsigned int rtx_size (const_rtx); |
1514 | extern rtx shallow_copy_rtx_stat (const_rtx MEM_STAT_DECL); | |
674b05f5 | 1515 | #define shallow_copy_rtx(a) shallow_copy_rtx_stat (a MEM_STAT_INFO) |
dd9b9fc5 | 1516 | extern int rtx_equal_p (const_rtx, const_rtx); |
9588521d | 1517 | |
1518 | /* In emit-rtl.c */ | |
3ad4992f | 1519 | extern rtvec gen_rtvec_v (int, rtx *); |
1520 | extern rtx gen_reg_rtx (enum machine_mode); | |
1521 | extern rtx gen_rtx_REG_offset (rtx, enum machine_mode, unsigned int, int); | |
1a6a0f2a | 1522 | extern rtx gen_reg_rtx_offset (rtx, enum machine_mode, int); |
ae12ddda | 1523 | extern rtx gen_reg_rtx_and_attrs (rtx); |
3ad4992f | 1524 | extern rtx gen_label_rtx (void); |
3ad4992f | 1525 | extern rtx gen_lowpart_common (enum machine_mode, rtx); |
9588521d | 1526 | |
1527 | /* In cse.c */ | |
3ad4992f | 1528 | extern rtx gen_lowpart_if_possible (enum machine_mode, rtx); |
9588521d | 1529 | |
1530 | /* In emit-rtl.c */ | |
3ad4992f | 1531 | extern rtx gen_highpart (enum machine_mode, rtx); |
1532 | extern rtx gen_highpart_mode (enum machine_mode, enum machine_mode, rtx); | |
3ad4992f | 1533 | extern rtx operand_subword (rtx, unsigned int, int, enum machine_mode); |
9588521d | 1534 | |
1535 | /* In emit-rtl.c */ | |
3ad4992f | 1536 | extern rtx operand_subword_force (rtx, unsigned int, enum machine_mode); |
b7bf20db | 1537 | extern int subreg_lowpart_p (const_rtx); |
3ad4992f | 1538 | extern unsigned int subreg_lowpart_offset (enum machine_mode, |
1539 | enum machine_mode); | |
1540 | extern unsigned int subreg_highpart_offset (enum machine_mode, | |
1541 | enum machine_mode); | |
80c70e76 | 1542 | extern int byte_lowpart_offset (enum machine_mode, enum machine_mode); |
3ad4992f | 1543 | extern rtx make_safe_from (rtx, rtx); |
1544 | extern rtx convert_memory_address (enum machine_mode, rtx); | |
1545 | extern rtx get_insns (void); | |
1546 | extern const char *get_insn_name (int); | |
1547 | extern rtx get_last_insn (void); | |
1548 | extern rtx get_last_insn_anywhere (void); | |
1549 | extern rtx get_first_nonnote_insn (void); | |
1550 | extern rtx get_last_nonnote_insn (void); | |
1551 | extern void start_sequence (void); | |
1552 | extern void push_to_sequence (rtx); | |
28bf151d | 1553 | extern void push_to_sequence2 (rtx, rtx); |
3ad4992f | 1554 | extern void end_sequence (void); |
3ad4992f | 1555 | extern rtx immed_double_const (HOST_WIDE_INT, HOST_WIDE_INT, |
1556 | enum machine_mode); | |
791172c5 | 1557 | |
cde5a3a0 | 1558 | /* In loop-iv.c */ |
1559 | ||
1560 | extern rtx lowpart_subreg (enum machine_mode, rtx, enum machine_mode); | |
1561 | ||
791172c5 | 1562 | /* In varasm.c */ |
3ad4992f | 1563 | extern rtx force_const_mem (enum machine_mode, rtx); |
9588521d | 1564 | |
9588521d | 1565 | /* In varasm.c */ |
fdef3332 | 1566 | |
1567 | struct function; | |
3ad4992f | 1568 | extern rtx get_pool_constant (rtx); |
1569 | extern rtx get_pool_constant_mark (rtx, bool *); | |
dd9b9fc5 | 1570 | extern enum machine_mode get_pool_mode (const_rtx); |
3ad4992f | 1571 | extern rtx simplify_subtraction (rtx); |
9588521d | 1572 | |
1573 | /* In function.c */ | |
3ad4992f | 1574 | extern rtx assign_stack_local (enum machine_mode, HOST_WIDE_INT, int); |
27a7a23a | 1575 | extern rtx assign_stack_local_1 (enum machine_mode, HOST_WIDE_INT, int, bool); |
3ad4992f | 1576 | extern rtx assign_stack_temp (enum machine_mode, HOST_WIDE_INT, int); |
1577 | extern rtx assign_stack_temp_for_type (enum machine_mode, | |
1578 | HOST_WIDE_INT, int, tree); | |
1579 | extern rtx assign_temp (tree, int, int, int); | |
0a3b3d88 | 1580 | |
9588521d | 1581 | /* In emit-rtl.c */ |
3ad4992f | 1582 | extern rtx emit_insn_before (rtx, rtx); |
3072d30e | 1583 | extern rtx emit_insn_before_noloc (rtx, rtx, struct basic_block_def *); |
3ad4992f | 1584 | extern rtx emit_insn_before_setloc (rtx, rtx, int); |
1585 | extern rtx emit_jump_insn_before (rtx, rtx); | |
0891f67c | 1586 | extern rtx emit_jump_insn_before_noloc (rtx, rtx); |
3ad4992f | 1587 | extern rtx emit_jump_insn_before_setloc (rtx, rtx, int); |
1588 | extern rtx emit_call_insn_before (rtx, rtx); | |
0891f67c | 1589 | extern rtx emit_call_insn_before_noloc (rtx, rtx); |
3ad4992f | 1590 | extern rtx emit_call_insn_before_setloc (rtx, rtx, int); |
1591 | extern rtx emit_barrier_before (rtx); | |
1592 | extern rtx emit_label_before (rtx, rtx); | |
ad4583d9 | 1593 | extern rtx emit_note_before (enum insn_note, rtx); |
3ad4992f | 1594 | extern rtx emit_insn_after (rtx, rtx); |
3072d30e | 1595 | extern rtx emit_insn_after_noloc (rtx, rtx, struct basic_block_def *); |
3ad4992f | 1596 | extern rtx emit_insn_after_setloc (rtx, rtx, int); |
1597 | extern rtx emit_jump_insn_after (rtx, rtx); | |
0891f67c | 1598 | extern rtx emit_jump_insn_after_noloc (rtx, rtx); |
3ad4992f | 1599 | extern rtx emit_jump_insn_after_setloc (rtx, rtx, int); |
1600 | extern rtx emit_call_insn_after (rtx, rtx); | |
0891f67c | 1601 | extern rtx emit_call_insn_after_noloc (rtx, rtx); |
3ad4992f | 1602 | extern rtx emit_call_insn_after_setloc (rtx, rtx, int); |
1603 | extern rtx emit_barrier_after (rtx); | |
1604 | extern rtx emit_label_after (rtx, rtx); | |
ad4583d9 | 1605 | extern rtx emit_note_after (enum insn_note, rtx); |
3ad4992f | 1606 | extern rtx emit_insn (rtx); |
1607 | extern rtx emit_jump_insn (rtx); | |
1608 | extern rtx emit_call_insn (rtx); | |
1609 | extern rtx emit_label (rtx); | |
1610 | extern rtx emit_barrier (void); | |
ad4583d9 | 1611 | extern rtx emit_note (enum insn_note); |
3ad4992f | 1612 | extern rtx emit_note_copy (rtx); |
18b42941 | 1613 | extern rtx gen_clobber (rtx); |
1614 | extern rtx emit_clobber (rtx); | |
1615 | extern rtx gen_use (rtx); | |
1616 | extern rtx emit_use (rtx); | |
3ad4992f | 1617 | extern rtx make_insn_raw (rtx); |
89140b26 | 1618 | extern rtx make_jump_insn_raw (rtx); |
3ad4992f | 1619 | extern void add_function_usage_to (rtx, rtx); |
1620 | extern rtx last_call_insn (void); | |
1621 | extern rtx previous_insn (rtx); | |
1622 | extern rtx next_insn (rtx); | |
1623 | extern rtx prev_nonnote_insn (rtx); | |
1624 | extern rtx next_nonnote_insn (rtx); | |
1625 | extern rtx prev_real_insn (rtx); | |
1626 | extern rtx next_real_insn (rtx); | |
1627 | extern rtx prev_active_insn (rtx); | |
1628 | extern rtx next_active_insn (rtx); | |
52d07779 | 1629 | extern int active_insn_p (const_rtx); |
3ad4992f | 1630 | extern rtx prev_label (rtx); |
1631 | extern rtx next_label (rtx); | |
67c5e2a9 | 1632 | extern rtx skip_consecutive_labels (rtx); |
3ad4992f | 1633 | extern rtx next_cc0_user (rtx); |
1634 | extern rtx prev_cc0_setter (rtx); | |
9588521d | 1635 | |
84c71503 | 1636 | /* In cfglayout.c */ |
dd9b9fc5 | 1637 | extern int insn_line (const_rtx); |
1638 | extern const char * insn_file (const_rtx); | |
c6a8cd53 | 1639 | extern int locator_line (int); |
1640 | extern const char * locator_file (int); | |
13751393 | 1641 | extern int prologue_locator, epilogue_locator; |
84c71503 | 1642 | |
9588521d | 1643 | /* In jump.c */ |
3ad4992f | 1644 | extern enum rtx_code reverse_condition (enum rtx_code); |
1645 | extern enum rtx_code reverse_condition_maybe_unordered (enum rtx_code); | |
1646 | extern enum rtx_code swap_condition (enum rtx_code); | |
1647 | extern enum rtx_code unsigned_condition (enum rtx_code); | |
1648 | extern enum rtx_code signed_condition (enum rtx_code); | |
1649 | extern void mark_jump_label (rtx, rtx, int); | |
2a1990e9 | 1650 | extern unsigned int cleanup_barriers (void); |
9588521d | 1651 | |
9588521d | 1652 | /* In jump.c */ |
3ad4992f | 1653 | extern rtx delete_related_insns (rtx); |
9588521d | 1654 | |
1655 | /* In recog.c */ | |
3ad4992f | 1656 | extern rtx *find_constant_term_loc (rtx *); |
9588521d | 1657 | |
1658 | /* In emit-rtl.c */ | |
3ad4992f | 1659 | extern rtx try_split (rtx, rtx, int); |
3cd757b1 | 1660 | extern int split_branch_probability; |
9588521d | 1661 | |
1662 | /* In unknown file */ | |
3ad4992f | 1663 | extern rtx split_insns (rtx, rtx); |
9588521d | 1664 | |
1665 | /* In simplify-rtx.c */ | |
3b723a04 | 1666 | extern rtx simplify_const_unary_operation (enum rtx_code, enum machine_mode, |
1667 | rtx, enum machine_mode); | |
3ad4992f | 1668 | extern rtx simplify_unary_operation (enum rtx_code, enum machine_mode, rtx, |
1669 | enum machine_mode); | |
3b723a04 | 1670 | extern rtx simplify_const_binary_operation (enum rtx_code, enum machine_mode, |
1671 | rtx, rtx); | |
3ad4992f | 1672 | extern rtx simplify_binary_operation (enum rtx_code, enum machine_mode, rtx, |
1673 | rtx); | |
1674 | extern rtx simplify_ternary_operation (enum rtx_code, enum machine_mode, | |
1675 | enum machine_mode, rtx, rtx, rtx); | |
089b4730 | 1676 | extern rtx simplify_const_relational_operation (enum rtx_code, |
1677 | enum machine_mode, rtx, rtx); | |
3ad4992f | 1678 | extern rtx simplify_relational_operation (enum rtx_code, enum machine_mode, |
089b4730 | 1679 | enum machine_mode, rtx, rtx); |
3ad4992f | 1680 | extern rtx simplify_gen_binary (enum rtx_code, enum machine_mode, rtx, rtx); |
1681 | extern rtx simplify_gen_unary (enum rtx_code, enum machine_mode, rtx, | |
1682 | enum machine_mode); | |
1683 | extern rtx simplify_gen_ternary (enum rtx_code, enum machine_mode, | |
1684 | enum machine_mode, rtx, rtx, rtx); | |
1685 | extern rtx simplify_gen_relational (enum rtx_code, enum machine_mode, | |
1686 | enum machine_mode, rtx, rtx); | |
1687 | extern rtx simplify_subreg (enum machine_mode, rtx, enum machine_mode, | |
1688 | unsigned int); | |
1689 | extern rtx simplify_gen_subreg (enum machine_mode, rtx, enum machine_mode, | |
1690 | unsigned int); | |
dd9b9fc5 | 1691 | extern rtx simplify_replace_rtx (rtx, const_rtx, rtx); |
9f627b1a | 1692 | extern rtx simplify_rtx (const_rtx); |
3ad4992f | 1693 | extern rtx avoid_constant_pool_reference (rtx); |
dd9b9fc5 | 1694 | extern bool mode_signbit_p (enum machine_mode, const_rtx); |
9588521d | 1695 | |
9588521d | 1696 | /* In regclass.c */ |
b805295e | 1697 | extern enum machine_mode choose_hard_reg_mode (unsigned int, unsigned int, |
1698 | bool); | |
9588521d | 1699 | |
1700 | /* In emit-rtl.c */ | |
3ad4992f | 1701 | extern rtx set_unique_reg_note (rtx, enum reg_note, rtx); |
3072d30e | 1702 | extern void set_insn_deleted (rtx); |
ea0cb7ae | 1703 | |
0dbd1c74 | 1704 | /* Functions in rtlanal.c */ |
1705 | ||
6531eca9 | 1706 | /* Single set is implemented as macro for performance reasons. */ |
1707 | #define single_set(I) (INSN_P (I) \ | |
1708 | ? (GET_CODE (PATTERN (I)) == SET \ | |
1709 | ? PATTERN (I) : single_set_1 (I)) \ | |
1710 | : NULL_RTX) | |
a0bb0d20 | 1711 | #define single_set_1(I) single_set_2 (I, PATTERN (I)) |
6531eca9 | 1712 | |
f2756aab | 1713 | /* Structure used for passing data to REPLACE_LABEL. */ |
cda612f5 | 1714 | typedef struct replace_label_data |
f2756aab | 1715 | { |
1716 | rtx r1; | |
1717 | rtx r2; | |
cda612f5 | 1718 | bool update_label_nuses; |
1719 | } replace_label_data; | |
f2756aab | 1720 | |
dd9b9fc5 | 1721 | extern int rtx_addr_can_trap_p (const_rtx); |
1722 | extern bool nonzero_address_p (const_rtx); | |
1723 | extern int rtx_unstable_p (const_rtx); | |
52d07779 | 1724 | extern bool rtx_varies_p (const_rtx, bool); |
1725 | extern bool rtx_addr_varies_p (const_rtx, bool); | |
dd9b9fc5 | 1726 | extern HOST_WIDE_INT get_integer_term (const_rtx); |
1727 | extern rtx get_related_value (const_rtx); | |
1728 | extern bool offset_within_block_p (const_rtx, HOST_WIDE_INT); | |
e0ab7256 | 1729 | extern void split_const (rtx, rtx *, rtx *); |
dd9b9fc5 | 1730 | extern int reg_mentioned_p (const_rtx, const_rtx); |
1731 | extern int count_occurrences (const_rtx, const_rtx, int); | |
1732 | extern int reg_referenced_p (const_rtx, const_rtx); | |
1733 | extern int reg_used_between_p (const_rtx, const_rtx, const_rtx); | |
7ecb5bb2 | 1734 | extern int reg_set_between_p (const_rtx, const_rtx, const_rtx); |
3ad4992f | 1735 | extern int commutative_operand_precedence (rtx); |
1f3b83af | 1736 | extern bool swap_commutative_operands_p (rtx, rtx); |
5493cb9a | 1737 | extern int modified_between_p (const_rtx, const_rtx, const_rtx); |
dd9b9fc5 | 1738 | extern int no_labels_between_p (const_rtx, const_rtx); |
5493cb9a | 1739 | extern int modified_in_p (const_rtx, const_rtx); |
7ecb5bb2 | 1740 | extern int reg_set_p (const_rtx, const_rtx); |
dd9b9fc5 | 1741 | extern rtx single_set_2 (const_rtx, const_rtx); |
1742 | extern int multiple_sets (const_rtx); | |
1743 | extern int set_noop_p (const_rtx); | |
b7bf20db | 1744 | extern int noop_move_p (const_rtx); |
3ad4992f | 1745 | extern rtx find_last_value (rtx, rtx *, rtx, int); |
dd9b9fc5 | 1746 | extern int refers_to_regno_p (unsigned int, unsigned int, const_rtx, rtx *); |
1747 | extern int reg_overlap_mentioned_p (const_rtx, const_rtx); | |
81a410b1 | 1748 | extern const_rtx set_of (const_rtx, const_rtx); |
1749 | extern void note_stores (const_rtx, void (*) (rtx, const_rtx, void *), void *); | |
3ad4992f | 1750 | extern void note_uses (rtx *, void (*) (rtx *, void *), void *); |
dd9b9fc5 | 1751 | extern int dead_or_set_p (const_rtx, const_rtx); |
1752 | extern int dead_or_set_regno_p (const_rtx, unsigned int); | |
1753 | extern rtx find_reg_note (const_rtx, enum reg_note, const_rtx); | |
1754 | extern rtx find_regno_note (const_rtx, enum reg_note, unsigned int); | |
1755 | extern rtx find_reg_equal_equiv_note (const_rtx); | |
1756 | extern rtx find_constant_src (const_rtx); | |
1757 | extern int find_reg_fusage (const_rtx, enum rtx_code, const_rtx); | |
1758 | extern int find_regno_fusage (const_rtx, enum rtx_code, unsigned int); | |
a1ddb869 | 1759 | extern void add_reg_note (rtx, enum reg_note, rtx); |
dd9b9fc5 | 1760 | extern void remove_note (rtx, const_rtx); |
f16feee2 | 1761 | extern void remove_reg_equal_equiv_notes (rtx); |
dd9b9fc5 | 1762 | extern int side_effects_p (const_rtx); |
1763 | extern int volatile_refs_p (const_rtx); | |
1764 | extern int volatile_insn_p (const_rtx); | |
77ad8e5a | 1765 | extern int may_trap_p_1 (const_rtx, unsigned); |
dd9b9fc5 | 1766 | extern int may_trap_p (const_rtx); |
1767 | extern int may_trap_after_code_motion_p (const_rtx); | |
1768 | extern int may_trap_or_fault_p (const_rtx); | |
1769 | extern int inequality_comparisons_p (const_rtx); | |
3ad4992f | 1770 | extern rtx replace_rtx (rtx, rtx, rtx); |
3ad4992f | 1771 | extern int replace_label (rtx *, void *); |
1772 | extern int rtx_referenced_p (rtx, rtx); | |
dd9b9fc5 | 1773 | extern bool tablejump_p (const_rtx, rtx *, rtx *); |
1774 | extern int computed_jump_p (const_rtx); | |
3ad4992f | 1775 | typedef int (*rtx_function) (rtx *, void *); |
1776 | extern int for_each_rtx (rtx *, rtx_function, void *); | |
1777 | extern rtx regno_use_in (unsigned int, rtx); | |
dd9b9fc5 | 1778 | extern int auto_inc_p (const_rtx); |
1779 | extern int in_expr_list_p (const_rtx, const_rtx); | |
1780 | extern void remove_node_from_expr_list (const_rtx, rtx *); | |
1781 | extern int loc_mentioned_in_p (rtx *, const_rtx); | |
3ad4992f | 1782 | extern rtx find_first_parameter_load (rtx, rtx); |
5493cb9a | 1783 | extern bool keep_with_call_p (const_rtx); |
dd9b9fc5 | 1784 | extern bool label_is_jump_target_p (const_rtx, const_rtx); |
0a8a047c | 1785 | extern int insn_rtx_cost (rtx); |
759bebca | 1786 | |
ea92ba80 | 1787 | /* Given an insn and condition, return a canonical description of |
1788 | the test being made. */ | |
1789 | extern rtx canonicalize_condition (rtx, rtx, int, rtx *, rtx, int, int); | |
1790 | ||
1791 | /* Given a JUMP_INSN, return a canonical description of the test | |
1792 | being made. */ | |
1793 | extern rtx get_condition (rtx, rtx *, int, int); | |
1794 | ||
1f3233d1 | 1795 | /* lists.c */ |
1796 | ||
1a97be37 | 1797 | void free_EXPR_LIST_list (rtx *); |
1798 | void free_INSN_LIST_list (rtx *); | |
1799 | void free_EXPR_LIST_node (rtx); | |
1800 | void free_INSN_LIST_node (rtx); | |
1801 | rtx alloc_INSN_LIST (rtx, rtx); | |
1802 | rtx alloc_EXPR_LIST (int, rtx, rtx); | |
e4897000 | 1803 | void remove_free_INSN_LIST_elem (rtx, rtx *); |
1804 | rtx remove_list_elem (rtx, rtx *); | |
7cc785dd | 1805 | |
1806 | /* regclass.c */ | |
1807 | ||
47dd2e78 | 1808 | /* Initialize may_move_cost and friends for mode M. */ |
1809 | extern void init_move_cost (enum machine_mode); | |
1810 | /* Allocate register info memory. */ | |
1811 | extern void allocate_reg_info (void); | |
1812 | /* Resize reg info. */ | |
1813 | extern void resize_reg_info (void); | |
b6c8b728 | 1814 | /* Free up register info memory. */ |
3ad4992f | 1815 | extern void free_reg_info (void); |
b6c8b728 | 1816 | |
7cc785dd | 1817 | /* recog.c */ |
52d07779 | 1818 | extern int asm_noperands (const_rtx); |
3ad4992f | 1819 | extern const char *decode_asm_operands (rtx, rtx *, rtx **, const char **, |
09fb10e8 | 1820 | enum machine_mode *, location_t *); |
759bebca | 1821 | |
3ad4992f | 1822 | extern enum reg_class reg_preferred_class (int); |
1823 | extern enum reg_class reg_alternate_class (int); | |
47dd2e78 | 1824 | extern void setup_reg_classes (int, enum reg_class, enum reg_class); |
759bebca | 1825 | |
3072d30e | 1826 | extern void split_all_insns (void); |
2a1990e9 | 1827 | extern unsigned int split_all_insns_noflow (void); |
14d66741 | 1828 | |
1a60f06a | 1829 | #define MAX_SAVED_CONST_INT 64 |
1f3233d1 | 1830 | extern GTY(()) rtx const_int_rtx[MAX_SAVED_CONST_INT * 2 + 1]; |
1a60f06a | 1831 | |
57c097d5 | 1832 | #define const0_rtx (const_int_rtx[MAX_SAVED_CONST_INT]) |
1833 | #define const1_rtx (const_int_rtx[MAX_SAVED_CONST_INT+1]) | |
1834 | #define const2_rtx (const_int_rtx[MAX_SAVED_CONST_INT+2]) | |
1835 | #define constm1_rtx (const_int_rtx[MAX_SAVED_CONST_INT-1]) | |
1f3233d1 | 1836 | extern GTY(()) rtx const_true_rtx; |
ca9902fc | 1837 | |
1f3233d1 | 1838 | extern GTY(()) rtx const_tiny_rtx[3][(int) MAX_MACHINE_MODE]; |
ca9902fc | 1839 | |
f220c8f0 | 1840 | /* Returns a constant 0 rtx in mode MODE. Integer modes are treated the |
ca9902fc | 1841 | same as VOIDmode. */ |
1842 | ||
1843 | #define CONST0_RTX(MODE) (const_tiny_rtx[0][(int) (MODE)]) | |
1844 | ||
1845 | /* Likewise, for the constants 1 and 2. */ | |
1846 | ||
1847 | #define CONST1_RTX(MODE) (const_tiny_rtx[1][(int) (MODE)]) | |
1848 | #define CONST2_RTX(MODE) (const_tiny_rtx[2][(int) (MODE)]) | |
759bebca | 1849 | |
57c097d5 | 1850 | /* If HARD_FRAME_POINTER_REGNUM is defined, then a special dummy reg |
1851 | is used to represent the frame pointer. This is because the | |
1852 | hard frame pointer and the automatic variables are separated by an amount | |
1853 | that cannot be determined until after register allocation. We can assume | |
1854 | that in this case ELIMINABLE_REGS will be defined, one action of which | |
a7dce381 | 1855 | will be to eliminate FRAME_POINTER_REGNUM into HARD_FRAME_POINTER_REGNUM. */ |
57c097d5 | 1856 | #ifndef HARD_FRAME_POINTER_REGNUM |
1857 | #define HARD_FRAME_POINTER_REGNUM FRAME_POINTER_REGNUM | |
1858 | #endif | |
1859 | ||
1860 | /* Index labels for global_rtl. */ | |
1861 | enum global_rtl_index | |
1a60f06a | 1862 | { |
57c097d5 | 1863 | GR_PC, |
1864 | GR_CC0, | |
1865 | GR_STACK_POINTER, | |
1866 | GR_FRAME_POINTER, | |
1867 | /* For register elimination to work properly these hard_frame_pointer_rtx, | |
1868 | frame_pointer_rtx, and arg_pointer_rtx must be the same if they refer to | |
1869 | the same register. */ | |
1870 | #if FRAME_POINTER_REGNUM == ARG_POINTER_REGNUM | |
1871 | GR_ARG_POINTER = GR_FRAME_POINTER, | |
1872 | #endif | |
1873 | #if HARD_FRAME_POINTER_REGNUM == FRAME_POINTER_REGNUM | |
1874 | GR_HARD_FRAME_POINTER = GR_FRAME_POINTER, | |
1875 | #else | |
1876 | GR_HARD_FRAME_POINTER, | |
1877 | #endif | |
1878 | #if FRAME_POINTER_REGNUM != ARG_POINTER_REGNUM | |
1879 | #if HARD_FRAME_POINTER_REGNUM == ARG_POINTER_REGNUM | |
1880 | GR_ARG_POINTER = GR_HARD_FRAME_POINTER, | |
1881 | #else | |
1882 | GR_ARG_POINTER, | |
1883 | #endif | |
1884 | #endif | |
1885 | GR_VIRTUAL_INCOMING_ARGS, | |
1886 | GR_VIRTUAL_STACK_ARGS, | |
1887 | GR_VIRTUAL_STACK_DYNAMIC, | |
1888 | GR_VIRTUAL_OUTGOING_ARGS, | |
1889 | GR_VIRTUAL_CFA, | |
1890 | ||
1891 | GR_MAX | |
1892 | }; | |
1893 | ||
1894 | /* Pointers to standard pieces of rtx are stored here. */ | |
1f3233d1 | 1895 | extern GTY(()) rtx global_rtl[GR_MAX]; |
57c097d5 | 1896 | |
1897 | /* Standard pieces of rtx, to be substituted directly into things. */ | |
1898 | #define pc_rtx (global_rtl[GR_PC]) | |
1899 | #define cc0_rtx (global_rtl[GR_CC0]) | |
1a60f06a | 1900 | |
759bebca | 1901 | /* All references to certain hard regs, except those created |
1902 | by allocating pseudo regs into them (when that's possible), | |
1903 | go through these unique rtx objects. */ | |
57c097d5 | 1904 | #define stack_pointer_rtx (global_rtl[GR_STACK_POINTER]) |
1905 | #define frame_pointer_rtx (global_rtl[GR_FRAME_POINTER]) | |
1906 | #define hard_frame_pointer_rtx (global_rtl[GR_HARD_FRAME_POINTER]) | |
1907 | #define arg_pointer_rtx (global_rtl[GR_ARG_POINTER]) | |
1a60f06a | 1908 | |
1f3233d1 | 1909 | extern GTY(()) rtx pic_offset_table_rtx; |
1f3233d1 | 1910 | extern GTY(()) rtx static_chain_rtx; |
1911 | extern GTY(()) rtx static_chain_incoming_rtx; | |
1912 | extern GTY(()) rtx return_address_pointer_rtx; | |
3ad7bb1c | 1913 | |
1914 | /* Include the RTL generation functions. */ | |
1915 | ||
fdef3332 | 1916 | #ifndef GENERATOR_FILE |
3ad7bb1c | 1917 | #include "genrtl.h" |
09fb10e8 | 1918 | #undef gen_rtx_ASM_INPUT |
09fb10e8 | 1919 | #define gen_rtx_ASM_INPUT(MODE, ARG0) \ |
1920 | gen_rtx_fmt_si (ASM_INPUT, (MODE), (ARG0), 0) | |
1921 | #define gen_rtx_ASM_INPUT_loc(MODE, ARG0, LOC) \ | |
1922 | gen_rtx_fmt_si (ASM_INPUT, (MODE), (ARG0), (LOC)) | |
3ad7bb1c | 1923 | #endif |
1924 | ||
b5ba9f3a | 1925 | /* There are some RTL codes that require special attention; the |
1926 | generation functions included above do the raw handling. If you | |
8fd5918e | 1927 | add to this list, modify special_rtx in gengenrtl.c as well. */ |
3ad7bb1c | 1928 | |
3ad4992f | 1929 | extern rtx gen_rtx_CONST_INT (enum machine_mode, HOST_WIDE_INT); |
1930 | extern rtx gen_rtx_CONST_VECTOR (enum machine_mode, rtvec); | |
1931 | extern rtx gen_raw_REG (enum machine_mode, int); | |
1932 | extern rtx gen_rtx_REG (enum machine_mode, unsigned); | |
1933 | extern rtx gen_rtx_SUBREG (enum machine_mode, rtx, int); | |
1934 | extern rtx gen_rtx_MEM (enum machine_mode, rtx); | |
3ad7bb1c | 1935 | |
1e9d55d7 | 1936 | #define GEN_INT(N) gen_rtx_CONST_INT (VOIDmode, (N)) |
3ad7bb1c | 1937 | |
759bebca | 1938 | /* Virtual registers are used during RTL generation to refer to locations into |
1939 | the stack frame when the actual location isn't known until RTL generation | |
1940 | is complete. The routine instantiate_virtual_regs replaces these with | |
1941 | the proper value, which is normally {frame,arg,stack}_pointer_rtx plus | |
1942 | a constant. */ | |
1943 | ||
1944 | #define FIRST_VIRTUAL_REGISTER (FIRST_PSEUDO_REGISTER) | |
1945 | ||
1946 | /* This points to the first word of the incoming arguments passed on the stack, | |
1947 | either by the caller or by the callee when pretending it was passed by the | |
1948 | caller. */ | |
1949 | ||
57c097d5 | 1950 | #define virtual_incoming_args_rtx (global_rtl[GR_VIRTUAL_INCOMING_ARGS]) |
759bebca | 1951 | |
1952 | #define VIRTUAL_INCOMING_ARGS_REGNUM (FIRST_VIRTUAL_REGISTER) | |
1953 | ||
511d786c | 1954 | /* If FRAME_GROWS_DOWNWARD, this points to immediately above the first |
759bebca | 1955 | variable on the stack. Otherwise, it points to the first variable on |
1956 | the stack. */ | |
1957 | ||
57c097d5 | 1958 | #define virtual_stack_vars_rtx (global_rtl[GR_VIRTUAL_STACK_ARGS]) |
759bebca | 1959 | |
1960 | #define VIRTUAL_STACK_VARS_REGNUM ((FIRST_VIRTUAL_REGISTER) + 1) | |
1961 | ||
1962 | /* This points to the location of dynamically-allocated memory on the stack | |
1963 | immediately after the stack pointer has been adjusted by the amount | |
1964 | desired. */ | |
1965 | ||
57c097d5 | 1966 | #define virtual_stack_dynamic_rtx (global_rtl[GR_VIRTUAL_STACK_DYNAMIC]) |
759bebca | 1967 | |
1968 | #define VIRTUAL_STACK_DYNAMIC_REGNUM ((FIRST_VIRTUAL_REGISTER) + 2) | |
1969 | ||
1970 | /* This points to the location in the stack at which outgoing arguments should | |
1971 | be written when the stack is pre-pushed (arguments pushed using push | |
1972 | insns always use sp). */ | |
1973 | ||
57c097d5 | 1974 | #define virtual_outgoing_args_rtx (global_rtl[GR_VIRTUAL_OUTGOING_ARGS]) |
759bebca | 1975 | |
1976 | #define VIRTUAL_OUTGOING_ARGS_REGNUM ((FIRST_VIRTUAL_REGISTER) + 3) | |
1977 | ||
ec37ccb4 | 1978 | /* This points to the Canonical Frame Address of the function. This |
de132707 | 1979 | should correspond to the CFA produced by INCOMING_FRAME_SP_OFFSET, |
ec37ccb4 | 1980 | but is calculated relative to the arg pointer for simplicity; the |
f220c8f0 | 1981 | frame pointer nor stack pointer are necessarily fixed relative to |
ec37ccb4 | 1982 | the CFA until after reload. */ |
1983 | ||
57c097d5 | 1984 | #define virtual_cfa_rtx (global_rtl[GR_VIRTUAL_CFA]) |
ec37ccb4 | 1985 | |
1986 | #define VIRTUAL_CFA_REGNUM ((FIRST_VIRTUAL_REGISTER) + 4) | |
1987 | ||
1988 | #define LAST_VIRTUAL_REGISTER ((FIRST_VIRTUAL_REGISTER) + 4) | |
759bebca | 1989 | |
2b96c5f6 | 1990 | /* Nonzero if REGNUM is a pointer into the stack frame. */ |
1a97be37 | 1991 | #define REGNO_PTR_FRAME_P(REGNUM) \ |
2b96c5f6 | 1992 | ((REGNUM) == STACK_POINTER_REGNUM \ |
1993 | || (REGNUM) == FRAME_POINTER_REGNUM \ | |
1994 | || (REGNUM) == HARD_FRAME_POINTER_REGNUM \ | |
1995 | || (REGNUM) == ARG_POINTER_REGNUM \ | |
1996 | || ((REGNUM) >= FIRST_VIRTUAL_REGISTER \ | |
1997 | && (REGNUM) <= LAST_VIRTUAL_REGISTER)) | |
1998 | ||
14e6e4d4 | 1999 | /* REGNUM never really appearing in the INSN stream. */ |
47c251e5 | 2000 | #define INVALID_REGNUM (~(unsigned int) 0) |
14e6e4d4 | 2001 | |
3ad4992f | 2002 | extern rtx output_constant_def (tree, int); |
6e326506 | 2003 | extern rtx lookup_constant_def (tree); |
759bebca | 2004 | |
759bebca | 2005 | /* Nonzero after end of reload pass. |
b0a37f5c | 2006 | Set to 1 or 0 by reload1.c. */ |
759bebca | 2007 | |
2008 | extern int reload_completed; | |
2009 | ||
8af3db02 | 2010 | /* Nonzero after thread_prologue_and_epilogue_insns has run. */ |
2011 | extern int epilogue_completed; | |
2012 | ||
759bebca | 2013 | /* Set to 1 while reload_as_needed is operating. |
2014 | Required by some machines to handle any generated moves differently. */ | |
2015 | ||
2016 | extern int reload_in_progress; | |
2017 | ||
e1ba4a27 | 2018 | /* This macro indicates whether you may create a new |
2019 | pseudo-register. */ | |
2020 | ||
2021 | #define can_create_pseudo_p() (!reload_in_progress && !reload_completed) | |
2022 | ||
3e6933a8 | 2023 | #ifdef STACK_REGS |
2024 | /* Nonzero after end of regstack pass. | |
2025 | Set to 1 or 0 by reg-stack.c. */ | |
2026 | extern int regstack_completed; | |
2027 | #endif | |
2028 | ||
759bebca | 2029 | /* If this is nonzero, we do not bother generating VOLATILE |
2030 | around volatile memory references, and we are willing to | |
2031 | output indirect addresses. If cse is to follow, we reject | |
2032 | indirect addresses so a useful potential cse is generated; | |
2033 | if it is used only once, instruction combination will produce | |
2034 | the same indirect address eventually. */ | |
2035 | extern int cse_not_expected; | |
2036 | ||
dd901a13 | 2037 | /* Translates rtx code to tree code, for those codes needed by |
283f631a | 2038 | REAL_ARITHMETIC. The function returns an int because the caller may not |
2039 | know what `enum tree_code' means. */ | |
2040 | ||
3ad4992f | 2041 | extern int rtx_to_tree_code (enum rtx_code); |
ea0cb7ae | 2042 | |
bc33205e | 2043 | /* In cse.c */ |
3ad4992f | 2044 | extern int delete_trivially_dead_insns (rtx, int); |
3f5be5f4 | 2045 | extern int cse_main (rtx, int); |
52d07779 | 2046 | extern int exp_equiv_p (const_rtx, const_rtx, int, bool); |
2047 | extern unsigned hash_rtx (const_rtx x, enum machine_mode, int *, int *, bool); | |
bc33205e | 2048 | |
2049 | /* In jump.c */ | |
3ad4992f | 2050 | extern int comparison_dominates_p (enum rtx_code, enum rtx_code); |
52d07779 | 2051 | extern int condjump_p (const_rtx); |
2052 | extern int any_condjump_p (const_rtx); | |
2053 | extern int any_uncondjump_p (const_rtx); | |
2054 | extern rtx pc_set (const_rtx); | |
5493cb9a | 2055 | extern rtx condjump_label (const_rtx); |
52d07779 | 2056 | extern int simplejump_p (const_rtx); |
3ad4992f | 2057 | extern int returnjump_p (rtx); |
52d07779 | 2058 | extern int onlyjump_p (const_rtx); |
2059 | extern int only_sets_cc0_p (const_rtx); | |
2060 | extern int sets_cc0_p (const_rtx); | |
3ad4992f | 2061 | extern int invert_jump_1 (rtx, rtx); |
2062 | extern int invert_jump (rtx, rtx, int); | |
a9f1838b | 2063 | extern int rtx_renumbered_equal_p (const_rtx, const_rtx); |
52d07779 | 2064 | extern int true_regnum (const_rtx); |
2065 | extern unsigned int reg_or_subregno (const_rtx); | |
3ad4992f | 2066 | extern int redirect_jump_1 (rtx, rtx); |
82880dfd | 2067 | extern void redirect_jump_2 (rtx, rtx, rtx, int, int); |
3ad4992f | 2068 | extern int redirect_jump (rtx, rtx, int); |
2069 | extern void rebuild_jump_labels (rtx); | |
5493cb9a | 2070 | extern rtx reversed_comparison (const_rtx, enum machine_mode); |
2071 | extern enum rtx_code reversed_comparison_code (const_rtx, const_rtx); | |
2072 | extern enum rtx_code reversed_comparison_code_parts (enum rtx_code, const_rtx, | |
2073 | const_rtx, const_rtx); | |
3ad4992f | 2074 | extern void delete_for_peephole (rtx, rtx); |
52d07779 | 2075 | extern int condjump_in_parallel_p (const_rtx); |
f5e86f05 | 2076 | |
a7dce381 | 2077 | /* In emit-rtl.c. */ |
3ad4992f | 2078 | extern int max_reg_num (void); |
2079 | extern int max_label_num (void); | |
2080 | extern int get_first_label_num (void); | |
4ee9c684 | 2081 | extern void maybe_set_first_label_num (rtx); |
3ad4992f | 2082 | extern void delete_insns_since (rtx); |
2083 | extern void mark_reg_pointer (rtx, int); | |
2084 | extern void mark_user_reg (rtx); | |
2085 | extern void reset_used_flags (rtx); | |
1cd4cfea | 2086 | extern void set_used_flags (rtx); |
3ad4992f | 2087 | extern void reorder_insns (rtx, rtx, rtx); |
2088 | extern void reorder_insns_nobb (rtx, rtx, rtx); | |
2089 | extern int get_max_uid (void); | |
2090 | extern int in_sequence_p (void); | |
2091 | extern void force_next_line_note (void); | |
2092 | extern void init_emit (void); | |
6d8b68a3 | 2093 | extern void init_emit_regs (void); |
3ad4992f | 2094 | extern void init_emit_once (int); |
2095 | extern void push_topmost_sequence (void); | |
2096 | extern void pop_topmost_sequence (void); | |
3ad4992f | 2097 | extern void set_new_first_and_last_insn (rtx, rtx); |
2a1990e9 | 2098 | extern unsigned int unshare_all_rtl (void); |
3ad4992f | 2099 | extern void unshare_all_rtl_again (rtx); |
1cd4cfea | 2100 | extern void unshare_all_rtl_in_chain (rtx); |
2101 | extern void verify_rtl_sharing (void); | |
3ad4992f | 2102 | extern void set_first_insn (rtx); |
2103 | extern void set_last_insn (rtx); | |
2104 | extern void link_cc0_insns (rtx); | |
2105 | extern void add_insn (rtx); | |
3072d30e | 2106 | extern void add_insn_before (rtx, rtx, struct basic_block_def *); |
2107 | extern void add_insn_after (rtx, rtx, struct basic_block_def *); | |
3ad4992f | 2108 | extern void remove_insn (rtx); |
3ad4992f | 2109 | extern rtx emit (rtx); |
3ad4992f | 2110 | extern rtx delete_insn (rtx); |
a0fee14a | 2111 | extern rtx entry_of_function (void); |
aa02fa19 | 2112 | extern void emit_insn_at_entry (rtx); |
39257eb5 | 2113 | extern void delete_insn_chain (rtx, rtx, bool); |
3ad4992f | 2114 | extern rtx unlink_insn_chain (rtx, rtx); |
2115 | extern rtx delete_insn_and_edges (rtx); | |
ebc94641 | 2116 | extern void delete_insn_chain_and_edges (rtx, rtx); |
fd00232c | 2117 | extern rtx gen_lowpart_SUBREG (enum machine_mode, rtx); |
e265a6da | 2118 | extern rtx gen_const_mem (enum machine_mode, rtx); |
00060fc2 | 2119 | extern rtx gen_frame_mem (enum machine_mode, rtx); |
2120 | extern rtx gen_tmp_stack_mem (enum machine_mode, rtx); | |
2166bbaa | 2121 | extern bool validate_subreg (enum machine_mode, enum machine_mode, |
7ecb5bb2 | 2122 | const_rtx, unsigned int); |
bc33205e | 2123 | |
3072d30e | 2124 | /* In combine.c */ |
52d07779 | 2125 | extern unsigned int extended_count (const_rtx, enum machine_mode, int); |
d598ad0d | 2126 | extern rtx remove_death (unsigned int, rtx); |
d598ad0d | 2127 | extern void dump_combine_stats (FILE *); |
2128 | extern void dump_combine_total_stats (FILE *); | |
bc33205e | 2129 | |
3072d30e | 2130 | /* In cfgcleanup.c */ |
2131 | extern void delete_dead_jumptables (void); | |
2132 | ||
75ab26dc | 2133 | /* In sched-vis.c. */ |
db982eeb | 2134 | extern void print_insn (char *, rtx, int); |
75ab26dc | 2135 | extern void print_rtl_slim_with_bb (FILE *, rtx, int); |
2136 | extern void dump_insn_slim (FILE *f, rtx x); | |
2137 | extern void debug_insn_slim (rtx x); | |
2138 | ||
fd00232c | 2139 | /* In sched-rgn.c. */ |
3f5be5f4 | 2140 | extern void schedule_insns (void); |
fd00232c | 2141 | |
2142 | /* In sched-ebb.c. */ | |
3f5be5f4 | 2143 | extern void schedule_ebbs (void); |
fd00232c | 2144 | |
2145 | /* In haifa-sched.c. */ | |
3ad4992f | 2146 | extern void fix_sched_param (const char *, const char *); |
bc33205e | 2147 | |
2148 | /* In print-rtl.c */ | |
52fd6db3 | 2149 | extern const char *print_rtx_head; |
dd9b9fc5 | 2150 | extern void debug_rtx (const_rtx); |
2151 | extern void debug_rtx_list (const_rtx, int); | |
2152 | extern void debug_rtx_range (const_rtx, const_rtx); | |
2153 | extern const_rtx debug_rtx_find (const_rtx, int); | |
2154 | extern void print_mem_expr (FILE *, const_tree); | |
2155 | extern void print_rtl (FILE *, const_rtx); | |
2156 | extern void print_simple_rtl (FILE *, const_rtx); | |
2157 | extern int print_rtl_single (FILE *, const_rtx); | |
2158 | extern void print_inline_rtx (FILE *, const_rtx, int); | |
bc33205e | 2159 | |
bc33205e | 2160 | /* In function.c */ |
3072d30e | 2161 | extern void reposition_prologue_and_epilogue_notes (void); |
52d07779 | 2162 | extern int prologue_epilogue_contains (const_rtx); |
2163 | extern int sibcall_epilogue_contains (const_rtx); | |
3ad4992f | 2164 | extern void mark_temp_addr_taken (rtx); |
2165 | extern void update_temp_slot_address (rtx, rtx); | |
bc33205e | 2166 | |
bc33205e | 2167 | /* In stmt.c */ |
3ad4992f | 2168 | extern void expand_null_return (void); |
62380d2d | 2169 | extern void expand_naked_return (void); |
3ad4992f | 2170 | extern void emit_jump (rtx); |
bc33205e | 2171 | |
2172 | /* In expr.c */ | |
3ad4992f | 2173 | extern rtx move_by_pieces (rtx, rtx, unsigned HOST_WIDE_INT, |
2174 | unsigned int, int); | |
9d7facc8 | 2175 | |
3072d30e | 2176 | /* In cfgrtl.c */ |
1f1872fd | 2177 | extern void print_rtl_with_bb (FILE *, const_rtx); |
3072d30e | 2178 | |
2179 | /* In cfg.c. */ | |
2180 | extern void dump_reg_info (FILE *); | |
562d71e8 | 2181 | extern void dump_flow_info (FILE *, int); |
bc33205e | 2182 | |
2183 | /* In expmed.c */ | |
3ad4992f | 2184 | extern void init_expmed (void); |
2185 | extern void expand_inc (rtx, rtx); | |
2186 | extern void expand_dec (rtx, rtx); | |
bc33205e | 2187 | |
ebd9163c | 2188 | /* In gcse.c */ |
3ad4992f | 2189 | extern bool can_copy_p (enum machine_mode); |
2190 | extern rtx fis_get_condition (rtx); | |
78d140c9 | 2191 | |
bc33205e | 2192 | /* In global.c */ |
47dd2e78 | 2193 | #ifdef HARD_CONST |
2194 | extern HARD_REG_SET eliminable_regset; | |
2195 | #endif | |
3ad4992f | 2196 | extern void mark_elimination (int, int); |
3ad4992f | 2197 | extern void dump_global_regs (FILE *); |
a986b5e0 | 2198 | #ifdef HARD_CONST |
897118e8 | 2199 | /* Yes, this ifdef is silly, but HARD_REG_SET is not always defined. */ |
3ad4992f | 2200 | extern void retry_global_alloc (int, HARD_REG_SET); |
a986b5e0 | 2201 | #endif |
47dd2e78 | 2202 | extern void build_insn_chain (void); |
bc33205e | 2203 | |
2204 | /* In regclass.c */ | |
3ad4992f | 2205 | extern int reg_classes_intersect_p (enum reg_class, enum reg_class); |
2206 | extern int reg_class_subset_p (enum reg_class, enum reg_class); | |
2207 | extern void globalize_reg (int); | |
6d8b68a3 | 2208 | extern void init_reg_modes_target (void); |
3ad4992f | 2209 | extern void init_regs (void); |
2210 | extern void init_fake_stack_mems (void); | |
7fecc8b3 | 2211 | extern void save_register_info (void); |
3ad4992f | 2212 | extern void init_reg_sets (void); |
3f5be5f4 | 2213 | extern void regclass (rtx, int); |
283a0d5c | 2214 | extern void reg_scan (rtx, unsigned int); |
3ad4992f | 2215 | extern void fix_register (const char *, int, int); |
897118e8 | 2216 | #ifdef HARD_CONST |
3ad4992f | 2217 | extern void cannot_change_mode_set_regs (HARD_REG_SET *, |
2218 | enum machine_mode, unsigned int); | |
897118e8 | 2219 | #endif |
3ad4992f | 2220 | extern bool invalid_mode_change_p (unsigned int, enum reg_class, |
2221 | enum machine_mode); | |
0019492d | 2222 | |
ebd9163c | 2223 | /* In reorg.c */ |
3f5be5f4 | 2224 | extern void dbr_schedule (rtx); |
ebd9163c | 2225 | |
bc33205e | 2226 | /* In local-alloc.c */ |
3ad4992f | 2227 | extern void dump_local_alloc (FILE *); |
47dd2e78 | 2228 | extern int update_equiv_regs (void); |
bc33205e | 2229 | |
dfc4de0a | 2230 | /* In reload1.c */ |
52d07779 | 2231 | extern int function_invariant_p (const_rtx); |
dfc4de0a | 2232 | |
bc33205e | 2233 | /* In calls.c */ |
2c5d421b | 2234 | enum libcall_type |
2235 | { | |
2236 | LCT_NORMAL = 0, | |
2237 | LCT_CONST = 1, | |
2238 | LCT_PURE = 2, | |
2dd6f9ed | 2239 | LCT_NORETURN = 3, |
2240 | LCT_THROW = 4, | |
2241 | LCT_RETURNS_TWICE = 5 | |
2c5d421b | 2242 | }; |
2243 | ||
3ad4992f | 2244 | extern void emit_library_call (rtx, enum libcall_type, enum machine_mode, int, |
2245 | ...); | |
2246 | extern rtx emit_library_call_value (rtx, rtx, enum libcall_type, | |
2247 | enum machine_mode, int, ...); | |
bc33205e | 2248 | |
bc33205e | 2249 | /* In varasm.c */ |
3ad4992f | 2250 | extern void init_varasm_once (void); |
a9f1838b | 2251 | extern enum tls_model decl_default_tls_model (const_tree); |
1b53eb20 | 2252 | |
bc33205e | 2253 | /* In rtl.c */ |
3ad4992f | 2254 | extern void traverse_md_constants (int (*) (void **, void *), void *); |
4333d921 | 2255 | struct md_constant { char *name, *value; }; |
bc33205e | 2256 | |
fdef3332 | 2257 | /* In read-rtl.c */ |
3ad4992f | 2258 | extern int read_skip_spaces (FILE *); |
fea520eb | 2259 | extern bool read_rtx (FILE *, rtx *, int *); |
9e959634 | 2260 | extern void copy_rtx_ptr_loc (const void *, const void *); |
2261 | extern void print_rtx_ptr_loc (const void *); | |
2262 | extern const char *join_c_conditions (const char *, const char *); | |
2263 | extern void print_c_condition (const char *); | |
0922b1b8 | 2264 | extern const char *read_rtx_filename; |
2265 | extern int read_rtx_lineno; | |
2266 | ||
bc33205e | 2267 | /* In alias.c */ |
aecda0d6 | 2268 | extern rtx canon_rtx (rtx); |
52d07779 | 2269 | extern int true_dependence (const_rtx, enum machine_mode, const_rtx, bool (*)(const_rtx, bool)); |
aecda0d6 | 2270 | extern rtx get_addr (rtx); |
52d07779 | 2271 | extern int canon_true_dependence (const_rtx, enum machine_mode, rtx, const_rtx, |
2272 | bool (*)(const_rtx, bool)); | |
2273 | extern int read_dependence (const_rtx, const_rtx); | |
2274 | extern int anti_dependence (const_rtx, const_rtx); | |
2275 | extern int output_dependence (const_rtx, const_rtx); | |
6d8b68a3 | 2276 | extern void init_alias_target (void); |
aecda0d6 | 2277 | extern void init_alias_analysis (void); |
2278 | extern void end_alias_analysis (void); | |
5493cb9a | 2279 | extern bool memory_modified_in_insn_p (const_rtx, const_rtx); |
aecda0d6 | 2280 | extern rtx find_base_term (rtx); |
c09425a0 | 2281 | extern rtx gen_hard_reg_clobber (enum machine_mode, unsigned int); |
12cb06ad | 2282 | extern rtx get_reg_known_value (unsigned int); |
2283 | extern bool get_reg_known_equiv_p (unsigned int); | |
23f5e759 | 2284 | |
b67ec609 | 2285 | #ifdef STACK_REGS |
5493cb9a | 2286 | extern int stack_regs_mentioned (const_rtx insn); |
b67ec609 | 2287 | #endif |
2288 | ||
8f8ac140 | 2289 | /* In toplev.c */ |
1f3233d1 | 2290 | extern GTY(()) rtx stack_limit_rtx; |
120911d5 | 2291 | |
13488c51 | 2292 | /* In predict.c */ |
3ad4992f | 2293 | extern void invert_br_probabilities (rtx); |
2294 | extern bool expensive_function_p (int); | |
5a74f77e | 2295 | /* In cfgexpand.c */ |
2296 | extern void add_reg_br_prob_note (rtx last, int probability); | |
897118e8 | 2297 | |
5923a5e7 | 2298 | /* In var-tracking.c */ |
2a1990e9 | 2299 | extern unsigned int variable_tracking_main (void); |
5923a5e7 | 2300 | |
f9cce2dc | 2301 | /* In stor-layout.c. */ |
a6629703 | 2302 | extern void get_mode_bounds (enum machine_mode, int, enum machine_mode, |
2303 | rtx *, rtx *); | |
f9cce2dc | 2304 | |
2305 | /* In loop-unswitch.c */ | |
2306 | extern rtx reversed_condition (rtx); | |
2307 | extern rtx compare_and_jump_seq (rtx, rtx, enum rtx_code, rtx, int, rtx); | |
2308 | ||
2309 | /* In loop-iv.c */ | |
2310 | extern rtx canon_condition (rtx); | |
2311 | extern void simplify_using_condition (rtx, rtx *, struct bitmap_head_def *); | |
d263732c | 2312 | \f |
2313 | struct rtl_hooks | |
2314 | { | |
2315 | rtx (*gen_lowpart) (enum machine_mode, rtx); | |
8666c391 | 2316 | rtx (*gen_lowpart_no_emit) (enum machine_mode, rtx); |
b7bf20db | 2317 | rtx (*reg_nonzero_bits) (const_rtx, enum machine_mode, const_rtx, enum machine_mode, |
d263732c | 2318 | unsigned HOST_WIDE_INT, unsigned HOST_WIDE_INT *); |
b7bf20db | 2319 | rtx (*reg_num_sign_bit_copies) (const_rtx, enum machine_mode, const_rtx, enum machine_mode, |
d263732c | 2320 | unsigned int, unsigned int *); |
b7bf20db | 2321 | bool (*reg_truncated_to_mode) (enum machine_mode, const_rtx); |
d263732c | 2322 | |
fd95fba4 | 2323 | /* Whenever you add entries here, make sure you adjust rtlhooks-def.h. */ |
d263732c | 2324 | }; |
2325 | ||
2326 | /* Each pass can provide its own. */ | |
2327 | extern struct rtl_hooks rtl_hooks; | |
2328 | ||
2329 | /* ... but then it has to restore these. */ | |
2330 | extern const struct rtl_hooks general_rtl_hooks; | |
2331 | ||
2332 | /* Keep this for the nonce. */ | |
2333 | #define gen_lowpart rtl_hooks.gen_lowpart | |
2334 | ||
375c1c8a | 2335 | extern void insn_locators_alloc (void); |
2336 | extern void insn_locators_finalize (void); | |
2337 | extern void set_curr_insn_source_location (location_t); | |
2338 | extern void set_curr_insn_block (tree); | |
2339 | extern int curr_insn_locator (void); | |
2340 | ||
2a281353 | 2341 | #endif /* ! GCC_RTL_H */ |