diff options
Diffstat (limited to 'contrib/gcc/config/mips/predicates.md')
| -rw-r--r-- | contrib/gcc/config/mips/predicates.md | 288 |
1 files changed, 0 insertions, 288 deletions
diff --git a/contrib/gcc/config/mips/predicates.md b/contrib/gcc/config/mips/predicates.md deleted file mode 100644 index bbc8e3cf813e..000000000000 --- a/contrib/gcc/config/mips/predicates.md +++ /dev/null @@ -1,288 +0,0 @@ -;; 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: - /* 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 - on entry. This is true for any locally-defined function because - any such function will use %hi/%lo accesses to set up $gp. */ - if (TARGET_ABSOLUTE_ABICALLS - && !(GET_CODE (op) == SYMBOL_REF - && SYMBOL_REF_DECL (op) - && !DECL_EXTERNAL (SYMBOL_REF_DECL (op)))) - return false; - - /* 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 - && !(GET_CODE (op) == SYMBOL_REF - && 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"))) - -;; A legitimate CONST_INT operand that takes more than one instruction -;; to load. -(define_predicate "splittable_const_int_operand" - (match_code "const_int") -{ - /* When generating mips16 code, LEGITIMATE_CONSTANT_P rejects - CONST_INTs that can't be loaded using simple insns. */ - if (TARGET_MIPS16) - return false; - - /* Don't handle multi-word moves this way; we don't want to introduce - the individual word-mode moves until after reload. */ - if (GET_MODE_SIZE (mode) > UNITS_PER_WORD) - return false; - - /* Otherwise check whether the constant can be loaded in a single - instruction. */ - return !LUI_INT (op) && !SMALL_INT (op) && !SMALL_INT_UNSIGNED (op); -}) - -;; A legitimate symbolic operand that takes more than one instruction -;; to load. -(define_predicate "splittable_symbolic_operand" - (match_code "const,symbol_ref,label_ref") -{ - enum mips_symbol_type symbol_type; - return (mips_symbolic_constant_p (op, &symbol_type) - && mips_split_p[symbol_type]); -}) - -(define_predicate "move_operand" - (match_operand 0 "general_operand") -{ - enum mips_symbol_type symbol_type; - - /* The thinking here is as follows: - - (1) The move expanders should split complex load sequences into - individual instructions. Those individual instructions can - then be optimized by all rtl passes. - - (2) The target of pre-reload load sequences should not be used - to store temporary results. If the target register is only - assigned one value, reload can rematerialize that value - on demand, rather than spill it to the stack. - - (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 - sequences before reload as well, so that the pre-reload scheduler - can see the individual instructions. This falls foul of (2); - the splitter would be forced to reuse the target register for - intermediate results. - - (4) We want to define complex load splitters for combine. These - splitters can request a temporary scratch register, which avoids - the problem in (2). They allow things like: - - (set (reg T1) (high SYM)) - (set (reg T2) (low (reg T1) SYM)) - (set (reg X) (plus (reg T2) (const_int OFFSET))) - - to be combined into: - - (set (reg T3) (high SYM+OFFSET)) - (set (reg X) (lo_sum (reg T3) SYM+OFFSET)) - - if T2 is only used this once. */ - switch (GET_CODE (op)) - { - case CONST_INT: - return !splittable_const_int_operand (op, mode); - - case CONST: - case SYMBOL_REF: - case LABEL_REF: - if (CONST_GP_P (op)) - return true; - return (mips_symbolic_constant_p (op, &symbol_type) - && !mips_split_p[symbol_type]); - - 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 "order_operator" - (match_code "lt,ltu,le,leu,ge,geu,gt,gtu")) - - -(define_predicate "small_data_pattern" - (and (match_code "set,parallel,unspec,unspec_volatile,prefetch") - (match_test "mips_small_data_pattern_p (op)"))) |