Subversion Repositories scarts

/* Search an insn for pseudo regs that must be in hard regs and are not.

   Copyright (C) 1987, 1988, 1989, 1992, 1993, 1994, 1995, 1996, 1997, 1998,

   1999, 2000, 2001, 2002, 2003, 2004, 2005  Free Software Foundation, Inc.

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 2, 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 COPYING.  If not, write to the Free

Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA

02110-1301, USA.  */

/* This file contains subroutines used only from the file reload1.c.

   It knows how to scan one insn for operands and values

   that need to be copied into registers to make valid code.

   It also finds other operands and values which are valid

   but for which equivalent values in registers exist and

   ought to be used instead.

   Before processing the first insn of the function, call `init_reload'.

   init_reload actually has to be called earlier anyway.

   To scan an insn, call `find_reloads'.  This does two things:

   1. sets up tables describing which values must be reloaded

   for this insn, and what kind of hard regs they must be reloaded into;

   2. optionally record the locations where those values appear in

   the data, so they can be replaced properly later.

   This is done only if the second arg to `find_reloads' is nonzero.

   The third arg to `find_reloads' specifies the number of levels

   of indirect addressing supported by the machine.  If it is zero,

   indirect addressing is not valid.  If it is one, (MEM (REG n))

   is valid even if (REG n) did not get a hard register; if it is two,

   (MEM (MEM (REG n))) is also valid even if (REG n) did not get a

   hard register, and similarly for higher values.

   Then you must choose the hard regs to reload those pseudo regs into,

   and generate appropriate load insns before this insn and perhaps

   also store insns after this insn.  Set up the array `reload_reg_rtx'

   to contain the REG rtx's for the registers you used.  In some

   cases `find_reloads' will return a nonzero value in `reload_reg_rtx'

   for certain reloads.  Then that tells you which register to use,

   so you do not need to allocate one.  But you still do need to add extra

   instructions to copy the value into and out of that register.

   Finally you must call `subst_reloads' to substitute the reload reg rtx's

   into the locations already recorded.

NOTE SIDE EFFECTS:

   find_reloads can alter the operands of the instruction it is called on.

   1. Two operands of any sort may be interchanged, if they are in a

   commutative instruction.

   This happens only if find_reloads thinks the instruction will compile

   better that way.

   2. Pseudo-registers that are equivalent to constants are replaced

   with those constants if they are not in hard registers.

1 happens every time find_reloads is called.

2 happens only when REPLACE is 1, which is only when

actually doing the reloads, not when just counting them.

Using a reload register for several reloads in one insn:

When an insn has reloads, it is considered as having three parts:

the input reloads, the insn itself after reloading, and the output reloads.

Reloads of values used in memory addresses are often needed for only one part.

When this is so, reload_when_needed records which part needs the reload.

Two reloads for different parts of the insn can share the same reload

register.

When a reload is used for addresses in multiple parts, or when it is

an ordinary operand, it is classified as RELOAD_OTHER, and cannot share

a register with any other reload.  */

#define REG_OK_STRICT

#include "config.h"

#include "system.h"

#include "coretypes.h"

#include "tm.h"

#include "rtl.h"

#include "tm_p.h"

#include "insn-config.h"

#include "expr.h"

#include "optabs.h"

#include "recog.h"

#include "reload.h"

#include "regs.h"

#include "hard-reg-set.h"

#include "flags.h"

#include "real.h"

#include "output.h"

#include "function.h"

#include "toplev.h"

#include "params.h"

#include "target.h"

/* True if X is a constant that can be forced into the constant pool.  */

#define CONST_POOL_OK_P(X)                      \

  (CONSTANT_P (X)                               \

   && GET_CODE (X) != HIGH                      \

   && !targetm.cannot_force_const_mem (X))

/* True if C is a non-empty register class that has too few registers

   to be safely used as a reload target class.  */

