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