Mercurial > hg > CbC > CbC_gcc
annotate gcc/expr.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 /* Definitions for code generation pass of GNU compiler. |
2 Copyright (C) 1987, 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, | |
63
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
3 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010 |
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_EXPR_H | |
23 #define GCC_EXPR_H | |
24 | |
25 /* For inhibit_defer_pop */ | |
26 #include "function.h" | |
27 /* For XEXP, GEN_INT, rtx_code */ | |
28 #include "rtl.h" | |
29 /* For optimize_size */ | |
30 #include "flags.h" | |
31 /* For host_integerp, tree_low_cst, fold_convert, size_binop, ssize_int, | |
32 TREE_CODE, TYPE_SIZE, int_size_in_bytes, */ | |
33 #include "tree.h" | |
34 /* For GET_MODE_BITSIZE, word_mode */ | |
35 #include "machmode.h" | |
36 | |
37 /* This is the 4th arg to `expand_expr'. | |
38 EXPAND_STACK_PARM means we are possibly expanding a call param onto | |
39 the stack. | |
40 EXPAND_SUM means it is ok to return a PLUS rtx or MULT rtx. | |
41 EXPAND_INITIALIZER is similar but also record any labels on forced_labels. | |
42 EXPAND_CONST_ADDRESS means it is ok to return a MEM whose address | |
43 is a constant that is not a legitimate address. | |
44 EXPAND_WRITE means we are only going to write to the resulting rtx. | |
45 EXPAND_MEMORY means we are interested in a memory result, even if | |
46 the memory is constant and we could have propagated a constant value. */ | |
47 enum expand_modifier {EXPAND_NORMAL = 0, EXPAND_STACK_PARM, EXPAND_SUM, | |
48 EXPAND_CONST_ADDRESS, EXPAND_INITIALIZER, EXPAND_WRITE, | |
49 EXPAND_MEMORY}; | |
50 | |
51 /* Prevent the compiler from deferring stack pops. See | |
52 inhibit_defer_pop for more information. */ | |
53 #define NO_DEFER_POP (inhibit_defer_pop += 1) | |
54 | |
55 /* Allow the compiler to defer stack pops. See inhibit_defer_pop for | |
56 more information. */ | |
57 #define OK_DEFER_POP (inhibit_defer_pop -= 1) | |
58 | |
59 enum direction {none, upward, downward}; | |
60 | |
61 /* Structure to record the size of a sequence of arguments | |
62 as the sum of a tree-expression and a constant. This structure is | |
63 also used to store offsets from the stack, which might be negative, | |
64 so the variable part must be ssizetype, not sizetype. */ | |
65 | |
66 struct args_size | |
67 { | |
68 HOST_WIDE_INT constant; | |
69 tree var; | |
70 }; | |
71 | |
72 /* Package up various arg related fields of struct args for | |
73 locate_and_pad_parm. */ | |
74 struct locate_and_pad_arg_data | |
75 { | |
76 /* Size of this argument on the stack, rounded up for any padding it | |
77 gets. If REG_PARM_STACK_SPACE is defined, then register parms are | |
78 counted here, otherwise they aren't. */ | |
79 struct args_size size; | |
80 /* Offset of this argument from beginning of stack-args. */ | |
81 struct args_size offset; | |
82 /* Offset to the start of the stack slot. Different from OFFSET | |
83 if this arg pads downward. */ | |
84 struct args_size slot_offset; | |
85 /* The amount that the stack pointer needs to be adjusted to | |
86 force alignment for the next argument. */ | |
87 struct args_size alignment_pad; | |
88 /* Which way we should pad this arg. */ | |
89 enum direction where_pad; | |
90 /* slot_offset is at least this aligned. */ | |
91 unsigned int boundary; | |
92 }; | |
93 | |
94 /* Add the value of the tree INC to the `struct args_size' TO. */ | |
95 | |
96 #define ADD_PARM_SIZE(TO, INC) \ | |
97 do { \ | |
98 tree inc = (INC); \ | |
99 if (host_integerp (inc, 0)) \ | |
100 (TO).constant += tree_low_cst (inc, 0); \ | |
101 else if ((TO).var == 0) \ | |
102 (TO).var = fold_convert (ssizetype, inc); \ | |
103 else \ | |
104 (TO).var = size_binop (PLUS_EXPR, (TO).var, \ | |
105 fold_convert (ssizetype, inc)); \ | |
106 } while (0) | |
107 | |
108 #define SUB_PARM_SIZE(TO, DEC) \ | |
109 do { \ | |
110 tree dec = (DEC); \ | |
111 if (host_integerp (dec, 0)) \ | |
112 (TO).constant -= tree_low_cst (dec, 0); \ | |
113 else if ((TO).var == 0) \ | |
114 (TO).var = size_binop (MINUS_EXPR, ssize_int (0), \ | |
115 fold_convert (ssizetype, dec)); \ | |
116 else \ | |
117 (TO).var = size_binop (MINUS_EXPR, (TO).var, \ | |
118 fold_convert (ssizetype, dec)); \ | |
119 } while (0) | |
120 | |
121 /* Convert the implicit sum in a `struct args_size' into a tree | |
122 of type ssizetype. */ | |
123 #define ARGS_SIZE_TREE(SIZE) \ | |
124 ((SIZE).var == 0 ? ssize_int ((SIZE).constant) \ | |
125 : size_binop (PLUS_EXPR, fold_convert (ssizetype, (SIZE).var), \ | |
126 ssize_int ((SIZE).constant))) | |
127 | |
128 /* Convert the implicit sum in a `struct args_size' into an rtx. */ | |
129 #define ARGS_SIZE_RTX(SIZE) \ | |
130 ((SIZE).var == 0 ? GEN_INT ((SIZE).constant) \ | |
131 : expand_normal (ARGS_SIZE_TREE (SIZE))) | |
132 | |
133 | |
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
134 /* This structure is used to pass around information about exploded |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
135 unary, binary and trinary expressions between expand_expr_real_1 and |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
136 friends. */ |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
137 typedef struct separate_ops |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
138 { |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
139 enum tree_code code; |
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
|
140 location_t location; |
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
141 tree type; |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
142 tree op0, op1, op2; |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
143 } *sepops; |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
144 |
0 | 145 /* Functions from optabs.c, commonly used, and without need for the optabs |
146 tables: */ | |
147 | |
148 /* Passed to expand_simple_binop and expand_binop to say which options | |
149 to try to use if the requested operation can't be open-coded on the | |
150 requisite mode. Either OPTAB_LIB or OPTAB_LIB_WIDEN says try using | |
151 a library call. Either OPTAB_WIDEN or OPTAB_LIB_WIDEN says try | |
152 using a wider mode. OPTAB_MUST_WIDEN says try widening and don't | |
153 try anything else. */ | |
154 | |
155 enum optab_methods | |
156 { | |
157 OPTAB_DIRECT, | |
158 OPTAB_LIB, | |
159 OPTAB_WIDEN, | |
160 OPTAB_LIB_WIDEN, | |
161 OPTAB_MUST_WIDEN | |
162 }; | |
163 | |
164 /* Generate code for a simple binary or unary operation. "Simple" in | |
165 this case means "can be unambiguously described by a (mode, code) | |
166 pair and mapped to a single optab." */ | |
167 extern rtx expand_simple_binop (enum machine_mode, enum rtx_code, rtx, | |
168 rtx, rtx, int, enum optab_methods); | |
169 extern rtx expand_simple_unop (enum machine_mode, enum rtx_code, rtx, rtx, | |
170 int); | |
171 | |
172 /* Report whether the machine description contains an insn which can | |
173 perform the operation described by CODE and MODE. */ | |
174 extern int have_insn_for (enum rtx_code, enum machine_mode); | |
175 | |
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
176 extern rtx prepare_operand (int, rtx, int, enum machine_mode, enum machine_mode, |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
177 int); |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
178 |
0 | 179 /* Emit code to make a call to a constant function or a library call. */ |
180 extern void emit_libcall_block (rtx, rtx, rtx, rtx); | |
181 | |
182 /* Create but don't emit one rtl instruction to perform certain operations. | |
183 Modes must match; operands must meet the operation's predicates. | |
184 Likewise for subtraction and for just copying. */ | |
185 extern rtx gen_add2_insn (rtx, rtx); | |
186 extern rtx gen_add3_insn (rtx, rtx, rtx); | |
187 extern rtx gen_sub2_insn (rtx, rtx); | |
188 extern rtx gen_sub3_insn (rtx, rtx, rtx); | |
189 extern rtx gen_move_insn (rtx, rtx); | |
190 extern int have_add2_insn (rtx, rtx); | |
191 extern int have_sub2_insn (rtx, rtx); | |
192 | |
193 /* Emit a pair of rtl insns to compare two rtx's and to jump | |
194 to a label if the comparison is true. */ | |
195 extern void emit_cmp_and_jump_insns (rtx, rtx, enum rtx_code, rtx, | |
196 enum machine_mode, int, rtx); | |
197 | |
198 /* Generate code to indirectly jump to a location given in the rtx LOC. */ | |
199 extern void emit_indirect_jump (rtx); | |
200 | |
201 /* Generate a conditional trap instruction. */ | |
202 extern rtx gen_cond_trap (enum rtx_code, rtx, rtx, rtx); | |
203 | |
204 #include "insn-config.h" | |
205 | |
206 #ifdef HAVE_conditional_move | |
207 /* Emit a conditional move operation. */ | |
208 rtx emit_conditional_move (rtx, enum rtx_code, rtx, rtx, enum machine_mode, | |
209 rtx, rtx, enum machine_mode, int); | |
210 | |
211 /* Return nonzero if the conditional move is supported. */ | |
212 int can_conditionally_move_p (enum machine_mode mode); | |
213 | |
214 #endif | |
215 rtx emit_conditional_add (rtx, enum rtx_code, rtx, rtx, enum machine_mode, | |
216 rtx, rtx, enum machine_mode, int); | |
217 | |
218 rtx expand_val_compare_and_swap (rtx, rtx, rtx, rtx); | |
219 rtx expand_bool_compare_and_swap (rtx, rtx, rtx, rtx); | |
220 rtx expand_sync_operation (rtx, rtx, enum rtx_code); | |
221 rtx expand_sync_fetch_operation (rtx, rtx, enum rtx_code, bool, rtx); | |
222 rtx expand_sync_lock_test_and_set (rtx, rtx, rtx); | |
223 | |
224 /* Functions from expmed.c: */ | |
225 | |
226 /* Arguments MODE, RTX: return an rtx for the negation of that value. | |
227 May emit insns. */ | |
228 extern rtx negate_rtx (enum machine_mode, rtx); | |
229 | |
230 /* Expand a logical AND operation. */ | |
231 extern rtx expand_and (enum machine_mode, rtx, rtx, rtx); | |
232 | |
233 /* Emit a store-flag operation. */ | |
234 extern rtx emit_store_flag (rtx, enum rtx_code, rtx, rtx, enum machine_mode, | |
235 int, int); | |
236 | |
237 /* Like emit_store_flag, but always succeeds. */ | |
238 extern rtx emit_store_flag_force (rtx, enum rtx_code, rtx, rtx, | |
239 enum machine_mode, int, int); | |
240 | |
241 /* Functions from builtins.c: */ | |
242 extern rtx expand_builtin (tree, rtx, rtx, enum machine_mode, int); | |
243 extern tree std_build_builtin_va_list (void); | |
244 extern tree std_fn_abi_va_list (tree); | |
245 extern tree std_canonical_va_list_type (tree); | |
246 | |
247 extern void std_expand_builtin_va_start (tree, rtx); | |
248 extern rtx default_expand_builtin (tree, rtx, rtx, enum machine_mode, int); | |
249 extern void expand_builtin_setjmp_setup (rtx, rtx); | |
250 extern void expand_builtin_setjmp_receiver (rtx); | |
251 extern rtx expand_builtin_saveregs (void); | |
252 extern void expand_builtin_trap (void); | |
253 extern rtx builtin_strncpy_read_str (void *, HOST_WIDE_INT, enum machine_mode); | |
254 | |
255 /* Functions from expr.c: */ | |
256 | |
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
257 /* This is run during target initialization to set up which modes can be |
0 | 258 used directly in memory and to initialize the block move optab. */ |
259 extern void init_expr_target (void); | |
260 | |
261 /* This is run at the start of compiling a function. */ | |
262 extern void init_expr (void); | |
263 | |
264 /* Emit some rtl insns to move data between rtx's, converting machine modes. | |
265 Both modes must be floating or both fixed. */ | |
266 extern void convert_move (rtx, rtx, int); | |
267 | |
268 /* Convert an rtx to specified machine mode and return the result. */ | |
269 extern rtx convert_to_mode (enum machine_mode, rtx, int); | |
270 | |
271 /* Convert an rtx to MODE from OLDMODE and return the result. */ | |
272 extern rtx convert_modes (enum machine_mode, enum machine_mode, rtx, int); | |
273 | |
274 /* Emit code to move a block Y to a block X. */ | |
275 | |
276 enum block_op_methods | |
277 { | |
278 BLOCK_OP_NORMAL, | |
279 BLOCK_OP_NO_LIBCALL, | |
280 BLOCK_OP_CALL_PARM, | |
281 /* Like BLOCK_OP_NORMAL, but the libcall can be tail call optimized. */ | |
282 BLOCK_OP_TAILCALL | |
283 }; | |
284 | |
285 extern GTY(()) tree block_clear_fn; | |
286 extern void init_block_move_fn (const char *); | |
287 extern void init_block_clear_fn (const char *); | |
288 | |
289 extern rtx emit_block_move (rtx, rtx, rtx, enum block_op_methods); | |
290 extern rtx emit_block_move_via_libcall (rtx, rtx, rtx, bool); | |
291 extern rtx emit_block_move_hints (rtx, rtx, rtx, enum block_op_methods, | |
292 unsigned int, HOST_WIDE_INT); | |
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
293 extern bool emit_storent_insn (rtx to, rtx from); |
0 | 294 |
295 /* Copy all or part of a value X into registers starting at REGNO. | |
296 The number of registers to be filled is NREGS. */ | |
297 extern void move_block_to_reg (int, rtx, int, enum machine_mode); | |
298 | |
299 /* Copy all or part of a BLKmode value X out of registers starting at REGNO. | |
300 The number of registers to be filled is NREGS. */ | |
301 extern void move_block_from_reg (int, rtx, int); | |
302 | |
303 /* Generate a non-consecutive group of registers represented by a PARALLEL. */ | |
304 extern rtx gen_group_rtx (rtx); | |
305 | |
306 /* Load a BLKmode value into non-consecutive registers represented by a | |
307 PARALLEL. */ | |
308 extern void emit_group_load (rtx, rtx, tree, int); | |
309 | |
310 /* Similarly, but load into new temporaries. */ | |
311 extern rtx emit_group_load_into_temps (rtx, rtx, tree, int); | |
312 | |
313 /* Move a non-consecutive group of registers represented by a PARALLEL into | |
314 a non-consecutive group of registers represented by a PARALLEL. */ | |
315 extern void emit_group_move (rtx, rtx); | |
316 | |
317 /* Move a group of registers represented by a PARALLEL into pseudos. */ | |
318 extern rtx emit_group_move_into_temps (rtx); | |
319 | |
320 /* Store a BLKmode value from non-consecutive registers represented by a | |
321 PARALLEL. */ | |
322 extern void emit_group_store (rtx, rtx, tree, int); | |
323 | |
324 /* Copy BLKmode object from a set of registers. */ | |
325 extern rtx copy_blkmode_from_reg (rtx, rtx, tree); | |
326 | |
327 /* Mark REG as holding a parameter for the next CALL_INSN. */ | |
328 extern void use_reg (rtx *, rtx); | |
329 | |
330 /* Mark NREGS consecutive regs, starting at REGNO, as holding parameters | |
331 for the next CALL_INSN. */ | |
332 extern void use_regs (rtx *, int, int); | |
333 | |
334 /* Mark a PARALLEL as holding a parameter for the next CALL_INSN. */ | |
335 extern void use_group_regs (rtx *, rtx); | |
336 | |
337 /* Write zeros through the storage of OBJECT. | |
338 If OBJECT has BLKmode, SIZE is its length in bytes. */ | |
339 extern rtx clear_storage (rtx, rtx, enum block_op_methods); | |
340 extern rtx clear_storage_hints (rtx, rtx, enum block_op_methods, | |
341 unsigned int, HOST_WIDE_INT); | |
342 /* The same, but always output an library call. */ | |
343 rtx set_storage_via_libcall (rtx, rtx, rtx, bool); | |
344 | |
345 /* Expand a setmem pattern; return true if successful. */ | |
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
346 extern bool set_storage_via_setmem (rtx, rtx, rtx, unsigned int, |
0 | 347 unsigned int, HOST_WIDE_INT); |
348 | |
349 /* Determine whether the LEN bytes can be moved by using several move | |
350 instructions. Return nonzero if a call to move_by_pieces should | |
351 succeed. */ | |
352 extern int can_move_by_pieces (unsigned HOST_WIDE_INT, unsigned int); | |
353 | |
354 /* Return nonzero if it is desirable to store LEN bytes generated by | |
355 CONSTFUN with several move instructions by store_by_pieces | |
356 function. CONSTFUNDATA is a pointer which will be passed as argument | |
357 in every CONSTFUN call. | |
358 ALIGN is maximum alignment we can assume. | |
359 MEMSETP is true if this is a real memset/bzero, not a copy | |
360 of a const string. */ | |
361 extern int can_store_by_pieces (unsigned HOST_WIDE_INT, | |
362 rtx (*) (void *, HOST_WIDE_INT, | |
363 enum machine_mode), | |
364 void *, unsigned int, bool); | |
365 | |
366 /* Generate several move instructions to store LEN bytes generated by | |
367 CONSTFUN to block TO. (A MEM rtx with BLKmode). CONSTFUNDATA is a | |
368 pointer which will be passed as argument in every CONSTFUN call. | |
369 ALIGN is maximum alignment we can assume. | |
370 MEMSETP is true if this is a real memset/bzero, not a copy. | |
371 Returns TO + LEN. */ | |
372 extern rtx store_by_pieces (rtx, unsigned HOST_WIDE_INT, | |
373 rtx (*) (void *, HOST_WIDE_INT, enum machine_mode), | |
374 void *, unsigned int, bool, int); | |
375 | |
376 /* Emit insns to set X from Y. */ | |
377 extern rtx emit_move_insn (rtx, rtx); | |
378 | |
379 /* Emit insns to set X from Y, with no frills. */ | |
380 extern rtx emit_move_insn_1 (rtx, rtx); | |
381 | |
382 extern rtx emit_move_complex_push (enum machine_mode, rtx, rtx); | |
383 extern rtx emit_move_complex_parts (rtx, rtx); | |
384 | |
385 /* Push a block of length SIZE (perhaps variable) | |
386 and return an rtx to address the beginning of the block. */ | |
387 extern rtx push_block (rtx, int, int); | |
388 | |
389 /* Generate code to push something onto the stack, given its mode and type. */ | |
390 extern void emit_push_insn (rtx, enum machine_mode, tree, rtx, unsigned int, | |
391 int, rtx, int, rtx, rtx, int, rtx); | |
392 | |
393 /* Expand an assignment that stores the value of FROM into TO. */ | |
394 extern void expand_assignment (tree, tree, bool); | |
395 | |
396 /* Generate code for computing expression EXP, | |
397 and storing the value into TARGET. | |
398 If SUGGEST_REG is nonzero, copy the value through a register | |
399 and return that register, if that is possible. */ | |
400 extern rtx store_expr (tree, rtx, int, bool); | |
401 | |
402 /* Given an rtx that may include add and multiply operations, | |
403 generate them as insns and return a pseudo-reg containing the value. | |
404 Useful after calling expand_expr with 1 as sum_ok. */ | |
405 extern rtx force_operand (rtx, rtx); | |
406 | |
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
407 /* Work horses for expand_expr. */ |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
408 extern rtx expand_expr_real (tree, rtx, enum machine_mode, |
0 | 409 enum expand_modifier, rtx *); |
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
410 extern rtx expand_expr_real_1 (tree, rtx, enum machine_mode, |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
411 enum expand_modifier, rtx *); |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
412 extern rtx expand_expr_real_2 (sepops, rtx, enum machine_mode, |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
413 enum expand_modifier); |
0 | 414 |
415 /* Generate code for computing expression EXP. | |
416 An rtx for the computed value is returned. The value is never null. | |
417 In the case of a void EXP, const0_rtx is returned. */ | |
418 static inline rtx | |
419 expand_expr (tree exp, rtx target, enum machine_mode mode, | |
420 enum expand_modifier modifier) | |
421 { | |
422 return expand_expr_real (exp, target, mode, modifier, NULL); | |
423 } | |
424 | |
425 static inline rtx | |
426 expand_normal (tree exp) | |
427 { | |
428 return expand_expr_real (exp, NULL_RTX, VOIDmode, EXPAND_NORMAL, NULL); | |
429 } | |
430 | |
431 /* At the start of a function, record that we have no previously-pushed | |
432 arguments waiting to be popped. */ | |
433 extern void init_pending_stack_adjust (void); | |
434 | |
435 /* Discard any pending stack adjustment. */ | |
436 extern void discard_pending_stack_adjust (void); | |
437 | |
438 /* When exiting from function, if safe, clear out any pending stack adjust | |
439 so the adjustment won't get done. */ | |
440 extern void clear_pending_stack_adjust (void); | |
441 | |
442 /* Pop any previously-pushed arguments that have not been popped yet. */ | |
443 extern void do_pending_stack_adjust (void); | |
444 | |
445 /* Return the tree node and offset if a given argument corresponds to | |
446 a string constant. */ | |
447 extern tree string_constant (tree, tree *); | |
448 | |
449 /* Generate code to evaluate EXP and jump to LABEL if the value is zero. */ | |
63
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
450 extern void jumpifnot (tree, rtx, int); |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
451 extern void jumpifnot_1 (enum tree_code, tree, tree, rtx, int); |
0 | 452 |
453 /* Generate code to evaluate EXP and jump to LABEL if the value is nonzero. */ | |
63
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
454 extern void jumpif (tree, rtx, int); |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
455 extern void jumpif_1 (enum tree_code, tree, tree, rtx, int); |
0 | 456 |
457 /* Generate code to evaluate EXP and jump to IF_FALSE_LABEL if | |
458 the result is zero, or IF_TRUE_LABEL if the result is one. */ | |
63
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
459 extern void do_jump (tree, rtx, rtx, int); |
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
460 extern void do_jump_1 (enum tree_code, tree, tree, rtx, rtx, int); |
0 | 461 |
462 extern void do_compare_rtx_and_jump (rtx, rtx, enum rtx_code, int, | |
63
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
463 enum machine_mode, rtx, rtx, rtx, int); |
0 | 464 |
465 /* Two different ways of generating switch statements. */ | |
466 extern int try_casesi (tree, tree, tree, tree, rtx, rtx, rtx); | |
467 extern int try_tablejump (tree, tree, tree, tree, rtx, rtx); | |
468 | |
469 /* Functions from alias.c */ | |
470 #include "alias.h" | |
471 | |
472 | |
473 /* rtl.h and tree.h were included. */ | |
474 /* Return an rtx for the size in bytes of the value of an expr. */ | |
475 extern rtx expr_size (tree); | |
476 | |
477 /* Return a wide integer for the size in bytes of the value of EXP, or -1 | |
478 if the size can vary or is larger than an integer. */ | |
479 extern HOST_WIDE_INT int_expr_size (tree); | |
480 | |
481 /* Return an rtx that refers to the value returned by a function | |
482 in its original home. This becomes invalid if any more code is emitted. */ | |
483 extern rtx hard_function_value (const_tree, const_tree, const_tree, int); | |
484 | |
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
485 extern rtx prepare_call_address (tree, rtx, rtx, rtx *, int, int); |
0 | 486 |
487 extern bool shift_return_value (enum machine_mode, bool, rtx); | |
488 | |
489 extern rtx expand_call (tree, rtx, int); | |
490 | |
491 extern void fixup_tail_calls (void); | |
492 | |
493 #ifdef TREE_CODE | |
494 extern rtx expand_shift (enum tree_code, enum machine_mode, rtx, tree, rtx, | |
495 int); | |
496 extern rtx expand_divmod (int, enum tree_code, enum machine_mode, rtx, rtx, | |
497 rtx, int); | |
498 #endif | |
499 | |
500 extern void locate_and_pad_parm (enum machine_mode, tree, int, int, tree, | |
501 struct args_size *, | |
502 struct locate_and_pad_arg_data *); | |
503 | |
504 /* Return the CODE_LABEL rtx for a LABEL_DECL, creating it if necessary. */ | |
505 extern rtx label_rtx (tree); | |
506 | |
507 /* As label_rtx, but additionally the label is placed on the forced label | |
508 list of its containing function (i.e. it is treated as reachable even | |
509 if how is not obvious). */ | |
510 extern rtx force_label_rtx (tree); | |
511 | |
512 /* Return an rtx like arg but sans any constant terms. | |
513 Returns the original rtx if it has no constant terms. | |
514 The constant terms are added and stored via a second arg. */ | |
515 extern rtx eliminate_constant_term (rtx, rtx *); | |
516 | |
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
517 /* Convert arg to a valid memory address for specified machine mode that points |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
518 to a specific named address space, by emitting insns to perform arithmetic |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
519 if necessary. */ |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
520 extern rtx memory_address_addr_space (enum machine_mode, rtx, addr_space_t); |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
521 |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
522 /* Like memory_address_addr_space, except assume the memory address points to |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
523 the generic named address space. */ |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
524 #define memory_address(MODE,RTX) \ |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
525 memory_address_addr_space ((MODE), (RTX), ADDR_SPACE_GENERIC) |
0 | 526 |
527 /* Return a memory reference like MEMREF, but with its mode changed | |
528 to MODE and its address changed to ADDR. | |
529 (VOIDmode means don't change the mode. | |
530 NULL for ADDR means don't change the address.) */ | |
531 extern rtx change_address (rtx, enum machine_mode, rtx); | |
532 | |
533 /* Return a memory reference like MEMREF, but with its mode changed | |
534 to MODE and its address offset by OFFSET bytes. */ | |
535 #define adjust_address(MEMREF, MODE, OFFSET) \ | |
536 adjust_address_1 (MEMREF, MODE, OFFSET, 1, 1) | |
537 | |
538 /* Likewise, but the reference is not required to be valid. */ | |
539 #define adjust_address_nv(MEMREF, MODE, OFFSET) \ | |
540 adjust_address_1 (MEMREF, MODE, OFFSET, 0, 1) | |
541 | |
542 /* Return a memory reference like MEMREF, but with its mode changed | |
543 to MODE and its address changed to ADDR, which is assumed to be | |
544 increased by OFFSET bytes from MEMREF. */ | |
545 #define adjust_automodify_address(MEMREF, MODE, ADDR, OFFSET) \ | |
546 adjust_automodify_address_1 (MEMREF, MODE, ADDR, OFFSET, 1) | |
547 | |
548 /* Likewise, but the reference is not required to be valid. */ | |
549 #define adjust_automodify_address_nv(MEMREF, MODE, ADDR, OFFSET) \ | |
550 adjust_automodify_address_1 (MEMREF, MODE, ADDR, OFFSET, 0) | |
551 | |
552 extern rtx adjust_address_1 (rtx, enum machine_mode, HOST_WIDE_INT, int, int); | |
553 extern rtx adjust_automodify_address_1 (rtx, enum machine_mode, rtx, | |
554 HOST_WIDE_INT, int); | |
555 | |
556 /* Return a memory reference like MEMREF, but whose address is changed by | |
557 adding OFFSET, an RTX, to it. POW2 is the highest power of two factor | |
558 known to be in OFFSET (possibly 1). */ | |
559 extern rtx offset_address (rtx, rtx, unsigned HOST_WIDE_INT); | |
560 | |
561 /* Definitions from emit-rtl.c */ | |
562 #include "emit-rtl.h" | |
563 | |
564 /* Return a memory reference like MEMREF, but with its mode widened to | |
565 MODE and adjusted by OFFSET. */ | |
566 extern rtx widen_memory_access (rtx, enum machine_mode, HOST_WIDE_INT); | |
567 | |
568 /* Return a memory reference like MEMREF, but which is known to have a | |
569 valid address. */ | |
570 extern rtx validize_mem (rtx); | |
571 | |
572 extern rtx use_anchored_address (rtx); | |
573 | |
574 /* Given REF, a MEM, and T, either the type of X or the expression | |
575 corresponding to REF, set the memory attributes. OBJECTP is nonzero | |
576 if we are making a new object of this type. */ | |
577 extern void set_mem_attributes (rtx, tree, int); | |
578 | |
579 /* Similar, except that BITPOS has not yet been applied to REF, so if | |
580 we alter MEM_OFFSET according to T then we should subtract BITPOS | |
581 expecting that it'll be added back in later. */ | |
582 extern void set_mem_attributes_minus_bitpos (rtx, tree, int, HOST_WIDE_INT); | |
583 | |
584 /* Return OFFSET if XEXP (MEM, 0) - OFFSET is known to be ALIGN | |
585 bits aligned for 0 <= OFFSET < ALIGN / BITS_PER_UNIT, or | |
586 -1 if not known. */ | |
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
587 extern int get_mem_align_offset (rtx, unsigned int); |
0 | 588 |
589 /* Assemble the static constant template for function entry trampolines. */ | |
590 extern rtx assemble_trampoline_template (void); | |
591 | |
592 /* Copy given rtx to a new temp reg and return that. */ | |
593 extern rtx copy_to_reg (rtx); | |
594 | |
595 /* Like copy_to_reg but always make the reg Pmode. */ | |
596 extern rtx copy_addr_to_reg (rtx); | |
597 | |
598 /* Like copy_to_reg but always make the reg the specified mode MODE. */ | |
599 extern rtx copy_to_mode_reg (enum machine_mode, rtx); | |
600 | |
601 /* Copy given rtx to given temp reg and return that. */ | |
602 extern rtx copy_to_suggested_reg (rtx, rtx, enum machine_mode); | |
603 | |
604 /* Copy a value to a register if it isn't already a register. | |
605 Args are mode (in case value is a constant) and the value. */ | |
606 extern rtx force_reg (enum machine_mode, rtx); | |
607 | |
608 /* Return given rtx, copied into a new temp reg if it was in memory. */ | |
609 extern rtx force_not_mem (rtx); | |
610 | |
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
611 /* Return mode and signedness to use when an argument or result in the |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
612 given mode is promoted. */ |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
613 extern enum machine_mode promote_function_mode (const_tree, enum machine_mode, int *, |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
614 const_tree, int); |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
615 |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
616 /* Return mode and signedness to use when an object in the given mode |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
617 is promoted. */ |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
618 extern enum machine_mode promote_mode (const_tree, enum machine_mode, int *); |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
619 |
0 | 620 /* Return mode and signedness to use when object is promoted. */ |
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
621 enum machine_mode promote_decl_mode (const_tree, int *); |
0 | 622 |
623 /* Remove some bytes from the stack. An rtx says how many. */ | |
624 extern void adjust_stack (rtx); | |
625 | |
626 /* Add some bytes to the stack. An rtx says how many. */ | |
627 extern void anti_adjust_stack (rtx); | |
628 | |
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
629 /* Add some bytes to the stack while probing it. An rtx says how many. */ |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
630 extern void anti_adjust_stack_and_probe (rtx, bool); |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
631 |
0 | 632 /* This enum is used for the following two functions. */ |
633 enum save_level {SAVE_BLOCK, SAVE_FUNCTION, SAVE_NONLOCAL}; | |
634 | |
635 /* Save the stack pointer at the specified level. */ | |
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
|
636 extern void emit_stack_save (enum save_level, rtx *); |
0 | 637 |
638 /* Restore the stack pointer from a save area of the specified level. */ | |
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
|
639 extern void emit_stack_restore (enum save_level, rtx); |
0 | 640 |
641 /* Invoke emit_stack_save for the nonlocal_goto_save_area. */ | |
642 extern void update_nonlocal_goto_save_area (void); | |
643 | |
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
|
644 /* Allocate some space on the stack dynamically and return its address. */ |
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
|
645 extern rtx allocate_dynamic_stack_space (rtx, unsigned, unsigned, 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
|
646 |
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
|
647 /* Emit one stack probe at ADDRESS, an address within the 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
|
648 extern void emit_stack_probe (rtx); |
0 | 649 |
650 /* Probe a range of stack addresses from FIRST to FIRST+SIZE, inclusive. | |
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
651 FIRST is a constant and size is a Pmode RTX. These are offsets from |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
652 the current stack pointer. STACK_GROWS_DOWNWARD says whether to add |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
653 or subtract them from the stack pointer. */ |
0 | 654 extern void probe_stack_range (HOST_WIDE_INT, rtx); |
655 | |
656 /* Return an rtx that refers to the value returned by a library call | |
657 in its original home. This becomes invalid if any more code is emitted. */ | |
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
658 extern rtx hard_libcall_value (enum machine_mode, rtx); |
0 | 659 |
660 /* Return the mode desired by operand N of a particular bitfield | |
661 insert/extract insn, or MAX_MACHINE_MODE if no such insn is | |
662 available. */ | |
663 | |
664 enum extraction_pattern { EP_insv, EP_extv, EP_extzv }; | |
665 extern enum machine_mode | |
666 mode_for_extraction (enum extraction_pattern, int); | |
667 | |
668 extern void store_bit_field (rtx, unsigned HOST_WIDE_INT, | |
669 unsigned HOST_WIDE_INT, enum machine_mode, rtx); | |
670 extern rtx extract_bit_field (rtx, unsigned HOST_WIDE_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
|
671 unsigned HOST_WIDE_INT, int, bool, rtx, |
0 | 672 enum machine_mode, enum machine_mode); |
673 extern rtx extract_low_bits (enum machine_mode, enum machine_mode, rtx); | |
674 extern rtx expand_mult (enum machine_mode, rtx, rtx, rtx, int); | |
675 extern rtx expand_mult_highpart_adjust (enum machine_mode, rtx, rtx, rtx, rtx, int); | |
676 | |
677 extern rtx assemble_static_space (unsigned HOST_WIDE_INT); | |
678 extern int safe_from_p (const_rtx, tree, int); | |
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
679 extern bool split_comparison (enum rtx_code, enum machine_mode, |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
680 enum rtx_code *, enum rtx_code *); |
0 | 681 |
682 /* Call this once to initialize the contents of the optabs | |
683 appropriately for the current target machine. */ | |
684 extern void init_optabs (void); | |
685 extern void init_all_optabs (void); | |
686 | |
687 /* Call this to initialize an optab function entry. */ | |
688 extern rtx init_one_libfunc (const char *); | |
689 extern rtx set_user_assembler_libfunc (const char *, const char *); | |
690 | |
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
691 /* Build a decl for a libfunc named NAME. */ |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
692 extern tree build_libfunc_function (const char *); |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
693 |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
694 /* Get the personality libfunc for a function decl. */ |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
695 rtx get_personality_function (tree); |
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
696 |
0 | 697 #endif /* GCC_EXPR_H */ |