#define SMALL_REGISTER_CLASS_P(C) \

  (reg_class_size [(C)] == 1 \

   || (reg_class_size [(C)] >= 1 && CLASS_LIKELY_SPILLED_P (C)))

/* All reloads of the current insn are recorded here.  See reload.h for

   comments.  */

int n_reloads;

struct reload rld[MAX_RELOADS];

/* All the "earlyclobber" operands of the current insn

   are recorded here.  */

int n_earlyclobbers;

rtx reload_earlyclobbers[MAX_RECOG_OPERANDS];

int reload_n_operands;

/* Replacing reloads.

   If `replace_reloads' is nonzero, then as each reload is recorded

   an entry is made for it in the table `replacements'.

   Then later `subst_reloads' can look through that table and

   perform all the replacements needed.  */

/* Nonzero means record the places to replace.  */

static int replace_reloads;

/* Each replacement is recorded with a structure like this.  */

struct replacement

{

  rtx *where;                   /* Location to store in */

  rtx *subreg_loc;              /* Location of SUBREG if WHERE is inside

                                   a SUBREG; 0 otherwise.  */

  int what;                     /* which reload this is for */

  enum machine_mode mode;       /* mode it must have */

};

static struct replacement replacements[MAX_RECOG_OPERANDS * ((MAX_REGS_PER_ADDRESS * 2) + 1)];

/* Number of replacements currently recorded.  */

static int n_replacements;

/* Used to track what is modified by an operand.  */

struct decomposition

{

  int reg_flag;         /* Nonzero if referencing a register.  */

  int safe;             /* Nonzero if this can't conflict with anything.  */

  rtx base;             /* Base address for MEM.  */

  HOST_WIDE_INT start;  /* Starting offset or register number.  */

  HOST_WIDE_INT end;    /* Ending offset or register number.  */

};

#ifdef SECONDARY_MEMORY_NEEDED

/* Save MEMs needed to copy from one class of registers to another.  One MEM

   is used per mode, but normally only one or two modes are ever used.

   We keep two versions, before and after register elimination.  The one

   after register elimination is record separately for each operand.  This

   is done in case the address is not valid to be sure that we separately

   reload each.  */

static rtx secondary_memlocs[NUM_MACHINE_MODES];

static rtx secondary_memlocs_elim[NUM_MACHINE_MODES][MAX_RECOG_OPERANDS];

static int secondary_memlocs_elim_used = 0;

#endif

/* The instruction we are doing reloads for;

   so we can test whether a register dies in it.  */

static rtx this_insn;

/* Nonzero if this instruction is a user-specified asm with operands.  */

static int this_insn_is_asm;

/* If hard_regs_live_known is nonzero,

   we can tell which hard regs are currently live,

   at least enough to succeed in choosing dummy reloads.  */

static int hard_regs_live_known;

/* Indexed by hard reg number,

   element is nonnegative if hard reg has been spilled.

   This vector is passed to `find_reloads' as an argument

   and is not changed here.  */

static short *static_reload_reg_p;

/* Set to 1 in subst_reg_equivs if it changes anything.  */

static int subst_reg_equivs_changed;

/* On return from push_reload, holds the reload-number for the OUT

   operand, which can be different for that from the input operand.  */

static int output_reloadnum;

  /* Compare two RTX's.  */

#define MATCHES(x, y) \

 (x == y || (x != 0 && (REG_P (x)                                \

                        ? REG_P (y) && REGNO (x) == REGNO (y)   \

                        : rtx_equal_p (x, y) && ! side_effects_p (x))))

  /* Indicates if two reloads purposes are for similar enough things that we

     can merge their reloads.  */

#define MERGABLE_RELOADS(when1, when2, op1, op2) \

  ((when1) == RELOAD_OTHER || (when2) == RELOAD_OTHER   \

   || ((when1) == (when2) && (op1) == (op2))            \

   || ((when1) == RELOAD_FOR_INPUT && (when2) == RELOAD_FOR_INPUT) \

   || ((when1) == RELOAD_FOR_OPERAND_ADDRESS            \

       && (when2) == RELOAD_FOR_OPERAND_ADDRESS)        \

   || ((when1) == RELOAD_FOR_OTHER_ADDRESS              \

       && (when2) == RELOAD_FOR_OTHER_ADDRESS))

  /* Nonzero if these two reload purposes produce RELOAD_OTHER when merged.  */

