]>
Commit | Line | Data |
---|---|---|
cceb575c | 1 | /* Target Code for moxie |
7adcbafe | 2 | Copyright (C) 2008-2022 Free Software Foundation, Inc. |
cceb575c AG |
3 | Contributed by Anthony Green. |
4 | ||
5 | This file is part of GCC. | |
6 | ||
7 | GCC is free software; you can redistribute it and/or modify it | |
8 | under the terms of the GNU General Public License as published | |
9 | by the Free Software Foundation; either version 3, or (at your | |
10 | option) any later version. | |
11 | ||
12 | GCC is distributed in the hope that it will be useful, but WITHOUT | |
13 | ANY WARRANTY; without even the implied warranty of MERCHANTABILITY | |
14 | or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public | |
15 | License for more details. | |
16 | ||
17 | You should have received a copy of the GNU General Public License | |
18 | along with GCC; see the file COPYING3. If not see | |
19 | <http://www.gnu.org/licenses/>. */ | |
20 | ||
8fcc61f8 RS |
21 | #define IN_TARGET_CODE 1 |
22 | ||
cceb575c AG |
23 | #include "config.h" |
24 | #include "system.h" | |
25 | #include "coretypes.h" | |
c7131fb2 | 26 | #include "backend.h" |
e11c4407 | 27 | #include "target.h" |
cceb575c | 28 | #include "rtl.h" |
e11c4407 | 29 | #include "tree.h" |
314e6352 ML |
30 | #include "stringpool.h" |
31 | #include "attribs.h" | |
c7131fb2 | 32 | #include "df.h" |
cceb575c | 33 | #include "regs.h" |
4d0cdd0c | 34 | #include "memmodel.h" |
e11c4407 | 35 | #include "emit-rtl.h" |
718f9c0f | 36 | #include "diagnostic-core.h" |
e11c4407 | 37 | #include "output.h" |
d8a2d370 DN |
38 | #include "stor-layout.h" |
39 | #include "varasm.h" | |
40 | #include "calls.h" | |
cceb575c | 41 | #include "expr.h" |
9b2b7279 | 42 | #include "builtins.h" |
cceb575c | 43 | |
994c5d85 | 44 | /* This file should be included last. */ |
d58627a0 RS |
45 | #include "target-def.h" |
46 | ||
cceb575c AG |
47 | #define LOSE_AND_RETURN(msgid, x) \ |
48 | do \ | |
49 | { \ | |
50 | moxie_operand_lossage (msgid, x); \ | |
51 | return; \ | |
52 | } while (0) | |
53 | ||
54 | /* Worker function for TARGET_RETURN_IN_MEMORY. */ | |
55 | ||
56 | static bool | |
57 | moxie_return_in_memory (const_tree type, const_tree fntype ATTRIBUTE_UNUSED) | |
58 | { | |
59 | const HOST_WIDE_INT size = int_size_in_bytes (type); | |
60 | return (size == -1 || size > 2 * UNITS_PER_WORD); | |
61 | } | |
62 | ||
63 | /* Define how to find the value returned by a function. | |
64 | VALTYPE is the data type of the value (as a tree). | |
65 | If the precise function being called is known, FUNC is its | |
66 | FUNCTION_DECL; otherwise, FUNC is 0. | |
67 | ||
68 | We always return values in register $r0 for moxie. */ | |
69 | ||
feab9982 | 70 | static rtx |
9fb374d6 AG |
71 | moxie_function_value (const_tree valtype, |
72 | const_tree fntype_or_decl ATTRIBUTE_UNUSED, | |
cceb575c AG |
73 | bool outgoing ATTRIBUTE_UNUSED) |
74 | { | |
75 | return gen_rtx_REG (TYPE_MODE (valtype), MOXIE_R0); | |
76 | } | |
77 | ||
feab9982 AS |
78 | /* Define how to find the value returned by a library function. |
79 | ||
80 | We always return values in register $r0 for moxie. */ | |
81 | ||
82 | static rtx | |
ef4bddc2 | 83 | moxie_libcall_value (machine_mode mode, |
feab9982 AS |
84 | const_rtx fun ATTRIBUTE_UNUSED) |
85 | { | |
86 | return gen_rtx_REG (mode, MOXIE_R0); | |
87 | } | |
88 | ||
89 | /* Handle TARGET_FUNCTION_VALUE_REGNO_P. | |
90 | ||
91 | We always return values in register $r0 for moxie. */ | |
92 | ||
93 | static bool | |
94 | moxie_function_value_regno_p (const unsigned int regno) | |
95 | { | |
96 | return (regno == MOXIE_R0); | |
97 | } | |
98 | ||
cceb575c AG |
99 | /* Emit an error message when we're in an asm, and a fatal error for |
100 | "normal" insns. Formatted output isn't easily implemented, since we | |
101 | use output_operand_lossage to output the actual message and handle the | |
102 | categorization of the error. */ | |
103 | ||
104 | static void | |
105 | moxie_operand_lossage (const char *msgid, rtx op) | |
106 | { | |
107 | debug_rtx (op); | |
108 | output_operand_lossage ("%s", msgid); | |
109 | } | |
110 | ||
111 | /* The PRINT_OPERAND_ADDRESS worker. */ | |
112 | ||
f12021ed | 113 | static void |
732ea6d1 | 114 | moxie_print_operand_address (FILE *file, machine_mode, rtx x) |
cceb575c AG |
115 | { |
116 | switch (GET_CODE (x)) | |
117 | { | |
118 | case REG: | |
119 | fprintf (file, "(%s)", reg_names[REGNO (x)]); | |
120 | break; | |
121 | ||
122 | case PLUS: | |
123 | switch (GET_CODE (XEXP (x, 1))) | |
124 | { | |
125 | case CONST_INT: | |
126 | fprintf (file, "%ld(%s)", | |
127 | INTVAL(XEXP (x, 1)), reg_names[REGNO (XEXP (x, 0))]); | |
128 | break; | |
129 | case SYMBOL_REF: | |
130 | output_addr_const (file, XEXP (x, 1)); | |
131 | fprintf (file, "(%s)", reg_names[REGNO (XEXP (x, 0))]); | |
132 | break; | |
133 | case CONST: | |
134 | { | |
135 | rtx plus = XEXP (XEXP (x, 1), 0); | |
136 | if (GET_CODE (XEXP (plus, 0)) == SYMBOL_REF | |
137 | && CONST_INT_P (XEXP (plus, 1))) | |
138 | { | |
139 | output_addr_const(file, XEXP (plus, 0)); | |
140 | fprintf (file,"+%ld(%s)", INTVAL (XEXP (plus, 1)), | |
141 | reg_names[REGNO (XEXP (x, 0))]); | |
142 | } | |
143 | else | |
144 | abort(); | |
145 | } | |
146 | break; | |
147 | default: | |
148 | abort(); | |
149 | } | |
150 | break; | |
151 | ||
152 | default: | |
153 | output_addr_const (file, x); | |
154 | break; | |
155 | } | |
156 | } | |
157 | ||
158 | /* The PRINT_OPERAND worker. */ | |
159 | ||
f12021ed | 160 | static void |
cceb575c AG |
161 | moxie_print_operand (FILE *file, rtx x, int code) |
162 | { | |
163 | rtx operand = x; | |
164 | ||
165 | /* New code entries should just be added to the switch below. If | |
166 | handling is finished, just return. If handling was just a | |
167 | modification of the operand, the modified operand should be put in | |
168 | "operand", and then do a break to let default handling | |
169 | (zero-modifier) output the operand. */ | |
170 | ||
171 | switch (code) | |
172 | { | |
173 | case 0: | |
174 | /* No code, print as usual. */ | |
175 | break; | |
176 | ||
177 | default: | |
178 | LOSE_AND_RETURN ("invalid operand modifier letter", x); | |
179 | } | |
180 | ||
181 | /* Print an operand as without a modifier letter. */ | |
182 | switch (GET_CODE (operand)) | |
183 | { | |
184 | case REG: | |
185 | if (REGNO (operand) > MOXIE_R13) | |
186 | internal_error ("internal error: bad register: %d", REGNO (operand)); | |
187 | fprintf (file, "%s", reg_names[REGNO (operand)]); | |
188 | return; | |
189 | ||
190 | case MEM: | |
732ea6d1 | 191 | output_address (GET_MODE (XEXP (operand, 0)), XEXP (operand, 0)); |
cceb575c AG |
192 | return; |
193 | ||
194 | default: | |
195 | /* No need to handle all strange variants, let output_addr_const | |
196 | do it for us. */ | |
197 | if (CONSTANT_P (operand)) | |
198 | { | |
199 | output_addr_const (file, operand); | |
200 | return; | |
201 | } | |
202 | ||
203 | LOSE_AND_RETURN ("unexpected operand", x); | |
204 | } | |
205 | } | |
206 | ||
207 | /* Per-function machine data. */ | |
208 | struct GTY(()) machine_function | |
209 | { | |
210 | /* Number of bytes saved on the stack for callee saved registers. */ | |
211 | int callee_saved_reg_size; | |
212 | ||
213 | /* Number of bytes saved on the stack for local variables. */ | |
214 | int local_vars_size; | |
215 | ||
216 | /* The sum of 2 sizes: locals vars and padding byte for saving the | |
217 | * registers. Used in expand_prologue () and expand_epilogue(). */ | |
218 | int size_for_adjusting_sp; | |
219 | }; | |
220 | ||
221 | /* Zero initialization is OK for all current fields. */ | |
222 | ||
223 | static struct machine_function * | |
224 | moxie_init_machine_status (void) | |
225 | { | |
766090c2 | 226 | return ggc_cleared_alloc<machine_function> (); |
cceb575c AG |
227 | } |
228 | ||
229 | ||
923d093a | 230 | /* The TARGET_OPTION_OVERRIDE worker. */ |
c5387660 JM |
231 | static void |
232 | moxie_option_override (void) | |
cceb575c AG |
233 | { |
234 | /* Set the per-function-data initializer. */ | |
235 | init_machine_status = moxie_init_machine_status; | |
923d093a AG |
236 | |
237 | #ifdef TARGET_MOXIEBOX | |
b10b03c4 | 238 | target_flags |= MASK_HAS_MULX; |
923d093a | 239 | #endif |
cceb575c AG |
240 | } |
241 | ||
242 | /* Compute the size of the local area and the size to be adjusted by the | |
243 | * prologue and epilogue. */ | |
244 | ||
245 | static void | |
246 | moxie_compute_frame (void) | |
247 | { | |
248 | /* For aligning the local variables. */ | |
249 | int stack_alignment = STACK_BOUNDARY / BITS_PER_UNIT; | |
250 | int padding_locals; | |
251 | int regno; | |
252 | ||
253 | /* Padding needed for each element of the frame. */ | |
254 | cfun->machine->local_vars_size = get_frame_size (); | |
255 | ||
256 | /* Align to the stack alignment. */ | |
257 | padding_locals = cfun->machine->local_vars_size % stack_alignment; | |
258 | if (padding_locals) | |
259 | padding_locals = stack_alignment - padding_locals; | |
260 | ||
261 | cfun->machine->local_vars_size += padding_locals; | |
262 | ||
263 | cfun->machine->callee_saved_reg_size = 0; | |
264 | ||
265 | /* Save callee-saved registers. */ | |
266 | for (regno = 0; regno < FIRST_PSEUDO_REGISTER; regno++) | |
a365fa06 | 267 | if (df_regs_ever_live_p (regno) && (! call_used_or_fixed_reg_p (regno))) |
cceb575c AG |
268 | cfun->machine->callee_saved_reg_size += 4; |
269 | ||
270 | cfun->machine->size_for_adjusting_sp = | |
271 | crtl->args.pretend_args_size | |
272 | + cfun->machine->local_vars_size | |
a20c5714 RS |
273 | + (ACCUMULATE_OUTGOING_ARGS |
274 | ? (HOST_WIDE_INT) crtl->outgoing_args_size : 0); | |
cceb575c AG |
275 | } |
276 | ||
277 | void | |
278 | moxie_expand_prologue (void) | |
279 | { | |
280 | int regno; | |
281 | rtx insn; | |
282 | ||
283 | moxie_compute_frame (); | |
284 | ||
650ae806 AG |
285 | if (flag_stack_usage_info) |
286 | current_function_static_stack_size = cfun->machine->size_for_adjusting_sp; | |
287 | ||
cceb575c AG |
288 | /* Save callee-saved registers. */ |
289 | for (regno = 0; regno < FIRST_PSEUDO_REGISTER; regno++) | |
290 | { | |
2e3d041b | 291 | if (df_regs_ever_live_p (regno) |
a365fa06 | 292 | && !call_used_or_fixed_reg_p (regno)) |
cceb575c AG |
293 | { |
294 | insn = emit_insn (gen_movsi_push (gen_rtx_REG (Pmode, regno))); | |
295 | RTX_FRAME_RELATED_P (insn) = 1; | |
296 | } | |
297 | } | |
298 | ||
299 | if (cfun->machine->size_for_adjusting_sp > 0) | |
300 | { | |
55a51460 AG |
301 | int i = cfun->machine->size_for_adjusting_sp; |
302 | while ((i >= 255) && (i <= 510)) | |
9df748c0 AG |
303 | { |
304 | insn = emit_insn (gen_subsi3 (stack_pointer_rtx, | |
305 | stack_pointer_rtx, | |
75cd1c8f | 306 | GEN_INT (255))); |
9df748c0 | 307 | RTX_FRAME_RELATED_P (insn) = 1; |
75cd1c8f | 308 | i -= 255; |
9df748c0 | 309 | } |
55a51460 | 310 | if (i <= 255) |
9df748c0 | 311 | { |
75cd1c8f | 312 | insn = emit_insn (gen_subsi3 (stack_pointer_rtx, |
9df748c0 | 313 | stack_pointer_rtx, |
75cd1c8f | 314 | GEN_INT (i))); |
9df748c0 | 315 | RTX_FRAME_RELATED_P (insn) = 1; |
75cd1c8f | 316 | } |
55a51460 AG |
317 | else |
318 | { | |
319 | rtx reg = gen_rtx_REG (SImode, MOXIE_R12); | |
320 | insn = emit_move_insn (reg, GEN_INT (i)); | |
321 | RTX_FRAME_RELATED_P (insn) = 1; | |
322 | insn = emit_insn (gen_subsi3 (stack_pointer_rtx, | |
323 | stack_pointer_rtx, | |
324 | reg)); | |
325 | RTX_FRAME_RELATED_P (insn) = 1; | |
326 | } | |
cceb575c AG |
327 | } |
328 | } | |
329 | ||
330 | void | |
331 | moxie_expand_epilogue (void) | |
332 | { | |
333 | int regno; | |
a8ea9484 | 334 | rtx reg; |
cceb575c AG |
335 | |
336 | if (cfun->machine->callee_saved_reg_size != 0) | |
337 | { | |
55a51460 | 338 | reg = gen_rtx_REG (Pmode, MOXIE_R12); |
9df748c0 AG |
339 | if (cfun->machine->callee_saved_reg_size <= 255) |
340 | { | |
341 | emit_move_insn (reg, hard_frame_pointer_rtx); | |
342 | emit_insn (gen_subsi3 | |
343 | (reg, reg, | |
344 | GEN_INT (cfun->machine->callee_saved_reg_size))); | |
345 | } | |
346 | else | |
347 | { | |
348 | emit_move_insn (reg, | |
349 | GEN_INT (-cfun->machine->callee_saved_reg_size)); | |
350 | emit_insn (gen_addsi3 (reg, reg, hard_frame_pointer_rtx)); | |
351 | } | |
cceb575c | 352 | for (regno = FIRST_PSEUDO_REGISTER; regno-- > 0; ) |
2e3d041b | 353 | if (!call_used_or_fixed_reg_p (regno) |
cceb575c AG |
354 | && df_regs_ever_live_p (regno)) |
355 | { | |
9df748c0 | 356 | rtx preg = gen_rtx_REG (Pmode, regno); |
a8ea9484 | 357 | emit_insn (gen_movsi_pop (reg, preg)); |
cceb575c AG |
358 | } |
359 | } | |
360 | ||
361 | emit_jump_insn (gen_returner ()); | |
362 | } | |
363 | ||
364 | /* Implements the macro INITIAL_ELIMINATION_OFFSET, return the OFFSET. */ | |
365 | ||
366 | int | |
367 | moxie_initial_elimination_offset (int from, int to) | |
368 | { | |
369 | int ret; | |
370 | ||
371 | if ((from) == FRAME_POINTER_REGNUM && (to) == HARD_FRAME_POINTER_REGNUM) | |
372 | { | |
373 | /* Compute this since we need to use cfun->machine->local_vars_size. */ | |
374 | moxie_compute_frame (); | |
375 | ret = -cfun->machine->callee_saved_reg_size; | |
376 | } | |
377 | else if ((from) == ARG_POINTER_REGNUM && (to) == HARD_FRAME_POINTER_REGNUM) | |
378 | ret = 0x00; | |
379 | else | |
380 | abort (); | |
381 | ||
382 | return ret; | |
383 | } | |
384 | ||
385 | /* Worker function for TARGET_SETUP_INCOMING_VARARGS. */ | |
386 | ||
387 | static void | |
d5cc9181 | 388 | moxie_setup_incoming_varargs (cumulative_args_t cum_v, |
e7056ca4 | 389 | const function_arg_info &, |
cceb575c AG |
390 | int *pretend_size, int no_rtl) |
391 | { | |
d5cc9181 | 392 | CUMULATIVE_ARGS *cum = get_cumulative_args (cum_v); |
cceb575c | 393 | int regno; |
75cd1c8f | 394 | int regs = 8 - *cum; |
cceb575c AG |
395 | |
396 | *pretend_size = regs < 0 ? 0 : GET_MODE_SIZE (SImode) * regs; | |
397 | ||
398 | if (no_rtl) | |
399 | return; | |
400 | ||
75cd1c8f | 401 | for (regno = *cum; regno < 8; regno++) |
cceb575c AG |
402 | { |
403 | rtx reg = gen_rtx_REG (SImode, regno); | |
404 | rtx slot = gen_rtx_PLUS (Pmode, | |
405 | gen_rtx_REG (SImode, ARG_POINTER_REGNUM), | |
406 | GEN_INT (UNITS_PER_WORD * (3 + (regno-2)))); | |
407 | ||
408 | emit_move_insn (gen_rtx_MEM (SImode, slot), reg); | |
409 | } | |
410 | } | |
411 | ||
412 | ||
413 | /* Return the fixed registers used for condition codes. */ | |
414 | ||
415 | static bool | |
416 | moxie_fixed_condition_code_regs (unsigned int *p1, unsigned int *p2) | |
417 | { | |
418 | *p1 = CC_REG; | |
419 | *p2 = INVALID_REGNUM; | |
420 | return true; | |
421 | } | |
422 | ||
423 | /* Return the next register to be used to hold a function argument or | |
424 | NULL_RTX if there's no more space. */ | |
425 | ||
4c05cbb2 | 426 | static rtx |
6783fdb7 | 427 | moxie_function_arg (cumulative_args_t cum_v, const function_arg_info &arg) |
cceb575c | 428 | { |
d5cc9181 JR |
429 | CUMULATIVE_ARGS *cum = get_cumulative_args (cum_v); |
430 | ||
4c05cbb2 | 431 | if (*cum < 8) |
6783fdb7 | 432 | return gen_rtx_REG (arg.mode, *cum); |
cceb575c AG |
433 | else |
434 | return NULL_RTX; | |
435 | } | |
436 | ||
4c05cbb2 NF |
437 | #define MOXIE_FUNCTION_ARG_SIZE(MODE, TYPE) \ |
438 | ((MODE) != BLKmode ? GET_MODE_SIZE (MODE) \ | |
439 | : (unsigned) int_size_in_bytes (TYPE)) | |
440 | ||
441 | static void | |
6930c98c RS |
442 | moxie_function_arg_advance (cumulative_args_t cum_v, |
443 | const function_arg_info &arg) | |
4c05cbb2 | 444 | { |
d5cc9181 JR |
445 | CUMULATIVE_ARGS *cum = get_cumulative_args (cum_v); |
446 | ||
4c05cbb2 | 447 | *cum = (*cum < MOXIE_R6 |
6930c98c | 448 | ? *cum + ((3 + MOXIE_FUNCTION_ARG_SIZE (arg.mode, arg.type)) / 4) |
4c05cbb2 NF |
449 | : *cum); |
450 | } | |
451 | ||
52090e4d | 452 | /* Return non-zero if the function argument described by ARG is to be |
cceb575c AG |
453 | passed by reference. */ |
454 | ||
455 | static bool | |
52090e4d | 456 | moxie_pass_by_reference (cumulative_args_t, const function_arg_info &arg) |
cceb575c | 457 | { |
52090e4d RS |
458 | if (arg.aggregate_type_p ()) |
459 | return true; | |
460 | unsigned HOST_WIDE_INT size = arg.type_size_in_bytes (); | |
75cd1c8f | 461 | return size > 4*6; |
cceb575c AG |
462 | } |
463 | ||
464 | /* Some function arguments will only partially fit in the registers | |
465 | that hold arguments. Given a new arg, return the number of bytes | |
466 | that fit in argument passing registers. */ | |
467 | ||
468 | static int | |
a7c81bc1 | 469 | moxie_arg_partial_bytes (cumulative_args_t cum_v, const function_arg_info &arg) |
cceb575c | 470 | { |
d5cc9181 | 471 | CUMULATIVE_ARGS *cum = get_cumulative_args (cum_v); |
cceb575c AG |
472 | int bytes_left, size; |
473 | ||
75cd1c8f | 474 | if (*cum >= 8) |
cceb575c AG |
475 | return 0; |
476 | ||
52090e4d | 477 | if (moxie_pass_by_reference (cum_v, arg)) |
cceb575c | 478 | size = 4; |
a7c81bc1 | 479 | else if (arg.type) |
cceb575c | 480 | { |
a7c81bc1 | 481 | if (AGGREGATE_TYPE_P (arg.type)) |
cceb575c | 482 | return 0; |
a7c81bc1 | 483 | size = int_size_in_bytes (arg.type); |
cceb575c AG |
484 | } |
485 | else | |
a7c81bc1 | 486 | size = GET_MODE_SIZE (arg.mode); |
cceb575c | 487 | |
75cd1c8f | 488 | bytes_left = (4 * 6) - ((*cum - 2) * 4); |
cceb575c AG |
489 | |
490 | if (size > bytes_left) | |
491 | return bytes_left; | |
492 | else | |
493 | return 0; | |
494 | } | |
495 | ||
4601494d RH |
496 | /* Worker function for TARGET_STATIC_CHAIN. */ |
497 | ||
498 | static rtx | |
c21df29b | 499 | moxie_static_chain (const_tree ARG_UNUSED (fndecl_or_type), bool incoming_p) |
4601494d RH |
500 | { |
501 | rtx addr, mem; | |
502 | ||
4601494d | 503 | if (incoming_p) |
0a81f074 | 504 | addr = plus_constant (Pmode, arg_pointer_rtx, 2 * UNITS_PER_WORD); |
4601494d | 505 | else |
0a81f074 | 506 | addr = plus_constant (Pmode, stack_pointer_rtx, -UNITS_PER_WORD); |
4601494d RH |
507 | |
508 | mem = gen_rtx_MEM (Pmode, addr); | |
509 | MEM_NOTRAP_P (mem) = 1; | |
510 | ||
511 | return mem; | |
512 | } | |
513 | ||
514 | /* Worker function for TARGET_ASM_TRAMPOLINE_TEMPLATE. */ | |
515 | ||
516 | static void | |
517 | moxie_asm_trampoline_template (FILE *f) | |
518 | { | |
519 | fprintf (f, "\tpush $sp, $r0\n"); | |
520 | fprintf (f, "\tldi.l $r0, 0x0\n"); | |
521 | fprintf (f, "\tsto.l 0x8($fp), $r0\n"); | |
522 | fprintf (f, "\tpop $sp, $r0\n"); | |
523 | fprintf (f, "\tjmpa 0x0\n"); | |
524 | } | |
525 | ||
526 | /* Worker function for TARGET_TRAMPOLINE_INIT. */ | |
527 | ||
528 | static void | |
529 | moxie_trampoline_init (rtx m_tramp, tree fndecl, rtx chain_value) | |
530 | { | |
531 | rtx mem, fnaddr = XEXP (DECL_RTL (fndecl), 0); | |
532 | ||
533 | emit_block_move (m_tramp, assemble_trampoline_template (), | |
534 | GEN_INT (TRAMPOLINE_SIZE), BLOCK_OP_NORMAL); | |
535 | ||
536 | mem = adjust_address (m_tramp, SImode, 4); | |
537 | emit_move_insn (mem, chain_value); | |
982213b5 | 538 | mem = adjust_address (m_tramp, SImode, 16); |
4601494d RH |
539 | emit_move_insn (mem, fnaddr); |
540 | } | |
541 | ||
982213b5 AG |
542 | /* Return true for memory offset addresses between -32768 and 32767. */ |
543 | bool | |
544 | moxie_offset_address_p (rtx x) | |
545 | { | |
546 | x = XEXP (x, 0); | |
547 | ||
548 | if (GET_CODE (x) == PLUS) | |
549 | { | |
550 | x = XEXP (x, 1); | |
551 | if (GET_CODE (x) == CONST_INT) | |
552 | { | |
553 | unsigned int v = INTVAL (x) & 0xFFFF8000; | |
554 | return (v == 0xFFFF8000 || v == 0x00000000); | |
555 | } | |
556 | } | |
557 | return 0; | |
558 | } | |
559 | ||
fe21b3c2 AS |
560 | /* Helper function for `moxie_legitimate_address_p'. */ |
561 | ||
562 | static bool | |
563 | moxie_reg_ok_for_base_p (const_rtx reg, bool strict_p) | |
564 | { | |
565 | int regno = REGNO (reg); | |
566 | ||
567 | if (strict_p) | |
568 | return HARD_REGNO_OK_FOR_BASE_P (regno) | |
569 | || HARD_REGNO_OK_FOR_BASE_P (reg_renumber[regno]); | |
570 | else | |
571 | return !HARD_REGISTER_NUM_P (regno) | |
572 | || HARD_REGNO_OK_FOR_BASE_P (regno); | |
573 | } | |
574 | ||
575 | /* Worker function for TARGET_LEGITIMATE_ADDRESS_P. */ | |
576 | ||
577 | static bool | |
578 | moxie_legitimate_address_p (machine_mode mode ATTRIBUTE_UNUSED, | |
579 | rtx x, bool strict_p, | |
580 | addr_space_t as) | |
581 | { | |
582 | gcc_assert (ADDR_SPACE_GENERIC_P (as)); | |
583 | ||
584 | if (GET_CODE(x) == PLUS | |
585 | && REG_P (XEXP (x, 0)) | |
586 | && moxie_reg_ok_for_base_p (XEXP (x, 0), strict_p) | |
587 | && CONST_INT_P (XEXP (x, 1)) | |
588 | && IN_RANGE (INTVAL (XEXP (x, 1)), -32768, 32767)) | |
589 | return true; | |
590 | if (REG_P (x) && moxie_reg_ok_for_base_p (x, strict_p)) | |
591 | return true; | |
592 | if (GET_CODE (x) == SYMBOL_REF | |
593 | || GET_CODE (x) == LABEL_REF | |
594 | || GET_CODE (x) == CONST) | |
595 | return true; | |
596 | return false; | |
597 | } | |
598 | ||
cceb575c AG |
599 | /* The Global `targetm' Variable. */ |
600 | ||
601 | /* Initialize the GCC target structure. */ | |
602 | ||
603 | #undef TARGET_PROMOTE_PROTOTYPES | |
604 | #define TARGET_PROMOTE_PROTOTYPES hook_bool_const_tree_true | |
605 | ||
606 | #undef TARGET_RETURN_IN_MEMORY | |
607 | #define TARGET_RETURN_IN_MEMORY moxie_return_in_memory | |
608 | #undef TARGET_MUST_PASS_IN_STACK | |
609 | #define TARGET_MUST_PASS_IN_STACK must_pass_in_stack_var_size | |
610 | #undef TARGET_PASS_BY_REFERENCE | |
611 | #define TARGET_PASS_BY_REFERENCE moxie_pass_by_reference | |
612 | #undef TARGET_ARG_PARTIAL_BYTES | |
613 | #define TARGET_ARG_PARTIAL_BYTES moxie_arg_partial_bytes | |
4c05cbb2 NF |
614 | #undef TARGET_FUNCTION_ARG |
615 | #define TARGET_FUNCTION_ARG moxie_function_arg | |
616 | #undef TARGET_FUNCTION_ARG_ADVANCE | |
617 | #define TARGET_FUNCTION_ARG_ADVANCE moxie_function_arg_advance | |
cceb575c | 618 | |
d81db636 SB |
619 | #undef TARGET_LRA_P |
620 | #define TARGET_LRA_P hook_bool_void_false | |
621 | ||
fe21b3c2 AS |
622 | #undef TARGET_ADDR_SPACE_LEGITIMATE_ADDRESS_P |
623 | #define TARGET_ADDR_SPACE_LEGITIMATE_ADDRESS_P moxie_legitimate_address_p | |
cceb575c AG |
624 | |
625 | #undef TARGET_SETUP_INCOMING_VARARGS | |
626 | #define TARGET_SETUP_INCOMING_VARARGS moxie_setup_incoming_varargs | |
627 | ||
628 | #undef TARGET_FIXED_CONDITION_CODE_REGS | |
629 | #define TARGET_FIXED_CONDITION_CODE_REGS moxie_fixed_condition_code_regs | |
630 | ||
631 | /* Define this to return an RTX representing the place where a | |
632 | function returns or receives a value of data type RET_TYPE, a tree | |
026c3cfd | 633 | node representing a data type. */ |
cceb575c AG |
634 | #undef TARGET_FUNCTION_VALUE |
635 | #define TARGET_FUNCTION_VALUE moxie_function_value | |
feab9982 AS |
636 | #undef TARGET_LIBCALL_VALUE |
637 | #define TARGET_LIBCALL_VALUE moxie_libcall_value | |
638 | #undef TARGET_FUNCTION_VALUE_REGNO_P | |
639 | #define TARGET_FUNCTION_VALUE_REGNO_P moxie_function_value_regno_p | |
cceb575c | 640 | |
b52b1749 AS |
641 | #undef TARGET_FRAME_POINTER_REQUIRED |
642 | #define TARGET_FRAME_POINTER_REQUIRED hook_bool_void_true | |
643 | ||
4601494d RH |
644 | #undef TARGET_STATIC_CHAIN |
645 | #define TARGET_STATIC_CHAIN moxie_static_chain | |
646 | #undef TARGET_ASM_TRAMPOLINE_TEMPLATE | |
647 | #define TARGET_ASM_TRAMPOLINE_TEMPLATE moxie_asm_trampoline_template | |
648 | #undef TARGET_TRAMPOLINE_INIT | |
649 | #define TARGET_TRAMPOLINE_INIT moxie_trampoline_init | |
650 | ||
c5387660 JM |
651 | #undef TARGET_OPTION_OVERRIDE |
652 | #define TARGET_OPTION_OVERRIDE moxie_option_override | |
653 | ||
f12021ed AS |
654 | #undef TARGET_PRINT_OPERAND |
655 | #define TARGET_PRINT_OPERAND moxie_print_operand | |
656 | #undef TARGET_PRINT_OPERAND_ADDRESS | |
657 | #define TARGET_PRINT_OPERAND_ADDRESS moxie_print_operand_address | |
658 | ||
58e17cf8 RS |
659 | #undef TARGET_CONSTANT_ALIGNMENT |
660 | #define TARGET_CONSTANT_ALIGNMENT constant_alignment_word_strings | |
661 | ||
cceb575c AG |
662 | struct gcc_target targetm = TARGET_INITIALIZER; |
663 | ||
664 | #include "gt-moxie.h" |