Mercurial > hg > CbC > CbC_gcc

comparison gcc/config/nios2/predicates.md @ 111:04ced10e8804

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children 84e7813d76e9
comparison
equal deleted inserted replaced
68:561a7518be6b 111:04ced10e8804
1 ;; Predicate definitions for Altera Nios II.
2 ;; Copyright (C) 2012-2017 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 return false;
150 }
151 return memory_operand (op, mode);
152 })
153
154 (define_predicate "ldstex_memory_operand"
155 (match_code "mem")
156 {
157 /* ldex/ldsex/stex/stsex cannot handle memory addresses with offsets. */
158 return GET_CODE (XEXP (op, 0)) == REG;
159 })