#define MERGE_TO_OTHER(when1, when2, op1, op2) \

  ((when1) != (when2)                                   \

   || ! ((op1) == (op2)                                 \

         || (when1) == RELOAD_FOR_INPUT                 \

         || (when1) == RELOAD_FOR_OPERAND_ADDRESS       \

         || (when1) == RELOAD_FOR_OTHER_ADDRESS))

  /* If we are going to reload an address, compute the reload type to

     use.  */

#define ADDR_TYPE(type)                                 \

  ((type) == RELOAD_FOR_INPUT_ADDRESS                   \

   ? RELOAD_FOR_INPADDR_ADDRESS                         \

   : ((type) == RELOAD_FOR_OUTPUT_ADDRESS               \

      ? RELOAD_FOR_OUTADDR_ADDRESS                      \

      : (type)))

#ifdef HAVE_SECONDARY_RELOADS

static int push_secondary_reload (int, rtx, int, int, enum reg_class,

                                  enum machine_mode, enum reload_type,

                                  enum insn_code *);

#endif

static enum reg_class find_valid_class (enum machine_mode, enum machine_mode,

                                        int, unsigned int);

static int reload_inner_reg_of_subreg (rtx, enum machine_mode, int);

static void push_replacement (rtx *, int, enum machine_mode);

static void dup_replacements (rtx *, rtx *);

static void combine_reloads (void);

static int find_reusable_reload (rtx *, rtx, enum reg_class,

                                 enum reload_type, int, int);

static rtx find_dummy_reload (rtx, rtx, rtx *, rtx *, enum machine_mode,

                              enum machine_mode, enum reg_class, int, int);

static int hard_reg_set_here_p (unsigned int, unsigned int, rtx);

static struct decomposition decompose (rtx);

static int immune_p (rtx, rtx, struct decomposition);

static int alternative_allows_memconst (const char *, int);

static rtx find_reloads_toplev (rtx, int, enum reload_type, int, int, rtx,

                                int *);

static rtx make_memloc (rtx, int);

static int maybe_memory_address_p (enum machine_mode, rtx, rtx *);

static int find_reloads_address (enum machine_mode, rtx *, rtx, rtx *,

                                 int, enum reload_type, int, rtx);

static rtx subst_reg_equivs (rtx, rtx);

static rtx subst_indexed_address (rtx);

static void update_auto_inc_notes (rtx, int, int);

static int find_reloads_address_1 (enum machine_mode, rtx, int, rtx *,

                                   int, enum reload_type,int, rtx);

static void find_reloads_address_part (rtx, rtx *, enum reg_class,

                                       enum machine_mode, int,

                                       enum reload_type, int);

static rtx find_reloads_subreg_address (rtx, int, int, enum reload_type,

                                        int, rtx);

static void copy_replacements_1 (rtx *, rtx *, int);

static int find_inc_amount (rtx, rtx);

static int refers_to_mem_for_reload_p (rtx);

static int refers_to_regno_for_reload_p (unsigned int, unsigned int,

                                         rtx, rtx *);

#ifdef HAVE_SECONDARY_RELOADS

/* Determine if any secondary reloads are needed for loading (if IN_P is

   nonzero) or storing (if IN_P is zero) X to or from a reload register of

   register class RELOAD_CLASS in mode RELOAD_MODE.  If secondary reloads

   are needed, push them.

   Return the reload number of the secondary reload we made, or -1 if

   we didn't need one.  *PICODE is set to the insn_code to use if we do

   need a secondary reload.  */

static int

push_secondary_reload (int in_p, rtx x, int opnum, int optional,

                       enum reg_class reload_class,

                       enum machine_mode reload_mode, enum reload_type type,

                       enum insn_code *picode)

