;; Predicate definitions for MIPS.
|
;; Predicate definitions for MIPS.
|
;; Copyright (C) 2004, 2007 Free Software Foundation, Inc.
|
;; Copyright (C) 2004, 2007 Free Software Foundation, Inc.
|
;;
|
;;
|
;; This file is part of GCC.
|
;; This file is part of GCC.
|
;;
|
;;
|
;; GCC is free software; you can redistribute it and/or modify
|
;; GCC is free software; you can redistribute it and/or modify
|
;; it under the terms of the GNU General Public License as published by
|
;; it under the terms of the GNU General Public License as published by
|
;; the Free Software Foundation; either version 3, or (at your option)
|
;; the Free Software Foundation; either version 3, or (at your option)
|
;; any later version.
|
;; any later version.
|
;;
|
;;
|
;; GCC is distributed in the hope that it will be useful,
|
;; GCC is distributed in the hope that it will be useful,
|
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
|
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
|
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
;; GNU General Public License for more details.
|
;; GNU General Public License for more details.
|
;;
|
;;
|
;; You should have received a copy of the GNU General Public License
|
;; You should have received a copy of the GNU General Public License
|
;; along with GCC; see the file COPYING3. If not see
|
;; along with GCC; see the file COPYING3. If not see
|
;; .
|
;; .
|
|
|
(define_predicate "const_uns_arith_operand"
|
(define_predicate "const_uns_arith_operand"
|
(and (match_code "const_int")
|
(and (match_code "const_int")
|
(match_test "SMALL_OPERAND_UNSIGNED (INTVAL (op))")))
|
(match_test "SMALL_OPERAND_UNSIGNED (INTVAL (op))")))
|
|
|
(define_predicate "uns_arith_operand"
|
(define_predicate "uns_arith_operand"
|
(ior (match_operand 0 "const_uns_arith_operand")
|
(ior (match_operand 0 "const_uns_arith_operand")
|
(match_operand 0 "register_operand")))
|
(match_operand 0 "register_operand")))
|
|
|
(define_predicate "const_arith_operand"
|
(define_predicate "const_arith_operand"
|
(and (match_code "const_int")
|
(and (match_code "const_int")
|
(match_test "SMALL_OPERAND (INTVAL (op))")))
|
(match_test "SMALL_OPERAND (INTVAL (op))")))
|
|
|
(define_predicate "arith_operand"
|
(define_predicate "arith_operand"
|
(ior (match_operand 0 "const_arith_operand")
|
(ior (match_operand 0 "const_arith_operand")
|
(match_operand 0 "register_operand")))
|
(match_operand 0 "register_operand")))
|
|
|
(define_predicate "const_uimm6_operand"
|
(define_predicate "const_uimm6_operand"
|
(and (match_code "const_int")
|
(and (match_code "const_int")
|
(match_test "UIMM6_OPERAND (INTVAL (op))")))
|
(match_test "UIMM6_OPERAND (INTVAL (op))")))
|
|
|
(define_predicate "const_imm10_operand"
|
(define_predicate "const_imm10_operand"
|
(and (match_code "const_int")
|
(and (match_code "const_int")
|
(match_test "IMM10_OPERAND (INTVAL (op))")))
|
(match_test "IMM10_OPERAND (INTVAL (op))")))
|
|
|
(define_predicate "reg_imm10_operand"
|
(define_predicate "reg_imm10_operand"
|
(ior (match_operand 0 "const_imm10_operand")
|
(ior (match_operand 0 "const_imm10_operand")
|
(match_operand 0 "register_operand")))
|
(match_operand 0 "register_operand")))
|
|
|
(define_predicate "sle_operand"
|
(define_predicate "sle_operand"
|
(and (match_code "const_int")
|
(and (match_code "const_int")
|
(match_test "SMALL_OPERAND (INTVAL (op) + 1)")))
|
(match_test "SMALL_OPERAND (INTVAL (op) + 1)")))
|
|
|
(define_predicate "sleu_operand"
|
(define_predicate "sleu_operand"
|
(and (match_operand 0 "sle_operand")
|
(and (match_operand 0 "sle_operand")
|
(match_test "INTVAL (op) + 1 != 0")))
|
(match_test "INTVAL (op) + 1 != 0")))
|
|
|
(define_predicate "const_0_operand"
|
(define_predicate "const_0_operand"
|
(and (match_code "const_int,const_double,const_vector")
|
(and (match_code "const_int,const_double,const_vector")
|
(match_test "op == CONST0_RTX (GET_MODE (op))")))
|
(match_test "op == CONST0_RTX (GET_MODE (op))")))
|
|
|
(define_predicate "reg_or_0_operand"
|
(define_predicate "reg_or_0_operand"
|
(ior (and (match_operand 0 "const_0_operand")
|
(ior (and (match_operand 0 "const_0_operand")
|
(match_test "!TARGET_MIPS16"))
|
(match_test "!TARGET_MIPS16"))
|
(match_operand 0 "register_operand")))
|
(match_operand 0 "register_operand")))
|
|
|
(define_predicate "const_1_operand"
|
(define_predicate "const_1_operand"
|
(and (match_code "const_int,const_double,const_vector")
|
(and (match_code "const_int,const_double,const_vector")
|
(match_test "op == CONST1_RTX (GET_MODE (op))")))
|
(match_test "op == CONST1_RTX (GET_MODE (op))")))
|
|
|
(define_predicate "reg_or_1_operand"
|
(define_predicate "reg_or_1_operand"
|
(ior (match_operand 0 "const_1_operand")
|
(ior (match_operand 0 "const_1_operand")
|
(match_operand 0 "register_operand")))
|
(match_operand 0 "register_operand")))
|
|
|
;; This is used for indexing into vectors, and hence only accepts const_int.
|
;; This is used for indexing into vectors, and hence only accepts const_int.
|
(define_predicate "const_0_or_1_operand"
|
(define_predicate "const_0_or_1_operand"
|
(and (match_code "const_int")
|
(and (match_code "const_int")
|
(ior (match_test "op == CONST0_RTX (GET_MODE (op))")
|
(ior (match_test "op == CONST0_RTX (GET_MODE (op))")
|
(match_test "op == CONST1_RTX (GET_MODE (op))"))))
|
(match_test "op == CONST1_RTX (GET_MODE (op))"))))
|
|
|
(define_predicate "fpr_operand"
|
(define_predicate "fpr_operand"
|
(and (match_code "reg")
|
(and (match_code "reg")
|
(match_test "FP_REG_P (REGNO (op))")))
|
(match_test "FP_REG_P (REGNO (op))")))
|
|
|
(define_predicate "lo_operand"
|
(define_predicate "lo_operand"
|
(and (match_code "reg")
|
(and (match_code "reg")
|
(match_test "REGNO (op) == LO_REGNUM")))
|
(match_test "REGNO (op) == LO_REGNUM")))
|
|
|
(define_predicate "fcc_reload_operand"
|
(define_predicate "fcc_reload_operand"
|
(and (match_code "reg,subreg")
|
(and (match_code "reg,subreg")
|
(match_test "ST_REG_P (true_regnum (op))")))
|
(match_test "ST_REG_P (true_regnum (op))")))
|
|
|
(define_special_predicate "pc_or_label_operand"
|
(define_special_predicate "pc_or_label_operand"
|
(match_code "pc,label_ref"))
|
(match_code "pc,label_ref"))
|
|
|
(define_predicate "const_call_insn_operand"
|
(define_predicate "const_call_insn_operand"
|
(match_code "const,symbol_ref,label_ref")
|
(match_code "const,symbol_ref,label_ref")
|
{
|
{
|
enum mips_symbol_type symbol_type;
|
enum mips_symbol_type symbol_type;
|
|
|
if (!mips_symbolic_constant_p (op, &symbol_type))
|
if (!mips_symbolic_constant_p (op, &symbol_type))
|
return false;
|
return false;
|
|
|
switch (symbol_type)
|
switch (symbol_type)
|
{
|
{
|
case SYMBOL_GENERAL:
|
case SYMBOL_GENERAL:
|
/* We can only use direct calls for TARGET_ABSOLUTE_ABICALLS if we
|
/* We can only use direct calls for TARGET_ABSOLUTE_ABICALLS if we
|
are sure that the target function does not need $25 to be live
|
are sure that the target function does not need $25 to be live
|
on entry. This is true for any locally-defined function because
|
on entry. This is true for any locally-defined function because
|
any such function will use %hi/%lo accesses to set up $gp. */
|
any such function will use %hi/%lo accesses to set up $gp. */
|
if (TARGET_ABSOLUTE_ABICALLS
|
if (TARGET_ABSOLUTE_ABICALLS
|
&& !(GET_CODE (op) == SYMBOL_REF
|
&& !(GET_CODE (op) == SYMBOL_REF
|
&& SYMBOL_REF_DECL (op)
|
&& SYMBOL_REF_DECL (op)
|
&& !DECL_EXTERNAL (SYMBOL_REF_DECL (op))))
|
&& !DECL_EXTERNAL (SYMBOL_REF_DECL (op))))
|
return false;
|
return false;
|
|
|
/* If -mlong-calls, force all calls to use register addressing. Also,
|
/* If -mlong-calls, force all calls to use register addressing. Also,
|
if this function has the long_call attribute, we must use register
|
if this function has the long_call attribute, we must use register
|
addressing. */
|
addressing. */
|
return (!TARGET_LONG_CALLS
|
return (!TARGET_LONG_CALLS
|
&& !(GET_CODE (op) == SYMBOL_REF
|
&& !(GET_CODE (op) == SYMBOL_REF
|
&& SYMBOL_REF_LONG_CALL_P (op)));
|
&& SYMBOL_REF_LONG_CALL_P (op)));
|
|
|
case SYMBOL_GOT_GLOBAL:
|
case SYMBOL_GOT_GLOBAL:
|
/* Without explicit relocs, there is no special syntax for
|
/* Without explicit relocs, there is no special syntax for
|
loading the address of a call destination into a register.
|
loading the address of a call destination into a register.
|
Using "la $25,foo; jal $25" would prevent the lazy binding
|
Using "la $25,foo; jal $25" would prevent the lazy binding
|
of "foo", so keep the address of global symbols with the
|
of "foo", so keep the address of global symbols with the
|
jal macro. */
|
jal macro. */
|
return !TARGET_EXPLICIT_RELOCS;
|
return !TARGET_EXPLICIT_RELOCS;
|
|
|
default:
|
default:
|
return false;
|
return false;
|
}
|
}
|
})
|
})
|
|
|
(define_predicate "call_insn_operand"
|
(define_predicate "call_insn_operand"
|
(ior (match_operand 0 "const_call_insn_operand")
|
(ior (match_operand 0 "const_call_insn_operand")
|
(match_operand 0 "register_operand")))
|
(match_operand 0 "register_operand")))
|
|
|
;; A legitimate CONST_INT operand that takes more than one instruction
|
;; A legitimate CONST_INT operand that takes more than one instruction
|
;; to load.
|
;; to load.
|
(define_predicate "splittable_const_int_operand"
|
(define_predicate "splittable_const_int_operand"
|
(match_code "const_int")
|
(match_code "const_int")
|
{
|
{
|
/* When generating mips16 code, LEGITIMATE_CONSTANT_P rejects
|
/* When generating mips16 code, LEGITIMATE_CONSTANT_P rejects
|
CONST_INTs that can't be loaded using simple insns. */
|
CONST_INTs that can't be loaded using simple insns. */
|
if (TARGET_MIPS16)
|
if (TARGET_MIPS16)
|
return false;
|
return false;
|
|
|
/* Don't handle multi-word moves this way; we don't want to introduce
|
/* Don't handle multi-word moves this way; we don't want to introduce
|
the individual word-mode moves until after reload. */
|
the individual word-mode moves until after reload. */
|
if (GET_MODE_SIZE (mode) > UNITS_PER_WORD)
|
if (GET_MODE_SIZE (mode) > UNITS_PER_WORD)
|
return false;
|
return false;
|
|
|
/* Otherwise check whether the constant can be loaded in a single
|
/* Otherwise check whether the constant can be loaded in a single
|
instruction. */
|
instruction. */
|
return !LUI_INT (op) && !SMALL_INT (op) && !SMALL_INT_UNSIGNED (op);
|
return !LUI_INT (op) && !SMALL_INT (op) && !SMALL_INT_UNSIGNED (op);
|
})
|
})
|
|
|
;; A legitimate symbolic operand that takes more than one instruction
|
;; A legitimate symbolic operand that takes more than one instruction
|
;; to load.
|
;; to load.
|
(define_predicate "splittable_symbolic_operand"
|
(define_predicate "splittable_symbolic_operand"
|
(match_code "const,symbol_ref,label_ref")
|
(match_code "const,symbol_ref,label_ref")
|
{
|
{
|
enum mips_symbol_type symbol_type;
|
enum mips_symbol_type symbol_type;
|
return (mips_symbolic_constant_p (op, &symbol_type)
|
return (mips_symbolic_constant_p (op, &symbol_type)
|
&& mips_split_p[symbol_type]);
|
&& mips_split_p[symbol_type]);
|
})
|
})
|
|
|
(define_predicate "move_operand"
|
(define_predicate "move_operand"
|
(match_operand 0 "general_operand")
|
(match_operand 0 "general_operand")
|
{
|
{
|
enum mips_symbol_type symbol_type;
|
enum mips_symbol_type symbol_type;
|
|
|
/* The thinking here is as follows:
|
/* The thinking here is as follows:
|
|
|
(1) The move expanders should split complex load sequences into
|
(1) The move expanders should split complex load sequences into
|
individual instructions. Those individual instructions can
|
individual instructions. Those individual instructions can
|
then be optimized by all rtl passes.
|
then be optimized by all rtl passes.
|
|
|
(2) The target of pre-reload load sequences should not be used
|
(2) The target of pre-reload load sequences should not be used
|
to store temporary results. If the target register is only
|
to store temporary results. If the target register is only
|
assigned one value, reload can rematerialize that value
|
assigned one value, reload can rematerialize that value
|
on demand, rather than spill it to the stack.
|
on demand, rather than spill it to the stack.
|
|
|
(3) If we allowed pre-reload passes like combine and cse to recreate
|
(3) If we allowed pre-reload passes like combine and cse to recreate
|
complex load sequences, we would want to be able to split the
|
complex load sequences, we would want to be able to split the
|
sequences before reload as well, so that the pre-reload scheduler
|
sequences before reload as well, so that the pre-reload scheduler
|
can see the individual instructions. This falls foul of (2);
|
can see the individual instructions. This falls foul of (2);
|
the splitter would be forced to reuse the target register for
|
the splitter would be forced to reuse the target register for
|
intermediate results.
|
intermediate results.
|
|
|
(4) We want to define complex load splitters for combine. These
|
(4) We want to define complex load splitters for combine. These
|
splitters can request a temporary scratch register, which avoids
|
splitters can request a temporary scratch register, which avoids
|
the problem in (2). They allow things like:
|
the problem in (2). They allow things like:
|
|
|
(set (reg T1) (high SYM))
|
(set (reg T1) (high SYM))
|
(set (reg T2) (low (reg T1) SYM))
|
(set (reg T2) (low (reg T1) SYM))
|
(set (reg X) (plus (reg T2) (const_int OFFSET)))
|
(set (reg X) (plus (reg T2) (const_int OFFSET)))
|
|
|
to be combined into:
|
to be combined into:
|
|
|
(set (reg T3) (high SYM+OFFSET))
|
(set (reg T3) (high SYM+OFFSET))
|
(set (reg X) (lo_sum (reg T3) SYM+OFFSET))
|
(set (reg X) (lo_sum (reg T3) SYM+OFFSET))
|
|
|
if T2 is only used this once. */
|
if T2 is only used this once. */
|
switch (GET_CODE (op))
|
switch (GET_CODE (op))
|
{
|
{
|
case CONST_INT:
|
case CONST_INT:
|
return !splittable_const_int_operand (op, mode);
|
return !splittable_const_int_operand (op, mode);
|
|
|
case CONST:
|
case CONST:
|
case SYMBOL_REF:
|
case SYMBOL_REF:
|
case LABEL_REF:
|
case LABEL_REF:
|
if (CONST_GP_P (op))
|
if (CONST_GP_P (op))
|
return true;
|
return true;
|
return (mips_symbolic_constant_p (op, &symbol_type)
|
return (mips_symbolic_constant_p (op, &symbol_type)
|
&& !mips_split_p[symbol_type]);
|
&& !mips_split_p[symbol_type]);
|
|
|
default:
|
default:
|
return true;
|
return true;
|
}
|
}
|
})
|
})
|
|
|
(define_predicate "consttable_operand"
|
(define_predicate "consttable_operand"
|
(match_test "CONSTANT_P (op)"))
|
(match_test "CONSTANT_P (op)"))
|
|
|
(define_predicate "symbolic_operand"
|
(define_predicate "symbolic_operand"
|
(match_code "const,symbol_ref,label_ref")
|
(match_code "const,symbol_ref,label_ref")
|
{
|
{
|
enum mips_symbol_type type;
|
enum mips_symbol_type type;
|
return mips_symbolic_constant_p (op, &type);
|
return mips_symbolic_constant_p (op, &type);
|
})
|
})
|
|
|
(define_predicate "general_symbolic_operand"
|
(define_predicate "general_symbolic_operand"
|
(match_code "const,symbol_ref,label_ref")
|
(match_code "const,symbol_ref,label_ref")
|
{
|
{
|
enum mips_symbol_type type;
|
enum mips_symbol_type type;
|
return mips_symbolic_constant_p (op, &type) && type == SYMBOL_GENERAL;
|
return mips_symbolic_constant_p (op, &type) && type == SYMBOL_GENERAL;
|
})
|
})
|
|
|
(define_predicate "global_got_operand"
|
(define_predicate "global_got_operand"
|
(match_code "const,symbol_ref,label_ref")
|
(match_code "const,symbol_ref,label_ref")
|
{
|
{
|
enum mips_symbol_type type;
|
enum mips_symbol_type type;
|
return mips_symbolic_constant_p (op, &type) && type == SYMBOL_GOT_GLOBAL;
|
return mips_symbolic_constant_p (op, &type) && type == SYMBOL_GOT_GLOBAL;
|
})
|
})
|
|
|
(define_predicate "local_got_operand"
|
(define_predicate "local_got_operand"
|
(match_code "const,symbol_ref,label_ref")
|
(match_code "const,symbol_ref,label_ref")
|
{
|
{
|
enum mips_symbol_type type;
|
enum mips_symbol_type type;
|
return mips_symbolic_constant_p (op, &type) && type == SYMBOL_GOT_LOCAL;
|
return mips_symbolic_constant_p (op, &type) && type == SYMBOL_GOT_LOCAL;
|
})
|
})
|
|
|
(define_predicate "stack_operand"
|
(define_predicate "stack_operand"
|
(and (match_code "mem")
|
(and (match_code "mem")
|
(match_test "mips_stack_address_p (XEXP (op, 0), GET_MODE (op))")))
|
(match_test "mips_stack_address_p (XEXP (op, 0), GET_MODE (op))")))
|
|
|
(define_predicate "macc_msac_operand"
|
(define_predicate "macc_msac_operand"
|
(ior (and (match_code "plus") (match_test "ISA_HAS_MACC"))
|
(ior (and (match_code "plus") (match_test "ISA_HAS_MACC"))
|
(and (match_code "minus") (match_test "ISA_HAS_MSAC")))
|
(and (match_code "minus") (match_test "ISA_HAS_MSAC")))
|
{
|
{
|
rtx mult = XEXP (op, GET_CODE (op) == PLUS ? 0 : 1);
|
rtx mult = XEXP (op, GET_CODE (op) == PLUS ? 0 : 1);
|
rtx accum = XEXP (op, GET_CODE (op) == PLUS ? 1 : 0);
|
rtx accum = XEXP (op, GET_CODE (op) == PLUS ? 1 : 0);
|
return (GET_CODE (mult) == MULT
|
return (GET_CODE (mult) == MULT
|
&& REG_P (XEXP (mult, 0))
|
&& REG_P (XEXP (mult, 0))
|
&& REG_P (XEXP (mult, 1))
|
&& REG_P (XEXP (mult, 1))
|
&& REG_P (accum));
|
&& REG_P (accum));
|
})
|
})
|
|
|
|
|
(define_predicate "equality_operator"
|
(define_predicate "equality_operator"
|
(match_code "eq,ne"))
|
(match_code "eq,ne"))
|
|
|
(define_predicate "extend_operator"
|
(define_predicate "extend_operator"
|
(match_code "zero_extend,sign_extend"))
|
(match_code "zero_extend,sign_extend"))
|
|
|
(define_predicate "trap_comparison_operator"
|
(define_predicate "trap_comparison_operator"
|
(match_code "eq,ne,lt,ltu,ge,geu"))
|
(match_code "eq,ne,lt,ltu,ge,geu"))
|
|
|
(define_predicate "order_operator"
|
(define_predicate "order_operator"
|
(match_code "lt,ltu,le,leu,ge,geu,gt,gtu"))
|
(match_code "lt,ltu,le,leu,ge,geu,gt,gtu"))
|
|
|
|
|
(define_predicate "small_data_pattern"
|
(define_predicate "small_data_pattern"
|
(and (match_code "set,parallel,unspec,unspec_volatile,prefetch")
|
(and (match_code "set,parallel,unspec,unspec_volatile,prefetch")
|
(match_test "mips_small_data_pattern_p (op)")))
|
(match_test "mips_small_data_pattern_p (op)")))
|
|
|