1;; Predicate definitions for MIPS. 2;; Copyright (C) 2004 Free Software Foundation, Inc. 3;; 4;; This file is part of GCC. 5;; 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) 9;; any later version. 10;; 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. 15;; 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, 51 Franklin Street, Fifth Floor, 19;; Boston, MA 02110-1301, USA. 20 21(define_predicate "const_uns_arith_operand" 22 (and (match_code "const_int") 23 (match_test "SMALL_OPERAND_UNSIGNED (INTVAL (op))"))) 24 25(define_predicate "uns_arith_operand" 26 (ior (match_operand 0 "const_uns_arith_operand") 27 (match_operand 0 "register_operand"))) 28 29(define_predicate "const_arith_operand" 30 (and (match_code "const_int") 31 (match_test "SMALL_OPERAND (INTVAL (op))"))) 32 33(define_predicate "arith_operand" 34 (ior (match_operand 0 "const_arith_operand") 35 (match_operand 0 "register_operand"))) 36 37(define_predicate "const_uimm6_operand" 38 (and (match_code "const_int") 39 (match_test "UIMM6_OPERAND (INTVAL (op))"))) 40 41(define_predicate "const_imm10_operand" 42 (and (match_code "const_int") 43 (match_test "IMM10_OPERAND (INTVAL (op))"))) 44 45(define_predicate "reg_imm10_operand" 46 (ior (match_operand 0 "const_imm10_operand") 47 (match_operand 0 "register_operand"))) 48 49(define_predicate "sle_operand" 50 (and (match_code "const_int") 51 (match_test "SMALL_OPERAND (INTVAL (op) + 1)"))) 52 53(define_predicate "sleu_operand" 54 (and (match_operand 0 "sle_operand") 55 (match_test "INTVAL (op) + 1 != 0"))) 56 57(define_predicate "const_0_operand" 58 (and (match_code "const_int,const_double,const_vector") 59 (match_test "op == CONST0_RTX (GET_MODE (op))"))) 60 61(define_predicate "reg_or_0_operand" 62 (ior (and (match_operand 0 "const_0_operand") 63 (match_test "!TARGET_MIPS16")) 64 (match_operand 0 "register_operand"))) 65 66(define_predicate "const_1_operand" 67 (and (match_code "const_int,const_double,const_vector") 68 (match_test "op == CONST1_RTX (GET_MODE (op))"))) 69 70(define_predicate "reg_or_1_operand" 71 (ior (match_operand 0 "const_1_operand") 72 (match_operand 0 "register_operand"))) 73 74;; This is used for indexing into vectors, and hence only accepts const_int. 75(define_predicate "const_0_or_1_operand" 76 (and (match_code "const_int") 77 (ior (match_test "op == CONST0_RTX (GET_MODE (op))") 78 (match_test "op == CONST1_RTX (GET_MODE (op))")))) 79 80(define_predicate "fpr_operand" 81 (and (match_code "reg") 82 (match_test "FP_REG_P (REGNO (op))"))) 83 84(define_predicate "lo_operand" 85 (and (match_code "reg") 86 (match_test "REGNO (op) == LO_REGNUM"))) 87 88(define_predicate "fcc_reload_operand" 89 (and (match_code "reg,subreg") 90 (match_test "ST_REG_P (true_regnum (op))"))) 91 92(define_special_predicate "pc_or_label_operand" 93 (match_code "pc,label_ref")) 94 95(define_predicate "const_call_insn_operand" 96 (match_code "const,symbol_ref,label_ref") 97{ 98 enum mips_symbol_type symbol_type; 99 100 if (!mips_symbolic_constant_p (op, &symbol_type)) 101 return false; 102 103 switch (symbol_type) 104 { 105 case SYMBOL_GENERAL: 106 /* If -mlong-calls, force all calls to use register addressing. Also, 107 if this function has the long_call attribute, we must use register 108 addressing. */ 109 return !TARGET_LONG_CALLS && !SYMBOL_REF_LONG_CALL_P (op); 110 111 case SYMBOL_GOT_GLOBAL: 112 /* Without explicit relocs, there is no special syntax for 113 loading the address of a call destination into a register. 114 Using "la $25,foo; jal $25" would prevent the lazy binding 115 of "foo", so keep the address of global symbols with the 116 jal macro. */ 117 return !TARGET_EXPLICIT_RELOCS; 118 119 default: 120 return false; 121 } 122}) 123 124(define_predicate "call_insn_operand" 125 (ior (match_operand 0 "const_call_insn_operand") 126 (match_operand 0 "register_operand"))) 127 128(define_predicate "move_operand" 129 (match_operand 0 "general_operand") 130{ 131 switch (GET_CODE (op)) 132 { 133 case CONST_INT: 134 /* When generating mips16 code, LEGITIMATE_CONSTANT_P rejects 135 CONST_INTs that can't be loaded using simple insns. */ 136 if (TARGET_MIPS16) 137 return true; 138 139 /* When generating 32-bit code, allow DImode move_operands to 140 match arbitrary constants. We split them after reload. */ 141 if (!TARGET_64BIT && mode == DImode) 142 return true; 143 144 /* Otherwise check whether the constant can be loaded in a single 145 instruction. */ 146 return LUI_INT (op) || SMALL_INT (op) || SMALL_INT_UNSIGNED (op); 147 148 case CONST: 149 case SYMBOL_REF: 150 case LABEL_REF: 151 return CONST_GP_P (op) || mips_atomic_symbolic_constant_p (op); 152 153 default: 154 return true; 155 } 156}) 157 158(define_predicate "consttable_operand" 159 (match_test "CONSTANT_P (op)")) 160 161(define_predicate "symbolic_operand" 162 (match_code "const,symbol_ref,label_ref") 163{ 164 enum mips_symbol_type type; 165 return mips_symbolic_constant_p (op, &type); 166}) 167 168(define_predicate "general_symbolic_operand" 169 (match_code "const,symbol_ref,label_ref") 170{ 171 enum mips_symbol_type type; 172 return mips_symbolic_constant_p (op, &type) && type == SYMBOL_GENERAL; 173}) 174 175(define_predicate "global_got_operand" 176 (match_code "const,symbol_ref,label_ref") 177{ 178 enum mips_symbol_type type; 179 return mips_symbolic_constant_p (op, &type) && type == SYMBOL_GOT_GLOBAL; 180}) 181 182(define_predicate "local_got_operand" 183 (match_code "const,symbol_ref,label_ref") 184{ 185 enum mips_symbol_type type; 186 return mips_symbolic_constant_p (op, &type) && type == SYMBOL_GOT_LOCAL; 187}) 188 189(define_predicate "stack_operand" 190 (and (match_code "mem") 191 (match_test "mips_stack_address_p (XEXP (op, 0), GET_MODE (op))"))) 192 193(define_predicate "macc_msac_operand" 194 (ior (and (match_code "plus") (match_test "ISA_HAS_MACC")) 195 (and (match_code "minus") (match_test "ISA_HAS_MSAC"))) 196{ 197 rtx mult = XEXP (op, GET_CODE (op) == PLUS ? 0 : 1); 198 rtx accum = XEXP (op, GET_CODE (op) == PLUS ? 1 : 0); 199 return (GET_CODE (mult) == MULT 200 && REG_P (XEXP (mult, 0)) 201 && REG_P (XEXP (mult, 1)) 202 && REG_P (accum)); 203}) 204 205 206(define_predicate "equality_operator" 207 (match_code "eq,ne")) 208 209(define_predicate "extend_operator" 210 (match_code "zero_extend,sign_extend")) 211 212(define_predicate "trap_comparison_operator" 213 (match_code "eq,ne,lt,ltu,ge,geu")) 214 215 216(define_predicate "small_data_pattern" 217 (and (match_code "set,parallel,unspec,unspec_volatile,prefetch") 218 (match_test "mips_small_data_pattern_p (op)"))) 219