1 ;; Predicate definitions for MIPS.
2 ;; Copyright (C) 2004 Free Software Foundation, Inc.
4 ;; This file is part of GCC.
6 ;; GCC is free software; you can redistribute it and/or modify
7 ;; it under the terms of the GNU General Public License as published by
8 ;; the Free Software Foundation; either version 2, or (at your option)
11 ;; GCC is distributed in the hope that it will be useful,
12 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
13 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 ;; GNU General Public License for more details.
16 ;; You should have received a copy of the GNU General Public License
17 ;; along with GCC; see the file COPYING. If not, write to
18 ;; the Free Software Foundation, 59 Temple Place - Suite 330,
19 ;; Boston, MA 02111-1307, USA.
21 (define_predicate "const_uns_arith_operand"
22 (and (match_code "const_int")
23 (match_test "SMALL_OPERAND_UNSIGNED (INTVAL (op))")))
25 (define_predicate "uns_arith_operand"
26 (ior (match_operand 0 "const_uns_arith_operand")
27 (match_operand 0 "register_operand")))
29 (define_predicate "const_arith_operand"
30 (and (match_code "const_int")
31 (match_test "SMALL_OPERAND (INTVAL (op))")))
33 (define_predicate "arith_operand"
34 (ior (match_operand 0 "const_arith_operand")
35 (match_operand 0 "register_operand")))
37 (define_predicate "sle_operand"
38 (and (match_code "const_int")
39 (match_test "SMALL_OPERAND (INTVAL (op) + 1)")))
41 (define_predicate "sleu_operand"
42 (and (match_operand 0 "sle_operand")
43 (match_test "INTVAL (op) + 1 != 0")))
45 (define_predicate "const_0_operand"
46 (and (match_code "const_int,const_double")
47 (match_test "op == CONST0_RTX (GET_MODE (op))")))
49 (define_predicate "reg_or_0_operand"
50 (ior (and (match_operand 0 "const_0_operand")
51 (match_test "!TARGET_MIPS16"))
52 (match_operand 0 "register_operand")))
54 (define_predicate "const_1_operand"
55 (and (match_code "const_int,const_double")
56 (match_test "op == CONST1_RTX (GET_MODE (op))")))
58 (define_predicate "reg_or_1_operand"
59 (ior (match_operand 0 "const_1_operand")
60 (match_operand 0 "register_operand")))
62 (define_predicate "fpr_operand"
63 (and (match_code "reg")
64 (match_test "FP_REG_P (REGNO (op))")))
66 (define_predicate "hilo_operand"
67 (and (match_code "reg")
68 (match_test "MD_REG_P (REGNO (op))")))
70 (define_predicate "lo_operand"
71 (and (match_code "reg")
72 (match_test "REGNO (op) == LO_REGNUM")))
74 (define_predicate "fcc_reload_operand"
75 (and (match_code "reg,subreg")
76 (match_test "ST_REG_P (true_regnum (op))")))
78 (define_special_predicate "pc_or_label_operand"
79 (match_code "pc,label_ref"))
81 (define_predicate "const_call_insn_operand"
82 (match_code "const,symbol_ref,label_ref")
84 enum mips_symbol_type symbol_type;
86 if (!mips_symbolic_constant_p (op, &symbol_type))
92 /* If -mlong-calls, force all calls to use register addressing. */
93 return !TARGET_LONG_CALLS;
95 case SYMBOL_GOT_GLOBAL:
96 /* Without explicit relocs, there is no special syntax for
97 loading the address of a call destination into a register.
98 Using "la $25,foo; jal $25" would prevent the lazy binding
99 of "foo", so keep the address of global symbols with the
101 return !TARGET_EXPLICIT_RELOCS;
108 (define_predicate "call_insn_operand"
109 (ior (match_operand 0 "const_call_insn_operand")
110 (match_operand 0 "register_operand")))
112 (define_predicate "move_operand"
113 (match_operand 0 "general_operand")
115 switch (GET_CODE (op))
118 /* When generating mips16 code, LEGITIMATE_CONSTANT_P rejects
119 CONST_INTs that can't be loaded using simple insns. */
123 /* When generating 32-bit code, allow DImode move_operands to
124 match arbitrary constants. We split them after reload. */
125 if (!TARGET_64BIT && mode == DImode)
128 /* Otherwise check whether the constant can be loaded in a single
130 return LUI_INT (op) || SMALL_INT (op) || SMALL_INT_UNSIGNED (op);
135 return CONST_GP_P (op) || mips_atomic_symbolic_constant_p (op);
142 (define_predicate "consttable_operand"
143 (match_test "CONSTANT_P (op)"))
145 (define_predicate "symbolic_operand"
146 (match_code "const,symbol_ref,label_ref")
148 enum mips_symbol_type type;
149 return mips_symbolic_constant_p (op, &type);
152 (define_predicate "general_symbolic_operand"
153 (match_code "const,symbol_ref,label_ref")
155 enum mips_symbol_type type;
156 return mips_symbolic_constant_p (op, &type) && type == SYMBOL_GENERAL;
159 (define_predicate "global_got_operand"
160 (match_code "const,symbol_ref,label_ref")
162 enum mips_symbol_type type;
163 return mips_symbolic_constant_p (op, &type) && type == SYMBOL_GOT_GLOBAL;
166 (define_predicate "local_got_operand"
167 (match_code "const,symbol_ref,label_ref")
169 enum mips_symbol_type type;
170 return mips_symbolic_constant_p (op, &type) && type == SYMBOL_GOT_LOCAL;
173 (define_predicate "stack_operand"
174 (and (match_code "mem")
175 (match_test "mips_stack_address_p (XEXP (op, 0), GET_MODE (op))")))
177 (define_predicate "macc_msac_operand"
178 (ior (and (match_code "plus") (match_test "ISA_HAS_MACC"))
179 (and (match_code "minus") (match_test "ISA_HAS_MSAC")))
181 rtx mult = XEXP (op, GET_CODE (op) == PLUS ? 0 : 1);
182 rtx accum = XEXP (op, GET_CODE (op) == PLUS ? 1 : 0);
183 return (GET_CODE (mult) == MULT
184 && REG_P (XEXP (mult, 0))
185 && REG_P (XEXP (mult, 1))
190 (define_predicate "equality_operator"
191 (match_code "eq,ne"))
193 (define_predicate "extend_operator"
194 (match_code "zero_extend,sign_extend"))
196 (define_predicate "trap_comparison_operator"
197 (match_code "eq,ne,lt,ltu,ge,geu"))
200 (define_predicate "small_data_pattern"
201 (and (match_code "set,parallel,unspec,unspec_volatile")
202 (match_test "mips_small_data_pattern_p (op)")))