]>
Commit | Line | Data |
---|---|---|
5e6908ea | 1 | /* Register Transfer Language (RTL) definitions for GCC |
d1e082c2 | 2 | Copyright (C) 1987-2013 Free Software Foundation, Inc. |
6f29feb1 | 3 | |
1322177d | 4 | This file is part of GCC. |
6f29feb1 | 5 | |
1322177d LB |
6 | GCC is free software; you can redistribute it and/or modify it under |
7 | the terms of the GNU General Public License as published by the Free | |
9dcd6f09 | 8 | Software Foundation; either version 3, or (at your option) any later |
1322177d | 9 | version. |
6f29feb1 | 10 | |
1322177d LB |
11 | GCC is distributed in the hope that it will be useful, but WITHOUT ANY |
12 | WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
13 | FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
14 | for more details. | |
6f29feb1 JW |
15 | |
16 | You should have received a copy of the GNU General Public License | |
9dcd6f09 NC |
17 | along with GCC; see the file COPYING3. If not see |
18 | <http://www.gnu.org/licenses/>. */ | |
6f29feb1 | 19 | |
88657302 RH |
20 | #ifndef GCC_RTL_H |
21 | #define GCC_RTL_H | |
36edd3cc | 22 | |
7e7ec48e | 23 | #include "statistics.h" |
6f29feb1 | 24 | #include "machmode.h" |
fd3acbb3 | 25 | #include "input.h" |
9e254451 | 26 | #include "real.h" |
aacd3885 | 27 | #include "vec.h" |
091a3ac7 | 28 | #include "fixed-value.h" |
4862826d | 29 | #include "alias.h" |
d95828db | 30 | #include "hashtab.h" |
532aafad | 31 | #include "flags.h" |
6f29feb1 | 32 | |
173b24b9 | 33 | /* Value used by some passes to "recognize" noop moves as valid |
eebedaa5 | 34 | instructions. */ |
b5832b43 JH |
35 | #define NOOP_MOVE_INSN_CODE INT_MAX |
36 | ||
6f29feb1 JW |
37 | /* Register Transfer Language EXPRESSIONS CODES */ |
38 | ||
39 | #define RTX_CODE enum rtx_code | |
40 | enum rtx_code { | |
41 | ||
42 | #define DEF_RTL_EXPR(ENUM, NAME, FORMAT, CLASS) ENUM , | |
43 | #include "rtl.def" /* rtl expressions are documented here */ | |
44 | #undef DEF_RTL_EXPR | |
45 | ||
6dc42e49 | 46 | LAST_AND_UNUSED_RTX_CODE}; /* A convenient way to get a value for |
6f29feb1 | 47 | NUM_RTX_CODE. |
6dc42e49 | 48 | Assumes default enum value assignment. */ |
6f29feb1 | 49 | |
cd1440b1 | 50 | /* The cast here, saves many elsewhere. */ |
cf403648 | 51 | #define NUM_RTX_CODE ((int) LAST_AND_UNUSED_RTX_CODE) |
cd1440b1 RH |
52 | |
53 | /* Similar, but since generator files get more entries... */ | |
54 | #ifdef GENERATOR_FILE | |
55 | # define NON_GENERATOR_NUM_RTX_CODE ((int) MATCH_OPERAND) | |
56 | #endif | |
6f29feb1 | 57 | |
ec8e098d PB |
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) | |
ec8e098d | 97 | |
86460bab | 98 | extern const unsigned char rtx_length[NUM_RTX_CODE]; |
0f41302f | 99 | #define GET_RTX_LENGTH(CODE) (rtx_length[(int) (CODE)]) |
6f29feb1 | 100 | |
86460bab | 101 | extern const char * const rtx_name[NUM_RTX_CODE]; |
0f41302f | 102 | #define GET_RTX_NAME(CODE) (rtx_name[(int) (CODE)]) |
6f29feb1 | 103 | |
86460bab | 104 | extern const char * const rtx_format[NUM_RTX_CODE]; |
0f41302f | 105 | #define GET_RTX_FORMAT(CODE) (rtx_format[(int) (CODE)]) |
6f29feb1 | 106 | |
ec8e098d | 107 | extern const enum rtx_class rtx_class[NUM_RTX_CODE]; |
0f41302f | 108 | #define GET_RTX_CLASS(CODE) (rtx_class[(int) (CODE)]) |
36a5eadd | 109 | |
aacd3885 | 110 | extern const unsigned char rtx_code_size[NUM_RTX_CODE]; |
36a5eadd | 111 | extern const unsigned char rtx_next[NUM_RTX_CODE]; |
6f29feb1 | 112 | \f |
33f7f353 JR |
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. */ | |
84562394 | 115 | struct addr_diff_vec_flags |
33f7f353 JR |
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. */ | |
173b24b9 RK |
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. */ | |
33f7f353 JR |
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; | |
84562394 | 133 | }; |
33f7f353 | 134 | |
173b24b9 RK |
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 | |
754c3d5d | 137 | they cannot be modified in place. */ |
84562394 | 138 | struct GTY(()) mem_attrs |
173b24b9 | 139 | { |
754c3d5d RS |
140 | /* The expression that the MEM accesses, or null if not known. |
141 | This expression might be larger than the memory reference itself. | |
142 | (In other words, the MEM might access only part of the object.) */ | |
143 | tree expr; | |
144 | ||
145 | /* The offset of the memory reference from the start of EXPR. | |
146 | Only valid if OFFSET_KNOWN_P. */ | |
147 | HOST_WIDE_INT offset; | |
148 | ||
149 | /* The size of the memory reference in bytes. Only valid if | |
150 | SIZE_KNOWN_P. */ | |
151 | HOST_WIDE_INT size; | |
152 | ||
153 | /* The alias set of the memory reference. */ | |
154 | alias_set_type alias; | |
155 | ||
156 | /* The alignment of the reference in bits. Always a multiple of | |
157 | BITS_PER_UNIT. Note that EXPR may have a stricter alignment | |
158 | than the memory reference itself. */ | |
159 | unsigned int align; | |
160 | ||
161 | /* The address space that the memory reference uses. */ | |
162 | unsigned char addrspace; | |
163 | ||
164 | /* True if OFFSET is known. */ | |
165 | bool offset_known_p; | |
166 | ||
167 | /* True if SIZE is known. */ | |
168 | bool size_known_p; | |
84562394 | 169 | }; |
173b24b9 | 170 | |
a560d4d4 | 171 | /* Structure used to describe the attributes of a REG in similar way as |
38ae7651 RS |
172 | mem_attrs does for MEM above. Note that the OFFSET field is calculated |
173 | in the same way as for mem_attrs, rather than in the same way as a | |
174 | SUBREG_BYTE. For example, if a big-endian target stores a byte | |
175 | object in the low part of a 4-byte register, the OFFSET field | |
176 | will be -3 rather than 0. */ | |
a560d4d4 | 177 | |
84562394 | 178 | struct GTY(()) reg_attrs { |
a560d4d4 JH |
179 | tree decl; /* decl corresponding to REG. */ |
180 | HOST_WIDE_INT offset; /* Offset from start of DECL. */ | |
84562394 | 181 | }; |
a560d4d4 | 182 | |
6f29feb1 JW |
183 | /* Common union for an element of an rtx. */ |
184 | ||
84562394 | 185 | union rtunion |
6f29feb1 | 186 | { |
9ce88f5e GDR |
187 | int rt_int; |
188 | unsigned int rt_uint; | |
189 | const char *rt_str; | |
190 | rtx rt_rtx; | |
191 | rtvec rt_rtvec; | |
192 | enum machine_mode rt_type; | |
33f7f353 | 193 | addr_diff_vec_flags rt_addr_diff_vec_flags; |
84562394 | 194 | struct cselib_val *rt_cselib; |
9ce88f5e | 195 | tree rt_tree; |
b8244d74 | 196 | basic_block rt_bb; |
9ce88f5e GDR |
197 | mem_attrs *rt_mem; |
198 | reg_attrs *rt_reg; | |
c185c797 | 199 | struct constant_descriptor_rtx *rt_constant; |
84562394 | 200 | struct dw_cfi_node *rt_cfi; |
36a5eadd | 201 | }; |
6f29feb1 | 202 | |
aacd3885 RS |
203 | /* This structure remembers the position of a SYMBOL_REF within an |
204 | object_block structure. A SYMBOL_REF only provides this information | |
3fa9c136 | 205 | if SYMBOL_REF_HAS_BLOCK_INFO_P is true. */ |
d1b38208 | 206 | struct GTY(()) block_symbol { |
aacd3885 RS |
207 | /* The usual SYMBOL_REF fields. */ |
208 | rtunion GTY ((skip)) fld[3]; | |
209 | ||
210 | /* The block that contains this object. */ | |
211 | struct object_block *block; | |
212 | ||
213 | /* The offset of this object from the start of its block. It is negative | |
214 | if the symbol has not yet been assigned an offset. */ | |
215 | HOST_WIDE_INT offset; | |
216 | }; | |
217 | ||
aacd3885 RS |
218 | /* Describes a group of objects that are to be placed together in such |
219 | a way that their relative positions are known. */ | |
d1b38208 | 220 | struct GTY(()) object_block { |
aacd3885 RS |
221 | /* The section in which these objects should be placed. */ |
222 | section *sect; | |
223 | ||
224 | /* The alignment of the first object, measured in bits. */ | |
225 | unsigned int alignment; | |
226 | ||
227 | /* The total size of the objects, measured in bytes. */ | |
228 | HOST_WIDE_INT size; | |
229 | ||
230 | /* The SYMBOL_REFs for each object. The vector is sorted in | |
231 | order of increasing offset and the following conditions will | |
232 | hold for each element X: | |
233 | ||
3fa9c136 | 234 | SYMBOL_REF_HAS_BLOCK_INFO_P (X) |
aacd3885 RS |
235 | !SYMBOL_REF_ANCHOR_P (X) |
236 | SYMBOL_REF_BLOCK (X) == [address of this structure] | |
237 | SYMBOL_REF_BLOCK_OFFSET (X) >= 0. */ | |
9771b263 | 238 | vec<rtx, va_gc> *objects; |
aacd3885 RS |
239 | |
240 | /* All the anchor SYMBOL_REFs used to address these objects, sorted | |
241 | in order of increasing offset, and then increasing TLS model. | |
242 | The following conditions will hold for each element X in this vector: | |
243 | ||
3fa9c136 | 244 | SYMBOL_REF_HAS_BLOCK_INFO_P (X) |
aacd3885 RS |
245 | SYMBOL_REF_ANCHOR_P (X) |
246 | SYMBOL_REF_BLOCK (X) == [address of this structure] | |
247 | SYMBOL_REF_BLOCK_OFFSET (X) >= 0. */ | |
9771b263 | 248 | vec<rtx, va_gc> *anchors; |
aacd3885 RS |
249 | }; |
250 | ||
6f29feb1 JW |
251 | /* RTL expression ("rtx"). */ |
252 | ||
d1b38208 | 253 | struct GTY((chain_next ("RTX_NEXT (&%h)"), |
a9429e29 | 254 | chain_prev ("RTX_PREV (&%h)"), variable_size)) rtx_def { |
6f29feb1 | 255 | /* The kind of expression this is. */ |
c149cc37 | 256 | ENUM_BITFIELD(rtx_code) code: 16; |
18def38f | 257 | |
6f29feb1 | 258 | /* The kind of value the expression has. */ |
c149cc37 RL |
259 | ENUM_BITFIELD(machine_mode) mode : 8; |
260 | ||
5a63e069 JJ |
261 | /* 1 in a MEM if we should keep the alias set for this mem unchanged |
262 | when we access a component. | |
263 | 1 in a CALL_INSN if it is a sibling call. | |
0dc36574 | 264 | 1 in a SET that is for a return. |
09dbcd96 | 265 | In a CODE_LABEL, part of the two-bit alternate entry field. |
0fe03ac3 | 266 | 1 in a CONCAT is VAL_EXPR_IS_COPIED in var-tracking.c. |
2c62cbaa | 267 | 1 in a VALUE is SP_BASED_VALUE_P in cselib.c. |
089d1227 | 268 | 1 in a SUBREG generated by LRA for reload insns. */ |
6f29feb1 | 269 | unsigned int jump : 1; |
4da2eb6b | 270 | /* In a CODE_LABEL, part of the two-bit alternate entry field. |
b8698a0f | 271 | 1 in a MEM if it cannot trap. |
becfd6e5 KZ |
272 | 1 in a CALL_INSN logically equivalent to |
273 | ECF_LOOPING_CONST_OR_PURE and DECL_LOOPING_CONST_OR_PURE_P. */ | |
6f29feb1 | 274 | unsigned int call : 1; |
5a63e069 | 275 | /* 1 in a REG, MEM, or CONCAT if the value is set at most once, anywhere. |
4e18a7d4 | 276 | 1 in a SUBREG used for SUBREG_PROMOTED_UNSIGNED_P. |
6f29feb1 JW |
277 | 1 in a SYMBOL_REF if it addresses something in the per-function |
278 | constants pool. | |
b8698a0f | 279 | 1 in a CALL_INSN logically equivalent to ECF_CONST and TREE_READONLY. |
becfd6e5 | 280 | 1 in a NOTE, or EXPR_LIST for a const call. |
09dbcd96 AO |
281 | 1 in a JUMP_INSN of an annulling branch. |
282 | 1 in a CONCAT is VAL_EXPR_IS_CLOBBERED in var-tracking.c. | |
c5cd5a7e VM |
283 | 1 in a preserved VALUE is PRESERVED_VALUE_P in cselib.c. |
284 | 1 in a clobber temporarily created for LRA. */ | |
6f29feb1 | 285 | unsigned int unchanging : 1; |
5a63e069 JJ |
286 | /* 1 in a MEM or ASM_OPERANDS expression if the memory reference is volatile. |
287 | 1 in an INSN, CALL_INSN, JUMP_INSN, CODE_LABEL, BARRIER, or NOTE | |
288 | if it has been deleted. | |
289 | 1 in a REG expression if corresponds to a variable declared by the user, | |
6f29feb1 | 290 | 0 for an internally generated temporary. |
4e18a7d4 | 291 | 1 in a SUBREG used for SUBREG_PROMOTED_UNSIGNED_P. |
cf7c4aa6 HPN |
292 | 1 in a LABEL_REF, REG_LABEL_TARGET or REG_LABEL_OPERAND note for a |
293 | non-local label. | |
3fce100b AK |
294 | In a SYMBOL_REF, this flag is used for machine-specific purposes. |
295 | In a PREFETCH, this flag indicates that it should be considered a scheduling | |
09dbcd96 AO |
296 | barrier. |
297 | 1 in a CONCAT is VAL_NEEDS_RESOLUTION in var-tracking.c. */ | |
6f29feb1 | 298 | unsigned int volatil : 1; |
55356334 | 299 | /* 1 in a REG if the register is used only in exit code a loop. |
f590cca1 | 300 | 1 in a SUBREG expression if was generated from a variable with a |
07be3989 | 301 | promoted mode. |
6f29feb1 JW |
302 | 1 in a CODE_LABEL if the label is used for nonlocal gotos |
303 | and must not be deleted even if its count is zero. | |
be202ec2 FS |
304 | 1 in an INSN, JUMP_INSN or CALL_INSN if this insn must be scheduled |
305 | together with the preceding insn. Valid only within sched. | |
6f29feb1 JW |
306 | 1 in an INSN, JUMP_INSN, or CALL_INSN if insn is in a delay slot and |
307 | from the target of a branch. Valid from reorg until end of compilation; | |
55356334 RS |
308 | cleared before used. |
309 | ||
310 | The name of the field is historical. It used to be used in MEMs | |
311 | to record whether the MEM accessed part of a structure. */ | |
6f29feb1 | 312 | unsigned int in_struct : 1; |
5a63e069 JJ |
313 | /* At the end of RTL generation, 1 if this rtx is used. This is used for |
314 | copying shared structure. See `unshare_all_rtl'. | |
f590cca1 | 315 | In a REG, this is not needed for that purpose, and used instead |
6f29feb1 | 316 | in `leaf_renumber_regs_insn'. |
5a63e069 | 317 | 1 in a SYMBOL_REF, means that emit_library_call |
09dbcd96 AO |
318 | has used it as the function. |
319 | 1 in a CONCAT is VAL_HOLDS_TRACK_EXPR in var-tracking.c. | |
320 | 1 in a VALUE or DEBUG_EXPR is VALUE_RECURSED_INTO in var-tracking.c. */ | |
6f29feb1 | 321 | unsigned int used : 1; |
b664de3a | 322 | /* 1 in an INSN or a SET if this rtx is related to the call frame, |
c6df88cb | 323 | either changing how we compute the frame address or saving and |
f590cca1 | 324 | restoring registers in the prologue and epilogue. |
f8ad8d7c | 325 | 1 in a REG or MEM if it is a pointer. |
bd7cf17e | 326 | 1 in a SYMBOL_REF if it addresses something in the per-function |
09dbcd96 AO |
327 | constant string pool. |
328 | 1 in a VALUE is VALUE_CHANGED in var-tracking.c. */ | |
469ac993 | 329 | unsigned frame_related : 1; |
6de9cd9a | 330 | /* 1 in a REG or PARALLEL that is the current function's return value. |
b8698a0f | 331 | 1 in a SYMBOL_REF for a weak symbol. |
09dbcd96 AO |
332 | 1 in a CALL_INSN logically equivalent to ECF_PURE and DECL_PURE_P. |
333 | 1 in a CONCAT is VAL_EXPR_HAS_REVERSE in var-tracking.c. | |
334 | 1 in a VALUE or DEBUG_EXPR is NO_LOC_P in var-tracking.c. */ | |
6de9cd9a | 335 | unsigned return_val : 1; |
0a25f1f5 | 336 | |
6f29feb1 JW |
337 | /* The first element of the operands of this rtx. |
338 | The number of operands and their types are controlled | |
339 | by the `code' field, according to rtl.def. */ | |
e1de1560 RS |
340 | union u { |
341 | rtunion fld[1]; | |
342 | HOST_WIDE_INT hwint[1]; | |
aacd3885 | 343 | struct block_symbol block_sym; |
9e254451 | 344 | struct real_value rv; |
091a3ac7 | 345 | struct fixed_value fv; |
e1de1560 | 346 | } GTY ((special ("rtx_def"), desc ("GET_CODE (&%0)"))) u; |
2f78c311 | 347 | }; |
6f29feb1 | 348 | |
e1de1560 RS |
349 | /* The size in bytes of an rtx header (code, mode and flags). */ |
350 | #define RTX_HDR_SIZE offsetof (struct rtx_def, u) | |
351 | ||
352 | /* The size in bytes of an rtx with code CODE. */ | |
aacd3885 | 353 | #define RTX_CODE_SIZE(CODE) rtx_code_size[CODE] |
e1de1560 | 354 | |
6f29feb1 JW |
355 | #define NULL_RTX (rtx) 0 |
356 | ||
36a5eadd GK |
357 | /* The "next" and "previous" RTX, relative to this one. */ |
358 | ||
359 | #define RTX_NEXT(X) (rtx_next[GET_CODE (X)] == 0 ? NULL \ | |
360 | : *(rtx *)(((char *)X) + rtx_next[GET_CODE (X)])) | |
361 | ||
362 | /* FIXME: the "NEXT_INSN (PREV_INSN (X)) == X" condition shouldn't be needed. | |
363 | */ | |
4b4bf941 JQ |
364 | #define RTX_PREV(X) ((INSN_P (X) \ |
365 | || NOTE_P (X) \ | |
39718607 | 366 | || JUMP_TABLE_DATA_P (X) \ |
4b4bf941 JQ |
367 | || BARRIER_P (X) \ |
368 | || LABEL_P (X)) \ | |
36a5eadd GK |
369 | && PREV_INSN (X) != NULL \ |
370 | && NEXT_INSN (PREV_INSN (X)) == X \ | |
371 | ? PREV_INSN (X) : NULL) | |
372 | ||
6f29feb1 JW |
373 | /* Define macros to access the `code' field of the rtx. */ |
374 | ||
dbbbbf3b | 375 | #define GET_CODE(RTX) ((enum rtx_code) (RTX)->code) |
7e7c843f | 376 | #define PUT_CODE(RTX, CODE) ((RTX)->code = (CODE)) |
6f29feb1 | 377 | |
dbbbbf3b | 378 | #define GET_MODE(RTX) ((enum machine_mode) (RTX)->mode) |
7e7c843f | 379 | #define PUT_MODE(RTX, MODE) ((RTX)->mode = (MODE)) |
6f29feb1 | 380 | |
6f29feb1 JW |
381 | /* RTL vector. These appear inside RTX's when there is a need |
382 | for a variable number of things. The principle use is inside | |
383 | PARALLEL expressions. */ | |
384 | ||
a9429e29 | 385 | struct GTY((variable_size)) rtvec_def { |
e9a25f70 | 386 | int num_elem; /* number of elements */ |
e2500fed | 387 | rtx GTY ((length ("%h.num_elem"))) elem[1]; |
2f78c311 | 388 | }; |
6f29feb1 JW |
389 | |
390 | #define NULL_RTVEC (rtvec) 0 | |
391 | ||
392 | #define GET_NUM_ELEM(RTVEC) ((RTVEC)->num_elem) | |
e9a25f70 | 393 | #define PUT_NUM_ELEM(RTVEC, NUM) ((RTVEC)->num_elem = (NUM)) |
6f29feb1 | 394 | |
3d27dbd0 | 395 | /* Predicate yielding nonzero iff X is an rtx for a register. */ |
6f29feb1 JW |
396 | #define REG_P(X) (GET_CODE (X) == REG) |
397 | ||
3d27dbd0 SB |
398 | /* Predicate yielding nonzero iff X is an rtx for a memory location. */ |
399 | #define MEM_P(X) (GET_CODE (X) == MEM) | |
400 | ||
d8116890 KZ |
401 | /* Match CONST_*s that can represent compile-time constant integers. */ |
402 | #define CASE_CONST_SCALAR_INT \ | |
403 | case CONST_INT: \ | |
404 | case CONST_DOUBLE | |
405 | ||
406 | /* Match CONST_*s for which pointer equality corresponds to value equality. */ | |
407 | #define CASE_CONST_UNIQUE \ | |
408 | case CONST_INT: \ | |
409 | case CONST_DOUBLE: \ | |
410 | case CONST_FIXED | |
411 | ||
412 | /* Match all CONST_* rtxes. */ | |
413 | #define CASE_CONST_ANY \ | |
414 | case CONST_INT: \ | |
415 | case CONST_DOUBLE: \ | |
416 | case CONST_FIXED: \ | |
417 | case CONST_VECTOR | |
418 | ||
917f1b7e | 419 | /* Predicate yielding nonzero iff X is an rtx for a constant integer. */ |
d97c1295 JBG |
420 | #define CONST_INT_P(X) (GET_CODE (X) == CONST_INT) |
421 | ||
78ab1ff4 GJL |
422 | /* Predicate yielding nonzero iff X is an rtx for a constant fixed-point. */ |
423 | #define CONST_FIXED_P(X) (GET_CODE (X) == CONST_FIXED) | |
424 | ||
3e93ff81 AS |
425 | /* Predicate yielding true iff X is an rtx for a double-int |
426 | or floating point constant. */ | |
427 | #define CONST_DOUBLE_P(X) (GET_CODE (X) == CONST_DOUBLE) | |
428 | ||
48175537 KZ |
429 | /* Predicate yielding true iff X is an rtx for a double-int. */ |
430 | #define CONST_DOUBLE_AS_INT_P(X) \ | |
431 | (GET_CODE (X) == CONST_DOUBLE && GET_MODE (X) == VOIDmode) | |
432 | ||
33ffb5c5 KZ |
433 | /* Predicate yielding true iff X is an rtx for a integer const. */ |
434 | #define CONST_SCALAR_INT_P(X) \ | |
435 | (CONST_INT_P (X) || CONST_DOUBLE_AS_INT_P (X)) | |
436 | ||
48175537 KZ |
437 | /* Predicate yielding true iff X is an rtx for a double-int. */ |
438 | #define CONST_DOUBLE_AS_FLOAT_P(X) \ | |
439 | (GET_CODE (X) == CONST_DOUBLE && GET_MODE (X) != VOIDmode) | |
440 | ||
b53978a3 JO |
441 | /* Predicate yielding nonzero iff X is a label insn. */ |
442 | #define LABEL_P(X) (GET_CODE (X) == CODE_LABEL) | |
443 | ||
444 | /* Predicate yielding nonzero iff X is a jump insn. */ | |
445 | #define JUMP_P(X) (GET_CODE (X) == JUMP_INSN) | |
446 | ||
3d27dbd0 SB |
447 | /* Predicate yielding nonzero iff X is a call insn. */ |
448 | #define CALL_P(X) (GET_CODE (X) == CALL_INSN) | |
449 | ||
450 | /* Predicate yielding nonzero iff X is an insn that cannot jump. */ | |
451 | #define NONJUMP_INSN_P(X) (GET_CODE (X) == INSN) | |
452 | ||
b5b8b0ac AO |
453 | /* Predicate yielding nonzero iff X is a debug note/insn. */ |
454 | #define DEBUG_INSN_P(X) (GET_CODE (X) == DEBUG_INSN) | |
455 | ||
456 | /* Predicate yielding nonzero iff X is an insn that is not a debug insn. */ | |
457 | #define NONDEBUG_INSN_P(X) (INSN_P (X) && !DEBUG_INSN_P (X)) | |
458 | ||
459 | /* Nonzero if DEBUG_INSN_P may possibly hold. */ | |
532aafad | 460 | #define MAY_HAVE_DEBUG_INSNS (flag_var_tracking_assignments) |
b5b8b0ac | 461 | |
3d27dbd0 SB |
462 | /* Predicate yielding nonzero iff X is a real insn. */ |
463 | #define INSN_P(X) \ | |
b5b8b0ac | 464 | (NONJUMP_INSN_P (X) || DEBUG_INSN_P (X) || JUMP_P (X) || CALL_P (X)) |
3d27dbd0 | 465 | |
b53978a3 JO |
466 | /* Predicate yielding nonzero iff X is a note insn. */ |
467 | #define NOTE_P(X) (GET_CODE (X) == NOTE) | |
468 | ||
469 | /* Predicate yielding nonzero iff X is a barrier insn. */ | |
470 | #define BARRIER_P(X) (GET_CODE (X) == BARRIER) | |
471 | ||
472 | /* Predicate yielding nonzero iff X is a data for a jump table. */ | |
39718607 | 473 | #define JUMP_TABLE_DATA_P(INSN) (GET_CODE (INSN) == JUMP_TABLE_DATA) |
b53978a3 | 474 | |
26898771 BS |
475 | /* Predicate yielding nonzero iff X is a return or simple_return. */ |
476 | #define ANY_RETURN_P(X) \ | |
477 | (GET_CODE (X) == RETURN || GET_CODE (X) == SIMPLE_RETURN) | |
dc0ff1c8 | 478 | |
ec8e098d PB |
479 | /* 1 if X is a unary operator. */ |
480 | ||
481 | #define UNARY_P(X) \ | |
482 | (GET_RTX_CLASS (GET_CODE (X)) == RTX_UNARY) | |
483 | ||
484 | /* 1 if X is a binary operator. */ | |
485 | ||
486 | #define BINARY_P(X) \ | |
487 | ((GET_RTX_CLASS (GET_CODE (X)) & RTX_BINARY_MASK) == RTX_BINARY_RESULT) | |
488 | ||
489 | /* 1 if X is an arithmetic operator. */ | |
490 | ||
491 | #define ARITHMETIC_P(X) \ | |
492 | ((GET_RTX_CLASS (GET_CODE (X)) & RTX_ARITHMETIC_MASK) \ | |
493 | == RTX_ARITHMETIC_RESULT) | |
494 | ||
495 | /* 1 if X is an arithmetic operator. */ | |
496 | ||
497 | #define COMMUTATIVE_ARITH_P(X) \ | |
498 | (GET_RTX_CLASS (GET_CODE (X)) == RTX_COMM_ARITH) | |
499 | ||
500 | /* 1 if X is a commutative arithmetic operator or a comparison operator. | |
501 | These two are sometimes selected together because it is possible to | |
502 | swap the two operands. */ | |
503 | ||
504 | #define SWAPPABLE_OPERANDS_P(X) \ | |
505 | ((1 << GET_RTX_CLASS (GET_CODE (X))) \ | |
506 | & ((1 << RTX_COMM_ARITH) | (1 << RTX_COMM_COMPARE) \ | |
507 | | (1 << RTX_COMPARE))) | |
508 | ||
509 | /* 1 if X is a non-commutative operator. */ | |
510 | ||
511 | #define NON_COMMUTATIVE_P(X) \ | |
512 | ((GET_RTX_CLASS (GET_CODE (X)) & RTX_COMMUTATIVE_MASK) \ | |
513 | == RTX_NON_COMMUTATIVE_RESULT) | |
514 | ||
515 | /* 1 if X is a commutative operator on integers. */ | |
516 | ||
517 | #define COMMUTATIVE_P(X) \ | |
518 | ((GET_RTX_CLASS (GET_CODE (X)) & RTX_COMMUTATIVE_MASK) \ | |
519 | == RTX_COMMUTATIVE_RESULT) | |
520 | ||
521 | /* 1 if X is a relational operator. */ | |
522 | ||
523 | #define COMPARISON_P(X) \ | |
524 | ((GET_RTX_CLASS (GET_CODE (X)) & RTX_COMPARE_MASK) == RTX_COMPARE_RESULT) | |
525 | ||
6f29feb1 JW |
526 | /* 1 if X is a constant value that is an integer. */ |
527 | ||
528 | #define CONSTANT_P(X) \ | |
f4770271 | 529 | (GET_RTX_CLASS (GET_CODE (X)) == RTX_CONST_OBJ) |
6f29feb1 | 530 | |
ec8e098d PB |
531 | /* 1 if X can be used to represent an object. */ |
532 | #define OBJECT_P(X) \ | |
533 | ((GET_RTX_CLASS (GET_CODE (X)) & RTX_OBJ_MASK) == RTX_OBJ_RESULT) | |
534 | ||
6f29feb1 JW |
535 | /* General accessor macros for accessing the fields of an rtx. */ |
536 | ||
f4524c9e | 537 | #if defined ENABLE_RTL_CHECKING && (GCC_VERSION >= 2007) |
ef178af3 ZW |
538 | /* The bit with a star outside the statement expr and an & inside is |
539 | so that N can be evaluated only once. */ | |
8784fdcd | 540 | #define RTL_CHECK1(RTX, N, C1) __extension__ \ |
a57193e8 | 541 | (*({ __typeof (RTX) const _rtx = (RTX); const int _n = (N); \ |
d544bc39 | 542 | const enum rtx_code _code = GET_CODE (_rtx); \ |
ef178af3 | 543 | if (_n < 0 || _n >= GET_RTX_LENGTH (_code)) \ |
f52eda29 GS |
544 | rtl_check_failed_bounds (_rtx, _n, __FILE__, __LINE__, \ |
545 | __FUNCTION__); \ | |
c3284718 | 546 | if (GET_RTX_FORMAT (_code)[_n] != C1) \ |
f52eda29 GS |
547 | rtl_check_failed_type1 (_rtx, _n, C1, __FILE__, __LINE__, \ |
548 | __FUNCTION__); \ | |
e1de1560 | 549 | &_rtx->u.fld[_n]; })) |
ef178af3 | 550 | |
8784fdcd | 551 | #define RTL_CHECK2(RTX, N, C1, C2) __extension__ \ |
a57193e8 | 552 | (*({ __typeof (RTX) const _rtx = (RTX); const int _n = (N); \ |
d544bc39 | 553 | const enum rtx_code _code = GET_CODE (_rtx); \ |
ef178af3 | 554 | if (_n < 0 || _n >= GET_RTX_LENGTH (_code)) \ |
f52eda29 GS |
555 | rtl_check_failed_bounds (_rtx, _n, __FILE__, __LINE__, \ |
556 | __FUNCTION__); \ | |
c3284718 RS |
557 | if (GET_RTX_FORMAT (_code)[_n] != C1 \ |
558 | && GET_RTX_FORMAT (_code)[_n] != C2) \ | |
ef178af3 | 559 | rtl_check_failed_type2 (_rtx, _n, C1, C2, __FILE__, __LINE__, \ |
fbfc1192 | 560 | __FUNCTION__); \ |
e1de1560 | 561 | &_rtx->u.fld[_n]; })) |
ef178af3 | 562 | |
8784fdcd | 563 | #define RTL_CHECKC1(RTX, N, C) __extension__ \ |
a57193e8 | 564 | (*({ __typeof (RTX) const _rtx = (RTX); const int _n = (N); \ |
f52eda29 GS |
565 | if (GET_CODE (_rtx) != (C)) \ |
566 | rtl_check_failed_code1 (_rtx, (C), __FILE__, __LINE__, \ | |
567 | __FUNCTION__); \ | |
e1de1560 | 568 | &_rtx->u.fld[_n]; })) |
83ab3839 | 569 | |
8784fdcd | 570 | #define RTL_CHECKC2(RTX, N, C1, C2) __extension__ \ |
a57193e8 | 571 | (*({ __typeof (RTX) const _rtx = (RTX); const int _n = (N); \ |
d544bc39 | 572 | const enum rtx_code _code = GET_CODE (_rtx); \ |
f52eda29 GS |
573 | if (_code != (C1) && _code != (C2)) \ |
574 | rtl_check_failed_code2 (_rtx, (C1), (C2), __FILE__, __LINE__, \ | |
575 | __FUNCTION__); \ | |
e1de1560 | 576 | &_rtx->u.fld[_n]; })) |
83ab3839 | 577 | |
8784fdcd | 578 | #define RTVEC_ELT(RTVEC, I) __extension__ \ |
a57193e8 | 579 | (*({ __typeof (RTVEC) const _rtvec = (RTVEC); const int _i = (I); \ |
ef178af3 ZW |
580 | if (_i < 0 || _i >= GET_NUM_ELEM (_rtvec)) \ |
581 | rtvec_check_failed_bounds (_rtvec, _i, __FILE__, __LINE__, \ | |
fbfc1192 | 582 | __FUNCTION__); \ |
ef178af3 ZW |
583 | &_rtvec->elem[_i]; })) |
584 | ||
e1de1560 | 585 | #define XWINT(RTX, N) __extension__ \ |
a57193e8 | 586 | (*({ __typeof (RTX) const _rtx = (RTX); const int _n = (N); \ |
e1de1560 RS |
587 | const enum rtx_code _code = GET_CODE (_rtx); \ |
588 | if (_n < 0 || _n >= GET_RTX_LENGTH (_code)) \ | |
589 | rtl_check_failed_bounds (_rtx, _n, __FILE__, __LINE__, \ | |
590 | __FUNCTION__); \ | |
c3284718 | 591 | if (GET_RTX_FORMAT (_code)[_n] != 'w') \ |
e1de1560 RS |
592 | rtl_check_failed_type1 (_rtx, _n, 'w', __FILE__, __LINE__, \ |
593 | __FUNCTION__); \ | |
594 | &_rtx->u.hwint[_n]; })) | |
595 | ||
596 | #define XCWINT(RTX, N, C) __extension__ \ | |
a57193e8 | 597 | (*({ __typeof (RTX) const _rtx = (RTX); \ |
e1de1560 RS |
598 | if (GET_CODE (_rtx) != (C)) \ |
599 | rtl_check_failed_code1 (_rtx, (C), __FILE__, __LINE__, \ | |
600 | __FUNCTION__); \ | |
601 | &_rtx->u.hwint[N]; })) | |
602 | ||
9e254451 | 603 | #define XCMWINT(RTX, N, C, M) __extension__ \ |
a57193e8 | 604 | (*({ __typeof (RTX) const _rtx = (RTX); \ |
9e254451 ILT |
605 | if (GET_CODE (_rtx) != (C) || GET_MODE (_rtx) != (M)) \ |
606 | rtl_check_failed_code_mode (_rtx, (C), (M), false, __FILE__, \ | |
607 | __LINE__, __FUNCTION__); \ | |
608 | &_rtx->u.hwint[N]; })) | |
609 | ||
610 | #define XCNMPRV(RTX, C, M) __extension__ \ | |
a57193e8 | 611 | ({ __typeof (RTX) const _rtx = (RTX); \ |
9e254451 ILT |
612 | if (GET_CODE (_rtx) != (C) || GET_MODE (_rtx) == (M)) \ |
613 | rtl_check_failed_code_mode (_rtx, (C), (M), true, __FILE__, \ | |
614 | __LINE__, __FUNCTION__); \ | |
615 | &_rtx->u.rv; }) | |
616 | ||
091a3ac7 | 617 | #define XCNMPFV(RTX, C, M) __extension__ \ |
14b4a70a | 618 | ({ __typeof (RTX) const _rtx = (RTX); \ |
091a3ac7 CF |
619 | if (GET_CODE (_rtx) != (C) || GET_MODE (_rtx) == (M)) \ |
620 | rtl_check_failed_code_mode (_rtx, (C), (M), true, __FILE__, \ | |
621 | __LINE__, __FUNCTION__); \ | |
622 | &_rtx->u.fv; }) | |
623 | ||
aacd3885 | 624 | #define BLOCK_SYMBOL_CHECK(RTX) __extension__ \ |
a57193e8 KG |
625 | ({ __typeof (RTX) const _symbol = (RTX); \ |
626 | const unsigned int flags = RTL_CHECKC1 (_symbol, 1, SYMBOL_REF).rt_int; \ | |
3fa9c136 | 627 | if ((flags & SYMBOL_FLAG_HAS_BLOCK_INFO) == 0) \ |
aacd3885 RS |
628 | rtl_check_failed_block_symbol (__FILE__, __LINE__, \ |
629 | __FUNCTION__); \ | |
630 | &_symbol->u.block_sym; }) | |
631 | ||
f7d504c2 | 632 | extern void rtl_check_failed_bounds (const_rtx, int, const char *, int, |
0c20a65f | 633 | const char *) |
ef178af3 | 634 | ATTRIBUTE_NORETURN; |
f7d504c2 | 635 | extern void rtl_check_failed_type1 (const_rtx, int, int, const char *, int, |
0c20a65f | 636 | const char *) |
ef178af3 | 637 | ATTRIBUTE_NORETURN; |
f7d504c2 | 638 | extern void rtl_check_failed_type2 (const_rtx, int, int, int, const char *, |
0c20a65f | 639 | int, const char *) |
ef178af3 | 640 | ATTRIBUTE_NORETURN; |
f7d504c2 | 641 | extern void rtl_check_failed_code1 (const_rtx, enum rtx_code, const char *, |
0c20a65f | 642 | int, const char *) |
83ab3839 | 643 | ATTRIBUTE_NORETURN; |
f7d504c2 | 644 | extern void rtl_check_failed_code2 (const_rtx, enum rtx_code, enum rtx_code, |
0c20a65f | 645 | const char *, int, const char *) |
83ab3839 | 646 | ATTRIBUTE_NORETURN; |
f7d504c2 | 647 | extern void rtl_check_failed_code_mode (const_rtx, enum rtx_code, enum machine_mode, |
9e254451 ILT |
648 | bool, const char *, int, const char *) |
649 | ATTRIBUTE_NORETURN; | |
aacd3885 RS |
650 | extern void rtl_check_failed_block_symbol (const char *, int, const char *) |
651 | ATTRIBUTE_NORETURN; | |
f7d504c2 | 652 | extern void rtvec_check_failed_bounds (const_rtvec, int, const char *, int, |
0c20a65f | 653 | const char *) |
ef178af3 ZW |
654 | ATTRIBUTE_NORETURN; |
655 | ||
f4524c9e | 656 | #else /* not ENABLE_RTL_CHECKING */ |
ef178af3 | 657 | |
e1de1560 RS |
658 | #define RTL_CHECK1(RTX, N, C1) ((RTX)->u.fld[N]) |
659 | #define RTL_CHECK2(RTX, N, C1, C2) ((RTX)->u.fld[N]) | |
660 | #define RTL_CHECKC1(RTX, N, C) ((RTX)->u.fld[N]) | |
661 | #define RTL_CHECKC2(RTX, N, C1, C2) ((RTX)->u.fld[N]) | |
83ab3839 | 662 | #define RTVEC_ELT(RTVEC, I) ((RTVEC)->elem[I]) |
e1de1560 RS |
663 | #define XWINT(RTX, N) ((RTX)->u.hwint[N]) |
664 | #define XCWINT(RTX, N, C) ((RTX)->u.hwint[N]) | |
9e254451 ILT |
665 | #define XCMWINT(RTX, N, C, M) ((RTX)->u.hwint[N]) |
666 | #define XCNMWINT(RTX, N, C, M) ((RTX)->u.hwint[N]) | |
667 | #define XCNMPRV(RTX, C, M) (&(RTX)->u.rv) | |
091a3ac7 | 668 | #define XCNMPFV(RTX, C, M) (&(RTX)->u.fv) |
aacd3885 | 669 | #define BLOCK_SYMBOL_CHECK(RTX) (&(RTX)->u.block_sym) |
ef178af3 ZW |
670 | |
671 | #endif | |
672 | ||
5a63e069 JJ |
673 | /* General accessor macros for accessing the flags of an rtx. */ |
674 | ||
675 | /* Access an individual rtx flag, with no checking of any kind. */ | |
676 | #define RTX_FLAG(RTX, FLAG) ((RTX)->FLAG) | |
677 | ||
65212b66 | 678 | #if defined ENABLE_RTL_FLAG_CHECKING && (GCC_VERSION >= 2007) |
2d4cc6a7 | 679 | #define RTL_FLAG_CHECK1(NAME, RTX, C1) __extension__ \ |
a57193e8 | 680 | ({ __typeof (RTX) const _rtx = (RTX); \ |
c3284718 | 681 | if (GET_CODE (_rtx) != C1) \ |
2d4cc6a7 | 682 | rtl_check_failed_flag (NAME, _rtx, __FILE__, __LINE__, \ |
3d7aafde | 683 | __FUNCTION__); \ |
5a63e069 JJ |
684 | _rtx; }) |
685 | ||
2d4cc6a7 | 686 | #define RTL_FLAG_CHECK2(NAME, RTX, C1, C2) __extension__ \ |
a57193e8 | 687 | ({ __typeof (RTX) const _rtx = (RTX); \ |
c3284718 | 688 | if (GET_CODE (_rtx) != C1 && GET_CODE(_rtx) != C2) \ |
2d4cc6a7 | 689 | rtl_check_failed_flag (NAME,_rtx, __FILE__, __LINE__, \ |
3d7aafde | 690 | __FUNCTION__); \ |
5a63e069 JJ |
691 | _rtx; }) |
692 | ||
2d4cc6a7 | 693 | #define RTL_FLAG_CHECK3(NAME, RTX, C1, C2, C3) __extension__ \ |
a57193e8 | 694 | ({ __typeof (RTX) const _rtx = (RTX); \ |
c3284718 RS |
695 | if (GET_CODE (_rtx) != C1 && GET_CODE(_rtx) != C2 \ |
696 | && GET_CODE (_rtx) != C3) \ | |
2d4cc6a7 | 697 | rtl_check_failed_flag (NAME, _rtx, __FILE__, __LINE__, \ |
3d7aafde | 698 | __FUNCTION__); \ |
5a63e069 JJ |
699 | _rtx; }) |
700 | ||
2d4cc6a7 | 701 | #define RTL_FLAG_CHECK4(NAME, RTX, C1, C2, C3, C4) __extension__ \ |
a57193e8 | 702 | ({ __typeof (RTX) const _rtx = (RTX); \ |
c3284718 RS |
703 | if (GET_CODE (_rtx) != C1 && GET_CODE(_rtx) != C2 \ |
704 | && GET_CODE (_rtx) != C3 && GET_CODE(_rtx) != C4) \ | |
2d4cc6a7 | 705 | rtl_check_failed_flag (NAME, _rtx, __FILE__, __LINE__, \ |
3d7aafde | 706 | __FUNCTION__); \ |
5a63e069 JJ |
707 | _rtx; }) |
708 | ||
2d4cc6a7 | 709 | #define RTL_FLAG_CHECK5(NAME, RTX, C1, C2, C3, C4, C5) __extension__ \ |
a57193e8 | 710 | ({ __typeof (RTX) const _rtx = (RTX); \ |
c3284718 RS |
711 | if (GET_CODE (_rtx) != C1 && GET_CODE (_rtx) != C2 \ |
712 | && GET_CODE (_rtx) != C3 && GET_CODE (_rtx) != C4 \ | |
713 | && GET_CODE (_rtx) != C5) \ | |
2d4cc6a7 | 714 | rtl_check_failed_flag (NAME, _rtx, __FILE__, __LINE__, \ |
3d7aafde | 715 | __FUNCTION__); \ |
5a63e069 JJ |
716 | _rtx; }) |
717 | ||
2d4cc6a7 JJ |
718 | #define RTL_FLAG_CHECK6(NAME, RTX, C1, C2, C3, C4, C5, C6) \ |
719 | __extension__ \ | |
a57193e8 | 720 | ({ __typeof (RTX) const _rtx = (RTX); \ |
c3284718 RS |
721 | if (GET_CODE (_rtx) != C1 && GET_CODE (_rtx) != C2 \ |
722 | && GET_CODE (_rtx) != C3 && GET_CODE (_rtx) != C4 \ | |
723 | && GET_CODE (_rtx) != C5 && GET_CODE (_rtx) != C6) \ | |
2d4cc6a7 | 724 | rtl_check_failed_flag (NAME,_rtx, __FILE__, __LINE__, \ |
3d7aafde | 725 | __FUNCTION__); \ |
5a63e069 JJ |
726 | _rtx; }) |
727 | ||
2d4cc6a7 JJ |
728 | #define RTL_FLAG_CHECK7(NAME, RTX, C1, C2, C3, C4, C5, C6, C7) \ |
729 | __extension__ \ | |
a57193e8 | 730 | ({ __typeof (RTX) const _rtx = (RTX); \ |
c3284718 RS |
731 | if (GET_CODE (_rtx) != C1 && GET_CODE (_rtx) != C2 \ |
732 | && GET_CODE (_rtx) != C3 && GET_CODE (_rtx) != C4 \ | |
733 | && GET_CODE (_rtx) != C5 && GET_CODE (_rtx) != C6 \ | |
734 | && GET_CODE (_rtx) != C7) \ | |
2d4cc6a7 | 735 | rtl_check_failed_flag (NAME, _rtx, __FILE__, __LINE__, \ |
3d7aafde | 736 | __FUNCTION__); \ |
5a63e069 JJ |
737 | _rtx; }) |
738 | ||
2d4cc6a7 JJ |
739 | #define RTL_FLAG_CHECK8(NAME, RTX, C1, C2, C3, C4, C5, C6, C7, C8) \ |
740 | __extension__ \ | |
a57193e8 | 741 | ({ __typeof (RTX) const _rtx = (RTX); \ |
c3284718 RS |
742 | if (GET_CODE (_rtx) != C1 && GET_CODE (_rtx) != C2 \ |
743 | && GET_CODE (_rtx) != C3 && GET_CODE (_rtx) != C4 \ | |
744 | && GET_CODE (_rtx) != C5 && GET_CODE (_rtx) != C6 \ | |
745 | && GET_CODE (_rtx) != C7 && GET_CODE (_rtx) != C8) \ | |
2d4cc6a7 | 746 | rtl_check_failed_flag (NAME, _rtx, __FILE__, __LINE__, \ |
3d7aafde | 747 | __FUNCTION__); \ |
5a63e069 JJ |
748 | _rtx; }) |
749 | ||
f7d504c2 | 750 | extern void rtl_check_failed_flag (const char *, const_rtx, const char *, |
0c20a65f | 751 | int, const char *) |
5a63e069 JJ |
752 | ATTRIBUTE_NORETURN |
753 | ; | |
754 | ||
755 | #else /* not ENABLE_RTL_FLAG_CHECKING */ | |
756 | ||
2d4cc6a7 JJ |
757 | #define RTL_FLAG_CHECK1(NAME, RTX, C1) (RTX) |
758 | #define RTL_FLAG_CHECK2(NAME, RTX, C1, C2) (RTX) | |
759 | #define RTL_FLAG_CHECK3(NAME, RTX, C1, C2, C3) (RTX) | |
760 | #define RTL_FLAG_CHECK4(NAME, RTX, C1, C2, C3, C4) (RTX) | |
3d7aafde | 761 | #define RTL_FLAG_CHECK5(NAME, RTX, C1, C2, C3, C4, C5) (RTX) |
2d4cc6a7 JJ |
762 | #define RTL_FLAG_CHECK6(NAME, RTX, C1, C2, C3, C4, C5, C6) (RTX) |
763 | #define RTL_FLAG_CHECK7(NAME, RTX, C1, C2, C3, C4, C5, C6, C7) (RTX) | |
764 | #define RTL_FLAG_CHECK8(NAME, RTX, C1, C2, C3, C4, C5, C6, C7, C8) (RTX) | |
5a63e069 JJ |
765 | #endif |
766 | ||
9ce88f5e | 767 | #define XINT(RTX, N) (RTL_CHECK2 (RTX, N, 'i', 'n').rt_int) |
5368224f | 768 | #define XUINT(RTX, N) (RTL_CHECK2 (RTX, N, 'i', 'n').rt_uint) |
9ce88f5e GDR |
769 | #define XSTR(RTX, N) (RTL_CHECK2 (RTX, N, 's', 'S').rt_str) |
770 | #define XEXP(RTX, N) (RTL_CHECK2 (RTX, N, 'e', 'u').rt_rtx) | |
771 | #define XVEC(RTX, N) (RTL_CHECK2 (RTX, N, 'E', 'V').rt_rtvec) | |
772 | #define XMODE(RTX, N) (RTL_CHECK1 (RTX, N, 'M').rt_type) | |
9ce88f5e GDR |
773 | #define XTREE(RTX, N) (RTL_CHECK1 (RTX, N, 't').rt_tree) |
774 | #define XBBDEF(RTX, N) (RTL_CHECK1 (RTX, N, 'B').rt_bb) | |
775 | #define XTMPL(RTX, N) (RTL_CHECK1 (RTX, N, 'T').rt_str) | |
bc5612ed | 776 | #define XCFI(RTX, N) (RTL_CHECK1 (RTX, N, 'C').rt_cfi) |
ef178af3 ZW |
777 | |
778 | #define XVECEXP(RTX, N, M) RTVEC_ELT (XVEC (RTX, N), M) | |
779 | #define XVECLEN(RTX, N) GET_NUM_ELEM (XVEC (RTX, N)) | |
780 | ||
e1de1560 | 781 | /* These are like XINT, etc. except that they expect a '0' field instead |
ef178af3 ZW |
782 | of the normal type code. */ |
783 | ||
9ce88f5e GDR |
784 | #define X0INT(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_int) |
785 | #define X0UINT(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_uint) | |
786 | #define X0STR(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_str) | |
787 | #define X0EXP(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_rtx) | |
788 | #define X0VEC(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_rtvec) | |
789 | #define X0MODE(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_type) | |
9ce88f5e GDR |
790 | #define X0TREE(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_tree) |
791 | #define X0BBDEF(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_bb) | |
f52eda29 GS |
792 | #define X0ADVFLAGS(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_addr_diff_vec_flags) |
793 | #define X0CSELIB(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_cselib) | |
9ce88f5e GDR |
794 | #define X0MEMATTR(RTX, N) (RTL_CHECKC1 (RTX, N, MEM).rt_mem) |
795 | #define X0REGATTR(RTX, N) (RTL_CHECKC1 (RTX, N, REG).rt_reg) | |
c185c797 | 796 | #define X0CONSTANT(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_constant) |
f52eda29 | 797 | |
e1de1560 RS |
798 | /* Access a '0' field with any type. */ |
799 | #define X0ANY(RTX, N) RTL_CHECK1 (RTX, N, '0') | |
800 | ||
9ce88f5e GDR |
801 | #define XCINT(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rt_int) |
802 | #define XCUINT(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rt_uint) | |
803 | #define XCSTR(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rt_str) | |
804 | #define XCEXP(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rt_rtx) | |
805 | #define XCVEC(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rt_rtvec) | |
806 | #define XCMODE(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rt_type) | |
9ce88f5e GDR |
807 | #define XCTREE(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rt_tree) |
808 | #define XCBBDEF(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rt_bb) | |
bc5612ed | 809 | #define XCCFI(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rt_cfi) |
f52eda29 | 810 | #define XCCSELIB(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rt_cselib) |
83ab3839 RH |
811 | |
812 | #define XCVECEXP(RTX, N, M, C) RTVEC_ELT (XCVEC (RTX, N, C), M) | |
813 | #define XCVECLEN(RTX, N, C) GET_NUM_ELEM (XCVEC (RTX, N, C)) | |
814 | ||
9ce88f5e | 815 | #define XC2EXP(RTX, N, C1, C2) (RTL_CHECKC2 (RTX, N, C1, C2).rt_rtx) |
6f29feb1 JW |
816 | \f |
817 | /* ACCESS MACROS for particular fields of insns. */ | |
818 | ||
819 | /* Holds a unique number for each insn. | |
820 | These are not necessarily sequentially increasing. */ | |
f52eda29 | 821 | #define INSN_UID(INSN) XINT (INSN, 0) |
6f29feb1 JW |
822 | |
823 | /* Chain insns together in sequence. */ | |
f52eda29 GS |
824 | #define PREV_INSN(INSN) XEXP (INSN, 1) |
825 | #define NEXT_INSN(INSN) XEXP (INSN, 2) | |
6f29feb1 | 826 | |
ba4f7968 | 827 | #define BLOCK_FOR_INSN(INSN) XBBDEF (INSN, 3) |
418e920f BS |
828 | |
829 | /* The body of an insn. */ | |
830 | #define PATTERN(INSN) XEXP (INSN, 4) | |
831 | ||
5368224f DC |
832 | #define INSN_LOCATION(INSN) XUINT (INSN, 5) |
833 | ||
2f13f2de DC |
834 | #define INSN_HAS_LOCATION(INSN) ((LOCATION_LOCUS (INSN_LOCATION (INSN)))\ |
835 | != UNKNOWN_LOCATION) | |
5368224f | 836 | |
c2255bc4 AH |
837 | /* LOCATION of an RTX if relevant. */ |
838 | #define RTL_LOCATION(X) (INSN_P (X) ? \ | |
5368224f | 839 | INSN_LOCATION (X) : UNKNOWN_LOCATION) |
6f29feb1 JW |
840 | |
841 | /* Code number of instruction, from when it was recognized. | |
842 | -1 means this instruction has not been recognized yet. */ | |
ba4f7968 | 843 | #define INSN_CODE(INSN) XINT (INSN, 6) |
6f29feb1 | 844 | |
2d4cc6a7 | 845 | #define RTX_FRAME_RELATED_P(RTX) \ |
c3284718 RS |
846 | (RTL_FLAG_CHECK6 ("RTX_FRAME_RELATED_P", (RTX), DEBUG_INSN, INSN, \ |
847 | CALL_INSN, JUMP_INSN, BARRIER, SET)->frame_related) | |
2d4cc6a7 JJ |
848 | |
849 | /* 1 if RTX is an insn that has been deleted. */ | |
850 | #define INSN_DELETED_P(RTX) \ | |
c3284718 RS |
851 | (RTL_FLAG_CHECK8 ("INSN_DELETED_P", (RTX), DEBUG_INSN, INSN, \ |
852 | CALL_INSN, JUMP_INSN, JUMP_TABLE_DATA, \ | |
853 | CODE_LABEL, BARRIER, NOTE)->volatil) | |
2d4cc6a7 | 854 | |
becfd6e5 KZ |
855 | /* 1 if RTX is a call to a const function. Built from ECF_CONST and |
856 | TREE_READONLY. */ | |
857 | #define RTL_CONST_CALL_P(RTX) \ | |
c3284718 | 858 | (RTL_FLAG_CHECK1 ("RTL_CONST_CALL_P", (RTX), CALL_INSN)->unchanging) |
becfd6e5 KZ |
859 | |
860 | /* 1 if RTX is a call to a pure function. Built from ECF_PURE and | |
861 | DECL_PURE_P. */ | |
862 | #define RTL_PURE_CALL_P(RTX) \ | |
c3284718 | 863 | (RTL_FLAG_CHECK1 ("RTL_PURE_CALL_P", (RTX), CALL_INSN)->return_val) |
becfd6e5 | 864 | |
2d4cc6a7 | 865 | /* 1 if RTX is a call to a const or pure function. */ |
becfd6e5 | 866 | #define RTL_CONST_OR_PURE_CALL_P(RTX) \ |
c3284718 | 867 | (RTL_CONST_CALL_P (RTX) || RTL_PURE_CALL_P (RTX)) |
becfd6e5 KZ |
868 | |
869 | /* 1 if RTX is a call to a looping const or pure function. Built from | |
870 | ECF_LOOPING_CONST_OR_PURE and DECL_LOOPING_CONST_OR_PURE_P. */ | |
39718607 | 871 | #define RTL_LOOPING_CONST_OR_PURE_CALL_P(RTX) \ |
c3284718 | 872 | (RTL_FLAG_CHECK1 ("CONST_OR_PURE_CALL_P", (RTX), CALL_INSN)->call) |
2d4cc6a7 JJ |
873 | |
874 | /* 1 if RTX is a call_insn for a sibling call. */ | |
875 | #define SIBLING_CALL_P(RTX) \ | |
c3284718 | 876 | (RTL_FLAG_CHECK1 ("SIBLING_CALL_P", (RTX), CALL_INSN)->jump) |
2d4cc6a7 | 877 | |
7440af14 | 878 | /* 1 if RTX is a jump_insn, call_insn, or insn that is an annulling branch. */ |
2d4cc6a7 | 879 | #define INSN_ANNULLED_BRANCH_P(RTX) \ |
c3284718 | 880 | (RTL_FLAG_CHECK1 ("INSN_ANNULLED_BRANCH_P", (RTX), JUMP_INSN)->unchanging) |
2d4cc6a7 | 881 | |
2d4cc6a7 JJ |
882 | /* 1 if RTX is an insn in a delay slot and is from the target of the branch. |
883 | If the branch insn has INSN_ANNULLED_BRANCH_P set, this insn should only be | |
6f29feb1 JW |
884 | executed if the branch is taken. For annulled branches with this bit |
885 | clear, the insn should be executed only if the branch is not taken. */ | |
2d4cc6a7 | 886 | #define INSN_FROM_TARGET_P(RTX) \ |
c3284718 RS |
887 | (RTL_FLAG_CHECK3 ("INSN_FROM_TARGET_P", (RTX), INSN, JUMP_INSN, \ |
888 | CALL_INSN)->in_struct) | |
6f29feb1 | 889 | |
d67fb775 SB |
890 | /* In an ADDR_DIFF_VEC, the flags for RTX for use by branch shortening. |
891 | See the comments for ADDR_DIFF_VEC in rtl.def. */ | |
c3284718 | 892 | #define ADDR_DIFF_VEC_FLAGS(RTX) X0ADVFLAGS (RTX, 4) |
f590cca1 | 893 | |
d67fb775 | 894 | /* In a VALUE, the value cselib has assigned to RTX. |
84562394 | 895 | This is a "struct cselib_val", see cselib.h. */ |
c3284718 | 896 | #define CSELIB_VAL_PTR(RTX) X0CSELIB (RTX, 0) |
f590cca1 | 897 | |
6f29feb1 | 898 | /* Holds a list of notes on what this insn does to various REGs. |
f590cca1 RH |
899 | It is a chain of EXPR_LIST rtx's, where the second operand is the |
900 | chain pointer and the first operand is the REG being described. | |
6f29feb1 | 901 | The mode field of the EXPR_LIST contains not a real machine mode |
f590cca1 | 902 | but a value from enum reg_note. */ |
6fb5fa3c | 903 | #define REG_NOTES(INSN) XEXP(INSN, 7) |
6f29feb1 | 904 | |
a58a8e4b JJ |
905 | /* In an ENTRY_VALUE this is the DECL_INCOMING_RTL of the argument in |
906 | question. */ | |
907 | #define ENTRY_VALUE_EXP(RTX) (RTL_CHECKC1 (RTX, 0, ENTRY_VALUE).rt_rtx) | |
908 | ||
f590cca1 RH |
909 | enum reg_note |
910 | { | |
826c9564 ZW |
911 | #define DEF_REG_NOTE(NAME) NAME, |
912 | #include "reg-notes.def" | |
913 | #undef DEF_REG_NOTE | |
914 | REG_NOTE_MAX | |
f590cca1 RH |
915 | }; |
916 | ||
6f29feb1 JW |
917 | /* Define macros to extract and insert the reg-note kind in an EXPR_LIST. */ |
918 | #define REG_NOTE_KIND(LINK) ((enum reg_note) GET_MODE (LINK)) | |
f52eda29 GS |
919 | #define PUT_REG_NOTE_KIND(LINK, KIND) \ |
920 | PUT_MODE (LINK, (enum machine_mode) (KIND)) | |
6f29feb1 JW |
921 | |
922 | /* Names for REG_NOTE's in EXPR_LIST insn's. */ | |
923 | ||
1f9a015e | 924 | extern const char * const reg_note_name[]; |
0f41302f | 925 | #define GET_REG_NOTE_NAME(MODE) (reg_note_name[(int) (MODE)]) |
6f29feb1 | 926 | |
e51c6661 RK |
927 | /* This field is only present on CALL_INSNs. It holds a chain of EXPR_LIST of |
928 | USE and CLOBBER expressions. | |
929 | USE expressions list the registers filled with arguments that | |
930 | are passed to the function. | |
931 | CLOBBER expressions document the registers explicitly clobbered | |
932 | by this CALL_INSN. | |
933 | Pseudo registers can not be mentioned in this list. */ | |
6fb5fa3c | 934 | #define CALL_INSN_FUNCTION_USAGE(INSN) XEXP(INSN, 8) |
e51c6661 | 935 | |
6f29feb1 JW |
936 | /* The label-number of a code-label. The assembler label |
937 | is made from `L' and the label-number printed in decimal. | |
938 | Label numbers are unique in a compilation. */ | |
ba4f7968 | 939 | #define CODE_LABEL_NUMBER(INSN) XINT (INSN, 6) |
6f29feb1 | 940 | |
0dfa1860 MM |
941 | /* In a NOTE that is a line number, this is a string for the file name that the |
942 | line is in. We use the same field to record block numbers temporarily in | |
943 | NOTE_INSN_BLOCK_BEG and NOTE_INSN_BLOCK_END notes. (We avoid lots of casts | |
944 | between ints and pointers if we use a different macro for the block number.) | |
63f4a88e | 945 | */ |
6f29feb1 | 946 | |
fd3acbb3 | 947 | /* Opaque data. */ |
0f953f83 JJ |
948 | #define NOTE_DATA(INSN) RTL_CHECKC1 (INSN, 4, NOTE) |
949 | #define NOTE_DELETED_LABEL_NAME(INSN) XCSTR (INSN, 4, NOTE) | |
6fb5fa3c | 950 | #define SET_INSN_DELETED(INSN) set_insn_deleted (INSN); |
0f953f83 JJ |
951 | #define NOTE_BLOCK(INSN) XCTREE (INSN, 4, NOTE) |
952 | #define NOTE_EH_HANDLER(INSN) XCINT (INSN, 4, NOTE) | |
953 | #define NOTE_BASIC_BLOCK(INSN) XCBBDEF (INSN, 4, NOTE) | |
954 | #define NOTE_VAR_LOCATION(INSN) XCEXP (INSN, 4, NOTE) | |
bc5612ed BS |
955 | #define NOTE_CFI(INSN) XCCFI (INSN, 4, NOTE) |
956 | #define NOTE_LABEL_NUMBER(INSN) XCINT (INSN, 4, NOTE) | |
0dfa1860 | 957 | |
6f29feb1 JW |
958 | /* In a NOTE that is a line number, this is the line number. |
959 | Other kinds of NOTEs are identified by negative numbers here. */ | |
0f953f83 | 960 | #define NOTE_KIND(INSN) XCINT (INSN, 5, NOTE) |
6f29feb1 | 961 | |
589ca5cb | 962 | /* Nonzero if INSN is a note marking the beginning of a basic block. */ |
b64925dc SB |
963 | #define NOTE_INSN_BASIC_BLOCK_P(INSN) \ |
964 | (NOTE_P (INSN) && NOTE_KIND (INSN) == NOTE_INSN_BASIC_BLOCK) | |
589ca5cb | 965 | |
014a1138 | 966 | /* Variable declaration and the location of a variable. */ |
b5b8b0ac AO |
967 | #define PAT_VAR_LOCATION_DECL(PAT) (XCTREE ((PAT), 0, VAR_LOCATION)) |
968 | #define PAT_VAR_LOCATION_LOC(PAT) (XCEXP ((PAT), 1, VAR_LOCATION)) | |
6f29feb1 | 969 | |
62760ffd CT |
970 | /* Initialization status of the variable in the location. Status |
971 | can be unknown, uninitialized or initialized. See enumeration | |
972 | type below. */ | |
b5b8b0ac AO |
973 | #define PAT_VAR_LOCATION_STATUS(PAT) \ |
974 | ((enum var_init_status) (XCINT ((PAT), 2, VAR_LOCATION))) | |
975 | ||
976 | /* Accessors for a NOTE_INSN_VAR_LOCATION. */ | |
977 | #define NOTE_VAR_LOCATION_DECL(NOTE) \ | |
978 | PAT_VAR_LOCATION_DECL (NOTE_VAR_LOCATION (NOTE)) | |
979 | #define NOTE_VAR_LOCATION_LOC(NOTE) \ | |
980 | PAT_VAR_LOCATION_LOC (NOTE_VAR_LOCATION (NOTE)) | |
981 | #define NOTE_VAR_LOCATION_STATUS(NOTE) \ | |
982 | PAT_VAR_LOCATION_STATUS (NOTE_VAR_LOCATION (NOTE)) | |
983 | ||
984 | /* The VAR_LOCATION rtx in a DEBUG_INSN. */ | |
985 | #define INSN_VAR_LOCATION(INSN) PATTERN (INSN) | |
986 | ||
987 | /* Accessors for a tree-expanded var location debug insn. */ | |
988 | #define INSN_VAR_LOCATION_DECL(INSN) \ | |
989 | PAT_VAR_LOCATION_DECL (INSN_VAR_LOCATION (INSN)) | |
990 | #define INSN_VAR_LOCATION_LOC(INSN) \ | |
991 | PAT_VAR_LOCATION_LOC (INSN_VAR_LOCATION (INSN)) | |
992 | #define INSN_VAR_LOCATION_STATUS(INSN) \ | |
993 | PAT_VAR_LOCATION_STATUS (INSN_VAR_LOCATION (INSN)) | |
994 | ||
995 | /* Expand to the RTL that denotes an unknown variable location in a | |
996 | DEBUG_INSN. */ | |
997 | #define gen_rtx_UNKNOWN_VAR_LOC() (gen_rtx_CLOBBER (VOIDmode, const0_rtx)) | |
998 | ||
999 | /* Determine whether X is such an unknown location. */ | |
1000 | #define VAR_LOC_UNKNOWN_P(X) \ | |
1001 | (GET_CODE (X) == CLOBBER && XEXP ((X), 0) == const0_rtx) | |
1002 | ||
1003 | /* 1 if RTX is emitted after a call, but it should take effect before | |
1004 | the call returns. */ | |
1005 | #define NOTE_DURING_CALL_P(RTX) \ | |
c3284718 | 1006 | (RTL_FLAG_CHECK1 ("NOTE_VAR_LOCATION_DURING_CALL_P", (RTX), NOTE)->call) |
62760ffd | 1007 | |
e4fb38bd JJ |
1008 | /* DEBUG_EXPR_DECL corresponding to a DEBUG_EXPR RTX. */ |
1009 | #define DEBUG_EXPR_TREE_DECL(RTX) XCTREE (RTX, 0, DEBUG_EXPR) | |
1010 | ||
c8a27c40 JJ |
1011 | /* VAR_DECL/PARM_DECL DEBUG_IMPLICIT_PTR takes address of. */ |
1012 | #define DEBUG_IMPLICIT_PTR_DECL(RTX) XCTREE (RTX, 0, DEBUG_IMPLICIT_PTR) | |
1013 | ||
ddb555ed JJ |
1014 | /* PARM_DECL DEBUG_PARAMETER_REF references. */ |
1015 | #define DEBUG_PARAMETER_REF_DECL(RTX) XCTREE (RTX, 0, DEBUG_PARAMETER_REF) | |
1016 | ||
a38e7aa5 | 1017 | /* Codes that appear in the NOTE_KIND field for kinds of notes |
826c9564 | 1018 | that are not line numbers. These codes are all negative. |
b8698a0f | 1019 | |
a31efb86 DE |
1020 | Notice that we do not try to use zero here for any of |
1021 | the special note codes because sometimes the source line | |
1022 | actually can be zero! This happens (for example) when we | |
1023 | are generating code for the per-translation-unit constructor | |
826c9564 | 1024 | and destructor routines for some C++ translation unit. */ |
6f29feb1 | 1025 | |
d636c18c RH |
1026 | enum insn_note |
1027 | { | |
826c9564 ZW |
1028 | #define DEF_INSN_NOTE(NAME) NAME, |
1029 | #include "insn-notes.def" | |
1030 | #undef DEF_INSN_NOTE | |
014a1138 | 1031 | |
d636c18c RH |
1032 | NOTE_INSN_MAX |
1033 | }; | |
10f07067 | 1034 | |
6f29feb1 JW |
1035 | /* Names for NOTE insn's other than line numbers. */ |
1036 | ||
a38e7aa5 | 1037 | extern const char * const note_insn_name[NOTE_INSN_MAX]; |
d636c18c | 1038 | #define GET_NOTE_INSN_NAME(NOTE_CODE) \ |
a38e7aa5 | 1039 | (note_insn_name[(NOTE_CODE)]) |
6f29feb1 JW |
1040 | |
1041 | /* The name of a label, in case it corresponds to an explicit label | |
1042 | in the input source code. */ | |
ba4f7968 | 1043 | #define LABEL_NAME(RTX) XCSTR (RTX, 7, CODE_LABEL) |
6f29feb1 JW |
1044 | |
1045 | /* In jump.c, each label contains a count of the number | |
1046 | of LABEL_REFs that point at it, so unused labels can be deleted. */ | |
418e920f | 1047 | #define LABEL_NUSES(RTX) XCINT (RTX, 5, CODE_LABEL) |
6f29feb1 | 1048 | |
0dc36574 ZW |
1049 | /* Labels carry a two-bit field composed of the ->jump and ->call |
1050 | bits. This field indicates whether the label is an alternate | |
1051 | entry point, and if so, what kind. */ | |
1052 | enum label_kind | |
1053 | { | |
1054 | LABEL_NORMAL = 0, /* ordinary label */ | |
1055 | LABEL_STATIC_ENTRY, /* alternate entry point, not exported */ | |
1056 | LABEL_GLOBAL_ENTRY, /* alternate entry point, exported */ | |
1057 | LABEL_WEAK_ENTRY /* alternate entry point, exported as weak symbol */ | |
1058 | }; | |
1059 | ||
1060 | #if defined ENABLE_RTL_FLAG_CHECKING && (GCC_VERSION > 2007) | |
1061 | ||
1062 | /* Retrieve the kind of LABEL. */ | |
1063 | #define LABEL_KIND(LABEL) __extension__ \ | |
f7d504c2 | 1064 | ({ __typeof (LABEL) const _label = (LABEL); \ |
b64925dc | 1065 | if (! LABEL_P (_label)) \ |
0dc36574 ZW |
1066 | rtl_check_failed_flag ("LABEL_KIND", _label, __FILE__, __LINE__, \ |
1067 | __FUNCTION__); \ | |
1068 | (enum label_kind) ((_label->jump << 1) | _label->call); }) | |
1069 | ||
1070 | /* Set the kind of LABEL. */ | |
1071 | #define SET_LABEL_KIND(LABEL, KIND) do { \ | |
f7d504c2 | 1072 | __typeof (LABEL) const _label = (LABEL); \ |
a57193e8 | 1073 | const unsigned int _kind = (KIND); \ |
b64925dc | 1074 | if (! LABEL_P (_label)) \ |
0dc36574 ZW |
1075 | rtl_check_failed_flag ("SET_LABEL_KIND", _label, __FILE__, __LINE__, \ |
1076 | __FUNCTION__); \ | |
1077 | _label->jump = ((_kind >> 1) & 1); \ | |
1078 | _label->call = (_kind & 1); \ | |
1079 | } while (0) | |
1080 | ||
1081 | #else | |
1082 | ||
1083 | /* Retrieve the kind of LABEL. */ | |
1084 | #define LABEL_KIND(LABEL) \ | |
1085 | ((enum label_kind) (((LABEL)->jump << 1) | (LABEL)->call)) | |
1086 | ||
1087 | /* Set the kind of LABEL. */ | |
1088 | #define SET_LABEL_KIND(LABEL, KIND) do { \ | |
a57193e8 KG |
1089 | rtx const _label = (LABEL); \ |
1090 | const unsigned int _kind = (KIND); \ | |
0dc36574 ZW |
1091 | _label->jump = ((_kind >> 1) & 1); \ |
1092 | _label->call = (_kind & 1); \ | |
1093 | } while (0) | |
1094 | ||
1095 | #endif /* rtl flag checking */ | |
1096 | ||
1097 | #define LABEL_ALT_ENTRY_P(LABEL) (LABEL_KIND (LABEL) != LABEL_NORMAL) | |
8cd0faaf | 1098 | |
6f29feb1 JW |
1099 | /* In jump.c, each JUMP_INSN can point to a label that it can jump to, |
1100 | so that if the JUMP_INSN is deleted, the label's LABEL_NUSES can | |
1101 | be decremented and possibly the label can be deleted. */ | |
6fb5fa3c | 1102 | #define JUMP_LABEL(INSN) XCEXP (INSN, 8, JUMP_INSN) |
6f29feb1 | 1103 | |
6fb5fa3c DB |
1104 | /* Once basic blocks are found, each CODE_LABEL starts a chain that |
1105 | goes through all the LABEL_REFs that jump to that label. The chain | |
1106 | eventually winds up at the CODE_LABEL: it is circular. */ | |
418e920f | 1107 | #define LABEL_REFS(LABEL) XCEXP (LABEL, 4, CODE_LABEL) |
6f29feb1 | 1108 | \f |
6fb5fa3c DB |
1109 | /* For a REG rtx, REGNO extracts the register number. REGNO can only |
1110 | be used on RHS. Use SET_REGNO to change the value. */ | |
1111 | #define REGNO(RTX) (rhs_regno(RTX)) | |
c3284718 RS |
1112 | #define SET_REGNO(RTX,N) \ |
1113 | (df_ref_change_reg_with_loc (REGNO (RTX), N, RTX), XCUINT (RTX, 0, REG) = N) | |
5444da31 | 1114 | #define SET_REGNO_RAW(RTX,N) (XCUINT (RTX, 0, REG) = N) |
6fb5fa3c DB |
1115 | |
1116 | /* ORIGINAL_REGNO holds the number the register originally had; for a | |
1117 | pseudo register turned into a hard reg this will hold the old pseudo | |
1118 | register number. */ | |
f52eda29 | 1119 | #define ORIGINAL_REGNO(RTX) X0UINT (RTX, 1) |
6f29feb1 | 1120 | |
6fb5fa3c DB |
1121 | /* Force the REGNO macro to only be used on the lhs. */ |
1122 | static inline unsigned int | |
f7d504c2 | 1123 | rhs_regno (const_rtx x) |
6fb5fa3c DB |
1124 | { |
1125 | return XCUINT (x, 0, REG); | |
1126 | } | |
1127 | ||
1128 | ||
084a1106 JDA |
1129 | /* 1 if RTX is a reg or parallel that is the current function's return |
1130 | value. */ | |
2d4cc6a7 | 1131 | #define REG_FUNCTION_VALUE_P(RTX) \ |
c3284718 | 1132 | (RTL_FLAG_CHECK2 ("REG_FUNCTION_VALUE_P", (RTX), REG, PARALLEL)->return_val) |
6f29feb1 | 1133 | |
2d4cc6a7 JJ |
1134 | /* 1 if RTX is a reg that corresponds to a variable declared by the user. */ |
1135 | #define REG_USERVAR_P(RTX) \ | |
c3284718 | 1136 | (RTL_FLAG_CHECK1 ("REG_USERVAR_P", (RTX), REG)->volatil) |
6f29feb1 | 1137 | |
2d4cc6a7 JJ |
1138 | /* 1 if RTX is a reg that holds a pointer value. */ |
1139 | #define REG_POINTER(RTX) \ | |
c3284718 | 1140 | (RTL_FLAG_CHECK1 ("REG_POINTER", (RTX), REG)->frame_related) |
3502dc9c | 1141 | |
f8ad8d7c ZD |
1142 | /* 1 if RTX is a mem that holds a pointer value. */ |
1143 | #define MEM_POINTER(RTX) \ | |
c3284718 | 1144 | (RTL_FLAG_CHECK1 ("MEM_POINTER", (RTX), MEM)->frame_related) |
f8ad8d7c | 1145 | |
cdbca172 JO |
1146 | /* 1 if the given register REG corresponds to a hard register. */ |
1147 | #define HARD_REGISTER_P(REG) (HARD_REGISTER_NUM_P (REGNO (REG))) | |
1148 | ||
1149 | /* 1 if the given register number REG_NO corresponds to a hard register. */ | |
f52eda29 | 1150 | #define HARD_REGISTER_NUM_P(REG_NO) ((REG_NO) < FIRST_PSEUDO_REGISTER) |
cdbca172 | 1151 | |
6f29feb1 | 1152 | /* For a CONST_INT rtx, INTVAL extracts the integer. */ |
c3284718 | 1153 | #define INTVAL(RTX) XCWINT (RTX, 0, CONST_INT) |
4fbbe694 | 1154 | #define UINTVAL(RTX) ((unsigned HOST_WIDE_INT) INTVAL (RTX)) |
6f29feb1 | 1155 | |
a36556a8 | 1156 | /* For a CONST_DOUBLE: |
6a47d88f | 1157 | For a VOIDmode, there are two integers CONST_DOUBLE_LOW is the |
46b33600 | 1158 | low-order word and ..._HIGH the high-order. |
3d7aafde | 1159 | For a float, there is a REAL_VALUE_TYPE structure, and |
46b33600 | 1160 | CONST_DOUBLE_REAL_VALUE(r) is a pointer to it. */ |
9e254451 ILT |
1161 | #define CONST_DOUBLE_LOW(r) XCMWINT (r, 0, CONST_DOUBLE, VOIDmode) |
1162 | #define CONST_DOUBLE_HIGH(r) XCMWINT (r, 1, CONST_DOUBLE, VOIDmode) | |
1163 | #define CONST_DOUBLE_REAL_VALUE(r) \ | |
1164 | ((const struct real_value *) XCNMPRV (r, CONST_DOUBLE, VOIDmode)) | |
a36556a8 | 1165 | |
091a3ac7 CF |
1166 | #define CONST_FIXED_VALUE(r) \ |
1167 | ((const struct fixed_value *) XCNMPFV (r, CONST_FIXED, VOIDmode)) | |
1168 | #define CONST_FIXED_VALUE_HIGH(r) \ | |
c3284718 | 1169 | ((HOST_WIDE_INT) (CONST_FIXED_VALUE (r)->data.high)) |
091a3ac7 | 1170 | #define CONST_FIXED_VALUE_LOW(r) \ |
c3284718 | 1171 | ((HOST_WIDE_INT) (CONST_FIXED_VALUE (r)->data.low)) |
091a3ac7 | 1172 | |
69ef87e2 AH |
1173 | /* For a CONST_VECTOR, return element #n. */ |
1174 | #define CONST_VECTOR_ELT(RTX, N) XCVECEXP (RTX, 0, N, CONST_VECTOR) | |
1175 | ||
1176 | /* For a CONST_VECTOR, return the number of elements in a vector. */ | |
1177 | #define CONST_VECTOR_NUNITS(RTX) XCVECLEN (RTX, 0, CONST_VECTOR) | |
1178 | ||
6f29feb1 | 1179 | /* For a SUBREG rtx, SUBREG_REG extracts the value we want a subreg of. |
ddef6bc7 | 1180 | SUBREG_BYTE extracts the byte-number. */ |
6f29feb1 | 1181 | |
f52eda29 GS |
1182 | #define SUBREG_REG(RTX) XCEXP (RTX, 0, SUBREG) |
1183 | #define SUBREG_BYTE(RTX) XCUINT (RTX, 1, SUBREG) | |
ddef6bc7 JJ |
1184 | |
1185 | /* in rtlanal.c */ | |
f894b69b PB |
1186 | /* Return the right cost to give to an operation |
1187 | to make the cost of the corresponding register-to-register instruction | |
1188 | N times that of a fast register-to-register instruction. */ | |
1189 | #define COSTS_N_INSNS(N) ((N) * 4) | |
1190 | ||
1191 | /* Maximum cost of an rtl expression. This value has the special meaning | |
1192 | not to use an rtx with this cost under any circumstances. */ | |
1193 | #define MAX_COST INT_MAX | |
1194 | ||
22939744 BS |
1195 | /* A structure to hold all available cost information about an rtl |
1196 | expression. */ | |
1197 | struct full_rtx_costs | |
1198 | { | |
1199 | int speed; | |
1200 | int size; | |
1201 | }; | |
1202 | ||
1203 | /* Initialize a full_rtx_costs structure C to the maximum cost. */ | |
1204 | static inline void | |
1205 | init_costs_to_max (struct full_rtx_costs *c) | |
1206 | { | |
1207 | c->speed = MAX_COST; | |
1208 | c->size = MAX_COST; | |
1209 | } | |
1210 | ||
1211 | /* Initialize a full_rtx_costs structure C to zero cost. */ | |
1212 | static inline void | |
1213 | init_costs_to_zero (struct full_rtx_costs *c) | |
1214 | { | |
1215 | c->speed = 0; | |
1216 | c->size = 0; | |
1217 | } | |
1218 | ||
1219 | /* Compare two full_rtx_costs structures A and B, returning true | |
1220 | if A < B when optimizing for speed. */ | |
1221 | static inline bool | |
1222 | costs_lt_p (struct full_rtx_costs *a, struct full_rtx_costs *b, | |
1223 | bool speed) | |
1224 | { | |
1225 | if (speed) | |
1226 | return (a->speed < b->speed | |
1227 | || (a->speed == b->speed && a->size < b->size)); | |
1228 | else | |
1229 | return (a->size < b->size | |
1230 | || (a->size == b->size && a->speed < b->speed)); | |
1231 | } | |
1232 | ||
1233 | /* Increase both members of the full_rtx_costs structure C by the | |
1234 | cost of N insns. */ | |
1235 | static inline void | |
1236 | costs_add_n_insns (struct full_rtx_costs *c, int n) | |
1237 | { | |
1238 | c->speed += COSTS_N_INSNS (n); | |
1239 | c->size += COSTS_N_INSNS (n); | |
1240 | } | |
1241 | ||
277f65de RS |
1242 | /* Information about an address. This structure is supposed to be able |
1243 | to represent all supported target addresses. Please extend it if it | |
1244 | is not yet general enough. */ | |
1245 | struct address_info { | |
1246 | /* The mode of the value being addressed, or VOIDmode if this is | |
1247 | a load-address operation with no known address mode. */ | |
1248 | enum machine_mode mode; | |
1249 | ||
1250 | /* The address space. */ | |
1251 | addr_space_t as; | |
1252 | ||
1253 | /* A pointer to the top-level address. */ | |
1254 | rtx *outer; | |
1255 | ||
1256 | /* A pointer to the inner address, after all address mutations | |
1257 | have been stripped from the top-level address. It can be one | |
1258 | of the following: | |
1259 | ||
1260 | - A {PRE,POST}_{INC,DEC} of *BASE. SEGMENT, INDEX and DISP are null. | |
1261 | ||
1262 | - A {PRE,POST}_MODIFY of *BASE. In this case either INDEX or DISP | |
1263 | points to the step value, depending on whether the step is variable | |
1264 | or constant respectively. SEGMENT is null. | |
1265 | ||
1266 | - A plain sum of the form SEGMENT + BASE + INDEX + DISP, | |
1267 | with null fields evaluating to 0. */ | |
1268 | rtx *inner; | |
1269 | ||
1270 | /* Components that make up *INNER. Each one may be null or nonnull. | |
1271 | When nonnull, their meanings are as follows: | |
1272 | ||
1273 | - *SEGMENT is the "segment" of memory to which the address refers. | |
1274 | This value is entirely target-specific and is only called a "segment" | |
1275 | because that's its most typical use. It contains exactly one UNSPEC, | |
1276 | pointed to by SEGMENT_TERM. The contents of *SEGMENT do not need | |
1277 | reloading. | |
1278 | ||
1279 | - *BASE is a variable expression representing a base address. | |
1280 | It contains exactly one REG, SUBREG or MEM, pointed to by BASE_TERM. | |
1281 | ||
1282 | - *INDEX is a variable expression representing an index value. | |
1283 | It may be a scaled expression, such as a MULT. It has exactly | |
1284 | one REG, SUBREG or MEM, pointed to by INDEX_TERM. | |
1285 | ||
1286 | - *DISP is a constant, possibly mutated. DISP_TERM points to the | |
1287 | unmutated RTX_CONST_OBJ. */ | |
1288 | rtx *segment; | |
1289 | rtx *base; | |
1290 | rtx *index; | |
1291 | rtx *disp; | |
1292 | ||
1293 | rtx *segment_term; | |
1294 | rtx *base_term; | |
1295 | rtx *index_term; | |
1296 | rtx *disp_term; | |
1297 | ||
1298 | /* In a {PRE,POST}_MODIFY address, this points to a second copy | |
1299 | of BASE_TERM, otherwise it is null. */ | |
1300 | rtx *base_term2; | |
1301 | ||
1302 | /* ADDRESS if this structure describes an address operand, MEM if | |
1303 | it describes a MEM address. */ | |
1304 | enum rtx_code addr_outer_code; | |
1305 | ||
1306 | /* If BASE is nonnull, this is the code of the rtx that contains it. */ | |
1307 | enum rtx_code base_outer_code; | |
1308 | ||
1309 | /* True if this is an RTX_AUTOINC address. */ | |
1310 | bool autoinc_p; | |
1311 | }; | |
1312 | ||
cf94b0fc | 1313 | extern void init_rtlanal (void); |
68f932c4 | 1314 | extern int rtx_cost (rtx, enum rtx_code, int, bool); |
09e881c9 | 1315 | extern int address_cost (rtx, enum machine_mode, addr_space_t, bool); |
68f932c4 RS |
1316 | extern void get_full_rtx_cost (rtx, enum rtx_code, int, |
1317 | struct full_rtx_costs *); | |
f7d504c2 | 1318 | extern unsigned int subreg_lsb (const_rtx); |
bb51e270 RS |
1319 | extern unsigned int subreg_lsb_1 (enum machine_mode, enum machine_mode, |
1320 | unsigned int); | |
0c20a65f AJ |
1321 | extern unsigned int subreg_regno_offset (unsigned int, enum machine_mode, |
1322 | unsigned int, enum machine_mode); | |
1323 | extern bool subreg_offset_representable_p (unsigned int, enum machine_mode, | |
1324 | unsigned int, enum machine_mode); | |
f7d504c2 | 1325 | extern unsigned int subreg_regno (const_rtx); |
eef302d2 RS |
1326 | extern int simplify_subreg_regno (unsigned int, enum machine_mode, |
1327 | unsigned int, enum machine_mode); | |
f7d504c2 | 1328 | extern unsigned int subreg_nregs (const_rtx); |
ba49cb7b | 1329 | extern unsigned int subreg_nregs_with_regno (unsigned int, const_rtx); |
fa233e34 KG |
1330 | extern unsigned HOST_WIDE_INT nonzero_bits (const_rtx, enum machine_mode); |
1331 | extern unsigned int num_sign_bit_copies (const_rtx, enum machine_mode); | |
3d8504ac | 1332 | extern bool constant_pool_constant_p (rtx); |
fa233e34 | 1333 | extern bool truncated_to_mode (enum machine_mode, const_rtx); |
842e098c | 1334 | extern int low_bitmask_len (enum machine_mode, unsigned HOST_WIDE_INT); |
ca3f2950 | 1335 | extern void split_double (rtx, rtx *, rtx *); |
277f65de RS |
1336 | extern rtx *strip_address_mutations (rtx *, enum rtx_code * = 0); |
1337 | extern void decompose_address (struct address_info *, rtx *, | |
1338 | enum machine_mode, addr_space_t, enum rtx_code); | |
1339 | extern void decompose_lea_address (struct address_info *, rtx *); | |
1340 | extern void decompose_mem_address (struct address_info *, rtx); | |
1341 | extern void update_address (struct address_info *); | |
1342 | extern HOST_WIDE_INT get_index_scale (const struct address_info *); | |
1343 | extern enum rtx_code get_index_code (const struct address_info *); | |
2f93eea8 | 1344 | |
d51102f3 RS |
1345 | #ifndef GENERATOR_FILE |
1346 | /* Return the cost of SET X. SPEED_P is true if optimizing for speed | |
1347 | rather than size. */ | |
1348 | ||
1349 | static inline int | |
1350 | set_rtx_cost (rtx x, bool speed_p) | |
1351 | { | |
68f932c4 | 1352 | return rtx_cost (x, INSN, 4, speed_p); |
d51102f3 RS |
1353 | } |
1354 | ||
1355 | /* Like set_rtx_cost, but return both the speed and size costs in C. */ | |
1356 | ||
1357 | static inline void | |
1358 | get_full_set_rtx_cost (rtx x, struct full_rtx_costs *c) | |
1359 | { | |
68f932c4 | 1360 | get_full_rtx_cost (x, INSN, 4, c); |
d51102f3 | 1361 | } |
5e8f01f4 RS |
1362 | |
1363 | /* Return the cost of moving X into a register, relative to the cost | |
1364 | of a register move. SPEED_P is true if optimizing for speed rather | |
1365 | than size. */ | |
1366 | ||
1367 | static inline int | |
1368 | set_src_cost (rtx x, bool speed_p) | |
1369 | { | |
68f932c4 | 1370 | return rtx_cost (x, SET, 1, speed_p); |
5e8f01f4 RS |
1371 | } |
1372 | ||
1373 | /* Like set_src_cost, but return both the speed and size costs in C. */ | |
1374 | ||
1375 | static inline void | |
1376 | get_full_set_src_cost (rtx x, struct full_rtx_costs *c) | |
1377 | { | |
68f932c4 | 1378 | get_full_rtx_cost (x, SET, 1, c); |
5e8f01f4 | 1379 | } |
d51102f3 | 1380 | #endif |
6f29feb1 | 1381 | |
2d4cc6a7 JJ |
1382 | /* 1 if RTX is a subreg containing a reg that is already known to be |
1383 | sign- or zero-extended from the mode of the subreg to the mode of | |
07be3989 | 1384 | the reg. SUBREG_PROMOTED_UNSIGNED_P gives the signedness of the |
f590cca1 | 1385 | extension. |
07be3989 RK |
1386 | |
1387 | When used as a LHS, is means that this extension must be done | |
1388 | when assigning to SUBREG_REG. */ | |
1389 | ||
2d4cc6a7 | 1390 | #define SUBREG_PROMOTED_VAR_P(RTX) \ |
c3284718 | 1391 | (RTL_FLAG_CHECK1 ("SUBREG_PROMOTED", (RTX), SUBREG)->in_struct) |
2d4cc6a7 JJ |
1392 | |
1393 | #define SUBREG_PROMOTED_UNSIGNED_SET(RTX, VAL) \ | |
1394 | do { \ | |
c3284718 RS |
1395 | rtx const _rtx = RTL_FLAG_CHECK1 ("SUBREG_PROMOTED_UNSIGNED_SET", \ |
1396 | (RTX), SUBREG); \ | |
2d4cc6a7 | 1397 | if ((VAL) < 0) \ |
b0ad77d5 | 1398 | _rtx->volatil = 1; \ |
2d4cc6a7 | 1399 | else { \ |
b0ad77d5 KG |
1400 | _rtx->volatil = 0; \ |
1401 | _rtx->unchanging = (VAL); \ | |
2d4cc6a7 | 1402 | } \ |
7879b81e | 1403 | } while (0) |
4e18a7d4 MM |
1404 | |
1405 | /* Valid for subregs which are SUBREG_PROMOTED_VAR_P(). In that case | |
1406 | this gives the necessary extensions: | |
1407 | 0 - signed | |
1408 | 1 - normal unsigned | |
1409 | -1 - pointer unsigned, which most often can be handled like unsigned | |
1410 | extension, except for generating instructions where we need to | |
1411 | emit special code (ptr_extend insns) on some architectures. */ | |
1412 | ||
5a63e069 | 1413 | #define SUBREG_PROMOTED_UNSIGNED_P(RTX) \ |
c3284718 | 1414 | ((RTL_FLAG_CHECK1 ("SUBREG_PROMOTED_UNSIGNED_P", (RTX), SUBREG)->volatil) \ |
50ae5fea | 1415 | ? -1 : (int) (RTX)->unchanging) |
07be3989 | 1416 | |
2c62cbaa VM |
1417 | /* True if the subreg was generated by LRA for reload insns. Such |
1418 | subregs are valid only during LRA. */ | |
1419 | #define LRA_SUBREG_P(RTX) \ | |
c3284718 | 1420 | (RTL_FLAG_CHECK1 ("LRA_SUBREG_P", (RTX), SUBREG)->jump) |
2c62cbaa | 1421 | |
6f29feb1 JW |
1422 | /* Access various components of an ASM_OPERANDS rtx. */ |
1423 | ||
f52eda29 GS |
1424 | #define ASM_OPERANDS_TEMPLATE(RTX) XCSTR (RTX, 0, ASM_OPERANDS) |
1425 | #define ASM_OPERANDS_OUTPUT_CONSTRAINT(RTX) XCSTR (RTX, 1, ASM_OPERANDS) | |
1426 | #define ASM_OPERANDS_OUTPUT_IDX(RTX) XCINT (RTX, 2, ASM_OPERANDS) | |
1427 | #define ASM_OPERANDS_INPUT_VEC(RTX) XCVEC (RTX, 3, ASM_OPERANDS) | |
1428 | #define ASM_OPERANDS_INPUT_CONSTRAINT_VEC(RTX) XCVEC (RTX, 4, ASM_OPERANDS) | |
1429 | #define ASM_OPERANDS_INPUT(RTX, N) XCVECEXP (RTX, 3, N, ASM_OPERANDS) | |
1430 | #define ASM_OPERANDS_INPUT_LENGTH(RTX) XCVECLEN (RTX, 3, ASM_OPERANDS) | |
6462bb43 | 1431 | #define ASM_OPERANDS_INPUT_CONSTRAINT_EXP(RTX, N) \ |
f52eda29 | 1432 | XCVECEXP (RTX, 4, N, ASM_OPERANDS) |
3bdf5ad1 | 1433 | #define ASM_OPERANDS_INPUT_CONSTRAINT(RTX, N) \ |
f52eda29 | 1434 | XSTR (XCVECEXP (RTX, 4, N, ASM_OPERANDS), 0) |
3bdf5ad1 | 1435 | #define ASM_OPERANDS_INPUT_MODE(RTX, N) \ |
f52eda29 | 1436 | GET_MODE (XCVECEXP (RTX, 4, N, ASM_OPERANDS)) |
1c384bf1 RH |
1437 | #define ASM_OPERANDS_LABEL_VEC(RTX) XCVEC (RTX, 5, ASM_OPERANDS) |
1438 | #define ASM_OPERANDS_LABEL_LENGTH(RTX) XCVECLEN (RTX, 5, ASM_OPERANDS) | |
1439 | #define ASM_OPERANDS_LABEL(RTX, N) XCVECEXP (RTX, 5, N, ASM_OPERANDS) | |
1440 | #define ASM_OPERANDS_SOURCE_LOCATION(RTX) XCUINT (RTX, 6, ASM_OPERANDS) | |
bff4b63d | 1441 | #define ASM_INPUT_SOURCE_LOCATION(RTX) XCUINT (RTX, 1, ASM_INPUT) |
6f29feb1 | 1442 | |
389fdba0 RH |
1443 | /* 1 if RTX is a mem that is statically allocated in read-only memory. */ |
1444 | #define MEM_READONLY_P(RTX) \ | |
c3284718 | 1445 | (RTL_FLAG_CHECK1 ("MEM_READONLY_P", (RTX), MEM)->unchanging) |
389fdba0 | 1446 | |
2d4cc6a7 | 1447 | /* 1 if RTX is a mem and we should keep the alias set for this mem |
10b76d73 RK |
1448 | unchanged when we access a component. Set to 1, or example, when we |
1449 | are already in a non-addressable component of an aggregate. */ | |
2d4cc6a7 | 1450 | #define MEM_KEEP_ALIAS_SET_P(RTX) \ |
c3284718 | 1451 | (RTL_FLAG_CHECK1 ("MEM_KEEP_ALIAS_SET_P", (RTX), MEM)->jump) |
10b76d73 | 1452 | |
2d4cc6a7 JJ |
1453 | /* 1 if RTX is a mem or asm_operand for a volatile reference. */ |
1454 | #define MEM_VOLATILE_P(RTX) \ | |
c3284718 RS |
1455 | (RTL_FLAG_CHECK3 ("MEM_VOLATILE_P", (RTX), MEM, ASM_OPERANDS, \ |
1456 | ASM_INPUT)->volatil) | |
6f29feb1 | 1457 | |
4da2eb6b RH |
1458 | /* 1 if RTX is a mem that cannot trap. */ |
1459 | #define MEM_NOTRAP_P(RTX) \ | |
c3284718 | 1460 | (RTL_FLAG_CHECK1 ("MEM_NOTRAP_P", (RTX), MEM)->call) |
4da2eb6b | 1461 | |
173b24b9 RK |
1462 | /* The memory attribute block. We provide access macros for each value |
1463 | in the block and provide defaults if none specified. */ | |
1464 | #define MEM_ATTRS(RTX) X0MEMATTR (RTX, 1) | |
1465 | ||
a560d4d4 JH |
1466 | /* The register attribute block. We provide access macros for each value |
1467 | in the block and provide defaults if none specified. */ | |
1468 | #define REG_ATTRS(RTX) X0REGATTR (RTX, 2) | |
1469 | ||
1c3f523e | 1470 | #ifndef GENERATOR_FILE |
41472af8 MM |
1471 | /* For a MEM rtx, the alias set. If 0, this MEM is not in any alias |
1472 | set, and may alias anything. Otherwise, the MEM can only alias | |
3568b0ef | 1473 | MEMs in a conflicting alias set. This value is set in a |
41472af8 | 1474 | language-dependent manner in the front-end, and should not be |
3568b0ef RH |
1475 | altered in the back-end. These set numbers are tested with |
1476 | alias_sets_conflict_p. */ | |
1c3f523e | 1477 | #define MEM_ALIAS_SET(RTX) (get_mem_attrs (RTX)->alias) |
173b24b9 RK |
1478 | |
1479 | /* For a MEM rtx, the decl it is known to refer to, if it is known to | |
998d7deb | 1480 | refer to part of a DECL. It may also be a COMPONENT_REF. */ |
1c3f523e | 1481 | #define MEM_EXPR(RTX) (get_mem_attrs (RTX)->expr) |
173b24b9 | 1482 | |
527210c4 | 1483 | /* For a MEM rtx, true if its MEM_OFFSET is known. */ |
754c3d5d | 1484 | #define MEM_OFFSET_KNOWN_P(RTX) (get_mem_attrs (RTX)->offset_known_p) |
527210c4 RS |
1485 | |
1486 | /* For a MEM rtx, the offset from the start of MEM_EXPR. */ | |
754c3d5d | 1487 | #define MEM_OFFSET(RTX) (get_mem_attrs (RTX)->offset) |
173b24b9 | 1488 | |
09e881c9 | 1489 | /* For a MEM rtx, the address space. */ |
1c3f523e | 1490 | #define MEM_ADDR_SPACE(RTX) (get_mem_attrs (RTX)->addrspace) |
09e881c9 | 1491 | |
f5541398 | 1492 | /* For a MEM rtx, true if its MEM_SIZE is known. */ |
754c3d5d | 1493 | #define MEM_SIZE_KNOWN_P(RTX) (get_mem_attrs (RTX)->size_known_p) |
f5541398 RS |
1494 | |
1495 | /* For a MEM rtx, the size in bytes of the MEM. */ | |
754c3d5d | 1496 | #define MEM_SIZE(RTX) (get_mem_attrs (RTX)->size) |
173b24b9 | 1497 | |
917afb0c RK |
1498 | /* For a MEM rtx, the alignment in bits. We can use the alignment of the |
1499 | mode as a default when STRICT_ALIGNMENT, but not if not. */ | |
1c3f523e RS |
1500 | #define MEM_ALIGN(RTX) (get_mem_attrs (RTX)->align) |
1501 | #else | |
1502 | #define MEM_ADDR_SPACE(RTX) ADDR_SPACE_GENERIC | |
1503 | #endif | |
3bdf5ad1 | 1504 | |
a560d4d4 JH |
1505 | /* For a REG rtx, the decl it is known to refer to, if it is known to |
1506 | refer to part of a DECL. */ | |
1507 | #define REG_EXPR(RTX) (REG_ATTRS (RTX) == 0 ? 0 : REG_ATTRS (RTX)->decl) | |
1508 | ||
8c6c36a3 EB |
1509 | /* For a REG rtx, the offset from the start of REG_EXPR, if known, as an |
1510 | HOST_WIDE_INT. */ | |
a560d4d4 JH |
1511 | #define REG_OFFSET(RTX) (REG_ATTRS (RTX) == 0 ? 0 : REG_ATTRS (RTX)->offset) |
1512 | ||
3bdf5ad1 | 1513 | /* Copy the attributes that apply to memory locations from RHS to LHS. */ |
10b76d73 RK |
1514 | #define MEM_COPY_ATTRIBUTES(LHS, RHS) \ |
1515 | (MEM_VOLATILE_P (LHS) = MEM_VOLATILE_P (RHS), \ | |
4da2eb6b | 1516 | MEM_NOTRAP_P (LHS) = MEM_NOTRAP_P (RHS), \ |
389fdba0 | 1517 | MEM_READONLY_P (LHS) = MEM_READONLY_P (RHS), \ |
10b76d73 | 1518 | MEM_KEEP_ALIAS_SET_P (LHS) = MEM_KEEP_ALIAS_SET_P (RHS), \ |
adb43ed4 | 1519 | MEM_POINTER (LHS) = MEM_POINTER (RHS), \ |
173b24b9 | 1520 | MEM_ATTRS (LHS) = MEM_ATTRS (RHS)) |
41472af8 | 1521 | |
2d4cc6a7 | 1522 | /* 1 if RTX is a label_ref for a nonlocal label. */ |
cf7c4aa6 HPN |
1523 | /* Likewise in an expr_list for a REG_LABEL_OPERAND or |
1524 | REG_LABEL_TARGET note. */ | |
2d4cc6a7 | 1525 | #define LABEL_REF_NONLOCAL_P(RTX) \ |
c3284718 | 1526 | (RTL_FLAG_CHECK1 ("LABEL_REF_NONLOCAL_P", (RTX), LABEL_REF)->volatil) |
adfaf10a | 1527 | |
2d4cc6a7 JJ |
1528 | /* 1 if RTX is a code_label that should always be considered to be needed. */ |
1529 | #define LABEL_PRESERVE_P(RTX) \ | |
c3284718 | 1530 | (RTL_FLAG_CHECK2 ("LABEL_PRESERVE_P", (RTX), CODE_LABEL, NOTE)->in_struct) |
6f29feb1 | 1531 | |
2d4cc6a7 | 1532 | /* During sched, 1 if RTX is an insn that must be scheduled together |
d45cf215 | 1533 | with the preceding insn. */ |
2d4cc6a7 | 1534 | #define SCHED_GROUP_P(RTX) \ |
c3284718 RS |
1535 | (RTL_FLAG_CHECK4 ("SCHED_GROUP_P", (RTX), DEBUG_INSN, INSN, \ |
1536 | JUMP_INSN, CALL_INSN)->in_struct) | |
6f29feb1 JW |
1537 | |
1538 | /* For a SET rtx, SET_DEST is the place that is set | |
1539 | and SET_SRC is the value it is set to. */ | |
c3284718 RS |
1540 | #define SET_DEST(RTX) XC2EXP (RTX, 0, SET, CLOBBER) |
1541 | #define SET_SRC(RTX) XCEXP (RTX, 1, SET) | |
2d4cc6a7 | 1542 | #define SET_IS_RETURN_P(RTX) \ |
c3284718 | 1543 | (RTL_FLAG_CHECK1 ("SET_IS_RETURN_P", (RTX), SET)->jump) |
6f29feb1 JW |
1544 | |
1545 | /* For a TRAP_IF rtx, TRAP_CONDITION is an expression. */ | |
f52eda29 GS |
1546 | #define TRAP_CONDITION(RTX) XCEXP (RTX, 0, TRAP_IF) |
1547 | #define TRAP_CODE(RTX) XCEXP (RTX, 1, TRAP_IF) | |
6f29feb1 | 1548 | |
0c99ec5c RH |
1549 | /* For a COND_EXEC rtx, COND_EXEC_TEST is the condition to base |
1550 | conditionally executing the code on, COND_EXEC_CODE is the code | |
1551 | to execute if the condition is true. */ | |
f52eda29 GS |
1552 | #define COND_EXEC_TEST(RTX) XCEXP (RTX, 0, COND_EXEC) |
1553 | #define COND_EXEC_CODE(RTX) XCEXP (RTX, 1, COND_EXEC) | |
0c99ec5c | 1554 | |
2adb9af1 RH |
1555 | /* 1 if RTX is a symbol_ref that addresses this function's rtl |
1556 | constants pool. */ | |
2d4cc6a7 | 1557 | #define CONSTANT_POOL_ADDRESS_P(RTX) \ |
c3284718 | 1558 | (RTL_FLAG_CHECK1 ("CONSTANT_POOL_ADDRESS_P", (RTX), SYMBOL_REF)->unchanging) |
6f29feb1 | 1559 | |
2adb9af1 RH |
1560 | /* 1 if RTX is a symbol_ref that addresses a value in the file's |
1561 | tree constant pool. This information is private to varasm.c. */ | |
1562 | #define TREE_CONSTANT_POOL_ADDRESS_P(RTX) \ | |
c3284718 RS |
1563 | (RTL_FLAG_CHECK1 ("TREE_CONSTANT_POOL_ADDRESS_P", \ |
1564 | (RTX), SYMBOL_REF)->frame_related) | |
bd7cf17e | 1565 | |
2d4cc6a7 JJ |
1566 | /* Used if RTX is a symbol_ref, for machine-specific purposes. */ |
1567 | #define SYMBOL_REF_FLAG(RTX) \ | |
c3284718 | 1568 | (RTL_FLAG_CHECK1 ("SYMBOL_REF_FLAG", (RTX), SYMBOL_REF)->volatil) |
6f29feb1 | 1569 | |
2d4cc6a7 JJ |
1570 | /* 1 if RTX is a symbol_ref that has been the library function in |
1571 | emit_library_call. */ | |
1572 | #define SYMBOL_REF_USED(RTX) \ | |
c3284718 | 1573 | (RTL_FLAG_CHECK1 ("SYMBOL_REF_USED", (RTX), SYMBOL_REF)->used) |
6f29feb1 | 1574 | |
2d4cc6a7 JJ |
1575 | /* 1 if RTX is a symbol_ref for a weak symbol. */ |
1576 | #define SYMBOL_REF_WEAK(RTX) \ | |
c3284718 | 1577 | (RTL_FLAG_CHECK1 ("SYMBOL_REF_WEAK", (RTX), SYMBOL_REF)->return_val) |
ff0b6b99 | 1578 | |
c185c797 RS |
1579 | /* A pointer attached to the SYMBOL_REF; either SYMBOL_REF_DECL or |
1580 | SYMBOL_REF_CONSTANT. */ | |
929e5e5b RS |
1581 | #define SYMBOL_REF_DATA(RTX) X0ANY ((RTX), 2) |
1582 | ||
1583 | /* Set RTX's SYMBOL_REF_DECL to DECL. RTX must not be a constant | |
1584 | pool symbol. */ | |
1585 | #define SET_SYMBOL_REF_DECL(RTX, DECL) \ | |
1586 | (gcc_assert (!CONSTANT_POOL_ADDRESS_P (RTX)), X0TREE ((RTX), 2) = (DECL)) | |
c185c797 | 1587 | |
32a61907 | 1588 | /* The tree (decl or constant) associated with the symbol, or null. */ |
c185c797 RS |
1589 | #define SYMBOL_REF_DECL(RTX) \ |
1590 | (CONSTANT_POOL_ADDRESS_P (RTX) ? NULL : X0TREE ((RTX), 2)) | |
1591 | ||
929e5e5b RS |
1592 | /* Set RTX's SYMBOL_REF_CONSTANT to C. RTX must be a constant pool symbol. */ |
1593 | #define SET_SYMBOL_REF_CONSTANT(RTX, C) \ | |
1594 | (gcc_assert (CONSTANT_POOL_ADDRESS_P (RTX)), X0CONSTANT ((RTX), 2) = (C)) | |
1595 | ||
c185c797 RS |
1596 | /* The rtx constant pool entry for a symbol, or null. */ |
1597 | #define SYMBOL_REF_CONSTANT(RTX) \ | |
1598 | (CONSTANT_POOL_ADDRESS_P (RTX) ? X0CONSTANT ((RTX), 2) : NULL) | |
52859c77 RH |
1599 | |
1600 | /* A set of flags on a symbol_ref that are, in some respects, redundant with | |
1601 | information derivable from the tree decl associated with this symbol. | |
1602 | Except that we build a *lot* of SYMBOL_REFs that aren't associated with a | |
1603 | decl. In some cases this is a bug. But beyond that, it's nice to cache | |
1604 | this information to avoid recomputing it. Finally, this allows space for | |
1605 | the target to store more than one bit of information, as with | |
1606 | SYMBOL_REF_FLAG. */ | |
1607 | #define SYMBOL_REF_FLAGS(RTX) X0INT ((RTX), 1) | |
1608 | ||
1609 | /* These flags are common enough to be defined for all targets. They | |
1610 | are computed by the default version of targetm.encode_section_info. */ | |
1611 | ||
1612 | /* Set if this symbol is a function. */ | |
1613 | #define SYMBOL_FLAG_FUNCTION (1 << 0) | |
1614 | #define SYMBOL_REF_FUNCTION_P(RTX) \ | |
1615 | ((SYMBOL_REF_FLAGS (RTX) & SYMBOL_FLAG_FUNCTION) != 0) | |
1616 | /* Set if targetm.binds_local_p is true. */ | |
1617 | #define SYMBOL_FLAG_LOCAL (1 << 1) | |
1618 | #define SYMBOL_REF_LOCAL_P(RTX) \ | |
1619 | ((SYMBOL_REF_FLAGS (RTX) & SYMBOL_FLAG_LOCAL) != 0) | |
1620 | /* Set if targetm.in_small_data_p is true. */ | |
1621 | #define SYMBOL_FLAG_SMALL (1 << 2) | |
1622 | #define SYMBOL_REF_SMALL_P(RTX) \ | |
1623 | ((SYMBOL_REF_FLAGS (RTX) & SYMBOL_FLAG_SMALL) != 0) | |
1624 | /* The three-bit field at [5:3] is true for TLS variables; use | |
1625 | SYMBOL_REF_TLS_MODEL to extract the field as an enum tls_model. */ | |
1626 | #define SYMBOL_FLAG_TLS_SHIFT 3 | |
1627 | #define SYMBOL_REF_TLS_MODEL(RTX) \ | |
629f6514 | 1628 | ((enum tls_model) ((SYMBOL_REF_FLAGS (RTX) >> SYMBOL_FLAG_TLS_SHIFT) & 7)) |
52859c77 RH |
1629 | /* Set if this symbol is not defined in this translation unit. */ |
1630 | #define SYMBOL_FLAG_EXTERNAL (1 << 6) | |
1631 | #define SYMBOL_REF_EXTERNAL_P(RTX) \ | |
1632 | ((SYMBOL_REF_FLAGS (RTX) & SYMBOL_FLAG_EXTERNAL) != 0) | |
aacd3885 | 1633 | /* Set if this symbol has a block_symbol structure associated with it. */ |
3fa9c136 RS |
1634 | #define SYMBOL_FLAG_HAS_BLOCK_INFO (1 << 7) |
1635 | #define SYMBOL_REF_HAS_BLOCK_INFO_P(RTX) \ | |
1636 | ((SYMBOL_REF_FLAGS (RTX) & SYMBOL_FLAG_HAS_BLOCK_INFO) != 0) | |
aacd3885 | 1637 | /* Set if this symbol is a section anchor. SYMBOL_REF_ANCHOR_P implies |
3fa9c136 | 1638 | SYMBOL_REF_HAS_BLOCK_INFO_P. */ |
aacd3885 RS |
1639 | #define SYMBOL_FLAG_ANCHOR (1 << 8) |
1640 | #define SYMBOL_REF_ANCHOR_P(RTX) \ | |
1641 | ((SYMBOL_REF_FLAGS (RTX) & SYMBOL_FLAG_ANCHOR) != 0) | |
52859c77 RH |
1642 | |
1643 | /* Subsequent bits are available for the target to use. */ | |
aacd3885 | 1644 | #define SYMBOL_FLAG_MACH_DEP_SHIFT 9 |
89e6b702 | 1645 | #define SYMBOL_FLAG_MACH_DEP (1 << SYMBOL_FLAG_MACH_DEP_SHIFT) |
52859c77 | 1646 | |
3fa9c136 RS |
1647 | /* If SYMBOL_REF_HAS_BLOCK_INFO_P (RTX), this is the object_block |
1648 | structure to which the symbol belongs, or NULL if it has not been | |
1649 | assigned a block. */ | |
aacd3885 RS |
1650 | #define SYMBOL_REF_BLOCK(RTX) (BLOCK_SYMBOL_CHECK (RTX)->block) |
1651 | ||
3fa9c136 RS |
1652 | /* If SYMBOL_REF_HAS_BLOCK_INFO_P (RTX), this is the offset of RTX from |
1653 | the first object in SYMBOL_REF_BLOCK (RTX). The value is negative if | |
1654 | RTX has not yet been assigned to a block, or it has not been given an | |
1655 | offset within that block. */ | |
aacd3885 RS |
1656 | #define SYMBOL_REF_BLOCK_OFFSET(RTX) (BLOCK_SYMBOL_CHECK (RTX)->offset) |
1657 | ||
3fce100b AK |
1658 | /* True if RTX is flagged to be a scheduling barrier. */ |
1659 | #define PREFETCH_SCHEDULE_BARRIER_P(RTX) \ | |
c3284718 | 1660 | (RTL_FLAG_CHECK1 ("PREFETCH_SCHEDULE_BARRIER_P", (RTX), PREFETCH)->volatil) |
3fce100b | 1661 | |
6fb5fa3c DB |
1662 | /* Indicate whether the machine has any sort of auto increment addressing. |
1663 | If not, we can avoid checking for REG_INC notes. */ | |
1664 | ||
1665 | #if (defined (HAVE_PRE_INCREMENT) || defined (HAVE_PRE_DECREMENT) \ | |
1666 | || defined (HAVE_POST_INCREMENT) || defined (HAVE_POST_DECREMENT) \ | |
ec9202a8 | 1667 | || defined (HAVE_PRE_MODIFY_DISP) || defined (HAVE_POST_MODIFY_DISP) \ |
6fb5fa3c DB |
1668 | || defined (HAVE_PRE_MODIFY_REG) || defined (HAVE_POST_MODIFY_REG)) |
1669 | #define AUTO_INC_DEC | |
1670 | #endif | |
1671 | ||
6f29feb1 JW |
1672 | /* Define a macro to look for REG_INC notes, |
1673 | but save time on machines where they never exist. */ | |
1674 | ||
6fb5fa3c | 1675 | #ifdef AUTO_INC_DEC |
f52eda29 GS |
1676 | #define FIND_REG_INC_NOTE(INSN, REG) \ |
1677 | ((REG) != NULL_RTX && REG_P ((REG)) \ | |
1678 | ? find_regno_note ((INSN), REG_INC, REGNO (REG)) \ | |
1679 | : find_reg_note ((INSN), REG_INC, (REG))) | |
6f29feb1 | 1680 | #else |
f52eda29 | 1681 | #define FIND_REG_INC_NOTE(INSN, REG) 0 |
6f29feb1 JW |
1682 | #endif |
1683 | ||
940da324 JL |
1684 | #ifndef HAVE_PRE_INCREMENT |
1685 | #define HAVE_PRE_INCREMENT 0 | |
1686 | #endif | |
1687 | ||
1688 | #ifndef HAVE_PRE_DECREMENT | |
1689 | #define HAVE_PRE_DECREMENT 0 | |
1690 | #endif | |
1691 | ||
1692 | #ifndef HAVE_POST_INCREMENT | |
1693 | #define HAVE_POST_INCREMENT 0 | |
1694 | #endif | |
1695 | ||
1696 | #ifndef HAVE_POST_DECREMENT | |
1697 | #define HAVE_POST_DECREMENT 0 | |
1698 | #endif | |
1699 | ||
4b983fdc RH |
1700 | #ifndef HAVE_POST_MODIFY_DISP |
1701 | #define HAVE_POST_MODIFY_DISP 0 | |
1702 | #endif | |
1703 | ||
1704 | #ifndef HAVE_POST_MODIFY_REG | |
1705 | #define HAVE_POST_MODIFY_REG 0 | |
1706 | #endif | |
1707 | ||
1708 | #ifndef HAVE_PRE_MODIFY_DISP | |
1709 | #define HAVE_PRE_MODIFY_DISP 0 | |
1710 | #endif | |
1711 | ||
1712 | #ifndef HAVE_PRE_MODIFY_REG | |
1713 | #define HAVE_PRE_MODIFY_REG 0 | |
1714 | #endif | |
1715 | ||
6e01bd94 MH |
1716 | |
1717 | /* Some architectures do not have complete pre/post increment/decrement | |
1718 | instruction sets, or only move some modes efficiently. These macros | |
1719 | allow us to tune autoincrement generation. */ | |
1720 | ||
1721 | #ifndef USE_LOAD_POST_INCREMENT | |
1722 | #define USE_LOAD_POST_INCREMENT(MODE) HAVE_POST_INCREMENT | |
1723 | #endif | |
1724 | ||
1725 | #ifndef USE_LOAD_POST_DECREMENT | |
1726 | #define USE_LOAD_POST_DECREMENT(MODE) HAVE_POST_DECREMENT | |
1727 | #endif | |
1728 | ||
1729 | #ifndef USE_LOAD_PRE_INCREMENT | |
1730 | #define USE_LOAD_PRE_INCREMENT(MODE) HAVE_PRE_INCREMENT | |
1731 | #endif | |
1732 | ||
1733 | #ifndef USE_LOAD_PRE_DECREMENT | |
1734 | #define USE_LOAD_PRE_DECREMENT(MODE) HAVE_PRE_DECREMENT | |
1735 | #endif | |
1736 | ||
1737 | #ifndef USE_STORE_POST_INCREMENT | |
1738 | #define USE_STORE_POST_INCREMENT(MODE) HAVE_POST_INCREMENT | |
1739 | #endif | |
1740 | ||
1741 | #ifndef USE_STORE_POST_DECREMENT | |
1742 | #define USE_STORE_POST_DECREMENT(MODE) HAVE_POST_DECREMENT | |
1743 | #endif | |
1744 | ||
1745 | #ifndef USE_STORE_PRE_INCREMENT | |
1746 | #define USE_STORE_PRE_INCREMENT(MODE) HAVE_PRE_INCREMENT | |
1747 | #endif | |
1748 | ||
1749 | #ifndef USE_STORE_PRE_DECREMENT | |
1750 | #define USE_STORE_PRE_DECREMENT(MODE) HAVE_PRE_DECREMENT | |
1751 | #endif | |
6f29feb1 | 1752 | \f |
1b3d8f8a GK |
1753 | /* Nonzero when we are generating CONCATs. */ |
1754 | extern int generating_concat_p; | |
1755 | ||
4586b4ca SB |
1756 | /* Nonzero when we are expanding trees to RTL. */ |
1757 | extern int currently_expanding_to_rtl; | |
1758 | ||
6f29feb1 JW |
1759 | /* Generally useful functions. */ |
1760 | ||
50b2596f | 1761 | /* In explow.c */ |
0c20a65f | 1762 | extern HOST_WIDE_INT trunc_int_for_mode (HOST_WIDE_INT, enum machine_mode); |
0a81f074 | 1763 | extern rtx plus_constant (enum machine_mode, rtx, HOST_WIDE_INT); |
5f4f0e22 | 1764 | |
4eb00163 | 1765 | /* In rtl.c */ |
b9dcdee4 JH |
1766 | extern rtx rtx_alloc_stat (RTX_CODE MEM_STAT_DECL); |
1767 | #define rtx_alloc(c) rtx_alloc_stat (c MEM_STAT_INFO) | |
1768 | ||
0c20a65f | 1769 | extern rtvec rtvec_alloc (int); |
bd7960b1 | 1770 | extern rtvec shallow_copy_rtvec (rtvec); |
f7d504c2 | 1771 | extern bool shared_const_p (const_rtx); |
0c20a65f | 1772 | extern rtx copy_rtx (rtx); |
439a7e54 | 1773 | extern void dump_rtx_statistics (void); |
4eb00163 JO |
1774 | |
1775 | /* In emit-rtl.c */ | |
0c20a65f | 1776 | extern rtx copy_rtx_if_shared (rtx); |
4eb00163 JO |
1777 | |
1778 | /* In rtl.c */ | |
f7d504c2 KG |
1779 | extern unsigned int rtx_size (const_rtx); |
1780 | extern rtx shallow_copy_rtx_stat (const_rtx MEM_STAT_DECL); | |
b9dcdee4 | 1781 | #define shallow_copy_rtx(a) shallow_copy_rtx_stat (a MEM_STAT_INFO) |
f7d504c2 | 1782 | extern int rtx_equal_p (const_rtx, const_rtx); |
d95828db | 1783 | extern hashval_t iterative_hash_rtx (const_rtx, hashval_t); |
4eb00163 JO |
1784 | |
1785 | /* In emit-rtl.c */ | |
0c20a65f AJ |
1786 | extern rtvec gen_rtvec_v (int, rtx *); |
1787 | extern rtx gen_reg_rtx (enum machine_mode); | |
1788 | extern rtx gen_rtx_REG_offset (rtx, enum machine_mode, unsigned int, int); | |
e53a16e7 | 1789 | extern rtx gen_reg_rtx_offset (rtx, enum machine_mode, int); |
46b71b03 | 1790 | extern rtx gen_reg_rtx_and_attrs (rtx); |
0c20a65f | 1791 | extern rtx gen_label_rtx (void); |
0c20a65f | 1792 | extern rtx gen_lowpart_common (enum machine_mode, rtx); |
4eb00163 JO |
1793 | |
1794 | /* In cse.c */ | |
0c20a65f | 1795 | extern rtx gen_lowpart_if_possible (enum machine_mode, rtx); |
4eb00163 JO |
1796 | |
1797 | /* In emit-rtl.c */ | |
0c20a65f AJ |
1798 | extern rtx gen_highpart (enum machine_mode, rtx); |
1799 | extern rtx gen_highpart_mode (enum machine_mode, enum machine_mode, rtx); | |
0c20a65f | 1800 | extern rtx operand_subword (rtx, unsigned int, int, enum machine_mode); |
4eb00163 JO |
1801 | |
1802 | /* In emit-rtl.c */ | |
0c20a65f | 1803 | extern rtx operand_subword_force (rtx, unsigned int, enum machine_mode); |
6a4bdc79 | 1804 | extern bool paradoxical_subreg_p (const_rtx); |
fa233e34 | 1805 | extern int subreg_lowpart_p (const_rtx); |
0c20a65f AJ |
1806 | extern unsigned int subreg_lowpart_offset (enum machine_mode, |
1807 | enum machine_mode); | |
1808 | extern unsigned int subreg_highpart_offset (enum machine_mode, | |
1809 | enum machine_mode); | |
38ae7651 | 1810 | extern int byte_lowpart_offset (enum machine_mode, enum machine_mode); |
0c20a65f | 1811 | extern rtx make_safe_from (rtx, rtx); |
d4ebfa65 BE |
1812 | extern rtx convert_memory_address_addr_space (enum machine_mode, rtx, |
1813 | addr_space_t); | |
1814 | #define convert_memory_address(to_mode,x) \ | |
1815 | convert_memory_address_addr_space ((to_mode), (x), ADDR_SPACE_GENERIC) | |
0c20a65f | 1816 | extern const char *get_insn_name (int); |
0c20a65f AJ |
1817 | extern rtx get_last_insn_anywhere (void); |
1818 | extern rtx get_first_nonnote_insn (void); | |
1819 | extern rtx get_last_nonnote_insn (void); | |
1820 | extern void start_sequence (void); | |
1821 | extern void push_to_sequence (rtx); | |
bb27eeda | 1822 | extern void push_to_sequence2 (rtx, rtx); |
0c20a65f | 1823 | extern void end_sequence (void); |
3e93ff81 | 1824 | extern double_int rtx_to_double_int (const_rtx); |
54fb1ae0 | 1825 | extern rtx immed_double_int_const (double_int, enum machine_mode); |
0c20a65f AJ |
1826 | extern rtx immed_double_const (HOST_WIDE_INT, HOST_WIDE_INT, |
1827 | enum machine_mode); | |
550d1387 | 1828 | |
a82bbcbb ZD |
1829 | /* In loop-iv.c */ |
1830 | ||
1831 | extern rtx lowpart_subreg (enum machine_mode, rtx, enum machine_mode); | |
1832 | ||
550d1387 | 1833 | /* In varasm.c */ |
0c20a65f | 1834 | extern rtx force_const_mem (enum machine_mode, rtx); |
4eb00163 | 1835 | |
4eb00163 | 1836 | /* In varasm.c */ |
7e7ec48e ZW |
1837 | |
1838 | struct function; | |
0c20a65f AJ |
1839 | extern rtx get_pool_constant (rtx); |
1840 | extern rtx get_pool_constant_mark (rtx, bool *); | |
f7d504c2 | 1841 | extern enum machine_mode get_pool_mode (const_rtx); |
0c20a65f | 1842 | extern rtx simplify_subtraction (rtx); |
2c7eebae | 1843 | extern void decide_function_section (tree); |
4eb00163 JO |
1844 | |
1845 | /* In function.c */ | |
0c20a65f | 1846 | extern rtx assign_stack_local (enum machine_mode, HOST_WIDE_INT, int); |
80a832cd JJ |
1847 | #define ASLK_REDUCE_ALIGN 1 |
1848 | #define ASLK_RECORD_PAD 2 | |
1849 | extern rtx assign_stack_local_1 (enum machine_mode, HOST_WIDE_INT, int, int); | |
9474e8ab MM |
1850 | extern rtx assign_stack_temp (enum machine_mode, HOST_WIDE_INT); |
1851 | extern rtx assign_stack_temp_for_type (enum machine_mode, HOST_WIDE_INT, tree); | |
1852 | extern rtx assign_temp (tree, int, int); | |
fd3acbb3 | 1853 | |
4eb00163 | 1854 | /* In emit-rtl.c */ |
0c20a65f | 1855 | extern rtx emit_insn_before (rtx, rtx); |
b8244d74 | 1856 | extern rtx emit_insn_before_noloc (rtx, rtx, basic_block); |
0c20a65f AJ |
1857 | extern rtx emit_insn_before_setloc (rtx, rtx, int); |
1858 | extern rtx emit_jump_insn_before (rtx, rtx); | |
a7102479 | 1859 | extern rtx emit_jump_insn_before_noloc (rtx, rtx); |
0c20a65f AJ |
1860 | extern rtx emit_jump_insn_before_setloc (rtx, rtx, int); |
1861 | extern rtx emit_call_insn_before (rtx, rtx); | |
a7102479 | 1862 | extern rtx emit_call_insn_before_noloc (rtx, rtx); |
0c20a65f | 1863 | extern rtx emit_call_insn_before_setloc (rtx, rtx, int); |
b5b8b0ac AO |
1864 | extern rtx emit_debug_insn_before (rtx, rtx); |
1865 | extern rtx emit_debug_insn_before_noloc (rtx, rtx); | |
1866 | extern rtx emit_debug_insn_before_setloc (rtx, rtx, int); | |
0c20a65f AJ |
1867 | extern rtx emit_barrier_before (rtx); |
1868 | extern rtx emit_label_before (rtx, rtx); | |
a38e7aa5 | 1869 | extern rtx emit_note_before (enum insn_note, rtx); |
0c20a65f | 1870 | extern rtx emit_insn_after (rtx, rtx); |
b8244d74 | 1871 | extern rtx emit_insn_after_noloc (rtx, rtx, basic_block); |
0c20a65f AJ |
1872 | extern rtx emit_insn_after_setloc (rtx, rtx, int); |
1873 | extern rtx emit_jump_insn_after (rtx, rtx); | |
a7102479 | 1874 | extern rtx emit_jump_insn_after_noloc (rtx, rtx); |
0c20a65f AJ |
1875 | extern rtx emit_jump_insn_after_setloc (rtx, rtx, int); |
1876 | extern rtx emit_call_insn_after (rtx, rtx); | |
a7102479 | 1877 | extern rtx emit_call_insn_after_noloc (rtx, rtx); |
0c20a65f | 1878 | extern rtx emit_call_insn_after_setloc (rtx, rtx, int); |
b5b8b0ac AO |
1879 | extern rtx emit_debug_insn_after (rtx, rtx); |
1880 | extern rtx emit_debug_insn_after_noloc (rtx, rtx); | |
1881 | extern rtx emit_debug_insn_after_setloc (rtx, rtx, int); | |
0c20a65f AJ |
1882 | extern rtx emit_barrier_after (rtx); |
1883 | extern rtx emit_label_after (rtx, rtx); | |
a38e7aa5 | 1884 | extern rtx emit_note_after (enum insn_note, rtx); |
0c20a65f | 1885 | extern rtx emit_insn (rtx); |
b5b8b0ac | 1886 | extern rtx emit_debug_insn (rtx); |
0c20a65f AJ |
1887 | extern rtx emit_jump_insn (rtx); |
1888 | extern rtx emit_call_insn (rtx); | |
1889 | extern rtx emit_label (rtx); | |
39718607 | 1890 | extern rtx emit_jump_table_data (rtx); |
0c20a65f | 1891 | extern rtx emit_barrier (void); |
a38e7aa5 | 1892 | extern rtx emit_note (enum insn_note); |
0c20a65f | 1893 | extern rtx emit_note_copy (rtx); |
c41c1387 RS |
1894 | extern rtx gen_clobber (rtx); |
1895 | extern rtx emit_clobber (rtx); | |
1896 | extern rtx gen_use (rtx); | |
1897 | extern rtx emit_use (rtx); | |
0c20a65f AJ |
1898 | extern rtx make_insn_raw (rtx); |
1899 | extern void add_function_usage_to (rtx, rtx); | |
1900 | extern rtx last_call_insn (void); | |
1901 | extern rtx previous_insn (rtx); | |
1902 | extern rtx next_insn (rtx); | |
1903 | extern rtx prev_nonnote_insn (rtx); | |
896aa4ea | 1904 | extern rtx prev_nonnote_insn_bb (rtx); |
0c20a65f | 1905 | extern rtx next_nonnote_insn (rtx); |
1e211590 | 1906 | extern rtx next_nonnote_insn_bb (rtx); |
b5b8b0ac AO |
1907 | extern rtx prev_nondebug_insn (rtx); |
1908 | extern rtx next_nondebug_insn (rtx); | |
f0fc0803 JJ |
1909 | extern rtx prev_nonnote_nondebug_insn (rtx); |
1910 | extern rtx next_nonnote_nondebug_insn (rtx); | |
0c20a65f AJ |
1911 | extern rtx prev_real_insn (rtx); |
1912 | extern rtx next_real_insn (rtx); | |
1913 | extern rtx prev_active_insn (rtx); | |
1914 | extern rtx next_active_insn (rtx); | |
4f588890 | 1915 | extern int active_insn_p (const_rtx); |
0c20a65f AJ |
1916 | extern rtx next_cc0_user (rtx); |
1917 | extern rtx prev_cc0_setter (rtx); | |
4eb00163 | 1918 | |
78bde837 | 1919 | /* In emit-rtl.c */ |
f7d504c2 KG |
1920 | extern int insn_line (const_rtx); |
1921 | extern const char * insn_file (const_rtx); | |
78bde837 | 1922 | extern tree insn_scope (const_rtx); |
5368224f | 1923 | extern location_t prologue_location, epilogue_location; |
1292ec0c | 1924 | |
4eb00163 | 1925 | /* In jump.c */ |
0c20a65f AJ |
1926 | extern enum rtx_code reverse_condition (enum rtx_code); |
1927 | extern enum rtx_code reverse_condition_maybe_unordered (enum rtx_code); | |
1928 | extern enum rtx_code swap_condition (enum rtx_code); | |
1929 | extern enum rtx_code unsigned_condition (enum rtx_code); | |
1930 | extern enum rtx_code signed_condition (enum rtx_code); | |
1931 | extern void mark_jump_label (rtx, rtx, int); | |
4eb00163 | 1932 | |
4eb00163 | 1933 | /* In jump.c */ |
0c20a65f | 1934 | extern rtx delete_related_insns (rtx); |
4eb00163 JO |
1935 | |
1936 | /* In recog.c */ | |
0c20a65f | 1937 | extern rtx *find_constant_term_loc (rtx *); |
4eb00163 JO |
1938 | |
1939 | /* In emit-rtl.c */ | |
0c20a65f | 1940 | extern rtx try_split (rtx, rtx, int); |
6b24c259 | 1941 | extern int split_branch_probability; |
4eb00163 JO |
1942 | |
1943 | /* In unknown file */ | |
0c20a65f | 1944 | extern rtx split_insns (rtx, rtx); |
4eb00163 JO |
1945 | |
1946 | /* In simplify-rtx.c */ | |
0a67e02c PB |
1947 | extern rtx simplify_const_unary_operation (enum rtx_code, enum machine_mode, |
1948 | rtx, enum machine_mode); | |
0c20a65f AJ |
1949 | extern rtx simplify_unary_operation (enum rtx_code, enum machine_mode, rtx, |
1950 | enum machine_mode); | |
0a67e02c PB |
1951 | extern rtx simplify_const_binary_operation (enum rtx_code, enum machine_mode, |
1952 | rtx, rtx); | |
0c20a65f AJ |
1953 | extern rtx simplify_binary_operation (enum rtx_code, enum machine_mode, rtx, |
1954 | rtx); | |
1955 | extern rtx simplify_ternary_operation (enum rtx_code, enum machine_mode, | |
1956 | enum machine_mode, rtx, rtx, rtx); | |
7ce3e360 RS |
1957 | extern rtx simplify_const_relational_operation (enum rtx_code, |
1958 | enum machine_mode, rtx, rtx); | |
0c20a65f | 1959 | extern rtx simplify_relational_operation (enum rtx_code, enum machine_mode, |
7ce3e360 | 1960 | enum machine_mode, rtx, rtx); |
0c20a65f AJ |
1961 | extern rtx simplify_gen_binary (enum rtx_code, enum machine_mode, rtx, rtx); |
1962 | extern rtx simplify_gen_unary (enum rtx_code, enum machine_mode, rtx, | |
1963 | enum machine_mode); | |
1964 | extern rtx simplify_gen_ternary (enum rtx_code, enum machine_mode, | |
1965 | enum machine_mode, rtx, rtx, rtx); | |
1966 | extern rtx simplify_gen_relational (enum rtx_code, enum machine_mode, | |
1967 | enum machine_mode, rtx, rtx); | |
1968 | extern rtx simplify_subreg (enum machine_mode, rtx, enum machine_mode, | |
1969 | unsigned int); | |
1970 | extern rtx simplify_gen_subreg (enum machine_mode, rtx, enum machine_mode, | |
1971 | unsigned int); | |
3af4ba41 | 1972 | extern rtx simplify_replace_fn_rtx (rtx, const_rtx, |
457eeaae | 1973 | rtx (*fn) (rtx, const_rtx, void *), void *); |
f7d504c2 | 1974 | extern rtx simplify_replace_rtx (rtx, const_rtx, rtx); |
58f9752a | 1975 | extern rtx simplify_rtx (const_rtx); |
0c20a65f | 1976 | extern rtx avoid_constant_pool_reference (rtx); |
b5b8b0ac | 1977 | extern rtx delegitimize_mem_from_attrs (rtx); |
f7d504c2 | 1978 | extern bool mode_signbit_p (enum machine_mode, const_rtx); |
2d0c270f BS |
1979 | extern bool val_signbit_p (enum machine_mode, unsigned HOST_WIDE_INT); |
1980 | extern bool val_signbit_known_set_p (enum machine_mode, | |
1981 | unsigned HOST_WIDE_INT); | |
1982 | extern bool val_signbit_known_clear_p (enum machine_mode, | |
1983 | unsigned HOST_WIDE_INT); | |
4eb00163 | 1984 | |
328e13b7 | 1985 | /* In reginfo.c */ |
fee226d2 R |
1986 | extern enum machine_mode choose_hard_reg_mode (unsigned int, unsigned int, |
1987 | bool); | |
4eb00163 JO |
1988 | |
1989 | /* In emit-rtl.c */ | |
0c20a65f | 1990 | extern rtx set_unique_reg_note (rtx, enum reg_note, rtx); |
7543f918 | 1991 | extern rtx set_dst_reg_note (rtx, enum reg_note, rtx, rtx); |
6fb5fa3c | 1992 | extern void set_insn_deleted (rtx); |
9ae8ffe7 | 1993 | |
e9a25f70 JL |
1994 | /* Functions in rtlanal.c */ |
1995 | ||
b1cdafbb JH |
1996 | /* Single set is implemented as macro for performance reasons. */ |
1997 | #define single_set(I) (INSN_P (I) \ | |
1998 | ? (GET_CODE (PATTERN (I)) == SET \ | |
1999 | ? PATTERN (I) : single_set_1 (I)) \ | |
2000 | : NULL_RTX) | |
2130b7fb | 2001 | #define single_set_1(I) single_set_2 (I, PATTERN (I)) |
b1cdafbb | 2002 | |
39811184 | 2003 | /* Structure used for passing data to REPLACE_LABEL. */ |
84562394 | 2004 | struct replace_label_data |
39811184 JZ |
2005 | { |
2006 | rtx r1; | |
2007 | rtx r2; | |
4af16369 | 2008 | bool update_label_nuses; |
84562394 | 2009 | }; |
39811184 | 2010 | |
372d6395 | 2011 | extern enum machine_mode get_address_mode (rtx mem); |
f7d504c2 KG |
2012 | extern int rtx_addr_can_trap_p (const_rtx); |
2013 | extern bool nonzero_address_p (const_rtx); | |
2014 | extern int rtx_unstable_p (const_rtx); | |
4f588890 KG |
2015 | extern bool rtx_varies_p (const_rtx, bool); |
2016 | extern bool rtx_addr_varies_p (const_rtx, bool); | |
da4fdf2d | 2017 | extern rtx get_call_rtx_from (rtx); |
f7d504c2 KG |
2018 | extern HOST_WIDE_INT get_integer_term (const_rtx); |
2019 | extern rtx get_related_value (const_rtx); | |
2020 | extern bool offset_within_block_p (const_rtx, HOST_WIDE_INT); | |
7ffb5e78 | 2021 | extern void split_const (rtx, rtx *, rtx *); |
7bc14a04 | 2022 | extern bool unsigned_reg_p (rtx); |
f7d504c2 KG |
2023 | extern int reg_mentioned_p (const_rtx, const_rtx); |
2024 | extern int count_occurrences (const_rtx, const_rtx, int); | |
2025 | extern int reg_referenced_p (const_rtx, const_rtx); | |
2026 | extern int reg_used_between_p (const_rtx, const_rtx, const_rtx); | |
ed7a4b4b | 2027 | extern int reg_set_between_p (const_rtx, const_rtx, const_rtx); |
0c20a65f | 2028 | extern int commutative_operand_precedence (rtx); |
7e0b4eae | 2029 | extern bool swap_commutative_operands_p (rtx, rtx); |
9678086d | 2030 | extern int modified_between_p (const_rtx, const_rtx, const_rtx); |
f7d504c2 | 2031 | extern int no_labels_between_p (const_rtx, const_rtx); |
9678086d | 2032 | extern int modified_in_p (const_rtx, const_rtx); |
ed7a4b4b | 2033 | extern int reg_set_p (const_rtx, const_rtx); |
f7d504c2 KG |
2034 | extern rtx single_set_2 (const_rtx, const_rtx); |
2035 | extern int multiple_sets (const_rtx); | |
2036 | extern int set_noop_p (const_rtx); | |
fa233e34 | 2037 | extern int noop_move_p (const_rtx); |
0c20a65f | 2038 | extern rtx find_last_value (rtx, rtx *, rtx, int); |
f7d504c2 KG |
2039 | extern int refers_to_regno_p (unsigned int, unsigned int, const_rtx, rtx *); |
2040 | extern int reg_overlap_mentioned_p (const_rtx, const_rtx); | |
7bc980e1 | 2041 | extern const_rtx set_of (const_rtx, const_rtx); |
e2724e63 BS |
2042 | extern void record_hard_reg_sets (rtx, const_rtx, void *); |
2043 | extern void record_hard_reg_uses (rtx *, void *); | |
2044 | #ifdef HARD_CONST | |
2045 | extern void find_all_hard_reg_sets (const_rtx, HARD_REG_SET *); | |
2046 | #endif | |
7bc980e1 | 2047 | extern void note_stores (const_rtx, void (*) (rtx, const_rtx, void *), void *); |
0c20a65f | 2048 | extern void note_uses (rtx *, void (*) (rtx *, void *), void *); |
f7d504c2 KG |
2049 | extern int dead_or_set_p (const_rtx, const_rtx); |
2050 | extern int dead_or_set_regno_p (const_rtx, unsigned int); | |
2051 | extern rtx find_reg_note (const_rtx, enum reg_note, const_rtx); | |
2052 | extern rtx find_regno_note (const_rtx, enum reg_note, unsigned int); | |
2053 | extern rtx find_reg_equal_equiv_note (const_rtx); | |
2054 | extern rtx find_constant_src (const_rtx); | |
2055 | extern int find_reg_fusage (const_rtx, enum rtx_code, const_rtx); | |
2056 | extern int find_regno_fusage (const_rtx, enum rtx_code, unsigned int); | |
efc0b2bd | 2057 | extern rtx alloc_reg_note (enum reg_note, rtx, rtx); |
65c5f2a6 | 2058 | extern void add_reg_note (rtx, enum reg_note, rtx); |
e5af9ddd RS |
2059 | extern void add_int_reg_note (rtx, enum reg_note, int); |
2060 | extern void add_shallow_copy_of_reg_note (rtx, rtx); | |
f7d504c2 | 2061 | extern void remove_note (rtx, const_rtx); |
7cd689bc | 2062 | extern void remove_reg_equal_equiv_notes (rtx); |
885c9b5d | 2063 | extern void remove_reg_equal_equiv_notes_for_regno (unsigned int); |
f7d504c2 KG |
2064 | extern int side_effects_p (const_rtx); |
2065 | extern int volatile_refs_p (const_rtx); | |
2066 | extern int volatile_insn_p (const_rtx); | |
215b063c | 2067 | extern int may_trap_p_1 (const_rtx, unsigned); |
f7d504c2 | 2068 | extern int may_trap_p (const_rtx); |
f7d504c2 | 2069 | extern int may_trap_or_fault_p (const_rtx); |
1d65f45c RH |
2070 | extern bool can_throw_internal (const_rtx); |
2071 | extern bool can_throw_external (const_rtx); | |
2072 | extern bool insn_could_throw_p (const_rtx); | |
2073 | extern bool insn_nothrow_p (const_rtx); | |
2074 | extern bool can_nonlocal_goto (const_rtx); | |
2075 | extern void copy_reg_eh_region_note_forward (rtx, rtx, rtx); | |
c3284718 | 2076 | extern void copy_reg_eh_region_note_backward (rtx, rtx, rtx); |
f7d504c2 | 2077 | extern int inequality_comparisons_p (const_rtx); |
0c20a65f | 2078 | extern rtx replace_rtx (rtx, rtx, rtx); |
0c20a65f AJ |
2079 | extern int replace_label (rtx *, void *); |
2080 | extern int rtx_referenced_p (rtx, rtx); | |
f7d504c2 KG |
2081 | extern bool tablejump_p (const_rtx, rtx *, rtx *); |
2082 | extern int computed_jump_p (const_rtx); | |
e855c69d | 2083 | |
0c20a65f AJ |
2084 | typedef int (*rtx_function) (rtx *, void *); |
2085 | extern int for_each_rtx (rtx *, rtx_function, void *); | |
e855c69d | 2086 | |
4deef538 AO |
2087 | /* Callback for for_each_inc_dec, to process the autoinc operation OP |
2088 | within MEM that sets DEST to SRC + SRCOFF, or SRC if SRCOFF is | |
2089 | NULL. The callback is passed the same opaque ARG passed to | |
2090 | for_each_inc_dec. Return zero to continue looking for other | |
2091 | autoinc operations, -1 to skip OP's operands, and any other value | |
2092 | to interrupt the traversal and return that value to the caller of | |
2093 | for_each_inc_dec. */ | |
2094 | typedef int (*for_each_inc_dec_fn) (rtx mem, rtx op, rtx dest, rtx src, | |
2095 | rtx srcoff, void *arg); | |
2096 | extern int for_each_inc_dec (rtx *, for_each_inc_dec_fn, void *arg); | |
2097 | ||
e855c69d AB |
2098 | typedef int (*rtx_equal_p_callback_function) (const_rtx *, const_rtx *, |
2099 | rtx *, rtx *); | |
2100 | extern int rtx_equal_p_cb (const_rtx, const_rtx, | |
2101 | rtx_equal_p_callback_function); | |
2102 | ||
2103 | typedef int (*hash_rtx_callback_function) (const_rtx, enum machine_mode, rtx *, | |
2104 | enum machine_mode *); | |
2105 | extern unsigned hash_rtx_cb (const_rtx, enum machine_mode, int *, int *, | |
2106 | bool, hash_rtx_callback_function); | |
2107 | ||
0c20a65f | 2108 | extern rtx regno_use_in (unsigned int, rtx); |
f7d504c2 KG |
2109 | extern int auto_inc_p (const_rtx); |
2110 | extern int in_expr_list_p (const_rtx, const_rtx); | |
2111 | extern void remove_node_from_expr_list (const_rtx, rtx *); | |
2112 | extern int loc_mentioned_in_p (rtx *, const_rtx); | |
0c20a65f | 2113 | extern rtx find_first_parameter_load (rtx, rtx); |
9678086d | 2114 | extern bool keep_with_call_p (const_rtx); |
f7d504c2 | 2115 | extern bool label_is_jump_target_p (const_rtx, const_rtx); |
f40751dd | 2116 | extern int insn_rtx_cost (rtx, bool); |
6f29feb1 | 2117 | |
75473b02 SB |
2118 | /* Given an insn and condition, return a canonical description of |
2119 | the test being made. */ | |
2120 | extern rtx canonicalize_condition (rtx, rtx, int, rtx *, rtx, int, int); | |
2121 | ||
2122 | /* Given a JUMP_INSN, return a canonical description of the test | |
2123 | being made. */ | |
2124 | extern rtx get_condition (rtx, rtx *, int, int); | |
2125 | ||
c619e982 L |
2126 | /* Information about a subreg of a hard register. */ |
2127 | struct subreg_info | |
2128 | { | |
2129 | /* Offset of first hard register involved in the subreg. */ | |
2130 | int offset; | |
2131 | /* Number of hard registers involved in the subreg. */ | |
2132 | int nregs; | |
2133 | /* Whether this subreg can be represented as a hard reg with the new | |
2134 | mode. */ | |
2135 | bool representable_p; | |
2136 | }; | |
2137 | ||
2138 | extern void subreg_get_info (unsigned int, enum machine_mode, | |
2139 | unsigned int, enum machine_mode, | |
2140 | struct subreg_info *); | |
2141 | ||
e2500fed GK |
2142 | /* lists.c */ |
2143 | ||
e2724e63 BS |
2144 | extern void free_EXPR_LIST_list (rtx *); |
2145 | extern void free_INSN_LIST_list (rtx *); | |
2146 | extern void free_EXPR_LIST_node (rtx); | |
2147 | extern void free_INSN_LIST_node (rtx); | |
2148 | extern rtx alloc_INSN_LIST (rtx, rtx); | |
2149 | extern rtx copy_INSN_LIST (rtx); | |
2150 | extern rtx concat_INSN_LIST (rtx, rtx); | |
2151 | extern rtx alloc_EXPR_LIST (int, rtx, rtx); | |
e855c69d AB |
2152 | extern void remove_free_INSN_LIST_elem (rtx, rtx *); |
2153 | extern rtx remove_list_elem (rtx, rtx *); | |
2154 | extern rtx remove_free_INSN_LIST_node (rtx *); | |
2155 | extern rtx remove_free_EXPR_LIST_node (rtx *); | |
2156 | ||
ae0b51ef | 2157 | |
328e13b7 | 2158 | /* reginfo.c */ |
ae0b51ef | 2159 | |
058e97ec | 2160 | /* Resize reg info. */ |
ce18efcb | 2161 | extern bool resize_reg_info (void); |
e0c6d139 | 2162 | /* Free up register info memory. */ |
0c20a65f | 2163 | extern void free_reg_info (void); |
1833192f VM |
2164 | extern void init_subregs_of_mode (void); |
2165 | extern void finish_subregs_of_mode (void); | |
e0c6d139 | 2166 | |
ae0b51ef | 2167 | /* recog.c */ |
1c384bf1 | 2168 | extern rtx extract_asm_operands (rtx); |
4f588890 | 2169 | extern int asm_noperands (const_rtx); |
0c20a65f | 2170 | extern const char *decode_asm_operands (rtx, rtx *, rtx **, const char **, |
bff4b63d | 2171 | enum machine_mode *, location_t *); |
6f29feb1 | 2172 | |
0c20a65f AJ |
2173 | extern enum reg_class reg_preferred_class (int); |
2174 | extern enum reg_class reg_alternate_class (int); | |
1756cb66 | 2175 | extern enum reg_class reg_allocno_class (int); |
ce18efcb VM |
2176 | extern void setup_reg_classes (int, enum reg_class, enum reg_class, |
2177 | enum reg_class); | |
6f29feb1 | 2178 | |
6fb5fa3c | 2179 | extern void split_all_insns (void); |
c2924966 | 2180 | extern unsigned int split_all_insns_noflow (void); |
6a73406e | 2181 | |
68d75312 | 2182 | #define MAX_SAVED_CONST_INT 64 |
e2500fed | 2183 | extern GTY(()) rtx const_int_rtx[MAX_SAVED_CONST_INT * 2 + 1]; |
68d75312 | 2184 | |
5da077de AS |
2185 | #define const0_rtx (const_int_rtx[MAX_SAVED_CONST_INT]) |
2186 | #define const1_rtx (const_int_rtx[MAX_SAVED_CONST_INT+1]) | |
2187 | #define const2_rtx (const_int_rtx[MAX_SAVED_CONST_INT+2]) | |
2188 | #define constm1_rtx (const_int_rtx[MAX_SAVED_CONST_INT-1]) | |
e2500fed | 2189 | extern GTY(()) rtx const_true_rtx; |
a8efe40d | 2190 | |
e7c82a99 | 2191 | extern GTY(()) rtx const_tiny_rtx[4][(int) MAX_MACHINE_MODE]; |
a8efe40d | 2192 | |
f590cca1 | 2193 | /* Returns a constant 0 rtx in mode MODE. Integer modes are treated the |
a8efe40d RK |
2194 | same as VOIDmode. */ |
2195 | ||
2196 | #define CONST0_RTX(MODE) (const_tiny_rtx[0][(int) (MODE)]) | |
2197 | ||
e7c82a99 | 2198 | /* Likewise, for the constants 1 and 2 and -1. */ |
a8efe40d RK |
2199 | |
2200 | #define CONST1_RTX(MODE) (const_tiny_rtx[1][(int) (MODE)]) | |
2201 | #define CONST2_RTX(MODE) (const_tiny_rtx[2][(int) (MODE)]) | |
e7c82a99 | 2202 | #define CONSTM1_RTX(MODE) (const_tiny_rtx[3][(int) (MODE)]) |
6f29feb1 | 2203 | |
788284ef RS |
2204 | extern GTY(()) rtx pc_rtx; |
2205 | extern GTY(()) rtx cc0_rtx; | |
2206 | extern GTY(()) rtx ret_rtx; | |
2207 | extern GTY(()) rtx simple_return_rtx; | |
ca4adc91 | 2208 | |
5da077de AS |
2209 | /* If HARD_FRAME_POINTER_REGNUM is defined, then a special dummy reg |
2210 | is used to represent the frame pointer. This is because the | |
2211 | hard frame pointer and the automatic variables are separated by an amount | |
2212 | that cannot be determined until after register allocation. We can assume | |
2213 | that in this case ELIMINABLE_REGS will be defined, one action of which | |
eebedaa5 | 2214 | will be to eliminate FRAME_POINTER_REGNUM into HARD_FRAME_POINTER_REGNUM. */ |
5da077de AS |
2215 | #ifndef HARD_FRAME_POINTER_REGNUM |
2216 | #define HARD_FRAME_POINTER_REGNUM FRAME_POINTER_REGNUM | |
2217 | #endif | |
2218 | ||
e3339d0f JM |
2219 | #ifndef HARD_FRAME_POINTER_IS_FRAME_POINTER |
2220 | #define HARD_FRAME_POINTER_IS_FRAME_POINTER \ | |
2221 | (HARD_FRAME_POINTER_REGNUM == FRAME_POINTER_REGNUM) | |
2222 | #endif | |
2223 | ||
2224 | #ifndef HARD_FRAME_POINTER_IS_ARG_POINTER | |
2225 | #define HARD_FRAME_POINTER_IS_ARG_POINTER \ | |
2226 | (HARD_FRAME_POINTER_REGNUM == ARG_POINTER_REGNUM) | |
2227 | #endif | |
2228 | ||
5da077de AS |
2229 | /* Index labels for global_rtl. */ |
2230 | enum global_rtl_index | |
68d75312 | 2231 | { |
5da077de AS |
2232 | GR_STACK_POINTER, |
2233 | GR_FRAME_POINTER, | |
2234 | /* For register elimination to work properly these hard_frame_pointer_rtx, | |
2235 | frame_pointer_rtx, and arg_pointer_rtx must be the same if they refer to | |
2236 | the same register. */ | |
2237 | #if FRAME_POINTER_REGNUM == ARG_POINTER_REGNUM | |
2238 | GR_ARG_POINTER = GR_FRAME_POINTER, | |
2239 | #endif | |
e3339d0f | 2240 | #if HARD_FRAME_POINTER_IS_FRAME_POINTER |
5da077de AS |
2241 | GR_HARD_FRAME_POINTER = GR_FRAME_POINTER, |
2242 | #else | |
2243 | GR_HARD_FRAME_POINTER, | |
2244 | #endif | |
2245 | #if FRAME_POINTER_REGNUM != ARG_POINTER_REGNUM | |
e3339d0f | 2246 | #if HARD_FRAME_POINTER_IS_ARG_POINTER |
5da077de AS |
2247 | GR_ARG_POINTER = GR_HARD_FRAME_POINTER, |
2248 | #else | |
2249 | GR_ARG_POINTER, | |
2250 | #endif | |
2251 | #endif | |
2252 | GR_VIRTUAL_INCOMING_ARGS, | |
2253 | GR_VIRTUAL_STACK_ARGS, | |
2254 | GR_VIRTUAL_STACK_DYNAMIC, | |
2255 | GR_VIRTUAL_OUTGOING_ARGS, | |
2256 | GR_VIRTUAL_CFA, | |
32990d5b | 2257 | GR_VIRTUAL_PREFERRED_STACK_BOUNDARY, |
5da077de AS |
2258 | |
2259 | GR_MAX | |
2260 | }; | |
2261 | ||
5fb0e246 RS |
2262 | /* Target-dependent globals. */ |
2263 | struct GTY(()) target_rtl { | |
2264 | /* All references to the hard registers in global_rtl_index go through | |
2265 | these unique rtl objects. On machines where the frame-pointer and | |
2266 | arg-pointer are the same register, they use the same unique object. | |
2267 | ||
2268 | After register allocation, other rtl objects which used to be pseudo-regs | |
2269 | may be clobbered to refer to the frame-pointer register. | |
2270 | But references that were originally to the frame-pointer can be | |
2271 | distinguished from the others because they contain frame_pointer_rtx. | |
2272 | ||
2273 | When to use frame_pointer_rtx and hard_frame_pointer_rtx is a little | |
2274 | tricky: until register elimination has taken place hard_frame_pointer_rtx | |
2275 | should be used if it is being set, and frame_pointer_rtx otherwise. After | |
2276 | register elimination hard_frame_pointer_rtx should always be used. | |
2277 | On machines where the two registers are same (most) then these are the | |
2278 | same. */ | |
2279 | rtx x_global_rtl[GR_MAX]; | |
2280 | ||
2281 | /* A unique representation of (REG:Pmode PIC_OFFSET_TABLE_REGNUM). */ | |
2282 | rtx x_pic_offset_table_rtx; | |
2283 | ||
2284 | /* A unique representation of (REG:Pmode RETURN_ADDRESS_POINTER_REGNUM). | |
2285 | This is used to implement __builtin_return_address for some machines; | |
2286 | see for instance the MIPS port. */ | |
2287 | rtx x_return_address_pointer_rtx; | |
2288 | ||
2289 | /* Commonly used RTL for hard registers. These objects are not | |
2290 | necessarily unique, so we allocate them separately from global_rtl. | |
2291 | They are initialized once per compilation unit, then copied into | |
2292 | regno_reg_rtx at the beginning of each function. */ | |
2293 | rtx x_initial_regno_reg_rtx[FIRST_PSEUDO_REGISTER]; | |
360d045b RS |
2294 | |
2295 | /* A sample (mem:M stack_pointer_rtx) rtx for each mode M. */ | |
2296 | rtx x_top_of_stack[MAX_MACHINE_MODE]; | |
7bf84454 RS |
2297 | |
2298 | /* Static hunks of RTL used by the aliasing code; these are treated | |
2299 | as persistent to avoid unnecessary RTL allocations. */ | |
2300 | rtx x_static_reg_base_value[FIRST_PSEUDO_REGISTER]; | |
1c3f523e RS |
2301 | |
2302 | /* The default memory attributes for each mode. */ | |
2303 | struct mem_attrs *x_mode_mem_attrs[(int) MAX_MACHINE_MODE]; | |
5fb0e246 RS |
2304 | }; |
2305 | ||
2306 | extern GTY(()) struct target_rtl default_target_rtl; | |
2307 | #if SWITCHABLE_TARGET | |
2308 | extern struct target_rtl *this_target_rtl; | |
2309 | #else | |
2310 | #define this_target_rtl (&default_target_rtl) | |
2311 | #endif | |
2312 | ||
2313 | #define global_rtl \ | |
2314 | (this_target_rtl->x_global_rtl) | |
2315 | #define pic_offset_table_rtx \ | |
2316 | (this_target_rtl->x_pic_offset_table_rtx) | |
2317 | #define return_address_pointer_rtx \ | |
2318 | (this_target_rtl->x_return_address_pointer_rtx) | |
360d045b RS |
2319 | #define top_of_stack \ |
2320 | (this_target_rtl->x_top_of_stack) | |
1c3f523e RS |
2321 | #define mode_mem_attrs \ |
2322 | (this_target_rtl->x_mode_mem_attrs) | |
5da077de | 2323 | |
6f29feb1 JW |
2324 | /* All references to certain hard regs, except those created |
2325 | by allocating pseudo regs into them (when that's possible), | |
2326 | go through these unique rtx objects. */ | |
5da077de AS |
2327 | #define stack_pointer_rtx (global_rtl[GR_STACK_POINTER]) |
2328 | #define frame_pointer_rtx (global_rtl[GR_FRAME_POINTER]) | |
2329 | #define hard_frame_pointer_rtx (global_rtl[GR_HARD_FRAME_POINTER]) | |
2330 | #define arg_pointer_rtx (global_rtl[GR_ARG_POINTER]) | |
68d75312 | 2331 | |
1c3f523e RS |
2332 | #ifndef GENERATOR_FILE |
2333 | /* Return the attributes of a MEM rtx. */ | |
2334 | static inline struct mem_attrs * | |
2335 | get_mem_attrs (const_rtx x) | |
2336 | { | |
2337 | struct mem_attrs *attrs; | |
2338 | ||
2339 | attrs = MEM_ATTRS (x); | |
2340 | if (!attrs) | |
2341 | attrs = mode_mem_attrs[(int) GET_MODE (x)]; | |
2342 | return attrs; | |
2343 | } | |
2344 | #endif | |
2345 | ||
3b80f6ca RH |
2346 | /* Include the RTL generation functions. */ |
2347 | ||
7e7ec48e | 2348 | #ifndef GENERATOR_FILE |
3b80f6ca | 2349 | #include "genrtl.h" |
bff4b63d | 2350 | #undef gen_rtx_ASM_INPUT |
bff4b63d AO |
2351 | #define gen_rtx_ASM_INPUT(MODE, ARG0) \ |
2352 | gen_rtx_fmt_si (ASM_INPUT, (MODE), (ARG0), 0) | |
2353 | #define gen_rtx_ASM_INPUT_loc(MODE, ARG0, LOC) \ | |
2354 | gen_rtx_fmt_si (ASM_INPUT, (MODE), (ARG0), (LOC)) | |
3b80f6ca RH |
2355 | #endif |
2356 | ||
41472af8 MM |
2357 | /* There are some RTL codes that require special attention; the |
2358 | generation functions included above do the raw handling. If you | |
a2a8cc44 | 2359 | add to this list, modify special_rtx in gengenrtl.c as well. */ |
3b80f6ca | 2360 | |
0c20a65f AJ |
2361 | extern rtx gen_rtx_CONST_INT (enum machine_mode, HOST_WIDE_INT); |
2362 | extern rtx gen_rtx_CONST_VECTOR (enum machine_mode, rtvec); | |
2363 | extern rtx gen_raw_REG (enum machine_mode, int); | |
2364 | extern rtx gen_rtx_REG (enum machine_mode, unsigned); | |
2365 | extern rtx gen_rtx_SUBREG (enum machine_mode, rtx, int); | |
2366 | extern rtx gen_rtx_MEM (enum machine_mode, rtx); | |
3b80f6ca | 2367 | |
3e95a7cb | 2368 | #define GEN_INT(N) gen_rtx_CONST_INT (VOIDmode, (N)) |
3b80f6ca | 2369 | |
6f29feb1 JW |
2370 | /* Virtual registers are used during RTL generation to refer to locations into |
2371 | the stack frame when the actual location isn't known until RTL generation | |
2372 | is complete. The routine instantiate_virtual_regs replaces these with | |
2373 | the proper value, which is normally {frame,arg,stack}_pointer_rtx plus | |
2374 | a constant. */ | |
2375 | ||
2376 | #define FIRST_VIRTUAL_REGISTER (FIRST_PSEUDO_REGISTER) | |
2377 | ||
2378 | /* This points to the first word of the incoming arguments passed on the stack, | |
2379 | either by the caller or by the callee when pretending it was passed by the | |
2380 | caller. */ | |
2381 | ||
5da077de | 2382 | #define virtual_incoming_args_rtx (global_rtl[GR_VIRTUAL_INCOMING_ARGS]) |
6f29feb1 JW |
2383 | |
2384 | #define VIRTUAL_INCOMING_ARGS_REGNUM (FIRST_VIRTUAL_REGISTER) | |
2385 | ||
60343c3b | 2386 | /* If FRAME_GROWS_DOWNWARD, this points to immediately above the first |
6f29feb1 JW |
2387 | variable on the stack. Otherwise, it points to the first variable on |
2388 | the stack. */ | |
2389 | ||
5da077de | 2390 | #define virtual_stack_vars_rtx (global_rtl[GR_VIRTUAL_STACK_ARGS]) |
6f29feb1 JW |
2391 | |
2392 | #define VIRTUAL_STACK_VARS_REGNUM ((FIRST_VIRTUAL_REGISTER) + 1) | |
2393 | ||
2394 | /* This points to the location of dynamically-allocated memory on the stack | |
2395 | immediately after the stack pointer has been adjusted by the amount | |
2396 | desired. */ | |
2397 | ||
5da077de | 2398 | #define virtual_stack_dynamic_rtx (global_rtl[GR_VIRTUAL_STACK_DYNAMIC]) |
6f29feb1 JW |
2399 | |
2400 | #define VIRTUAL_STACK_DYNAMIC_REGNUM ((FIRST_VIRTUAL_REGISTER) + 2) | |
2401 | ||
2402 | /* This points to the location in the stack at which outgoing arguments should | |
2403 | be written when the stack is pre-pushed (arguments pushed using push | |
2404 | insns always use sp). */ | |
2405 | ||
5da077de | 2406 | #define virtual_outgoing_args_rtx (global_rtl[GR_VIRTUAL_OUTGOING_ARGS]) |
6f29feb1 JW |
2407 | |
2408 | #define VIRTUAL_OUTGOING_ARGS_REGNUM ((FIRST_VIRTUAL_REGISTER) + 3) | |
2409 | ||
71038426 | 2410 | /* This points to the Canonical Frame Address of the function. This |
14b493d6 | 2411 | should correspond to the CFA produced by INCOMING_FRAME_SP_OFFSET, |
71038426 | 2412 | but is calculated relative to the arg pointer for simplicity; the |
f590cca1 | 2413 | frame pointer nor stack pointer are necessarily fixed relative to |
71038426 RH |
2414 | the CFA until after reload. */ |
2415 | ||
5da077de | 2416 | #define virtual_cfa_rtx (global_rtl[GR_VIRTUAL_CFA]) |
71038426 RH |
2417 | |
2418 | #define VIRTUAL_CFA_REGNUM ((FIRST_VIRTUAL_REGISTER) + 4) | |
2419 | ||
32990d5b JJ |
2420 | #define LAST_VIRTUAL_POINTER_REGISTER ((FIRST_VIRTUAL_REGISTER) + 4) |
2421 | ||
2422 | /* This is replaced by crtl->preferred_stack_boundary / BITS_PER_UNIT | |
2423 | when finalized. */ | |
2424 | ||
2425 | #define virtual_preferred_stack_boundary_rtx \ | |
2426 | (global_rtl[GR_VIRTUAL_PREFERRED_STACK_BOUNDARY]) | |
2427 | ||
2428 | #define VIRTUAL_PREFERRED_STACK_BOUNDARY_REGNUM \ | |
2429 | ((FIRST_VIRTUAL_REGISTER) + 5) | |
2430 | ||
2431 | #define LAST_VIRTUAL_REGISTER ((FIRST_VIRTUAL_REGISTER) + 5) | |
6f29feb1 | 2432 | |
a06ef755 | 2433 | /* Nonzero if REGNUM is a pointer into the stack frame. */ |
3d7aafde | 2434 | #define REGNO_PTR_FRAME_P(REGNUM) \ |
a06ef755 RK |
2435 | ((REGNUM) == STACK_POINTER_REGNUM \ |
2436 | || (REGNUM) == FRAME_POINTER_REGNUM \ | |
2437 | || (REGNUM) == HARD_FRAME_POINTER_REGNUM \ | |
2438 | || (REGNUM) == ARG_POINTER_REGNUM \ | |
2439 | || ((REGNUM) >= FIRST_VIRTUAL_REGISTER \ | |
32990d5b | 2440 | && (REGNUM) <= LAST_VIRTUAL_POINTER_REGISTER)) |
a06ef755 | 2441 | |
848e0190 | 2442 | /* REGNUM never really appearing in the INSN stream. */ |
cf403648 | 2443 | #define INVALID_REGNUM (~(unsigned int) 0) |
848e0190 | 2444 | |
2cd45f0e SE |
2445 | /* REGNUM for which no debug information can be generated. */ |
2446 | #define IGNORED_DWARF_REGNUM (INVALID_REGNUM - 1) | |
2447 | ||
0c20a65f | 2448 | extern rtx output_constant_def (tree, int); |
75c20980 | 2449 | extern rtx lookup_constant_def (tree); |
6f29feb1 | 2450 | |
6f29feb1 | 2451 | /* Nonzero after end of reload pass. |
0ea0e871 | 2452 | Set to 1 or 0 by reload1.c. */ |
6f29feb1 JW |
2453 | |
2454 | extern int reload_completed; | |
2455 | ||
fe3ad572 SC |
2456 | /* Nonzero after thread_prologue_and_epilogue_insns has run. */ |
2457 | extern int epilogue_completed; | |
2458 | ||
6f29feb1 JW |
2459 | /* Set to 1 while reload_as_needed is operating. |
2460 | Required by some machines to handle any generated moves differently. */ | |
2461 | ||
2462 | extern int reload_in_progress; | |
2463 | ||
55a2c322 VM |
2464 | /* Set to 1 while in lra. */ |
2465 | extern int lra_in_progress; | |
2466 | ||
b3a13419 ILT |
2467 | /* This macro indicates whether you may create a new |
2468 | pseudo-register. */ | |
2469 | ||
2470 | #define can_create_pseudo_p() (!reload_in_progress && !reload_completed) | |
2471 | ||
23249ac4 DB |
2472 | #ifdef STACK_REGS |
2473 | /* Nonzero after end of regstack pass. | |
2474 | Set to 1 or 0 by reg-stack.c. */ | |
2475 | extern int regstack_completed; | |
2476 | #endif | |
2477 | ||
6f29feb1 JW |
2478 | /* If this is nonzero, we do not bother generating VOLATILE |
2479 | around volatile memory references, and we are willing to | |
2480 | output indirect addresses. If cse is to follow, we reject | |
2481 | indirect addresses so a useful potential cse is generated; | |
2482 | if it is used only once, instruction combination will produce | |
2483 | the same indirect address eventually. */ | |
2484 | extern int cse_not_expected; | |
2485 | ||
f5118aa5 | 2486 | /* Translates rtx code to tree code, for those codes needed by |
88efc60a RK |
2487 | REAL_ARITHMETIC. The function returns an int because the caller may not |
2488 | know what `enum tree_code' means. */ | |
2489 | ||
0c20a65f | 2490 | extern int rtx_to_tree_code (enum rtx_code); |
9ae8ffe7 | 2491 | |
ac957f13 | 2492 | /* In cse.c */ |
0c20a65f | 2493 | extern int delete_trivially_dead_insns (rtx, int); |
4f588890 KG |
2494 | extern int exp_equiv_p (const_rtx, const_rtx, int, bool); |
2495 | extern unsigned hash_rtx (const_rtx x, enum machine_mode, int *, int *, bool); | |
ac957f13 | 2496 | |
3f82421f | 2497 | /* In dse.c */ |
9e582b1d | 2498 | extern bool check_for_inc_dec (rtx insn); |
3f82421f | 2499 | |
ac957f13 | 2500 | /* In jump.c */ |
0c20a65f | 2501 | extern int comparison_dominates_p (enum rtx_code, enum rtx_code); |
dc0ff1c8 | 2502 | extern bool jump_to_label_p (rtx); |
4f588890 KG |
2503 | extern int condjump_p (const_rtx); |
2504 | extern int any_condjump_p (const_rtx); | |
2505 | extern int any_uncondjump_p (const_rtx); | |
2506 | extern rtx pc_set (const_rtx); | |
9678086d | 2507 | extern rtx condjump_label (const_rtx); |
4f588890 | 2508 | extern int simplejump_p (const_rtx); |
0c20a65f | 2509 | extern int returnjump_p (rtx); |
cd9c1ca8 | 2510 | extern int eh_returnjump_p (rtx); |
4f588890 KG |
2511 | extern int onlyjump_p (const_rtx); |
2512 | extern int only_sets_cc0_p (const_rtx); | |
2513 | extern int sets_cc0_p (const_rtx); | |
0c20a65f AJ |
2514 | extern int invert_jump_1 (rtx, rtx); |
2515 | extern int invert_jump (rtx, rtx, int); | |
3101faab | 2516 | extern int rtx_renumbered_equal_p (const_rtx, const_rtx); |
4f588890 KG |
2517 | extern int true_regnum (const_rtx); |
2518 | extern unsigned int reg_or_subregno (const_rtx); | |
0c20a65f | 2519 | extern int redirect_jump_1 (rtx, rtx); |
0a634832 | 2520 | extern void redirect_jump_2 (rtx, rtx, rtx, int, int); |
0c20a65f AJ |
2521 | extern int redirect_jump (rtx, rtx, int); |
2522 | extern void rebuild_jump_labels (rtx); | |
42821aff | 2523 | extern void rebuild_jump_labels_chain (rtx); |
9678086d KG |
2524 | extern rtx reversed_comparison (const_rtx, enum machine_mode); |
2525 | extern enum rtx_code reversed_comparison_code (const_rtx, const_rtx); | |
2526 | extern enum rtx_code reversed_comparison_code_parts (enum rtx_code, const_rtx, | |
2527 | const_rtx, const_rtx); | |
0c20a65f | 2528 | extern void delete_for_peephole (rtx, rtx); |
4f588890 | 2529 | extern int condjump_in_parallel_p (const_rtx); |
14bf4a33 | 2530 | |
eebedaa5 | 2531 | /* In emit-rtl.c. */ |
0c20a65f AJ |
2532 | extern int max_reg_num (void); |
2533 | extern int max_label_num (void); | |
2534 | extern int get_first_label_num (void); | |
6de9cd9a | 2535 | extern void maybe_set_first_label_num (rtx); |
0c20a65f AJ |
2536 | extern void delete_insns_since (rtx); |
2537 | extern void mark_reg_pointer (rtx, int); | |
2538 | extern void mark_user_reg (rtx); | |
2539 | extern void reset_used_flags (rtx); | |
2c07f13b | 2540 | extern void set_used_flags (rtx); |
0c20a65f AJ |
2541 | extern void reorder_insns (rtx, rtx, rtx); |
2542 | extern void reorder_insns_nobb (rtx, rtx, rtx); | |
b5b8b0ac | 2543 | extern int get_max_insn_count (void); |
0c20a65f | 2544 | extern int in_sequence_p (void); |
0c20a65f | 2545 | extern void init_emit (void); |
b5deb7b6 | 2546 | extern void init_emit_regs (void); |
2d888286 | 2547 | extern void init_emit_once (void); |
0c20a65f AJ |
2548 | extern void push_topmost_sequence (void); |
2549 | extern void pop_topmost_sequence (void); | |
0c20a65f | 2550 | extern void set_new_first_and_last_insn (rtx, rtx); |
c2924966 | 2551 | extern unsigned int unshare_all_rtl (void); |
0c20a65f | 2552 | extern void unshare_all_rtl_again (rtx); |
2c07f13b JH |
2553 | extern void unshare_all_rtl_in_chain (rtx); |
2554 | extern void verify_rtl_sharing (void); | |
0c20a65f | 2555 | extern void add_insn (rtx); |
b8244d74 SB |
2556 | extern void add_insn_before (rtx, rtx, basic_block); |
2557 | extern void add_insn_after (rtx, rtx, basic_block); | |
0c20a65f | 2558 | extern void remove_insn (rtx); |
0c20a65f | 2559 | extern rtx emit (rtx); |
03fbe718 | 2560 | extern void delete_insn (rtx); |
91278841 | 2561 | extern rtx entry_of_function (void); |
11b904a1 | 2562 | extern void emit_insn_at_entry (rtx); |
a7b87f73 | 2563 | extern void delete_insn_chain (rtx, rtx, bool); |
0c20a65f | 2564 | extern rtx unlink_insn_chain (rtx, rtx); |
03fbe718 | 2565 | extern void delete_insn_and_edges (rtx); |
dad822d3 | 2566 | extern rtx gen_lowpart_SUBREG (enum machine_mode, rtx); |
542a8afa | 2567 | extern rtx gen_const_mem (enum machine_mode, rtx); |
bf877a76 R |
2568 | extern rtx gen_frame_mem (enum machine_mode, rtx); |
2569 | extern rtx gen_tmp_stack_mem (enum machine_mode, rtx); | |
beb72684 | 2570 | extern bool validate_subreg (enum machine_mode, enum machine_mode, |
ed7a4b4b | 2571 | const_rtx, unsigned int); |
ac957f13 | 2572 | |
6fb5fa3c | 2573 | /* In combine.c */ |
5bd5034e | 2574 | extern unsigned int extended_count (const_rtx, enum machine_mode, int); |
79a490a9 | 2575 | extern rtx remove_death (unsigned int, rtx); |
79a490a9 AJ |
2576 | extern void dump_combine_stats (FILE *); |
2577 | extern void dump_combine_total_stats (FILE *); | |
08df6c0d | 2578 | extern rtx make_compound_operation (rtx, enum rtx_code); |
ac957f13 | 2579 | |
6fb5fa3c DB |
2580 | /* In cfgcleanup.c */ |
2581 | extern void delete_dead_jumptables (void); | |
2582 | ||
dad822d3 | 2583 | /* In sched-rgn.c. */ |
10d22567 | 2584 | extern void schedule_insns (void); |
dad822d3 PB |
2585 | |
2586 | /* In sched-ebb.c. */ | |
10d22567 | 2587 | extern void schedule_ebbs (void); |
dad822d3 | 2588 | |
e855c69d AB |
2589 | /* In sel-sched-dump.c. */ |
2590 | extern void sel_sched_fix_param (const char *param, const char *val); | |
2591 | ||
ac957f13 | 2592 | /* In print-rtl.c */ |
47c10e9b | 2593 | extern const char *print_rtx_head; |
7b3b6ae4 LC |
2594 | extern void debug (const rtx_def &ref); |
2595 | extern void debug (const rtx_def *ptr); | |
f7d504c2 KG |
2596 | extern void debug_rtx (const_rtx); |
2597 | extern void debug_rtx_list (const_rtx, int); | |
2598 | extern void debug_rtx_range (const_rtx, const_rtx); | |
2599 | extern const_rtx debug_rtx_find (const_rtx, int); | |
2600 | extern void print_mem_expr (FILE *, const_tree); | |
2601 | extern void print_rtl (FILE *, const_rtx); | |
2602 | extern void print_simple_rtl (FILE *, const_rtx); | |
2603 | extern int print_rtl_single (FILE *, const_rtx); | |
df92c640 | 2604 | extern int print_rtl_single_with_indent (FILE *, const_rtx, int); |
f7d504c2 | 2605 | extern void print_inline_rtx (FILE *, const_rtx, int); |
ac957f13 | 2606 | |
7eba871a | 2607 | /* Functions in sched-vis.c. FIXME: Ideally these functions would |
a27a5de9 SB |
2608 | not be in sched-vis.c but in rtl.c, because they are not only used |
2609 | by the scheduler anymore but for all "slim" RTL dumping. */ | |
cfbeaedf SB |
2610 | extern void dump_value_slim (FILE *, const_rtx, int); |
2611 | extern void dump_insn_slim (FILE *, const_rtx); | |
2612 | extern void dump_rtl_slim (FILE *, const_rtx, const_rtx, int, int); | |
7eba871a SB |
2613 | extern void print_value (pretty_printer *, const_rtx, int); |
2614 | extern void print_pattern (pretty_printer *, const_rtx, int); | |
2615 | extern void print_insn (pretty_printer *, const_rtx, int); | |
2c895bd1 | 2616 | extern void rtl_dump_bb_for_graph (pretty_printer *, basic_block); |
7eba871a | 2617 | extern const char *str_pattern_slim (const_rtx); |
a27a5de9 | 2618 | |
ac957f13 | 2619 | /* In function.c */ |
6fb5fa3c | 2620 | extern void reposition_prologue_and_epilogue_notes (void); |
4f588890 KG |
2621 | extern int prologue_epilogue_contains (const_rtx); |
2622 | extern int sibcall_epilogue_contains (const_rtx); | |
0c20a65f | 2623 | extern void update_temp_slot_address (rtx, rtx); |
cd400280 | 2624 | extern void maybe_copy_prologue_epilogue_insn (rtx, rtx); |
387748de | 2625 | extern void set_return_jump_label (rtx); |
ac957f13 | 2626 | |
ac957f13 | 2627 | /* In stmt.c */ |
0c20a65f | 2628 | extern void expand_null_return (void); |
6e3077c6 | 2629 | extern void expand_naked_return (void); |
0c20a65f | 2630 | extern void emit_jump (rtx); |
ac957f13 JL |
2631 | |
2632 | /* In expr.c */ | |
0c20a65f AJ |
2633 | extern rtx move_by_pieces (rtx, rtx, unsigned HOST_WIDE_INT, |
2634 | unsigned int, int); | |
42aa5124 | 2635 | extern HOST_WIDE_INT find_args_size_adjust (rtx); |
9a08d230 | 2636 | extern int fixup_args_size_notes (rtx, rtx, int); |
2e245dac | 2637 | |
6fb5fa3c | 2638 | /* In cfgrtl.c */ |
a315c44c | 2639 | extern void print_rtl_with_bb (FILE *, const_rtx, int); |
78bde837 | 2640 | extern rtx duplicate_insn_chain (rtx, rtx); |
6fb5fa3c | 2641 | |
ac957f13 | 2642 | /* In expmed.c */ |
0c20a65f AJ |
2643 | extern void init_expmed (void); |
2644 | extern void expand_inc (rtx, rtx); | |
2645 | extern void expand_dec (rtx, rtx); | |
ac957f13 | 2646 | |
af4ba423 KZ |
2647 | /* In lower-subreg.c */ |
2648 | extern void init_lower_subreg (void); | |
2649 | ||
50b2596f | 2650 | /* In gcse.c */ |
0c20a65f | 2651 | extern bool can_copy_p (enum machine_mode); |
df35c271 | 2652 | extern bool can_assign_to_reg_without_clobbers_p (rtx); |
0c20a65f | 2653 | extern rtx fis_get_condition (rtx); |
0516f6fe | 2654 | |
2af2dbdc | 2655 | /* In ira.c */ |
058e97ec VM |
2656 | #ifdef HARD_CONST |
2657 | extern HARD_REG_SET eliminable_regset; | |
2658 | #endif | |
0c20a65f | 2659 | extern void mark_elimination (int, int); |
ac957f13 | 2660 | |
328e13b7 | 2661 | /* In reginfo.c */ |
a56b31ca | 2662 | extern int reg_classes_intersect_p (reg_class_t, reg_class_t); |
faa832a7 | 2663 | extern int reg_class_subset_p (reg_class_t, reg_class_t); |
1460ec5c | 2664 | extern void globalize_reg (tree, int); |
b5deb7b6 | 2665 | extern void init_reg_modes_target (void); |
0c20a65f | 2666 | extern void init_regs (void); |
f68211cd | 2667 | extern void reinit_regs (void); |
0c20a65f | 2668 | extern void init_fake_stack_mems (void); |
fef511b5 | 2669 | extern void save_register_info (void); |
0c20a65f | 2670 | extern void init_reg_sets (void); |
10d22567 | 2671 | extern void regclass (rtx, int); |
c80a0f26 | 2672 | extern void reg_scan (rtx, unsigned int); |
0c20a65f | 2673 | extern void fix_register (const char *, int, int); |
fa1fabcb | 2674 | extern bool invalid_mode_change_p (unsigned int, enum reg_class); |
cdadb1dd | 2675 | |
5fffc382 | 2676 | /* In reload1.c */ |
4f588890 | 2677 | extern int function_invariant_p (const_rtx); |
5fffc382 | 2678 | |
ac957f13 | 2679 | /* In calls.c */ |
ebb1b59a BS |
2680 | enum libcall_type |
2681 | { | |
2682 | LCT_NORMAL = 0, | |
2683 | LCT_CONST = 1, | |
2684 | LCT_PURE = 2, | |
84b8030f KZ |
2685 | LCT_NORETURN = 3, |
2686 | LCT_THROW = 4, | |
2687 | LCT_RETURNS_TWICE = 5 | |
ebb1b59a BS |
2688 | }; |
2689 | ||
0c20a65f AJ |
2690 | extern void emit_library_call (rtx, enum libcall_type, enum machine_mode, int, |
2691 | ...); | |
2692 | extern rtx emit_library_call_value (rtx, rtx, enum libcall_type, | |
2693 | enum machine_mode, int, ...); | |
ac957f13 | 2694 | |
ac957f13 | 2695 | /* In varasm.c */ |
0c20a65f | 2696 | extern void init_varasm_once (void); |
b8698a0f | 2697 | |
e972a1d3 AO |
2698 | extern rtx make_debug_expr_from_rtl (const_rtx); |
2699 | ||
7e7ec48e | 2700 | /* In read-rtl.c */ |
600ab3fc | 2701 | extern bool read_rtx (const char *, rtx *); |
bcdaba58 | 2702 | |
ac957f13 | 2703 | /* In alias.c */ |
4682ae04 | 2704 | extern rtx canon_rtx (rtx); |
53d9622b | 2705 | extern int true_dependence (const_rtx, enum machine_mode, const_rtx); |
4682ae04 | 2706 | extern rtx get_addr (rtx); |
53d9622b RS |
2707 | extern int canon_true_dependence (const_rtx, enum machine_mode, rtx, |
2708 | const_rtx, rtx); | |
4f588890 KG |
2709 | extern int read_dependence (const_rtx, const_rtx); |
2710 | extern int anti_dependence (const_rtx, const_rtx); | |
bd280792 JR |
2711 | extern int canon_anti_dependence (const_rtx, bool, |
2712 | const_rtx, enum machine_mode, rtx); | |
4f588890 | 2713 | extern int output_dependence (const_rtx, const_rtx); |
c6ea834c | 2714 | extern int may_alias_p (const_rtx, const_rtx); |
b5deb7b6 | 2715 | extern void init_alias_target (void); |
4682ae04 AJ |
2716 | extern void init_alias_analysis (void); |
2717 | extern void end_alias_analysis (void); | |
61630b27 | 2718 | extern void vt_equate_reg_base_value (const_rtx, const_rtx); |
9678086d | 2719 | extern bool memory_modified_in_insn_p (const_rtx, const_rtx); |
a7b159a4 | 2720 | extern bool memory_must_be_modified_in_insn_p (const_rtx, const_rtx); |
9e412ca3 | 2721 | extern bool may_be_sp_based_p (rtx); |
3e89ed8d | 2722 | extern rtx gen_hard_reg_clobber (enum machine_mode, unsigned int); |
bb1acb3e RH |
2723 | extern rtx get_reg_known_value (unsigned int); |
2724 | extern bool get_reg_known_equiv_p (unsigned int); | |
8fd0a474 | 2725 | extern rtx get_reg_base_value (unsigned int); |
4c649323 | 2726 | |
21b2cd73 | 2727 | #ifdef STACK_REGS |
9678086d | 2728 | extern int stack_regs_mentioned (const_rtx insn); |
21b2cd73 JH |
2729 | #endif |
2730 | ||
a157febd | 2731 | /* In toplev.c */ |
e2500fed | 2732 | extern GTY(()) rtx stack_limit_rtx; |
dfdb644f | 2733 | |
4db384c9 | 2734 | /* In predict.c */ |
0c20a65f AJ |
2735 | extern void invert_br_probabilities (rtx); |
2736 | extern bool expensive_function_p (int); | |
cff9f8d5 | 2737 | |
014a1138 | 2738 | /* In var-tracking.c */ |
c2924966 | 2739 | extern unsigned int variable_tracking_main (void); |
014a1138 | 2740 | |
50654f6c | 2741 | /* In stor-layout.c. */ |
0aea6467 ZD |
2742 | extern void get_mode_bounds (enum machine_mode, int, enum machine_mode, |
2743 | rtx *, rtx *); | |
50654f6c ZD |
2744 | |
2745 | /* In loop-unswitch.c */ | |
2746 | extern rtx reversed_condition (rtx); | |
2747 | extern rtx compare_and_jump_seq (rtx, rtx, enum rtx_code, rtx, int, rtx); | |
2748 | ||
2749 | /* In loop-iv.c */ | |
2750 | extern rtx canon_condition (rtx); | |
3ad45f7f | 2751 | extern void simplify_using_condition (rtx, rtx *, bitmap); |
e855c69d AB |
2752 | |
2753 | /* In final.c */ | |
2754 | extern unsigned int compute_alignments (void); | |
5cf6635b | 2755 | extern void update_alignments (vec<rtx> &); |
2bd1d2c8 | 2756 | extern int asm_str_count (const char *templ); |
2f93eea8 PB |
2757 | \f |
2758 | struct rtl_hooks | |
2759 | { | |
2760 | rtx (*gen_lowpart) (enum machine_mode, rtx); | |
9ce921ab | 2761 | rtx (*gen_lowpart_no_emit) (enum machine_mode, rtx); |
fa233e34 | 2762 | rtx (*reg_nonzero_bits) (const_rtx, enum machine_mode, const_rtx, enum machine_mode, |
2f93eea8 | 2763 | unsigned HOST_WIDE_INT, unsigned HOST_WIDE_INT *); |
fa233e34 | 2764 | rtx (*reg_num_sign_bit_copies) (const_rtx, enum machine_mode, const_rtx, enum machine_mode, |
2f93eea8 | 2765 | unsigned int, unsigned int *); |
fa233e34 | 2766 | bool (*reg_truncated_to_mode) (enum machine_mode, const_rtx); |
2f93eea8 | 2767 | |
d3b72690 | 2768 | /* Whenever you add entries here, make sure you adjust rtlhooks-def.h. */ |
2f93eea8 PB |
2769 | }; |
2770 | ||
2771 | /* Each pass can provide its own. */ | |
2772 | extern struct rtl_hooks rtl_hooks; | |
2773 | ||
2774 | /* ... but then it has to restore these. */ | |
2775 | extern const struct rtl_hooks general_rtl_hooks; | |
2776 | ||
2777 | /* Keep this for the nonce. */ | |
2778 | #define gen_lowpart rtl_hooks.gen_lowpart | |
2779 | ||
5368224f DC |
2780 | extern void insn_locations_init (void); |
2781 | extern void insn_locations_finalize (void); | |
2782 | extern void set_curr_insn_location (location_t); | |
2783 | extern location_t curr_insn_location (void); | |
f40751dd JH |
2784 | extern bool optimize_insn_for_size_p (void); |
2785 | extern bool optimize_insn_for_speed_p (void); | |
55e092c4 | 2786 | |
0cbd9993 MLI |
2787 | /* rtl-error.c */ |
2788 | extern void _fatal_insn_not_found (const_rtx, const char *, int, const char *) | |
2789 | ATTRIBUTE_NORETURN; | |
2790 | extern void _fatal_insn (const char *, const_rtx, const char *, int, const char *) | |
2791 | ATTRIBUTE_NORETURN; | |
2792 | ||
2793 | #define fatal_insn(msgid, insn) \ | |
2794 | _fatal_insn (msgid, insn, __FILE__, __LINE__, __FUNCTION__) | |
2795 | #define fatal_insn_not_found(insn) \ | |
2796 | _fatal_insn_not_found (insn, __FILE__, __LINE__, __FUNCTION__) | |
2797 | ||
2798 | ||
2799 | ||
88657302 | 2800 | #endif /* ! GCC_RTL_H */ |