{

  enum reg_class class = NO_REGS;

  enum machine_mode mode = reload_mode;

  enum insn_code icode = CODE_FOR_nothing;

  enum reg_class t_class = NO_REGS;

  enum machine_mode t_mode = VOIDmode;

  enum insn_code t_icode = CODE_FOR_nothing;

  enum reload_type secondary_type;

  int s_reload, t_reload = -1;

  if (type == RELOAD_FOR_INPUT_ADDRESS

      || type == RELOAD_FOR_OUTPUT_ADDRESS

      || type == RELOAD_FOR_INPADDR_ADDRESS

      || type == RELOAD_FOR_OUTADDR_ADDRESS)

    secondary_type = type;

  else

    secondary_type = in_p ? RELOAD_FOR_INPUT_ADDRESS : RELOAD_FOR_OUTPUT_ADDRESS;

  *picode = CODE_FOR_nothing;

  /* If X is a paradoxical SUBREG, use the inner value to determine both the

     mode and object being reloaded.  */

  if (GET_CODE (x) == SUBREG

      && (GET_MODE_SIZE (GET_MODE (x))

          > GET_MODE_SIZE (GET_MODE (SUBREG_REG (x)))))

    {

      x = SUBREG_REG (x);

      reload_mode = GET_MODE (x);

    }

  /* If X is a pseudo-register that has an equivalent MEM (actually, if it

     is still a pseudo-register by now, it *must* have an equivalent MEM

     but we don't want to assume that), use that equivalent when seeing if

     a secondary reload is needed since whether or not a reload is needed

     might be sensitive to the form of the MEM.  */

  if (REG_P (x) && REGNO (x) >= FIRST_PSEUDO_REGISTER

      && reg_equiv_mem[REGNO (x)] != 0)

    x = reg_equiv_mem[REGNO (x)];

#ifdef SECONDARY_INPUT_RELOAD_CLASS

  if (in_p)

    class = SECONDARY_INPUT_RELOAD_CLASS (reload_class, reload_mode, x);

#endif

#ifdef SECONDARY_OUTPUT_RELOAD_CLASS

  if (! in_p)

    class = SECONDARY_OUTPUT_RELOAD_CLASS (reload_class, reload_mode, x);

#endif

  /* If we don't need any secondary registers, done.  */

  if (class == NO_REGS)

    return -1;

  /* Get a possible insn to use.  If the predicate doesn't accept X, don't

     use the insn.  */

  icode = (in_p ? reload_in_optab[(int) reload_mode]

           : reload_out_optab[(int) reload_mode]);

  if (icode != CODE_FOR_nothing

      && insn_data[(int) icode].operand[in_p].predicate

      && (! (insn_data[(int) icode].operand[in_p].predicate) (x, reload_mode)))

    icode = CODE_FOR_nothing;

  /* If we will be using an insn, see if it can directly handle the reload

     register we will be using.  If it can, the secondary reload is for a

     scratch register.  If it can't, we will use the secondary reload for

     an intermediate register and require a tertiary reload for the scratch

     register.  */

  if (icode != CODE_FOR_nothing)

