1 /* Output routines for GCC for CRX.
2 Copyright (C) 1991, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001,
3 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009
4 Free Software Foundation, Inc.
6 This file is part of GCC.
8 GCC is free software; you can redistribute it and/or modify it
9 under the terms of the GNU General Public License as published
10 by the Free Software Foundation; either version 3, or (at your
11 option) any later version.
13 GCC is distributed in the hope that it will be useful, but WITHOUT
14 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
15 or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
16 License for more details.
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/>. */
22 /*****************************************************************************/
24 /*****************************************************************************/
28 #include "coretypes.h"
34 #include "hard-reg-set.h"
36 #include "insn-config.h"
37 #include "conditions.h"
39 #include "insn-codes.h"
40 #include "insn-attr.h"
48 #include "basic-block.h"
50 #include "target-def.h"
52 /*****************************************************************************/
54 /*****************************************************************************/
56 /* Maximum number of register used for passing parameters. */
57 #define MAX_REG_FOR_PASSING_ARGS 6
59 /* Minimum number register used for passing parameters. */
60 #define MIN_REG_FOR_PASSING_ARGS 2
62 /* The maximum count of words supported in the assembly of the architecture in
63 * a push/pop instruction. */
66 /* Predicate is true if the current function is a 'noreturn' function, i.e. it
67 * is qualified as volatile. */
68 #define FUNC_IS_NORETURN_P(decl) (TREE_THIS_VOLATILE (decl))
70 /* The following macros are used in crx_decompose_address () */
72 /* Returns the factor of a scaled index address or -1 if invalid. */
73 #define SCALE_FOR_INDEX_P(X) \
74 (GET_CODE (X) == CONST_INT ? \
75 (INTVAL (X) == 1 ? 1 : \
76 INTVAL (X) == 2 ? 2 : \
77 INTVAL (X) == 4 ? 4 : \
78 INTVAL (X) == 8 ? 8 : \
82 /* Nonzero if the rtx X is a signed const int of n bits */
83 #define RTX_SIGNED_INT_FITS_N_BITS(X,n) \
84 ((GET_CODE (X) == CONST_INT \
85 && SIGNED_INT_FITS_N_BITS (INTVAL (X), n)) ? 1 : 0)
87 /* Nonzero if the rtx X is an unsigned const int of n bits. */
88 #define RTX_UNSIGNED_INT_FITS_N_BITS(X, n) \
89 ((GET_CODE (X) == CONST_INT \
90 && UNSIGNED_INT_FITS_N_BITS (INTVAL (X), n)) ? 1 : 0)
92 /*****************************************************************************/
93 /* STATIC VARIABLES */
94 /*****************************************************************************/
96 /* Nonzero if the last param processed is passed in a register. */
97 static int last_parm_in_reg;
99 /* Will hold the number of the last register the prologue saves, -1 if no
100 * register is saved. */
101 static int last_reg_to_save;
103 /* Each object in the array is a register number. Mark 1 for registers that
104 * need to be saved. */
105 static int save_regs[FIRST_PSEUDO_REGISTER];
107 /* Number of bytes saved on the stack for non-scratch registers */
108 static int sum_regs = 0;
110 /* Number of bytes saved on the stack for local variables. */
111 static int local_vars_size;
113 /* The sum of 2 sizes: locals vars and padding byte for saving the registers.
114 * Used in expand_prologue () and expand_epilogue (). */
115 static int size_for_adjusting_sp;
117 /* In case of a POST_INC or POST_DEC memory reference, we must report the mode
118 * of the memory reference from PRINT_OPERAND to PRINT_OPERAND_ADDRESS. */
119 static enum machine_mode output_memory_reference_mode;
121 /*****************************************************************************/
122 /* GLOBAL VARIABLES */
123 /*****************************************************************************/
125 /* Table of machine attributes. */
126 EXPORTED_CONST struct attribute_spec crx_attribute_table[];
128 /*****************************************************************************/
129 /* TARGETM FUNCTION PROTOTYPES */
130 /*****************************************************************************/
132 static bool crx_fixed_condition_code_regs (unsigned int *, unsigned int *);
133 static rtx crx_struct_value_rtx (tree fntype ATTRIBUTE_UNUSED,
134 int incoming ATTRIBUTE_UNUSED);
135 static bool crx_return_in_memory (const_tree type, const_tree fntype ATTRIBUTE_UNUSED);
136 static int crx_address_cost (rtx, bool);
137 static bool crx_legitimate_address_p (enum machine_mode, rtx, bool);
139 /*****************************************************************************/
141 /*****************************************************************************/
143 #undef TARGET_LEGITIMATE_ADDRESS_P
144 #define TARGET_LEGITIMATE_ADDRESS_P crx_legitimate_address_p
146 /*****************************************************************************/
147 /* STACK LAYOUT AND CALLING CONVENTIONS */
148 /*****************************************************************************/
150 #undef TARGET_FIXED_CONDITION_CODE_REGS
151 #define TARGET_FIXED_CONDITION_CODE_REGS crx_fixed_condition_code_regs
153 #undef TARGET_STRUCT_VALUE_RTX
154 #define TARGET_STRUCT_VALUE_RTX crx_struct_value_rtx
156 #undef TARGET_RETURN_IN_MEMORY
157 #define TARGET_RETURN_IN_MEMORY crx_return_in_memory
159 /*****************************************************************************/
160 /* RELATIVE COSTS OF OPERATIONS */
161 /*****************************************************************************/
163 #undef TARGET_ADDRESS_COST
164 #define TARGET_ADDRESS_COST crx_address_cost
166 /*****************************************************************************/
167 /* TARGET-SPECIFIC USES OF `__attribute__' */
168 /*****************************************************************************/
170 #undef TARGET_ATTRIBUTE_TABLE
171 #define TARGET_ATTRIBUTE_TABLE crx_attribute_table
173 const struct attribute_spec crx_attribute_table[] = {
174 /* ISRs have special prologue and epilogue requirements. */
175 {"interrupt", 0, 0, false, true, true, NULL},
176 {NULL, 0, 0, false, false, false, NULL}
180 /* Initialize 'targetm' variable which contains pointers to functions and data
181 * relating to the target machine. */
183 struct gcc_target targetm = TARGET_INITIALIZER;
186 /*****************************************************************************/
187 /* TARGET HOOK IMPLEMENTATIONS */
188 /*****************************************************************************/
190 /* Return the fixed registers used for condition codes. */
193 crx_fixed_condition_code_regs (unsigned int *p1, unsigned int *p2)
196 *p2 = INVALID_REGNUM;
200 /* Implements hook TARGET_STRUCT_VALUE_RTX. */
203 crx_struct_value_rtx (tree fntype ATTRIBUTE_UNUSED,
204 int incoming ATTRIBUTE_UNUSED)
206 return gen_rtx_REG (Pmode, CRX_STRUCT_VALUE_REGNUM);
209 /* Implements hook TARGET_RETURN_IN_MEMORY. */
212 crx_return_in_memory (const_tree type, const_tree fntype ATTRIBUTE_UNUSED)
214 if (TYPE_MODE (type) == BLKmode)
216 HOST_WIDE_INT size = int_size_in_bytes (type);
217 return (size == -1 || size > 8);
224 /*****************************************************************************/
225 /* MACRO IMPLEMENTATIONS */
226 /*****************************************************************************/
228 /* STACK LAYOUT AND CALLING CONVENTIONS ROUTINES */
229 /* --------------------------------------------- */
231 /* Return nonzero if the current function being compiled is an interrupt
232 * function as specified by the "interrupt" attribute. */
235 crx_interrupt_function_p (void)
239 attributes = TYPE_ATTRIBUTES (TREE_TYPE (current_function_decl));
240 return lookup_attribute ("interrupt", attributes) != NULL_TREE;
243 /* Compute values for the array save_regs and the variable sum_regs. The index
244 * of save_regs is numbers of register, each will get 1 if we need to save it
245 * in the current function, 0 if not. sum_regs is the total sum of the
246 * registers being saved. */
249 crx_compute_save_regs (void)
253 /* initialize here so in case the function is no-return it will be -1. */
254 last_reg_to_save = -1;
256 /* No need to save any registers if the function never returns. */
257 if (FUNC_IS_NORETURN_P (current_function_decl))
260 /* Initialize the number of bytes to be saved. */
263 for (regno = 0; regno < FIRST_PSEUDO_REGISTER; regno++)
265 if (fixed_regs[regno])
267 save_regs[regno] = 0;
271 /* If this reg is used and not call-used (except RA), save it. */
272 if (crx_interrupt_function_p ())
274 if (!current_function_is_leaf && call_used_regs[regno])
275 /* this is a volatile reg in a non-leaf interrupt routine - save it
276 * for the sake of its sons. */
277 save_regs[regno] = 1;
279 else if (df_regs_ever_live_p (regno))
280 /* This reg is used - save it. */
281 save_regs[regno] = 1;
283 /* This reg is not used, and is not a volatile - don't save. */
284 save_regs[regno] = 0;
288 /* If this reg is used and not call-used (except RA), save it. */
289 if (df_regs_ever_live_p (regno)
290 && (!call_used_regs[regno] || regno == RETURN_ADDRESS_REGNUM))
291 save_regs[regno] = 1;
293 save_regs[regno] = 0;
297 for (regno = 0; regno < FIRST_PSEUDO_REGISTER; regno++)
298 if (save_regs[regno] == 1)
300 last_reg_to_save = regno;
301 sum_regs += UNITS_PER_WORD;
305 /* Compute the size of the local area and the size to be adjusted by the
306 * prologue and epilogue. */
309 crx_compute_frame (void)
311 /* For aligning the local variables. */
312 int stack_alignment = STACK_BOUNDARY / BITS_PER_UNIT;
315 /* Padding needed for each element of the frame. */
316 local_vars_size = get_frame_size ();
318 /* Align to the stack alignment. */
319 padding_locals = local_vars_size % stack_alignment;
321 padding_locals = stack_alignment - padding_locals;
323 local_vars_size += padding_locals;
325 size_for_adjusting_sp = local_vars_size + (ACCUMULATE_OUTGOING_ARGS ?
326 crtl->outgoing_args_size : 0);
329 /* Implements the macro INITIAL_ELIMINATION_OFFSET, return the OFFSET. */
332 crx_initial_elimination_offset (int from, int to)
334 /* Compute this since we need to use sum_regs. */
335 crx_compute_save_regs ();
337 /* Compute this since we need to use local_vars_size. */
338 crx_compute_frame ();
340 if ((from) == FRAME_POINTER_REGNUM && (to) == STACK_POINTER_REGNUM)
341 return (ACCUMULATE_OUTGOING_ARGS ?
342 crtl->outgoing_args_size : 0);
343 else if ((from) == ARG_POINTER_REGNUM && (to) == FRAME_POINTER_REGNUM)
344 return (sum_regs + local_vars_size);
345 else if ((from) == ARG_POINTER_REGNUM && (to) == STACK_POINTER_REGNUM)
346 return (sum_regs + local_vars_size +
347 (ACCUMULATE_OUTGOING_ARGS ?
348 crtl->outgoing_args_size : 0));
356 /* Return the class number of the smallest class containing reg number REGNO.
357 * This could be a conditional expression or could index an array. */
360 crx_regno_reg_class (int regno)
362 if (regno >= 0 && regno < SP_REGNUM)
365 if (regno == SP_REGNUM)
368 if (regno == LO_REGNUM)
370 if (regno == HI_REGNUM)
376 /* Transfer between HILO_REGS and memory via secondary reloading. */
379 crx_secondary_reload_class (enum reg_class rclass,
380 enum machine_mode mode ATTRIBUTE_UNUSED,
381 rtx x ATTRIBUTE_UNUSED)
383 if (reg_classes_intersect_p (rclass, HILO_REGS)
384 && true_regnum (x) == -1)
390 /* Return 1 if hard register REGNO can hold a value of machine-mode MODE. */
393 crx_hard_regno_mode_ok (int regno, enum machine_mode mode)
395 /* CC can only hold CCmode values. */
396 if (regno == CC_REGNUM)
397 return GET_MODE_CLASS (mode) == MODE_CC;
398 if (GET_MODE_CLASS (mode) == MODE_CC)
400 /* HILO registers can only hold SImode and DImode */
401 if (HILO_REGNO_P (regno))
402 return mode == SImode || mode == DImode;
406 /* PASSING FUNCTION ARGUMENTS */
407 /* -------------------------- */
409 /* If enough param regs are available for passing the param of type TYPE return
410 * the number of registers needed else 0. */
413 enough_regs_for_param (CUMULATIVE_ARGS * cum, tree type,
414 enum machine_mode mode)
420 type_size = GET_MODE_BITSIZE (mode);
422 type_size = int_size_in_bytes (type) * BITS_PER_UNIT;
425 BITS_PER_WORD * (MAX_REG_FOR_PASSING_ARGS -
426 (MIN_REG_FOR_PASSING_ARGS + cum->ints) + 1);
428 /* Any variable which is too big to pass in two registers, will pass on
430 if ((remaining_size >= type_size) && (type_size <= 2 * BITS_PER_WORD))
431 return (type_size + BITS_PER_WORD - 1) / BITS_PER_WORD;
436 /* Implements the macro FUNCTION_ARG defined in crx.h. */
439 crx_function_arg (CUMULATIVE_ARGS * cum, enum machine_mode mode, tree type,
440 int named ATTRIBUTE_UNUSED)
442 last_parm_in_reg = 0;
444 /* Function_arg () is called with this type just after all the args have had
445 * their registers assigned. The rtx that function_arg returns from this type
446 * is supposed to pass to 'gen_call' but currently it is not implemented (see
447 * macro GEN_CALL). */
448 if (type == void_type_node)
451 if (targetm.calls.must_pass_in_stack (mode, type) || (cum->ints < 0))
456 /* Enable structures that need padding bytes at the end to pass to a
457 * function in registers. */
458 if (enough_regs_for_param (cum, type, mode) != 0)
460 last_parm_in_reg = 1;
461 return gen_rtx_REG (mode, MIN_REG_FOR_PASSING_ARGS + cum->ints);
465 if (MIN_REG_FOR_PASSING_ARGS + cum->ints > MAX_REG_FOR_PASSING_ARGS)
469 if (enough_regs_for_param (cum, type, mode) != 0)
471 last_parm_in_reg = 1;
472 return gen_rtx_REG (mode, MIN_REG_FOR_PASSING_ARGS + cum->ints);
479 /* Implements the macro INIT_CUMULATIVE_ARGS defined in crx.h. */
482 crx_init_cumulative_args (CUMULATIVE_ARGS * cum, tree fntype,
483 rtx libfunc ATTRIBUTE_UNUSED)
485 tree param, next_param;
489 /* Determine if this function has variable arguments. This is indicated by
490 * the last argument being 'void_type_mode' if there are no variable
491 * arguments. Change here for a different vararg. */
492 for (param = (fntype) ? TYPE_ARG_TYPES (fntype) : 0;
493 param != (tree) 0; param = next_param)
495 next_param = TREE_CHAIN (param);
496 if (next_param == (tree) 0 && TREE_VALUE (param) != void_type_node)
504 /* Implements the macro FUNCTION_ARG_ADVANCE defined in crx.h. */
507 crx_function_arg_advance (CUMULATIVE_ARGS * cum, enum machine_mode mode,
508 tree type, int named ATTRIBUTE_UNUSED)
510 /* l holds the number of registers required */
511 int l = GET_MODE_BITSIZE (mode) / BITS_PER_WORD;
513 /* If the parameter isn't passed on a register don't advance cum. */
514 if (!last_parm_in_reg)
517 if (targetm.calls.must_pass_in_stack (mode, type) || (cum->ints < 0))
520 if (mode == SImode || mode == HImode || mode == QImode || mode == DImode)
527 else if (mode == SFmode || mode == DFmode)
529 else if ((mode) == BLKmode)
531 if ((l = enough_regs_for_param (cum, type, mode)) != 0)
537 /* Implements the macro FUNCTION_ARG_REGNO_P defined in crx.h. Return nonzero
538 * if N is a register used for passing parameters. */
541 crx_function_arg_regno_p (int n)
543 return (n <= MAX_REG_FOR_PASSING_ARGS && n >= MIN_REG_FOR_PASSING_ARGS);
546 /* ADDRESSING MODES */
547 /* ---------------- */
549 /* Implements the hook for TARGET_LEGITIMATE_ADDRESS_P defined in crx.h.
550 * The following addressing modes are supported on CRX:
552 * Relocations --> const | symbol_ref | label_ref
553 * Absolute address --> 32-bit absolute
554 * Post increment --> reg + 12-bit disp.
555 * Post modify --> reg + 12-bit disp.
556 * Register relative --> reg | 32-bit disp. + reg | 4 bit + reg
557 * Scaled index --> reg + reg | 22-bit disp. + reg + reg |
558 * 22-disp. + reg + reg + (2 | 4 | 8) */
560 static int crx_addr_reg_p (rtx addr_reg)
564 if (REG_P (addr_reg))
568 else if ((GET_CODE (addr_reg) == SUBREG
569 && REG_P (SUBREG_REG (addr_reg))
570 && GET_MODE_SIZE (GET_MODE (SUBREG_REG (addr_reg)))
573 reg = SUBREG_REG (addr_reg);
578 if (GET_MODE (addr_reg) != Pmode)
587 crx_decompose_address (rtx addr, struct crx_address *out)
589 rtx base = NULL_RTX, index = NULL_RTX, disp = NULL_RTX;
590 rtx scale_rtx = NULL_RTX, side_effect = NULL_RTX;
593 enum crx_addrtype retval = CRX_INVALID;
595 switch (GET_CODE (addr))
598 /* Absolute address (known at compile time) */
599 retval = CRX_ABSOLUTE;
601 if (!UNSIGNED_INT_FITS_N_BITS (INTVAL (disp), GET_MODE_BITSIZE (Pmode)))
608 /* Absolute address (known at link time) */
609 retval = CRX_ABSOLUTE;
615 /* Register relative address */
616 retval = CRX_REG_REL;
621 switch (GET_CODE (XEXP (addr, 0)))
625 if (REG_P (XEXP (addr, 1)))
627 /* Scaled index with scale = 1 and disp. = 0 */
628 retval = CRX_SCALED_INDX;
629 base = XEXP (addr, 1);
630 index = XEXP (addr, 0);
633 else if (RTX_SIGNED_INT_FITS_N_BITS (XEXP (addr, 1), 28))
635 /* Register relative address and <= 28-bit disp. */
636 retval = CRX_REG_REL;
637 base = XEXP (addr, 0);
638 disp = XEXP (addr, 1);
645 /* Scaled index and <= 22-bit disp. */
646 retval = CRX_SCALED_INDX;
647 base = XEXP (XEXP (addr, 0), 1);
648 disp = XEXP (addr, 1);
649 if (!RTX_SIGNED_INT_FITS_N_BITS (disp, 22))
651 switch (GET_CODE (XEXP (XEXP (addr, 0), 0)))
654 /* Scaled index with scale = 0 and <= 22-bit disp. */
655 index = XEXP (XEXP (addr, 0), 0);
660 /* Scaled index with scale >= 0 and <= 22-bit disp. */
661 index = XEXP (XEXP (XEXP (addr, 0), 0), 0);
662 scale_rtx = XEXP (XEXP (XEXP (addr, 0), 0), 1);
663 if ((scale = SCALE_FOR_INDEX_P (scale_rtx)) == -1)
673 /* Scaled index with scale >= 0 */
674 retval = CRX_SCALED_INDX;
675 base = XEXP (addr, 1);
676 index = XEXP (XEXP (addr, 0), 0);
677 scale_rtx = XEXP (XEXP (addr, 0), 1);
678 /* Scaled index with scale >= 0 and <= 22-bit disp. */
679 if ((scale = SCALE_FOR_INDEX_P (scale_rtx)) == -1)
690 /* Simple post-increment */
691 retval = CRX_POST_INC;
692 base = XEXP (addr, 0);
697 /* Generic post-increment with <= 12-bit disp. */
698 retval = CRX_POST_INC;
699 base = XEXP (addr, 0);
700 side_effect = XEXP (addr, 1);
701 if (base != XEXP (side_effect, 0))
703 switch (GET_CODE (side_effect))
707 disp = XEXP (side_effect, 1);
708 if (!RTX_SIGNED_INT_FITS_N_BITS (disp, 12))
713 /* CRX only supports PLUS and MINUS */
722 if (base && !crx_addr_reg_p (base)) return CRX_INVALID;
723 if (index && !crx_addr_reg_p (index)) return CRX_INVALID;
729 out->side_effect = side_effect;
735 crx_legitimate_address_p (enum machine_mode mode ATTRIBUTE_UNUSED,
736 rtx addr, bool strict)
738 enum crx_addrtype addrtype;
739 struct crx_address address;
741 if (TARGET_DEBUG_ADDR)
744 "\n======\nGO_IF_LEGITIMATE_ADDRESS, mode = %s, strict = %d\n",
745 GET_MODE_NAME (mode), strict);
749 addrtype = crx_decompose_address (addr, &address);
751 if (addrtype == CRX_POST_INC && GET_MODE_SIZE (mode) > UNITS_PER_WORD)
754 if (TARGET_DEBUG_ADDR)
763 typestr = "Register relative";
766 typestr = "Post-increment";
768 case CRX_SCALED_INDX:
769 typestr = "Scaled index";
772 typestr = "Absolute";
777 fprintf (stderr, "CRX Address type: %s\n", typestr);
780 if (addrtype == CRX_INVALID)
785 if (address.base && !REGNO_OK_FOR_BASE_P (REGNO (address.base)))
787 if (TARGET_DEBUG_ADDR)
788 fprintf (stderr, "Base register not strict\n");
791 if (address.index && !REGNO_OK_FOR_INDEX_P (REGNO (address.index)))
793 if (TARGET_DEBUG_ADDR)
794 fprintf (stderr, "Index register not strict\n");
802 /* ROUTINES TO COMPUTE COSTS */
803 /* ------------------------- */
805 /* Return cost of the memory address x. */
808 crx_address_cost (rtx addr, bool speed ATTRIBUTE_UNUSED)
810 enum crx_addrtype addrtype;
811 struct crx_address address;
815 addrtype = crx_decompose_address (addr, &address);
817 gcc_assert (addrtype != CRX_INVALID);
819 /* An absolute address causes a 3-word instruction */
820 if (addrtype == CRX_ABSOLUTE)
823 /* Post-modifying addresses are more powerful. */
824 if (addrtype == CRX_POST_INC)
827 /* Attempt to minimize number of registers in the address. */
831 if (address.index && address.scale == 1)
834 if (address.disp && !INT_CST4 (INTVAL (address.disp)))
837 if (TARGET_DEBUG_ADDR)
839 fprintf (stderr, "\n======\nTARGET_ADDRESS_COST = %d\n", cost);
846 /* Return the cost of moving data of mode MODE between a register of class
847 * RCLASS and memory; IN is zero if the value is to be written to memory,
848 * nonzero if it is to be read in. This cost is relative to those in
849 * REGISTER_MOVE_COST. */
852 crx_memory_move_cost (enum machine_mode mode,
853 enum reg_class rclass ATTRIBUTE_UNUSED,
854 int in ATTRIBUTE_UNUSED)
856 /* One LD or ST takes twice the time of a simple reg-reg move */
857 if (reg_classes_intersect_p (rclass, GENERAL_REGS))
859 /* printf ("GENERAL_REGS LD/ST = %d\n", 4 * HARD_REGNO_NREGS (0, mode));*/
860 return 4 * HARD_REGNO_NREGS (0, mode);
862 else if (reg_classes_intersect_p (rclass, HILO_REGS))
864 /* HILO to memory and vice versa */
865 /* printf ("HILO_REGS %s = %d\n", in ? "LD" : "ST",
866 (REGISTER_MOVE_COST (mode,
867 in ? GENERAL_REGS : HILO_REGS,
868 in ? HILO_REGS : GENERAL_REGS) + 4)
869 * HARD_REGNO_NREGS (0, mode)); */
870 return (REGISTER_MOVE_COST (mode,
871 in ? GENERAL_REGS : HILO_REGS,
872 in ? HILO_REGS : GENERAL_REGS) + 4)
873 * HARD_REGNO_NREGS (0, mode);
875 else /* default (like in i386) */
877 /* printf ("ANYREGS = 100\n"); */
882 /* INSTRUCTION OUTPUT */
883 /* ------------------ */
885 /* Check if a const_double is ok for crx store-immediate instructions */
888 crx_const_double_ok (rtx op)
890 if (GET_MODE (op) == DFmode)
894 REAL_VALUE_FROM_CONST_DOUBLE (r, op);
895 REAL_VALUE_TO_TARGET_DOUBLE (r, l);
896 return (UNSIGNED_INT_FITS_N_BITS (l[0], 4) &&
897 UNSIGNED_INT_FITS_N_BITS (l[1], 4)) ? 1 : 0;
900 if (GET_MODE (op) == SFmode)
904 REAL_VALUE_FROM_CONST_DOUBLE (r, op);
905 REAL_VALUE_TO_TARGET_SINGLE (r, l);
906 return UNSIGNED_INT_FITS_N_BITS (l, 4) ? 1 : 0;
909 return (UNSIGNED_INT_FITS_N_BITS (CONST_DOUBLE_LOW (op), 4) &&
910 UNSIGNED_INT_FITS_N_BITS (CONST_DOUBLE_HIGH (op), 4)) ? 1 : 0;
913 /* Implements the macro PRINT_OPERAND defined in crx.h. */
916 crx_print_operand (FILE * file, rtx x, int code)
921 if (GET_CODE (x) == REG) {
922 if (GET_MODE (x) == DImode || GET_MODE (x) == DFmode)
924 int regno = REGNO (x);
925 if (regno + 1 >= SP_REGNUM) abort ();
926 fprintf (file, "{%s, %s}", reg_names[regno], reg_names[regno + 1]);
931 if (REGNO (x) >= SP_REGNUM) abort ();
932 fprintf (file, "%s", reg_names[REGNO (x)]);
939 const char *crx_cmp_str;
940 switch (GET_CODE (x))
941 { /* MD: compare (reg, reg or imm) but CRX: cmp (reg or imm, reg)
942 * -> swap all non symmetric ops */
943 case EQ : crx_cmp_str = "eq"; break;
944 case NE : crx_cmp_str = "ne"; break;
945 case GT : crx_cmp_str = "lt"; break;
946 case GTU : crx_cmp_str = "lo"; break;
947 case LT : crx_cmp_str = "gt"; break;
948 case LTU : crx_cmp_str = "hi"; break;
949 case GE : crx_cmp_str = "le"; break;
950 case GEU : crx_cmp_str = "ls"; break;
951 case LE : crx_cmp_str = "ge"; break;
952 case LEU : crx_cmp_str = "hs"; break;
955 fprintf (file, "%s", crx_cmp_str);
960 /* Print high part of a double precision value. */
961 switch (GET_CODE (x))
964 if (GET_MODE (x) == SFmode) abort ();
965 if (GET_MODE (x) == DFmode)
967 /* High part of a DF const. */
971 REAL_VALUE_FROM_CONST_DOUBLE (r, x);
972 REAL_VALUE_TO_TARGET_DOUBLE (r, l);
974 fprintf (file, "$0x%lx", l[1]);
978 /* -- Fallthrough to handle DI consts -- */
983 split_double (x, &low, &high);
985 output_addr_const (file, high);
990 if (REGNO (x) + 1 >= FIRST_PSEUDO_REGISTER) abort ();
991 fprintf (file, "%s", reg_names[REGNO (x) + 1]);
995 /* Adjust memory address to high part. */
998 adj_mem = adjust_address (adj_mem, GET_MODE (adj_mem), 4);
1000 output_memory_reference_mode = GET_MODE (adj_mem);
1001 output_address (XEXP (adj_mem, 0));
1010 /* Print low part of a double precision value. */
1011 switch (GET_CODE (x))
1014 if (GET_MODE (x) == SFmode) abort ();
1015 if (GET_MODE (x) == DFmode)
1017 /* High part of a DF const. */
1021 REAL_VALUE_FROM_CONST_DOUBLE (r, x);
1022 REAL_VALUE_TO_TARGET_DOUBLE (r, l);
1024 fprintf (file, "$0x%lx", l[0]);
1028 /* -- Fallthrough to handle DI consts -- */
1033 split_double (x, &low, &high);
1035 output_addr_const (file, low);
1040 fprintf (file, "%s", reg_names[REGNO (x)]);
1044 output_memory_reference_mode = GET_MODE (x);
1045 output_address (XEXP (x, 0));
1052 case 0 : /* default */
1053 switch (GET_CODE (x))
1056 fprintf (file, "%s", reg_names[REGNO (x)]);
1060 output_memory_reference_mode = GET_MODE (x);
1061 output_address (XEXP (x, 0));
1069 /* Always use H and L for double precision - see above */
1070 gcc_assert (GET_MODE (x) == SFmode);
1072 REAL_VALUE_FROM_CONST_DOUBLE (r, x);
1073 REAL_VALUE_TO_TARGET_SINGLE (r, l);
1075 fprintf (file, "$0x%lx", l);
1081 output_addr_const (file, x);
1086 output_operand_lossage ("invalid %%xn code");
1092 /* Implements the macro PRINT_OPERAND_ADDRESS defined in crx.h. */
1095 crx_print_operand_address (FILE * file, rtx addr)
1097 enum crx_addrtype addrtype;
1098 struct crx_address address;
1102 addrtype = crx_decompose_address (addr, &address);
1105 offset = INTVAL (address.disp);
1112 fprintf (file, "%d(%s)", offset, reg_names[REGNO (address.base)]);
1116 switch (GET_CODE (address.side_effect))
1124 offset = GET_MODE_SIZE (output_memory_reference_mode);
1127 offset = -GET_MODE_SIZE (output_memory_reference_mode);
1132 fprintf (file, "%d(%s)+", offset, reg_names[REGNO (address.base)]);
1135 case CRX_SCALED_INDX:
1136 fprintf (file, "%d(%s, %s, %d)", offset, reg_names[REGNO (address.base)],
1137 reg_names[REGNO (address.index)], address.scale);
1141 output_addr_const (file, address.disp);
1150 /*****************************************************************************/
1151 /* MACHINE DESCRIPTION HELPER-FUNCTIONS */
1152 /*****************************************************************************/
1154 void crx_expand_movmem_single (rtx src, rtx srcbase, rtx dst, rtx dstbase,
1155 rtx tmp_reg, unsigned HOST_WIDE_INT *offset_p)
1158 unsigned HOST_WIDE_INT offset = *offset_p;
1161 addr = plus_constant (src, offset);
1162 mem = adjust_automodify_address (srcbase, SImode, addr, offset);
1163 emit_move_insn (tmp_reg, mem);
1166 addr = plus_constant (dst, offset);
1167 mem = adjust_automodify_address (dstbase, SImode, addr, offset);
1168 emit_move_insn (mem, tmp_reg);
1170 *offset_p = offset + 4;
1174 crx_expand_movmem (rtx dstbase, rtx srcbase, rtx count_exp, rtx align_exp)
1176 unsigned HOST_WIDE_INT count = 0, offset, si_moves, i;
1177 HOST_WIDE_INT align = 0;
1182 if (GET_CODE (align_exp) == CONST_INT)
1183 { /* Only if aligned */
1184 align = INTVAL (align_exp);
1189 if (GET_CODE (count_exp) == CONST_INT)
1190 { /* No more than 16 SImode moves */
1191 count = INTVAL (count_exp);
1196 tmp_reg = gen_reg_rtx (SImode);
1198 /* Create psrs for the src and dest pointers */
1199 dst = copy_to_mode_reg (Pmode, XEXP (dstbase, 0));
1200 if (dst != XEXP (dstbase, 0))
1201 dstbase = replace_equiv_address_nv (dstbase, dst);
1202 src = copy_to_mode_reg (Pmode, XEXP (srcbase, 0));
1203 if (src != XEXP (srcbase, 0))
1204 srcbase = replace_equiv_address_nv (srcbase, src);
1208 /* Emit SImode moves */
1209 si_moves = count >> 2;
1210 for (i = 0; i < si_moves; i++)
1211 crx_expand_movmem_single (src, srcbase, dst, dstbase, tmp_reg, &offset);
1217 crx_expand_movmem_single (src, srcbase, dst, dstbase, tmp_reg, &offset);
1220 gcc_assert (offset == count);
1226 mpushpop_str (char *stringbuffer, const char *mnemonic, char *mask)
1228 if (strlen (mask) > 2 || crx_interrupt_function_p ()) /* needs 2-word instr. */
1229 sprintf (stringbuffer, "\n\t%s\tsp, {%s}", mnemonic, mask);
1230 else /* single word instruction */
1231 sprintf (stringbuffer, "\n\t%s\t%s", mnemonic, mask);
1234 /* Called from crx.md. The return value depends on the parameter push_or_pop:
1235 * When push_or_pop is zero -> string for push instructions of prologue.
1236 * When push_or_pop is nonzero -> string for pop/popret/retx in epilogue.
1237 * Relies on the assumptions:
1238 * 1. RA is the last register to be saved.
1239 * 2. The maximal value of the counter is MAX_COUNT. */
1242 crx_prepare_push_pop_string (int push_or_pop)
1244 /* j is the number of registers being saved, takes care that there won't be
1245 * more than 8 in one push/pop instruction */
1247 /* For the register mask string */
1248 static char mask_str[50];
1250 /* i is the index of save_regs[], going from 0 until last_reg_to_save */
1253 int ra_in_bitmask = 0;
1257 /* For reversing on the push instructions if there are more than one. */
1260 return_str = (char *) xmalloc (120);
1261 temp_str = (char *) xmalloc (120);
1264 memset (return_str, 0, 3);
1266 while (i <= last_reg_to_save)
1268 /* Prepare mask for one instruction. */
1272 { /* Add regs unit full or SP register reached */
1274 while (j < MAX_COUNT && i <= SP_REGNUM)
1278 /* TODO to use ra_in_bitmask for detecting last pop is not
1279 * smart it prevents things like: popret r5 */
1280 if (i == RETURN_ADDRESS_REGNUM) ra_in_bitmask = 1;
1281 if (j > 0) strcat (mask_str, ", ");
1282 strcat (mask_str, reg_names[i]);
1290 /* Handle hi/lo savings */
1291 while (i <= last_reg_to_save)
1295 strcat (mask_str, "lo, hi");
1296 i = last_reg_to_save + 1;
1303 if (strlen (mask_str) == 0) continue;
1305 if (push_or_pop == 1)
1307 if (crx_interrupt_function_p ())
1308 mpushpop_str (temp_str, "popx", mask_str);
1313 mpushpop_str (temp_str, "popret", mask_str);
1316 else mpushpop_str (temp_str, "pop", mask_str);
1319 strcat (return_str, temp_str);
1323 /* push - We need to reverse the order of the instructions if there
1324 * are more than one. (since the pop will not be reversed in the
1326 if (crx_interrupt_function_p ())
1327 mpushpop_str (temp_str, "pushx", mask_str);
1329 mpushpop_str (temp_str, "push", mask_str);
1330 strcat (temp_str, return_str);
1331 strcpy (strcat (return_str, "\t"), temp_str);
1336 if (push_or_pop == 1)
1339 if (crx_interrupt_function_p ())
1340 strcat (return_str, "\n\tretx\n");
1342 else if (!FUNC_IS_NORETURN_P (current_function_decl)
1343 && !save_regs[RETURN_ADDRESS_REGNUM])
1344 strcat (return_str, "\n\tjump\tra\n");
1347 /* Skip the newline and the tab in the start of return_str. */
1352 /* CompactRISC CRX Architecture stack layout:
1354 0 +---------------------
1359 +==================== Sp(x)=Ap(x+1)
1360 A | Args for functions
1361 | | called by X and Dynamically
1362 | | Dynamic allocations allocated and
1363 | | (alloca, variable deallocated
1364 Stack | length arrays).
1365 grows +-------------------- Fp(x)
1366 down| | Local variables of X
1367 ward| +--------------------
1368 | | Regs saved for X-1
1369 | +==================== Sp(x-1)=Ap(x)
1372 +-------------------- Fp(x-1)
1380 crx_expand_prologue (void)
1382 crx_compute_frame ();
1383 crx_compute_save_regs ();
1385 /* If there is no need in push and adjustment to sp, return. */
1386 if (size_for_adjusting_sp + sum_regs == 0)
1389 if (last_reg_to_save != -1)
1390 /* If there are registers to push. */
1391 emit_insn (gen_push_for_prologue (GEN_INT (sum_regs)));
1393 if (size_for_adjusting_sp > 0)
1394 emit_insn (gen_addsi3 (stack_pointer_rtx, stack_pointer_rtx,
1395 GEN_INT (-size_for_adjusting_sp)));
1397 if (frame_pointer_needed)
1398 /* Initialize the frame pointer with the value of the stack pointer
1399 * pointing now to the locals. */
1400 emit_move_insn (frame_pointer_rtx, stack_pointer_rtx);
1403 /* Generate insn that updates the stack for local variables and padding for
1404 * registers we save. - Generate the appropriate return insn. */
1407 crx_expand_epilogue (void)
1411 /* Nonzero if we need to return and pop only RA. This will generate a
1412 * different insn. This differentiate is for the peepholes for call as last
1413 * statement in function. */
1414 int only_popret_RA = (save_regs[RETURN_ADDRESS_REGNUM]
1415 && (sum_regs == UNITS_PER_WORD));
1417 /* Return register. */
1418 return_reg = gen_rtx_REG (Pmode, RETURN_ADDRESS_REGNUM);
1420 if (frame_pointer_needed)
1421 /* Restore the stack pointer with the frame pointers value */
1422 emit_move_insn (stack_pointer_rtx, frame_pointer_rtx);
1424 if (size_for_adjusting_sp > 0)
1425 emit_insn (gen_addsi3 (stack_pointer_rtx, stack_pointer_rtx,
1426 GEN_INT (size_for_adjusting_sp)));
1428 if (crx_interrupt_function_p ())
1429 emit_jump_insn (gen_interrupt_return ());
1430 else if (last_reg_to_save == -1)
1431 /* Nothing to pop */
1432 /* Don't output jump for interrupt routine, only retx. */
1433 emit_jump_insn (gen_indirect_jump_return ());
1434 else if (only_popret_RA)
1435 emit_jump_insn (gen_popret_RA_return ());
1437 emit_jump_insn (gen_pop_and_popret_return (GEN_INT (sum_regs)));