aboutsummaryrefslogtreecommitdiff
path: root/gcc/config/bfin/predicates.md
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/config/bfin/predicates.md')
-rw-r--r--gcc/config/bfin/predicates.md127
1 files changed, 0 insertions, 127 deletions
diff --git a/gcc/config/bfin/predicates.md b/gcc/config/bfin/predicates.md
deleted file mode 100644
index 53448844dda..00000000000
--- a/gcc/config/bfin/predicates.md
+++ /dev/null
@@ -1,127 +0,0 @@
-;; Predicate definitions for the Blackfin.
-;;
-;; 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, 59 Temple Place - Suite 330,
-;; Boston, MA 02111-1307, USA.
-
-;; Return nonzero iff OP is one of the integer constants 1 or 2.
-(define_predicate "pos_scale_operand"
- (and (match_code "const_int")
- (match_test "INTVAL (op) == 1 || INTVAL (op) == 2")))
-
-;; Return nonzero iff OP is one of the integer constants 2 or 4.
-(define_predicate "scale_by_operand"
- (and (match_code "const_int")
- (match_test "INTVAL (op) == 2 || INTVAL (op) == 4")))
-
-;; Return nonzero if OP is a constant that consists of two parts; lower
-;; bits all zero and upper bits all ones. In this case, we can perform
-;; an AND operation with a sequence of two shifts. Don't return nonzero
-;; if the constant would be cheap to load.
-(define_predicate "highbits_operand"
- (and (match_code "const_int")
- (match_test "log2constp (-INTVAL (op)) && !CONST_7BIT_IMM_P (INTVAL (op))")))
-
-;; Return nonzero if OP is suitable as a right-hand side operand for an
-;; andsi3 operation.
-(define_predicate "rhs_andsi3_operand"
- (ior (match_operand 0 "register_operand")
- (and (match_code "const_int")
- (match_test "log2constp (~INTVAL (op)) || INTVAL (op) == 255 || INTVAL (op) == 65535"))))
-
-;; Return nonzero if OP is a register or a constant with exactly one bit
-;; set.
-(define_predicate "regorlog2_operand"
- (ior (match_operand 0 "register_operand")
- (and (match_code "const_int")
- (match_test "log2constp (INTVAL (op))"))))
-
-;; Like register_operand, but make sure that hard regs have a valid mode.
-(define_predicate "valid_reg_operand"
- (match_operand 0 "register_operand")
-{
- if (GET_CODE (op) == SUBREG)
- op = SUBREG_REG (op);
- if (REGNO (op) < FIRST_PSEUDO_REGISTER)
- return HARD_REGNO_MODE_OK (REGNO (op), mode);
- return 1;
-})
-
-;; Return nonzero if OP is the CC register.
-(define_predicate "cc_operand"
- (and (match_code "reg")
- (match_test "REGNO (op) == REG_CC && GET_MODE (op) == BImode")))
-
-;; Return nonzero if OP is a register or a 7 bit signed constant.
-(define_predicate "reg_or_7bit_operand"
- (ior (match_operand 0 "register_operand")
- (and (match_code "const_int")
- (match_test "CONST_7BIT_IMM_P (INTVAL (op))"))))
-
-;; Used for secondary reloads, this function returns 1 if OP is of the
-;; form (plus (fp) (const_int)).
-(define_predicate "fp_plus_const_operand"
- (match_code "plus")
-{
- rtx op1, op2;
-
- op1 = XEXP (op, 0);
- op2 = XEXP (op, 1);
- return (REG_P (op1)
- && (REGNO (op1) == FRAME_POINTER_REGNUM
- || REGNO (op1) == STACK_POINTER_REGNUM)
- && GET_CODE (op2) == CONST_INT);
-})
-
-;; Returns 1 if OP is a symbolic operand, i.e. a symbol_ref or a label_ref,
-;; possibly with an offset.
-(define_predicate "symbolic_operand"
- (ior (match_code "symbol_ref,label_ref")
- (and (match_code "const")
- (match_test "GET_CODE (XEXP (op,0)) == PLUS
- && (GET_CODE (XEXP (XEXP (op, 0), 0)) == SYMBOL_REF
- || GET_CODE (XEXP (XEXP (op, 0), 0)) == LABEL_REF)
- && GET_CODE (XEXP (XEXP (op, 0), 1)) == CONST_INT"))))
-
-;; Returns 1 if OP is a plain constant or matched by symbolic_operand.
-(define_predicate "symbolic_or_const_operand"
- (ior (match_code "const_int,const_double")
- (match_operand 0 "symbolic_operand")))
-
-;; True for any non-virtual or eliminable register. Used in places where
-;; instantiation of such a register may cause the pattern to not be recognized.
-(define_predicate "register_no_elim_operand"
- (match_operand 0 "register_operand")
-{
- if (GET_CODE (op) == SUBREG)
- op = SUBREG_REG (op);
- return !(op == arg_pointer_rtx
- || op == frame_pointer_rtx
- || (REGNO (op) >= FIRST_PSEUDO_REGISTER
- && REGNO (op) <= LAST_VIRTUAL_REGISTER));
-})
-
-;; Test for a valid operand for a call instruction. Don't allow the
-;; arg pointer register or virtual regs since they may decay into
-;; reg + const, which the patterns can't handle.
-;; We only allow SYMBOL_REF if !flag_pic.
-(define_predicate "call_insn_operand"
- (ior (and (match_test "!flag_pic") (match_code "symbol_ref"))
- (match_operand 0 "register_no_elim_operand")))
-
-;; Test for an operator valid in a conditional branch
-(define_predicate "bfin_cbranch_operator"
- (match_code "eq,ne"))