    {

      /* If IN_P is nonzero, the reload register will be the output in

         operand 0.  If IN_P is zero, the reload register will be the input

         in operand 1.  Outputs should have an initial "=", which we must

         skip.  */

      enum reg_class insn_class;

      if (insn_data[(int) icode].operand[!in_p].constraint[0] == 0)

        insn_class = ALL_REGS;

      else

        {

          const char *insn_constraint

            = &insn_data[(int) icode].operand[!in_p].constraint[in_p];

          char insn_letter = *insn_constraint;

          insn_class

            = (insn_letter == 'r' ? GENERAL_REGS

               : REG_CLASS_FROM_CONSTRAINT ((unsigned char) insn_letter,

                                            insn_constraint));

          gcc_assert (insn_class != NO_REGS);

          gcc_assert (!in_p

                      || insn_data[(int) icode].operand[!in_p].constraint[0]

                         == '=');

        }

      /* The scratch register's constraint must start with "=&".  */

      gcc_assert (insn_data[(int) icode].operand[2].constraint[0] == '='

                  && insn_data[(int) icode].operand[2].constraint[1] == '&');

      if (reg_class_subset_p (reload_class, insn_class))

        mode = insn_data[(int) icode].operand[2].mode;

      else

        {

          const char *t_constraint

            = &insn_data[(int) icode].operand[2].constraint[2];

          char t_letter = *t_constraint;

          class = insn_class;

          t_mode = insn_data[(int) icode].operand[2].mode;

          t_class = (t_letter == 'r' ? GENERAL_REGS

                     : REG_CLASS_FROM_CONSTRAINT ((unsigned char) t_letter,

                                                  t_constraint));

          t_icode = icode;

          icode = CODE_FOR_nothing;

        }

    }

  /* This case isn't valid, so fail.  Reload is allowed to use the same

     register for RELOAD_FOR_INPUT_ADDRESS and RELOAD_FOR_INPUT reloads, but

     in the case of a secondary register, we actually need two different

     registers for correct code.  We fail here to prevent the possibility of

     silently generating incorrect code later.

     The convention is that secondary input reloads are valid only if the

     secondary_class is different from class.  If you have such a case, you

     can not use secondary reloads, you must work around the problem some

     other way.

     Allow this when a reload_in/out pattern is being used.  I.e. assume

     that the generated code handles this case.  */

  gcc_assert (!in_p || class != reload_class || icode != CODE_FOR_nothing

              || t_icode != CODE_FOR_nothing);

  /* If we need a tertiary reload, see if we have one we can reuse or else

     make a new one.  */

  if (t_class != NO_REGS)

    {

      for (t_reload = 0; t_reload < n_reloads; t_reload++)

        if (rld[t_reload].secondary_p

            && (reg_class_subset_p (t_class, rld[t_reload].class)

                || reg_class_subset_p (rld[t_reload].class, t_class))

            && ((in_p && rld[t_reload].inmode == t_mode)

                || (! in_p && rld[t_reload].outmode == t_mode))

            && ((in_p && (rld[t_reload].secondary_in_icode

                          == CODE_FOR_nothing))

                || (! in_p &&(rld[t_reload].secondary_out_icode

                              == CODE_FOR_nothing)))

            && (SMALL_REGISTER_CLASS_P (t_class) || SMALL_REGISTER_CLASSES)

            && MERGABLE_RELOADS (secondary_type,

                                 rld[t_reload].when_needed,

                                 opnum, rld[t_reload].opnum))

          {

            if (in_p)

              rld[t_reload].inmode = t_mode;

            if (! in_p)

              rld[t_reload].outmode = t_mode;

            if (reg_class_subset_p (t_class, rld[t_reload].class))

              rld[t_reload].class = t_class;

            rld[t_reload].opnum = MIN (rld[t_reload].opnum, opnum);

            rld[t_reload].optional &= optional;

            rld[t_reload].secondary_p = 1;

            if (MERGE_TO_OTHER (secondary_type, rld[t_reload].when_needed,

                                opnum, rld[t_reload].opnum))

              rld[t_reload].when_needed = RELOAD_OTHER;

          }

      if (t_reload == n_reloads)

        {

          /* We need to make a new tertiary reload for this register class.  */

          rld[t_reload].in = rld[t_reload].out = 0;

          rld[t_reload].class = t_class;

          rld[t_reload].inmode = in_p ? t_mode : VOIDmode;

          rld[t_reload].outmode = ! in_p ? t_mode : VOIDmode;

          rld[t_reload].reg_rtx = 0;

          rld[t_reload].optional = optional;

          rld[t_reload].inc = 0;

          /* Maybe we could combine these, but it seems too tricky.  */

          rld[t_reload].nocombine = 1;

          rld[t_reload].in_reg = 0;

          rld[t_reload].out_reg = 0;

          rld[t_reload].opnum = opnum;

          rld[t_reload].when_needed = secondary_type;

          rld[t_reload].secondary_in_reload = -1;

          rld[t_reload].secondary_out_reload = -1;

          rld[t_reload].secondary_in_icode = CODE_FOR_nothing;

          rld[t_reload].secondary_out_icode = CODE_FOR_nothing;

          rld[t_reload].secondary_p = 1;

          n_reloads++;

        }

    }

