]>
Commit | Line | Data |
---|---|---|
bccafa26 | 1 | /* Register Transfer Language (RTL) definitions for GCC |
3aea1f79 | 2 | Copyright (C) 1987-2014 Free Software Foundation, Inc. |
759bebca | 3 | |
f12b58b3 | 4 | This file is part of GCC. |
759bebca | 5 | |
f12b58b3 | 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 | |
8c4c00c1 | 8 | Software Foundation; either version 3, or (at your option) any later |
f12b58b3 | 9 | version. |
759bebca | 10 | |
f12b58b3 | 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. | |
759bebca | 15 | |
16 | You should have received a copy of the GNU General Public License | |
8c4c00c1 | 17 | along with GCC; see the file COPYING3. If not see |
18 | <http://www.gnu.org/licenses/>. */ | |
759bebca | 19 | |
2a281353 | 20 | #ifndef GCC_RTL_H |
21 | #define GCC_RTL_H | |
605f66ec | 22 | |
e913b5cd | 23 | #include <utility> |
fdef3332 | 24 | #include "statistics.h" |
759bebca | 25 | #include "machmode.h" |
0a3b3d88 | 26 | #include "input.h" |
e8aaae4e | 27 | #include "real.h" |
f2d0e9f1 | 28 | #include "vec.h" |
e397ad8e | 29 | #include "fixed-value.h" |
32c2fdea | 30 | #include "alias.h" |
09279218 | 31 | #include "hashtab.h" |
e913b5cd | 32 | #include "wide-int.h" |
4a020a8c | 33 | #include "flags.h" |
a0416db5 | 34 | #include "is-a.h" |
759bebca | 35 | |
c6259b83 | 36 | /* Value used by some passes to "recognize" noop moves as valid |
a7dce381 | 37 | instructions. */ |
1805c35c | 38 | #define NOOP_MOVE_INSN_CODE INT_MAX |
39 | ||
759bebca | 40 | /* Register Transfer Language EXPRESSIONS CODES */ |
41 | ||
42 | #define RTX_CODE enum rtx_code | |
43 | enum rtx_code { | |
44 | ||
45 | #define DEF_RTL_EXPR(ENUM, NAME, FORMAT, CLASS) ENUM , | |
46 | #include "rtl.def" /* rtl expressions are documented here */ | |
47 | #undef DEF_RTL_EXPR | |
48 | ||
4bbea254 | 49 | LAST_AND_UNUSED_RTX_CODE}; /* A convenient way to get a value for |
759bebca | 50 | NUM_RTX_CODE. |
4bbea254 | 51 | Assumes default enum value assignment. */ |
759bebca | 52 | |
ee65118b | 53 | /* The cast here, saves many elsewhere. */ |
47c251e5 | 54 | #define NUM_RTX_CODE ((int) LAST_AND_UNUSED_RTX_CODE) |
ee65118b | 55 | |
56 | /* Similar, but since generator files get more entries... */ | |
57 | #ifdef GENERATOR_FILE | |
58 | # define NON_GENERATOR_NUM_RTX_CODE ((int) MATCH_OPERAND) | |
59 | #endif | |
759bebca | 60 | |
6720e96c | 61 | /* Register Transfer Language EXPRESSIONS CODE CLASSES */ |
62 | ||
63 | enum rtx_class { | |
64 | /* We check bit 0-1 of some rtx class codes in the predicates below. */ | |
65 | ||
66 | /* Bit 0 = comparison if 0, arithmetic is 1 | |
67 | Bit 1 = 1 if commutative. */ | |
68 | RTX_COMPARE, /* 0 */ | |
69 | RTX_COMM_COMPARE, | |
70 | RTX_BIN_ARITH, | |
71 | RTX_COMM_ARITH, | |
72 | ||
73 | /* Must follow the four preceding values. */ | |
74 | RTX_UNARY, /* 4 */ | |
75 | ||
76 | RTX_EXTRA, | |
77 | RTX_MATCH, | |
78 | RTX_INSN, | |
79 | ||
80 | /* Bit 0 = 1 if constant. */ | |
81 | RTX_OBJ, /* 8 */ | |
82 | RTX_CONST_OBJ, | |
83 | ||
84 | RTX_TERNARY, | |
85 | RTX_BITFIELD_OPS, | |
86 | RTX_AUTOINC | |
87 | }; | |
88 | ||
89 | #define RTX_OBJ_MASK (~1) | |
90 | #define RTX_OBJ_RESULT (RTX_OBJ & RTX_OBJ_MASK) | |
91 | #define RTX_COMPARE_MASK (~1) | |
92 | #define RTX_COMPARE_RESULT (RTX_COMPARE & RTX_COMPARE_MASK) | |
93 | #define RTX_ARITHMETIC_MASK (~1) | |
94 | #define RTX_ARITHMETIC_RESULT (RTX_COMM_ARITH & RTX_ARITHMETIC_MASK) | |
95 | #define RTX_BINARY_MASK (~3) | |
96 | #define RTX_BINARY_RESULT (RTX_COMPARE & RTX_BINARY_MASK) | |
97 | #define RTX_COMMUTATIVE_MASK (~2) | |
98 | #define RTX_COMMUTATIVE_RESULT (RTX_COMM_COMPARE & RTX_COMMUTATIVE_MASK) | |
99 | #define RTX_NON_COMMUTATIVE_RESULT (RTX_COMPARE & RTX_COMMUTATIVE_MASK) | |
6720e96c | 100 | |
1af5f160 | 101 | extern const unsigned char rtx_length[NUM_RTX_CODE]; |
a92771b8 | 102 | #define GET_RTX_LENGTH(CODE) (rtx_length[(int) (CODE)]) |
759bebca | 103 | |
1af5f160 | 104 | extern const char * const rtx_name[NUM_RTX_CODE]; |
a92771b8 | 105 | #define GET_RTX_NAME(CODE) (rtx_name[(int) (CODE)]) |
759bebca | 106 | |
1af5f160 | 107 | extern const char * const rtx_format[NUM_RTX_CODE]; |
a92771b8 | 108 | #define GET_RTX_FORMAT(CODE) (rtx_format[(int) (CODE)]) |
759bebca | 109 | |
6720e96c | 110 | extern const enum rtx_class rtx_class[NUM_RTX_CODE]; |
a92771b8 | 111 | #define GET_RTX_CLASS(CODE) (rtx_class[(int) (CODE)]) |
c849df63 | 112 | |
5cda2bd0 | 113 | /* True if CODE is part of the insn chain (i.e. has INSN_UID, PREV_INSN |
114 | and NEXT_INSN fields). */ | |
115 | #define INSN_CHAIN_CODE_P(CODE) IN_RANGE (CODE, DEBUG_INSN, NOTE) | |
116 | ||
f2d0e9f1 | 117 | extern const unsigned char rtx_code_size[NUM_RTX_CODE]; |
c849df63 | 118 | extern const unsigned char rtx_next[NUM_RTX_CODE]; |
759bebca | 119 | \f |
9eaab178 | 120 | /* The flags and bitfields of an ADDR_DIFF_VEC. BASE is the base label |
121 | relative to which the offsets are calculated, as explained in rtl.def. */ | |
b3e7c666 | 122 | struct addr_diff_vec_flags |
9eaab178 | 123 | { |
124 | /* Set at the start of shorten_branches - ONLY WHEN OPTIMIZING - : */ | |
125 | unsigned min_align: 8; | |
126 | /* Flags: */ | |
127 | unsigned base_after_vec: 1; /* BASE is after the ADDR_DIFF_VEC. */ | |
c6259b83 | 128 | unsigned min_after_vec: 1; /* minimum address target label is |
129 | after the ADDR_DIFF_VEC. */ | |
130 | unsigned max_after_vec: 1; /* maximum address target label is | |
131 | after the ADDR_DIFF_VEC. */ | |
132 | unsigned min_after_base: 1; /* minimum address target label is | |
133 | after BASE. */ | |
134 | unsigned max_after_base: 1; /* maximum address target label is | |
135 | after BASE. */ | |
9eaab178 | 136 | /* Set by the actual branch shortening process - ONLY WHEN OPTIMIZING - : */ |
137 | unsigned offset_unsigned: 1; /* offsets have to be treated as unsigned. */ | |
138 | unsigned : 2; | |
139 | unsigned scale : 8; | |
b3e7c666 | 140 | }; |
9eaab178 | 141 | |
c6259b83 | 142 | /* Structure used to describe the attributes of a MEM. These are hashed |
143 | so MEMs that the same attributes share a data structure. This means | |
6d58bcba | 144 | they cannot be modified in place. */ |
b3e7c666 | 145 | struct GTY(()) mem_attrs |
c6259b83 | 146 | { |
6d58bcba | 147 | /* The expression that the MEM accesses, or null if not known. |
148 | This expression might be larger than the memory reference itself. | |
149 | (In other words, the MEM might access only part of the object.) */ | |
150 | tree expr; | |
151 | ||
152 | /* The offset of the memory reference from the start of EXPR. | |
153 | Only valid if OFFSET_KNOWN_P. */ | |
154 | HOST_WIDE_INT offset; | |
155 | ||
156 | /* The size of the memory reference in bytes. Only valid if | |
157 | SIZE_KNOWN_P. */ | |
158 | HOST_WIDE_INT size; | |
159 | ||
160 | /* The alias set of the memory reference. */ | |
161 | alias_set_type alias; | |
162 | ||
163 | /* The alignment of the reference in bits. Always a multiple of | |
164 | BITS_PER_UNIT. Note that EXPR may have a stricter alignment | |
165 | than the memory reference itself. */ | |
166 | unsigned int align; | |
167 | ||
168 | /* The address space that the memory reference uses. */ | |
169 | unsigned char addrspace; | |
170 | ||
171 | /* True if OFFSET is known. */ | |
172 | bool offset_known_p; | |
173 | ||
174 | /* True if SIZE is known. */ | |
175 | bool size_known_p; | |
b3e7c666 | 176 | }; |
c6259b83 | 177 | |
ca74b940 | 178 | /* Structure used to describe the attributes of a REG in similar way as |
80c70e76 | 179 | mem_attrs does for MEM above. Note that the OFFSET field is calculated |
180 | in the same way as for mem_attrs, rather than in the same way as a | |
181 | SUBREG_BYTE. For example, if a big-endian target stores a byte | |
182 | object in the low part of a 4-byte register, the OFFSET field | |
183 | will be -3 rather than 0. */ | |
ca74b940 | 184 | |
b3e7c666 | 185 | struct GTY(()) reg_attrs { |
ca74b940 | 186 | tree decl; /* decl corresponding to REG. */ |
187 | HOST_WIDE_INT offset; /* Offset from start of DECL. */ | |
b3e7c666 | 188 | }; |
ca74b940 | 189 | |
759bebca | 190 | /* Common union for an element of an rtx. */ |
191 | ||
b3e7c666 | 192 | union rtunion |
759bebca | 193 | { |
993d9e55 | 194 | int rt_int; |
195 | unsigned int rt_uint; | |
196 | const char *rt_str; | |
197 | rtx rt_rtx; | |
198 | rtvec rt_rtvec; | |
199 | enum machine_mode rt_type; | |
9eaab178 | 200 | addr_diff_vec_flags rt_addr_diff_vec_flags; |
b3e7c666 | 201 | struct cselib_val *rt_cselib; |
993d9e55 | 202 | tree rt_tree; |
161dfa6e | 203 | basic_block rt_bb; |
993d9e55 | 204 | mem_attrs *rt_mem; |
205 | reg_attrs *rt_reg; | |
7c266bb1 | 206 | struct constant_descriptor_rtx *rt_constant; |
b3e7c666 | 207 | struct dw_cfi_node *rt_cfi; |
c849df63 | 208 | }; |
759bebca | 209 | |
f2d0e9f1 | 210 | /* This structure remembers the position of a SYMBOL_REF within an |
211 | object_block structure. A SYMBOL_REF only provides this information | |
6617cbc1 | 212 | if SYMBOL_REF_HAS_BLOCK_INFO_P is true. */ |
fb1e4f4a | 213 | struct GTY(()) block_symbol { |
f2d0e9f1 | 214 | /* The usual SYMBOL_REF fields. */ |
8854855c | 215 | rtunion GTY ((skip)) fld[2]; |
f2d0e9f1 | 216 | |
217 | /* The block that contains this object. */ | |
218 | struct object_block *block; | |
219 | ||
220 | /* The offset of this object from the start of its block. It is negative | |
221 | if the symbol has not yet been assigned an offset. */ | |
222 | HOST_WIDE_INT offset; | |
223 | }; | |
224 | ||
f2d0e9f1 | 225 | /* Describes a group of objects that are to be placed together in such |
226 | a way that their relative positions are known. */ | |
fb1e4f4a | 227 | struct GTY(()) object_block { |
f2d0e9f1 | 228 | /* The section in which these objects should be placed. */ |
229 | section *sect; | |
230 | ||
231 | /* The alignment of the first object, measured in bits. */ | |
232 | unsigned int alignment; | |
233 | ||
234 | /* The total size of the objects, measured in bytes. */ | |
235 | HOST_WIDE_INT size; | |
236 | ||
237 | /* The SYMBOL_REFs for each object. The vector is sorted in | |
238 | order of increasing offset and the following conditions will | |
239 | hold for each element X: | |
240 | ||
6617cbc1 | 241 | SYMBOL_REF_HAS_BLOCK_INFO_P (X) |
f2d0e9f1 | 242 | !SYMBOL_REF_ANCHOR_P (X) |
243 | SYMBOL_REF_BLOCK (X) == [address of this structure] | |
244 | SYMBOL_REF_BLOCK_OFFSET (X) >= 0. */ | |
f1f41a6c | 245 | vec<rtx, va_gc> *objects; |
f2d0e9f1 | 246 | |
247 | /* All the anchor SYMBOL_REFs used to address these objects, sorted | |
248 | in order of increasing offset, and then increasing TLS model. | |
249 | The following conditions will hold for each element X in this vector: | |
250 | ||
6617cbc1 | 251 | SYMBOL_REF_HAS_BLOCK_INFO_P (X) |
f2d0e9f1 | 252 | SYMBOL_REF_ANCHOR_P (X) |
253 | SYMBOL_REF_BLOCK (X) == [address of this structure] | |
254 | SYMBOL_REF_BLOCK_OFFSET (X) >= 0. */ | |
f1f41a6c | 255 | vec<rtx, va_gc> *anchors; |
f2d0e9f1 | 256 | }; |
257 | ||
e913b5cd | 258 | struct GTY((variable_size)) hwivec_def { |
e913b5cd | 259 | HOST_WIDE_INT elem[1]; |
260 | }; | |
261 | ||
05c25ee6 | 262 | /* Number of elements of the HWIVEC if RTX is a CONST_WIDE_INT. */ |
263 | #define CWI_GET_NUM_ELEM(RTX) \ | |
264 | ((int)RTL_FLAG_CHECK1("CWI_GET_NUM_ELEM", (RTX), CONST_WIDE_INT)->u2.num_elem) | |
265 | #define CWI_PUT_NUM_ELEM(RTX, NUM) \ | |
266 | (RTL_FLAG_CHECK1("CWI_PUT_NUM_ELEM", (RTX), CONST_WIDE_INT)->u2.num_elem = (NUM)) | |
e913b5cd | 267 | |
759bebca | 268 | /* RTL expression ("rtx"). */ |
269 | ||
a0416db5 | 270 | /* The GTY "desc" and "tag" options below are a kludge: we need a desc |
271 | field for for gengtype to recognize that inheritance is occurring, | |
272 | so that all subclasses are redirected to the traversal hook for the | |
273 | base class. | |
274 | However, all of the fields are in the base class, and special-casing | |
275 | is at work. Hence we use desc and tag of 0, generating a switch | |
276 | statement of the form: | |
277 | switch (0) | |
278 | { | |
279 | case 0: // all the work happens here | |
280 | } | |
281 | in order to work with the existing special-casing in gengtype. */ | |
282 | ||
283 | struct GTY((desc("0"), tag("0"), | |
284 | chain_next ("RTX_NEXT (&%h)"), | |
25a27413 | 285 | chain_prev ("RTX_PREV (&%h)"))) rtx_def { |
759bebca | 286 | /* The kind of expression this is. */ |
488c4206 | 287 | ENUM_BITFIELD(rtx_code) code: 16; |
bfec6070 | 288 | |
759bebca | 289 | /* The kind of value the expression has. */ |
488c4206 | 290 | ENUM_BITFIELD(machine_mode) mode : 8; |
291 | ||
e7f75e15 | 292 | /* 1 in a MEM if we should keep the alias set for this mem unchanged |
293 | when we access a component. | |
8f869004 | 294 | 1 in a JUMP_INSN if it is a crossing jump. |
e7f75e15 | 295 | 1 in a CALL_INSN if it is a sibling call. |
a7ae1e59 | 296 | 1 in a SET that is for a return. |
72fdb379 | 297 | In a CODE_LABEL, part of the two-bit alternate entry field. |
bb75e83f | 298 | 1 in a CONCAT is VAL_EXPR_IS_COPIED in var-tracking.c. |
ea99c7a1 | 299 | 1 in a VALUE is SP_BASED_VALUE_P in cselib.c. |
bbc26dcc | 300 | 1 in a SUBREG generated by LRA for reload insns. */ |
759bebca | 301 | unsigned int jump : 1; |
1ed8ccdb | 302 | /* In a CODE_LABEL, part of the two-bit alternate entry field. |
48e1416a | 303 | 1 in a MEM if it cannot trap. |
9c2a0c05 | 304 | 1 in a CALL_INSN logically equivalent to |
305 | ECF_LOOPING_CONST_OR_PURE and DECL_LOOPING_CONST_OR_PURE_P. */ | |
759bebca | 306 | unsigned int call : 1; |
e7f75e15 | 307 | /* 1 in a REG, MEM, or CONCAT if the value is set at most once, anywhere. |
088c4b7b | 308 | 1 in a SUBREG used for SUBREG_PROMOTED_UNSIGNED_P. |
759bebca | 309 | 1 in a SYMBOL_REF if it addresses something in the per-function |
310 | constants pool. | |
48e1416a | 311 | 1 in a CALL_INSN logically equivalent to ECF_CONST and TREE_READONLY. |
9c2a0c05 | 312 | 1 in a NOTE, or EXPR_LIST for a const call. |
72fdb379 | 313 | 1 in a JUMP_INSN of an annulling branch. |
314 | 1 in a CONCAT is VAL_EXPR_IS_CLOBBERED in var-tracking.c. | |
ae72d5b2 | 315 | 1 in a preserved VALUE is PRESERVED_VALUE_P in cselib.c. |
316 | 1 in a clobber temporarily created for LRA. */ | |
759bebca | 317 | unsigned int unchanging : 1; |
e7f75e15 | 318 | /* 1 in a MEM or ASM_OPERANDS expression if the memory reference is volatile. |
319 | 1 in an INSN, CALL_INSN, JUMP_INSN, CODE_LABEL, BARRIER, or NOTE | |
320 | if it has been deleted. | |
321 | 1 in a REG expression if corresponds to a variable declared by the user, | |
759bebca | 322 | 0 for an internally generated temporary. |
088c4b7b | 323 | 1 in a SUBREG used for SUBREG_PROMOTED_UNSIGNED_P. |
19d2fe05 | 324 | 1 in a LABEL_REF, REG_LABEL_TARGET or REG_LABEL_OPERAND note for a |
325 | non-local label. | |
6540132c | 326 | In a SYMBOL_REF, this flag is used for machine-specific purposes. |
327 | In a PREFETCH, this flag indicates that it should be considered a scheduling | |
72fdb379 | 328 | barrier. |
329 | 1 in a CONCAT is VAL_NEEDS_RESOLUTION in var-tracking.c. */ | |
759bebca | 330 | unsigned int volatil : 1; |
402f6a9e | 331 | /* 1 in a REG if the register is used only in exit code a loop. |
f220c8f0 | 332 | 1 in a SUBREG expression if was generated from a variable with a |
3e8eba79 | 333 | promoted mode. |
759bebca | 334 | 1 in a CODE_LABEL if the label is used for nonlocal gotos |
335 | and must not be deleted even if its count is zero. | |
f372955c | 336 | 1 in an INSN, JUMP_INSN or CALL_INSN if this insn must be scheduled |
337 | together with the preceding insn. Valid only within sched. | |
759bebca | 338 | 1 in an INSN, JUMP_INSN, or CALL_INSN if insn is in a delay slot and |
339 | from the target of a branch. Valid from reorg until end of compilation; | |
402f6a9e | 340 | cleared before used. |
341 | ||
342 | The name of the field is historical. It used to be used in MEMs | |
343 | to record whether the MEM accessed part of a structure. */ | |
759bebca | 344 | unsigned int in_struct : 1; |
e7f75e15 | 345 | /* At the end of RTL generation, 1 if this rtx is used. This is used for |
346 | copying shared structure. See `unshare_all_rtl'. | |
f220c8f0 | 347 | In a REG, this is not needed for that purpose, and used instead |
759bebca | 348 | in `leaf_renumber_regs_insn'. |
e7f75e15 | 349 | 1 in a SYMBOL_REF, means that emit_library_call |
72fdb379 | 350 | has used it as the function. |
351 | 1 in a CONCAT is VAL_HOLDS_TRACK_EXPR in var-tracking.c. | |
352 | 1 in a VALUE or DEBUG_EXPR is VALUE_RECURSED_INTO in var-tracking.c. */ | |
759bebca | 353 | unsigned int used : 1; |
fa19b467 | 354 | /* 1 in an INSN or a SET if this rtx is related to the call frame, |
6a0934dd | 355 | either changing how we compute the frame address or saving and |
f220c8f0 | 356 | restoring registers in the prologue and epilogue. |
8d350e69 | 357 | 1 in a REG or MEM if it is a pointer. |
abf74c5b | 358 | 1 in a SYMBOL_REF if it addresses something in the per-function |
72fdb379 | 359 | constant string pool. |
360 | 1 in a VALUE is VALUE_CHANGED in var-tracking.c. */ | |
df78b73b | 361 | unsigned frame_related : 1; |
4ee9c684 | 362 | /* 1 in a REG or PARALLEL that is the current function's return value. |
48e1416a | 363 | 1 in a SYMBOL_REF for a weak symbol. |
72fdb379 | 364 | 1 in a CALL_INSN logically equivalent to ECF_PURE and DECL_PURE_P. |
365 | 1 in a CONCAT is VAL_EXPR_HAS_REVERSE in var-tracking.c. | |
366 | 1 in a VALUE or DEBUG_EXPR is NO_LOC_P in var-tracking.c. */ | |
4ee9c684 | 367 | unsigned return_val : 1; |
05513b45 | 368 | |
05c25ee6 | 369 | union { |
c4050ce7 | 370 | /* The final union field is aligned to 64 bits on LP64 hosts, |
b3fba3cd | 371 | giving a 32-bit gap after the fields above. We optimize the |
c4050ce7 | 372 | layout for that case and use the gap for extra code-specific |
373 | information. */ | |
05c25ee6 | 374 | |
4db4d2a2 | 375 | /* The ORIGINAL_REGNO of a REG. */ |
376 | unsigned int original_regno; | |
377 | ||
5cda2bd0 | 378 | /* The INSN_UID of an RTX_INSN-class code. */ |
379 | int insn_uid; | |
380 | ||
8854855c | 381 | /* The SYMBOL_REF_FLAGS of a SYMBOL_REF. */ |
382 | unsigned int symbol_ref_flags; | |
383 | ||
e1398578 | 384 | /* The PAT_VAR_LOCATION_STATUS of a VAR_LOCATION. */ |
385 | enum var_init_status var_location_status; | |
386 | ||
3a54beaf | 387 | /* In a CONST_WIDE_INT (aka hwivec_def), this is the number of |
388 | HOST_WIDE_INTs in the hwivec_def. */ | |
b4d2ccf4 | 389 | unsigned int num_elem; |
390 | } GTY ((skip)) u2; | |
05c25ee6 | 391 | |
759bebca | 392 | /* The first element of the operands of this rtx. |
393 | The number of operands and their types are controlled | |
394 | by the `code' field, according to rtl.def. */ | |
bf6b5685 | 395 | union u { |
396 | rtunion fld[1]; | |
397 | HOST_WIDE_INT hwint[1]; | |
f2d0e9f1 | 398 | struct block_symbol block_sym; |
e8aaae4e | 399 | struct real_value rv; |
e397ad8e | 400 | struct fixed_value fv; |
e913b5cd | 401 | struct hwivec_def hwiv; |
bf6b5685 | 402 | } GTY ((special ("rtx_def"), desc ("GET_CODE (&%0)"))) u; |
6a3e3d6d | 403 | }; |
759bebca | 404 | |
a0416db5 | 405 | class GTY(()) rtx_insn : public rtx_def |
406 | { | |
407 | /* No extra fields, but adds the invariant: | |
408 | ||
409 | (INSN_P (X) | |
410 | || NOTE_P (X) | |
411 | || JUMP_TABLE_DATA_P (X) | |
412 | || BARRIER_P (X) | |
413 | || LABEL_P (X)) | |
414 | ||
415 | i.e. that we must be able to use the following: | |
416 | INSN_UID () | |
417 | NEXT_INSN () | |
418 | PREV_INSN () | |
419 | i.e. we have an rtx that has an INSN_UID field and can be part of | |
420 | a linked list of insns. | |
421 | */ | |
422 | }; | |
423 | ||
e1d13ab6 | 424 | /* Subclasses of rtx_insn. */ |
425 | ||
426 | class GTY(()) rtx_debug_insn : public rtx_insn | |
427 | { | |
428 | /* No extra fields, but adds the invariant: | |
429 | DEBUG_INSN_P (X) aka (GET_CODE (X) == DEBUG_INSN) | |
430 | i.e. an annotation for tracking variable assignments. | |
431 | ||
432 | This is an instance of: | |
433 | DEF_RTL_EXPR(DEBUG_INSN, "debug_insn", "uuBeiie", RTX_INSN) | |
434 | from rtl.def. */ | |
435 | }; | |
436 | ||
437 | class GTY(()) rtx_nonjump_insn : public rtx_insn | |
438 | { | |
439 | /* No extra fields, but adds the invariant: | |
440 | NONJUMP_INSN_P (X) aka (GET_CODE (X) == INSN) | |
441 | i.e an instruction that cannot jump. | |
442 | ||
443 | This is an instance of: | |
444 | DEF_RTL_EXPR(INSN, "insn", "uuBeiie", RTX_INSN) | |
445 | from rtl.def. */ | |
446 | }; | |
447 | ||
448 | class GTY(()) rtx_jump_insn : public rtx_insn | |
449 | { | |
450 | /* No extra fields, but adds the invariant: | |
451 | JUMP_P (X) aka (GET_CODE (X) == JUMP_INSN) | |
452 | i.e. an instruction that can possibly jump. | |
453 | ||
454 | This is an instance of: | |
455 | DEF_RTL_EXPR(JUMP_INSN, "jump_insn", "uuBeiie0", RTX_INSN) | |
456 | from rtl.def. */ | |
457 | }; | |
458 | ||
459 | class GTY(()) rtx_call_insn : public rtx_insn | |
460 | { | |
461 | /* No extra fields, but adds the invariant: | |
462 | CALL_P (X) aka (GET_CODE (X) == CALL_INSN) | |
463 | i.e. an instruction that can possibly call a subroutine | |
464 | but which will not change which instruction comes next | |
465 | in the current function. | |
466 | ||
467 | This is an instance of: | |
468 | DEF_RTL_EXPR(CALL_INSN, "call_insn", "uuBeiiee", RTX_INSN) | |
469 | from rtl.def. */ | |
470 | }; | |
471 | ||
472 | class GTY(()) rtx_jump_table_data : public rtx_insn | |
473 | { | |
474 | /* No extra fields, but adds the invariant: | |
475 | JUMP_TABLE_DATA_P (X) aka (GET_CODE (INSN) == JUMP_TABLE_DATA) | |
476 | i.e. a data for a jump table, considered an instruction for | |
477 | historical reasons. | |
478 | ||
479 | This is an instance of: | |
480 | DEF_RTL_EXPR(JUMP_TABLE_DATA, "jump_table_data", "uuBe0000", RTX_INSN) | |
481 | from rtl.def. */ | |
482 | }; | |
483 | ||
484 | class GTY(()) rtx_barrier : public rtx_insn | |
485 | { | |
486 | /* No extra fields, but adds the invariant: | |
487 | BARRIER_P (X) aka (GET_CODE (X) == BARRIER) | |
488 | i.e. a marker that indicates that control will not flow through. | |
489 | ||
490 | This is an instance of: | |
491 | DEF_RTL_EXPR(BARRIER, "barrier", "uu00000", RTX_EXTRA) | |
492 | from rtl.def. */ | |
493 | }; | |
494 | ||
495 | class GTY(()) rtx_code_label : public rtx_insn | |
496 | { | |
497 | /* No extra fields, but adds the invariant: | |
498 | LABEL_P (X) aka (GET_CODE (X) == CODE_LABEL) | |
499 | i.e. a label in the assembler. | |
500 | ||
501 | This is an instance of: | |
502 | DEF_RTL_EXPR(CODE_LABEL, "code_label", "uuB00is", RTX_EXTRA) | |
503 | from rtl.def. */ | |
504 | }; | |
505 | ||
506 | class GTY(()) rtx_note : public rtx_insn | |
507 | { | |
508 | /* No extra fields, but adds the invariant: | |
509 | NOTE_P(X) aka (GET_CODE (X) == NOTE) | |
510 | i.e. a note about the corresponding source code. | |
511 | ||
512 | This is an instance of: | |
513 | DEF_RTL_EXPR(NOTE, "note", "uuB0ni", RTX_EXTRA) | |
514 | from rtl.def. */ | |
515 | }; | |
516 | ||
bf6b5685 | 517 | /* The size in bytes of an rtx header (code, mode and flags). */ |
518 | #define RTX_HDR_SIZE offsetof (struct rtx_def, u) | |
519 | ||
520 | /* The size in bytes of an rtx with code CODE. */ | |
f2d0e9f1 | 521 | #define RTX_CODE_SIZE(CODE) rtx_code_size[CODE] |
bf6b5685 | 522 | |
759bebca | 523 | #define NULL_RTX (rtx) 0 |
524 | ||
c849df63 | 525 | /* The "next" and "previous" RTX, relative to this one. */ |
526 | ||
527 | #define RTX_NEXT(X) (rtx_next[GET_CODE (X)] == 0 ? NULL \ | |
528 | : *(rtx *)(((char *)X) + rtx_next[GET_CODE (X)])) | |
529 | ||
530 | /* FIXME: the "NEXT_INSN (PREV_INSN (X)) == X" condition shouldn't be needed. | |
531 | */ | |
6d7dc5b9 | 532 | #define RTX_PREV(X) ((INSN_P (X) \ |
533 | || NOTE_P (X) \ | |
91f71fa3 | 534 | || JUMP_TABLE_DATA_P (X) \ |
6d7dc5b9 | 535 | || BARRIER_P (X) \ |
536 | || LABEL_P (X)) \ | |
c849df63 | 537 | && PREV_INSN (X) != NULL \ |
538 | && NEXT_INSN (PREV_INSN (X)) == X \ | |
539 | ? PREV_INSN (X) : NULL) | |
540 | ||
759bebca | 541 | /* Define macros to access the `code' field of the rtx. */ |
542 | ||
0fd4500a | 543 | #define GET_CODE(RTX) ((enum rtx_code) (RTX)->code) |
2aea9e36 | 544 | #define PUT_CODE(RTX, CODE) ((RTX)->code = (CODE)) |
759bebca | 545 | |
0fd4500a | 546 | #define GET_MODE(RTX) ((enum machine_mode) (RTX)->mode) |
2aea9e36 | 547 | #define PUT_MODE(RTX, MODE) ((RTX)->mode = (MODE)) |
759bebca | 548 | |
759bebca | 549 | /* RTL vector. These appear inside RTX's when there is a need |
550 | for a variable number of things. The principle use is inside | |
551 | PARALLEL expressions. */ | |
552 | ||
25a27413 | 553 | struct GTY(()) rtvec_def { |
0dbd1c74 | 554 | int num_elem; /* number of elements */ |
1f3233d1 | 555 | rtx GTY ((length ("%h.num_elem"))) elem[1]; |
6a3e3d6d | 556 | }; |
759bebca | 557 | |
3a54beaf | 558 | #define NULL_RTVEC (rtvec) 0 |
559 | ||
759bebca | 560 | #define GET_NUM_ELEM(RTVEC) ((RTVEC)->num_elem) |
0dbd1c74 | 561 | #define PUT_NUM_ELEM(RTVEC, NUM) ((RTVEC)->num_elem = (NUM)) |
759bebca | 562 | |
e75781d3 | 563 | /* Predicate yielding nonzero iff X is an rtx for a register. */ |
759bebca | 564 | #define REG_P(X) (GET_CODE (X) == REG) |
565 | ||
e75781d3 | 566 | /* Predicate yielding nonzero iff X is an rtx for a memory location. */ |
567 | #define MEM_P(X) (GET_CODE (X) == MEM) | |
568 | ||
e913b5cd | 569 | #if TARGET_SUPPORTS_WIDE_INT |
570 | ||
571 | /* Match CONST_*s that can represent compile-time constant integers. */ | |
572 | #define CASE_CONST_SCALAR_INT \ | |
573 | case CONST_INT: \ | |
574 | case CONST_WIDE_INT | |
575 | ||
ddb1be65 | 576 | /* Match CONST_*s for which pointer equality corresponds to value |
e913b5cd | 577 | equality. */ |
578 | #define CASE_CONST_UNIQUE \ | |
579 | case CONST_INT: \ | |
580 | case CONST_WIDE_INT: \ | |
581 | case CONST_DOUBLE: \ | |
582 | case CONST_FIXED | |
583 | ||
584 | /* Match all CONST_* rtxes. */ | |
585 | #define CASE_CONST_ANY \ | |
586 | case CONST_INT: \ | |
587 | case CONST_WIDE_INT: \ | |
588 | case CONST_DOUBLE: \ | |
589 | case CONST_FIXED: \ | |
590 | case CONST_VECTOR | |
591 | ||
592 | #else | |
593 | ||
0349edce | 594 | /* Match CONST_*s that can represent compile-time constant integers. */ |
595 | #define CASE_CONST_SCALAR_INT \ | |
596 | case CONST_INT: \ | |
597 | case CONST_DOUBLE | |
598 | ||
ab2c1de8 | 599 | /* Match CONST_*s for which pointer equality corresponds to value |
600 | equality. */ | |
0349edce | 601 | #define CASE_CONST_UNIQUE \ |
602 | case CONST_INT: \ | |
603 | case CONST_DOUBLE: \ | |
604 | case CONST_FIXED | |
605 | ||
606 | /* Match all CONST_* rtxes. */ | |
607 | #define CASE_CONST_ANY \ | |
608 | case CONST_INT: \ | |
609 | case CONST_DOUBLE: \ | |
610 | case CONST_FIXED: \ | |
611 | case CONST_VECTOR | |
e913b5cd | 612 | #endif |
613 | ||
9ca2c29a | 614 | /* Predicate yielding nonzero iff X is an rtx for a constant integer. */ |
97590808 | 615 | #define CONST_INT_P(X) (GET_CODE (X) == CONST_INT) |
616 | ||
e913b5cd | 617 | /* Predicate yielding nonzero iff X is an rtx for a constant integer. */ |
618 | #define CONST_WIDE_INT_P(X) (GET_CODE (X) == CONST_WIDE_INT) | |
619 | ||
fdbe20f6 | 620 | /* Predicate yielding nonzero iff X is an rtx for a constant fixed-point. */ |
621 | #define CONST_FIXED_P(X) (GET_CODE (X) == CONST_FIXED) | |
622 | ||
33274180 | 623 | /* Predicate yielding true iff X is an rtx for a double-int |
624 | or floating point constant. */ | |
625 | #define CONST_DOUBLE_P(X) (GET_CODE (X) == CONST_DOUBLE) | |
626 | ||
78f1962f | 627 | /* Predicate yielding true iff X is an rtx for a double-int. */ |
628 | #define CONST_DOUBLE_AS_INT_P(X) \ | |
629 | (GET_CODE (X) == CONST_DOUBLE && GET_MODE (X) == VOIDmode) | |
630 | ||
efa08fc2 | 631 | /* Predicate yielding true iff X is an rtx for a integer const. */ |
e913b5cd | 632 | #if TARGET_SUPPORTS_WIDE_INT |
633 | #define CONST_SCALAR_INT_P(X) \ | |
634 | (CONST_INT_P (X) || CONST_WIDE_INT_P (X)) | |
635 | #else | |
efa08fc2 | 636 | #define CONST_SCALAR_INT_P(X) \ |
637 | (CONST_INT_P (X) || CONST_DOUBLE_AS_INT_P (X)) | |
e913b5cd | 638 | #endif |
efa08fc2 | 639 | |
78f1962f | 640 | /* Predicate yielding true iff X is an rtx for a double-int. */ |
641 | #define CONST_DOUBLE_AS_FLOAT_P(X) \ | |
642 | (GET_CODE (X) == CONST_DOUBLE && GET_MODE (X) != VOIDmode) | |
643 | ||
1deb248e | 644 | /* Predicate yielding nonzero iff X is a label insn. */ |
645 | #define LABEL_P(X) (GET_CODE (X) == CODE_LABEL) | |
646 | ||
647 | /* Predicate yielding nonzero iff X is a jump insn. */ | |
648 | #define JUMP_P(X) (GET_CODE (X) == JUMP_INSN) | |
649 | ||
e75781d3 | 650 | /* Predicate yielding nonzero iff X is a call insn. */ |
651 | #define CALL_P(X) (GET_CODE (X) == CALL_INSN) | |
652 | ||
653 | /* Predicate yielding nonzero iff X is an insn that cannot jump. */ | |
654 | #define NONJUMP_INSN_P(X) (GET_CODE (X) == INSN) | |
655 | ||
9845d120 | 656 | /* Predicate yielding nonzero iff X is a debug note/insn. */ |
657 | #define DEBUG_INSN_P(X) (GET_CODE (X) == DEBUG_INSN) | |
658 | ||
659 | /* Predicate yielding nonzero iff X is an insn that is not a debug insn. */ | |
660 | #define NONDEBUG_INSN_P(X) (INSN_P (X) && !DEBUG_INSN_P (X)) | |
661 | ||
662 | /* Nonzero if DEBUG_INSN_P may possibly hold. */ | |
4a020a8c | 663 | #define MAY_HAVE_DEBUG_INSNS (flag_var_tracking_assignments) |
9845d120 | 664 | |
e75781d3 | 665 | /* Predicate yielding nonzero iff X is a real insn. */ |
666 | #define INSN_P(X) \ | |
9845d120 | 667 | (NONJUMP_INSN_P (X) || DEBUG_INSN_P (X) || JUMP_P (X) || CALL_P (X)) |
e75781d3 | 668 | |
1deb248e | 669 | /* Predicate yielding nonzero iff X is a note insn. */ |
670 | #define NOTE_P(X) (GET_CODE (X) == NOTE) | |
671 | ||
672 | /* Predicate yielding nonzero iff X is a barrier insn. */ | |
673 | #define BARRIER_P(X) (GET_CODE (X) == BARRIER) | |
674 | ||
675 | /* Predicate yielding nonzero iff X is a data for a jump table. */ | |
91f71fa3 | 676 | #define JUMP_TABLE_DATA_P(INSN) (GET_CODE (INSN) == JUMP_TABLE_DATA) |
1deb248e | 677 | |
a0416db5 | 678 | template <> |
679 | template <> | |
680 | inline bool | |
681 | is_a_helper <rtx_insn *>::test (rtx rt) | |
682 | { | |
683 | return (INSN_P (rt) | |
684 | || NOTE_P (rt) | |
685 | || JUMP_TABLE_DATA_P (rt) | |
686 | || BARRIER_P (rt) | |
687 | || LABEL_P (rt)); | |
688 | } | |
689 | ||
690 | template <> | |
691 | template <> | |
692 | inline bool | |
693 | is_a_helper <const rtx_insn *>::test (const_rtx rt) | |
694 | { | |
695 | return (INSN_P (rt) | |
696 | || NOTE_P (rt) | |
697 | || JUMP_TABLE_DATA_P (rt) | |
698 | || BARRIER_P (rt) | |
699 | || LABEL_P (rt)); | |
700 | } | |
701 | ||
e1d13ab6 | 702 | template <> |
703 | template <> | |
704 | inline bool | |
705 | is_a_helper <rtx_debug_insn *>::test (rtx rt) | |
706 | { | |
707 | return DEBUG_INSN_P (rt); | |
708 | } | |
709 | ||
710 | template <> | |
711 | template <> | |
712 | inline bool | |
713 | is_a_helper <rtx_nonjump_insn *>::test (rtx rt) | |
714 | { | |
715 | return NONJUMP_INSN_P (rt); | |
716 | } | |
717 | ||
718 | template <> | |
719 | template <> | |
720 | inline bool | |
721 | is_a_helper <rtx_jump_insn *>::test (rtx rt) | |
722 | { | |
723 | return JUMP_P (rt); | |
724 | } | |
725 | ||
726 | template <> | |
727 | template <> | |
728 | inline bool | |
729 | is_a_helper <rtx_call_insn *>::test (rtx rt) | |
730 | { | |
731 | return CALL_P (rt); | |
732 | } | |
733 | ||
ec22da62 | 734 | template <> |
735 | template <> | |
736 | inline bool | |
737 | is_a_helper <rtx_call_insn *>::test (rtx_insn *insn) | |
738 | { | |
739 | return CALL_P (insn); | |
740 | } | |
741 | ||
e1d13ab6 | 742 | template <> |
743 | template <> | |
744 | inline bool | |
745 | is_a_helper <rtx_jump_table_data *>::test (rtx rt) | |
746 | { | |
747 | return JUMP_TABLE_DATA_P (rt); | |
748 | } | |
749 | ||
750 | template <> | |
751 | template <> | |
752 | inline bool | |
753 | is_a_helper <rtx_jump_table_data *>::test (rtx_insn *insn) | |
754 | { | |
755 | return JUMP_TABLE_DATA_P (insn); | |
756 | } | |
757 | ||
758 | template <> | |
759 | template <> | |
760 | inline bool | |
761 | is_a_helper <rtx_barrier *>::test (rtx rt) | |
762 | { | |
763 | return BARRIER_P (rt); | |
764 | } | |
765 | ||
766 | template <> | |
767 | template <> | |
768 | inline bool | |
769 | is_a_helper <rtx_code_label *>::test (rtx rt) | |
770 | { | |
771 | return LABEL_P (rt); | |
772 | } | |
773 | ||
774 | template <> | |
775 | template <> | |
776 | inline bool | |
777 | is_a_helper <rtx_code_label *>::test (rtx_insn *insn) | |
778 | { | |
779 | return LABEL_P (insn); | |
780 | } | |
781 | ||
782 | template <> | |
783 | template <> | |
784 | inline bool | |
785 | is_a_helper <rtx_note *>::test (rtx rt) | |
786 | { | |
787 | return NOTE_P (rt); | |
788 | } | |
789 | ||
790 | template <> | |
791 | template <> | |
792 | inline bool | |
793 | is_a_helper <rtx_note *>::test (rtx_insn *insn) | |
794 | { | |
795 | return NOTE_P (insn); | |
796 | } | |
797 | ||
9cb2517e | 798 | /* Predicate yielding nonzero iff X is a return or simple_return. */ |
799 | #define ANY_RETURN_P(X) \ | |
800 | (GET_CODE (X) == RETURN || GET_CODE (X) == SIMPLE_RETURN) | |
4115ac36 | 801 | |
6720e96c | 802 | /* 1 if X is a unary operator. */ |
803 | ||
804 | #define UNARY_P(X) \ | |
805 | (GET_RTX_CLASS (GET_CODE (X)) == RTX_UNARY) | |
806 | ||
807 | /* 1 if X is a binary operator. */ | |
808 | ||
809 | #define BINARY_P(X) \ | |
810 | ((GET_RTX_CLASS (GET_CODE (X)) & RTX_BINARY_MASK) == RTX_BINARY_RESULT) | |
811 | ||
812 | /* 1 if X is an arithmetic operator. */ | |
813 | ||
814 | #define ARITHMETIC_P(X) \ | |
815 | ((GET_RTX_CLASS (GET_CODE (X)) & RTX_ARITHMETIC_MASK) \ | |
816 | == RTX_ARITHMETIC_RESULT) | |
817 | ||
818 | /* 1 if X is an arithmetic operator. */ | |
819 | ||
820 | #define COMMUTATIVE_ARITH_P(X) \ | |
821 | (GET_RTX_CLASS (GET_CODE (X)) == RTX_COMM_ARITH) | |
822 | ||
823 | /* 1 if X is a commutative arithmetic operator or a comparison operator. | |
824 | These two are sometimes selected together because it is possible to | |
825 | swap the two operands. */ | |
826 | ||
827 | #define SWAPPABLE_OPERANDS_P(X) \ | |
828 | ((1 << GET_RTX_CLASS (GET_CODE (X))) \ | |
829 | & ((1 << RTX_COMM_ARITH) | (1 << RTX_COMM_COMPARE) \ | |
830 | | (1 << RTX_COMPARE))) | |
831 | ||
832 | /* 1 if X is a non-commutative operator. */ | |
833 | ||
834 | #define NON_COMMUTATIVE_P(X) \ | |
835 | ((GET_RTX_CLASS (GET_CODE (X)) & RTX_COMMUTATIVE_MASK) \ | |
836 | == RTX_NON_COMMUTATIVE_RESULT) | |
837 | ||
838 | /* 1 if X is a commutative operator on integers. */ | |
839 | ||
840 | #define COMMUTATIVE_P(X) \ | |
841 | ((GET_RTX_CLASS (GET_CODE (X)) & RTX_COMMUTATIVE_MASK) \ | |
842 | == RTX_COMMUTATIVE_RESULT) | |
843 | ||
844 | /* 1 if X is a relational operator. */ | |
845 | ||
846 | #define COMPARISON_P(X) \ | |
847 | ((GET_RTX_CLASS (GET_CODE (X)) & RTX_COMPARE_MASK) == RTX_COMPARE_RESULT) | |
848 | ||
759bebca | 849 | /* 1 if X is a constant value that is an integer. */ |
850 | ||
851 | #define CONSTANT_P(X) \ | |
0824c0d2 | 852 | (GET_RTX_CLASS (GET_CODE (X)) == RTX_CONST_OBJ) |
759bebca | 853 | |
6720e96c | 854 | /* 1 if X can be used to represent an object. */ |
855 | #define OBJECT_P(X) \ | |
856 | ((GET_RTX_CLASS (GET_CODE (X)) & RTX_OBJ_MASK) == RTX_OBJ_RESULT) | |
857 | ||
759bebca | 858 | /* General accessor macros for accessing the fields of an rtx. */ |
859 | ||
0c4e40c5 | 860 | #if defined ENABLE_RTL_CHECKING && (GCC_VERSION >= 2007) |
25999090 | 861 | /* The bit with a star outside the statement expr and an & inside is |
862 | so that N can be evaluated only once. */ | |
db7e2f59 | 863 | #define RTL_CHECK1(RTX, N, C1) __extension__ \ |
0c16c31b | 864 | (*({ __typeof (RTX) const _rtx = (RTX); const int _n = (N); \ |
861589fe | 865 | const enum rtx_code _code = GET_CODE (_rtx); \ |
25999090 | 866 | if (_n < 0 || _n >= GET_RTX_LENGTH (_code)) \ |
017c31d6 | 867 | rtl_check_failed_bounds (_rtx, _n, __FILE__, __LINE__, \ |
868 | __FUNCTION__); \ | |
9af5ce0c | 869 | if (GET_RTX_FORMAT (_code)[_n] != C1) \ |
017c31d6 | 870 | rtl_check_failed_type1 (_rtx, _n, C1, __FILE__, __LINE__, \ |
871 | __FUNCTION__); \ | |
bf6b5685 | 872 | &_rtx->u.fld[_n]; })) |
25999090 | 873 | |
db7e2f59 | 874 | #define RTL_CHECK2(RTX, N, C1, C2) __extension__ \ |
0c16c31b | 875 | (*({ __typeof (RTX) const _rtx = (RTX); const int _n = (N); \ |
861589fe | 876 | const enum rtx_code _code = GET_CODE (_rtx); \ |
25999090 | 877 | if (_n < 0 || _n >= GET_RTX_LENGTH (_code)) \ |
017c31d6 | 878 | rtl_check_failed_bounds (_rtx, _n, __FILE__, __LINE__, \ |
879 | __FUNCTION__); \ | |
9af5ce0c | 880 | if (GET_RTX_FORMAT (_code)[_n] != C1 \ |
881 | && GET_RTX_FORMAT (_code)[_n] != C2) \ | |
25999090 | 882 | rtl_check_failed_type2 (_rtx, _n, C1, C2, __FILE__, __LINE__, \ |
19fafbd3 | 883 | __FUNCTION__); \ |
bf6b5685 | 884 | &_rtx->u.fld[_n]; })) |
25999090 | 885 | |
db7e2f59 | 886 | #define RTL_CHECKC1(RTX, N, C) __extension__ \ |
0c16c31b | 887 | (*({ __typeof (RTX) const _rtx = (RTX); const int _n = (N); \ |
017c31d6 | 888 | if (GET_CODE (_rtx) != (C)) \ |
889 | rtl_check_failed_code1 (_rtx, (C), __FILE__, __LINE__, \ | |
890 | __FUNCTION__); \ | |
bf6b5685 | 891 | &_rtx->u.fld[_n]; })) |
005d995b | 892 | |
db7e2f59 | 893 | #define RTL_CHECKC2(RTX, N, C1, C2) __extension__ \ |
0c16c31b | 894 | (*({ __typeof (RTX) const _rtx = (RTX); const int _n = (N); \ |
861589fe | 895 | const enum rtx_code _code = GET_CODE (_rtx); \ |
017c31d6 | 896 | if (_code != (C1) && _code != (C2)) \ |
897 | rtl_check_failed_code2 (_rtx, (C1), (C2), __FILE__, __LINE__, \ | |
898 | __FUNCTION__); \ | |
bf6b5685 | 899 | &_rtx->u.fld[_n]; })) |
005d995b | 900 | |
db7e2f59 | 901 | #define RTVEC_ELT(RTVEC, I) __extension__ \ |
0c16c31b | 902 | (*({ __typeof (RTVEC) const _rtvec = (RTVEC); const int _i = (I); \ |
25999090 | 903 | if (_i < 0 || _i >= GET_NUM_ELEM (_rtvec)) \ |
904 | rtvec_check_failed_bounds (_rtvec, _i, __FILE__, __LINE__, \ | |
19fafbd3 | 905 | __FUNCTION__); \ |
25999090 | 906 | &_rtvec->elem[_i]; })) |
907 | ||
bf6b5685 | 908 | #define XWINT(RTX, N) __extension__ \ |
0c16c31b | 909 | (*({ __typeof (RTX) const _rtx = (RTX); const int _n = (N); \ |
bf6b5685 | 910 | const enum rtx_code _code = GET_CODE (_rtx); \ |
911 | if (_n < 0 || _n >= GET_RTX_LENGTH (_code)) \ | |
912 | rtl_check_failed_bounds (_rtx, _n, __FILE__, __LINE__, \ | |
913 | __FUNCTION__); \ | |
9af5ce0c | 914 | if (GET_RTX_FORMAT (_code)[_n] != 'w') \ |
bf6b5685 | 915 | rtl_check_failed_type1 (_rtx, _n, 'w', __FILE__, __LINE__, \ |
916 | __FUNCTION__); \ | |
917 | &_rtx->u.hwint[_n]; })) | |
918 | ||
05c25ee6 | 919 | #define CWI_ELT(RTX, I) __extension__ \ |
8e5ec000 | 920 | (*({ __typeof (RTX) const _cwi = (RTX); \ |
921 | int _max = CWI_GET_NUM_ELEM (_cwi); \ | |
05c25ee6 | 922 | const int _i = (I); \ |
923 | if (_i < 0 || _i >= _max) \ | |
8e5ec000 | 924 | cwi_check_failed_bounds (_cwi, _i, __FILE__, __LINE__, \ |
05c25ee6 | 925 | __FUNCTION__); \ |
8e5ec000 | 926 | &_cwi->u.hwiv.elem[_i]; })) |
e913b5cd | 927 | |
bf6b5685 | 928 | #define XCWINT(RTX, N, C) __extension__ \ |
0c16c31b | 929 | (*({ __typeof (RTX) const _rtx = (RTX); \ |
bf6b5685 | 930 | if (GET_CODE (_rtx) != (C)) \ |
931 | rtl_check_failed_code1 (_rtx, (C), __FILE__, __LINE__, \ | |
932 | __FUNCTION__); \ | |
933 | &_rtx->u.hwint[N]; })) | |
934 | ||
e8aaae4e | 935 | #define XCMWINT(RTX, N, C, M) __extension__ \ |
0c16c31b | 936 | (*({ __typeof (RTX) const _rtx = (RTX); \ |
e8aaae4e | 937 | if (GET_CODE (_rtx) != (C) || GET_MODE (_rtx) != (M)) \ |
938 | rtl_check_failed_code_mode (_rtx, (C), (M), false, __FILE__, \ | |
939 | __LINE__, __FUNCTION__); \ | |
940 | &_rtx->u.hwint[N]; })) | |
941 | ||
942 | #define XCNMPRV(RTX, C, M) __extension__ \ | |
0c16c31b | 943 | ({ __typeof (RTX) const _rtx = (RTX); \ |
e8aaae4e | 944 | if (GET_CODE (_rtx) != (C) || GET_MODE (_rtx) == (M)) \ |
945 | rtl_check_failed_code_mode (_rtx, (C), (M), true, __FILE__, \ | |
946 | __LINE__, __FUNCTION__); \ | |
947 | &_rtx->u.rv; }) | |
948 | ||
e397ad8e | 949 | #define XCNMPFV(RTX, C, M) __extension__ \ |
6463c271 | 950 | ({ __typeof (RTX) const _rtx = (RTX); \ |
e397ad8e | 951 | if (GET_CODE (_rtx) != (C) || GET_MODE (_rtx) == (M)) \ |
952 | rtl_check_failed_code_mode (_rtx, (C), (M), true, __FILE__, \ | |
953 | __LINE__, __FUNCTION__); \ | |
954 | &_rtx->u.fv; }) | |
955 | ||
f2d0e9f1 | 956 | #define BLOCK_SYMBOL_CHECK(RTX) __extension__ \ |
0c16c31b | 957 | ({ __typeof (RTX) const _symbol = (RTX); \ |
dd9571fd | 958 | const unsigned int flags = SYMBOL_REF_FLAGS (_symbol); \ |
6617cbc1 | 959 | if ((flags & SYMBOL_FLAG_HAS_BLOCK_INFO) == 0) \ |
f2d0e9f1 | 960 | rtl_check_failed_block_symbol (__FILE__, __LINE__, \ |
961 | __FUNCTION__); \ | |
962 | &_symbol->u.block_sym; }) | |
963 | ||
e913b5cd | 964 | #define HWIVEC_CHECK(RTX,C) __extension__ \ |
965 | ({ __typeof (RTX) const _symbol = (RTX); \ | |
966 | RTL_CHECKC1 (_symbol, 0, C); \ | |
967 | &_symbol->u.hwiv; }) | |
968 | ||
dd9b9fc5 | 969 | extern void rtl_check_failed_bounds (const_rtx, int, const char *, int, |
3ad4992f | 970 | const char *) |
25999090 | 971 | ATTRIBUTE_NORETURN; |
dd9b9fc5 | 972 | extern void rtl_check_failed_type1 (const_rtx, int, int, const char *, int, |
3ad4992f | 973 | const char *) |
25999090 | 974 | ATTRIBUTE_NORETURN; |
dd9b9fc5 | 975 | extern void rtl_check_failed_type2 (const_rtx, int, int, int, const char *, |
3ad4992f | 976 | int, const char *) |
25999090 | 977 | ATTRIBUTE_NORETURN; |
dd9b9fc5 | 978 | extern void rtl_check_failed_code1 (const_rtx, enum rtx_code, const char *, |
3ad4992f | 979 | int, const char *) |
005d995b | 980 | ATTRIBUTE_NORETURN; |
dd9b9fc5 | 981 | extern void rtl_check_failed_code2 (const_rtx, enum rtx_code, enum rtx_code, |
3ad4992f | 982 | const char *, int, const char *) |
005d995b | 983 | ATTRIBUTE_NORETURN; |
dd9b9fc5 | 984 | extern void rtl_check_failed_code_mode (const_rtx, enum rtx_code, enum machine_mode, |
e8aaae4e | 985 | bool, const char *, int, const char *) |
986 | ATTRIBUTE_NORETURN; | |
f2d0e9f1 | 987 | extern void rtl_check_failed_block_symbol (const char *, int, const char *) |
988 | ATTRIBUTE_NORETURN; | |
05c25ee6 | 989 | extern void cwi_check_failed_bounds (const_rtx, int, const char *, int, |
990 | const char *) | |
e913b5cd | 991 | ATTRIBUTE_NORETURN; |
dd9b9fc5 | 992 | extern void rtvec_check_failed_bounds (const_rtvec, int, const char *, int, |
3ad4992f | 993 | const char *) |
25999090 | 994 | ATTRIBUTE_NORETURN; |
995 | ||
0c4e40c5 | 996 | #else /* not ENABLE_RTL_CHECKING */ |
25999090 | 997 | |
bf6b5685 | 998 | #define RTL_CHECK1(RTX, N, C1) ((RTX)->u.fld[N]) |
999 | #define RTL_CHECK2(RTX, N, C1, C2) ((RTX)->u.fld[N]) | |
1000 | #define RTL_CHECKC1(RTX, N, C) ((RTX)->u.fld[N]) | |
1001 | #define RTL_CHECKC2(RTX, N, C1, C2) ((RTX)->u.fld[N]) | |
005d995b | 1002 | #define RTVEC_ELT(RTVEC, I) ((RTVEC)->elem[I]) |
bf6b5685 | 1003 | #define XWINT(RTX, N) ((RTX)->u.hwint[N]) |
05c25ee6 | 1004 | #define CWI_ELT(RTX, I) ((RTX)->u.hwiv.elem[I]) |
bf6b5685 | 1005 | #define XCWINT(RTX, N, C) ((RTX)->u.hwint[N]) |
e8aaae4e | 1006 | #define XCMWINT(RTX, N, C, M) ((RTX)->u.hwint[N]) |
1007 | #define XCNMWINT(RTX, N, C, M) ((RTX)->u.hwint[N]) | |
1008 | #define XCNMPRV(RTX, C, M) (&(RTX)->u.rv) | |
e397ad8e | 1009 | #define XCNMPFV(RTX, C, M) (&(RTX)->u.fv) |
f2d0e9f1 | 1010 | #define BLOCK_SYMBOL_CHECK(RTX) (&(RTX)->u.block_sym) |
e913b5cd | 1011 | #define HWIVEC_CHECK(RTX,C) (&(RTX)->u.hwiv) |
25999090 | 1012 | |
1013 | #endif | |
1014 | ||
e7f75e15 | 1015 | /* General accessor macros for accessing the flags of an rtx. */ |
1016 | ||
1017 | /* Access an individual rtx flag, with no checking of any kind. */ | |
1018 | #define RTX_FLAG(RTX, FLAG) ((RTX)->FLAG) | |
1019 | ||
9b535aa8 | 1020 | #if defined ENABLE_RTL_FLAG_CHECKING && (GCC_VERSION >= 2007) |
3c6858c6 | 1021 | #define RTL_FLAG_CHECK1(NAME, RTX, C1) __extension__ \ |
0c16c31b | 1022 | ({ __typeof (RTX) const _rtx = (RTX); \ |
9af5ce0c | 1023 | if (GET_CODE (_rtx) != C1) \ |
3c6858c6 | 1024 | rtl_check_failed_flag (NAME, _rtx, __FILE__, __LINE__, \ |
1a97be37 | 1025 | __FUNCTION__); \ |
e7f75e15 | 1026 | _rtx; }) |
1027 | ||
3c6858c6 | 1028 | #define RTL_FLAG_CHECK2(NAME, RTX, C1, C2) __extension__ \ |
0c16c31b | 1029 | ({ __typeof (RTX) const _rtx = (RTX); \ |
9af5ce0c | 1030 | if (GET_CODE (_rtx) != C1 && GET_CODE(_rtx) != C2) \ |
3c6858c6 | 1031 | rtl_check_failed_flag (NAME,_rtx, __FILE__, __LINE__, \ |
1a97be37 | 1032 | __FUNCTION__); \ |
e7f75e15 | 1033 | _rtx; }) |
1034 | ||
3c6858c6 | 1035 | #define RTL_FLAG_CHECK3(NAME, RTX, C1, C2, C3) __extension__ \ |
0c16c31b | 1036 | ({ __typeof (RTX) const _rtx = (RTX); \ |
9af5ce0c | 1037 | if (GET_CODE (_rtx) != C1 && GET_CODE(_rtx) != C2 \ |
1038 | && GET_CODE (_rtx) != C3) \ | |
3c6858c6 | 1039 | rtl_check_failed_flag (NAME, _rtx, __FILE__, __LINE__, \ |
1a97be37 | 1040 | __FUNCTION__); \ |
e7f75e15 | 1041 | _rtx; }) |
1042 | ||
3c6858c6 | 1043 | #define RTL_FLAG_CHECK4(NAME, RTX, C1, C2, C3, C4) __extension__ \ |
0c16c31b | 1044 | ({ __typeof (RTX) const _rtx = (RTX); \ |
9af5ce0c | 1045 | if (GET_CODE (_rtx) != C1 && GET_CODE(_rtx) != C2 \ |
1046 | && GET_CODE (_rtx) != C3 && GET_CODE(_rtx) != C4) \ | |
3c6858c6 | 1047 | rtl_check_failed_flag (NAME, _rtx, __FILE__, __LINE__, \ |
1a97be37 | 1048 | __FUNCTION__); \ |
e7f75e15 | 1049 | _rtx; }) |
1050 | ||
3c6858c6 | 1051 | #define RTL_FLAG_CHECK5(NAME, RTX, C1, C2, C3, C4, C5) __extension__ \ |
0c16c31b | 1052 | ({ __typeof (RTX) const _rtx = (RTX); \ |
9af5ce0c | 1053 | if (GET_CODE (_rtx) != C1 && GET_CODE (_rtx) != C2 \ |
1054 | && GET_CODE (_rtx) != C3 && GET_CODE (_rtx) != C4 \ | |
1055 | && GET_CODE (_rtx) != C5) \ | |
3c6858c6 | 1056 | rtl_check_failed_flag (NAME, _rtx, __FILE__, __LINE__, \ |
1a97be37 | 1057 | __FUNCTION__); \ |
e7f75e15 | 1058 | _rtx; }) |
1059 | ||
3c6858c6 | 1060 | #define RTL_FLAG_CHECK6(NAME, RTX, C1, C2, C3, C4, C5, C6) \ |
1061 | __extension__ \ | |
0c16c31b | 1062 | ({ __typeof (RTX) const _rtx = (RTX); \ |
9af5ce0c | 1063 | if (GET_CODE (_rtx) != C1 && GET_CODE (_rtx) != C2 \ |
1064 | && GET_CODE (_rtx) != C3 && GET_CODE (_rtx) != C4 \ | |
1065 | && GET_CODE (_rtx) != C5 && GET_CODE (_rtx) != C6) \ | |
3c6858c6 | 1066 | rtl_check_failed_flag (NAME,_rtx, __FILE__, __LINE__, \ |
1a97be37 | 1067 | __FUNCTION__); \ |
e7f75e15 | 1068 | _rtx; }) |
1069 | ||
3c6858c6 | 1070 | #define RTL_FLAG_CHECK7(NAME, RTX, C1, C2, C3, C4, C5, C6, C7) \ |
1071 | __extension__ \ | |
0c16c31b | 1072 | ({ __typeof (RTX) const _rtx = (RTX); \ |
9af5ce0c | 1073 | if (GET_CODE (_rtx) != C1 && GET_CODE (_rtx) != C2 \ |
1074 | && GET_CODE (_rtx) != C3 && GET_CODE (_rtx) != C4 \ | |
1075 | && GET_CODE (_rtx) != C5 && GET_CODE (_rtx) != C6 \ | |
1076 | && GET_CODE (_rtx) != C7) \ | |
3c6858c6 | 1077 | rtl_check_failed_flag (NAME, _rtx, __FILE__, __LINE__, \ |
1a97be37 | 1078 | __FUNCTION__); \ |
e7f75e15 | 1079 | _rtx; }) |
1080 | ||
5cda2bd0 | 1081 | #define RTL_INSN_CHAIN_FLAG_CHECK(NAME, RTX) \ |
3c6858c6 | 1082 | __extension__ \ |
0c16c31b | 1083 | ({ __typeof (RTX) const _rtx = (RTX); \ |
5cda2bd0 | 1084 | if (!INSN_CHAIN_CODE_P (GET_CODE (_rtx))) \ |
1085 | rtl_check_failed_flag (NAME, _rtx, __FILE__, __LINE__, \ | |
1086 | __FUNCTION__); \ | |
e7f75e15 | 1087 | _rtx; }) |
1088 | ||
dd9b9fc5 | 1089 | extern void rtl_check_failed_flag (const char *, const_rtx, const char *, |
3ad4992f | 1090 | int, const char *) |
e7f75e15 | 1091 | ATTRIBUTE_NORETURN |
1092 | ; | |
1093 | ||
1094 | #else /* not ENABLE_RTL_FLAG_CHECKING */ | |
1095 | ||
3c6858c6 | 1096 | #define RTL_FLAG_CHECK1(NAME, RTX, C1) (RTX) |
1097 | #define RTL_FLAG_CHECK2(NAME, RTX, C1, C2) (RTX) | |
1098 | #define RTL_FLAG_CHECK3(NAME, RTX, C1, C2, C3) (RTX) | |
1099 | #define RTL_FLAG_CHECK4(NAME, RTX, C1, C2, C3, C4) (RTX) | |
5cda2bd0 | 1100 | #define RTL_FLAG_CHECK5(NAME, RTX, C1, C2, C3, C4, C5) (RTX) |
3c6858c6 | 1101 | #define RTL_FLAG_CHECK6(NAME, RTX, C1, C2, C3, C4, C5, C6) (RTX) |
1102 | #define RTL_FLAG_CHECK7(NAME, RTX, C1, C2, C3, C4, C5, C6, C7) (RTX) | |
5cda2bd0 | 1103 | #define RTL_INSN_CHAIN_FLAG_CHECK(NAME, RTX) (RTX) |
e7f75e15 | 1104 | #endif |
1105 | ||
993d9e55 | 1106 | #define XINT(RTX, N) (RTL_CHECK2 (RTX, N, 'i', 'n').rt_int) |
5169661d | 1107 | #define XUINT(RTX, N) (RTL_CHECK2 (RTX, N, 'i', 'n').rt_uint) |
993d9e55 | 1108 | #define XSTR(RTX, N) (RTL_CHECK2 (RTX, N, 's', 'S').rt_str) |
1109 | #define XEXP(RTX, N) (RTL_CHECK2 (RTX, N, 'e', 'u').rt_rtx) | |
1110 | #define XVEC(RTX, N) (RTL_CHECK2 (RTX, N, 'E', 'V').rt_rtvec) | |
1111 | #define XMODE(RTX, N) (RTL_CHECK1 (RTX, N, 'M').rt_type) | |
993d9e55 | 1112 | #define XTREE(RTX, N) (RTL_CHECK1 (RTX, N, 't').rt_tree) |
1113 | #define XBBDEF(RTX, N) (RTL_CHECK1 (RTX, N, 'B').rt_bb) | |
1114 | #define XTMPL(RTX, N) (RTL_CHECK1 (RTX, N, 'T').rt_str) | |
46346a52 | 1115 | #define XCFI(RTX, N) (RTL_CHECK1 (RTX, N, 'C').rt_cfi) |
25999090 | 1116 | |
1117 | #define XVECEXP(RTX, N, M) RTVEC_ELT (XVEC (RTX, N), M) | |
1118 | #define XVECLEN(RTX, N) GET_NUM_ELEM (XVEC (RTX, N)) | |
1119 | ||
bf6b5685 | 1120 | /* These are like XINT, etc. except that they expect a '0' field instead |
25999090 | 1121 | of the normal type code. */ |
1122 | ||
993d9e55 | 1123 | #define X0INT(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_int) |
1124 | #define X0UINT(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_uint) | |
1125 | #define X0STR(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_str) | |
1126 | #define X0EXP(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_rtx) | |
1127 | #define X0VEC(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_rtvec) | |
1128 | #define X0MODE(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_type) | |
993d9e55 | 1129 | #define X0TREE(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_tree) |
1130 | #define X0BBDEF(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_bb) | |
017c31d6 | 1131 | #define X0ADVFLAGS(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_addr_diff_vec_flags) |
1132 | #define X0CSELIB(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_cselib) | |
993d9e55 | 1133 | #define X0MEMATTR(RTX, N) (RTL_CHECKC1 (RTX, N, MEM).rt_mem) |
1134 | #define X0REGATTR(RTX, N) (RTL_CHECKC1 (RTX, N, REG).rt_reg) | |
7c266bb1 | 1135 | #define X0CONSTANT(RTX, N) (RTL_CHECK1 (RTX, N, '0').rt_constant) |
017c31d6 | 1136 | |
bf6b5685 | 1137 | /* Access a '0' field with any type. */ |
1138 | #define X0ANY(RTX, N) RTL_CHECK1 (RTX, N, '0') | |
1139 | ||
993d9e55 | 1140 | #define XCINT(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rt_int) |
1141 | #define XCUINT(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rt_uint) | |
1142 | #define XCSTR(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rt_str) | |
1143 | #define XCEXP(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rt_rtx) | |
1144 | #define XCVEC(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rt_rtvec) | |
1145 | #define XCMODE(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rt_type) | |
993d9e55 | 1146 | #define XCTREE(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rt_tree) |
1147 | #define XCBBDEF(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rt_bb) | |
46346a52 | 1148 | #define XCCFI(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rt_cfi) |
017c31d6 | 1149 | #define XCCSELIB(RTX, N, C) (RTL_CHECKC1 (RTX, N, C).rt_cselib) |
005d995b | 1150 | |
6421ab11 | 1151 | #define XCVECEXP(RTX, N, M, C) RTVEC_ELT (XCVEC (RTX, N, C), M) |
1152 | #define XCVECLEN(RTX, N, C) GET_NUM_ELEM (XCVEC (RTX, N, C)) | |
005d995b | 1153 | |
993d9e55 | 1154 | #define XC2EXP(RTX, N, C1, C2) (RTL_CHECKC2 (RTX, N, C1, C2).rt_rtx) |
759bebca | 1155 | \f |
1156 | /* ACCESS MACROS for particular fields of insns. */ | |
1157 | ||
1158 | /* Holds a unique number for each insn. | |
1159 | These are not necessarily sequentially increasing. */ | |
5cda2bd0 | 1160 | #define INSN_UID(INSN) \ |
1161 | (RTL_INSN_CHAIN_FLAG_CHECK ("INSN_UID", (INSN))->u2.insn_uid) | |
759bebca | 1162 | |
1163 | /* Chain insns together in sequence. */ | |
9a38ecd7 | 1164 | |
4a57a2e8 | 1165 | /* For now these are split in two: an rvalue form: |
1166 | PREV_INSN/NEXT_INSN | |
1167 | and an lvalue form: | |
1168 | SET_NEXT_INSN/SET_PREV_INSN. */ | |
1169 | ||
9a38ecd7 | 1170 | inline rtx_insn *PREV_INSN (const_rtx insn) |
1171 | { | |
1172 | rtx prev = XEXP (insn, 0); | |
1173 | return safe_as_a <rtx_insn *> (prev); | |
1174 | } | |
1175 | ||
1176 | inline rtx& SET_PREV_INSN (rtx insn) | |
1177 | { | |
1178 | return XEXP (insn, 0); | |
1179 | } | |
1180 | ||
1181 | inline rtx_insn *NEXT_INSN (const_rtx insn) | |
1182 | { | |
1183 | rtx next = XEXP (insn, 1); | |
1184 | return safe_as_a <rtx_insn *> (next); | |
1185 | } | |
1186 | ||
1187 | inline rtx& SET_NEXT_INSN (rtx insn) | |
1188 | { | |
1189 | return XEXP (insn, 1); | |
1190 | } | |
759bebca | 1191 | |
5cda2bd0 | 1192 | #define BLOCK_FOR_INSN(INSN) XBBDEF (INSN, 2) |
3a55c112 | 1193 | |
1194 | /* The body of an insn. */ | |
5cda2bd0 | 1195 | #define PATTERN(INSN) XEXP (INSN, 3) |
3a55c112 | 1196 | |
5cda2bd0 | 1197 | #define INSN_LOCATION(INSN) XUINT (INSN, 4) |
5169661d | 1198 | |
8e7408e3 | 1199 | #define INSN_HAS_LOCATION(INSN) ((LOCATION_LOCUS (INSN_LOCATION (INSN)))\ |
1200 | != UNKNOWN_LOCATION) | |
5169661d | 1201 | |
e60a6f7b | 1202 | /* LOCATION of an RTX if relevant. */ |
1203 | #define RTL_LOCATION(X) (INSN_P (X) ? \ | |
5169661d | 1204 | INSN_LOCATION (X) : UNKNOWN_LOCATION) |
759bebca | 1205 | |
1206 | /* Code number of instruction, from when it was recognized. | |
1207 | -1 means this instruction has not been recognized yet. */ | |
5cda2bd0 | 1208 | #define INSN_CODE(INSN) XINT (INSN, 5) |
759bebca | 1209 | |
3c6858c6 | 1210 | #define RTX_FRAME_RELATED_P(RTX) \ |
9af5ce0c | 1211 | (RTL_FLAG_CHECK6 ("RTX_FRAME_RELATED_P", (RTX), DEBUG_INSN, INSN, \ |
1212 | CALL_INSN, JUMP_INSN, BARRIER, SET)->frame_related) | |
3c6858c6 | 1213 | |
1214 | /* 1 if RTX is an insn that has been deleted. */ | |
1215 | #define INSN_DELETED_P(RTX) \ | |
5cda2bd0 | 1216 | (RTL_INSN_CHAIN_FLAG_CHECK ("INSN_DELETED_P", (RTX))->volatil) |
3c6858c6 | 1217 | |
8f869004 | 1218 | /* 1 if JUMP RTX is a crossing jump. */ |
1219 | #define CROSSING_JUMP_P(RTX) \ | |
1220 | (RTL_FLAG_CHECK1 ("CROSSING_JUMP_P", (RTX), JUMP_INSN)->jump) | |
1221 | ||
9c2a0c05 | 1222 | /* 1 if RTX is a call to a const function. Built from ECF_CONST and |
1223 | TREE_READONLY. */ | |
1224 | #define RTL_CONST_CALL_P(RTX) \ | |
9af5ce0c | 1225 | (RTL_FLAG_CHECK1 ("RTL_CONST_CALL_P", (RTX), CALL_INSN)->unchanging) |
9c2a0c05 | 1226 | |
1227 | /* 1 if RTX is a call to a pure function. Built from ECF_PURE and | |
1228 | DECL_PURE_P. */ | |
1229 | #define RTL_PURE_CALL_P(RTX) \ | |
9af5ce0c | 1230 | (RTL_FLAG_CHECK1 ("RTL_PURE_CALL_P", (RTX), CALL_INSN)->return_val) |
9c2a0c05 | 1231 | |
3c6858c6 | 1232 | /* 1 if RTX is a call to a const or pure function. */ |
9c2a0c05 | 1233 | #define RTL_CONST_OR_PURE_CALL_P(RTX) \ |
9af5ce0c | 1234 | (RTL_CONST_CALL_P (RTX) || RTL_PURE_CALL_P (RTX)) |
9c2a0c05 | 1235 | |
1236 | /* 1 if RTX is a call to a looping const or pure function. Built from | |
1237 | ECF_LOOPING_CONST_OR_PURE and DECL_LOOPING_CONST_OR_PURE_P. */ | |
91f71fa3 | 1238 | #define RTL_LOOPING_CONST_OR_PURE_CALL_P(RTX) \ |
9af5ce0c | 1239 | (RTL_FLAG_CHECK1 ("CONST_OR_PURE_CALL_P", (RTX), CALL_INSN)->call) |
3c6858c6 | 1240 | |
1241 | /* 1 if RTX is a call_insn for a sibling call. */ | |
1242 | #define SIBLING_CALL_P(RTX) \ | |
9af5ce0c | 1243 | (RTL_FLAG_CHECK1 ("SIBLING_CALL_P", (RTX), CALL_INSN)->jump) |
3c6858c6 | 1244 | |
5fdf542c | 1245 | /* 1 if RTX is a jump_insn, call_insn, or insn that is an annulling branch. */ |
3c6858c6 | 1246 | #define INSN_ANNULLED_BRANCH_P(RTX) \ |
9af5ce0c | 1247 | (RTL_FLAG_CHECK1 ("INSN_ANNULLED_BRANCH_P", (RTX), JUMP_INSN)->unchanging) |
3c6858c6 | 1248 | |
3c6858c6 | 1249 | /* 1 if RTX is an insn in a delay slot and is from the target of the branch. |
1250 | If the branch insn has INSN_ANNULLED_BRANCH_P set, this insn should only be | |
759bebca | 1251 | executed if the branch is taken. For annulled branches with this bit |
1252 | clear, the insn should be executed only if the branch is not taken. */ | |
3c6858c6 | 1253 | #define INSN_FROM_TARGET_P(RTX) \ |
9af5ce0c | 1254 | (RTL_FLAG_CHECK3 ("INSN_FROM_TARGET_P", (RTX), INSN, JUMP_INSN, \ |
1255 | CALL_INSN)->in_struct) | |
759bebca | 1256 | |
5bbaf5ca | 1257 | /* In an ADDR_DIFF_VEC, the flags for RTX for use by branch shortening. |
1258 | See the comments for ADDR_DIFF_VEC in rtl.def. */ | |
9af5ce0c | 1259 | #define ADDR_DIFF_VEC_FLAGS(RTX) X0ADVFLAGS (RTX, 4) |
f220c8f0 | 1260 | |
5bbaf5ca | 1261 | /* In a VALUE, the value cselib has assigned to RTX. |
b3e7c666 | 1262 | This is a "struct cselib_val", see cselib.h. */ |
9af5ce0c | 1263 | #define CSELIB_VAL_PTR(RTX) X0CSELIB (RTX, 0) |
f220c8f0 | 1264 | |
759bebca | 1265 | /* Holds a list of notes on what this insn does to various REGs. |
f220c8f0 | 1266 | It is a chain of EXPR_LIST rtx's, where the second operand is the |
1267 | chain pointer and the first operand is the REG being described. | |
759bebca | 1268 | The mode field of the EXPR_LIST contains not a real machine mode |
f220c8f0 | 1269 | but a value from enum reg_note. */ |
5cda2bd0 | 1270 | #define REG_NOTES(INSN) XEXP(INSN, 6) |
759bebca | 1271 | |
a5701bde | 1272 | /* In an ENTRY_VALUE this is the DECL_INCOMING_RTL of the argument in |
1273 | question. */ | |
1274 | #define ENTRY_VALUE_EXP(RTX) (RTL_CHECKC1 (RTX, 0, ENTRY_VALUE).rt_rtx) | |
1275 | ||
f220c8f0 | 1276 | enum reg_note |
1277 | { | |
30f4db0d | 1278 | #define DEF_REG_NOTE(NAME) NAME, |
1279 | #include "reg-notes.def" | |
1280 | #undef DEF_REG_NOTE | |
1281 | REG_NOTE_MAX | |
f220c8f0 | 1282 | }; |
1283 | ||
759bebca | 1284 | /* Define macros to extract and insert the reg-note kind in an EXPR_LIST. */ |
1285 | #define REG_NOTE_KIND(LINK) ((enum reg_note) GET_MODE (LINK)) | |
017c31d6 | 1286 | #define PUT_REG_NOTE_KIND(LINK, KIND) \ |
1287 | PUT_MODE (LINK, (enum machine_mode) (KIND)) | |
759bebca | 1288 | |
1289 | /* Names for REG_NOTE's in EXPR_LIST insn's. */ | |
1290 | ||
66e6c350 | 1291 | extern const char * const reg_note_name[]; |
a92771b8 | 1292 | #define GET_REG_NOTE_NAME(MODE) (reg_note_name[(int) (MODE)]) |
759bebca | 1293 | |
ff18c271 | 1294 | /* This field is only present on CALL_INSNs. It holds a chain of EXPR_LIST of |
1295 | USE and CLOBBER expressions. | |
1296 | USE expressions list the registers filled with arguments that | |
1297 | are passed to the function. | |
1298 | CLOBBER expressions document the registers explicitly clobbered | |
1299 | by this CALL_INSN. | |
1300 | Pseudo registers can not be mentioned in this list. */ | |
5cda2bd0 | 1301 | #define CALL_INSN_FUNCTION_USAGE(INSN) XEXP(INSN, 7) |
ff18c271 | 1302 | |
759bebca | 1303 | /* The label-number of a code-label. The assembler label |
1304 | is made from `L' and the label-number printed in decimal. | |
1305 | Label numbers are unique in a compilation. */ | |
5cda2bd0 | 1306 | #define CODE_LABEL_NUMBER(INSN) XINT (INSN, 5) |
759bebca | 1307 | |
a3426c4c | 1308 | /* In a NOTE that is a line number, this is a string for the file name that the |
1309 | line is in. We use the same field to record block numbers temporarily in | |
1310 | NOTE_INSN_BLOCK_BEG and NOTE_INSN_BLOCK_END notes. (We avoid lots of casts | |
1311 | between ints and pointers if we use a different macro for the block number.) | |
f16b6102 | 1312 | */ |
759bebca | 1313 | |
0a3b3d88 | 1314 | /* Opaque data. */ |
5cda2bd0 | 1315 | #define NOTE_DATA(INSN) RTL_CHECKC1 (INSN, 3, NOTE) |
1316 | #define NOTE_DELETED_LABEL_NAME(INSN) XCSTR (INSN, 3, NOTE) | |
3072d30e | 1317 | #define SET_INSN_DELETED(INSN) set_insn_deleted (INSN); |
5cda2bd0 | 1318 | #define NOTE_BLOCK(INSN) XCTREE (INSN, 3, NOTE) |
1319 | #define NOTE_EH_HANDLER(INSN) XCINT (INSN, 3, NOTE) | |
1320 | #define NOTE_BASIC_BLOCK(INSN) XCBBDEF (INSN, 3, NOTE) | |
1321 | #define NOTE_VAR_LOCATION(INSN) XCEXP (INSN, 3, NOTE) | |
1322 | #define NOTE_CFI(INSN) XCCFI (INSN, 3, NOTE) | |
1323 | #define NOTE_LABEL_NUMBER(INSN) XCINT (INSN, 3, NOTE) | |
a3426c4c | 1324 | |
759bebca | 1325 | /* In a NOTE that is a line number, this is the line number. |
1326 | Other kinds of NOTEs are identified by negative numbers here. */ | |
5cda2bd0 | 1327 | #define NOTE_KIND(INSN) XCINT (INSN, 4, NOTE) |
759bebca | 1328 | |
83458610 | 1329 | /* Nonzero if INSN is a note marking the beginning of a basic block. */ |
aa90bb35 | 1330 | #define NOTE_INSN_BASIC_BLOCK_P(INSN) \ |
1331 | (NOTE_P (INSN) && NOTE_KIND (INSN) == NOTE_INSN_BASIC_BLOCK) | |
83458610 | 1332 | |
5923a5e7 | 1333 | /* Variable declaration and the location of a variable. */ |
9845d120 | 1334 | #define PAT_VAR_LOCATION_DECL(PAT) (XCTREE ((PAT), 0, VAR_LOCATION)) |
1335 | #define PAT_VAR_LOCATION_LOC(PAT) (XCEXP ((PAT), 1, VAR_LOCATION)) | |
759bebca | 1336 | |
d53bb226 | 1337 | /* Initialization status of the variable in the location. Status |
1338 | can be unknown, uninitialized or initialized. See enumeration | |
1339 | type below. */ | |
9845d120 | 1340 | #define PAT_VAR_LOCATION_STATUS(PAT) \ |
e1398578 | 1341 | (RTL_FLAG_CHECK1 ("PAT_VAR_LOCATION_STATUS", PAT, VAR_LOCATION) \ |
1342 | ->u2.var_location_status) | |
9845d120 | 1343 | |
1344 | /* Accessors for a NOTE_INSN_VAR_LOCATION. */ | |
1345 | #define NOTE_VAR_LOCATION_DECL(NOTE) \ | |
1346 | PAT_VAR_LOCATION_DECL (NOTE_VAR_LOCATION (NOTE)) | |
1347 | #define NOTE_VAR_LOCATION_LOC(NOTE) \ | |
1348 | PAT_VAR_LOCATION_LOC (NOTE_VAR_LOCATION (NOTE)) | |
1349 | #define NOTE_VAR_LOCATION_STATUS(NOTE) \ | |
1350 | PAT_VAR_LOCATION_STATUS (NOTE_VAR_LOCATION (NOTE)) | |
1351 | ||
1352 | /* The VAR_LOCATION rtx in a DEBUG_INSN. */ | |
1353 | #define INSN_VAR_LOCATION(INSN) PATTERN (INSN) | |
1354 | ||
1355 | /* Accessors for a tree-expanded var location debug insn. */ | |
1356 | #define INSN_VAR_LOCATION_DECL(INSN) \ | |
1357 | PAT_VAR_LOCATION_DECL (INSN_VAR_LOCATION (INSN)) | |
1358 | #define INSN_VAR_LOCATION_LOC(INSN) \ | |
1359 | PAT_VAR_LOCATION_LOC (INSN_VAR_LOCATION (INSN)) | |
1360 | #define INSN_VAR_LOCATION_STATUS(INSN) \ | |
1361 | PAT_VAR_LOCATION_STATUS (INSN_VAR_LOCATION (INSN)) | |
1362 | ||
1363 | /* Expand to the RTL that denotes an unknown variable location in a | |
1364 | DEBUG_INSN. */ | |
1365 | #define gen_rtx_UNKNOWN_VAR_LOC() (gen_rtx_CLOBBER (VOIDmode, const0_rtx)) | |
1366 | ||
1367 | /* Determine whether X is such an unknown location. */ | |
1368 | #define VAR_LOC_UNKNOWN_P(X) \ | |
1369 | (GET_CODE (X) == CLOBBER && XEXP ((X), 0) == const0_rtx) | |
1370 | ||
1371 | /* 1 if RTX is emitted after a call, but it should take effect before | |
1372 | the call returns. */ | |
1373 | #define NOTE_DURING_CALL_P(RTX) \ | |
9af5ce0c | 1374 | (RTL_FLAG_CHECK1 ("NOTE_VAR_LOCATION_DURING_CALL_P", (RTX), NOTE)->call) |
d53bb226 | 1375 | |
23dd51cb | 1376 | /* DEBUG_EXPR_DECL corresponding to a DEBUG_EXPR RTX. */ |
1377 | #define DEBUG_EXPR_TREE_DECL(RTX) XCTREE (RTX, 0, DEBUG_EXPR) | |
1378 | ||
f9c61ef7 | 1379 | /* VAR_DECL/PARM_DECL DEBUG_IMPLICIT_PTR takes address of. */ |
1380 | #define DEBUG_IMPLICIT_PTR_DECL(RTX) XCTREE (RTX, 0, DEBUG_IMPLICIT_PTR) | |
1381 | ||
841424cc | 1382 | /* PARM_DECL DEBUG_PARAMETER_REF references. */ |
1383 | #define DEBUG_PARAMETER_REF_DECL(RTX) XCTREE (RTX, 0, DEBUG_PARAMETER_REF) | |
1384 | ||
ad4583d9 | 1385 | /* Codes that appear in the NOTE_KIND field for kinds of notes |
30f4db0d | 1386 | that are not line numbers. These codes are all negative. |
48e1416a | 1387 | |
94c7f239 | 1388 | Notice that we do not try to use zero here for any of |
1389 | the special note codes because sometimes the source line | |
1390 | actually can be zero! This happens (for example) when we | |
1391 | are generating code for the per-translation-unit constructor | |
30f4db0d | 1392 | and destructor routines for some C++ translation unit. */ |
759bebca | 1393 | |
0c981e42 | 1394 | enum insn_note |
1395 | { | |
30f4db0d | 1396 | #define DEF_INSN_NOTE(NAME) NAME, |
1397 | #include "insn-notes.def" | |
1398 | #undef DEF_INSN_NOTE | |
5923a5e7 | 1399 | |
0c981e42 | 1400 | NOTE_INSN_MAX |
1401 | }; | |
64fdc3d4 | 1402 | |
759bebca | 1403 | /* Names for NOTE insn's other than line numbers. */ |
1404 | ||
ad4583d9 | 1405 | extern const char * const note_insn_name[NOTE_INSN_MAX]; |
0c981e42 | 1406 | #define GET_NOTE_INSN_NAME(NOTE_CODE) \ |
ad4583d9 | 1407 | (note_insn_name[(NOTE_CODE)]) |
759bebca | 1408 | |
1409 | /* The name of a label, in case it corresponds to an explicit label | |
1410 | in the input source code. */ | |
5cda2bd0 | 1411 | #define LABEL_NAME(RTX) XCSTR (RTX, 6, CODE_LABEL) |
759bebca | 1412 | |
1413 | /* In jump.c, each label contains a count of the number | |
1414 | of LABEL_REFs that point at it, so unused labels can be deleted. */ | |
5cda2bd0 | 1415 | #define LABEL_NUSES(RTX) XCINT (RTX, 4, CODE_LABEL) |
759bebca | 1416 | |
a7ae1e59 | 1417 | /* Labels carry a two-bit field composed of the ->jump and ->call |
1418 | bits. This field indicates whether the label is an alternate | |
1419 | entry point, and if so, what kind. */ | |
1420 | enum label_kind | |
1421 | { | |
1422 | LABEL_NORMAL = 0, /* ordinary label */ | |
1423 | LABEL_STATIC_ENTRY, /* alternate entry point, not exported */ | |
1424 | LABEL_GLOBAL_ENTRY, /* alternate entry point, exported */ | |
1425 | LABEL_WEAK_ENTRY /* alternate entry point, exported as weak symbol */ | |
1426 | }; | |
1427 | ||
1428 | #if defined ENABLE_RTL_FLAG_CHECKING && (GCC_VERSION > 2007) | |
1429 | ||
1430 | /* Retrieve the kind of LABEL. */ | |
1431 | #define LABEL_KIND(LABEL) __extension__ \ | |
dd9b9fc5 | 1432 | ({ __typeof (LABEL) const _label = (LABEL); \ |
aa90bb35 | 1433 | if (! LABEL_P (_label)) \ |
a7ae1e59 | 1434 | rtl_check_failed_flag ("LABEL_KIND", _label, __FILE__, __LINE__, \ |
1435 | __FUNCTION__); \ | |
1436 | (enum label_kind) ((_label->jump << 1) | _label->call); }) | |
1437 | ||
1438 | /* Set the kind of LABEL. */ | |
1439 | #define SET_LABEL_KIND(LABEL, KIND) do { \ | |
dd9b9fc5 | 1440 | __typeof (LABEL) const _label = (LABEL); \ |
0c16c31b | 1441 | const unsigned int _kind = (KIND); \ |
aa90bb35 | 1442 | if (! LABEL_P (_label)) \ |
a7ae1e59 | 1443 | rtl_check_failed_flag ("SET_LABEL_KIND", _label, __FILE__, __LINE__, \ |
1444 | __FUNCTION__); \ | |
1445 | _label->jump = ((_kind >> 1) & 1); \ | |
1446 | _label->call = (_kind & 1); \ | |
1447 | } while (0) | |
1448 | ||
1449 | #else | |
1450 | ||
1451 | /* Retrieve the kind of LABEL. */ | |
1452 | #define LABEL_KIND(LABEL) \ | |
1453 | ((enum label_kind) (((LABEL)->jump << 1) | (LABEL)->call)) | |
1454 | ||
1455 | /* Set the kind of LABEL. */ | |
1456 | #define SET_LABEL_KIND(LABEL, KIND) do { \ | |
0c16c31b | 1457 | rtx const _label = (LABEL); \ |
1458 | const unsigned int _kind = (KIND); \ | |
a7ae1e59 | 1459 | _label->jump = ((_kind >> 1) & 1); \ |
1460 | _label->call = (_kind & 1); \ | |
1461 | } while (0) | |
1462 | ||
1463 | #endif /* rtl flag checking */ | |
1464 | ||
1465 | #define LABEL_ALT_ENTRY_P(LABEL) (LABEL_KIND (LABEL) != LABEL_NORMAL) | |
bfee5366 | 1466 | |
759bebca | 1467 | /* In jump.c, each JUMP_INSN can point to a label that it can jump to, |
1468 | so that if the JUMP_INSN is deleted, the label's LABEL_NUSES can | |
1469 | be decremented and possibly the label can be deleted. */ | |
5cda2bd0 | 1470 | #define JUMP_LABEL(INSN) XCEXP (INSN, 7, JUMP_INSN) |
759bebca | 1471 | |
3072d30e | 1472 | /* Once basic blocks are found, each CODE_LABEL starts a chain that |
1473 | goes through all the LABEL_REFs that jump to that label. The chain | |
1474 | eventually winds up at the CODE_LABEL: it is circular. */ | |
5cda2bd0 | 1475 | #define LABEL_REFS(LABEL) XCEXP (LABEL, 3, CODE_LABEL) |
759bebca | 1476 | \f |
3072d30e | 1477 | /* For a REG rtx, REGNO extracts the register number. REGNO can only |
1478 | be used on RHS. Use SET_REGNO to change the value. */ | |
1479 | #define REGNO(RTX) (rhs_regno(RTX)) | |
9af5ce0c | 1480 | #define SET_REGNO(RTX,N) \ |
1481 | (df_ref_change_reg_with_loc (REGNO (RTX), N, RTX), XCUINT (RTX, 0, REG) = N) | |
7f1819d3 | 1482 | #define SET_REGNO_RAW(RTX,N) (XCUINT (RTX, 0, REG) = N) |
3072d30e | 1483 | |
1484 | /* ORIGINAL_REGNO holds the number the register originally had; for a | |
1485 | pseudo register turned into a hard reg this will hold the old pseudo | |
1486 | register number. */ | |
4db4d2a2 | 1487 | #define ORIGINAL_REGNO(RTX) \ |
1488 | (RTL_FLAG_CHECK1 ("ORIGINAL_REGNO", (RTX), REG)->u2.original_regno) | |
759bebca | 1489 | |
3072d30e | 1490 | /* Force the REGNO macro to only be used on the lhs. */ |
1491 | static inline unsigned int | |
dd9b9fc5 | 1492 | rhs_regno (const_rtx x) |
3072d30e | 1493 | { |
1494 | return XCUINT (x, 0, REG); | |
1495 | } | |
1496 | ||
1497 | ||
b566e2e5 | 1498 | /* 1 if RTX is a reg or parallel that is the current function's return |
1499 | value. */ | |
3c6858c6 | 1500 | #define REG_FUNCTION_VALUE_P(RTX) \ |
9af5ce0c | 1501 | (RTL_FLAG_CHECK2 ("REG_FUNCTION_VALUE_P", (RTX), REG, PARALLEL)->return_val) |
759bebca | 1502 | |
3c6858c6 | 1503 | /* 1 if RTX is a reg that corresponds to a variable declared by the user. */ |
1504 | #define REG_USERVAR_P(RTX) \ | |
9af5ce0c | 1505 | (RTL_FLAG_CHECK1 ("REG_USERVAR_P", (RTX), REG)->volatil) |
759bebca | 1506 | |
3c6858c6 | 1507 | /* 1 if RTX is a reg that holds a pointer value. */ |
1508 | #define REG_POINTER(RTX) \ | |
9af5ce0c | 1509 | (RTL_FLAG_CHECK1 ("REG_POINTER", (RTX), REG)->frame_related) |
e61a0a7f | 1510 | |
8d350e69 | 1511 | /* 1 if RTX is a mem that holds a pointer value. */ |
1512 | #define MEM_POINTER(RTX) \ | |
9af5ce0c | 1513 | (RTL_FLAG_CHECK1 ("MEM_POINTER", (RTX), MEM)->frame_related) |
8d350e69 | 1514 | |
baaa5be9 | 1515 | /* 1 if the given register REG corresponds to a hard register. */ |
1516 | #define HARD_REGISTER_P(REG) (HARD_REGISTER_NUM_P (REGNO (REG))) | |
1517 | ||
1518 | /* 1 if the given register number REG_NO corresponds to a hard register. */ | |
017c31d6 | 1519 | #define HARD_REGISTER_NUM_P(REG_NO) ((REG_NO) < FIRST_PSEUDO_REGISTER) |
baaa5be9 | 1520 | |
759bebca | 1521 | /* For a CONST_INT rtx, INTVAL extracts the integer. */ |
9af5ce0c | 1522 | #define INTVAL(RTX) XCWINT (RTX, 0, CONST_INT) |
02fd0f2d | 1523 | #define UINTVAL(RTX) ((unsigned HOST_WIDE_INT) INTVAL (RTX)) |
759bebca | 1524 | |
e913b5cd | 1525 | /* For a CONST_WIDE_INT, CONST_WIDE_INT_NUNITS is the number of |
1526 | elements actually needed to represent the constant. | |
1527 | CONST_WIDE_INT_ELT gets one of the elements. 0 is the least | |
1528 | significant HOST_WIDE_INT. */ | |
1529 | #define CONST_WIDE_INT_VEC(RTX) HWIVEC_CHECK (RTX, CONST_WIDE_INT) | |
05c25ee6 | 1530 | #define CONST_WIDE_INT_NUNITS(RTX) CWI_GET_NUM_ELEM (RTX) |
1531 | #define CONST_WIDE_INT_ELT(RTX, N) CWI_ELT (RTX, N) | |
e913b5cd | 1532 | |
0f221fb7 | 1533 | /* For a CONST_DOUBLE: |
e913b5cd | 1534 | #if TARGET_SUPPORTS_WIDE_INT == 0 |
0b2730a7 | 1535 | For a VOIDmode, there are two integers CONST_DOUBLE_LOW is the |
3393215f | 1536 | low-order word and ..._HIGH the high-order. |
e913b5cd | 1537 | #endif |
1a97be37 | 1538 | For a float, there is a REAL_VALUE_TYPE structure, and |
3393215f | 1539 | CONST_DOUBLE_REAL_VALUE(r) is a pointer to it. */ |
e8aaae4e | 1540 | #define CONST_DOUBLE_LOW(r) XCMWINT (r, 0, CONST_DOUBLE, VOIDmode) |
1541 | #define CONST_DOUBLE_HIGH(r) XCMWINT (r, 1, CONST_DOUBLE, VOIDmode) | |
1542 | #define CONST_DOUBLE_REAL_VALUE(r) \ | |
1543 | ((const struct real_value *) XCNMPRV (r, CONST_DOUBLE, VOIDmode)) | |
0f221fb7 | 1544 | |
e397ad8e | 1545 | #define CONST_FIXED_VALUE(r) \ |
1546 | ((const struct fixed_value *) XCNMPFV (r, CONST_FIXED, VOIDmode)) | |
1547 | #define CONST_FIXED_VALUE_HIGH(r) \ | |
9af5ce0c | 1548 | ((HOST_WIDE_INT) (CONST_FIXED_VALUE (r)->data.high)) |
e397ad8e | 1549 | #define CONST_FIXED_VALUE_LOW(r) \ |
9af5ce0c | 1550 | ((HOST_WIDE_INT) (CONST_FIXED_VALUE (r)->data.low)) |
e397ad8e | 1551 | |
886cfd4f | 1552 | /* For a CONST_VECTOR, return element #n. */ |
1553 | #define CONST_VECTOR_ELT(RTX, N) XCVECEXP (RTX, 0, N, CONST_VECTOR) | |
1554 | ||
1555 | /* For a CONST_VECTOR, return the number of elements in a vector. */ | |
1556 | #define CONST_VECTOR_NUNITS(RTX) XCVECLEN (RTX, 0, CONST_VECTOR) | |
1557 | ||
759bebca | 1558 | /* For a SUBREG rtx, SUBREG_REG extracts the value we want a subreg of. |
701e46d0 | 1559 | SUBREG_BYTE extracts the byte-number. */ |
759bebca | 1560 | |
017c31d6 | 1561 | #define SUBREG_REG(RTX) XCEXP (RTX, 0, SUBREG) |
1562 | #define SUBREG_BYTE(RTX) XCUINT (RTX, 1, SUBREG) | |
701e46d0 | 1563 | |
1564 | /* in rtlanal.c */ | |
26619827 | 1565 | /* Return the right cost to give to an operation |
1566 | to make the cost of the corresponding register-to-register instruction | |
1567 | N times that of a fast register-to-register instruction. */ | |
1568 | #define COSTS_N_INSNS(N) ((N) * 4) | |
1569 | ||
1570 | /* Maximum cost of an rtl expression. This value has the special meaning | |
1571 | not to use an rtx with this cost under any circumstances. */ | |
1572 | #define MAX_COST INT_MAX | |
1573 | ||
c9a03487 | 1574 | /* A structure to hold all available cost information about an rtl |
1575 | expression. */ | |
1576 | struct full_rtx_costs | |
1577 | { | |
1578 | int speed; | |
1579 | int size; | |
1580 | }; | |
1581 | ||
1582 | /* Initialize a full_rtx_costs structure C to the maximum cost. */ | |
1583 | static inline void | |
1584 | init_costs_to_max (struct full_rtx_costs *c) | |
1585 | { | |
1586 | c->speed = MAX_COST; | |
1587 | c->size = MAX_COST; | |
1588 | } | |
1589 | ||
1590 | /* Initialize a full_rtx_costs structure C to zero cost. */ | |
1591 | static inline void | |
1592 | init_costs_to_zero (struct full_rtx_costs *c) | |
1593 | { | |
1594 | c->speed = 0; | |
1595 | c->size = 0; | |
1596 | } | |
1597 | ||
1598 | /* Compare two full_rtx_costs structures A and B, returning true | |
1599 | if A < B when optimizing for speed. */ | |
1600 | static inline bool | |
1601 | costs_lt_p (struct full_rtx_costs *a, struct full_rtx_costs *b, | |
1602 | bool speed) | |
1603 | { | |
1604 | if (speed) | |
1605 | return (a->speed < b->speed | |
1606 | || (a->speed == b->speed && a->size < b->size)); | |
1607 | else | |
1608 | return (a->size < b->size | |
1609 | || (a->size == b->size && a->speed < b->speed)); | |
1610 | } | |
1611 | ||
1612 | /* Increase both members of the full_rtx_costs structure C by the | |
1613 | cost of N insns. */ | |
1614 | static inline void | |
1615 | costs_add_n_insns (struct full_rtx_costs *c, int n) | |
1616 | { | |
1617 | c->speed += COSTS_N_INSNS (n); | |
1618 | c->size += COSTS_N_INSNS (n); | |
1619 | } | |
1620 | ||
1efe9e9d | 1621 | /* Information about an address. This structure is supposed to be able |
1622 | to represent all supported target addresses. Please extend it if it | |
1623 | is not yet general enough. */ | |
1624 | struct address_info { | |
1625 | /* The mode of the value being addressed, or VOIDmode if this is | |
1626 | a load-address operation with no known address mode. */ | |
1627 | enum machine_mode mode; | |
1628 | ||
1629 | /* The address space. */ | |
1630 | addr_space_t as; | |
1631 | ||
1632 | /* A pointer to the top-level address. */ | |
1633 | rtx *outer; | |
1634 | ||
1635 | /* A pointer to the inner address, after all address mutations | |
1636 | have been stripped from the top-level address. It can be one | |
1637 | of the following: | |
1638 | ||
1639 | - A {PRE,POST}_{INC,DEC} of *BASE. SEGMENT, INDEX and DISP are null. | |
1640 | ||
1641 | - A {PRE,POST}_MODIFY of *BASE. In this case either INDEX or DISP | |
1642 | points to the step value, depending on whether the step is variable | |
1643 | or constant respectively. SEGMENT is null. | |
1644 | ||
1645 | - A plain sum of the form SEGMENT + BASE + INDEX + DISP, | |
1646 | with null fields evaluating to 0. */ | |
1647 | rtx *inner; | |
1648 | ||
1649 | /* Components that make up *INNER. Each one may be null or nonnull. | |
1650 | When nonnull, their meanings are as follows: | |
1651 | ||
1652 | - *SEGMENT is the "segment" of memory to which the address refers. | |
1653 | This value is entirely target-specific and is only called a "segment" | |
1654 | because that's its most typical use. It contains exactly one UNSPEC, | |
1655 | pointed to by SEGMENT_TERM. The contents of *SEGMENT do not need | |
1656 | reloading. | |
1657 | ||
1658 | - *BASE is a variable expression representing a base address. | |
1659 | It contains exactly one REG, SUBREG or MEM, pointed to by BASE_TERM. | |
1660 | ||
1661 | - *INDEX is a variable expression representing an index value. | |
1662 | It may be a scaled expression, such as a MULT. It has exactly | |
1663 | one REG, SUBREG or MEM, pointed to by INDEX_TERM. | |
1664 | ||
1665 | - *DISP is a constant, possibly mutated. DISP_TERM points to the | |
1666 | unmutated RTX_CONST_OBJ. */ | |
1667 | rtx *segment; | |
1668 | rtx *base; | |
1669 | rtx *index; | |
1670 | rtx *disp; | |
1671 | ||
1672 | rtx *segment_term; | |
1673 | rtx *base_term; | |
1674 | rtx *index_term; | |
1675 | rtx *disp_term; | |
1676 | ||
1677 | /* In a {PRE,POST}_MODIFY address, this points to a second copy | |
1678 | of BASE_TERM, otherwise it is null. */ | |
1679 | rtx *base_term2; | |
1680 | ||
1681 | /* ADDRESS if this structure describes an address operand, MEM if | |
1682 | it describes a MEM address. */ | |
1683 | enum rtx_code addr_outer_code; | |
1684 | ||
1685 | /* If BASE is nonnull, this is the code of the rtx that contains it. */ | |
1686 | enum rtx_code base_outer_code; | |
1687 | ||
1688 | /* True if this is an RTX_AUTOINC address. */ | |
1689 | bool autoinc_p; | |
1690 | }; | |
1691 | ||
796b6678 | 1692 | /* This is used to bundle an rtx and a mode together so that the pair |
ab2c1de8 | 1693 | can be used with the wi:: routines. If we ever put modes into rtx |
1694 | integer constants, this should go away and then just pass an rtx in. */ | |
796b6678 | 1695 | typedef std::pair <rtx, enum machine_mode> rtx_mode_t; |
e913b5cd | 1696 | |
796b6678 | 1697 | namespace wi |
e913b5cd | 1698 | { |
796b6678 | 1699 | template <> |
1700 | struct int_traits <rtx_mode_t> | |
1701 | { | |
1702 | static const enum precision_type precision_type = VAR_PRECISION; | |
1703 | static const bool host_dependent_precision = false; | |
2e2f3be8 | 1704 | /* This ought to be true, except for the special case that BImode |
1705 | is canonicalized to STORE_FLAG_VALUE, which might be 1. */ | |
1706 | static const bool is_sign_extended = false; | |
796b6678 | 1707 | static unsigned int get_precision (const rtx_mode_t &); |
1708 | static wi::storage_ref decompose (HOST_WIDE_INT *, unsigned int, | |
1709 | const rtx_mode_t &); | |
1710 | }; | |
e913b5cd | 1711 | } |
1712 | ||
796b6678 | 1713 | inline unsigned int |
1714 | wi::int_traits <rtx_mode_t>::get_precision (const rtx_mode_t &x) | |
e913b5cd | 1715 | { |
796b6678 | 1716 | return GET_MODE_PRECISION (x.second); |
e913b5cd | 1717 | } |
1718 | ||
796b6678 | 1719 | inline wi::storage_ref |
1720 | wi::int_traits <rtx_mode_t>::decompose (HOST_WIDE_INT *, | |
1721 | unsigned int precision, | |
1722 | const rtx_mode_t &x) | |
e913b5cd | 1723 | { |
796b6678 | 1724 | gcc_checking_assert (precision == get_precision (x)); |
1725 | switch (GET_CODE (x.first)) | |
e913b5cd | 1726 | { |
1727 | case CONST_INT: | |
05363b4a | 1728 | if (precision < HOST_BITS_PER_WIDE_INT) |
dfee1d0f | 1729 | /* Nonzero BImodes are stored as STORE_FLAG_VALUE, which on many |
1730 | targets is 1 rather than -1. */ | |
ab2c1de8 | 1731 | gcc_checking_assert (INTVAL (x.first) |
2e2f3be8 | 1732 | == sext_hwi (INTVAL (x.first), precision) |
dfee1d0f | 1733 | || (x.second == BImode && INTVAL (x.first) == 1)); |
05363b4a | 1734 | |
796b6678 | 1735 | return wi::storage_ref (&INTVAL (x.first), 1, precision); |
ddb1be65 | 1736 | |
e913b5cd | 1737 | case CONST_WIDE_INT: |
796b6678 | 1738 | return wi::storage_ref (&CONST_WIDE_INT_ELT (x.first, 0), |
1739 | CONST_WIDE_INT_NUNITS (x.first), precision); | |
ddb1be65 | 1740 | |
05363b4a | 1741 | #if TARGET_SUPPORTS_WIDE_INT == 0 |
e913b5cd | 1742 | case CONST_DOUBLE: |
796b6678 | 1743 | return wi::storage_ref (&CONST_DOUBLE_LOW (x.first), 2, precision); |
05363b4a | 1744 | #endif |
ddb1be65 | 1745 | |
e913b5cd | 1746 | default: |
1747 | gcc_unreachable (); | |
1748 | } | |
1749 | } | |
1750 | ||
796b6678 | 1751 | namespace wi |
e913b5cd | 1752 | { |
796b6678 | 1753 | hwi_with_prec shwi (HOST_WIDE_INT, enum machine_mode mode); |
1754 | wide_int min_value (enum machine_mode, signop); | |
1755 | wide_int max_value (enum machine_mode, signop); | |
1756 | } | |
e913b5cd | 1757 | |
796b6678 | 1758 | inline wi::hwi_with_prec |
1759 | wi::shwi (HOST_WIDE_INT val, enum machine_mode mode) | |
1760 | { | |
1761 | return shwi (val, GET_MODE_PRECISION (mode)); | |
e913b5cd | 1762 | } |
1763 | ||
796b6678 | 1764 | /* Produce the smallest number that is represented in MODE. The precision |
1765 | is taken from MODE and the sign from SGN. */ | |
1766 | inline wide_int | |
1767 | wi::min_value (enum machine_mode mode, signop sgn) | |
1768 | { | |
1769 | return min_value (GET_MODE_PRECISION (mode), sgn); | |
1770 | } | |
e913b5cd | 1771 | |
796b6678 | 1772 | /* Produce the largest number that is represented in MODE. The precision |
1773 | is taken from MODE and the sign from SGN. */ | |
1774 | inline wide_int | |
1775 | wi::max_value (enum machine_mode mode, signop sgn) | |
1776 | { | |
1777 | return max_value (GET_MODE_PRECISION (mode), sgn); | |
1778 | } | |
e913b5cd | 1779 | |
a87cf6e5 | 1780 | extern void init_rtlanal (void); |
20d892d1 | 1781 | extern int rtx_cost (rtx, enum rtx_code, int, bool); |
bd1a81f7 | 1782 | extern int address_cost (rtx, enum machine_mode, addr_space_t, bool); |
20d892d1 | 1783 | extern void get_full_rtx_cost (rtx, enum rtx_code, int, |
1784 | struct full_rtx_costs *); | |
dd9b9fc5 | 1785 | extern unsigned int subreg_lsb (const_rtx); |
f36eb1e9 | 1786 | extern unsigned int subreg_lsb_1 (enum machine_mode, enum machine_mode, |
1787 | unsigned int); | |
3ad4992f | 1788 | extern unsigned int subreg_regno_offset (unsigned int, enum machine_mode, |
1789 | unsigned int, enum machine_mode); | |
1790 | extern bool subreg_offset_representable_p (unsigned int, enum machine_mode, | |
1791 | unsigned int, enum machine_mode); | |
dd9b9fc5 | 1792 | extern unsigned int subreg_regno (const_rtx); |
5992d16a | 1793 | extern int simplify_subreg_regno (unsigned int, enum machine_mode, |
1794 | unsigned int, enum machine_mode); | |
dd9b9fc5 | 1795 | extern unsigned int subreg_nregs (const_rtx); |
dea7b504 | 1796 | extern unsigned int subreg_nregs_with_regno (unsigned int, const_rtx); |
b7bf20db | 1797 | extern unsigned HOST_WIDE_INT nonzero_bits (const_rtx, enum machine_mode); |
1798 | extern unsigned int num_sign_bit_copies (const_rtx, enum machine_mode); | |
e207fd7a | 1799 | extern bool constant_pool_constant_p (rtx); |
b7bf20db | 1800 | extern bool truncated_to_mode (enum machine_mode, const_rtx); |
d16b48d5 | 1801 | extern int low_bitmask_len (enum machine_mode, unsigned HOST_WIDE_INT); |
21eb4639 | 1802 | extern void split_double (rtx, rtx *, rtx *); |
1efe9e9d | 1803 | extern rtx *strip_address_mutations (rtx *, enum rtx_code * = 0); |
1804 | extern void decompose_address (struct address_info *, rtx *, | |
1805 | enum machine_mode, addr_space_t, enum rtx_code); | |
1806 | extern void decompose_lea_address (struct address_info *, rtx *); | |
1807 | extern void decompose_mem_address (struct address_info *, rtx); | |
1808 | extern void update_address (struct address_info *); | |
1809 | extern HOST_WIDE_INT get_index_scale (const struct address_info *); | |
1810 | extern enum rtx_code get_index_code (const struct address_info *); | |
d263732c | 1811 | |
b72d459f | 1812 | #ifndef GENERATOR_FILE |
1813 | /* Return the cost of SET X. SPEED_P is true if optimizing for speed | |
1814 | rather than size. */ | |
1815 | ||
1816 | static inline int | |
1817 | set_rtx_cost (rtx x, bool speed_p) | |
1818 | { | |
20d892d1 | 1819 | return rtx_cost (x, INSN, 4, speed_p); |
b72d459f | 1820 | } |
1821 | ||
1822 | /* Like set_rtx_cost, but return both the speed and size costs in C. */ | |
1823 | ||
1824 | static inline void | |
1825 | get_full_set_rtx_cost (rtx x, struct full_rtx_costs *c) | |
1826 | { | |
20d892d1 | 1827 | get_full_rtx_cost (x, INSN, 4, c); |
b72d459f | 1828 | } |
7013e87c | 1829 | |
1830 | /* Return the cost of moving X into a register, relative to the cost | |
1831 | of a register move. SPEED_P is true if optimizing for speed rather | |
1832 | than size. */ | |
1833 | ||
1834 | static inline int | |
1835 | set_src_cost (rtx x, bool speed_p) | |
1836 | { | |
20d892d1 | 1837 | return rtx_cost (x, SET, 1, speed_p); |
7013e87c | 1838 | } |
1839 | ||
1840 | /* Like set_src_cost, but return both the speed and size costs in C. */ | |
1841 | ||
1842 | static inline void | |
1843 | get_full_set_src_cost (rtx x, struct full_rtx_costs *c) | |
1844 | { | |
20d892d1 | 1845 | get_full_rtx_cost (x, SET, 1, c); |
7013e87c | 1846 | } |
b72d459f | 1847 | #endif |
759bebca | 1848 | |
3c6858c6 | 1849 | /* 1 if RTX is a subreg containing a reg that is already known to be |
1850 | sign- or zero-extended from the mode of the subreg to the mode of | |
3e8eba79 | 1851 | the reg. SUBREG_PROMOTED_UNSIGNED_P gives the signedness of the |
f220c8f0 | 1852 | extension. |
3e8eba79 | 1853 | |
1854 | When used as a LHS, is means that this extension must be done | |
1855 | when assigning to SUBREG_REG. */ | |
1856 | ||
3c6858c6 | 1857 | #define SUBREG_PROMOTED_VAR_P(RTX) \ |
9af5ce0c | 1858 | (RTL_FLAG_CHECK1 ("SUBREG_PROMOTED", (RTX), SUBREG)->in_struct) |
3c6858c6 | 1859 | |
088c4b7b | 1860 | /* Valid for subregs which are SUBREG_PROMOTED_VAR_P(). In that case |
1861 | this gives the necessary extensions: | |
e8629f9e | 1862 | 0 - signed (SPR_SIGNED) |
1863 | 1 - normal unsigned (SPR_UNSIGNED) | |
1864 | 2 - value is both sign and unsign extended for mode | |
1865 | (SPR_SIGNED_AND_UNSIGNED). | |
088c4b7b | 1866 | -1 - pointer unsigned, which most often can be handled like unsigned |
1867 | extension, except for generating instructions where we need to | |
e8629f9e | 1868 | emit special code (ptr_extend insns) on some architectures |
1869 | (SPR_POINTER). */ | |
1870 | ||
1871 | const int SRP_POINTER = -1; | |
1872 | const int SRP_SIGNED = 0; | |
1873 | const int SRP_UNSIGNED = 1; | |
1874 | const int SRP_SIGNED_AND_UNSIGNED = 2; | |
1875 | ||
1876 | /* Sets promoted mode for SUBREG_PROMOTED_VAR_P(). */ | |
1877 | #define SUBREG_PROMOTED_SET(RTX, VAL) \ | |
1878 | do { \ | |
1879 | rtx const _rtx = RTL_FLAG_CHECK1 ("SUBREG_PROMOTED_SET", \ | |
1880 | (RTX), SUBREG); \ | |
1881 | switch (VAL) \ | |
1882 | { \ | |
1883 | case SRP_POINTER: \ | |
1884 | _rtx->volatil = 0; \ | |
1885 | _rtx->unchanging = 0; \ | |
1886 | break; \ | |
1887 | case SRP_SIGNED: \ | |
1888 | _rtx->volatil = 0; \ | |
1889 | _rtx->unchanging = 1; \ | |
1890 | break; \ | |
1891 | case SRP_UNSIGNED: \ | |
1892 | _rtx->volatil = 1; \ | |
1893 | _rtx->unchanging = 0; \ | |
1894 | break; \ | |
1895 | case SRP_SIGNED_AND_UNSIGNED: \ | |
1896 | _rtx->volatil = 1; \ | |
1897 | _rtx->unchanging = 1; \ | |
1898 | break; \ | |
1899 | } \ | |
1900 | } while (0) | |
088c4b7b | 1901 | |
e8629f9e | 1902 | /* Gets the value stored in promoted mode for SUBREG_PROMOTED_VAR_P(), |
1903 | including SRP_SIGNED_AND_UNSIGNED if promoted for | |
1904 | both signed and unsigned. */ | |
1905 | #define SUBREG_PROMOTED_GET(RTX) \ | |
1906 | (2 * (RTL_FLAG_CHECK1 ("SUBREG_PROMOTED_GET", (RTX), SUBREG)->volatil)\ | |
1907 | + (RTX)->unchanging - 1) | |
1908 | ||
1909 | /* Returns sign of promoted mode for SUBREG_PROMOTED_VAR_P(). */ | |
1910 | #define SUBREG_PROMOTED_SIGN(RTX) \ | |
1911 | ((RTL_FLAG_CHECK1 ("SUBREG_PROMOTED_SIGN", (RTX), SUBREG)->volatil) ? 1\ | |
1912 | : (RTX)->unchanging - 1) | |
1913 | ||
1914 | /* Predicate to check if RTX of SUBREG_PROMOTED_VAR_P() is promoted | |
1915 | for SIGNED type. */ | |
1916 | #define SUBREG_PROMOTED_SIGNED_P(RTX) \ | |
1917 | (RTL_FLAG_CHECK1 ("SUBREG_PROMOTED_SIGNED_P", (RTX), SUBREG)->unchanging) | |
1918 | ||
1919 | /* Predicate to check if RTX of SUBREG_PROMOTED_VAR_P() is promoted | |
1920 | for UNSIGNED type. */ | |
e7f75e15 | 1921 | #define SUBREG_PROMOTED_UNSIGNED_P(RTX) \ |
e8629f9e | 1922 | (RTL_FLAG_CHECK1 ("SUBREG_PROMOTED_UNSIGNED_P", (RTX), SUBREG)->volatil) |
1923 | ||
1924 | /* Checks if RTX of SUBREG_PROMOTED_VAR_P() is promoted for given SIGN. */ | |
1925 | #define SUBREG_CHECK_PROMOTED_SIGN(RTX, SIGN) \ | |
1926 | ((SIGN) == SRP_POINTER ? SUBREG_PROMOTED_GET (RTX) == SRP_POINTER \ | |
1927 | : (SIGN) == SRP_SIGNED ? SUBREG_PROMOTED_SIGNED_P (RTX) \ | |
1928 | : SUBREG_PROMOTED_UNSIGNED_P (RTX)) | |
3e8eba79 | 1929 | |
ea99c7a1 | 1930 | /* True if the subreg was generated by LRA for reload insns. Such |
1931 | subregs are valid only during LRA. */ | |
1932 | #define LRA_SUBREG_P(RTX) \ | |
9af5ce0c | 1933 | (RTL_FLAG_CHECK1 ("LRA_SUBREG_P", (RTX), SUBREG)->jump) |
ea99c7a1 | 1934 | |
759bebca | 1935 | /* Access various components of an ASM_OPERANDS rtx. */ |
1936 | ||
017c31d6 | 1937 | #define ASM_OPERANDS_TEMPLATE(RTX) XCSTR (RTX, 0, ASM_OPERANDS) |
1938 | #define ASM_OPERANDS_OUTPUT_CONSTRAINT(RTX) XCSTR (RTX, 1, ASM_OPERANDS) | |
1939 | #define ASM_OPERANDS_OUTPUT_IDX(RTX) XCINT (RTX, 2, ASM_OPERANDS) | |
1940 | #define ASM_OPERANDS_INPUT_VEC(RTX) XCVEC (RTX, 3, ASM_OPERANDS) | |
1941 | #define ASM_OPERANDS_INPUT_CONSTRAINT_VEC(RTX) XCVEC (RTX, 4, ASM_OPERANDS) | |
1942 | #define ASM_OPERANDS_INPUT(RTX, N) XCVECEXP (RTX, 3, N, ASM_OPERANDS) | |
1943 | #define ASM_OPERANDS_INPUT_LENGTH(RTX) XCVECLEN (RTX, 3, ASM_OPERANDS) | |
d91f2122 | 1944 | #define ASM_OPERANDS_INPUT_CONSTRAINT_EXP(RTX, N) \ |
017c31d6 | 1945 | XCVECEXP (RTX, 4, N, ASM_OPERANDS) |
f7c44134 | 1946 | #define ASM_OPERANDS_INPUT_CONSTRAINT(RTX, N) \ |
017c31d6 | 1947 | XSTR (XCVECEXP (RTX, 4, N, ASM_OPERANDS), 0) |
f7c44134 | 1948 | #define ASM_OPERANDS_INPUT_MODE(RTX, N) \ |
017c31d6 | 1949 | GET_MODE (XCVECEXP (RTX, 4, N, ASM_OPERANDS)) |
78f55ca8 | 1950 | #define ASM_OPERANDS_LABEL_VEC(RTX) XCVEC (RTX, 5, ASM_OPERANDS) |
1951 | #define ASM_OPERANDS_LABEL_LENGTH(RTX) XCVECLEN (RTX, 5, ASM_OPERANDS) | |
1952 | #define ASM_OPERANDS_LABEL(RTX, N) XCVECEXP (RTX, 5, N, ASM_OPERANDS) | |
1953 | #define ASM_OPERANDS_SOURCE_LOCATION(RTX) XCUINT (RTX, 6, ASM_OPERANDS) | |
09fb10e8 | 1954 | #define ASM_INPUT_SOURCE_LOCATION(RTX) XCUINT (RTX, 1, ASM_INPUT) |
759bebca | 1955 | |
b04fab2a | 1956 | /* 1 if RTX is a mem that is statically allocated in read-only memory. */ |
1957 | #define MEM_READONLY_P(RTX) \ | |
9af5ce0c | 1958 | (RTL_FLAG_CHECK1 ("MEM_READONLY_P", (RTX), MEM)->unchanging) |
b04fab2a | 1959 | |
3c6858c6 | 1960 | /* 1 if RTX is a mem and we should keep the alias set for this mem |
5cc193e7 | 1961 | unchanged when we access a component. Set to 1, or example, when we |
1962 | are already in a non-addressable component of an aggregate. */ | |
3c6858c6 | 1963 | #define MEM_KEEP_ALIAS_SET_P(RTX) \ |
9af5ce0c | 1964 | (RTL_FLAG_CHECK1 ("MEM_KEEP_ALIAS_SET_P", (RTX), MEM)->jump) |
5cc193e7 | 1965 | |
3c6858c6 | 1966 | /* 1 if RTX is a mem or asm_operand for a volatile reference. */ |
1967 | #define MEM_VOLATILE_P(RTX) \ | |
9af5ce0c | 1968 | (RTL_FLAG_CHECK3 ("MEM_VOLATILE_P", (RTX), MEM, ASM_OPERANDS, \ |
1969 | ASM_INPUT)->volatil) | |
759bebca | 1970 | |
1ed8ccdb | 1971 | /* 1 if RTX is a mem that cannot trap. */ |
1972 | #define MEM_NOTRAP_P(RTX) \ | |
9af5ce0c | 1973 | (RTL_FLAG_CHECK1 ("MEM_NOTRAP_P", (RTX), MEM)->call) |
1ed8ccdb | 1974 | |
c6259b83 | 1975 | /* The memory attribute block. We provide access macros for each value |
1976 | in the block and provide defaults if none specified. */ | |
1977 | #define MEM_ATTRS(RTX) X0MEMATTR (RTX, 1) | |
1978 | ||
ca74b940 | 1979 | /* The register attribute block. We provide access macros for each value |
1980 | in the block and provide defaults if none specified. */ | |
4db4d2a2 | 1981 | #define REG_ATTRS(RTX) X0REGATTR (RTX, 1) |
ca74b940 | 1982 | |
d83fcaa1 | 1983 | #ifndef GENERATOR_FILE |
b5ba9f3a | 1984 | /* For a MEM rtx, the alias set. If 0, this MEM is not in any alias |
1985 | set, and may alias anything. Otherwise, the MEM can only alias | |
650e773f | 1986 | MEMs in a conflicting alias set. This value is set in a |
b5ba9f3a | 1987 | language-dependent manner in the front-end, and should not be |
650e773f | 1988 | altered in the back-end. These set numbers are tested with |
1989 | alias_sets_conflict_p. */ | |
d83fcaa1 | 1990 | #define MEM_ALIAS_SET(RTX) (get_mem_attrs (RTX)->alias) |
c6259b83 | 1991 | |
1992 | /* For a MEM rtx, the decl it is known to refer to, if it is known to | |
b10dbbca | 1993 | refer to part of a DECL. It may also be a COMPONENT_REF. */ |
d83fcaa1 | 1994 | #define MEM_EXPR(RTX) (get_mem_attrs (RTX)->expr) |
c6259b83 | 1995 | |
da443c27 | 1996 | /* For a MEM rtx, true if its MEM_OFFSET is known. */ |
6d58bcba | 1997 | #define MEM_OFFSET_KNOWN_P(RTX) (get_mem_attrs (RTX)->offset_known_p) |
da443c27 | 1998 | |
1999 | /* For a MEM rtx, the offset from the start of MEM_EXPR. */ | |
6d58bcba | 2000 | #define MEM_OFFSET(RTX) (get_mem_attrs (RTX)->offset) |
c6259b83 | 2001 | |
bd1a81f7 | 2002 | /* For a MEM rtx, the address space. */ |
d83fcaa1 | 2003 | #define MEM_ADDR_SPACE(RTX) (get_mem_attrs (RTX)->addrspace) |
bd1a81f7 | 2004 | |
5b2a69fa | 2005 | /* For a MEM rtx, true if its MEM_SIZE is known. */ |
6d58bcba | 2006 | #define MEM_SIZE_KNOWN_P(RTX) (get_mem_attrs (RTX)->size_known_p) |
5b2a69fa | 2007 | |
2008 | /* For a MEM rtx, the size in bytes of the MEM. */ | |
6d58bcba | 2009 | #define MEM_SIZE(RTX) (get_mem_attrs (RTX)->size) |
c6259b83 | 2010 | |
981336a3 | 2011 | /* For a MEM rtx, the alignment in bits. We can use the alignment of the |
2012 | mode as a default when STRICT_ALIGNMENT, but not if not. */ | |
d83fcaa1 | 2013 | #define MEM_ALIGN(RTX) (get_mem_attrs (RTX)->align) |
2014 | #else | |
2015 | #define MEM_ADDR_SPACE(RTX) ADDR_SPACE_GENERIC | |
2016 | #endif | |
f7c44134 | 2017 | |
ca74b940 | 2018 | /* For a REG rtx, the decl it is known to refer to, if it is known to |
2019 | refer to part of a DECL. */ | |
2020 | #define REG_EXPR(RTX) (REG_ATTRS (RTX) == 0 ? 0 : REG_ATTRS (RTX)->decl) | |
2021 | ||
eeb0ae23 | 2022 | /* For a REG rtx, the offset from the start of REG_EXPR, if known, as an |
2023 | HOST_WIDE_INT. */ | |
ca74b940 | 2024 | #define REG_OFFSET(RTX) (REG_ATTRS (RTX) == 0 ? 0 : REG_ATTRS (RTX)->offset) |
2025 | ||
f7c44134 | 2026 | /* Copy the attributes that apply to memory locations from RHS to LHS. */ |
5cc193e7 | 2027 | #define MEM_COPY_ATTRIBUTES(LHS, RHS) \ |
2028 | (MEM_VOLATILE_P (LHS) = MEM_VOLATILE_P (RHS), \ | |
1ed8ccdb | 2029 | MEM_NOTRAP_P (LHS) = MEM_NOTRAP_P (RHS), \ |
b04fab2a | 2030 | MEM_READONLY_P (LHS) = MEM_READONLY_P (RHS), \ |
5cc193e7 | 2031 | MEM_KEEP_ALIAS_SET_P (LHS) = MEM_KEEP_ALIAS_SET_P (RHS), \ |
c23c6f48 | 2032 | MEM_POINTER (LHS) = MEM_POINTER (RHS), \ |
c6259b83 | 2033 | MEM_ATTRS (LHS) = MEM_ATTRS (RHS)) |
b5ba9f3a | 2034 | |
3c6858c6 | 2035 | /* 1 if RTX is a label_ref for a nonlocal label. */ |
19d2fe05 | 2036 | /* Likewise in an expr_list for a REG_LABEL_OPERAND or |
2037 | REG_LABEL_TARGET note. */ | |
3c6858c6 | 2038 | #define LABEL_REF_NONLOCAL_P(RTX) \ |
9af5ce0c | 2039 | (RTL_FLAG_CHECK1 ("LABEL_REF_NONLOCAL_P", (RTX), LABEL_REF)->volatil) |
9a293e97 | 2040 | |
3c6858c6 | 2041 | /* 1 if RTX is a code_label that should always be considered to be needed. */ |
2042 | #define LABEL_PRESERVE_P(RTX) \ | |
9af5ce0c | 2043 | (RTL_FLAG_CHECK2 ("LABEL_PRESERVE_P", (RTX), CODE_LABEL, NOTE)->in_struct) |
759bebca | 2044 | |
3c6858c6 | 2045 | /* During sched, 1 if RTX is an insn that must be scheduled together |
f9e15121 | 2046 | with the preceding insn. */ |
3c6858c6 | 2047 | #define SCHED_GROUP_P(RTX) \ |
9af5ce0c | 2048 | (RTL_FLAG_CHECK4 ("SCHED_GROUP_P", (RTX), DEBUG_INSN, INSN, \ |
2049 | JUMP_INSN, CALL_INSN)->in_struct) | |
759bebca | 2050 | |
2051 | /* For a SET rtx, SET_DEST is the place that is set | |
2052 | and SET_SRC is the value it is set to. */ | |
9af5ce0c | 2053 | #define SET_DEST(RTX) XC2EXP (RTX, 0, SET, CLOBBER) |
2054 | #define SET_SRC(RTX) XCEXP (RTX, 1, SET) | |
3c6858c6 | 2055 | #define SET_IS_RETURN_P(RTX) \ |
9af5ce0c | 2056 | (RTL_FLAG_CHECK1 ("SET_IS_RETURN_P", (RTX), SET)->jump) |
759bebca | 2057 | |
2058 | /* For a TRAP_IF rtx, TRAP_CONDITION is an expression. */ | |
017c31d6 | 2059 | #define TRAP_CONDITION(RTX) XCEXP (RTX, 0, TRAP_IF) |
2060 | #define TRAP_CODE(RTX) XCEXP (RTX, 1, TRAP_IF) | |
759bebca | 2061 | |
406034fa | 2062 | /* For a COND_EXEC rtx, COND_EXEC_TEST is the condition to base |
2063 | conditionally executing the code on, COND_EXEC_CODE is the code | |
2064 | to execute if the condition is true. */ | |
017c31d6 | 2065 | #define COND_EXEC_TEST(RTX) XCEXP (RTX, 0, COND_EXEC) |
2066 | #define COND_EXEC_CODE(RTX) XCEXP (RTX, 1, COND_EXEC) | |
406034fa | 2067 | |
658782a5 | 2068 | /* 1 if RTX is a symbol_ref that addresses this function's rtl |
2069 | constants pool. */ | |
3c6858c6 | 2070 | #define CONSTANT_POOL_ADDRESS_P(RTX) \ |
9af5ce0c | 2071 | (RTL_FLAG_CHECK1 ("CONSTANT_POOL_ADDRESS_P", (RTX), SYMBOL_REF)->unchanging) |
759bebca | 2072 | |
658782a5 | 2073 | /* 1 if RTX is a symbol_ref that addresses a value in the file's |
2074 | tree constant pool. This information is private to varasm.c. */ | |
2075 | #define TREE_CONSTANT_POOL_ADDRESS_P(RTX) \ | |
9af5ce0c | 2076 | (RTL_FLAG_CHECK1 ("TREE_CONSTANT_POOL_ADDRESS_P", \ |
2077 | (RTX), SYMBOL_REF)->frame_related) | |
abf74c5b | 2078 | |
3c6858c6 | 2079 | /* Used if RTX is a symbol_ref, for machine-specific purposes. */ |
2080 | #define SYMBOL_REF_FLAG(RTX) \ | |
9af5ce0c | 2081 | (RTL_FLAG_CHECK1 ("SYMBOL_REF_FLAG", (RTX), SYMBOL_REF)->volatil) |
759bebca | 2082 | |
3c6858c6 | 2083 | /* 1 if RTX is a symbol_ref that has been the library function in |
2084 | emit_library_call. */ | |
2085 | #define SYMBOL_REF_USED(RTX) \ | |
9af5ce0c | 2086 | (RTL_FLAG_CHECK1 ("SYMBOL_REF_USED", (RTX), SYMBOL_REF)->used) |
759bebca | 2087 | |
3c6858c6 | 2088 | /* 1 if RTX is a symbol_ref for a weak symbol. */ |
2089 | #define SYMBOL_REF_WEAK(RTX) \ | |
9af5ce0c | 2090 | (RTL_FLAG_CHECK1 ("SYMBOL_REF_WEAK", (RTX), SYMBOL_REF)->return_val) |
67f79732 | 2091 | |
7c266bb1 | 2092 | /* A pointer attached to the SYMBOL_REF; either SYMBOL_REF_DECL or |
2093 | SYMBOL_REF_CONSTANT. */ | |
8854855c | 2094 | #define SYMBOL_REF_DATA(RTX) X0ANY ((RTX), 1) |
b864739b | 2095 | |
2096 | /* Set RTX's SYMBOL_REF_DECL to DECL. RTX must not be a constant | |
2097 | pool symbol. */ | |
2098 | #define SET_SYMBOL_REF_DECL(RTX, DECL) \ | |
8854855c | 2099 | (gcc_assert (!CONSTANT_POOL_ADDRESS_P (RTX)), X0TREE ((RTX), 1) = (DECL)) |
7c266bb1 | 2100 | |
b2fd8d52 | 2101 | /* The tree (decl or constant) associated with the symbol, or null. */ |
7c266bb1 | 2102 | #define SYMBOL_REF_DECL(RTX) \ |
8854855c | 2103 | (CONSTANT_POOL_ADDRESS_P (RTX) ? NULL : X0TREE ((RTX), 1)) |
7c266bb1 | 2104 | |
b864739b | 2105 | /* Set RTX's SYMBOL_REF_CONSTANT to C. RTX must be a constant pool symbol. */ |
2106 | #define SET_SYMBOL_REF_CONSTANT(RTX, C) \ | |
8854855c | 2107 | (gcc_assert (CONSTANT_POOL_ADDRESS_P (RTX)), X0CONSTANT ((RTX), 1) = (C)) |
b864739b | 2108 | |
7c266bb1 | 2109 | /* The rtx constant pool entry for a symbol, or null. */ |
2110 | #define SYMBOL_REF_CONSTANT(RTX) \ | |
8854855c | 2111 | (CONSTANT_POOL_ADDRESS_P (RTX) ? X0CONSTANT ((RTX), 1) : NULL) |
001be062 | 2112 | |
2113 | /* A set of flags on a symbol_ref that are, in some respects, redundant with | |
2114 | information derivable from the tree decl associated with this symbol. | |
2115 | Except that we build a *lot* of SYMBOL_REFs that aren't associated with a | |
2116 | decl. In some cases this is a bug. But beyond that, it's nice to cache | |
2117 | this information to avoid recomputing it. Finally, this allows space for | |
2118 | the target to store more than one bit of information, as with | |
2119 | SYMBOL_REF_FLAG. */ | |
8854855c | 2120 | #define SYMBOL_REF_FLAGS(RTX) \ |
2121 | (RTL_FLAG_CHECK1 ("SYMBOL_REF_FLAGS", (RTX), SYMBOL_REF) \ | |
2122 | ->u2.symbol_ref_flags) | |
001be062 | 2123 | |
2124 | /* These flags are common enough to be defined for all targets. They | |
2125 | are computed by the default version of targetm.encode_section_info. */ | |
2126 | ||
2127 | /* Set if this symbol is a function. */ | |
2128 | #define SYMBOL_FLAG_FUNCTION (1 << 0) | |
2129 | #define SYMBOL_REF_FUNCTION_P(RTX) \ | |
2130 | ((SYMBOL_REF_FLAGS (RTX) & SYMBOL_FLAG_FUNCTION) != 0) | |
2131 | /* Set if targetm.binds_local_p is true. */ | |
2132 | #define SYMBOL_FLAG_LOCAL (1 << 1) | |
2133 | #define SYMBOL_REF_LOCAL_P(RTX) \ | |
2134 | ((SYMBOL_REF_FLAGS (RTX) & SYMBOL_FLAG_LOCAL) != 0) | |
2135 | /* Set if targetm.in_small_data_p is true. */ | |
2136 | #define SYMBOL_FLAG_SMALL (1 << 2) | |
2137 | #define SYMBOL_REF_SMALL_P(RTX) \ | |
2138 | ((SYMBOL_REF_FLAGS (RTX) & SYMBOL_FLAG_SMALL) != 0) | |
2139 | /* The three-bit field at [5:3] is true for TLS variables; use | |
2140 | SYMBOL_REF_TLS_MODEL to extract the field as an enum tls_model. */ | |
2141 | #define SYMBOL_FLAG_TLS_SHIFT 3 | |
2142 | #define SYMBOL_REF_TLS_MODEL(RTX) \ | |
9763286f | 2143 | ((enum tls_model) ((SYMBOL_REF_FLAGS (RTX) >> SYMBOL_FLAG_TLS_SHIFT) & 7)) |
001be062 | 2144 | /* Set if this symbol is not defined in this translation unit. */ |
2145 | #define SYMBOL_FLAG_EXTERNAL (1 << 6) | |
2146 | #define SYMBOL_REF_EXTERNAL_P(RTX) \ | |
2147 | ((SYMBOL_REF_FLAGS (RTX) & SYMBOL_FLAG_EXTERNAL) != 0) | |
f2d0e9f1 | 2148 | /* Set if this symbol has a block_symbol structure associated with it. */ |
6617cbc1 | 2149 | #define SYMBOL_FLAG_HAS_BLOCK_INFO (1 << 7) |
2150 | #define SYMBOL_REF_HAS_BLOCK_INFO_P(RTX) \ | |
2151 | ((SYMBOL_REF_FLAGS (RTX) & SYMBOL_FLAG_HAS_BLOCK_INFO) != 0) | |
f2d0e9f1 | 2152 | /* Set if this symbol is a section anchor. SYMBOL_REF_ANCHOR_P implies |
6617cbc1 | 2153 | SYMBOL_REF_HAS_BLOCK_INFO_P. */ |
f2d0e9f1 | 2154 | #define SYMBOL_FLAG_ANCHOR (1 << 8) |
2155 | #define SYMBOL_REF_ANCHOR_P(RTX) \ | |
2156 | ((SYMBOL_REF_FLAGS (RTX) & SYMBOL_FLAG_ANCHOR) != 0) | |
001be062 | 2157 | |
2158 | /* Subsequent bits are available for the target to use. */ | |
f2d0e9f1 | 2159 | #define SYMBOL_FLAG_MACH_DEP_SHIFT 9 |
5c5d0ae9 | 2160 | #define SYMBOL_FLAG_MACH_DEP (1 << SYMBOL_FLAG_MACH_DEP_SHIFT) |
001be062 | 2161 | |
6617cbc1 | 2162 | /* If SYMBOL_REF_HAS_BLOCK_INFO_P (RTX), this is the object_block |
2163 | structure to which the symbol belongs, or NULL if it has not been | |
2164 | assigned a block. */ | |
f2d0e9f1 | 2165 | #define SYMBOL_REF_BLOCK(RTX) (BLOCK_SYMBOL_CHECK (RTX)->block) |
2166 | ||
6617cbc1 | 2167 | /* If SYMBOL_REF_HAS_BLOCK_INFO_P (RTX), this is the offset of RTX from |
2168 | the first object in SYMBOL_REF_BLOCK (RTX). The value is negative if | |
2169 | RTX has not yet been assigned to a block, or it has not been given an | |
2170 | offset within that block. */ | |
f2d0e9f1 | 2171 | #define SYMBOL_REF_BLOCK_OFFSET(RTX) (BLOCK_SYMBOL_CHECK (RTX)->offset) |
2172 | ||
6540132c | 2173 | /* True if RTX is flagged to be a scheduling barrier. */ |
2174 | #define PREFETCH_SCHEDULE_BARRIER_P(RTX) \ | |
9af5ce0c | 2175 | (RTL_FLAG_CHECK1 ("PREFETCH_SCHEDULE_BARRIER_P", (RTX), PREFETCH)->volatil) |
6540132c | 2176 | |
3072d30e | 2177 | /* Indicate whether the machine has any sort of auto increment addressing. |
2178 | If not, we can avoid checking for REG_INC notes. */ | |
2179 | ||
2180 | #if (defined (HAVE_PRE_INCREMENT) || defined (HAVE_PRE_DECREMENT) \ | |
2181 | || defined (HAVE_POST_INCREMENT) || defined (HAVE_POST_DECREMENT) \ | |
bb760dac | 2182 | || defined (HAVE_PRE_MODIFY_DISP) || defined (HAVE_POST_MODIFY_DISP) \ |
3072d30e | 2183 | || defined (HAVE_PRE_MODIFY_REG) || defined (HAVE_POST_MODIFY_REG)) |
2184 | #define AUTO_INC_DEC | |
2185 | #endif | |
2186 | ||
759bebca | 2187 | /* Define a macro to look for REG_INC notes, |
2188 | but save time on machines where they never exist. */ | |
2189 | ||
3072d30e | 2190 | #ifdef AUTO_INC_DEC |
017c31d6 | 2191 | #define FIND_REG_INC_NOTE(INSN, REG) \ |
2192 | ((REG) != NULL_RTX && REG_P ((REG)) \ | |
2193 | ? find_regno_note ((INSN), REG_INC, REGNO (REG)) \ | |
2194 | : find_reg_note ((INSN), REG_INC, (REG))) | |
759bebca | 2195 | #else |
017c31d6 | 2196 | #define FIND_REG_INC_NOTE(INSN, REG) 0 |
759bebca | 2197 | #endif |
2198 | ||
e4e498cf | 2199 | #ifndef HAVE_PRE_INCREMENT |
2200 | #define HAVE_PRE_INCREMENT 0 | |
2201 | #endif | |
2202 | ||
2203 | #ifndef HAVE_PRE_DECREMENT | |
2204 | #define HAVE_PRE_DECREMENT 0 | |
2205 | #endif | |
2206 | ||
2207 | #ifndef HAVE_POST_INCREMENT | |
2208 | #define HAVE_POST_INCREMENT 0 | |
2209 | #endif | |
2210 | ||
2211 | #ifndef HAVE_POST_DECREMENT | |
2212 | #define HAVE_POST_DECREMENT 0 | |
2213 | #endif | |
2214 | ||
40988080 | 2215 | #ifndef HAVE_POST_MODIFY_DISP |
2216 | #define HAVE_POST_MODIFY_DISP 0 | |
2217 | #endif | |
2218 | ||
2219 | #ifndef HAVE_POST_MODIFY_REG | |
2220 | #define HAVE_POST_MODIFY_REG 0 | |
2221 | #endif | |
2222 | ||
2223 | #ifndef HAVE_PRE_MODIFY_DISP | |
2224 | #define HAVE_PRE_MODIFY_DISP 0 | |
2225 | #endif | |
2226 | ||
2227 | #ifndef HAVE_PRE_MODIFY_REG | |
2228 | #define HAVE_PRE_MODIFY_REG 0 | |
2229 | #endif | |
2230 | ||
c14ad648 | 2231 | |
2232 | /* Some architectures do not have complete pre/post increment/decrement | |
2233 | instruction sets, or only move some modes efficiently. These macros | |
2234 | allow us to tune autoincrement generation. */ | |
2235 | ||
2236 | #ifndef USE_LOAD_POST_INCREMENT | |
2237 | #define USE_LOAD_POST_INCREMENT(MODE) HAVE_POST_INCREMENT | |
2238 | #endif | |
2239 | ||
2240 | #ifndef USE_LOAD_POST_DECREMENT | |
2241 | #define USE_LOAD_POST_DECREMENT(MODE) HAVE_POST_DECREMENT | |
2242 | #endif | |
2243 | ||
2244 | #ifndef USE_LOAD_PRE_INCREMENT | |
2245 | #define USE_LOAD_PRE_INCREMENT(MODE) HAVE_PRE_INCREMENT | |
2246 | #endif | |
2247 | ||
2248 | #ifndef USE_LOAD_PRE_DECREMENT | |
2249 | #define USE_LOAD_PRE_DECREMENT(MODE) HAVE_PRE_DECREMENT | |
2250 | #endif | |
2251 | ||
2252 | #ifndef USE_STORE_POST_INCREMENT | |
2253 | #define USE_STORE_POST_INCREMENT(MODE) HAVE_POST_INCREMENT | |
2254 | #endif | |
2255 | ||
2256 | #ifndef USE_STORE_POST_DECREMENT | |
2257 | #define USE_STORE_POST_DECREMENT(MODE) HAVE_POST_DECREMENT | |
2258 | #endif | |
2259 | ||
2260 | #ifndef USE_STORE_PRE_INCREMENT | |
2261 | #define USE_STORE_PRE_INCREMENT(MODE) HAVE_PRE_INCREMENT | |
2262 | #endif | |
2263 | ||
2264 | #ifndef USE_STORE_PRE_DECREMENT | |
2265 | #define USE_STORE_PRE_DECREMENT(MODE) HAVE_PRE_DECREMENT | |
2266 | #endif | |
759bebca | 2267 | \f |
316bc009 | 2268 | /* Nonzero when we are generating CONCATs. */ |
2269 | extern int generating_concat_p; | |
2270 | ||
723c0ee7 | 2271 | /* Nonzero when we are expanding trees to RTL. */ |
2272 | extern int currently_expanding_to_rtl; | |
2273 | ||
759bebca | 2274 | /* Generally useful functions. */ |
2275 | ||
ebd9163c | 2276 | /* In explow.c */ |
3ad4992f | 2277 | extern HOST_WIDE_INT trunc_int_for_mode (HOST_WIDE_INT, enum machine_mode); |
5cc04e45 | 2278 | extern rtx plus_constant (enum machine_mode, rtx, HOST_WIDE_INT, bool = false); |
1bb04728 | 2279 | |
9588521d | 2280 | /* In rtl.c */ |
674b05f5 | 2281 | extern rtx rtx_alloc_stat (RTX_CODE MEM_STAT_DECL); |
2282 | #define rtx_alloc(c) rtx_alloc_stat (c MEM_STAT_INFO) | |
e913b5cd | 2283 | extern rtx rtx_alloc_stat_v (RTX_CODE MEM_STAT_DECL, int); |
2284 | #define rtx_alloc_v(c, SZ) rtx_alloc_stat_v (c MEM_STAT_INFO, SZ) | |
2285 | #define const_wide_int_alloc(NWORDS) \ | |
2286 | rtx_alloc_v (CONST_WIDE_INT, \ | |
2287 | (sizeof (struct hwivec_def) \ | |
2288 | + ((NWORDS)-1) * sizeof (HOST_WIDE_INT))) \ | |
674b05f5 | 2289 | |
3ad4992f | 2290 | extern rtvec rtvec_alloc (int); |
b447ca78 | 2291 | extern rtvec shallow_copy_rtvec (rtvec); |
dd9b9fc5 | 2292 | extern bool shared_const_p (const_rtx); |
3ad4992f | 2293 | extern rtx copy_rtx (rtx); |
86736f9e | 2294 | extern void dump_rtx_statistics (void); |
9588521d | 2295 | |
2296 | /* In emit-rtl.c */ | |
3ad4992f | 2297 | extern rtx copy_rtx_if_shared (rtx); |
9588521d | 2298 | |
2299 | /* In rtl.c */ | |
dd9b9fc5 | 2300 | extern unsigned int rtx_size (const_rtx); |
2301 | extern rtx shallow_copy_rtx_stat (const_rtx MEM_STAT_DECL); | |
674b05f5 | 2302 | #define shallow_copy_rtx(a) shallow_copy_rtx_stat (a MEM_STAT_INFO) |
dd9b9fc5 | 2303 | extern int rtx_equal_p (const_rtx, const_rtx); |
9588521d | 2304 | |
2305 | /* In emit-rtl.c */ | |
3ad4992f | 2306 | extern rtvec gen_rtvec_v (int, rtx *); |
2307 | extern rtx gen_reg_rtx (enum machine_mode); | |
2308 | extern rtx gen_rtx_REG_offset (rtx, enum machine_mode, unsigned int, int); | |
1a6a0f2a | 2309 | extern rtx gen_reg_rtx_offset (rtx, enum machine_mode, int); |
ae12ddda | 2310 | extern rtx gen_reg_rtx_and_attrs (rtx); |
be95c7c7 | 2311 | extern rtx_code_label *gen_label_rtx (void); |
3ad4992f | 2312 | extern rtx gen_lowpart_common (enum machine_mode, rtx); |
9588521d | 2313 | |
2314 | /* In cse.c */ | |
3ad4992f | 2315 | extern rtx gen_lowpart_if_possible (enum machine_mode, rtx); |
9588521d | 2316 | |
2317 | /* In emit-rtl.c */ | |
3ad4992f | 2318 | extern rtx gen_highpart (enum machine_mode, rtx); |
2319 | extern rtx gen_highpart_mode (enum machine_mode, enum machine_mode, rtx); | |
3ad4992f | 2320 | extern rtx operand_subword (rtx, unsigned int, int, enum machine_mode); |
9588521d | 2321 | |
2322 | /* In emit-rtl.c */ | |
3ad4992f | 2323 | extern rtx operand_subword_force (rtx, unsigned int, enum machine_mode); |
b537bfdb | 2324 | extern bool paradoxical_subreg_p (const_rtx); |
b7bf20db | 2325 | extern int subreg_lowpart_p (const_rtx); |
3ad4992f | 2326 | extern unsigned int subreg_lowpart_offset (enum machine_mode, |
2327 | enum machine_mode); | |
2328 | extern unsigned int subreg_highpart_offset (enum machine_mode, | |
2329 | enum machine_mode); | |
80c70e76 | 2330 | extern int byte_lowpart_offset (enum machine_mode, enum machine_mode); |
3ad4992f | 2331 | extern rtx make_safe_from (rtx, rtx); |
98155838 | 2332 | extern rtx convert_memory_address_addr_space (enum machine_mode, rtx, |
2333 | addr_space_t); | |
2334 | #define convert_memory_address(to_mode,x) \ | |
2335 | convert_memory_address_addr_space ((to_mode), (x), ADDR_SPACE_GENERIC) | |
3ad4992f | 2336 | extern const char *get_insn_name (int); |
3ad4992f | 2337 | extern rtx get_last_insn_anywhere (void); |
2338 | extern rtx get_first_nonnote_insn (void); | |
2339 | extern rtx get_last_nonnote_insn (void); | |
2340 | extern void start_sequence (void); | |
2341 | extern void push_to_sequence (rtx); | |
28bf151d | 2342 | extern void push_to_sequence2 (rtx, rtx); |
3ad4992f | 2343 | extern void end_sequence (void); |
e913b5cd | 2344 | #if TARGET_SUPPORTS_WIDE_INT == 0 |
33274180 | 2345 | extern double_int rtx_to_double_int (const_rtx); |
e913b5cd | 2346 | #endif |
05c25ee6 | 2347 | extern void cwi_output_hex (FILE *, const_rtx); |
e913b5cd | 2348 | #ifndef GENERATOR_FILE |
28e557ef | 2349 | extern rtx immed_wide_int_const (const wide_int_ref &, enum machine_mode); |
e913b5cd | 2350 | #endif |
2351 | #if TARGET_SUPPORTS_WIDE_INT == 0 | |
3ad4992f | 2352 | extern rtx immed_double_const (HOST_WIDE_INT, HOST_WIDE_INT, |
2353 | enum machine_mode); | |
e913b5cd | 2354 | #endif |
791172c5 | 2355 | |
cde5a3a0 | 2356 | /* In loop-iv.c */ |
2357 | ||
2358 | extern rtx lowpart_subreg (enum machine_mode, rtx, enum machine_mode); | |
2359 | ||
791172c5 | 2360 | /* In varasm.c */ |
3ad4992f | 2361 | extern rtx force_const_mem (enum machine_mode, rtx); |
9588521d | 2362 | |
9588521d | 2363 | /* In varasm.c */ |
fdef3332 | 2364 | |
2365 | struct function; | |
3ad4992f | 2366 | extern rtx get_pool_constant (rtx); |
2367 | extern rtx get_pool_constant_mark (rtx, bool *); | |
dd9b9fc5 | 2368 | extern enum machine_mode get_pool_mode (const_rtx); |
3ad4992f | 2369 | extern rtx simplify_subtraction (rtx); |
756dcd13 | 2370 | extern void decide_function_section (tree); |
9588521d | 2371 | |
2372 | /* In function.c */ | |
3ad4992f | 2373 | extern rtx assign_stack_local (enum machine_mode, HOST_WIDE_INT, int); |
943d8723 | 2374 | #define ASLK_REDUCE_ALIGN 1 |
2375 | #define ASLK_RECORD_PAD 2 | |
2376 | extern rtx assign_stack_local_1 (enum machine_mode, HOST_WIDE_INT, int, int); | |
0ab48139 | 2377 | extern rtx assign_stack_temp (enum machine_mode, HOST_WIDE_INT); |
2378 | extern rtx assign_stack_temp_for_type (enum machine_mode, HOST_WIDE_INT, tree); | |
2379 | extern rtx assign_temp (tree, int, int); | |
0a3b3d88 | 2380 | |
9588521d | 2381 | /* In emit-rtl.c */ |
722334ea | 2382 | extern rtx_insn *emit_insn_before (rtx, rtx); |
2383 | extern rtx_insn *emit_insn_before_noloc (rtx, rtx, basic_block); | |
2384 | extern rtx_insn *emit_insn_before_setloc (rtx, rtx, int); | |
2385 | extern rtx_insn *emit_jump_insn_before (rtx, rtx); | |
2386 | extern rtx_insn *emit_jump_insn_before_noloc (rtx, rtx); | |
2387 | extern rtx_insn *emit_jump_insn_before_setloc (rtx, rtx, int); | |
2388 | extern rtx_insn *emit_call_insn_before (rtx, rtx); | |
2389 | extern rtx_insn *emit_call_insn_before_noloc (rtx, rtx); | |
2390 | extern rtx_insn *emit_call_insn_before_setloc (rtx, rtx, int); | |
2391 | extern rtx_insn *emit_debug_insn_before (rtx, rtx); | |
2392 | extern rtx_insn *emit_debug_insn_before_noloc (rtx, rtx); | |
2393 | extern rtx_insn *emit_debug_insn_before_setloc (rtx, rtx, int); | |
2394 | extern rtx_barrier *emit_barrier_before (rtx); | |
2395 | extern rtx_insn *emit_label_before (rtx, rtx); | |
cef3d8ad | 2396 | extern rtx_note *emit_note_before (enum insn_note, rtx); |
722334ea | 2397 | extern rtx_insn *emit_insn_after (rtx, rtx); |
2398 | extern rtx_insn *emit_insn_after_noloc (rtx, rtx, basic_block); | |
2399 | extern rtx_insn *emit_insn_after_setloc (rtx, rtx, int); | |
2400 | extern rtx_insn *emit_jump_insn_after (rtx, rtx); | |
2401 | extern rtx_insn *emit_jump_insn_after_noloc (rtx, rtx); | |
2402 | extern rtx_insn *emit_jump_insn_after_setloc (rtx, rtx, int); | |
2403 | extern rtx_insn *emit_call_insn_after (rtx, rtx); | |
2404 | extern rtx_insn *emit_call_insn_after_noloc (rtx, rtx); | |
2405 | extern rtx_insn *emit_call_insn_after_setloc (rtx, rtx, int); | |
2406 | extern rtx_insn *emit_debug_insn_after (rtx, rtx); | |
2407 | extern rtx_insn *emit_debug_insn_after_noloc (rtx, rtx); | |
2408 | extern rtx_insn *emit_debug_insn_after_setloc (rtx, rtx, int); | |
2409 | extern rtx_barrier *emit_barrier_after (rtx); | |
2410 | extern rtx_insn *emit_label_after (rtx, rtx); | |
cef3d8ad | 2411 | extern rtx_note *emit_note_after (enum insn_note, rtx); |
722334ea | 2412 | extern rtx_insn *emit_insn (rtx); |
2413 | extern rtx_insn *emit_debug_insn (rtx); | |
2414 | extern rtx_insn *emit_jump_insn (rtx); | |
2415 | extern rtx_insn *emit_call_insn (rtx); | |
2416 | extern rtx_insn *emit_label (rtx); | |
e41badc0 | 2417 | extern rtx_jump_table_data *emit_jump_table_data (rtx); |
722334ea | 2418 | extern rtx_barrier *emit_barrier (void); |
cef3d8ad | 2419 | extern rtx_note *emit_note (enum insn_note); |
2420 | extern rtx_note *emit_note_copy (rtx_note *); | |
722334ea | 2421 | extern rtx_insn *gen_clobber (rtx); |
2422 | extern rtx_insn *emit_clobber (rtx); | |
2423 | extern rtx_insn *gen_use (rtx); | |
2424 | extern rtx_insn *emit_use (rtx); | |
2c57d586 | 2425 | extern rtx_insn *make_insn_raw (rtx); |
3ad4992f | 2426 | extern void add_function_usage_to (rtx, rtx); |
ec22da62 | 2427 | extern rtx_call_insn *last_call_insn (void); |
7bac25b3 | 2428 | extern rtx_insn *previous_insn (rtx); |
2429 | extern rtx_insn *next_insn (rtx); | |
2430 | extern rtx_insn *prev_nonnote_insn (rtx); | |
2431 | extern rtx_insn *prev_nonnote_insn_bb (rtx); | |
2432 | extern rtx_insn *next_nonnote_insn (rtx); | |
2433 | extern rtx_insn *next_nonnote_insn_bb (rtx); | |
2434 | extern rtx_insn *prev_nondebug_insn (rtx); | |
2435 | extern rtx_insn *next_nondebug_insn (rtx); | |
2436 | extern rtx_insn *prev_nonnote_nondebug_insn (rtx); | |
2437 | extern rtx_insn *next_nonnote_nondebug_insn (rtx); | |
2438 | extern rtx_insn *prev_real_insn (rtx); | |
2439 | extern rtx_insn *next_real_insn (rtx); | |
2440 | extern rtx_insn *prev_active_insn (rtx); | |
2441 | extern rtx_insn *next_active_insn (rtx); | |
52d07779 | 2442 | extern int active_insn_p (const_rtx); |
0be88abd | 2443 | extern rtx_insn *next_cc0_user (rtx); |
2444 | extern rtx_insn *prev_cc0_setter (rtx); | |
9588521d | 2445 | |
23a070f3 | 2446 | /* In emit-rtl.c */ |
dd9b9fc5 | 2447 | extern int insn_line (const_rtx); |
2448 | extern const char * insn_file (const_rtx); | |
23a070f3 | 2449 | extern tree insn_scope (const_rtx); |
0e7ae557 | 2450 | extern expanded_location insn_location (const_rtx); |
5169661d | 2451 | extern location_t prologue_location, epilogue_location; |
84c71503 | 2452 | |
9588521d | 2453 | /* In jump.c */ |
3ad4992f | 2454 | extern enum rtx_code reverse_condition (enum rtx_code); |
2455 | extern enum rtx_code reverse_condition_maybe_unordered (enum rtx_code); | |
2456 | extern enum rtx_code swap_condition (enum rtx_code); | |
2457 | extern enum rtx_code unsigned_condition (enum rtx_code); | |
2458 | extern enum rtx_code signed_condition (enum rtx_code); | |
2459 | extern void mark_jump_label (rtx, rtx, int); | |
9588521d | 2460 | |
9588521d | 2461 | /* In jump.c */ |
f68c5086 | 2462 | extern rtx_insn *delete_related_insns (rtx); |
9588521d | 2463 | |
2464 | /* In recog.c */ | |
3ad4992f | 2465 | extern rtx *find_constant_term_loc (rtx *); |
9588521d | 2466 | |
2467 | /* In emit-rtl.c */ | |
bffa1357 | 2468 | extern rtx_insn *try_split (rtx, rtx, int); |
3cd757b1 | 2469 | extern int split_branch_probability; |
9588521d | 2470 | |
2471 | /* In unknown file */ | |
3ad4992f | 2472 | extern rtx split_insns (rtx, rtx); |
9588521d | 2473 | |
2474 | /* In simplify-rtx.c */ | |
3b723a04 | 2475 | extern rtx simplify_const_unary_operation (enum rtx_code, enum machine_mode, |
2476 | rtx, enum machine_mode); | |
3ad4992f | 2477 | extern rtx simplify_unary_operation (enum rtx_code, enum machine_mode, rtx, |
2478 | enum machine_mode); | |
3b723a04 | 2479 | extern rtx simplify_const_binary_operation (enum rtx_code, enum machine_mode, |
2480 | rtx, rtx); | |
3ad4992f | 2481 | extern rtx simplify_binary_operation (enum rtx_code, enum machine_mode, rtx, |
2482 | rtx); | |
2483 | extern rtx simplify_ternary_operation (enum rtx_code, enum machine_mode, | |
2484 | enum machine_mode, rtx, rtx, rtx); | |
089b4730 | 2485 | extern rtx simplify_const_relational_operation (enum rtx_code, |
2486 | enum machine_mode, rtx, rtx); | |
3ad4992f | 2487 | extern rtx simplify_relational_operation (enum rtx_code, enum machine_mode, |
089b4730 | 2488 | enum machine_mode, rtx, rtx); |
3ad4992f | 2489 | extern rtx simplify_gen_binary (enum rtx_code, enum machine_mode, rtx, rtx); |
2490 | extern rtx simplify_gen_unary (enum rtx_code, enum machine_mode, rtx, | |
2491 | enum machine_mode); | |
2492 | extern rtx simplify_gen_ternary (enum rtx_code, enum machine_mode, | |
2493 | enum machine_mode, rtx, rtx, rtx); | |
2494 | extern rtx simplify_gen_relational (enum rtx_code, enum machine_mode, | |
2495 | enum machine_mode, rtx, rtx); | |
2496 | extern rtx simplify_subreg (enum machine_mode, rtx, enum machine_mode, | |
2497 | unsigned int); | |
2498 | extern rtx simplify_gen_subreg (enum machine_mode, rtx, enum machine_mode, | |
2499 | unsigned int); | |
bf4652ac | 2500 | extern rtx simplify_replace_fn_rtx (rtx, const_rtx, |
35af0188 | 2501 | rtx (*fn) (rtx, const_rtx, void *), void *); |
dd9b9fc5 | 2502 | extern rtx simplify_replace_rtx (rtx, const_rtx, rtx); |
9f627b1a | 2503 | extern rtx simplify_rtx (const_rtx); |
3ad4992f | 2504 | extern rtx avoid_constant_pool_reference (rtx); |
9845d120 | 2505 | extern rtx delegitimize_mem_from_attrs (rtx); |
dd9b9fc5 | 2506 | extern bool mode_signbit_p (enum machine_mode, const_rtx); |
f92430e0 | 2507 | extern bool val_signbit_p (enum machine_mode, unsigned HOST_WIDE_INT); |
2508 | extern bool val_signbit_known_set_p (enum machine_mode, | |
2509 | unsigned HOST_WIDE_INT); | |
2510 | extern bool val_signbit_known_clear_p (enum machine_mode, | |
2511 | unsigned HOST_WIDE_INT); | |
9588521d | 2512 | |
ac502adf | 2513 | /* In reginfo.c */ |
b805295e | 2514 | extern enum machine_mode choose_hard_reg_mode (unsigned int, unsigned int, |
2515 | bool); | |
9588521d | 2516 | |
2517 | /* In emit-rtl.c */ | |
3a286419 | 2518 | extern rtx set_for_reg_notes (rtx); |
3ad4992f | 2519 | extern rtx set_unique_reg_note (rtx, enum reg_note, rtx); |
41cf444a | 2520 | extern rtx set_dst_reg_note (rtx, enum reg_note, rtx, rtx); |
3072d30e | 2521 | extern void set_insn_deleted (rtx); |
ea0cb7ae | 2522 | |
0dbd1c74 | 2523 | /* Functions in rtlanal.c */ |
2524 | ||
6531eca9 | 2525 | /* Single set is implemented as macro for performance reasons. */ |
2526 | #define single_set(I) (INSN_P (I) \ | |
2527 | ? (GET_CODE (PATTERN (I)) == SET \ | |
2528 | ? PATTERN (I) : single_set_1 (I)) \ | |
2529 | : NULL_RTX) | |
a0bb0d20 | 2530 | #define single_set_1(I) single_set_2 (I, PATTERN (I)) |
6531eca9 | 2531 | |
f2756aab | 2532 | /* Structure used for passing data to REPLACE_LABEL. */ |
b3e7c666 | 2533 | struct replace_label_data |
f2756aab | 2534 | { |
2535 | rtx r1; | |
2536 | rtx r2; | |
cda612f5 | 2537 | bool update_label_nuses; |
b3e7c666 | 2538 | }; |
f2756aab | 2539 | |
87cf5753 | 2540 | extern enum machine_mode get_address_mode (rtx mem); |
dd9b9fc5 | 2541 | extern int rtx_addr_can_trap_p (const_rtx); |
2542 | extern bool nonzero_address_p (const_rtx); | |
2543 | extern int rtx_unstable_p (const_rtx); | |
52d07779 | 2544 | extern bool rtx_varies_p (const_rtx, bool); |
2545 | extern bool rtx_addr_varies_p (const_rtx, bool); | |
cf7fb72d | 2546 | extern rtx get_call_rtx_from (rtx); |
dd9b9fc5 | 2547 | extern HOST_WIDE_INT get_integer_term (const_rtx); |
2548 | extern rtx get_related_value (const_rtx); | |
2549 | extern bool offset_within_block_p (const_rtx, HOST_WIDE_INT); | |
e0ab7256 | 2550 | extern void split_const (rtx, rtx *, rtx *); |
0a98b6d9 | 2551 | extern bool unsigned_reg_p (rtx); |
dd9b9fc5 | 2552 | extern int reg_mentioned_p (const_rtx, const_rtx); |
2553 | extern int count_occurrences (const_rtx, const_rtx, int); | |
2554 | extern int reg_referenced_p (const_rtx, const_rtx); | |
2555 | extern int reg_used_between_p (const_rtx, const_rtx, const_rtx); | |
7ecb5bb2 | 2556 | extern int reg_set_between_p (const_rtx, const_rtx, const_rtx); |
3ad4992f | 2557 | extern int commutative_operand_precedence (rtx); |
1f3b83af | 2558 | extern bool swap_commutative_operands_p (rtx, rtx); |
5493cb9a | 2559 | extern int modified_between_p (const_rtx, const_rtx, const_rtx); |
dd9b9fc5 | 2560 | extern int no_labels_between_p (const_rtx, const_rtx); |
5493cb9a | 2561 | extern int modified_in_p (const_rtx, const_rtx); |
7ecb5bb2 | 2562 | extern int reg_set_p (const_rtx, const_rtx); |
dd9b9fc5 | 2563 | extern rtx single_set_2 (const_rtx, const_rtx); |
2564 | extern int multiple_sets (const_rtx); | |
2565 | extern int set_noop_p (const_rtx); | |
b7bf20db | 2566 | extern int noop_move_p (const_rtx); |
3ad4992f | 2567 | extern rtx find_last_value (rtx, rtx *, rtx, int); |
dd9b9fc5 | 2568 | extern int refers_to_regno_p (unsigned int, unsigned int, const_rtx, rtx *); |
2569 | extern int reg_overlap_mentioned_p (const_rtx, const_rtx); | |
81a410b1 | 2570 | extern const_rtx set_of (const_rtx, const_rtx); |
effd1640 | 2571 | extern void record_hard_reg_sets (rtx, const_rtx, void *); |
2572 | extern void record_hard_reg_uses (rtx *, void *); | |
2573 | #ifdef HARD_CONST | |
1630ba6e | 2574 | extern void find_all_hard_reg_sets (const_rtx, HARD_REG_SET *, bool); |
effd1640 | 2575 | #endif |
81a410b1 | 2576 | extern void note_stores (const_rtx, void (*) (rtx, const_rtx, void *), void *); |
3ad4992f | 2577 | extern void note_uses (rtx *, void (*) (rtx *, void *), void *); |
dd9b9fc5 | 2578 | extern int dead_or_set_p (const_rtx, const_rtx); |
2579 | extern int dead_or_set_regno_p (const_rtx, unsigned int); | |
2580 | extern rtx find_reg_note (const_rtx, enum reg_note, const_rtx); | |
2581 | extern rtx find_regno_note (const_rtx, enum reg_note, unsigned int); | |
2582 | extern rtx find_reg_equal_equiv_note (const_rtx); | |
2583 | extern rtx find_constant_src (const_rtx); | |
2584 | extern int find_reg_fusage (const_rtx, enum rtx_code, const_rtx); | |
2585 | extern int find_regno_fusage (const_rtx, enum rtx_code, unsigned int); | |
5859ee98 | 2586 | extern rtx alloc_reg_note (enum reg_note, rtx, rtx); |
a1ddb869 | 2587 | extern void add_reg_note (rtx, enum reg_note, rtx); |
9eb946de | 2588 | extern void add_int_reg_note (rtx, enum reg_note, int); |
2589 | extern void add_shallow_copy_of_reg_note (rtx, rtx); | |
dd9b9fc5 | 2590 | extern void remove_note (rtx, const_rtx); |
f16feee2 | 2591 | extern void remove_reg_equal_equiv_notes (rtx); |
09669349 | 2592 | extern void remove_reg_equal_equiv_notes_for_regno (unsigned int); |
dd9b9fc5 | 2593 | extern int side_effects_p (const_rtx); |
2594 | extern int volatile_refs_p (const_rtx); | |
2595 | extern int volatile_insn_p (const_rtx); | |
77ad8e5a | 2596 | extern int may_trap_p_1 (const_rtx, unsigned); |
dd9b9fc5 | 2597 | extern int may_trap_p (const_rtx); |
dd9b9fc5 | 2598 | extern int may_trap_or_fault_p (const_rtx); |
e38def9c | 2599 | extern bool can_throw_internal (const_rtx); |
2600 | extern bool can_throw_external (const_rtx); | |
2601 | extern bool insn_could_throw_p (const_rtx); | |
2602 | extern bool insn_nothrow_p (const_rtx); | |
2603 | extern bool can_nonlocal_goto (const_rtx); | |
2604 | extern void copy_reg_eh_region_note_forward (rtx, rtx, rtx); | |
9af5ce0c | 2605 | extern void copy_reg_eh_region_note_backward (rtx, rtx, rtx); |
dd9b9fc5 | 2606 | extern int inequality_comparisons_p (const_rtx); |
3ad4992f | 2607 | extern rtx replace_rtx (rtx, rtx, rtx); |
3ad4992f | 2608 | extern int replace_label (rtx *, void *); |
2609 | extern int rtx_referenced_p (rtx, rtx); | |
c86d86ff | 2610 | extern bool tablejump_p (const_rtx, rtx *, rtx_jump_table_data **); |
dd9b9fc5 | 2611 | extern int computed_jump_p (const_rtx); |
53ea4c57 | 2612 | extern bool tls_referenced_p (rtx); |
e1ab7874 | 2613 | |
3ad4992f | 2614 | typedef int (*rtx_function) (rtx *, void *); |
2615 | extern int for_each_rtx (rtx *, rtx_function, void *); | |
3190f8ed | 2616 | extern int for_each_rtx_in_insn (rtx_insn **, rtx_function, void *); |
e1ab7874 | 2617 | |
1f864115 | 2618 | /* Callback for for_each_inc_dec, to process the autoinc operation OP |
2619 | within MEM that sets DEST to SRC + SRCOFF, or SRC if SRCOFF is | |
2620 | NULL. The callback is passed the same opaque ARG passed to | |
2621 | for_each_inc_dec. Return zero to continue looking for other | |
2622 | autoinc operations, -1 to skip OP's operands, and any other value | |
2623 | to interrupt the traversal and return that value to the caller of | |
2624 | for_each_inc_dec. */ | |
2625 | typedef int (*for_each_inc_dec_fn) (rtx mem, rtx op, rtx dest, rtx src, | |
2626 | rtx srcoff, void *arg); | |
2627 | extern int for_each_inc_dec (rtx *, for_each_inc_dec_fn, void *arg); | |
2628 | ||
e1ab7874 | 2629 | typedef int (*rtx_equal_p_callback_function) (const_rtx *, const_rtx *, |
2630 | rtx *, rtx *); | |
2631 | extern int rtx_equal_p_cb (const_rtx, const_rtx, | |
2632 | rtx_equal_p_callback_function); | |
2633 | ||
2634 | typedef int (*hash_rtx_callback_function) (const_rtx, enum machine_mode, rtx *, | |
2635 | enum machine_mode *); | |
2636 | extern unsigned hash_rtx_cb (const_rtx, enum machine_mode, int *, int *, | |
2637 | bool, hash_rtx_callback_function); | |
2638 | ||
3ad4992f | 2639 | extern rtx regno_use_in (unsigned int, rtx); |
dd9b9fc5 | 2640 | extern int auto_inc_p (const_rtx); |
2641 | extern int in_expr_list_p (const_rtx, const_rtx); | |
2642 | extern void remove_node_from_expr_list (const_rtx, rtx *); | |
2643 | extern int loc_mentioned_in_p (rtx *, const_rtx); | |
3ccd8550 | 2644 | extern rtx_insn *find_first_parameter_load (rtx, rtx); |
5493cb9a | 2645 | extern bool keep_with_call_p (const_rtx); |
dd9b9fc5 | 2646 | extern bool label_is_jump_target_p (const_rtx, const_rtx); |
f529eb25 | 2647 | extern int insn_rtx_cost (rtx, bool); |
759bebca | 2648 | |
ea92ba80 | 2649 | /* Given an insn and condition, return a canonical description of |
2650 | the test being made. */ | |
2651 | extern rtx canonicalize_condition (rtx, rtx, int, rtx *, rtx, int, int); | |
2652 | ||
2653 | /* Given a JUMP_INSN, return a canonical description of the test | |
2654 | being made. */ | |
2655 | extern rtx get_condition (rtx, rtx *, int, int); | |
2656 | ||
9680c846 | 2657 | /* Information about a subreg of a hard register. */ |
2658 | struct subreg_info | |
2659 | { | |
2660 | /* Offset of first hard register involved in the subreg. */ | |
2661 | int offset; | |
2662 | /* Number of hard registers involved in the subreg. */ | |
2663 | int nregs; | |
2664 | /* Whether this subreg can be represented as a hard reg with the new | |
2665 | mode. */ | |
2666 | bool representable_p; | |
2667 | }; | |
2668 | ||
2669 | extern void subreg_get_info (unsigned int, enum machine_mode, | |
2670 | unsigned int, enum machine_mode, | |
2671 | struct subreg_info *); | |
2672 | ||
1f3233d1 | 2673 | /* lists.c */ |
2674 | ||
effd1640 | 2675 | extern void free_EXPR_LIST_list (rtx *); |
2676 | extern void free_INSN_LIST_list (rtx *); | |
2677 | extern void free_EXPR_LIST_node (rtx); | |
2678 | extern void free_INSN_LIST_node (rtx); | |
2679 | extern rtx alloc_INSN_LIST (rtx, rtx); | |
2680 | extern rtx copy_INSN_LIST (rtx); | |
2681 | extern rtx concat_INSN_LIST (rtx, rtx); | |
2682 | extern rtx alloc_EXPR_LIST (int, rtx, rtx); | |
e1ab7874 | 2683 | extern void remove_free_INSN_LIST_elem (rtx, rtx *); |
2684 | extern rtx remove_list_elem (rtx, rtx *); | |
2685 | extern rtx remove_free_INSN_LIST_node (rtx *); | |
2686 | extern rtx remove_free_EXPR_LIST_node (rtx *); | |
2687 | ||
7cc785dd | 2688 | |
ac502adf | 2689 | /* reginfo.c */ |
7cc785dd | 2690 | |
47dd2e78 | 2691 | /* Resize reg info. */ |
a7dcf969 | 2692 | extern bool resize_reg_info (void); |
b6c8b728 | 2693 | /* Free up register info memory. */ |
3ad4992f | 2694 | extern void free_reg_info (void); |
e8eed2f8 | 2695 | extern void init_subregs_of_mode (void); |
2696 | extern void finish_subregs_of_mode (void); | |
b6c8b728 | 2697 | |
7cc785dd | 2698 | /* recog.c */ |
78f55ca8 | 2699 | extern rtx extract_asm_operands (rtx); |
52d07779 | 2700 | extern int asm_noperands (const_rtx); |
3ad4992f | 2701 | extern const char *decode_asm_operands (rtx, rtx *, rtx **, const char **, |
09fb10e8 | 2702 | enum machine_mode *, location_t *); |
431cd7a8 | 2703 | extern void get_referenced_operands (const char *, bool *, unsigned int); |
759bebca | 2704 | |
3ad4992f | 2705 | extern enum reg_class reg_preferred_class (int); |
2706 | extern enum reg_class reg_alternate_class (int); | |
66d9a7b9 | 2707 | extern enum reg_class reg_allocno_class (int); |
a7dcf969 | 2708 | extern void setup_reg_classes (int, enum reg_class, enum reg_class, |
2709 | enum reg_class); | |
759bebca | 2710 | |
3072d30e | 2711 | extern void split_all_insns (void); |
2a1990e9 | 2712 | extern unsigned int split_all_insns_noflow (void); |
14d66741 | 2713 | |
1a60f06a | 2714 | #define MAX_SAVED_CONST_INT 64 |
1f3233d1 | 2715 | extern GTY(()) rtx const_int_rtx[MAX_SAVED_CONST_INT * 2 + 1]; |
1a60f06a | 2716 | |
57c097d5 | 2717 | #define const0_rtx (const_int_rtx[MAX_SAVED_CONST_INT]) |
2718 | #define const1_rtx (const_int_rtx[MAX_SAVED_CONST_INT+1]) | |
2719 | #define const2_rtx (const_int_rtx[MAX_SAVED_CONST_INT+2]) | |
2720 | #define constm1_rtx (const_int_rtx[MAX_SAVED_CONST_INT-1]) | |
1f3233d1 | 2721 | extern GTY(()) rtx const_true_rtx; |
ca9902fc | 2722 | |
ba8dfb08 | 2723 | extern GTY(()) rtx const_tiny_rtx[4][(int) MAX_MACHINE_MODE]; |
ca9902fc | 2724 | |
f220c8f0 | 2725 | /* Returns a constant 0 rtx in mode MODE. Integer modes are treated the |
ca9902fc | 2726 | same as VOIDmode. */ |
2727 | ||
2728 | #define CONST0_RTX(MODE) (const_tiny_rtx[0][(int) (MODE)]) | |
2729 | ||
ba8dfb08 | 2730 | /* Likewise, for the constants 1 and 2 and -1. */ |
ca9902fc | 2731 | |
2732 | #define CONST1_RTX(MODE) (const_tiny_rtx[1][(int) (MODE)]) | |
2733 | #define CONST2_RTX(MODE) (const_tiny_rtx[2][(int) (MODE)]) | |
ba8dfb08 | 2734 | #define CONSTM1_RTX(MODE) (const_tiny_rtx[3][(int) (MODE)]) |
759bebca | 2735 | |
9737dd95 | 2736 | extern GTY(()) rtx pc_rtx; |
2737 | extern GTY(()) rtx cc0_rtx; | |
2738 | extern GTY(()) rtx ret_rtx; | |
2739 | extern GTY(()) rtx simple_return_rtx; | |
7d7b0bac | 2740 | |
57c097d5 | 2741 | /* If HARD_FRAME_POINTER_REGNUM is defined, then a special dummy reg |
2742 | is used to represent the frame pointer. This is because the | |
2743 | hard frame pointer and the automatic variables are separated by an amount | |
2744 | that cannot be determined until after register allocation. We can assume | |
2745 | that in this case ELIMINABLE_REGS will be defined, one action of which | |
a7dce381 | 2746 | will be to eliminate FRAME_POINTER_REGNUM into HARD_FRAME_POINTER_REGNUM. */ |
57c097d5 | 2747 | #ifndef HARD_FRAME_POINTER_REGNUM |
2748 | #define HARD_FRAME_POINTER_REGNUM FRAME_POINTER_REGNUM | |
2749 | #endif | |
2750 | ||
5ae82d58 | 2751 | #ifndef HARD_FRAME_POINTER_IS_FRAME_POINTER |
2752 | #define HARD_FRAME_POINTER_IS_FRAME_POINTER \ | |
2753 | (HARD_FRAME_POINTER_REGNUM == FRAME_POINTER_REGNUM) | |
2754 | #endif | |
2755 | ||
2756 | #ifndef HARD_FRAME_POINTER_IS_ARG_POINTER | |
2757 | #define HARD_FRAME_POINTER_IS_ARG_POINTER \ | |
2758 | (HARD_FRAME_POINTER_REGNUM == ARG_POINTER_REGNUM) | |
2759 | #endif | |
2760 | ||
57c097d5 | 2761 | /* Index labels for global_rtl. */ |
2762 | enum global_rtl_index | |
1a60f06a | 2763 | { |
57c097d5 | 2764 | GR_STACK_POINTER, |
2765 | GR_FRAME_POINTER, | |
2766 | /* For register elimination to work properly these hard_frame_pointer_rtx, | |
2767 | frame_pointer_rtx, and arg_pointer_rtx must be the same if they refer to | |
2768 | the same register. */ | |
2769 | #if FRAME_POINTER_REGNUM == ARG_POINTER_REGNUM | |
2770 | GR_ARG_POINTER = GR_FRAME_POINTER, | |
2771 | #endif | |
5ae82d58 | 2772 | #if HARD_FRAME_POINTER_IS_FRAME_POINTER |
57c097d5 | 2773 | GR_HARD_FRAME_POINTER = GR_FRAME_POINTER, |
2774 | #else | |
2775 | GR_HARD_FRAME_POINTER, | |
2776 | #endif | |
2777 | #if FRAME_POINTER_REGNUM != ARG_POINTER_REGNUM | |
5ae82d58 | 2778 | #if HARD_FRAME_POINTER_IS_ARG_POINTER |
57c097d5 | 2779 | GR_ARG_POINTER = GR_HARD_FRAME_POINTER, |
2780 | #else | |
2781 | GR_ARG_POINTER, | |
2782 | #endif | |
2783 | #endif | |
2784 | GR_VIRTUAL_INCOMING_ARGS, | |
2785 | GR_VIRTUAL_STACK_ARGS, | |
2786 | GR_VIRTUAL_STACK_DYNAMIC, | |
2787 | GR_VIRTUAL_OUTGOING_ARGS, | |
2788 | GR_VIRTUAL_CFA, | |
60778e62 | 2789 | GR_VIRTUAL_PREFERRED_STACK_BOUNDARY, |
57c097d5 | 2790 | |
2791 | GR_MAX | |
2792 | }; | |
2793 | ||
679bcc8d | 2794 | /* Target-dependent globals. */ |
2795 | struct GTY(()) target_rtl { | |
2796 | /* All references to the hard registers in global_rtl_index go through | |
2797 | these unique rtl objects. On machines where the frame-pointer and | |
2798 | arg-pointer are the same register, they use the same unique object. | |
2799 | ||
2800 | After register allocation, other rtl objects which used to be pseudo-regs | |
2801 | may be clobbered to refer to the frame-pointer register. | |
2802 | But references that were originally to the frame-pointer can be | |
2803 | distinguished from the others because they contain frame_pointer_rtx. | |
2804 | ||
2805 | When to use frame_pointer_rtx and hard_frame_pointer_rtx is a little | |
2806 | tricky: until register elimination has taken place hard_frame_pointer_rtx | |
2807 | should be used if it is being set, and frame_pointer_rtx otherwise. After | |
2808 | register elimination hard_frame_pointer_rtx should always be used. | |
2809 | On machines where the two registers are same (most) then these are the | |
2810 | same. */ | |
2811 | rtx x_global_rtl[GR_MAX]; | |
2812 | ||
2813 | /* A unique representation of (REG:Pmode PIC_OFFSET_TABLE_REGNUM). */ | |
2814 | rtx x_pic_offset_table_rtx; | |
2815 | ||
2816 | /* A unique representation of (REG:Pmode RETURN_ADDRESS_POINTER_REGNUM). | |
2817 | This is used to implement __builtin_return_address for some machines; | |
2818 | see for instance the MIPS port. */ | |
2819 | rtx x_return_address_pointer_rtx; | |
2820 | ||
2821 | /* Commonly used RTL for hard registers. These objects are not | |
2822 | necessarily unique, so we allocate them separately from global_rtl. | |
2823 | They are initialized once per compilation unit, then copied into | |
2824 | regno_reg_rtx at the beginning of each function. */ | |
2825 | rtx x_initial_regno_reg_rtx[FIRST_PSEUDO_REGISTER]; | |
75f8637a | 2826 | |
2827 | /* A sample (mem:M stack_pointer_rtx) rtx for each mode M. */ | |
2828 | rtx x_top_of_stack[MAX_MACHINE_MODE]; | |
eb2c25b5 | 2829 | |
2830 | /* Static hunks of RTL used by the aliasing code; these are treated | |
2831 | as persistent to avoid unnecessary RTL allocations. */ | |
2832 | rtx x_static_reg_base_value[FIRST_PSEUDO_REGISTER]; | |
d83fcaa1 | 2833 | |
2834 | /* The default memory attributes for each mode. */ | |
2835 | struct mem_attrs *x_mode_mem_attrs[(int) MAX_MACHINE_MODE]; | |
e0ff5636 | 2836 | |
2837 | /* Track if RTL has been initialized. */ | |
2838 | bool target_specific_initialized; | |
679bcc8d | 2839 | }; |
2840 | ||
2841 | extern GTY(()) struct target_rtl default_target_rtl; | |
2842 | #if SWITCHABLE_TARGET | |
2843 | extern struct target_rtl *this_target_rtl; | |
2844 | #else | |
2845 | #define this_target_rtl (&default_target_rtl) | |
2846 | #endif | |
2847 | ||
2848 | #define global_rtl \ | |
2849 | (this_target_rtl->x_global_rtl) | |
2850 | #define pic_offset_table_rtx \ | |
2851 | (this_target_rtl->x_pic_offset_table_rtx) | |
2852 | #define return_address_pointer_rtx \ | |
2853 | (this_target_rtl->x_return_address_pointer_rtx) | |
75f8637a | 2854 | #define top_of_stack \ |
2855 | (this_target_rtl->x_top_of_stack) | |
d83fcaa1 | 2856 | #define mode_mem_attrs \ |
2857 | (this_target_rtl->x_mode_mem_attrs) | |
57c097d5 | 2858 | |
759bebca | 2859 | /* All references to certain hard regs, except those created |
2860 | by allocating pseudo regs into them (when that's possible), | |
2861 | go through these unique rtx objects. */ | |
57c097d5 | 2862 | #define stack_pointer_rtx (global_rtl[GR_STACK_POINTER]) |
2863 | #define frame_pointer_rtx (global_rtl[GR_FRAME_POINTER]) | |
2864 | #define hard_frame_pointer_rtx (global_rtl[GR_HARD_FRAME_POINTER]) | |
2865 | #define arg_pointer_rtx (global_rtl[GR_ARG_POINTER]) | |
1a60f06a | 2866 | |
d83fcaa1 | 2867 | #ifndef GENERATOR_FILE |
2868 | /* Return the attributes of a MEM rtx. */ | |
2869 | static inline struct mem_attrs * | |
2870 | get_mem_attrs (const_rtx x) | |
2871 | { | |
2872 | struct mem_attrs *attrs; | |
2873 | ||
2874 | attrs = MEM_ATTRS (x); | |
2875 | if (!attrs) | |
2876 | attrs = mode_mem_attrs[(int) GET_MODE (x)]; | |
2877 | return attrs; | |
2878 | } | |
2879 | #endif | |
2880 | ||
3ad7bb1c | 2881 | /* Include the RTL generation functions. */ |
2882 | ||
fdef3332 | 2883 | #ifndef GENERATOR_FILE |
3ad7bb1c | 2884 | #include "genrtl.h" |
09fb10e8 | 2885 | #undef gen_rtx_ASM_INPUT |
09fb10e8 | 2886 | #define gen_rtx_ASM_INPUT(MODE, ARG0) \ |
2887 | gen_rtx_fmt_si (ASM_INPUT, (MODE), (ARG0), 0) | |
2888 | #define gen_rtx_ASM_INPUT_loc(MODE, ARG0, LOC) \ | |
2889 | gen_rtx_fmt_si (ASM_INPUT, (MODE), (ARG0), (LOC)) | |
3ad7bb1c | 2890 | #endif |
2891 | ||
b5ba9f3a | 2892 | /* There are some RTL codes that require special attention; the |
2893 | generation functions included above do the raw handling. If you | |
8fd5918e | 2894 | add to this list, modify special_rtx in gengenrtl.c as well. */ |
3ad7bb1c | 2895 | |
3ad4992f | 2896 | extern rtx gen_rtx_CONST_INT (enum machine_mode, HOST_WIDE_INT); |
2897 | extern rtx gen_rtx_CONST_VECTOR (enum machine_mode, rtvec); | |
2898 | extern rtx gen_raw_REG (enum machine_mode, int); | |
2899 | extern rtx gen_rtx_REG (enum machine_mode, unsigned); | |
2900 | extern rtx gen_rtx_SUBREG (enum machine_mode, rtx, int); | |
2901 | extern rtx gen_rtx_MEM (enum machine_mode, rtx); | |
e1398578 | 2902 | extern rtx gen_rtx_VAR_LOCATION (enum machine_mode, tree, rtx, |
2903 | enum var_init_status); | |
3ad7bb1c | 2904 | |
1e9d55d7 | 2905 | #define GEN_INT(N) gen_rtx_CONST_INT (VOIDmode, (N)) |
3ad7bb1c | 2906 | |
759bebca | 2907 | /* Virtual registers are used during RTL generation to refer to locations into |
2908 | the stack frame when the actual location isn't known until RTL generation | |
2909 | is complete. The routine instantiate_virtual_regs replaces these with | |
2910 | the proper value, which is normally {frame,arg,stack}_pointer_rtx plus | |
2911 | a constant. */ | |
2912 | ||
2913 | #define FIRST_VIRTUAL_REGISTER (FIRST_PSEUDO_REGISTER) | |
2914 | ||
2915 | /* This points to the first word of the incoming arguments passed on the stack, | |
2916 | either by the caller or by the callee when pretending it was passed by the | |
2917 | caller. */ | |
2918 | ||
57c097d5 | 2919 | #define virtual_incoming_args_rtx (global_rtl[GR_VIRTUAL_INCOMING_ARGS]) |
759bebca | 2920 | |
2921 | #define VIRTUAL_INCOMING_ARGS_REGNUM (FIRST_VIRTUAL_REGISTER) | |
2922 | ||
511d786c | 2923 | /* If FRAME_GROWS_DOWNWARD, this points to immediately above the first |
759bebca | 2924 | variable on the stack. Otherwise, it points to the first variable on |
2925 | the stack. */ | |
2926 | ||
57c097d5 | 2927 | #define virtual_stack_vars_rtx (global_rtl[GR_VIRTUAL_STACK_ARGS]) |
759bebca | 2928 | |
2929 | #define VIRTUAL_STACK_VARS_REGNUM ((FIRST_VIRTUAL_REGISTER) + 1) | |
2930 | ||
2931 | /* This points to the location of dynamically-allocated memory on the stack | |
2932 | immediately after the stack pointer has been adjusted by the amount | |
2933 | desired. */ | |
2934 | ||
57c097d5 | 2935 | #define virtual_stack_dynamic_rtx (global_rtl[GR_VIRTUAL_STACK_DYNAMIC]) |
759bebca | 2936 | |
2937 | #define VIRTUAL_STACK_DYNAMIC_REGNUM ((FIRST_VIRTUAL_REGISTER) + 2) | |
2938 | ||
2939 | /* This points to the location in the stack at which outgoing arguments should | |
2940 | be written when the stack is pre-pushed (arguments pushed using push | |
2941 | insns always use sp). */ | |
2942 | ||
57c097d5 | 2943 | #define virtual_outgoing_args_rtx (global_rtl[GR_VIRTUAL_OUTGOING_ARGS]) |
759bebca | 2944 | |
2945 | #define VIRTUAL_OUTGOING_ARGS_REGNUM ((FIRST_VIRTUAL_REGISTER) + 3) | |
2946 | ||
ec37ccb4 | 2947 | /* This points to the Canonical Frame Address of the function. This |
de132707 | 2948 | should correspond to the CFA produced by INCOMING_FRAME_SP_OFFSET, |
ec37ccb4 | 2949 | but is calculated relative to the arg pointer for simplicity; the |
f220c8f0 | 2950 | frame pointer nor stack pointer are necessarily fixed relative to |
ec37ccb4 | 2951 | the CFA until after reload. */ |
2952 | ||
57c097d5 | 2953 | #define virtual_cfa_rtx (global_rtl[GR_VIRTUAL_CFA]) |
ec37ccb4 | 2954 | |
2955 | #define VIRTUAL_CFA_REGNUM ((FIRST_VIRTUAL_REGISTER) + 4) | |
2956 | ||
60778e62 | 2957 | #define LAST_VIRTUAL_POINTER_REGISTER ((FIRST_VIRTUAL_REGISTER) + 4) |
2958 | ||
2959 | /* This is replaced by crtl->preferred_stack_boundary / BITS_PER_UNIT | |
2960 | when finalized. */ | |
2961 | ||
2962 | #define virtual_preferred_stack_boundary_rtx \ | |
2963 | (global_rtl[GR_VIRTUAL_PREFERRED_STACK_BOUNDARY]) | |
2964 | ||
2965 | #define VIRTUAL_PREFERRED_STACK_BOUNDARY_REGNUM \ | |
2966 | ((FIRST_VIRTUAL_REGISTER) + 5) | |
2967 | ||
2968 | #define LAST_VIRTUAL_REGISTER ((FIRST_VIRTUAL_REGISTER) + 5) | |
759bebca | 2969 | |
2b96c5f6 | 2970 | /* Nonzero if REGNUM is a pointer into the stack frame. */ |
1a97be37 | 2971 | #define REGNO_PTR_FRAME_P(REGNUM) \ |
2b96c5f6 | 2972 | ((REGNUM) == STACK_POINTER_REGNUM \ |
2973 | || (REGNUM) == FRAME_POINTER_REGNUM \ | |
2974 | || (REGNUM) == HARD_FRAME_POINTER_REGNUM \ | |
2975 | || (REGNUM) == ARG_POINTER_REGNUM \ | |
2976 | || ((REGNUM) >= FIRST_VIRTUAL_REGISTER \ | |
60778e62 | 2977 | && (REGNUM) <= LAST_VIRTUAL_POINTER_REGISTER)) |
2b96c5f6 | 2978 | |
14e6e4d4 | 2979 | /* REGNUM never really appearing in the INSN stream. */ |
47c251e5 | 2980 | #define INVALID_REGNUM (~(unsigned int) 0) |
14e6e4d4 | 2981 | |
2df386e3 | 2982 | /* REGNUM for which no debug information can be generated. */ |
2983 | #define IGNORED_DWARF_REGNUM (INVALID_REGNUM - 1) | |
2984 | ||
3ad4992f | 2985 | extern rtx output_constant_def (tree, int); |
6e326506 | 2986 | extern rtx lookup_constant_def (tree); |
759bebca | 2987 | |
759bebca | 2988 | /* Nonzero after end of reload pass. |
b0a37f5c | 2989 | Set to 1 or 0 by reload1.c. */ |
759bebca | 2990 | |
2991 | extern int reload_completed; | |
2992 | ||
8af3db02 | 2993 | /* Nonzero after thread_prologue_and_epilogue_insns has run. */ |
2994 | extern int epilogue_completed; | |
2995 | ||
759bebca | 2996 | /* Set to 1 while reload_as_needed is operating. |
2997 | Required by some machines to handle any generated moves differently. */ | |
2998 | ||
2999 | extern int reload_in_progress; | |
3000 | ||
c6a6cdaa | 3001 | /* Set to 1 while in lra. */ |
3002 | extern int lra_in_progress; | |
3003 | ||
e1ba4a27 | 3004 | /* This macro indicates whether you may create a new |
3005 | pseudo-register. */ | |
3006 | ||
3007 | #define can_create_pseudo_p() (!reload_in_progress && !reload_completed) | |
3008 | ||
3e6933a8 | 3009 | #ifdef STACK_REGS |
3010 | /* Nonzero after end of regstack pass. | |
3011 | Set to 1 or 0 by reg-stack.c. */ | |
3012 | extern int regstack_completed; | |
3013 | #endif | |
3014 | ||
759bebca | 3015 | /* If this is nonzero, we do not bother generating VOLATILE |
3016 | around volatile memory references, and we are willing to | |
3017 | output indirect addresses. If cse is to follow, we reject | |
3018 | indirect addresses so a useful potential cse is generated; | |
3019 | if it is used only once, instruction combination will produce | |
3020 | the same indirect address eventually. */ | |
3021 | extern int cse_not_expected; | |
3022 | ||
dd901a13 | 3023 | /* Translates rtx code to tree code, for those codes needed by |
283f631a | 3024 | REAL_ARITHMETIC. The function returns an int because the caller may not |
3025 | know what `enum tree_code' means. */ | |
3026 | ||
3ad4992f | 3027 | extern int rtx_to_tree_code (enum rtx_code); |
ea0cb7ae | 3028 | |
bc33205e | 3029 | /* In cse.c */ |
f2f648a3 | 3030 | extern int delete_trivially_dead_insns (rtx_insn *, int); |
52d07779 | 3031 | extern int exp_equiv_p (const_rtx, const_rtx, int, bool); |
3032 | extern unsigned hash_rtx (const_rtx x, enum machine_mode, int *, int *, bool); | |
bc33205e | 3033 | |
017b7047 | 3034 | /* In dse.c */ |
5a9ecd4a | 3035 | extern bool check_for_inc_dec (rtx insn); |
017b7047 | 3036 | |
bc33205e | 3037 | /* In jump.c */ |
3ad4992f | 3038 | extern int comparison_dominates_p (enum rtx_code, enum rtx_code); |
4115ac36 | 3039 | extern bool jump_to_label_p (rtx); |
52d07779 | 3040 | extern int condjump_p (const_rtx); |
3041 | extern int any_condjump_p (const_rtx); | |
3042 | extern int any_uncondjump_p (const_rtx); | |
3043 | extern rtx pc_set (const_rtx); | |
5493cb9a | 3044 | extern rtx condjump_label (const_rtx); |
52d07779 | 3045 | extern int simplejump_p (const_rtx); |
3ad4992f | 3046 | extern int returnjump_p (rtx); |
25e880b1 | 3047 | extern int eh_returnjump_p (rtx); |
52d07779 | 3048 | extern int onlyjump_p (const_rtx); |
3049 | extern int only_sets_cc0_p (const_rtx); | |
3050 | extern int sets_cc0_p (const_rtx); | |
3ad4992f | 3051 | extern int invert_jump_1 (rtx, rtx); |
3052 | extern int invert_jump (rtx, rtx, int); | |
a9f1838b | 3053 | extern int rtx_renumbered_equal_p (const_rtx, const_rtx); |
52d07779 | 3054 | extern int true_regnum (const_rtx); |
3055 | extern unsigned int reg_or_subregno (const_rtx); | |
3ad4992f | 3056 | extern int redirect_jump_1 (rtx, rtx); |
82880dfd | 3057 | extern void redirect_jump_2 (rtx, rtx, rtx, int, int); |
3ad4992f | 3058 | extern int redirect_jump (rtx, rtx, int); |
960a7046 | 3059 | extern void rebuild_jump_labels (rtx_insn *); |
3060 | extern void rebuild_jump_labels_chain (rtx_insn *); | |
5493cb9a | 3061 | extern rtx reversed_comparison (const_rtx, enum machine_mode); |
3062 | extern enum rtx_code reversed_comparison_code (const_rtx, const_rtx); | |
3063 | extern enum rtx_code reversed_comparison_code_parts (enum rtx_code, const_rtx, | |
3064 | const_rtx, const_rtx); | |
2db825a4 | 3065 | extern void delete_for_peephole (rtx_insn *, rtx_insn *); |
52d07779 | 3066 | extern int condjump_in_parallel_p (const_rtx); |
f5e86f05 | 3067 | |
a7dce381 | 3068 | /* In emit-rtl.c. */ |
3ad4992f | 3069 | extern int max_reg_num (void); |
3070 | extern int max_label_num (void); | |
3071 | extern int get_first_label_num (void); | |
4ee9c684 | 3072 | extern void maybe_set_first_label_num (rtx); |
3ad4992f | 3073 | extern void delete_insns_since (rtx); |
3074 | extern void mark_reg_pointer (rtx, int); | |
3075 | extern void mark_user_reg (rtx); | |
3076 | extern void reset_used_flags (rtx); | |
1cd4cfea | 3077 | extern void set_used_flags (rtx); |
3ad4992f | 3078 | extern void reorder_insns (rtx, rtx, rtx); |
3079 | extern void reorder_insns_nobb (rtx, rtx, rtx); | |
9845d120 | 3080 | extern int get_max_insn_count (void); |
3ad4992f | 3081 | extern int in_sequence_p (void); |
3ad4992f | 3082 | extern void init_emit (void); |
6d8b68a3 | 3083 | extern void init_emit_regs (void); |
8059b95a | 3084 | extern void init_derived_machine_modes (void); |
01703575 | 3085 | extern void init_emit_once (void); |
3ad4992f | 3086 | extern void push_topmost_sequence (void); |
3087 | extern void pop_topmost_sequence (void); | |
3ad4992f | 3088 | extern void set_new_first_and_last_insn (rtx, rtx); |
2a1990e9 | 3089 | extern unsigned int unshare_all_rtl (void); |
3ad4992f | 3090 | extern void unshare_all_rtl_again (rtx); |
1cd4cfea | 3091 | extern void unshare_all_rtl_in_chain (rtx); |
3092 | extern void verify_rtl_sharing (void); | |
3ad4992f | 3093 | extern void add_insn (rtx); |
161dfa6e | 3094 | extern void add_insn_before (rtx, rtx, basic_block); |
3095 | extern void add_insn_after (rtx, rtx, basic_block); | |
3ad4992f | 3096 | extern void remove_insn (rtx); |
722334ea | 3097 | extern rtx_insn *emit (rtx); |
a2b85e40 | 3098 | extern void delete_insn (rtx); |
dec0d4e1 | 3099 | extern rtx_insn *entry_of_function (void); |
aa02fa19 | 3100 | extern void emit_insn_at_entry (rtx); |
39257eb5 | 3101 | extern void delete_insn_chain (rtx, rtx, bool); |
aa935352 | 3102 | extern rtx_insn *unlink_insn_chain (rtx, rtx); |
a2b85e40 | 3103 | extern void delete_insn_and_edges (rtx); |
fd00232c | 3104 | extern rtx gen_lowpart_SUBREG (enum machine_mode, rtx); |
e265a6da | 3105 | extern rtx gen_const_mem (enum machine_mode, rtx); |
00060fc2 | 3106 | extern rtx gen_frame_mem (enum machine_mode, rtx); |
3107 | extern rtx gen_tmp_stack_mem (enum machine_mode, rtx); | |
2166bbaa | 3108 | extern bool validate_subreg (enum machine_mode, enum machine_mode, |
7ecb5bb2 | 3109 | const_rtx, unsigned int); |
bc33205e | 3110 | |
3072d30e | 3111 | /* In combine.c */ |
8bbbe2b5 | 3112 | extern unsigned int extended_count (const_rtx, enum machine_mode, int); |
d598ad0d | 3113 | extern rtx remove_death (unsigned int, rtx); |
d598ad0d | 3114 | extern void dump_combine_stats (FILE *); |
3115 | extern void dump_combine_total_stats (FILE *); | |
e6637753 | 3116 | extern rtx make_compound_operation (rtx, enum rtx_code); |
bc33205e | 3117 | |
3072d30e | 3118 | /* In cfgcleanup.c */ |
3119 | extern void delete_dead_jumptables (void); | |
3120 | ||
fd00232c | 3121 | /* In sched-rgn.c. */ |
3f5be5f4 | 3122 | extern void schedule_insns (void); |
fd00232c | 3123 | |
3124 | /* In sched-ebb.c. */ | |
3f5be5f4 | 3125 | extern void schedule_ebbs (void); |
fd00232c | 3126 | |
e1ab7874 | 3127 | /* In sel-sched-dump.c. */ |
3128 | extern void sel_sched_fix_param (const char *param, const char *val); | |
3129 | ||
bc33205e | 3130 | /* In print-rtl.c */ |
52fd6db3 | 3131 | extern const char *print_rtx_head; |
c7d89805 | 3132 | extern void debug (const rtx_def &ref); |
3133 | extern void debug (const rtx_def *ptr); | |
dd9b9fc5 | 3134 | extern void debug_rtx (const_rtx); |
3135 | extern void debug_rtx_list (const_rtx, int); | |
3136 | extern void debug_rtx_range (const_rtx, const_rtx); | |
3137 | extern const_rtx debug_rtx_find (const_rtx, int); | |
3138 | extern void print_mem_expr (FILE *, const_tree); | |
3139 | extern void print_rtl (FILE *, const_rtx); | |
3140 | extern void print_simple_rtl (FILE *, const_rtx); | |
3141 | extern int print_rtl_single (FILE *, const_rtx); | |
9631926a | 3142 | extern int print_rtl_single_with_indent (FILE *, const_rtx, int); |
dd9b9fc5 | 3143 | extern void print_inline_rtx (FILE *, const_rtx, int); |
bc33205e | 3144 | |
3d9a4504 | 3145 | /* Functions in sched-vis.c. FIXME: Ideally these functions would |
f4b3647a | 3146 | not be in sched-vis.c but in rtl.c, because they are not only used |
3147 | by the scheduler anymore but for all "slim" RTL dumping. */ | |
6dde9719 | 3148 | extern void dump_value_slim (FILE *, const_rtx, int); |
3149 | extern void dump_insn_slim (FILE *, const_rtx); | |
3150 | extern void dump_rtl_slim (FILE *, const_rtx, const_rtx, int, int); | |
3d9a4504 | 3151 | extern void print_value (pretty_printer *, const_rtx, int); |
3152 | extern void print_pattern (pretty_printer *, const_rtx, int); | |
3153 | extern void print_insn (pretty_printer *, const_rtx, int); | |
e079344a | 3154 | extern void rtl_dump_bb_for_graph (pretty_printer *, basic_block); |
3d9a4504 | 3155 | extern const char *str_pattern_slim (const_rtx); |
f4b3647a | 3156 | |
bc33205e | 3157 | /* In function.c */ |
3072d30e | 3158 | extern void reposition_prologue_and_epilogue_notes (void); |
52d07779 | 3159 | extern int prologue_epilogue_contains (const_rtx); |
3160 | extern int sibcall_epilogue_contains (const_rtx); | |
3ad4992f | 3161 | extern void update_temp_slot_address (rtx, rtx); |
1eefcaee | 3162 | extern void maybe_copy_prologue_epilogue_insn (rtx, rtx); |
31a53363 | 3163 | extern void set_return_jump_label (rtx); |
bc33205e | 3164 | |
bc33205e | 3165 | /* In stmt.c */ |
3ad4992f | 3166 | extern void expand_null_return (void); |
62380d2d | 3167 | extern void expand_naked_return (void); |
3ad4992f | 3168 | extern void emit_jump (rtx); |
bc33205e | 3169 | |
3170 | /* In expr.c */ | |
3ad4992f | 3171 | extern rtx move_by_pieces (rtx, rtx, unsigned HOST_WIDE_INT, |
3172 | unsigned int, int); | |
40125f1c | 3173 | extern HOST_WIDE_INT find_args_size_adjust (rtx); |
dfe00a8f | 3174 | extern int fixup_args_size_notes (rtx, rtx, int); |
9d7facc8 | 3175 | |
3072d30e | 3176 | /* In cfgrtl.c */ |
5147ec07 | 3177 | extern void print_rtl_with_bb (FILE *, const_rtx, int); |
aa935352 | 3178 | extern rtx_insn *duplicate_insn_chain (rtx, rtx); |
3072d30e | 3179 | |
bc33205e | 3180 | /* In expmed.c */ |
3ad4992f | 3181 | extern void init_expmed (void); |
3182 | extern void expand_inc (rtx, rtx); | |
3183 | extern void expand_dec (rtx, rtx); | |
bc33205e | 3184 | |
c7944dce | 3185 | /* In lower-subreg.c */ |
3186 | extern void init_lower_subreg (void); | |
3187 | ||
ebd9163c | 3188 | /* In gcse.c */ |
3ad4992f | 3189 | extern bool can_copy_p (enum machine_mode); |
4b673aa1 | 3190 | extern bool can_assign_to_reg_without_clobbers_p (rtx); |
3aeaa53f | 3191 | extern rtx fis_get_condition (rtx_insn *); |
78d140c9 | 3192 | |
cf709bf6 | 3193 | /* In ira.c */ |
47dd2e78 | 3194 | #ifdef HARD_CONST |
3195 | extern HARD_REG_SET eliminable_regset; | |
3196 | #endif | |
3ad4992f | 3197 | extern void mark_elimination (int, int); |
bc33205e | 3198 | |
ac502adf | 3199 | /* In reginfo.c */ |
fbd79b7a | 3200 | extern int reg_classes_intersect_p (reg_class_t, reg_class_t); |
2dfa2c74 | 3201 | extern int reg_class_subset_p (reg_class_t, reg_class_t); |
ca2d5ca1 | 3202 | extern void globalize_reg (tree, int); |
6d8b68a3 | 3203 | extern void init_reg_modes_target (void); |
3ad4992f | 3204 | extern void init_regs (void); |
c950adc6 | 3205 | extern void reinit_regs (void); |
3ad4992f | 3206 | extern void init_fake_stack_mems (void); |
7fecc8b3 | 3207 | extern void save_register_info (void); |
3ad4992f | 3208 | extern void init_reg_sets (void); |
3f5be5f4 | 3209 | extern void regclass (rtx, int); |
283a0d5c | 3210 | extern void reg_scan (rtx, unsigned int); |
3ad4992f | 3211 | extern void fix_register (const char *, int, int); |
63dae96b | 3212 | extern bool invalid_mode_change_p (unsigned int, enum reg_class); |
0019492d | 3213 | |
dfc4de0a | 3214 | /* In reload1.c */ |
52d07779 | 3215 | extern int function_invariant_p (const_rtx); |
dfc4de0a | 3216 | |
bc33205e | 3217 | /* In calls.c */ |
2c5d421b | 3218 | enum libcall_type |
3219 | { | |
3220 | LCT_NORMAL = 0, | |
3221 | LCT_CONST = 1, | |
3222 | LCT_PURE = 2, | |
2dd6f9ed | 3223 | LCT_NORETURN = 3, |
3224 | LCT_THROW = 4, | |
3225 | LCT_RETURNS_TWICE = 5 | |
2c5d421b | 3226 | }; |
3227 | ||
3ad4992f | 3228 | extern void emit_library_call (rtx, enum libcall_type, enum machine_mode, int, |
3229 | ...); | |
3230 | extern rtx emit_library_call_value (rtx, rtx, enum libcall_type, | |
3231 | enum machine_mode, int, ...); | |
bc33205e | 3232 | |
bc33205e | 3233 | /* In varasm.c */ |
3ad4992f | 3234 | extern void init_varasm_once (void); |
48e1416a | 3235 | |
a2f58a79 | 3236 | extern rtx make_debug_expr_from_rtl (const_rtx); |
3237 | ||
fdef3332 | 3238 | /* In read-rtl.c */ |
77ba95d0 | 3239 | extern bool read_rtx (const char *, rtx *); |
0922b1b8 | 3240 | |
bc33205e | 3241 | /* In alias.c */ |
aecda0d6 | 3242 | extern rtx canon_rtx (rtx); |
376a287d | 3243 | extern int true_dependence (const_rtx, enum machine_mode, const_rtx); |
aecda0d6 | 3244 | extern rtx get_addr (rtx); |
376a287d | 3245 | extern int canon_true_dependence (const_rtx, enum machine_mode, rtx, |
3246 | const_rtx, rtx); | |
52d07779 | 3247 | extern int read_dependence (const_rtx, const_rtx); |
3248 | extern int anti_dependence (const_rtx, const_rtx); | |
cb456db5 | 3249 | extern int canon_anti_dependence (const_rtx, bool, |
3250 | const_rtx, enum machine_mode, rtx); | |
52d07779 | 3251 | extern int output_dependence (const_rtx, const_rtx); |
a84256aa | 3252 | extern int may_alias_p (const_rtx, const_rtx); |
6d8b68a3 | 3253 | extern void init_alias_target (void); |
aecda0d6 | 3254 | extern void init_alias_analysis (void); |
3255 | extern void end_alias_analysis (void); | |
1837e966 | 3256 | extern void vt_equate_reg_base_value (const_rtx, const_rtx); |
5493cb9a | 3257 | extern bool memory_modified_in_insn_p (const_rtx, const_rtx); |
43b6ba45 | 3258 | extern bool memory_must_be_modified_in_insn_p (const_rtx, const_rtx); |
86e87ef6 | 3259 | extern bool may_be_sp_based_p (rtx); |
c09425a0 | 3260 | extern rtx gen_hard_reg_clobber (enum machine_mode, unsigned int); |
12cb06ad | 3261 | extern rtx get_reg_known_value (unsigned int); |
3262 | extern bool get_reg_known_equiv_p (unsigned int); | |
0cfef6c5 | 3263 | extern rtx get_reg_base_value (unsigned int); |
23f5e759 | 3264 | |
b67ec609 | 3265 | #ifdef STACK_REGS |
5493cb9a | 3266 | extern int stack_regs_mentioned (const_rtx insn); |
b67ec609 | 3267 | #endif |
3268 | ||
8f8ac140 | 3269 | /* In toplev.c */ |
1f3233d1 | 3270 | extern GTY(()) rtx stack_limit_rtx; |
120911d5 | 3271 | |
13488c51 | 3272 | /* In predict.c */ |
3ad4992f | 3273 | extern void invert_br_probabilities (rtx); |
3274 | extern bool expensive_function_p (int); | |
897118e8 | 3275 | |
5923a5e7 | 3276 | /* In var-tracking.c */ |
2a1990e9 | 3277 | extern unsigned int variable_tracking_main (void); |
5923a5e7 | 3278 | |
f9cce2dc | 3279 | /* In stor-layout.c. */ |
a6629703 | 3280 | extern void get_mode_bounds (enum machine_mode, int, enum machine_mode, |
3281 | rtx *, rtx *); | |
f9cce2dc | 3282 | |
f9cce2dc | 3283 | /* In loop-iv.c */ |
3284 | extern rtx canon_condition (rtx); | |
2391ba8e | 3285 | extern void simplify_using_condition (rtx, rtx *, bitmap); |
e1ab7874 | 3286 | |
3287 | /* In final.c */ | |
3288 | extern unsigned int compute_alignments (void); | |
14e08599 | 3289 | extern void update_alignments (vec<rtx> &); |
1ca8efe4 | 3290 | extern int asm_str_count (const char *templ); |
d263732c | 3291 | \f |
3292 | struct rtl_hooks | |
3293 | { | |
3294 | rtx (*gen_lowpart) (enum machine_mode, rtx); | |
8666c391 | 3295 | rtx (*gen_lowpart_no_emit) (enum machine_mode, rtx); |
b7bf20db | 3296 | rtx (*reg_nonzero_bits) (const_rtx, enum machine_mode, const_rtx, enum machine_mode, |
d263732c | 3297 | unsigned HOST_WIDE_INT, unsigned HOST_WIDE_INT *); |
b7bf20db | 3298 | rtx (*reg_num_sign_bit_copies) (const_rtx, enum machine_mode, const_rtx, enum machine_mode, |
d263732c | 3299 | unsigned int, unsigned int *); |
b7bf20db | 3300 | bool (*reg_truncated_to_mode) (enum machine_mode, const_rtx); |
d263732c | 3301 | |
fd95fba4 | 3302 | /* Whenever you add entries here, make sure you adjust rtlhooks-def.h. */ |
d263732c | 3303 | }; |
3304 | ||
3305 | /* Each pass can provide its own. */ | |
3306 | extern struct rtl_hooks rtl_hooks; | |
3307 | ||
3308 | /* ... but then it has to restore these. */ | |
3309 | extern const struct rtl_hooks general_rtl_hooks; | |
3310 | ||
3311 | /* Keep this for the nonce. */ | |
3312 | #define gen_lowpart rtl_hooks.gen_lowpart | |
3313 | ||
5169661d | 3314 | extern void insn_locations_init (void); |
3315 | extern void insn_locations_finalize (void); | |
3316 | extern void set_curr_insn_location (location_t); | |
3317 | extern location_t curr_insn_location (void); | |
f529eb25 | 3318 | extern bool optimize_insn_for_size_p (void); |
3319 | extern bool optimize_insn_for_speed_p (void); | |
375c1c8a | 3320 | |
d7091a76 | 3321 | /* rtl-error.c */ |
3322 | extern void _fatal_insn_not_found (const_rtx, const char *, int, const char *) | |
3323 | ATTRIBUTE_NORETURN; | |
3324 | extern void _fatal_insn (const char *, const_rtx, const char *, int, const char *) | |
3325 | ATTRIBUTE_NORETURN; | |
3326 | ||
3327 | #define fatal_insn(msgid, insn) \ | |
3328 | _fatal_insn (msgid, insn, __FILE__, __LINE__, __FUNCTION__) | |
3329 | #define fatal_insn_not_found(insn) \ | |
3330 | _fatal_insn_not_found (insn, __FILE__, __LINE__, __FUNCTION__) | |
3331 | ||
e52beba9 | 3332 | /* reginfo.c */ |
3333 | extern tree GTY(()) global_regs_decl[FIRST_PSEUDO_REGISTER]; | |
d7091a76 | 3334 | |
3335 | ||
2a281353 | 3336 | #endif /* ! GCC_RTL_H */ |