Subversion Repositories scarts

;; Predicate definitions for MIPS.

;; Copyright (C) 2004 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.

(define_predicate "const_uns_arith_operand"

  (and (match_code "const_int")

       (match_test "SMALL_OPERAND_UNSIGNED (INTVAL (op))")))

(define_predicate "uns_arith_operand"

  (ior (match_operand 0 "const_uns_arith_operand")

       (match_operand 0 "register_operand")))

(define_predicate "const_arith_operand"

  (and (match_code "const_int")

       (match_test "SMALL_OPERAND (INTVAL (op))")))

(define_predicate "arith_operand"

  (ior (match_operand 0 "const_arith_operand")

       (match_operand 0 "register_operand")))

(define_predicate "const_uimm6_operand"

  (and (match_code "const_int")

       (match_test "UIMM6_OPERAND (INTVAL (op))")))

(define_predicate "const_imm10_operand"

  (and (match_code "const_int")

       (match_test "IMM10_OPERAND (INTVAL (op))")))

(define_predicate "reg_imm10_operand"

  (ior (match_operand 0 "const_imm10_operand")

       (match_operand 0 "register_operand")))

(define_predicate "sle_operand"

  (and (match_code "const_int")

       (match_test "SMALL_OPERAND (INTVAL (op) + 1)")))

(define_predicate "sleu_operand"

  (and (match_operand 0 "sle_operand")

       (match_test "INTVAL (op) + 1 != 0")))

(define_predicate "const_0_operand"

  (and (match_code "const_int,const_double,const_vector")

       (match_test "op == CONST0_RTX (GET_MODE (op))")))

(define_predicate "reg_or_0_operand"

  (ior (and (match_operand 0 "const_0_operand")

            (match_test "!TARGET_MIPS16"))

       (match_operand 0 "register_operand")))

(define_predicate "const_1_operand"

  (and (match_code "const_int,const_double,const_vector")

       (match_test "op == CONST1_RTX (GET_MODE (op))")))

(define_predicate "reg_or_1_operand"

  (ior (match_operand 0 "const_1_operand")

       (match_operand 0 "register_operand")))

;; This is used for indexing into vectors, and hence only accepts const_int.

(define_predicate "const_0_or_1_operand"

  (and (match_code "const_int")

       (ior (match_test "op == CONST0_RTX (GET_MODE (op))")

            (match_test "op == CONST1_RTX (GET_MODE (op))"))))

(define_predicate "fpr_operand"

  (and (match_code "reg")

       (match_test "FP_REG_P (REGNO (op))")))

(define_predicate "lo_operand"

  (and (match_code "reg")

       (match_test "REGNO (op) == LO_REGNUM")))

(define_predicate "fcc_reload_operand"

  (and (match_code "reg,subreg")

       (match_test "ST_REG_P (true_regnum (op))")))

(define_special_predicate "pc_or_label_operand"

  (match_code "pc,label_ref"))

(define_predicate "const_call_insn_operand"

  (match_code "const,symbol_ref,label_ref")

{

  enum mips_symbol_type symbol_type;

  if (!mips_symbolic_constant_p (op, &symbol_type))

    return false;

  switch (symbol_type)

    {

    case SYMBOL_GENERAL:

      /* If -mlong-calls, force all calls to use register addressing.  Also,

         if this function has the long_call attribute, we must use register

         addressing.  */

      return !TARGET_LONG_CALLS && !SYMBOL_REF_LONG_CALL_P (op);

    case SYMBOL_GOT_GLOBAL:

      /* Without explicit relocs, there is no special syntax for

         loading the address of a call destination into a register.

         Using "la $25,foo; jal $25" would prevent the lazy binding

         of "foo", so keep the address of global symbols with the

         jal macro.  */

      return !TARGET_EXPLICIT_RELOCS;

    default:

      return false;

    }

})

(define_predicate "call_insn_operand"

  (ior (match_operand 0 "const_call_insn_operand")

       (match_operand 0 "register_operand")))

(define_predicate "move_operand"

  (match_operand 0 "general_operand")

{

  switch (GET_CODE (op))

    {

    case CONST_INT:

      /* When generating mips16 code, LEGITIMATE_CONSTANT_P rejects

         CONST_INTs that can't be loaded using simple insns.  */

      if (TARGET_MIPS16)

        return true;

      /* When generating 32-bit code, allow DImode move_operands to

         match arbitrary constants.  We split them after reload.  */

      if (!TARGET_64BIT && mode == DImode)

        return true;

      /* Otherwise check whether the constant can be loaded in a single

         instruction.  */

      return LUI_INT (op) || SMALL_INT (op) || SMALL_INT_UNSIGNED (op);

    case CONST:

    case SYMBOL_REF:

    case LABEL_REF:

      return CONST_GP_P (op) || mips_atomic_symbolic_constant_p (op);

    default:

      return true;

    }

})

(define_predicate "consttable_operand"

  (match_test "CONSTANT_P (op)"))

(define_predicate "symbolic_operand"

  (match_code "const,symbol_ref,label_ref")

{

  enum mips_symbol_type type;

  return mips_symbolic_constant_p (op, &type);

})

(define_predicate "general_symbolic_operand"

  (match_code "const,symbol_ref,label_ref")

{

  enum mips_symbol_type type;

  return mips_symbolic_constant_p (op, &type) && type == SYMBOL_GENERAL;

})

(define_predicate "global_got_operand"

  (match_code "const,symbol_ref,label_ref")

{

  enum mips_symbol_type type;

  return mips_symbolic_constant_p (op, &type) && type == SYMBOL_GOT_GLOBAL;

})

(define_predicate "local_got_operand"

  (match_code "const,symbol_ref,label_ref")

{

  enum mips_symbol_type type;

  return mips_symbolic_constant_p (op, &type) && type == SYMBOL_GOT_LOCAL;

})

(define_predicate "stack_operand"

  (and (match_code "mem")

       (match_test "mips_stack_address_p (XEXP (op, 0), GET_MODE (op))")))

(define_predicate "macc_msac_operand"

  (ior (and (match_code "plus") (match_test "ISA_HAS_MACC"))

       (and (match_code "minus") (match_test "ISA_HAS_MSAC")))

{

  rtx mult = XEXP (op, GET_CODE (op) == PLUS ? 0 : 1);

  rtx accum = XEXP (op, GET_CODE (op) == PLUS ? 1 : 0);

  return (GET_CODE (mult) == MULT

          && REG_P (XEXP (mult, 0))

          && REG_P (XEXP (mult, 1))

          && REG_P (accum));

})

(define_predicate "equality_operator"

  (match_code "eq,ne"))

(define_predicate "extend_operator"

  (match_code "zero_extend,sign_extend"))

(define_predicate "trap_comparison_operator"

  (match_code "eq,ne,lt,ltu,ge,geu"))

(define_predicate "small_data_pattern"

  (and (match_code "set,parallel,unspec,unspec_volatile,prefetch")

       (match_test "mips_small_data_pattern_p (op)")))