  /* See if we can reuse an existing secondary reload.  */

  for (s_reload = 0; s_reload < n_reloads; s_reload++)

    if (rld[s_reload].secondary_p

        && (reg_class_subset_p (class, rld[s_reload].class)

            || reg_class_subset_p (rld[s_reload].class, class))

        && ((in_p && rld[s_reload].inmode == mode)

            || (! in_p && rld[s_reload].outmode == mode))

        && ((in_p && rld[s_reload].secondary_in_reload == t_reload)

            || (! in_p && rld[s_reload].secondary_out_reload == t_reload))

        && ((in_p && rld[s_reload].secondary_in_icode == t_icode)

            || (! in_p && rld[s_reload].secondary_out_icode == t_icode))

        && (SMALL_REGISTER_CLASS_P (class) || SMALL_REGISTER_CLASSES)

        && MERGABLE_RELOADS (secondary_type, rld[s_reload].when_needed,

                             opnum, rld[s_reload].opnum))

      {

        if (in_p)

          rld[s_reload].inmode = mode;

        if (! in_p)

          rld[s_reload].outmode = mode;

        if (reg_class_subset_p (class, rld[s_reload].class))

          rld[s_reload].class = class;

        rld[s_reload].opnum = MIN (rld[s_reload].opnum, opnum);

        rld[s_reload].optional &= optional;

        rld[s_reload].secondary_p = 1;

        if (MERGE_TO_OTHER (secondary_type, rld[s_reload].when_needed,

                            opnum, rld[s_reload].opnum))

          rld[s_reload].when_needed = RELOAD_OTHER;

      }

  if (s_reload == n_reloads)

    {

#ifdef SECONDARY_MEMORY_NEEDED

      /* If we need a memory location to copy between the two reload regs,

         set it up now.  Note that we do the input case before making

         the reload and the output case after.  This is due to the

         way reloads are output.  */

      if (in_p && icode == CODE_FOR_nothing

          && SECONDARY_MEMORY_NEEDED (class, reload_class, mode))

        {

          get_secondary_mem (x, reload_mode, opnum, type);

          /* We may have just added new reloads.  Make sure we add

             the new reload at the end.  */

          s_reload = n_reloads;

        }

#endif

      /* We need to make a new secondary reload for this register class.  */

      rld[s_reload].in = rld[s_reload].out = 0;

      rld[s_reload].class = class;

      rld[s_reload].inmode = in_p ? mode : VOIDmode;

      rld[s_reload].outmode = ! in_p ? mode : VOIDmode;

      rld[s_reload].reg_rtx = 0;

      rld[s_reload].optional = optional;

      rld[s_reload].inc = 0;

      /* Maybe we could combine these, but it seems too tricky.  */

      rld[s_reload].nocombine = 1;

      rld[s_reload].in_reg = 0;

      rld[s_reload].out_reg = 0;

      rld[s_reload].opnum = opnum;

      rld[s_reload].when_needed = secondary_type;

      rld[s_reload].secondary_in_reload = in_p ? t_reload : -1;

      rld[s_reload].secondary_out_reload = ! in_p ? t_reload : -1;

      rld[s_reload].secondary_in_icode = in_p ? t_icode : CODE_FOR_nothing;

      rld[s_reload].secondary_out_icode

        = ! in_p ? t_icode : CODE_FOR_nothing;

      rld[s_reload].secondary_p = 1;

      n_reloads++;

#ifdef SECONDARY_MEMORY_NEEDED

      if (! in_p && icode == CODE_FOR_nothing

          && SECONDARY_MEMORY_NEEDED (reload_class, class, mode))

        get_secondary_mem (x, mode, opnum, type);

#endif

    }

