2299 lines
63 KiB
C
2299 lines
63 KiB
C
/* Subroutines for insn-output.c for Matsushita MN10300 series
|
||
Copyright (C) 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004,
|
||
2005, 2006, 2007, 2008, 2009, 2010 Free Software Foundation, Inc.
|
||
Contributed by Jeff Law (law@cygnus.com).
|
||
|
||
This file is part of GCC.
|
||
|
||
GCC is free software; you can redistribute it and/or modify
|
||
it under the terms of the GNU General Public License as published by
|
||
the Free Software Foundation; either version 3, or (at your option)
|
||
any later version.
|
||
|
||
GCC is distributed in the hope that it will be useful,
|
||
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
||
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||
GNU General Public License for more details.
|
||
|
||
You should have received a copy of the GNU General Public License
|
||
along with GCC; see the file COPYING3. If not see
|
||
<http://www.gnu.org/licenses/>. */
|
||
|
||
#include "config.h"
|
||
#include "system.h"
|
||
#include "coretypes.h"
|
||
#include "tm.h"
|
||
#include "rtl.h"
|
||
#include "tree.h"
|
||
#include "regs.h"
|
||
#include "hard-reg-set.h"
|
||
#include "real.h"
|
||
#include "insn-config.h"
|
||
#include "conditions.h"
|
||
#include "output.h"
|
||
#include "insn-attr.h"
|
||
#include "flags.h"
|
||
#include "recog.h"
|
||
#include "reload.h"
|
||
#include "expr.h"
|
||
#include "optabs.h"
|
||
#include "function.h"
|
||
#include "obstack.h"
|
||
#include "toplev.h"
|
||
#include "tm_p.h"
|
||
#include "target.h"
|
||
#include "target-def.h"
|
||
|
||
/* This is used by GOTaddr2picreg to uniquely identify
|
||
UNSPEC_INT_LABELs. */
|
||
int mn10300_unspec_int_label_counter;
|
||
|
||
/* This is used in the am33_2.0-linux-gnu port, in which global symbol
|
||
names are not prefixed by underscores, to tell whether to prefix a
|
||
label with a plus sign or not, so that the assembler can tell
|
||
symbol names from register names. */
|
||
int mn10300_protect_label;
|
||
|
||
/* The selected processor. */
|
||
enum processor_type mn10300_processor = PROCESSOR_DEFAULT;
|
||
|
||
/* The size of the callee register save area. Right now we save everything
|
||
on entry since it costs us nothing in code size. It does cost us from a
|
||
speed standpoint, so we want to optimize this sooner or later. */
|
||
#define REG_SAVE_BYTES (4 * df_regs_ever_live_p (2) \
|
||
+ 4 * df_regs_ever_live_p (3) \
|
||
+ 4 * df_regs_ever_live_p (6) \
|
||
+ 4 * df_regs_ever_live_p (7) \
|
||
+ 16 * (df_regs_ever_live_p (14) || df_regs_ever_live_p (15) \
|
||
|| df_regs_ever_live_p (16) || df_regs_ever_live_p (17)))
|
||
|
||
|
||
static bool mn10300_handle_option (size_t, const char *, int);
|
||
static bool mn10300_legitimate_address_p (enum machine_mode, rtx, bool);
|
||
static int mn10300_address_cost_1 (rtx, int *);
|
||
static int mn10300_address_cost (rtx, bool);
|
||
static bool mn10300_rtx_costs (rtx, int, int, int *, bool);
|
||
static void mn10300_file_start (void);
|
||
static bool mn10300_return_in_memory (const_tree, const_tree);
|
||
static rtx mn10300_builtin_saveregs (void);
|
||
static void mn10300_va_start (tree, rtx);
|
||
static rtx mn10300_legitimize_address (rtx, rtx, enum machine_mode);
|
||
static bool mn10300_pass_by_reference (CUMULATIVE_ARGS *, enum machine_mode,
|
||
const_tree, bool);
|
||
static int mn10300_arg_partial_bytes (CUMULATIVE_ARGS *, enum machine_mode,
|
||
tree, bool);
|
||
static unsigned int mn10300_case_values_threshold (void);
|
||
static void mn10300_encode_section_info (tree, rtx, int);
|
||
static void mn10300_asm_trampoline_template (FILE *);
|
||
static void mn10300_trampoline_init (rtx, tree, rtx);
|
||
static rtx mn10300_function_value (const_tree, const_tree, bool);
|
||
static rtx mn10300_libcall_value (enum machine_mode, const_rtx);
|
||
static void mn10300_asm_output_mi_thunk (FILE *, tree, HOST_WIDE_INT, HOST_WIDE_INT, tree);
|
||
static bool mn10300_can_output_mi_thunk (const_tree, HOST_WIDE_INT, HOST_WIDE_INT, const_tree);
|
||
|
||
/* Initialize the GCC target structure. */
|
||
#undef TARGET_ASM_ALIGNED_HI_OP
|
||
#define TARGET_ASM_ALIGNED_HI_OP "\t.hword\t"
|
||
|
||
#undef TARGET_LEGITIMIZE_ADDRESS
|
||
#define TARGET_LEGITIMIZE_ADDRESS mn10300_legitimize_address
|
||
|
||
#undef TARGET_RTX_COSTS
|
||
#define TARGET_RTX_COSTS mn10300_rtx_costs
|
||
#undef TARGET_ADDRESS_COST
|
||
#define TARGET_ADDRESS_COST mn10300_address_cost
|
||
|
||
#undef TARGET_ASM_FILE_START
|
||
#define TARGET_ASM_FILE_START mn10300_file_start
|
||
#undef TARGET_ASM_FILE_START_FILE_DIRECTIVE
|
||
#define TARGET_ASM_FILE_START_FILE_DIRECTIVE true
|
||
|
||
#undef TARGET_DEFAULT_TARGET_FLAGS
|
||
#define TARGET_DEFAULT_TARGET_FLAGS MASK_MULT_BUG | MASK_PTR_A0D0
|
||
#undef TARGET_HANDLE_OPTION
|
||
#define TARGET_HANDLE_OPTION mn10300_handle_option
|
||
|
||
#undef TARGET_ENCODE_SECTION_INFO
|
||
#define TARGET_ENCODE_SECTION_INFO mn10300_encode_section_info
|
||
|
||
#undef TARGET_PROMOTE_PROTOTYPES
|
||
#define TARGET_PROMOTE_PROTOTYPES hook_bool_const_tree_true
|
||
#undef TARGET_RETURN_IN_MEMORY
|
||
#define TARGET_RETURN_IN_MEMORY mn10300_return_in_memory
|
||
#undef TARGET_PASS_BY_REFERENCE
|
||
#define TARGET_PASS_BY_REFERENCE mn10300_pass_by_reference
|
||
#undef TARGET_CALLEE_COPIES
|
||
#define TARGET_CALLEE_COPIES hook_bool_CUMULATIVE_ARGS_mode_tree_bool_true
|
||
#undef TARGET_ARG_PARTIAL_BYTES
|
||
#define TARGET_ARG_PARTIAL_BYTES mn10300_arg_partial_bytes
|
||
|
||
#undef TARGET_EXPAND_BUILTIN_SAVEREGS
|
||
#define TARGET_EXPAND_BUILTIN_SAVEREGS mn10300_builtin_saveregs
|
||
#undef TARGET_EXPAND_BUILTIN_VA_START
|
||
#define TARGET_EXPAND_BUILTIN_VA_START mn10300_va_start
|
||
|
||
#undef TARGET_CASE_VALUES_THRESHOLD
|
||
#define TARGET_CASE_VALUES_THRESHOLD mn10300_case_values_threshold
|
||
|
||
#undef TARGET_LEGITIMATE_ADDRESS_P
|
||
#define TARGET_LEGITIMATE_ADDRESS_P mn10300_legitimate_address_p
|
||
|
||
#undef TARGET_ASM_TRAMPOLINE_TEMPLATE
|
||
#define TARGET_ASM_TRAMPOLINE_TEMPLATE mn10300_asm_trampoline_template
|
||
#undef TARGET_TRAMPOLINE_INIT
|
||
#define TARGET_TRAMPOLINE_INIT mn10300_trampoline_init
|
||
|
||
#undef TARGET_FUNCTION_VALUE
|
||
#define TARGET_FUNCTION_VALUE mn10300_function_value
|
||
#undef TARGET_LIBCALL_VALUE
|
||
#define TARGET_LIBCALL_VALUE mn10300_libcall_value
|
||
|
||
#undef TARGET_ASM_OUTPUT_MI_THUNK
|
||
#define TARGET_ASM_OUTPUT_MI_THUNK mn10300_asm_output_mi_thunk
|
||
#undef TARGET_ASM_CAN_OUTPUT_MI_THUNK
|
||
#define TARGET_ASM_CAN_OUTPUT_MI_THUNK mn10300_can_output_mi_thunk
|
||
|
||
struct gcc_target targetm = TARGET_INITIALIZER;
|
||
|
||
/* Implement TARGET_HANDLE_OPTION. */
|
||
|
||
static bool
|
||
mn10300_handle_option (size_t code,
|
||
const char *arg ATTRIBUTE_UNUSED,
|
||
int value)
|
||
{
|
||
switch (code)
|
||
{
|
||
case OPT_mam33:
|
||
mn10300_processor = value ? PROCESSOR_AM33 : PROCESSOR_MN10300;
|
||
return true;
|
||
case OPT_mam33_2:
|
||
mn10300_processor = (value
|
||
? PROCESSOR_AM33_2
|
||
: MIN (PROCESSOR_AM33, PROCESSOR_DEFAULT));
|
||
return true;
|
||
default:
|
||
return true;
|
||
}
|
||
}
|
||
|
||
/* Implement OVERRIDE_OPTIONS. */
|
||
|
||
void
|
||
mn10300_override_options (void)
|
||
{
|
||
if (TARGET_AM33)
|
||
target_flags &= ~MASK_MULT_BUG;
|
||
}
|
||
|
||
static void
|
||
mn10300_file_start (void)
|
||
{
|
||
default_file_start ();
|
||
|
||
if (TARGET_AM33_2)
|
||
fprintf (asm_out_file, "\t.am33_2\n");
|
||
else if (TARGET_AM33)
|
||
fprintf (asm_out_file, "\t.am33\n");
|
||
}
|
||
|
||
|
||
/* Print operand X using operand code CODE to assembly language output file
|
||
FILE. */
|
||
|
||
void
|
||
print_operand (FILE *file, rtx x, int code)
|
||
{
|
||
switch (code)
|
||
{
|
||
case 'b':
|
||
case 'B':
|
||
if (cc_status.mdep.fpCC)
|
||
{
|
||
switch (code == 'b' ? GET_CODE (x)
|
||
: reverse_condition_maybe_unordered (GET_CODE (x)))
|
||
{
|
||
case NE:
|
||
fprintf (file, "ne");
|
||
break;
|
||
case EQ:
|
||
fprintf (file, "eq");
|
||
break;
|
||
case GE:
|
||
fprintf (file, "ge");
|
||
break;
|
||
case GT:
|
||
fprintf (file, "gt");
|
||
break;
|
||
case LE:
|
||
fprintf (file, "le");
|
||
break;
|
||
case LT:
|
||
fprintf (file, "lt");
|
||
break;
|
||
case ORDERED:
|
||
fprintf (file, "lge");
|
||
break;
|
||
case UNORDERED:
|
||
fprintf (file, "uo");
|
||
break;
|
||
case LTGT:
|
||
fprintf (file, "lg");
|
||
break;
|
||
case UNEQ:
|
||
fprintf (file, "ue");
|
||
break;
|
||
case UNGE:
|
||
fprintf (file, "uge");
|
||
break;
|
||
case UNGT:
|
||
fprintf (file, "ug");
|
||
break;
|
||
case UNLE:
|
||
fprintf (file, "ule");
|
||
break;
|
||
case UNLT:
|
||
fprintf (file, "ul");
|
||
break;
|
||
default:
|
||
gcc_unreachable ();
|
||
}
|
||
break;
|
||
}
|
||
/* These are normal and reversed branches. */
|
||
switch (code == 'b' ? GET_CODE (x) : reverse_condition (GET_CODE (x)))
|
||
{
|
||
case NE:
|
||
fprintf (file, "ne");
|
||
break;
|
||
case EQ:
|
||
fprintf (file, "eq");
|
||
break;
|
||
case GE:
|
||
fprintf (file, "ge");
|
||
break;
|
||
case GT:
|
||
fprintf (file, "gt");
|
||
break;
|
||
case LE:
|
||
fprintf (file, "le");
|
||
break;
|
||
case LT:
|
||
fprintf (file, "lt");
|
||
break;
|
||
case GEU:
|
||
fprintf (file, "cc");
|
||
break;
|
||
case GTU:
|
||
fprintf (file, "hi");
|
||
break;
|
||
case LEU:
|
||
fprintf (file, "ls");
|
||
break;
|
||
case LTU:
|
||
fprintf (file, "cs");
|
||
break;
|
||
default:
|
||
gcc_unreachable ();
|
||
}
|
||
break;
|
||
case 'C':
|
||
/* This is used for the operand to a call instruction;
|
||
if it's a REG, enclose it in parens, else output
|
||
the operand normally. */
|
||
if (GET_CODE (x) == REG)
|
||
{
|
||
fputc ('(', file);
|
||
print_operand (file, x, 0);
|
||
fputc (')', file);
|
||
}
|
||
else
|
||
print_operand (file, x, 0);
|
||
break;
|
||
|
||
case 'D':
|
||
switch (GET_CODE (x))
|
||
{
|
||
case MEM:
|
||
fputc ('(', file);
|
||
output_address (XEXP (x, 0));
|
||
fputc (')', file);
|
||
break;
|
||
|
||
case REG:
|
||
fprintf (file, "fd%d", REGNO (x) - 18);
|
||
break;
|
||
|
||
default:
|
||
gcc_unreachable ();
|
||
}
|
||
break;
|
||
|
||
/* These are the least significant word in a 64bit value. */
|
||
case 'L':
|
||
switch (GET_CODE (x))
|
||
{
|
||
case MEM:
|
||
fputc ('(', file);
|
||
output_address (XEXP (x, 0));
|
||
fputc (')', file);
|
||
break;
|
||
|
||
case REG:
|
||
fprintf (file, "%s", reg_names[REGNO (x)]);
|
||
break;
|
||
|
||
case SUBREG:
|
||
fprintf (file, "%s", reg_names[subreg_regno (x)]);
|
||
break;
|
||
|
||
case CONST_DOUBLE:
|
||
{
|
||
long val[2];
|
||
REAL_VALUE_TYPE rv;
|
||
|
||
switch (GET_MODE (x))
|
||
{
|
||
case DFmode:
|
||
REAL_VALUE_FROM_CONST_DOUBLE (rv, x);
|
||
REAL_VALUE_TO_TARGET_DOUBLE (rv, val);
|
||
fprintf (file, "0x%lx", val[0]);
|
||
break;;
|
||
case SFmode:
|
||
REAL_VALUE_FROM_CONST_DOUBLE (rv, x);
|
||
REAL_VALUE_TO_TARGET_SINGLE (rv, val[0]);
|
||
fprintf (file, "0x%lx", val[0]);
|
||
break;;
|
||
case VOIDmode:
|
||
case DImode:
|
||
print_operand_address (file,
|
||
GEN_INT (CONST_DOUBLE_LOW (x)));
|
||
break;
|
||
default:
|
||
break;
|
||
}
|
||
break;
|
||
}
|
||
|
||
case CONST_INT:
|
||
{
|
||
rtx low, high;
|
||
split_double (x, &low, &high);
|
||
fprintf (file, "%ld", (long)INTVAL (low));
|
||
break;
|
||
}
|
||
|
||
default:
|
||
gcc_unreachable ();
|
||
}
|
||
break;
|
||
|
||
/* Similarly, but for the most significant word. */
|
||
case 'H':
|
||
switch (GET_CODE (x))
|
||
{
|
||
case MEM:
|
||
fputc ('(', file);
|
||
x = adjust_address (x, SImode, 4);
|
||
output_address (XEXP (x, 0));
|
||
fputc (')', file);
|
||
break;
|
||
|
||
case REG:
|
||
fprintf (file, "%s", reg_names[REGNO (x) + 1]);
|
||
break;
|
||
|
||
case SUBREG:
|
||
fprintf (file, "%s", reg_names[subreg_regno (x) + 1]);
|
||
break;
|
||
|
||
case CONST_DOUBLE:
|
||
{
|
||
long val[2];
|
||
REAL_VALUE_TYPE rv;
|
||
|
||
switch (GET_MODE (x))
|
||
{
|
||
case DFmode:
|
||
REAL_VALUE_FROM_CONST_DOUBLE (rv, x);
|
||
REAL_VALUE_TO_TARGET_DOUBLE (rv, val);
|
||
fprintf (file, "0x%lx", val[1]);
|
||
break;;
|
||
case SFmode:
|
||
gcc_unreachable ();
|
||
case VOIDmode:
|
||
case DImode:
|
||
print_operand_address (file,
|
||
GEN_INT (CONST_DOUBLE_HIGH (x)));
|
||
break;
|
||
default:
|
||
break;
|
||
}
|
||
break;
|
||
}
|
||
|
||
case CONST_INT:
|
||
{
|
||
rtx low, high;
|
||
split_double (x, &low, &high);
|
||
fprintf (file, "%ld", (long)INTVAL (high));
|
||
break;
|
||
}
|
||
|
||
default:
|
||
gcc_unreachable ();
|
||
}
|
||
break;
|
||
|
||
case 'A':
|
||
fputc ('(', file);
|
||
if (GET_CODE (XEXP (x, 0)) == REG)
|
||
output_address (gen_rtx_PLUS (SImode, XEXP (x, 0), const0_rtx));
|
||
else
|
||
output_address (XEXP (x, 0));
|
||
fputc (')', file);
|
||
break;
|
||
|
||
case 'N':
|
||
gcc_assert (INTVAL (x) >= -128 && INTVAL (x) <= 255);
|
||
fprintf (file, "%d", (int)((~INTVAL (x)) & 0xff));
|
||
break;
|
||
|
||
case 'U':
|
||
gcc_assert (INTVAL (x) >= -128 && INTVAL (x) <= 255);
|
||
fprintf (file, "%d", (int)(INTVAL (x) & 0xff));
|
||
break;
|
||
|
||
/* For shift counts. The hardware ignores the upper bits of
|
||
any immediate, but the assembler will flag an out of range
|
||
shift count as an error. So we mask off the high bits
|
||
of the immediate here. */
|
||
case 'S':
|
||
if (GET_CODE (x) == CONST_INT)
|
||
{
|
||
fprintf (file, "%d", (int)(INTVAL (x) & 0x1f));
|
||
break;
|
||
}
|
||
/* FALL THROUGH */
|
||
|
||
default:
|
||
switch (GET_CODE (x))
|
||
{
|
||
case MEM:
|
||
fputc ('(', file);
|
||
output_address (XEXP (x, 0));
|
||
fputc (')', file);
|
||
break;
|
||
|
||
case PLUS:
|
||
output_address (x);
|
||
break;
|
||
|
||
case REG:
|
||
fprintf (file, "%s", reg_names[REGNO (x)]);
|
||
break;
|
||
|
||
case SUBREG:
|
||
fprintf (file, "%s", reg_names[subreg_regno (x)]);
|
||
break;
|
||
|
||
/* This will only be single precision.... */
|
||
case CONST_DOUBLE:
|
||
{
|
||
unsigned long val;
|
||
REAL_VALUE_TYPE rv;
|
||
|
||
REAL_VALUE_FROM_CONST_DOUBLE (rv, x);
|
||
REAL_VALUE_TO_TARGET_SINGLE (rv, val);
|
||
fprintf (file, "0x%lx", val);
|
||
break;
|
||
}
|
||
|
||
case CONST_INT:
|
||
case SYMBOL_REF:
|
||
case CONST:
|
||
case LABEL_REF:
|
||
case CODE_LABEL:
|
||
case UNSPEC:
|
||
print_operand_address (file, x);
|
||
break;
|
||
default:
|
||
gcc_unreachable ();
|
||
}
|
||
break;
|
||
}
|
||
}
|
||
|
||
/* Output assembly language output for the address ADDR to FILE. */
|
||
|
||
void
|
||
print_operand_address (FILE *file, rtx addr)
|
||
{
|
||
switch (GET_CODE (addr))
|
||
{
|
||
case POST_INC:
|
||
print_operand_address (file, XEXP (addr, 0));
|
||
fputc ('+', file);
|
||
break;
|
||
case REG:
|
||
print_operand (file, addr, 0);
|
||
break;
|
||
case PLUS:
|
||
{
|
||
rtx base, index;
|
||
if (REG_P (XEXP (addr, 0))
|
||
&& REG_OK_FOR_BASE_P (XEXP (addr, 0)))
|
||
base = XEXP (addr, 0), index = XEXP (addr, 1);
|
||
else if (REG_P (XEXP (addr, 1))
|
||
&& REG_OK_FOR_BASE_P (XEXP (addr, 1)))
|
||
base = XEXP (addr, 1), index = XEXP (addr, 0);
|
||
else
|
||
gcc_unreachable ();
|
||
print_operand (file, index, 0);
|
||
fputc (',', file);
|
||
print_operand (file, base, 0);;
|
||
break;
|
||
}
|
||
case SYMBOL_REF:
|
||
output_addr_const (file, addr);
|
||
break;
|
||
default:
|
||
output_addr_const (file, addr);
|
||
break;
|
||
}
|
||
}
|
||
|
||
/* Count the number of FP registers that have to be saved. */
|
||
static int
|
||
fp_regs_to_save (void)
|
||
{
|
||
int i, n = 0;
|
||
|
||
if (! TARGET_AM33_2)
|
||
return 0;
|
||
|
||
for (i = FIRST_FP_REGNUM; i <= LAST_FP_REGNUM; ++i)
|
||
if (df_regs_ever_live_p (i) && ! call_really_used_regs[i])
|
||
++n;
|
||
|
||
return n;
|
||
}
|
||
|
||
/* Print a set of registers in the format required by "movm" and "ret".
|
||
Register K is saved if bit K of MASK is set. The data and address
|
||
registers can be stored individually, but the extended registers cannot.
|
||
We assume that the mask already takes that into account. For instance,
|
||
bits 14 to 17 must have the same value. */
|
||
|
||
void
|
||
mn10300_print_reg_list (FILE *file, int mask)
|
||
{
|
||
int need_comma;
|
||
int i;
|
||
|
||
need_comma = 0;
|
||
fputc ('[', file);
|
||
|
||
for (i = 0; i < FIRST_EXTENDED_REGNUM; i++)
|
||
if ((mask & (1 << i)) != 0)
|
||
{
|
||
if (need_comma)
|
||
fputc (',', file);
|
||
fputs (reg_names [i], file);
|
||
need_comma = 1;
|
||
}
|
||
|
||
if ((mask & 0x3c000) != 0)
|
||
{
|
||
gcc_assert ((mask & 0x3c000) == 0x3c000);
|
||
if (need_comma)
|
||
fputc (',', file);
|
||
fputs ("exreg1", file);
|
||
need_comma = 1;
|
||
}
|
||
|
||
fputc (']', file);
|
||
}
|
||
|
||
int
|
||
can_use_return_insn (void)
|
||
{
|
||
/* size includes the fixed stack space needed for function calls. */
|
||
int size = get_frame_size () + crtl->outgoing_args_size;
|
||
|
||
/* And space for the return pointer. */
|
||
size += crtl->outgoing_args_size ? 4 : 0;
|
||
|
||
return (reload_completed
|
||
&& size == 0
|
||
&& !df_regs_ever_live_p (2)
|
||
&& !df_regs_ever_live_p (3)
|
||
&& !df_regs_ever_live_p (6)
|
||
&& !df_regs_ever_live_p (7)
|
||
&& !df_regs_ever_live_p (14)
|
||
&& !df_regs_ever_live_p (15)
|
||
&& !df_regs_ever_live_p (16)
|
||
&& !df_regs_ever_live_p (17)
|
||
&& fp_regs_to_save () == 0
|
||
&& !frame_pointer_needed);
|
||
}
|
||
|
||
/* Returns the set of live, callee-saved registers as a bitmask. The
|
||
callee-saved extended registers cannot be stored individually, so
|
||
all of them will be included in the mask if any one of them is used. */
|
||
|
||
int
|
||
mn10300_get_live_callee_saved_regs (void)
|
||
{
|
||
int mask;
|
||
int i;
|
||
|
||
mask = 0;
|
||
for (i = 0; i <= LAST_EXTENDED_REGNUM; i++)
|
||
if (df_regs_ever_live_p (i) && ! call_really_used_regs[i])
|
||
mask |= (1 << i);
|
||
if ((mask & 0x3c000) != 0)
|
||
mask |= 0x3c000;
|
||
|
||
return mask;
|
||
}
|
||
|
||
/* Generate an instruction that pushes several registers onto the stack.
|
||
Register K will be saved if bit K in MASK is set. The function does
|
||
nothing if MASK is zero.
|
||
|
||
To be compatible with the "movm" instruction, the lowest-numbered
|
||
register must be stored in the lowest slot. If MASK is the set
|
||
{ R1,...,RN }, where R1...RN are ordered least first, the generated
|
||
instruction will have the form:
|
||
|
||
(parallel
|
||
(set (reg:SI 9) (plus:SI (reg:SI 9) (const_int -N*4)))
|
||
(set (mem:SI (plus:SI (reg:SI 9)
|
||
(const_int -1*4)))
|
||
(reg:SI RN))
|
||
...
|
||
(set (mem:SI (plus:SI (reg:SI 9)
|
||
(const_int -N*4)))
|
||
(reg:SI R1))) */
|
||
|
||
void
|
||
mn10300_gen_multiple_store (int mask)
|
||
{
|
||
if (mask != 0)
|
||
{
|
||
int i;
|
||
int count;
|
||
rtx par;
|
||
int pari;
|
||
|
||
/* Count how many registers need to be saved. */
|
||
count = 0;
|
||
for (i = 0; i <= LAST_EXTENDED_REGNUM; i++)
|
||
if ((mask & (1 << i)) != 0)
|
||
count += 1;
|
||
|
||
/* We need one PARALLEL element to update the stack pointer and
|
||
an additional element for each register that is stored. */
|
||
par = gen_rtx_PARALLEL (VOIDmode, rtvec_alloc (count + 1));
|
||
|
||
/* Create the instruction that updates the stack pointer. */
|
||
XVECEXP (par, 0, 0)
|
||
= gen_rtx_SET (SImode,
|
||
stack_pointer_rtx,
|
||
gen_rtx_PLUS (SImode,
|
||
stack_pointer_rtx,
|
||
GEN_INT (-count * 4)));
|
||
|
||
/* Create each store. */
|
||
pari = 1;
|
||
for (i = LAST_EXTENDED_REGNUM; i >= 0; i--)
|
||
if ((mask & (1 << i)) != 0)
|
||
{
|
||
rtx address = gen_rtx_PLUS (SImode,
|
||
stack_pointer_rtx,
|
||
GEN_INT (-pari * 4));
|
||
XVECEXP(par, 0, pari)
|
||
= gen_rtx_SET (VOIDmode,
|
||
gen_rtx_MEM (SImode, address),
|
||
gen_rtx_REG (SImode, i));
|
||
pari += 1;
|
||
}
|
||
|
||
par = emit_insn (par);
|
||
RTX_FRAME_RELATED_P (par) = 1;
|
||
}
|
||
}
|
||
|
||
void
|
||
expand_prologue (void)
|
||
{
|
||
HOST_WIDE_INT size;
|
||
|
||
/* SIZE includes the fixed stack space needed for function calls. */
|
||
size = get_frame_size () + crtl->outgoing_args_size;
|
||
size += (crtl->outgoing_args_size ? 4 : 0);
|
||
|
||
/* If we use any of the callee-saved registers, save them now. */
|
||
mn10300_gen_multiple_store (mn10300_get_live_callee_saved_regs ());
|
||
|
||
if (TARGET_AM33_2 && fp_regs_to_save ())
|
||
{
|
||
int num_regs_to_save = fp_regs_to_save (), i;
|
||
HOST_WIDE_INT xsize;
|
||
enum { save_sp_merge,
|
||
save_sp_no_merge,
|
||
save_sp_partial_merge,
|
||
save_a0_merge,
|
||
save_a0_no_merge } strategy;
|
||
unsigned int strategy_size = (unsigned)-1, this_strategy_size;
|
||
rtx reg;
|
||
rtx insn;
|
||
|
||
/* We have several different strategies to save FP registers.
|
||
We can store them using SP offsets, which is beneficial if
|
||
there are just a few registers to save, or we can use `a0' in
|
||
post-increment mode (`a0' is the only call-clobbered address
|
||
register that is never used to pass information to a
|
||
function). Furthermore, if we don't need a frame pointer, we
|
||
can merge the two SP adds into a single one, but this isn't
|
||
always beneficial; sometimes we can just split the two adds
|
||
so that we don't exceed a 16-bit constant size. The code
|
||
below will select which strategy to use, so as to generate
|
||
smallest code. Ties are broken in favor or shorter sequences
|
||
(in terms of number of instructions). */
|
||
|
||
#define SIZE_ADD_AX(S) ((((S) >= (1 << 15)) || ((S) < -(1 << 15))) ? 6 \
|
||
: (((S) >= (1 << 7)) || ((S) < -(1 << 7))) ? 4 : 2)
|
||
#define SIZE_ADD_SP(S) ((((S) >= (1 << 15)) || ((S) < -(1 << 15))) ? 6 \
|
||
: (((S) >= (1 << 7)) || ((S) < -(1 << 7))) ? 4 : 3)
|
||
#define SIZE_FMOV_LIMIT(S,N,L,SIZE1,SIZE2,ELSE) \
|
||
(((S) >= (L)) ? (SIZE1) * (N) \
|
||
: ((S) + 4 * (N) >= (L)) ? (((L) - (S)) / 4 * (SIZE2) \
|
||
+ ((S) + 4 * (N) - (L)) / 4 * (SIZE1)) \
|
||
: (ELSE))
|
||
#define SIZE_FMOV_SP_(S,N) \
|
||
(SIZE_FMOV_LIMIT ((S), (N), (1 << 24), 7, 6, \
|
||
SIZE_FMOV_LIMIT ((S), (N), (1 << 8), 6, 4, \
|
||
(S) ? 4 * (N) : 3 + 4 * ((N) - 1))))
|
||
#define SIZE_FMOV_SP(S,N) (SIZE_FMOV_SP_ ((unsigned HOST_WIDE_INT)(S), (N)))
|
||
|
||
/* Consider alternative save_sp_merge only if we don't need the
|
||
frame pointer and size is nonzero. */
|
||
if (! frame_pointer_needed && size)
|
||
{
|
||
/* Insn: add -(size + 4 * num_regs_to_save), sp. */
|
||
this_strategy_size = SIZE_ADD_SP (-(size + 4 * num_regs_to_save));
|
||
/* Insn: fmov fs#, (##, sp), for each fs# to be saved. */
|
||
this_strategy_size += SIZE_FMOV_SP (size, num_regs_to_save);
|
||
|
||
if (this_strategy_size < strategy_size)
|
||
{
|
||
strategy = save_sp_merge;
|
||
strategy_size = this_strategy_size;
|
||
}
|
||
}
|
||
|
||
/* Consider alternative save_sp_no_merge unconditionally. */
|
||
/* Insn: add -4 * num_regs_to_save, sp. */
|
||
this_strategy_size = SIZE_ADD_SP (-4 * num_regs_to_save);
|
||
/* Insn: fmov fs#, (##, sp), for each fs# to be saved. */
|
||
this_strategy_size += SIZE_FMOV_SP (0, num_regs_to_save);
|
||
if (size)
|
||
{
|
||
/* Insn: add -size, sp. */
|
||
this_strategy_size += SIZE_ADD_SP (-size);
|
||
}
|
||
|
||
if (this_strategy_size < strategy_size)
|
||
{
|
||
strategy = save_sp_no_merge;
|
||
strategy_size = this_strategy_size;
|
||
}
|
||
|
||
/* Consider alternative save_sp_partial_merge only if we don't
|
||
need a frame pointer and size is reasonably large. */
|
||
if (! frame_pointer_needed && size + 4 * num_regs_to_save > 128)
|
||
{
|
||
/* Insn: add -128, sp. */
|
||
this_strategy_size = SIZE_ADD_SP (-128);
|
||
/* Insn: fmov fs#, (##, sp), for each fs# to be saved. */
|
||
this_strategy_size += SIZE_FMOV_SP (128 - 4 * num_regs_to_save,
|
||
num_regs_to_save);
|
||
if (size)
|
||
{
|
||
/* Insn: add 128-size, sp. */
|
||
this_strategy_size += SIZE_ADD_SP (128 - size);
|
||
}
|
||
|
||
if (this_strategy_size < strategy_size)
|
||
{
|
||
strategy = save_sp_partial_merge;
|
||
strategy_size = this_strategy_size;
|
||
}
|
||
}
|
||
|
||
/* Consider alternative save_a0_merge only if we don't need a
|
||
frame pointer, size is nonzero and the user hasn't
|
||
changed the calling conventions of a0. */
|
||
if (! frame_pointer_needed && size
|
||
&& call_really_used_regs [FIRST_ADDRESS_REGNUM]
|
||
&& ! fixed_regs[FIRST_ADDRESS_REGNUM])
|
||
{
|
||
/* Insn: add -(size + 4 * num_regs_to_save), sp. */
|
||
this_strategy_size = SIZE_ADD_SP (-(size + 4 * num_regs_to_save));
|
||
/* Insn: mov sp, a0. */
|
||
this_strategy_size++;
|
||
if (size)
|
||
{
|
||
/* Insn: add size, a0. */
|
||
this_strategy_size += SIZE_ADD_AX (size);
|
||
}
|
||
/* Insn: fmov fs#, (a0+), for each fs# to be saved. */
|
||
this_strategy_size += 3 * num_regs_to_save;
|
||
|
||
if (this_strategy_size < strategy_size)
|
||
{
|
||
strategy = save_a0_merge;
|
||
strategy_size = this_strategy_size;
|
||
}
|
||
}
|
||
|
||
/* Consider alternative save_a0_no_merge if the user hasn't
|
||
changed the calling conventions of a0. */
|
||
if (call_really_used_regs [FIRST_ADDRESS_REGNUM]
|
||
&& ! fixed_regs[FIRST_ADDRESS_REGNUM])
|
||
{
|
||
/* Insn: add -4 * num_regs_to_save, sp. */
|
||
this_strategy_size = SIZE_ADD_SP (-4 * num_regs_to_save);
|
||
/* Insn: mov sp, a0. */
|
||
this_strategy_size++;
|
||
/* Insn: fmov fs#, (a0+), for each fs# to be saved. */
|
||
this_strategy_size += 3 * num_regs_to_save;
|
||
if (size)
|
||
{
|
||
/* Insn: add -size, sp. */
|
||
this_strategy_size += SIZE_ADD_SP (-size);
|
||
}
|
||
|
||
if (this_strategy_size < strategy_size)
|
||
{
|
||
strategy = save_a0_no_merge;
|
||
strategy_size = this_strategy_size;
|
||
}
|
||
}
|
||
|
||
/* Emit the initial SP add, common to all strategies. */
|
||
switch (strategy)
|
||
{
|
||
case save_sp_no_merge:
|
||
case save_a0_no_merge:
|
||
emit_insn (gen_addsi3 (stack_pointer_rtx,
|
||
stack_pointer_rtx,
|
||
GEN_INT (-4 * num_regs_to_save)));
|
||
xsize = 0;
|
||
break;
|
||
|
||
case save_sp_partial_merge:
|
||
emit_insn (gen_addsi3 (stack_pointer_rtx,
|
||
stack_pointer_rtx,
|
||
GEN_INT (-128)));
|
||
xsize = 128 - 4 * num_regs_to_save;
|
||
size -= xsize;
|
||
break;
|
||
|
||
case save_sp_merge:
|
||
case save_a0_merge:
|
||
emit_insn (gen_addsi3 (stack_pointer_rtx,
|
||
stack_pointer_rtx,
|
||
GEN_INT (-(size + 4 * num_regs_to_save))));
|
||
/* We'll have to adjust FP register saves according to the
|
||
frame size. */
|
||
xsize = size;
|
||
/* Since we've already created the stack frame, don't do it
|
||
again at the end of the function. */
|
||
size = 0;
|
||
break;
|
||
|
||
default:
|
||
gcc_unreachable ();
|
||
}
|
||
|
||
/* Now prepare register a0, if we have decided to use it. */
|
||
switch (strategy)
|
||
{
|
||
case save_sp_merge:
|
||
case save_sp_no_merge:
|
||
case save_sp_partial_merge:
|
||
reg = 0;
|
||
break;
|
||
|
||
case save_a0_merge:
|
||
case save_a0_no_merge:
|
||
reg = gen_rtx_REG (SImode, FIRST_ADDRESS_REGNUM);
|
||
emit_insn (gen_movsi (reg, stack_pointer_rtx));
|
||
if (xsize)
|
||
emit_insn (gen_addsi3 (reg, reg, GEN_INT (xsize)));
|
||
reg = gen_rtx_POST_INC (SImode, reg);
|
||
break;
|
||
|
||
default:
|
||
gcc_unreachable ();
|
||
}
|
||
|
||
/* Now actually save the FP registers. */
|
||
for (i = FIRST_FP_REGNUM; i <= LAST_FP_REGNUM; ++i)
|
||
if (df_regs_ever_live_p (i) && ! call_really_used_regs [i])
|
||
{
|
||
rtx addr;
|
||
|
||
if (reg)
|
||
addr = reg;
|
||
else
|
||
{
|
||
/* If we aren't using `a0', use an SP offset. */
|
||
if (xsize)
|
||
{
|
||
addr = gen_rtx_PLUS (SImode,
|
||
stack_pointer_rtx,
|
||
GEN_INT (xsize));
|
||
}
|
||
else
|
||
addr = stack_pointer_rtx;
|
||
|
||
xsize += 4;
|
||
}
|
||
|
||
insn = emit_insn (gen_movsi (gen_rtx_MEM (SImode, addr),
|
||
gen_rtx_REG (SImode, i)));
|
||
|
||
RTX_FRAME_RELATED_P (insn) = 1;
|
||
}
|
||
}
|
||
|
||
/* Now put the frame pointer into the frame pointer register. */
|
||
if (frame_pointer_needed)
|
||
emit_move_insn (frame_pointer_rtx, stack_pointer_rtx);
|
||
|
||
/* Allocate stack for this frame. */
|
||
if (size)
|
||
emit_insn (gen_addsi3 (stack_pointer_rtx,
|
||
stack_pointer_rtx,
|
||
GEN_INT (-size)));
|
||
if (flag_pic && df_regs_ever_live_p (PIC_OFFSET_TABLE_REGNUM))
|
||
emit_insn (gen_GOTaddr2picreg ());
|
||
}
|
||
|
||
void
|
||
expand_epilogue (void)
|
||
{
|
||
HOST_WIDE_INT size;
|
||
|
||
/* SIZE includes the fixed stack space needed for function calls. */
|
||
size = get_frame_size () + crtl->outgoing_args_size;
|
||
size += (crtl->outgoing_args_size ? 4 : 0);
|
||
|
||
if (TARGET_AM33_2 && fp_regs_to_save ())
|
||
{
|
||
int num_regs_to_save = fp_regs_to_save (), i;
|
||
rtx reg = 0;
|
||
|
||
/* We have several options to restore FP registers. We could
|
||
load them from SP offsets, but, if there are enough FP
|
||
registers to restore, we win if we use a post-increment
|
||
addressing mode. */
|
||
|
||
/* If we have a frame pointer, it's the best option, because we
|
||
already know it has the value we want. */
|
||
if (frame_pointer_needed)
|
||
reg = gen_rtx_REG (SImode, FRAME_POINTER_REGNUM);
|
||
/* Otherwise, we may use `a1', since it's call-clobbered and
|
||
it's never used for return values. But only do so if it's
|
||
smaller than using SP offsets. */
|
||
else
|
||
{
|
||
enum { restore_sp_post_adjust,
|
||
restore_sp_pre_adjust,
|
||
restore_sp_partial_adjust,
|
||
restore_a1 } strategy;
|
||
unsigned int this_strategy_size, strategy_size = (unsigned)-1;
|
||
|
||
/* Consider using sp offsets before adjusting sp. */
|
||
/* Insn: fmov (##,sp),fs#, for each fs# to be restored. */
|
||
this_strategy_size = SIZE_FMOV_SP (size, num_regs_to_save);
|
||
/* If size is too large, we'll have to adjust SP with an
|
||
add. */
|
||
if (size + 4 * num_regs_to_save + REG_SAVE_BYTES > 255)
|
||
{
|
||
/* Insn: add size + 4 * num_regs_to_save, sp. */
|
||
this_strategy_size += SIZE_ADD_SP (size + 4 * num_regs_to_save);
|
||
}
|
||
/* If we don't have to restore any non-FP registers,
|
||
we'll be able to save one byte by using rets. */
|
||
if (! REG_SAVE_BYTES)
|
||
this_strategy_size--;
|
||
|
||
if (this_strategy_size < strategy_size)
|
||
{
|
||
strategy = restore_sp_post_adjust;
|
||
strategy_size = this_strategy_size;
|
||
}
|
||
|
||
/* Consider using sp offsets after adjusting sp. */
|
||
/* Insn: add size, sp. */
|
||
this_strategy_size = SIZE_ADD_SP (size);
|
||
/* Insn: fmov (##,sp),fs#, for each fs# to be restored. */
|
||
this_strategy_size += SIZE_FMOV_SP (0, num_regs_to_save);
|
||
/* We're going to use ret to release the FP registers
|
||
save area, so, no savings. */
|
||
|
||
if (this_strategy_size < strategy_size)
|
||
{
|
||
strategy = restore_sp_pre_adjust;
|
||
strategy_size = this_strategy_size;
|
||
}
|
||
|
||
/* Consider using sp offsets after partially adjusting sp.
|
||
When size is close to 32Kb, we may be able to adjust SP
|
||
with an imm16 add instruction while still using fmov
|
||
(d8,sp). */
|
||
if (size + 4 * num_regs_to_save + REG_SAVE_BYTES > 255)
|
||
{
|
||
/* Insn: add size + 4 * num_regs_to_save
|
||
+ REG_SAVE_BYTES - 252,sp. */
|
||
this_strategy_size = SIZE_ADD_SP (size + 4 * num_regs_to_save
|
||
+ REG_SAVE_BYTES - 252);
|
||
/* Insn: fmov (##,sp),fs#, fo each fs# to be restored. */
|
||
this_strategy_size += SIZE_FMOV_SP (252 - REG_SAVE_BYTES
|
||
- 4 * num_regs_to_save,
|
||
num_regs_to_save);
|
||
/* We're going to use ret to release the FP registers
|
||
save area, so, no savings. */
|
||
|
||
if (this_strategy_size < strategy_size)
|
||
{
|
||
strategy = restore_sp_partial_adjust;
|
||
strategy_size = this_strategy_size;
|
||
}
|
||
}
|
||
|
||
/* Consider using a1 in post-increment mode, as long as the
|
||
user hasn't changed the calling conventions of a1. */
|
||
if (call_really_used_regs [FIRST_ADDRESS_REGNUM + 1]
|
||
&& ! fixed_regs[FIRST_ADDRESS_REGNUM+1])
|
||
{
|
||
/* Insn: mov sp,a1. */
|
||
this_strategy_size = 1;
|
||
if (size)
|
||
{
|
||
/* Insn: add size,a1. */
|
||
this_strategy_size += SIZE_ADD_AX (size);
|
||
}
|
||
/* Insn: fmov (a1+),fs#, for each fs# to be restored. */
|
||
this_strategy_size += 3 * num_regs_to_save;
|
||
/* If size is large enough, we may be able to save a
|
||
couple of bytes. */
|
||
if (size + 4 * num_regs_to_save + REG_SAVE_BYTES > 255)
|
||
{
|
||
/* Insn: mov a1,sp. */
|
||
this_strategy_size += 2;
|
||
}
|
||
/* If we don't have to restore any non-FP registers,
|
||
we'll be able to save one byte by using rets. */
|
||
if (! REG_SAVE_BYTES)
|
||
this_strategy_size--;
|
||
|
||
if (this_strategy_size < strategy_size)
|
||
{
|
||
strategy = restore_a1;
|
||
strategy_size = this_strategy_size;
|
||
}
|
||
}
|
||
|
||
switch (strategy)
|
||
{
|
||
case restore_sp_post_adjust:
|
||
break;
|
||
|
||
case restore_sp_pre_adjust:
|
||
emit_insn (gen_addsi3 (stack_pointer_rtx,
|
||
stack_pointer_rtx,
|
||
GEN_INT (size)));
|
||
size = 0;
|
||
break;
|
||
|
||
case restore_sp_partial_adjust:
|
||
emit_insn (gen_addsi3 (stack_pointer_rtx,
|
||
stack_pointer_rtx,
|
||
GEN_INT (size + 4 * num_regs_to_save
|
||
+ REG_SAVE_BYTES - 252)));
|
||
size = 252 - REG_SAVE_BYTES - 4 * num_regs_to_save;
|
||
break;
|
||
|
||
case restore_a1:
|
||
reg = gen_rtx_REG (SImode, FIRST_ADDRESS_REGNUM + 1);
|
||
emit_insn (gen_movsi (reg, stack_pointer_rtx));
|
||
if (size)
|
||
emit_insn (gen_addsi3 (reg, reg, GEN_INT (size)));
|
||
break;
|
||
|
||
default:
|
||
gcc_unreachable ();
|
||
}
|
||
}
|
||
|
||
/* Adjust the selected register, if any, for post-increment. */
|
||
if (reg)
|
||
reg = gen_rtx_POST_INC (SImode, reg);
|
||
|
||
for (i = FIRST_FP_REGNUM; i <= LAST_FP_REGNUM; ++i)
|
||
if (df_regs_ever_live_p (i) && ! call_really_used_regs [i])
|
||
{
|
||
rtx addr;
|
||
|
||
if (reg)
|
||
addr = reg;
|
||
else if (size)
|
||
{
|
||
/* If we aren't using a post-increment register, use an
|
||
SP offset. */
|
||
addr = gen_rtx_PLUS (SImode,
|
||
stack_pointer_rtx,
|
||
GEN_INT (size));
|
||
}
|
||
else
|
||
addr = stack_pointer_rtx;
|
||
|
||
size += 4;
|
||
|
||
emit_insn (gen_movsi (gen_rtx_REG (SImode, i),
|
||
gen_rtx_MEM (SImode, addr)));
|
||
}
|
||
|
||
/* If we were using the restore_a1 strategy and the number of
|
||
bytes to be released won't fit in the `ret' byte, copy `a1'
|
||
to `sp', to avoid having to use `add' to adjust it. */
|
||
if (! frame_pointer_needed && reg && size + REG_SAVE_BYTES > 255)
|
||
{
|
||
emit_move_insn (stack_pointer_rtx, XEXP (reg, 0));
|
||
size = 0;
|
||
}
|
||
}
|
||
|
||
/* Maybe cut back the stack, except for the register save area.
|
||
|
||
If the frame pointer exists, then use the frame pointer to
|
||
cut back the stack.
|
||
|
||
If the stack size + register save area is more than 255 bytes,
|
||
then the stack must be cut back here since the size + register
|
||
save size is too big for a ret/retf instruction.
|
||
|
||
Else leave it alone, it will be cut back as part of the
|
||
ret/retf instruction, or there wasn't any stack to begin with.
|
||
|
||
Under no circumstances should the register save area be
|
||
deallocated here, that would leave a window where an interrupt
|
||
could occur and trash the register save area. */
|
||
if (frame_pointer_needed)
|
||
{
|
||
emit_move_insn (stack_pointer_rtx, frame_pointer_rtx);
|
||
size = 0;
|
||
}
|
||
else if (size + REG_SAVE_BYTES > 255)
|
||
{
|
||
emit_insn (gen_addsi3 (stack_pointer_rtx,
|
||
stack_pointer_rtx,
|
||
GEN_INT (size)));
|
||
size = 0;
|
||
}
|
||
|
||
/* Adjust the stack and restore callee-saved registers, if any. */
|
||
if (size || df_regs_ever_live_p (2) || df_regs_ever_live_p (3)
|
||
|| df_regs_ever_live_p (6) || df_regs_ever_live_p (7)
|
||
|| df_regs_ever_live_p (14) || df_regs_ever_live_p (15)
|
||
|| df_regs_ever_live_p (16) || df_regs_ever_live_p (17)
|
||
|| frame_pointer_needed)
|
||
emit_jump_insn (gen_return_internal_regs
|
||
(GEN_INT (size + REG_SAVE_BYTES)));
|
||
else
|
||
emit_jump_insn (gen_return_internal ());
|
||
}
|
||
|
||
/* Update the condition code from the insn. */
|
||
|
||
void
|
||
notice_update_cc (rtx body, rtx insn)
|
||
{
|
||
switch (get_attr_cc (insn))
|
||
{
|
||
case CC_NONE:
|
||
/* Insn does not affect CC at all. */
|
||
break;
|
||
|
||
case CC_NONE_0HIT:
|
||
/* Insn does not change CC, but the 0'th operand has been changed. */
|
||
if (cc_status.value1 != 0
|
||
&& reg_overlap_mentioned_p (recog_data.operand[0], cc_status.value1))
|
||
cc_status.value1 = 0;
|
||
break;
|
||
|
||
case CC_SET_ZN:
|
||
/* Insn sets the Z,N flags of CC to recog_data.operand[0].
|
||
V,C are unusable. */
|
||
CC_STATUS_INIT;
|
||
cc_status.flags |= CC_NO_CARRY | CC_OVERFLOW_UNUSABLE;
|
||
cc_status.value1 = recog_data.operand[0];
|
||
break;
|
||
|
||
case CC_SET_ZNV:
|
||
/* Insn sets the Z,N,V flags of CC to recog_data.operand[0].
|
||
C is unusable. */
|
||
CC_STATUS_INIT;
|
||
cc_status.flags |= CC_NO_CARRY;
|
||
cc_status.value1 = recog_data.operand[0];
|
||
break;
|
||
|
||
case CC_COMPARE:
|
||
/* The insn is a compare instruction. */
|
||
CC_STATUS_INIT;
|
||
cc_status.value1 = SET_SRC (body);
|
||
if (GET_CODE (cc_status.value1) == COMPARE
|
||
&& GET_MODE (XEXP (cc_status.value1, 0)) == SFmode)
|
||
cc_status.mdep.fpCC = 1;
|
||
break;
|
||
|
||
case CC_CLOBBER:
|
||
/* Insn doesn't leave CC in a usable state. */
|
||
CC_STATUS_INIT;
|
||
break;
|
||
|
||
default:
|
||
gcc_unreachable ();
|
||
}
|
||
}
|
||
|
||
/* Recognize the PARALLEL rtx generated by mn10300_gen_multiple_store().
|
||
This function is for MATCH_PARALLEL and so assumes OP is known to be
|
||
parallel. If OP is a multiple store, return a mask indicating which
|
||
registers it saves. Return 0 otherwise. */
|
||
|
||
int
|
||
store_multiple_operation (rtx op, enum machine_mode mode ATTRIBUTE_UNUSED)
|
||
{
|
||
int count;
|
||
int mask;
|
||
int i;
|
||
unsigned int last;
|
||
rtx elt;
|
||
|
||
count = XVECLEN (op, 0);
|
||
if (count < 2)
|
||
return 0;
|
||
|
||
/* Check that first instruction has the form (set (sp) (plus A B)) */
|
||
elt = XVECEXP (op, 0, 0);
|
||
if (GET_CODE (elt) != SET
|
||
|| GET_CODE (SET_DEST (elt)) != REG
|
||
|| REGNO (SET_DEST (elt)) != STACK_POINTER_REGNUM
|
||
|| GET_CODE (SET_SRC (elt)) != PLUS)
|
||
return 0;
|
||
|
||
/* Check that A is the stack pointer and B is the expected stack size.
|
||
For OP to match, each subsequent instruction should push a word onto
|
||
the stack. We therefore expect the first instruction to create
|
||
COUNT-1 stack slots. */
|
||
elt = SET_SRC (elt);
|
||
if (GET_CODE (XEXP (elt, 0)) != REG
|
||
|| REGNO (XEXP (elt, 0)) != STACK_POINTER_REGNUM
|
||
|| GET_CODE (XEXP (elt, 1)) != CONST_INT
|
||
|| INTVAL (XEXP (elt, 1)) != -(count - 1) * 4)
|
||
return 0;
|
||
|
||
/* Now go through the rest of the vector elements. They must be
|
||
ordered so that the first instruction stores the highest-numbered
|
||
register to the highest stack slot and that subsequent instructions
|
||
store a lower-numbered register to the slot below.
|
||
|
||
LAST keeps track of the smallest-numbered register stored so far.
|
||
MASK is the set of stored registers. */
|
||
last = LAST_EXTENDED_REGNUM + 1;
|
||
mask = 0;
|
||
for (i = 1; i < count; i++)
|
||
{
|
||
/* Check that element i is a (set (mem M) R) and that R is valid. */
|
||
elt = XVECEXP (op, 0, i);
|
||
if (GET_CODE (elt) != SET
|
||
|| GET_CODE (SET_DEST (elt)) != MEM
|
||
|| GET_CODE (SET_SRC (elt)) != REG
|
||
|| REGNO (SET_SRC (elt)) >= last)
|
||
return 0;
|
||
|
||
/* R was OK, so provisionally add it to MASK. We return 0 in any
|
||
case if the rest of the instruction has a flaw. */
|
||
last = REGNO (SET_SRC (elt));
|
||
mask |= (1 << last);
|
||
|
||
/* Check that M has the form (plus (sp) (const_int -I*4)) */
|
||
elt = XEXP (SET_DEST (elt), 0);
|
||
if (GET_CODE (elt) != PLUS
|
||
|| GET_CODE (XEXP (elt, 0)) != REG
|
||
|| REGNO (XEXP (elt, 0)) != STACK_POINTER_REGNUM
|
||
|| GET_CODE (XEXP (elt, 1)) != CONST_INT
|
||
|| INTVAL (XEXP (elt, 1)) != -i * 4)
|
||
return 0;
|
||
}
|
||
|
||
/* All or none of the callee-saved extended registers must be in the set. */
|
||
if ((mask & 0x3c000) != 0
|
||
&& (mask & 0x3c000) != 0x3c000)
|
||
return 0;
|
||
|
||
return mask;
|
||
}
|
||
|
||
/* What (if any) secondary registers are needed to move IN with mode
|
||
MODE into a register in register class RCLASS.
|
||
|
||
We might be able to simplify this. */
|
||
enum reg_class
|
||
mn10300_secondary_reload_class (enum reg_class rclass, enum machine_mode mode,
|
||
rtx in)
|
||
{
|
||
rtx inner = in;
|
||
|
||
/* Strip off any SUBREG expressions from IN. Basically we want
|
||
to know if IN is a pseudo or (subreg (pseudo)) as those can
|
||
turn into MEMs during reload. */
|
||
while (GET_CODE (inner) == SUBREG)
|
||
inner = SUBREG_REG (inner);
|
||
|
||
/* Memory loads less than a full word wide can't have an
|
||
address or stack pointer destination. They must use
|
||
a data register as an intermediate register. */
|
||
if ((GET_CODE (in) == MEM
|
||
|| (GET_CODE (inner) == REG
|
||
&& REGNO (inner) >= FIRST_PSEUDO_REGISTER))
|
||
&& (mode == QImode || mode == HImode)
|
||
&& (rclass == ADDRESS_REGS || rclass == SP_REGS
|
||
|| rclass == SP_OR_ADDRESS_REGS))
|
||
{
|
||
if (TARGET_AM33)
|
||
return DATA_OR_EXTENDED_REGS;
|
||
return DATA_REGS;
|
||
}
|
||
|
||
/* We can't directly load sp + const_int into a data register;
|
||
we must use an address register as an intermediate. */
|
||
if (rclass != SP_REGS
|
||
&& rclass != ADDRESS_REGS
|
||
&& rclass != SP_OR_ADDRESS_REGS
|
||
&& rclass != SP_OR_EXTENDED_REGS
|
||
&& rclass != ADDRESS_OR_EXTENDED_REGS
|
||
&& rclass != SP_OR_ADDRESS_OR_EXTENDED_REGS
|
||
&& (in == stack_pointer_rtx
|
||
|| (GET_CODE (in) == PLUS
|
||
&& (XEXP (in, 0) == stack_pointer_rtx
|
||
|| XEXP (in, 1) == stack_pointer_rtx))))
|
||
return ADDRESS_REGS;
|
||
|
||
if (GET_CODE (in) == PLUS
|
||
&& (XEXP (in, 0) == stack_pointer_rtx
|
||
|| XEXP (in, 1) == stack_pointer_rtx))
|
||
return GENERAL_REGS;
|
||
|
||
if (TARGET_AM33_2
|
||
&& rclass == FP_REGS)
|
||
{
|
||
/* We can't load directly into an FP register from a
|
||
constant address. */
|
||
if (GET_CODE (in) == MEM
|
||
&& CONSTANT_ADDRESS_P (XEXP (in, 0)))
|
||
return (TARGET_AM33 ? DATA_OR_EXTENDED_REGS : DATA_REGS);
|
||
|
||
/* Handle case were a pseudo may not get a hard register
|
||
but has an equivalent memory location defined. */
|
||
if (GET_CODE (inner) == REG
|
||
&& REGNO (inner) >= FIRST_PSEUDO_REGISTER
|
||
&& reg_equiv_mem [REGNO (inner)]
|
||
&& CONSTANT_ADDRESS_P (XEXP (reg_equiv_mem [REGNO (inner)], 0)))
|
||
return (TARGET_AM33 ? DATA_OR_EXTENDED_REGS : DATA_REGS);
|
||
}
|
||
|
||
/* Otherwise assume no secondary reloads are needed. */
|
||
return NO_REGS;
|
||
}
|
||
|
||
int
|
||
initial_offset (int from, int to)
|
||
{
|
||
/* The difference between the argument pointer and the frame pointer
|
||
is the size of the callee register save area. */
|
||
if (from == ARG_POINTER_REGNUM && to == FRAME_POINTER_REGNUM)
|
||
{
|
||
if (df_regs_ever_live_p (2) || df_regs_ever_live_p (3)
|
||
|| df_regs_ever_live_p (6) || df_regs_ever_live_p (7)
|
||
|| df_regs_ever_live_p (14) || df_regs_ever_live_p (15)
|
||
|| df_regs_ever_live_p (16) || df_regs_ever_live_p (17)
|
||
|| fp_regs_to_save ()
|
||
|| frame_pointer_needed)
|
||
return REG_SAVE_BYTES
|
||
+ 4 * fp_regs_to_save ();
|
||
else
|
||
return 0;
|
||
}
|
||
|
||
/* The difference between the argument pointer and the stack pointer is
|
||
the sum of the size of this function's frame, the callee register save
|
||
area, and the fixed stack space needed for function calls (if any). */
|
||
if (from == ARG_POINTER_REGNUM && to == STACK_POINTER_REGNUM)
|
||
{
|
||
if (df_regs_ever_live_p (2) || df_regs_ever_live_p (3)
|
||
|| df_regs_ever_live_p (6) || df_regs_ever_live_p (7)
|
||
|| df_regs_ever_live_p (14) || df_regs_ever_live_p (15)
|
||
|| df_regs_ever_live_p (16) || df_regs_ever_live_p (17)
|
||
|| fp_regs_to_save ()
|
||
|| frame_pointer_needed)
|
||
return (get_frame_size () + REG_SAVE_BYTES
|
||
+ 4 * fp_regs_to_save ()
|
||
+ (crtl->outgoing_args_size
|
||
? crtl->outgoing_args_size + 4 : 0));
|
||
else
|
||
return (get_frame_size ()
|
||
+ (crtl->outgoing_args_size
|
||
? crtl->outgoing_args_size + 4 : 0));
|
||
}
|
||
|
||
/* The difference between the frame pointer and stack pointer is the sum
|
||
of the size of this function's frame and the fixed stack space needed
|
||
for function calls (if any). */
|
||
if (from == FRAME_POINTER_REGNUM && to == STACK_POINTER_REGNUM)
|
||
return (get_frame_size ()
|
||
+ (crtl->outgoing_args_size
|
||
? crtl->outgoing_args_size + 4 : 0));
|
||
|
||
gcc_unreachable ();
|
||
}
|
||
|
||
/* Worker function for TARGET_RETURN_IN_MEMORY. */
|
||
|
||
static bool
|
||
mn10300_return_in_memory (const_tree type, const_tree fntype ATTRIBUTE_UNUSED)
|
||
{
|
||
/* Return values > 8 bytes in length in memory. */
|
||
return (int_size_in_bytes (type) > 8
|
||
|| int_size_in_bytes (type) == 0
|
||
|| TYPE_MODE (type) == BLKmode);
|
||
}
|
||
|
||
/* Flush the argument registers to the stack for a stdarg function;
|
||
return the new argument pointer. */
|
||
static rtx
|
||
mn10300_builtin_saveregs (void)
|
||
{
|
||
rtx offset, mem;
|
||
tree fntype = TREE_TYPE (current_function_decl);
|
||
int argadj = ((!(TYPE_ARG_TYPES (fntype) != 0
|
||
&& (TREE_VALUE (tree_last (TYPE_ARG_TYPES (fntype)))
|
||
!= void_type_node)))
|
||
? UNITS_PER_WORD : 0);
|
||
alias_set_type set = get_varargs_alias_set ();
|
||
|
||
if (argadj)
|
||
offset = plus_constant (crtl->args.arg_offset_rtx, argadj);
|
||
else
|
||
offset = crtl->args.arg_offset_rtx;
|
||
|
||
mem = gen_rtx_MEM (SImode, crtl->args.internal_arg_pointer);
|
||
set_mem_alias_set (mem, set);
|
||
emit_move_insn (mem, gen_rtx_REG (SImode, 0));
|
||
|
||
mem = gen_rtx_MEM (SImode,
|
||
plus_constant (crtl->args.internal_arg_pointer, 4));
|
||
set_mem_alias_set (mem, set);
|
||
emit_move_insn (mem, gen_rtx_REG (SImode, 1));
|
||
|
||
return copy_to_reg (expand_binop (Pmode, add_optab,
|
||
crtl->args.internal_arg_pointer,
|
||
offset, 0, 0, OPTAB_LIB_WIDEN));
|
||
}
|
||
|
||
static void
|
||
mn10300_va_start (tree valist, rtx nextarg)
|
||
{
|
||
nextarg = expand_builtin_saveregs ();
|
||
std_expand_builtin_va_start (valist, nextarg);
|
||
}
|
||
|
||
/* Return true when a parameter should be passed by reference. */
|
||
|
||
static bool
|
||
mn10300_pass_by_reference (CUMULATIVE_ARGS *cum ATTRIBUTE_UNUSED,
|
||
enum machine_mode mode, const_tree type,
|
||
bool named ATTRIBUTE_UNUSED)
|
||
{
|
||
unsigned HOST_WIDE_INT size;
|
||
|
||
if (type)
|
||
size = int_size_in_bytes (type);
|
||
else
|
||
size = GET_MODE_SIZE (mode);
|
||
|
||
return (size > 8 || size == 0);
|
||
}
|
||
|
||
/* Return an RTX to represent where a value with mode MODE will be returned
|
||
from a function. If the result is NULL_RTX, the argument is pushed. */
|
||
|
||
rtx
|
||
function_arg (CUMULATIVE_ARGS *cum, enum machine_mode mode,
|
||
tree type, int named ATTRIBUTE_UNUSED)
|
||
{
|
||
rtx result = NULL_RTX;
|
||
int size, align;
|
||
|
||
/* We only support using 2 data registers as argument registers. */
|
||
int nregs = 2;
|
||
|
||
/* Figure out the size of the object to be passed. */
|
||
if (mode == BLKmode)
|
||
size = int_size_in_bytes (type);
|
||
else
|
||
size = GET_MODE_SIZE (mode);
|
||
|
||
/* Figure out the alignment of the object to be passed. */
|
||
align = size;
|
||
|
||
cum->nbytes = (cum->nbytes + 3) & ~3;
|
||
|
||
/* Don't pass this arg via a register if all the argument registers
|
||
are used up. */
|
||
if (cum->nbytes > nregs * UNITS_PER_WORD)
|
||
return result;
|
||
|
||
/* Don't pass this arg via a register if it would be split between
|
||
registers and memory. */
|
||
if (type == NULL_TREE
|
||
&& cum->nbytes + size > nregs * UNITS_PER_WORD)
|
||
return result;
|
||
|
||
switch (cum->nbytes / UNITS_PER_WORD)
|
||
{
|
||
case 0:
|
||
result = gen_rtx_REG (mode, FIRST_ARGUMENT_REGNUM);
|
||
break;
|
||
case 1:
|
||
result = gen_rtx_REG (mode, FIRST_ARGUMENT_REGNUM + 1);
|
||
break;
|
||
default:
|
||
break;
|
||
}
|
||
|
||
return result;
|
||
}
|
||
|
||
/* Return the number of bytes of registers to use for an argument passed
|
||
partially in registers and partially in memory. */
|
||
|
||
static int
|
||
mn10300_arg_partial_bytes (CUMULATIVE_ARGS *cum, enum machine_mode mode,
|
||
tree type, bool named ATTRIBUTE_UNUSED)
|
||
{
|
||
int size, align;
|
||
|
||
/* We only support using 2 data registers as argument registers. */
|
||
int nregs = 2;
|
||
|
||
/* Figure out the size of the object to be passed. */
|
||
if (mode == BLKmode)
|
||
size = int_size_in_bytes (type);
|
||
else
|
||
size = GET_MODE_SIZE (mode);
|
||
|
||
/* Figure out the alignment of the object to be passed. */
|
||
align = size;
|
||
|
||
cum->nbytes = (cum->nbytes + 3) & ~3;
|
||
|
||
/* Don't pass this arg via a register if all the argument registers
|
||
are used up. */
|
||
if (cum->nbytes > nregs * UNITS_PER_WORD)
|
||
return 0;
|
||
|
||
if (cum->nbytes + size <= nregs * UNITS_PER_WORD)
|
||
return 0;
|
||
|
||
/* Don't pass this arg via a register if it would be split between
|
||
registers and memory. */
|
||
if (type == NULL_TREE
|
||
&& cum->nbytes + size > nregs * UNITS_PER_WORD)
|
||
return 0;
|
||
|
||
return nregs * UNITS_PER_WORD - cum->nbytes;
|
||
}
|
||
|
||
/* Return the location of the function's value. This will be either
|
||
$d0 for integer functions, $a0 for pointers, or a PARALLEL of both
|
||
$d0 and $a0 if the -mreturn-pointer-on-do flag is set. Note that
|
||
we only return the PARALLEL for outgoing values; we do not want
|
||
callers relying on this extra copy. */
|
||
|
||
static rtx
|
||
mn10300_function_value (const_tree valtype,
|
||
const_tree fn_decl_or_type ATTRIBUTE_UNUSED,
|
||
bool outgoing)
|
||
{
|
||
rtx rv;
|
||
enum machine_mode mode = TYPE_MODE (valtype);
|
||
|
||
if (! POINTER_TYPE_P (valtype))
|
||
return gen_rtx_REG (mode, FIRST_DATA_REGNUM);
|
||
else if (! TARGET_PTR_A0D0 || ! outgoing
|
||
|| cfun->returns_struct)
|
||
return gen_rtx_REG (mode, FIRST_ADDRESS_REGNUM);
|
||
|
||
rv = gen_rtx_PARALLEL (mode, rtvec_alloc (2));
|
||
XVECEXP (rv, 0, 0)
|
||
= gen_rtx_EXPR_LIST (VOIDmode,
|
||
gen_rtx_REG (mode, FIRST_ADDRESS_REGNUM),
|
||
GEN_INT (0));
|
||
|
||
XVECEXP (rv, 0, 1)
|
||
= gen_rtx_EXPR_LIST (VOIDmode,
|
||
gen_rtx_REG (mode, FIRST_DATA_REGNUM),
|
||
GEN_INT (0));
|
||
return rv;
|
||
}
|
||
|
||
/* Implements TARGET_LIBCALL_VALUE. */
|
||
|
||
static rtx
|
||
mn10300_libcall_value (enum machine_mode mode,
|
||
const_rtx fun ATTRIBUTE_UNUSED)
|
||
{
|
||
return gen_rtx_REG (mode, FIRST_DATA_REGNUM);
|
||
}
|
||
|
||
/* Implements FUNCTION_VALUE_REGNO_P. */
|
||
|
||
bool
|
||
mn10300_function_value_regno_p (const unsigned int regno)
|
||
{
|
||
return (regno == FIRST_DATA_REGNUM || regno == FIRST_ADDRESS_REGNUM);
|
||
}
|
||
|
||
/* Output a tst insn. */
|
||
const char *
|
||
output_tst (rtx operand, rtx insn)
|
||
{
|
||
rtx temp;
|
||
int past_call = 0;
|
||
|
||
/* We can save a byte if we can find a register which has the value
|
||
zero in it. */
|
||
temp = PREV_INSN (insn);
|
||
while (optimize && temp)
|
||
{
|
||
rtx set;
|
||
|
||
/* We allow the search to go through call insns. We record
|
||
the fact that we've past a CALL_INSN and reject matches which
|
||
use call clobbered registers. */
|
||
if (GET_CODE (temp) == CODE_LABEL
|
||
|| GET_CODE (temp) == JUMP_INSN
|
||
|| GET_CODE (temp) == BARRIER)
|
||
break;
|
||
|
||
if (GET_CODE (temp) == CALL_INSN)
|
||
past_call = 1;
|
||
|
||
if (GET_CODE (temp) == NOTE)
|
||
{
|
||
temp = PREV_INSN (temp);
|
||
continue;
|
||
}
|
||
|
||
/* It must be an insn, see if it is a simple set. */
|
||
set = single_set (temp);
|
||
if (!set)
|
||
{
|
||
temp = PREV_INSN (temp);
|
||
continue;
|
||
}
|
||
|
||
/* Are we setting a data register to zero (this does not win for
|
||
address registers)?
|
||
|
||
If it's a call clobbered register, have we past a call?
|
||
|
||
Make sure the register we find isn't the same as ourself;
|
||
the mn10300 can't encode that.
|
||
|
||
??? reg_set_between_p return nonzero anytime we pass a CALL_INSN
|
||
so the code to detect calls here isn't doing anything useful. */
|
||
if (REG_P (SET_DEST (set))
|
||
&& SET_SRC (set) == CONST0_RTX (GET_MODE (SET_DEST (set)))
|
||
&& !reg_set_between_p (SET_DEST (set), temp, insn)
|
||
&& (REGNO_REG_CLASS (REGNO (SET_DEST (set)))
|
||
== REGNO_REG_CLASS (REGNO (operand)))
|
||
&& REGNO_REG_CLASS (REGNO (SET_DEST (set))) != EXTENDED_REGS
|
||
&& REGNO (SET_DEST (set)) != REGNO (operand)
|
||
&& (!past_call
|
||
|| ! call_really_used_regs [REGNO (SET_DEST (set))]))
|
||
{
|
||
rtx xoperands[2];
|
||
xoperands[0] = operand;
|
||
xoperands[1] = SET_DEST (set);
|
||
|
||
output_asm_insn ("cmp %1,%0", xoperands);
|
||
return "";
|
||
}
|
||
|
||
if (REGNO_REG_CLASS (REGNO (operand)) == EXTENDED_REGS
|
||
&& REG_P (SET_DEST (set))
|
||
&& SET_SRC (set) == CONST0_RTX (GET_MODE (SET_DEST (set)))
|
||
&& !reg_set_between_p (SET_DEST (set), temp, insn)
|
||
&& (REGNO_REG_CLASS (REGNO (SET_DEST (set)))
|
||
!= REGNO_REG_CLASS (REGNO (operand)))
|
||
&& REGNO_REG_CLASS (REGNO (SET_DEST (set))) == EXTENDED_REGS
|
||
&& REGNO (SET_DEST (set)) != REGNO (operand)
|
||
&& (!past_call
|
||
|| ! call_really_used_regs [REGNO (SET_DEST (set))]))
|
||
{
|
||
rtx xoperands[2];
|
||
xoperands[0] = operand;
|
||
xoperands[1] = SET_DEST (set);
|
||
|
||
output_asm_insn ("cmp %1,%0", xoperands);
|
||
return "";
|
||
}
|
||
temp = PREV_INSN (temp);
|
||
}
|
||
return "cmp 0,%0";
|
||
}
|
||
|
||
int
|
||
impossible_plus_operand (rtx op, enum machine_mode mode ATTRIBUTE_UNUSED)
|
||
{
|
||
if (GET_CODE (op) != PLUS)
|
||
return 0;
|
||
|
||
if (XEXP (op, 0) == stack_pointer_rtx
|
||
|| XEXP (op, 1) == stack_pointer_rtx)
|
||
return 1;
|
||
|
||
return 0;
|
||
}
|
||
|
||
/* Similarly, but when using a zero_extract pattern for a btst where
|
||
the source operand might end up in memory. */
|
||
int
|
||
mask_ok_for_mem_btst (int len, int bit)
|
||
{
|
||
unsigned int mask = 0;
|
||
|
||
while (len > 0)
|
||
{
|
||
mask |= (1 << bit);
|
||
bit++;
|
||
len--;
|
||
}
|
||
|
||
/* MASK must bit into an 8bit value. */
|
||
return (((mask & 0xff) == mask)
|
||
|| ((mask & 0xff00) == mask)
|
||
|| ((mask & 0xff0000) == mask)
|
||
|| ((mask & 0xff000000) == mask));
|
||
}
|
||
|
||
/* Return 1 if X contains a symbolic expression. We know these
|
||
expressions will have one of a few well defined forms, so
|
||
we need only check those forms. */
|
||
int
|
||
symbolic_operand (register rtx op, enum machine_mode mode ATTRIBUTE_UNUSED)
|
||
{
|
||
switch (GET_CODE (op))
|
||
{
|
||
case SYMBOL_REF:
|
||
case LABEL_REF:
|
||
return 1;
|
||
case CONST:
|
||
op = XEXP (op, 0);
|
||
return ((GET_CODE (XEXP (op, 0)) == SYMBOL_REF
|
||
|| GET_CODE (XEXP (op, 0)) == LABEL_REF)
|
||
&& GET_CODE (XEXP (op, 1)) == CONST_INT);
|
||
default:
|
||
return 0;
|
||
}
|
||
}
|
||
|
||
/* Try machine dependent ways of modifying an illegitimate address
|
||
to be legitimate. If we find one, return the new valid address.
|
||
This macro is used in only one place: `memory_address' in explow.c.
|
||
|
||
OLDX is the address as it was before break_out_memory_refs was called.
|
||
In some cases it is useful to look at this to decide what needs to be done.
|
||
|
||
Normally it is always safe for this macro to do nothing. It exists to
|
||
recognize opportunities to optimize the output.
|
||
|
||
But on a few ports with segmented architectures and indexed addressing
|
||
(mn10300, hppa) it is used to rewrite certain problematical addresses. */
|
||
rtx
|
||
mn10300_legitimize_address (rtx x, rtx oldx ATTRIBUTE_UNUSED,
|
||
enum machine_mode mode ATTRIBUTE_UNUSED)
|
||
{
|
||
if (flag_pic && ! legitimate_pic_operand_p (x))
|
||
x = legitimize_pic_address (oldx, NULL_RTX);
|
||
|
||
/* Uh-oh. We might have an address for x[n-100000]. This needs
|
||
special handling to avoid creating an indexed memory address
|
||
with x-100000 as the base. */
|
||
if (GET_CODE (x) == PLUS
|
||
&& symbolic_operand (XEXP (x, 1), VOIDmode))
|
||
{
|
||
/* Ugly. We modify things here so that the address offset specified
|
||
by the index expression is computed first, then added to x to form
|
||
the entire address. */
|
||
|
||
rtx regx1, regy1, regy2, y;
|
||
|
||
/* Strip off any CONST. */
|
||
y = XEXP (x, 1);
|
||
if (GET_CODE (y) == CONST)
|
||
y = XEXP (y, 0);
|
||
|
||
if (GET_CODE (y) == PLUS || GET_CODE (y) == MINUS)
|
||
{
|
||
regx1 = force_reg (Pmode, force_operand (XEXP (x, 0), 0));
|
||
regy1 = force_reg (Pmode, force_operand (XEXP (y, 0), 0));
|
||
regy2 = force_reg (Pmode, force_operand (XEXP (y, 1), 0));
|
||
regx1 = force_reg (Pmode,
|
||
gen_rtx_fmt_ee (GET_CODE (y), Pmode, regx1, regy2));
|
||
return force_reg (Pmode, gen_rtx_PLUS (Pmode, regx1, regy1));
|
||
}
|
||
}
|
||
return x;
|
||
}
|
||
|
||
/* Convert a non-PIC address in `orig' to a PIC address using @GOT or
|
||
@GOTOFF in `reg'. */
|
||
rtx
|
||
legitimize_pic_address (rtx orig, rtx reg)
|
||
{
|
||
if (GET_CODE (orig) == LABEL_REF
|
||
|| (GET_CODE (orig) == SYMBOL_REF
|
||
&& (CONSTANT_POOL_ADDRESS_P (orig)
|
||
|| ! MN10300_GLOBAL_P (orig))))
|
||
{
|
||
if (reg == 0)
|
||
reg = gen_reg_rtx (Pmode);
|
||
|
||
emit_insn (gen_symGOTOFF2reg (reg, orig));
|
||
return reg;
|
||
}
|
||
else if (GET_CODE (orig) == SYMBOL_REF)
|
||
{
|
||
if (reg == 0)
|
||
reg = gen_reg_rtx (Pmode);
|
||
|
||
emit_insn (gen_symGOT2reg (reg, orig));
|
||
return reg;
|
||
}
|
||
return orig;
|
||
}
|
||
|
||
/* Return zero if X references a SYMBOL_REF or LABEL_REF whose symbol
|
||
isn't protected by a PIC unspec; nonzero otherwise. */
|
||
int
|
||
legitimate_pic_operand_p (rtx x)
|
||
{
|
||
register const char *fmt;
|
||
register int i;
|
||
|
||
if (GET_CODE (x) == SYMBOL_REF || GET_CODE (x) == LABEL_REF)
|
||
return 0;
|
||
|
||
if (GET_CODE (x) == UNSPEC
|
||
&& (XINT (x, 1) == UNSPEC_PIC
|
||
|| XINT (x, 1) == UNSPEC_GOT
|
||
|| XINT (x, 1) == UNSPEC_GOTOFF
|
||
|| XINT (x, 1) == UNSPEC_PLT
|
||
|| XINT (x, 1) == UNSPEC_GOTSYM_OFF))
|
||
return 1;
|
||
|
||
fmt = GET_RTX_FORMAT (GET_CODE (x));
|
||
for (i = GET_RTX_LENGTH (GET_CODE (x)) - 1; i >= 0; i--)
|
||
{
|
||
if (fmt[i] == 'E')
|
||
{
|
||
register int j;
|
||
|
||
for (j = XVECLEN (x, i) - 1; j >= 0; j--)
|
||
if (! legitimate_pic_operand_p (XVECEXP (x, i, j)))
|
||
return 0;
|
||
}
|
||
else if (fmt[i] == 'e' && ! legitimate_pic_operand_p (XEXP (x, i)))
|
||
return 0;
|
||
}
|
||
|
||
return 1;
|
||
}
|
||
|
||
/* Return TRUE if the address X, taken from a (MEM:MODE X) rtx, is
|
||
legitimate, and FALSE otherwise.
|
||
|
||
On the mn10300, the value in the address register must be
|
||
in the same memory space/segment as the effective address.
|
||
|
||
This is problematical for reload since it does not understand
|
||
that base+index != index+base in a memory reference.
|
||
|
||
Note it is still possible to use reg+reg addressing modes,
|
||
it's just much more difficult. For a discussion of a possible
|
||
workaround and solution, see the comments in pa.c before the
|
||
function record_unscaled_index_insn_codes. */
|
||
|
||
bool
|
||
mn10300_legitimate_address_p (enum machine_mode mode, rtx x, bool strict)
|
||
{
|
||
if (CONSTANT_ADDRESS_P (x)
|
||
&& (! flag_pic || legitimate_pic_operand_p (x)))
|
||
return TRUE;
|
||
|
||
if (RTX_OK_FOR_BASE_P (x, strict))
|
||
return TRUE;
|
||
|
||
if (TARGET_AM33
|
||
&& GET_CODE (x) == POST_INC
|
||
&& RTX_OK_FOR_BASE_P (XEXP (x, 0), strict)
|
||
&& (mode == SImode || mode == SFmode || mode == HImode))
|
||
return TRUE;
|
||
|
||
if (GET_CODE (x) == PLUS)
|
||
{
|
||
rtx base = 0, index = 0;
|
||
|
||
if (REG_P (XEXP (x, 0))
|
||
&& REGNO_STRICT_OK_FOR_BASE_P (REGNO (XEXP (x, 0)), strict))
|
||
{
|
||
base = XEXP (x, 0);
|
||
index = XEXP (x, 1);
|
||
}
|
||
|
||
if (REG_P (XEXP (x, 1))
|
||
&& REGNO_STRICT_OK_FOR_BASE_P (REGNO (XEXP (x, 1)), strict))
|
||
{
|
||
base = XEXP (x, 1);
|
||
index = XEXP (x, 0);
|
||
}
|
||
|
||
if (base != 0 && index != 0)
|
||
{
|
||
if (GET_CODE (index) == CONST_INT)
|
||
return TRUE;
|
||
if (GET_CODE (index) == CONST
|
||
&& GET_CODE (XEXP (index, 0)) != PLUS
|
||
&& (! flag_pic
|
||
|| legitimate_pic_operand_p (index)))
|
||
return TRUE;
|
||
}
|
||
}
|
||
|
||
return FALSE;
|
||
}
|
||
|
||
static int
|
||
mn10300_address_cost_1 (rtx x, int *unsig)
|
||
{
|
||
switch (GET_CODE (x))
|
||
{
|
||
case REG:
|
||
switch (REGNO_REG_CLASS (REGNO (x)))
|
||
{
|
||
case SP_REGS:
|
||
*unsig = 1;
|
||
return 0;
|
||
|
||
case ADDRESS_REGS:
|
||
return 1;
|
||
|
||
case DATA_REGS:
|
||
case EXTENDED_REGS:
|
||
case FP_REGS:
|
||
return 3;
|
||
|
||
case NO_REGS:
|
||
return 5;
|
||
|
||
default:
|
||
gcc_unreachable ();
|
||
}
|
||
|
||
case PLUS:
|
||
case MINUS:
|
||
case ASHIFT:
|
||
case AND:
|
||
case IOR:
|
||
return (mn10300_address_cost_1 (XEXP (x, 0), unsig)
|
||
+ mn10300_address_cost_1 (XEXP (x, 1), unsig));
|
||
|
||
case EXPR_LIST:
|
||
case SUBREG:
|
||
case MEM:
|
||
return mn10300_address_cost (XEXP (x, 0), !optimize_size);
|
||
|
||
case ZERO_EXTEND:
|
||
*unsig = 1;
|
||
return mn10300_address_cost_1 (XEXP (x, 0), unsig);
|
||
|
||
case CONST_INT:
|
||
if (INTVAL (x) == 0)
|
||
return 0;
|
||
if (INTVAL (x) + (*unsig ? 0 : 0x80) < 0x100)
|
||
return 1;
|
||
if (INTVAL (x) + (*unsig ? 0 : 0x8000) < 0x10000)
|
||
return 3;
|
||
if (INTVAL (x) + (*unsig ? 0 : 0x800000) < 0x1000000)
|
||
return 5;
|
||
return 7;
|
||
|
||
case CONST:
|
||
case SYMBOL_REF:
|
||
case LABEL_REF:
|
||
return 8;
|
||
|
||
default:
|
||
gcc_unreachable ();
|
||
|
||
}
|
||
}
|
||
|
||
static int
|
||
mn10300_address_cost (rtx x, bool speed ATTRIBUTE_UNUSED)
|
||
{
|
||
int s = 0;
|
||
return mn10300_address_cost_1 (x, &s);
|
||
}
|
||
|
||
static bool
|
||
mn10300_rtx_costs (rtx x, int code, int outer_code, int *total, bool speed ATTRIBUTE_UNUSED)
|
||
{
|
||
switch (code)
|
||
{
|
||
case CONST_INT:
|
||
/* Zeros are extremely cheap. */
|
||
if (INTVAL (x) == 0 && (outer_code == SET || outer_code == COMPARE))
|
||
*total = 0;
|
||
/* If it fits in 8 bits, then it's still relatively cheap. */
|
||
else if (INT_8_BITS (INTVAL (x)))
|
||
*total = 1;
|
||
/* This is the "base" cost, includes constants where either the
|
||
upper or lower 16bits are all zeros. */
|
||
else if (INT_16_BITS (INTVAL (x))
|
||
|| (INTVAL (x) & 0xffff) == 0
|
||
|| (INTVAL (x) & 0xffff0000) == 0)
|
||
*total = 2;
|
||
else
|
||
*total = 4;
|
||
return true;
|
||
|
||
case CONST:
|
||
case LABEL_REF:
|
||
case SYMBOL_REF:
|
||
/* These are more costly than a CONST_INT, but we can relax them,
|
||
so they're less costly than a CONST_DOUBLE. */
|
||
*total = 6;
|
||
return true;
|
||
|
||
case CONST_DOUBLE:
|
||
/* We don't optimize CONST_DOUBLEs well nor do we relax them well,
|
||
so their cost is very high. */
|
||
*total = 8;
|
||
return true;
|
||
|
||
case ZERO_EXTRACT:
|
||
/* This is cheap, we can use btst. */
|
||
if (outer_code == COMPARE)
|
||
*total = 0;
|
||
return false;
|
||
|
||
/* ??? This probably needs more work. */
|
||
case MOD:
|
||
case DIV:
|
||
case MULT:
|
||
*total = 8;
|
||
return true;
|
||
|
||
default:
|
||
return false;
|
||
}
|
||
}
|
||
|
||
/* Check whether a constant used to initialize a DImode or DFmode can
|
||
use a clr instruction. The code here must be kept in sync with
|
||
movdf and movdi. */
|
||
|
||
bool
|
||
mn10300_wide_const_load_uses_clr (rtx operands[2])
|
||
{
|
||
long val[2];
|
||
|
||
if (GET_CODE (operands[0]) != REG
|
||
|| REGNO_REG_CLASS (REGNO (operands[0])) != DATA_REGS)
|
||
return false;
|
||
|
||
switch (GET_CODE (operands[1]))
|
||
{
|
||
case CONST_INT:
|
||
{
|
||
rtx low, high;
|
||
split_double (operands[1], &low, &high);
|
||
val[0] = INTVAL (low);
|
||
val[1] = INTVAL (high);
|
||
}
|
||
break;
|
||
|
||
case CONST_DOUBLE:
|
||
if (GET_MODE (operands[1]) == DFmode)
|
||
{
|
||
REAL_VALUE_TYPE rv;
|
||
|
||
REAL_VALUE_FROM_CONST_DOUBLE (rv, operands[1]);
|
||
REAL_VALUE_TO_TARGET_DOUBLE (rv, val);
|
||
}
|
||
else if (GET_MODE (operands[1]) == VOIDmode
|
||
|| GET_MODE (operands[1]) == DImode)
|
||
{
|
||
val[0] = CONST_DOUBLE_LOW (operands[1]);
|
||
val[1] = CONST_DOUBLE_HIGH (operands[1]);
|
||
}
|
||
break;
|
||
|
||
default:
|
||
return false;
|
||
}
|
||
|
||
return val[0] == 0 || val[1] == 0;
|
||
}
|
||
/* If using PIC, mark a SYMBOL_REF for a non-global symbol so that we
|
||
may access it using GOTOFF instead of GOT. */
|
||
|
||
static void
|
||
mn10300_encode_section_info (tree decl, rtx rtl, int first ATTRIBUTE_UNUSED)
|
||
{
|
||
rtx symbol;
|
||
|
||
if (GET_CODE (rtl) != MEM)
|
||
return;
|
||
symbol = XEXP (rtl, 0);
|
||
if (GET_CODE (symbol) != SYMBOL_REF)
|
||
return;
|
||
|
||
if (flag_pic)
|
||
SYMBOL_REF_FLAG (symbol) = (*targetm.binds_local_p) (decl);
|
||
}
|
||
|
||
/* Dispatch tables on the mn10300 are extremely expensive in terms of code
|
||
and readonly data size. So we crank up the case threshold value to
|
||
encourage a series of if/else comparisons to implement many small switch
|
||
statements. In theory, this value could be increased much more if we
|
||
were solely optimizing for space, but we keep it "reasonable" to avoid
|
||
serious code efficiency lossage. */
|
||
|
||
unsigned int mn10300_case_values_threshold (void)
|
||
{
|
||
return 6;
|
||
}
|
||
|
||
/* Worker function for TARGET_ASM_TRAMPOLINE_TEMPLATE. */
|
||
|
||
static void
|
||
mn10300_asm_trampoline_template (FILE *f)
|
||
{
|
||
fprintf (f, "\tadd -4,sp\n");
|
||
fprintf (f, "\t.long 0x0004fffa\n");
|
||
fprintf (f, "\tmov (0,sp),a0\n");
|
||
fprintf (f, "\tadd 4,sp\n");
|
||
fprintf (f, "\tmov (13,a0),a1\n");
|
||
fprintf (f, "\tmov (17,a0),a0\n");
|
||
fprintf (f, "\tjmp (a0)\n");
|
||
fprintf (f, "\t.long 0\n");
|
||
fprintf (f, "\t.long 0\n");
|
||
}
|
||
|
||
/* Worker function for TARGET_TRAMPOLINE_INIT. */
|
||
|
||
static void
|
||
mn10300_trampoline_init (rtx m_tramp, tree fndecl, rtx chain_value)
|
||
{
|
||
rtx fnaddr = XEXP (DECL_RTL (fndecl), 0);
|
||
rtx mem;
|
||
|
||
emit_block_move (m_tramp, assemble_trampoline_template (),
|
||
GEN_INT (TRAMPOLINE_SIZE), BLOCK_OP_NORMAL);
|
||
|
||
mem = adjust_address (m_tramp, SImode, 0x14);
|
||
emit_move_insn (mem, chain_value);
|
||
mem = adjust_address (m_tramp, SImode, 0x18);
|
||
emit_move_insn (mem, fnaddr);
|
||
}
|
||
|
||
/* Output the assembler code for a C++ thunk function.
|
||
THUNK_DECL is the declaration for the thunk function itself, FUNCTION
|
||
is the decl for the target function. DELTA is an immediate constant
|
||
offset to be added to the THIS parameter. If VCALL_OFFSET is nonzero
|
||
the word at the adjusted address *(*THIS' + VCALL_OFFSET) should be
|
||
additionally added to THIS. Finally jump to the entry point of
|
||
FUNCTION. */
|
||
|
||
static void
|
||
mn10300_asm_output_mi_thunk (FILE * file,
|
||
tree thunk_fndecl ATTRIBUTE_UNUSED,
|
||
HOST_WIDE_INT delta,
|
||
HOST_WIDE_INT vcall_offset,
|
||
tree function)
|
||
{
|
||
const char * _this;
|
||
|
||
/* Get the register holding the THIS parameter. Handle the case
|
||
where there is a hidden first argument for a returned structure. */
|
||
if (aggregate_value_p (TREE_TYPE (TREE_TYPE (function)), function))
|
||
_this = reg_names [FIRST_ARGUMENT_REGNUM + 1];
|
||
else
|
||
_this = reg_names [FIRST_ARGUMENT_REGNUM];
|
||
|
||
fprintf (file, "\t%s Thunk Entry Point:\n", ASM_COMMENT_START);
|
||
|
||
if (delta)
|
||
fprintf (file, "\tadd %d, %s\n", (int) delta, _this);
|
||
|
||
if (vcall_offset)
|
||
{
|
||
const char * scratch = reg_names [FIRST_ADDRESS_REGNUM + 1];
|
||
|
||
fprintf (file, "\tmov %s, %s\n", _this, scratch);
|
||
fprintf (file, "\tmov (%s), %s\n", scratch, scratch);
|
||
fprintf (file, "\tadd %d, %s\n", (int) vcall_offset, scratch);
|
||
fprintf (file, "\tmov (%s), %s\n", scratch, scratch);
|
||
fprintf (file, "\tadd %s, %s\n", scratch, _this);
|
||
}
|
||
|
||
fputs ("\tjmp ", file);
|
||
assemble_name (file, XSTR (XEXP (DECL_RTL (function), 0), 0));
|
||
putc ('\n', file);
|
||
}
|
||
|
||
/* Return true if mn10300_output_mi_thunk would be able to output the
|
||
assembler code for the thunk function specified by the arguments
|
||
it is passed, and false otherwise. */
|
||
|
||
static bool
|
||
mn10300_can_output_mi_thunk (const_tree thunk_fndecl ATTRIBUTE_UNUSED,
|
||
HOST_WIDE_INT delta ATTRIBUTE_UNUSED,
|
||
HOST_WIDE_INT vcall_offset ATTRIBUTE_UNUSED,
|
||
const_tree function ATTRIBUTE_UNUSED)
|
||
{
|
||
return true;
|
||
}
|