|
0
|
1 ;; Constraint definitions for ATMEL AVR micro controllers.
|
|
111
|
2 ;; Copyright (C) 2006-2017 Free Software Foundation, Inc.
|
|
0
|
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 3, 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 COPYING3. If not see
|
|
|
18 ;; <http://www.gnu.org/licenses/>.
|
|
|
19
|
|
|
20 ;; Register constraints
|
|
|
21
|
|
|
22 (define_register_constraint "t" "R0_REG"
|
|
|
23 "Temporary register r0")
|
|
|
24
|
|
|
25 (define_register_constraint "b" "BASE_POINTER_REGS"
|
|
|
26 "Base pointer registers (r28--r31)")
|
|
|
27
|
|
|
28 (define_register_constraint "e" "POINTER_REGS"
|
|
|
29 "Pointer registers (r26--r31)")
|
|
|
30
|
|
|
31 (define_register_constraint "w" "ADDW_REGS"
|
|
|
32 "Registers from r24 to r31. These registers
|
|
|
33 can be used in @samp{adiw} command.")
|
|
|
34
|
|
|
35 (define_register_constraint "d" "LD_REGS"
|
|
|
36 "Registers from r16 to r31.")
|
|
|
37
|
|
|
38 (define_register_constraint "l" "NO_LD_REGS"
|
|
|
39 "Registers from r0 to r15.")
|
|
|
40
|
|
|
41 (define_register_constraint "a" "SIMPLE_LD_REGS"
|
|
|
42 "Registers from r16 to r23.")
|
|
|
43
|
|
|
44 (define_register_constraint "x" "POINTER_X_REGS"
|
|
|
45 "Register pair X (r27:r26).")
|
|
|
46
|
|
|
47 (define_register_constraint "y" "POINTER_Y_REGS"
|
|
|
48 "Register pair Y (r29:r28).")
|
|
|
49
|
|
|
50 (define_register_constraint "z" "POINTER_Z_REGS"
|
|
|
51 "Register pair Z (r31:r30).")
|
|
|
52
|
|
|
53 (define_register_constraint "q" "STACK_REG"
|
|
|
54 "Stack pointer register (SPH:SPL).")
|
|
|
55
|
|
|
56 (define_constraint "I"
|
|
|
57 "Integer constant in the range 0 @dots{} 63."
|
|
|
58 (and (match_code "const_int")
|
|
|
59 (match_test "ival >= 0 && ival <= 63")))
|
|
|
60
|
|
|
61 (define_constraint "J"
|
|
|
62 "Integer constant in the range -63 @dots{} 0."
|
|
|
63 (and (match_code "const_int")
|
|
|
64 (match_test "ival <= 0 && ival >= -63")))
|
|
|
65
|
|
|
66 (define_constraint "K"
|
|
|
67 "Integer constant 2."
|
|
|
68 (and (match_code "const_int")
|
|
|
69 (match_test "ival == 2")))
|
|
|
70
|
|
|
71 (define_constraint "L"
|
|
|
72 "Zero."
|
|
|
73 (and (match_code "const_int")
|
|
|
74 (match_test "ival == 0")))
|
|
|
75
|
|
|
76 (define_constraint "M"
|
|
|
77 "Integer constant in the range 0 @dots{} 0xff."
|
|
|
78 (and (match_code "const_int")
|
|
|
79 (match_test "ival >= 0 && ival <= 0xff")))
|
|
|
80
|
|
|
81 (define_constraint "N"
|
|
|
82 "Constant integer @minus{}1."
|
|
|
83 (and (match_code "const_int")
|
|
|
84 (match_test "ival == -1")))
|
|
|
85
|
|
|
86 (define_constraint "O"
|
|
|
87 "Constant integer 8, 16, or 24."
|
|
|
88 (and (match_code "const_int")
|
|
|
89 (match_test "ival == 8 || ival == 16 || ival == 24")))
|
|
|
90
|
|
|
91 (define_constraint "P"
|
|
|
92 "Constant integer 1."
|
|
|
93 (and (match_code "const_int")
|
|
|
94 (match_test "ival == 1")))
|
|
|
95
|
|
|
96 (define_constraint "G"
|
|
|
97 "Constant float 0."
|
|
|
98 (and (match_code "const_double")
|
|
|
99 (match_test "op == CONST0_RTX (SFmode)")))
|
|
|
100
|
|
|
101 (define_memory_constraint "Q"
|
|
|
102 "A memory address based on Y or Z pointer with displacement."
|
|
|
103 (and (match_code "mem")
|
|
|
104 (match_test "extra_constraint_Q (op)")))
|
|
111
|
105
|
|
|
106 (define_constraint "Cm2"
|
|
|
107 "Constant integer @minus{}2."
|
|
|
108 (and (match_code "const_int")
|
|
|
109 (match_test "ival == -2")))
|
|
|
110
|
|
|
111 (define_constraint "C03"
|
|
|
112 "Constant integer 3."
|
|
|
113 (and (match_code "const_int")
|
|
|
114 (match_test "ival == 3")))
|
|
|
115
|
|
|
116 (define_constraint "C04"
|
|
|
117 "Constant integer 4."
|
|
|
118 (and (match_code "const_int")
|
|
|
119 (match_test "ival == 4")))
|
|
|
120
|
|
|
121 (define_constraint "C05"
|
|
|
122 "Constant integer 5."
|
|
|
123 (and (match_code "const_int")
|
|
|
124 (match_test "ival == 5")))
|
|
|
125
|
|
|
126 (define_constraint "C06"
|
|
|
127 "Constant integer 6."
|
|
|
128 (and (match_code "const_int")
|
|
|
129 (match_test "ival == 6")))
|
|
|
130
|
|
|
131 (define_constraint "C07"
|
|
|
132 "Constant integer 7."
|
|
|
133 (and (match_code "const_int")
|
|
|
134 (match_test "ival == 7")))
|
|
|
135
|
|
|
136 (define_constraint "Ca1"
|
|
|
137 "Constant 1-byte integer that allows AND by means of CLT + BLD."
|
|
|
138 (and (match_code "const_int")
|
|
|
139 (match_test "avr_popcount_each_byte (op, 1, 1<<7)")))
|
|
|
140
|
|
|
141 (define_constraint "Ca2"
|
|
|
142 "Constant 2-byte integer that allows AND without clobber register."
|
|
|
143 (and (match_code "const_int")
|
|
|
144 (match_test "avr_popcount_each_byte (op, 2, (1<<0) | (1<<7) | (1<<8))")))
|
|
|
145
|
|
|
146 (define_constraint "Ca3"
|
|
|
147 "Constant 3-byte integer that allows AND without clobber register."
|
|
|
148 (and (match_code "const_int")
|
|
|
149 (match_test "avr_popcount_each_byte (op, 3, (1<<0) | (1<<7) | (1<<8))")))
|
|
|
150
|
|
|
151 (define_constraint "Ca4"
|
|
|
152 "Constant 4-byte integer that allows AND without clobber register."
|
|
|
153 (and (match_code "const_int")
|
|
|
154 (match_test "avr_popcount_each_byte (op, 4, (1<<0) | (1<<7) | (1<<8))")))
|
|
|
155
|
|
|
156 (define_constraint "Co1"
|
|
|
157 "Constant 1-byte integer that allows AND by means of SET + BLD."
|
|
|
158 (and (match_code "const_int")
|
|
|
159 (match_test "avr_popcount_each_byte (op, 1, 1<<1)")))
|
|
|
160
|
|
|
161 (define_constraint "Co2"
|
|
|
162 "Constant 2-byte integer that allows OR without clobber register."
|
|
|
163 (and (match_code "const_int")
|
|
|
164 (match_test "avr_popcount_each_byte (op, 2, (1<<0) | (1<<1) | (1<<8))")))
|
|
|
165
|
|
|
166 (define_constraint "Co3"
|
|
|
167 "Constant 3-byte integer that allows OR without clobber register."
|
|
|
168 (and (match_code "const_int")
|
|
|
169 (match_test "avr_popcount_each_byte (op, 3, (1<<0) | (1<<1) | (1<<8))")))
|
|
|
170
|
|
|
171 (define_constraint "Co4"
|
|
|
172 "Constant 4-byte integer that allows OR without clobber register."
|
|
|
173 (and (match_code "const_int")
|
|
|
174 (match_test "avr_popcount_each_byte (op, 4, (1<<0) | (1<<1) | (1<<8))")))
|
|
|
175
|
|
|
176 (define_constraint "Cx2"
|
|
|
177 "Constant 2-byte integer that allows XOR without clobber register."
|
|
|
178 (and (match_code "const_int")
|
|
|
179 (match_test "avr_popcount_each_byte (op, 2, (1<<0) | (1<<8))")))
|
|
|
180
|
|
|
181 (define_constraint "Cx3"
|
|
|
182 "Constant 3-byte integer that allows XOR without clobber register."
|
|
|
183 (and (match_code "const_int")
|
|
|
184 (match_test "avr_popcount_each_byte (op, 3, (1<<0) | (1<<8))")))
|
|
|
185
|
|
|
186 (define_constraint "Cx4"
|
|
|
187 "Constant 4-byte integer that allows XOR without clobber register."
|
|
|
188 (and (match_code "const_int")
|
|
|
189 (match_test "avr_popcount_each_byte (op, 4, (1<<0) | (1<<8))")))
|
|
|
190
|
|
|
191 (define_constraint "Csp"
|
|
|
192 "Integer constant in the range -11 @dots{} 6."
|
|
|
193 (and (match_code "const_int")
|
|
|
194 (match_test "IN_RANGE (ival, -11, 6)")))
|
|
|
195
|
|
|
196 (define_constraint "Cxf"
|
|
|
197 "32-bit integer constant where at least one nibble is 0xf."
|
|
|
198 (and (match_code "const_int")
|
|
|
199 (match_test "avr_has_nibble_0xf (op)")))
|
|
|
200
|
|
|
201 (define_constraint "C0f"
|
|
|
202 "32-bit integer constant where no nibble equals 0xf."
|
|
|
203 (and (match_code "const_int")
|
|
|
204 (match_test "!avr_has_nibble_0xf (op)")))
|
|
|
205
|
|
|
206 (define_constraint "Cn8"
|
|
|
207 "A negative constant integer in the range @minus{}255 @dots{} @minus{}1."
|
|
|
208 (and (match_code "const_int")
|
|
|
209 (match_test "IN_RANGE (ival, -255, -1)")))
|
|
|
210
|
|
|
211 ;; CONST_FIXED is no element of 'n' so cook our own.
|
|
|
212 ;; "i" or "s" would match but because the insn uses iterators that cover
|
|
|
213 ;; INT_MODE, "i" or "s" is not always possible.
|
|
|
214
|
|
|
215 (define_constraint "Ynn"
|
|
|
216 "Fixed-point constant known at compile time."
|
|
|
217 (match_code "const_fixed"))
|
|
|
218
|
|
|
219 (define_constraint "Y00"
|
|
|
220 "Fixed-point or integer constant with bit representation 0x0"
|
|
|
221 (and (match_code "const_fixed,const_int")
|
|
|
222 (match_test "op == CONST0_RTX (GET_MODE (op))")))
|
|
|
223
|
|
|
224 (define_constraint "Y01"
|
|
|
225 "Fixed-point or integer constant with bit representation 0x1"
|
|
|
226 (ior (and (match_code "const_fixed")
|
|
|
227 (match_test "1 == INTVAL (avr_to_int_mode (op))"))
|
|
|
228 (match_test "satisfies_constraint_P (op)")))
|
|
|
229
|
|
|
230 (define_constraint "Ym1"
|
|
|
231 "Fixed-point or integer constant with bit representation -0x1"
|
|
|
232 (ior (and (match_code "const_fixed")
|
|
|
233 (match_test "-1 == INTVAL (avr_to_int_mode (op))"))
|
|
|
234 (match_test "satisfies_constraint_N (op)")))
|
|
|
235
|
|
|
236 (define_constraint "Y02"
|
|
|
237 "Fixed-point or integer constant with bit representation 0x2"
|
|
|
238 (ior (and (match_code "const_fixed")
|
|
|
239 (match_test "2 == INTVAL (avr_to_int_mode (op))"))
|
|
|
240 (match_test "satisfies_constraint_K (op)")))
|
|
|
241
|
|
|
242 (define_constraint "Ym2"
|
|
|
243 "Fixed-point or integer constant with bit representation -0x2"
|
|
|
244 (ior (and (match_code "const_fixed")
|
|
|
245 (match_test "-2 == INTVAL (avr_to_int_mode (op))"))
|
|
|
246 (match_test "satisfies_constraint_Cm2 (op)")))
|
|
|
247
|
|
|
248 (define_constraint "Yx2"
|
|
|
249 "Fixed-point or integer constant not in the range @minus{}2 @dots{} 2"
|
|
|
250 (and (ior (match_code "const_int")
|
|
|
251 (match_code "const_fixed"))
|
|
|
252 (match_test "!IN_RANGE (INTVAL (avr_to_int_mode (op)), -2, 2)")))
|
|
|
253
|
|
|
254 ;; Similar to "IJ" used with ADIW/SBIW, but for CONST_FIXED.
|
|
|
255
|
|
|
256 (define_constraint "YIJ"
|
|
|
257 "Fixed-point constant from @minus{}0x003f to 0x003f."
|
|
|
258 (and (match_code "const_fixed")
|
|
|
259 (match_test "IN_RANGE (INTVAL (avr_to_int_mode (op)), -63, 63)")))
|
