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