]>
Commit | Line | Data |
---|---|---|
981c7dce | 1 | ;; Predicate definitions for Renesas H8/300. |
83ffe9cd | 2 | ;; Copyright (C) 2005-2023 Free Software Foundation, Inc. |
981c7dce KH |
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 | |
2f83c7d6 | 8 | ;; the Free Software Foundation; either version 3, or (at your option) |
981c7dce KH |
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 | |
2f83c7d6 NC |
17 | ;; along with GCC; see the file COPYING3. If not see |
18 | ;; <http://www.gnu.org/licenses/>. | |
981c7dce KH |
19 | |
20 | ;; Return true if OP is a valid source operand for an integer move | |
21 | ;; instruction. | |
22 | ||
23 | (define_predicate "general_operand_src" | |
24 | (match_code "const_int,const_double,const,symbol_ref,label_ref,subreg,reg,mem") | |
25 | { | |
26 | if (GET_MODE (op) == mode | |
27 | && GET_CODE (op) == MEM | |
28 | && GET_CODE (XEXP (op, 0)) == POST_INC) | |
29 | return 1; | |
30 | return general_operand (op, mode); | |
31 | }) | |
32 | ||
33 | ;; Return true if OP is a valid destination operand for an integer | |
34 | ;; move instruction. | |
35 | ||
36 | (define_predicate "general_operand_dst" | |
37 | (match_code "subreg,reg,mem") | |
38 | { | |
39 | if (GET_MODE (op) == mode | |
40 | && GET_CODE (op) == MEM | |
41 | && GET_CODE (XEXP (op, 0)) == PRE_DEC) | |
42 | return 1; | |
43 | return general_operand (op, mode); | |
44 | }) | |
45 | ||
46 | ;; Likewise the second operand. | |
47 | ||
48 | (define_predicate "h8300_src_operand" | |
49 | (match_code "const_int,const_double,const,symbol_ref,label_ref,subreg,reg,mem") | |
50 | { | |
51 | if (TARGET_H8300SX) | |
52 | return general_operand (op, mode); | |
53 | return nonmemory_operand (op, mode); | |
54 | }) | |
55 | ||
56 | ;; Return true if OP is a suitable first operand for a general | |
57 | ;; arithmetic insn such as "add". | |
58 | ||
59 | (define_predicate "h8300_dst_operand" | |
60 | (match_code "subreg,reg,mem") | |
61 | { | |
62 | if (TARGET_H8300SX) | |
63 | return nonimmediate_operand (op, mode); | |
64 | return register_operand (op, mode); | |
65 | }) | |
66 | ||
67 | ;; Check that an operand is either a register or an unsigned 4-bit | |
68 | ;; constant. | |
69 | ||
70 | (define_predicate "nibble_operand" | |
71 | (match_code "const_int") | |
72 | { | |
73 | return (GET_CODE (op) == CONST_INT && TARGET_H8300SX | |
74 | && INTVAL (op) >= 0 && INTVAL (op) <= 15); | |
75 | }) | |
76 | ||
77 | ;; Check that an operand is either a register or an unsigned 4-bit | |
78 | ;; constant. | |
79 | ||
80 | (define_predicate "reg_or_nibble_operand" | |
81 | (match_code "const_int,subreg,reg") | |
82 | { | |
83 | return (nibble_operand (op, mode) || register_operand (op, mode)); | |
84 | }) | |
85 | ||
86 | ;; Return true if X is a shift operation of type H8SX_SHIFT_UNARY. | |
87 | ||
88 | (define_predicate "h8sx_unary_shift_operator" | |
89 | (match_code "ashiftrt,lshiftrt,ashift,rotate") | |
90 | { | |
91 | return (BINARY_P (op) && NON_COMMUTATIVE_P (op) | |
92 | && (h8sx_classify_shift (GET_MODE (op), GET_CODE (op), XEXP (op, 1)) | |
93 | == H8SX_SHIFT_UNARY)); | |
94 | }) | |
95 | ||
96 | ;; Likewise H8SX_SHIFT_BINARY. | |
97 | ||
98 | (define_predicate "h8sx_binary_shift_operator" | |
99 | (match_code "ashiftrt,lshiftrt,ashift") | |
100 | { | |
101 | return (BINARY_P (op) && NON_COMMUTATIVE_P (op) | |
102 | && (h8sx_classify_shift (GET_MODE (op), GET_CODE (op), XEXP (op, 1)) | |
103 | == H8SX_SHIFT_BINARY)); | |
104 | }) | |
105 | ||
106 | ;; Return true if OP is a binary operator in which it would be safe to | |
107 | ;; replace register operands with memory operands. | |
108 | ||
109 | (define_predicate "h8sx_binary_memory_operator" | |
110 | (match_code "plus,minus,and,ior,xor,ashift,ashiftrt,lshiftrt,rotate") | |
111 | { | |
112 | if (!TARGET_H8300SX) | |
113 | return false; | |
114 | ||
115 | if (GET_MODE (op) != QImode | |
116 | && GET_MODE (op) != HImode | |
117 | && GET_MODE (op) != SImode) | |
118 | return false; | |
119 | ||
120 | switch (GET_CODE (op)) | |
121 | { | |
122 | case PLUS: | |
123 | case MINUS: | |
124 | case AND: | |
125 | case IOR: | |
126 | case XOR: | |
127 | return true; | |
128 | ||
129 | default: | |
130 | return h8sx_unary_shift_operator (op, mode); | |
131 | } | |
132 | }) | |
133 | ||
134 | ;; Like h8sx_binary_memory_operator, but applies to unary operators. | |
135 | ||
136 | (define_predicate "h8sx_unary_memory_operator" | |
137 | (match_code "neg,not") | |
138 | { | |
139 | if (!TARGET_H8300SX) | |
140 | return false; | |
141 | ||
142 | if (GET_MODE (op) != QImode | |
143 | && GET_MODE (op) != HImode | |
144 | && GET_MODE (op) != SImode) | |
145 | return false; | |
146 | ||
147 | switch (GET_CODE (op)) | |
148 | { | |
149 | case NEG: | |
150 | case NOT: | |
151 | return true; | |
152 | ||
153 | default: | |
154 | return false; | |
155 | } | |
156 | }) | |
157 | ||
158 | ;; Return true if X is an ldm.l pattern. X is known to be parallel. | |
159 | ||
160 | (define_predicate "h8300_ldm_parallel" | |
161 | (match_code "parallel") | |
162 | { | |
163 | return h8300_ldm_stm_parallel (XVEC (op, 0), 1, 0); | |
164 | }) | |
165 | ||
166 | ;; Likewise stm.l. | |
167 | ||
168 | (define_predicate "h8300_stm_parallel" | |
169 | (match_code "parallel") | |
170 | { | |
171 | return h8300_ldm_stm_parallel (XVEC (op, 0), 0, 0); | |
172 | }) | |
173 | ||
174 | ;; Likewise rts/l and rte/l. Note that the .md pattern will check for | |
175 | ;; the return so there's no need to do that here. | |
176 | ||
177 | (define_predicate "h8300_return_parallel" | |
178 | (match_code "parallel") | |
179 | { | |
180 | return h8300_ldm_stm_parallel (XVEC (op, 0), 1, 1); | |
181 | }) | |
182 | ||
183 | ;; Return true if OP is a constant that contains only one 1 in its | |
184 | ;; binary representation. | |
185 | ||
186 | (define_predicate "single_one_operand" | |
187 | (match_code "const_int") | |
188 | { | |
189 | if (GET_CODE (op) == CONST_INT) | |
190 | { | |
191 | /* We really need to do this masking because 0x80 in QImode is | |
192 | represented as -128 for example. */ | |
193 | if (exact_log2 (INTVAL (op) & GET_MODE_MASK (mode)) >= 0) | |
194 | return 1; | |
195 | } | |
196 | ||
197 | return 0; | |
198 | }) | |
199 | ||
200 | ;; Return true if OP is a constant that contains only one 0 in its | |
201 | ;; binary representation. | |
202 | ||
203 | (define_predicate "single_zero_operand" | |
204 | (match_code "const_int") | |
205 | { | |
206 | if (GET_CODE (op) == CONST_INT) | |
207 | { | |
208 | /* We really need to do this masking because 0x80 in QImode is | |
209 | represented as -128 for example. */ | |
210 | if (exact_log2 (~INTVAL (op) & GET_MODE_MASK (mode)) >= 0) | |
211 | return 1; | |
212 | } | |
213 | ||
214 | return 0; | |
215 | }) | |
216 | ||
217 | ;; Return true if OP is a valid call operand. | |
218 | ||
735352d2 | 219 | (define_predicate "call_expander_operand" |
981c7dce KH |
220 | (match_code "mem") |
221 | { | |
222 | if (GET_CODE (op) == MEM) | |
223 | { | |
224 | rtx inside = XEXP (op, 0); | |
225 | if (register_operand (inside, Pmode)) | |
226 | return 1; | |
735352d2 | 227 | if (SYMBOL_REF_P (inside)) |
981c7dce KH |
228 | return 1; |
229 | } | |
230 | return 0; | |
231 | }) | |
232 | ||
735352d2 JL |
233 | (define_predicate "call_insn_operand" |
234 | (match_code "reg,symbol_ref") | |
235 | { | |
236 | if (register_operand (op, Pmode)) | |
237 | return 1; | |
238 | if (SYMBOL_REF_P (op)) | |
239 | return 1; | |
240 | return 0; | |
241 | }) | |
242 | ||
981c7dce KH |
243 | ;; Return true if OP is a valid call operand, and OP represents an |
244 | ;; operand for a small call (4 bytes instead of 6 bytes). | |
245 | ||
246 | (define_predicate "small_call_insn_operand" | |
735352d2 | 247 | (match_code "reg,symbol_ref") |
981c7dce | 248 | { |
735352d2 JL |
249 | /* Register indirect is a small call. */ |
250 | if (register_operand (op, Pmode)) | |
251 | return 1; | |
981c7dce | 252 | |
735352d2 JL |
253 | /* A call through the function vector is a small call too. */ |
254 | if (GET_CODE (op) == SYMBOL_REF | |
255 | && (SYMBOL_REF_FLAGS (op) & SYMBOL_FLAG_FUNCVEC_FUNCTION)) | |
256 | return 1; | |
981c7dce | 257 | |
981c7dce KH |
258 | /* Otherwise it's a large call. */ |
259 | return 0; | |
260 | }) | |
261 | ||
262 | ;; Return true if OP is a valid jump operand. | |
263 | ||
264 | (define_predicate "jump_address_operand" | |
265 | (match_code "reg,mem") | |
266 | { | |
267 | if (GET_CODE (op) == REG) | |
5e0a7e40 | 268 | return GET_MODE (op) == Pmode; |
981c7dce KH |
269 | |
270 | if (GET_CODE (op) == MEM) | |
271 | { | |
272 | rtx inside = XEXP (op, 0); | |
273 | if (register_operand (inside, Pmode)) | |
274 | return 1; | |
275 | if (CONSTANT_ADDRESS_P (inside)) | |
276 | return 1; | |
277 | } | |
278 | return 0; | |
279 | }) | |
280 | ||
281 | ;; Return 1 if an addition/subtraction of a constant integer can be | |
282 | ;; transformed into two consecutive adds/subs that are faster than the | |
283 | ;; straightforward way. Otherwise, return 0. | |
284 | ||
285 | (define_predicate "two_insn_adds_subs_operand" | |
286 | (match_code "const_int") | |
287 | { | |
288 | if (TARGET_H8300SX) | |
289 | return 0; | |
290 | ||
291 | if (GET_CODE (op) == CONST_INT) | |
292 | { | |
293 | HOST_WIDE_INT value = INTVAL (op); | |
294 | ||
295 | /* Force VALUE to be positive so that we do not have to consider | |
296 | the negative case. */ | |
297 | if (value < 0) | |
298 | value = -value; | |
27c1afd5 JL |
299 | |
300 | /* A constant addition/subtraction takes 2 states in QImode, | |
301 | 4 states in HImode, and 6 states in SImode. Thus, the | |
302 | only case we can win is when SImode is used, in which | |
303 | case, two adds/subs are used, taking 4 states. */ | |
304 | if (mode == SImode | |
305 | && (value == 2 + 1 | |
306 | || value == 4 + 1 | |
307 | || value == 4 + 2 | |
308 | || value == 4 + 4)) | |
309 | return 1; | |
981c7dce KH |
310 | } |
311 | ||
312 | return 0; | |
313 | }) | |
314 | ||
315 | ;; Recognize valid operands for bit-field instructions. | |
316 | ||
317 | (define_predicate "bit_operand" | |
318 | (match_code "reg,subreg,mem") | |
319 | { | |
320 | /* We can accept any nonimmediate operand, except that MEM operands must | |
321 | be limited to those that use addresses valid for the 'U' constraint. */ | |
ceaaaeab | 322 | if (!nonimmediate_operand (op, mode) && !satisfies_constraint_U (op)) |
981c7dce KH |
323 | return 0; |
324 | ||
325 | /* H8SX accepts pretty much anything here. */ | |
326 | if (TARGET_H8300SX) | |
327 | return 1; | |
328 | ||
329 | /* Accept any mem during RTL generation. Otherwise, the code that does | |
330 | insv and extzv will think that we cannot handle memory. However, | |
331 | to avoid reload problems, we only accept 'U' MEM operands after RTL | |
332 | generation. This means that any named pattern which uses this predicate | |
333 | must force its operands to match 'U' before emitting RTL. */ | |
334 | ||
335 | if (GET_CODE (op) == REG) | |
336 | return 1; | |
337 | if (GET_CODE (op) == SUBREG) | |
338 | return 1; | |
339 | return (GET_CODE (op) == MEM | |
ceaaaeab | 340 | && satisfies_constraint_U (op)); |
981c7dce KH |
341 | }) |
342 | ||
343 | ;; Return nonzero if OP is a MEM suitable for bit manipulation insns. | |
344 | ||
345 | (define_predicate "bit_memory_operand" | |
346 | (match_code "mem") | |
347 | { | |
348 | return (GET_CODE (op) == MEM | |
ceaaaeab | 349 | && satisfies_constraint_U (op)); |
981c7dce KH |
350 | }) |
351 | ||
0f6b820c KP |
352 | ;; Return nonzero if OP is indirect register or constant memory |
353 | ;; suitable for bit manipulation insns. | |
354 | ||
355 | (define_predicate "bit_register_indirect_operand" | |
356 | (match_code "mem") | |
357 | { | |
358 | return (GET_CODE (op) == MEM | |
359 | && (GET_CODE (XEXP (op, 0)) == REG | |
360 | || GET_CODE (XEXP (op, 0)) == CONST_INT)); | |
361 | }) | |
362 | ||
981c7dce KH |
363 | ;; Return nonzero if X is a stack pointer. |
364 | ||
365 | (define_predicate "stack_pointer_operand" | |
366 | (match_code "reg") | |
367 | { | |
368 | return op == stack_pointer_rtx; | |
369 | }) | |
370 | ||
f9b4f8c1 RH |
371 | ;; False if X is anything that might eliminate to the stack pointer. |
372 | ||
373 | (define_predicate "register_no_sp_elim_operand" | |
374 | (match_operand 0 "register_operand") | |
375 | { | |
376 | if (GET_CODE (op) == SUBREG) | |
377 | op = SUBREG_REG (op); | |
378 | return !(op == stack_pointer_rtx | |
379 | || op == arg_pointer_rtx | |
380 | || op == frame_pointer_rtx | |
381 | || IN_RANGE (REGNO (op), | |
382 | FIRST_PSEUDO_REGISTER, LAST_VIRTUAL_REGISTER)); | |
383 | }) | |
384 | ||
981c7dce KH |
385 | ;; Return nonzero if X is a constant whose absolute value is greater |
386 | ;; than 2. | |
387 | ||
388 | (define_predicate "const_int_gt_2_operand" | |
389 | (match_code "const_int") | |
390 | { | |
391 | return (GET_CODE (op) == CONST_INT | |
392 | && abs (INTVAL (op)) > 2); | |
393 | }) | |
394 | ||
395 | ;; Return nonzero if X is a constant whose absolute value is no | |
396 | ;; smaller than 8. | |
397 | ||
398 | (define_predicate "const_int_ge_8_operand" | |
399 | (match_code "const_int") | |
400 | { | |
401 | return (GET_CODE (op) == CONST_INT | |
402 | && abs (INTVAL (op)) >= 8); | |
403 | }) | |
404 | ||
405 | ;; Return nonzero if X is a constant expressible in QImode. | |
406 | ||
407 | (define_predicate "const_int_qi_operand" | |
408 | (match_code "const_int") | |
409 | { | |
410 | return (GET_CODE (op) == CONST_INT | |
411 | && (INTVAL (op) & 0xff) == INTVAL (op)); | |
412 | }) | |
413 | ||
414 | ;; Return nonzero if X is a constant expressible in HImode. | |
415 | ||
416 | (define_predicate "const_int_hi_operand" | |
417 | (match_code "const_int") | |
418 | { | |
419 | return (GET_CODE (op) == CONST_INT | |
420 | && (INTVAL (op) & 0xffff) == INTVAL (op)); | |
421 | }) | |
422 | ||
423 | ;; Return nonzero if X is a constant suitable for inc/dec. | |
424 | ||
425 | (define_predicate "incdec_operand" | |
ceaaaeab NF |
426 | (and (match_code "const_int") |
427 | (ior (match_test "satisfies_constraint_M (op)") | |
428 | (match_test "satisfies_constraint_O (op)")))) | |
981c7dce KH |
429 | |
430 | ;; Recognize valid operators for bit instructions. | |
431 | ||
432 | (define_predicate "bit_operator" | |
433 | (match_code "xor,and,ior") | |
434 | { | |
435 | enum rtx_code code = GET_CODE (op); | |
436 | ||
437 | return (code == XOR | |
438 | || code == AND | |
439 | || code == IOR); | |
440 | }) | |
441 | ||
442 | ;; Return nonzero if OP is a shift operator. | |
443 | ||
444 | (define_predicate "nshift_operator" | |
445 | (match_code "ashiftrt,lshiftrt,ashift") | |
446 | { | |
447 | switch (GET_CODE (op)) | |
448 | { | |
449 | case ASHIFTRT: | |
450 | case LSHIFTRT: | |
451 | case ASHIFT: | |
452 | return 1; | |
453 | ||
454 | default: | |
455 | return 0; | |
456 | } | |
457 | }) | |
458 | ||
459 | ;; Return nonzero if X is either EQ or NE. | |
460 | ||
461 | (define_predicate "eqne_operator" | |
462 | (match_code "eq,ne") | |
463 | { | |
464 | enum rtx_code code = GET_CODE (op); | |
465 | ||
466 | return (code == EQ || code == NE); | |
467 | }) | |
468 | ||
469 | ;; Return nonzero if X is either GT or LE. | |
470 | ||
471 | (define_predicate "gtle_operator" | |
472 | (match_code "gt,le,gtu,leu") | |
473 | { | |
474 | enum rtx_code code = GET_CODE (op); | |
475 | ||
476 | return (code == GT || code == LE); | |
477 | }) | |
478 | ||
479 | ;; Return nonzero if X is either GTU or LEU. | |
480 | ||
481 | (define_predicate "gtuleu_operator" | |
482 | (match_code "gtu,leu") | |
483 | { | |
484 | enum rtx_code code = GET_CODE (op); | |
485 | ||
486 | return (code == GTU || code == LEU); | |
487 | }) | |
488 | ||
489 | ;; Return nonzero if X is either IOR or XOR. | |
490 | ||
491 | (define_predicate "iorxor_operator" | |
492 | (match_code "ior,xor") | |
493 | { | |
494 | enum rtx_code code = GET_CODE (op); | |
495 | ||
496 | return (code == IOR || code == XOR); | |
497 | }) | |
4c1b27f9 JL |
498 | |
499 | ;; Used to detect valid targets for conditional branches | |
500 | ;; Used to detect (pc) or (label_ref) in some jumping patterns | |
501 | (define_predicate "pc_or_label_operand" | |
502 | (match_code "pc,label_ref")) | |
503 | ||
f16897cb AL |
504 | (define_predicate "simple_memory_operand" |
505 | (match_code "mem") | |
506 | { | |
507 | if (GET_MODE (op) == mode | |
508 | && (GET_CODE (XEXP (op, 0)) != PRE_DEC | |
73c49ff5 JL |
509 | && GET_CODE (XEXP (op, 0)) != PRE_INC |
510 | && GET_CODE (XEXP (op, 0)) != POST_DEC | |
f16897cb AL |
511 | && GET_CODE (XEXP (op, 0)) != POST_INC)) |
512 | return 1; | |
513 | return 0; | |
514 | }) |