  *picode = icode;

  return s_reload;

}

#endif /* HAVE_SECONDARY_RELOADS */

#ifdef SECONDARY_MEMORY_NEEDED

/* Return a memory location that will be used to copy X in mode MODE.

   If we haven't already made a location for this mode in this insn,

   call find_reloads_address on the location being returned.  */

rtx

get_secondary_mem (rtx x ATTRIBUTE_UNUSED, enum machine_mode mode,

                   int opnum, enum reload_type type)

{

  rtx loc;

  int mem_valid;

  /* By default, if MODE is narrower than a word, widen it to a word.

     This is required because most machines that require these memory

     locations do not support short load and stores from all registers

     (e.g., FP registers).  */

#ifdef SECONDARY_MEMORY_NEEDED_MODE

  mode = SECONDARY_MEMORY_NEEDED_MODE (mode);

#else

  if (GET_MODE_BITSIZE (mode) < BITS_PER_WORD && INTEGRAL_MODE_P (mode))

    mode = mode_for_size (BITS_PER_WORD, GET_MODE_CLASS (mode), 0);

#endif

  /* If we already have made a MEM for this operand in MODE, return it.  */

  if (secondary_memlocs_elim[(int) mode][opnum] != 0)

    return secondary_memlocs_elim[(int) mode][opnum];

  /* If this is the first time we've tried to get a MEM for this mode,

     allocate a new one.  `something_changed' in reload will get set

     by noticing that the frame size has changed.  */

  if (secondary_memlocs[(int) mode] == 0)

    {

#ifdef SECONDARY_MEMORY_NEEDED_RTX

      secondary_memlocs[(int) mode] = SECONDARY_MEMORY_NEEDED_RTX (mode);

#else

      secondary_memlocs[(int) mode]

        = assign_stack_local (mode, GET_MODE_SIZE (mode), 0);

#endif

    }

  /* Get a version of the address doing any eliminations needed.  If that

     didn't give us a new MEM, make a new one if it isn't valid.  */

  loc = eliminate_regs (secondary_memlocs[(int) mode], VOIDmode, NULL_RTX);

  mem_valid = strict_memory_address_p (mode, XEXP (loc, 0));

  if (! mem_valid && loc == secondary_memlocs[(int) mode])

    loc = copy_rtx (loc);

  /* The only time the call below will do anything is if the stack

     offset is too large.  In that case IND_LEVELS doesn't matter, so we

     can just pass a zero.  Adjust the type to be the address of the

     corresponding object.  If the address was valid, save the eliminated

     address.  If it wasn't valid, we need to make a reload each time, so

     don't save it.  */

  if (! mem_valid)

    {

      type =  (type == RELOAD_FOR_INPUT ? RELOAD_FOR_INPUT_ADDRESS

               : type == RELOAD_FOR_OUTPUT ? RELOAD_FOR_OUTPUT_ADDRESS

               : RELOAD_OTHER);

      find_reloads_address (mode, &loc, XEXP (loc, 0), &XEXP (loc, 0),

                            opnum, type, 0, 0);

    }

  secondary_memlocs_elim[(int) mode][opnum] = loc;

  if (secondary_memlocs_elim_used <= (int)mode)

    secondary_memlocs_elim_used = (int)mode + 1;

  return loc;

}

/* Clear any secondary memory locations we've made.  */

void

clear_secondary_mem (void)

{

  memset (secondary_memlocs, 0, sizeof secondary_memlocs);

}

#endif /* SECONDARY_MEMORY_NEEDED */

/* Find the largest class which has at least one register valid in

   mode INNER, and which for every such register, that register number

   plus N is also valid in OUTER (if in range) and is cheap to move