Daily bump.
[official-gcc.git] / gcc / config / nds32 / predicates.md
blobee4cf3cf48efa0729fb1a21a373d320d2d6c783e
1 ;; Predicate definitions of Andes NDS32 cpu for GNU compiler
2 ;; Copyright (C) 2012-2018 Free Software Foundation, Inc.
3 ;; Contributed by Andes Technology Corporation.
4 ;;
5 ;; This file is part of GCC.
6 ;;
7 ;; GCC is free software; you can redistribute it and/or modify it
8 ;; under the terms of the GNU General Public License as published
9 ;; by the Free Software Foundation; either version 3, or (at your
10 ;; option) any later version.
12 ;; GCC is distributed in the hope that it will be useful, but WITHOUT
13 ;; ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
14 ;; or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
15 ;; License for more details.
17 ;; You should have received a copy of the GNU General Public License
18 ;; along with GCC; see the file COPYING3.  If not see
19 ;; <http://www.gnu.org/licenses/>.
21 (define_predicate "nds32_equality_comparison_operator"
22   (match_code "eq,ne"))
24 (define_predicate "nds32_greater_less_comparison_operator"
25   (match_code "gt,ge,lt,le"))
27 (define_predicate "nds32_float_comparison_operator"
28   (match_code "eq,ne,le,lt,ge,gt,ordered,unordered,ungt,unge,unlt,unle"))
30 (define_predicate "nds32_movecc_comparison_operator"
31   (match_code "eq,ne,le,leu,ge,geu"))
33 (define_special_predicate "nds32_logical_binary_operator"
34   (match_code "and,ior,xor"))
36 (define_special_predicate "nds32_conditional_call_comparison_operator"
37   (match_code "lt,ge"))
39 (define_special_predicate "nds32_have_33_inst_operator"
40   (match_code "mult,and,ior,xor"))
42 (define_predicate "nds32_symbolic_operand"
43   (and (match_code "const,symbol_ref,label_ref")
44        (match_test "!(TARGET_ICT_MODEL_LARGE
45                       && nds32_indirect_call_referenced_p (op))")))
47 (define_predicate "nds32_nonunspec_symbolic_operand"
48   (and (match_code "const,symbol_ref,label_ref")
49        (match_test "!flag_pic && nds32_const_unspec_p (op)
50                     && !(TARGET_ICT_MODEL_LARGE
51                          && nds32_indirect_call_referenced_p (op))")))
53 (define_predicate "nds32_reg_constant_operand"
54   (ior (match_operand 0 "register_operand")
55        (match_operand 0 "const_int_operand")))
57 (define_predicate "nds32_rimm15s_operand"
58   (ior (match_operand 0 "register_operand")
59        (and (match_operand 0 "const_int_operand")
60             (match_test "satisfies_constraint_Is15 (op)"))))
62 (define_predicate "nds32_rimm11s_operand"
63   (ior (match_operand 0 "register_operand")
64        (and (match_operand 0 "const_int_operand")
65             (match_test "satisfies_constraint_Is11 (op)"))))
67 (define_predicate "nds32_imm_0_1_operand"
68   (and (match_operand 0 "const_int_operand")
69        (ior (match_test "satisfies_constraint_Iv00 (op)")
70             (match_test "satisfies_constraint_Iv01 (op)"))))
72 (define_predicate "nds32_imm_1_2_operand"
73   (and (match_operand 0 "const_int_operand")
74        (ior (match_test "satisfies_constraint_Iv01 (op)")
75             (match_test "satisfies_constraint_Iv02 (op)"))))
77 (define_predicate "nds32_imm_1_2_4_8_operand"
78   (and (match_operand 0 "const_int_operand")
79        (ior (ior (match_test "satisfies_constraint_Iv01 (op)")
80                  (match_test "satisfies_constraint_Iv02 (op)"))
81             (ior (match_test "satisfies_constraint_Iv04 (op)")
82                  (match_test "satisfies_constraint_Iv08 (op)")))))
84 (define_predicate "nds32_imm2u_operand"
85   (and (match_operand 0 "const_int_operand")
86        (match_test "satisfies_constraint_Iu02 (op)")))
88 (define_predicate "nds32_imm4u_operand"
89   (and (match_operand 0 "const_int_operand")
90        (match_test "satisfies_constraint_Iu04 (op)")))
92 (define_predicate "nds32_imm5u_operand"
93   (and (match_operand 0 "const_int_operand")
94        (match_test "satisfies_constraint_Iu05 (op)")))
96 (define_predicate "nds32_imm6u_operand"
97   (and (match_operand 0 "const_int_operand")
98        (match_test "satisfies_constraint_Iu06 (op)")))
100 (define_predicate "nds32_rimm4u_operand"
101   (ior (match_operand 0 "register_operand")
102        (match_operand 0 "nds32_imm4u_operand")))
104 (define_predicate "nds32_rimm5u_operand"
105   (ior (match_operand 0 "register_operand")
106        (match_operand 0 "nds32_imm5u_operand")))
108 (define_predicate "nds32_rimm6u_operand"
109   (ior (match_operand 0 "register_operand")
110        (match_operand 0 "nds32_imm6u_operand")))
112 (define_predicate "nds32_move_operand"
113   (and (match_operand 0 "general_operand")
114        (not (match_code "high,const,symbol_ref,label_ref")))
116   /* If the constant op does NOT satisfy Is20 nor Ihig,
117      we can not perform move behavior by a single instruction.  */
118   if (CONST_INT_P (op)
119       && !satisfies_constraint_Is20 (op)
120       && !satisfies_constraint_Ihig (op))
121     return false;
123   return true;
126 (define_predicate "nds32_vmove_operand"
127   (and (match_operand 0 "general_operand")
128        (not (match_code "high,const,symbol_ref,label_ref")))
130   /* If the constant op does NOT satisfy Is20 nor Ihig,
131      we can not perform move behavior by a single instruction.  */
132   if (GET_CODE (op) == CONST_VECTOR
133       && !satisfies_constraint_CVs2 (op)
134       && !satisfies_constraint_CVhi (op))
135     return false;
137   return true;
140 (define_predicate "nds32_and_operand"
141   (match_operand 0 "nds32_reg_constant_operand")
143   return REG_P (op)
144          || GET_CODE (op) == SUBREG
145          || satisfies_constraint_Izeb (op)
146          || satisfies_constraint_Izeh (op)
147          || satisfies_constraint_Ixls (op)
148          || satisfies_constraint_Ix11 (op)
149          || satisfies_constraint_Ibms (op)
150          || satisfies_constraint_Ifex (op)
151          || satisfies_constraint_Iu15 (op)
152          || satisfies_constraint_Ii15 (op)
153          || satisfies_constraint_Ic15 (op);
156 (define_predicate "nds32_ior_operand"
157   (match_operand 0 "nds32_reg_constant_operand")
159   return REG_P (op)
160          || GET_CODE (op) == SUBREG
161          || satisfies_constraint_Iu15 (op)
162          || satisfies_constraint_Ie15 (op);
165 (define_predicate "nds32_xor_operand"
166   (match_operand 0 "nds32_reg_constant_operand")
168   return REG_P (op)
169          || GET_CODE (op) == SUBREG
170          || satisfies_constraint_Iu15 (op)
171          || satisfies_constraint_It15 (op);
174 (define_predicate "nds32_general_register_operand"
175   (match_code "reg,subreg")
177   if (GET_CODE (op) == SUBREG)
178     op = SUBREG_REG (op);
180   return (REG_P (op)
181           && (REGNO (op) >= FIRST_PSEUDO_REGISTER
182               || REGNO (op) <= NDS32_LAST_GPR_REGNUM));
185 (define_predicate "nds32_call_address_operand"
186   (ior (match_operand 0 "nds32_symbolic_operand")
187        (match_operand 0 "nds32_general_register_operand")))
189 (define_predicate "nds32_insv_operand"
190   (match_code "const_int")
192   return INTVAL (op) == 0
193          || INTVAL (op) == 8
194          || INTVAL (op) == 16
195          || INTVAL (op) == 24;
198 (define_predicate "nds32_lmw_smw_base_operand"
199   (and (match_code "mem")
200        (match_test "nds32_valid_smw_lwm_base_p (op)")))
202 (define_predicate "float_even_register_operand"
203   (and (match_code "reg")
204        (and (match_test "REGNO (op) >= NDS32_FIRST_FPR_REGNUM")
205             (match_test "REGNO (op) <= NDS32_LAST_FPR_REGNUM")
206             (match_test "(REGNO (op) & 1) == 0"))))
208 (define_predicate "float_odd_register_operand"
209   (and (match_code "reg")
210        (and (match_test "REGNO (op) >= NDS32_FIRST_FPR_REGNUM")
211             (match_test "REGNO (op) <= NDS32_LAST_FPR_REGNUM")
212             (match_test "(REGNO (op) & 1) != 0"))))
214 (define_special_predicate "nds32_load_multiple_operation"
215   (match_code "parallel")
217   /* To verify 'load' operation, pass 'true' for the second argument.
218      See the implementation in nds32.c for details.  */
219   return nds32_valid_multiple_load_store_p (op, true, false);
222 (define_special_predicate "nds32_load_multiple_and_update_address_operation"
223   (match_code "parallel")
225   /* To verify 'load' operation, pass 'true' for the second argument.
226      to verify 'update address' operation, pass 'true' for the third argument
227      See the implementation in nds32.c for details.  */
228   return nds32_valid_multiple_load_store_p (op, true, true);
231 (define_special_predicate "nds32_store_multiple_operation"
232   (match_code "parallel")
234   /* To verify 'store' operation, pass 'false' for the second argument.
235      See the implementation in nds32.c for details.  */
236   return nds32_valid_multiple_load_store_p (op, false, false);
239 (define_special_predicate "nds32_store_multiple_and_update_address_operation"
240   (match_code "parallel")
242   /* To verify 'store' operation, pass 'false' for the second argument,
243      to verify 'update address' operation, pass 'true' for the third argument
244      See the implementation in nds32.c for details.  */
245   return nds32_valid_multiple_load_store_p (op, false, true);
248 (define_special_predicate "nds32_stack_push_operation"
249   (match_code "parallel")
251   /* To verify 'push' operation, pass 'true' for the second argument.
252      See the implementation in nds32-predicates.c for details.  */
253   return nds32_valid_stack_push_pop_p (op, true);
256 (define_special_predicate "nds32_stack_pop_operation"
257   (match_code "parallel")
259   /* To verify 'pop' operation, pass 'false' for the second argument.
260      See the implementation in nds32-predicates.c for details.  */
261   return nds32_valid_stack_push_pop_p (op, false);
264 ;; ------------------------------------------------------------------------