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