1;; Predicate definitions for Altera Nios II.
2;; Copyright (C) 2012-2018 Free Software Foundation, Inc.
3;; Contributed by Chung-Lin Tang <cltang@codesourcery.com>
4;;
5;; This file is part of GCC.
6;;
7;; GCC is free software; you can redistribute it and/or modify
8;; it under the terms of the GNU General Public License as published by
9;; the Free Software Foundation; either version 3, or (at your option)
10;; any later version.
11;;
12;; GCC is distributed in the hope that it will be useful,
13;; but WITHOUT ANY WARRANTY; without even the implied warranty of
14;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15;; GNU General Public License for more details.
16;;
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/>.
20
21(define_predicate "const_0_operand"
22  (and (match_code "const_int,const_double,const_vector")
23       (match_test "op == CONST0_RTX (GET_MODE (op))")))
24
25(define_predicate "reg_or_0_operand"
26  (ior (match_operand 0 "const_0_operand")
27       (match_operand 0 "register_operand")))
28
29(define_predicate "const_uns_arith_operand"
30  (and (match_code "const_int")
31       (match_test "SMALL_INT_UNSIGNED (INTVAL (op))")))
32
33(define_predicate "uns_arith_operand"
34  (ior (match_operand 0 "const_uns_arith_operand")
35       (match_operand 0 "register_operand")))
36
37(define_predicate "const_arith_operand"
38  (and (match_code "const_int")
39       (match_test "SMALL_INT (INTVAL (op))")))
40
41(define_predicate "arith_operand"
42  (ior (match_operand 0 "const_arith_operand")
43       (match_operand 0 "register_operand")))
44
45(define_predicate "add_regimm_operand"
46  (ior (match_operand 0 "arith_operand")
47       (match_test "nios2_unspec_reloc_p (op)")))
48
49(define_predicate "const_logical_operand"
50  (and (match_code "const_int")
51       (match_test "(INTVAL (op) & 0xffff) == 0
52                    || (INTVAL (op) & 0xffff0000) == 0")))
53
54(define_predicate "logical_operand"
55  (ior (match_operand 0 "const_logical_operand")
56       (match_operand 0 "register_operand")))
57
58(define_predicate "const_and_operand"
59  (and (match_code "const_int")
60       (match_test "SMALL_INT_UNSIGNED (INTVAL (op))
61                    || UPPER16_INT (INTVAL (op))
62                    || (TARGET_ARCH_R2 && ANDCLEAR_INT (INTVAL (op)))")))
63
64(define_predicate "and_operand"
65  (ior (match_operand 0 "const_and_operand")
66       (match_operand 0 "register_operand")))
67
68(define_predicate "const_shift_operand"
69  (and (match_code "const_int")
70       (match_test "SHIFT_INT (INTVAL (op))")))
71
72(define_predicate "shift_operand"
73  (ior (match_operand 0 "const_shift_operand")
74       (match_operand 0 "register_operand")))
75
76(define_predicate "call_operand"
77  (ior (match_operand 0 "immediate_operand")
78       (match_operand 0 "register_operand")))
79
80(define_predicate "rdwrctl_operand"
81  (and (match_code "const_int")
82       (match_test "RDWRCTL_INT (INTVAL (op))")))
83
84(define_predicate "rdprs_dcache_operand"
85  (and (match_code "const_int")
86       (if_then_else (match_test "TARGET_ARCH_R2")
87                     (match_test "SMALL_INT12 (INTVAL (op))")
88                     (match_test "SMALL_INT (INTVAL (op))"))))
89
90(define_predicate "custom_insn_opcode"
91  (and (match_code "const_int")
92       (match_test "CUSTOM_INSN_OPCODE (INTVAL (op))")))
93
94(define_special_predicate "expandable_comparison_operator"
95  (match_operand 0 "ordered_comparison_operator")
96{
97  return (GET_MODE_CLASS (GET_MODE (XEXP (op, 0))) != MODE_FLOAT
98          || nios2_validate_fpu_compare (GET_MODE (XEXP (op, 0)), &op,
99                                         &XEXP (op, 0), &XEXP (op, 1),
100                                         false));
101})
102
103(define_special_predicate "pop_operation"
104  (match_code "parallel")
105{
106  return pop_operation_p (op);
107})
108
109(define_special_predicate "ldwm_operation"
110  (match_code "parallel")
111{
112  return ldstwm_operation_p (op, /*load_p=*/true);
113})
114
115(define_special_predicate "stwm_operation"
116  (match_code "parallel")
117{
118  return ldstwm_operation_p (op, /*load_p=*/false);
119})
120
121(define_predicate "nios2_hard_register_operand"
122  (match_code "reg")
123{
124  return GP_REG_P (REGNO (op));
125})
126
127(define_predicate "stack_memory_operand"
128  (match_code "mem")
129{
130  rtx addr = XEXP (op, 0);
131  return ((REG_P (addr) && REGNO (addr) == SP_REGNO)
132          || (GET_CODE (addr) == PLUS
133              && REG_P (XEXP (addr, 0)) && REGNO (XEXP (addr, 0)) == SP_REGNO
134              && CONST_INT_P (XEXP (addr, 1))));
135})
136
137(define_predicate "ldstio_memory_operand"
138  (match_code "mem")
139{
140  if (TARGET_ARCH_R2)
141    {
142      rtx addr = XEXP (op, 0);
143      if (REG_P (addr))
144        return true;
145      else if (GET_CODE (addr) == PLUS)
146        return (REG_P (XEXP (addr, 0))
147                && CONST_INT_P (XEXP (addr, 1))
148                && SMALL_INT12 (INTVAL (XEXP (addr, 1))));
149      else if (CONST_INT_P (addr))
150        return SMALL_INT12 (INTVAL (addr));
151      return false;
152    }
153  return memory_operand (op, mode);
154})
155
156(define_predicate "ldstex_memory_operand"
157  (match_code "mem")
158{
159  /* ldex/ldsex/stex/stsex cannot handle memory addresses with offsets.  */
160  return GET_CODE (XEXP (op, 0)) == REG;
161})
162