1;; Predicate definitions for Renesas / SuperH SH. 2;; Copyright (C) 2005-2020 Free Software Foundation, Inc. 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 21;; Returns 1 if OP is a normal arithmetic register. 22(define_predicate "arith_reg_operand" 23 (match_code "subreg,reg,sign_extend") 24{ 25 if (register_operand (op, mode)) 26 { 27 int regno; 28 29 if (REG_P (op)) 30 regno = REGNO (op); 31 else if (GET_CODE (op) == SUBREG && REG_P (SUBREG_REG (op))) 32 regno = REGNO (SUBREG_REG (op)); 33 else 34 return 1; 35 36 return (regno != T_REG && regno != PR_REG 37 && regno != FPUL_REG && regno != FPSCR_REG 38 && regno != MACH_REG && regno != MACL_REG); 39 } 40 /* Allow a no-op sign extension - compare LOAD_EXTEND_OP. 41 We allow SImode here, as not using an FP register is just a matter of 42 proper register allocation. */ 43 44#if 0 /* Can't do this because of PROMOTE_MODE for unsigned vars. */ 45 if (GET_MODE (op) == SImode && GET_CODE (op) == SIGN_EXTEND 46 && GET_MODE (XEXP (op, 0)) == HImode 47 && REG_P (XEXP (op, 0)) 48 && REGNO (XEXP (op, 0)) <= LAST_GENERAL_REG) 49 return register_operand (XEXP (op, 0), VOIDmode); 50#endif 51 if (GET_MODE_CLASS (GET_MODE (op)) == MODE_VECTOR_INT 52 && GET_CODE (op) == SUBREG 53 && GET_MODE (SUBREG_REG (op)) == DImode 54 && GET_CODE (SUBREG_REG (op)) == SIGN_EXTEND 55 && GET_MODE (XEXP (SUBREG_REG (op), 0)) == SImode 56 && GET_CODE (XEXP (SUBREG_REG (op), 0)) != SUBREG) 57 return register_operand (XEXP (SUBREG_REG (op), 0), VOIDmode); 58 return 0; 59}) 60 61;; Like above, but for DImode destinations: forbid paradoxical DImode 62;; subregs, because this would lead to missing sign extensions when 63;; truncating from DImode to SImode. 64(define_predicate "arith_reg_dest" 65 (and (match_code "subreg,reg") 66 (match_operand 0 "arith_reg_operand"))) 67 68;; Returns true if OP is a valid source operand for an arithmetic insn. 69(define_predicate "arith_operand" 70 (and (match_code "subreg,reg,const_int,truncate") 71 (ior (match_operand 0 "arith_reg_operand") 72 (match_test "satisfies_constraint_I08 (op)")))) 73 74;; Likewise arith_operand but always permits const_int. 75(define_predicate "arith_or_int_operand" 76 (and (match_code "subreg,reg,const_int,const_vector") 77 (ior (match_operand 0 "arith_operand") 78 (match_operand 0 "const_int_operand")))) 79 80;; Returns true if OP is a valid source operand for a compare insn. 81(define_predicate "arith_reg_or_0_operand" 82 (and (match_code "subreg,reg,const_int,const_vector") 83 (ior (match_operand 0 "arith_reg_operand") 84 (match_test "satisfies_constraint_Z (op)")))) 85 86;; Returns true if OP is either a register or constant 0 or constant 1. 87(define_predicate "arith_reg_or_0_or_1_operand" 88 (and (match_code "subreg,reg,const_int,const_vector") 89 (ior (match_operand 0 "arith_reg_or_0_operand") 90 (match_test "satisfies_constraint_M (op)")))) 91 92;; Returns true if OP is a suitable constant for the minimum value of a 93;; clips.b or clips.w insn. 94(define_predicate "clips_min_const_int" 95 (and (match_code "const_int") 96 (ior (match_test "INTVAL (op) == -128") 97 (match_test "INTVAL (op) == -32768")))) 98 99;; Returns true if OP is a suitable constant for the maximum value of a 100;; clips.b or clips.w insn. 101(define_predicate "clips_max_const_int" 102 (and (match_code "const_int") 103 (ior (match_test "INTVAL (op) == 127") 104 (match_test "INTVAL (op) == 32767")))) 105 106;; Returns true if OP is a suitable constant for the maximum value of a 107;; clipu.b or clipu.w insn. 108(define_predicate "clipu_max_const_int" 109 (and (match_code "const_int") 110 (ior (match_test "INTVAL (op) == 255") 111 (match_test "INTVAL (op) == 65535")))) 112 113;; Returns true if OP is a floating point register that can be used in floating 114;; point arithmetic operations. 115(define_predicate "fp_arith_reg_operand" 116 (match_code "subreg,reg") 117{ 118 if (register_operand (op, mode)) 119 { 120 int regno; 121 122 if (REG_P (op)) 123 regno = REGNO (op); 124 else if (GET_CODE (op) == SUBREG && REG_P (SUBREG_REG (op))) 125 regno = REGNO (SUBREG_REG (op)); 126 else 127 return 1; 128 129 return (regno >= FIRST_PSEUDO_REGISTER 130 || FP_REGISTER_P (regno)); 131 } 132 return 0; 133}) 134 135;; Returns true if OP is the FPSCR. 136(define_predicate "fpscr_operand" 137 (and (match_code "reg") 138 (match_test "REGNO (op) == FPSCR_REG"))) 139 140;; Returns true if OP is a valid source operand for a FPSCR move insn. 141(define_predicate "fpscr_movsrc_operand" 142 (match_code "reg,subreg,mem") 143{ 144 if (arith_reg_operand (op, mode)) 145 return true; 146 147 return MEM_P (op) && GET_CODE (XEXP (op, 0)) == POST_INC; 148}) 149 150;; Returns true if OP is a valid destination operand for a FPSCR move insn. 151(define_predicate "fpscr_movdst_operand" 152 (match_code "reg,subreg,mem") 153{ 154 if (arith_reg_dest (op, mode)) 155 return true; 156 157 return MEM_P (op) && GET_CODE (XEXP (op, 0)) == PRE_DEC; 158}) 159 160;; Returns true if OP is an operand that is either the fpul hard reg or 161;; a pseudo. This prevents combine from propagating function arguments 162;; in hard regs into insns that need the operand in fpul. If it's a pseudo 163;; reload can fix it up. 164(define_predicate "fpul_operand" 165 (match_code "reg") 166{ 167 return REG_P (op) 168 && (REGNO (op) == FPUL_REG || REGNO (op) >= FIRST_PSEUDO_REGISTER) 169 && GET_MODE (op) == mode; 170}) 171 172;; Returns true if OP is a valid fpul input operand for the fsca insn. 173;; The value in fpul is a fixed-point value and its scaling is described 174;; in the fsca insn by a mult:SF. To allow pre-scaled fixed-point inputs 175;; in fpul we have to permit things like 176;; (reg:SI) 177;; (fix:SF (float:SF (reg:SI))) 178(define_predicate "fpul_fsca_operand" 179 (match_code "fix,reg") 180{ 181 if (fpul_operand (op, SImode)) 182 return true; 183 if (GET_CODE (op) == FIX && GET_MODE (op) == SImode 184 && GET_CODE (XEXP (op, 0)) == FLOAT && GET_MODE (XEXP (op, 0)) == SFmode) 185 return fpul_fsca_operand (XEXP (XEXP (op, 0), 0), 186 GET_MODE (XEXP (XEXP (op, 0), 0))); 187 return false; 188}) 189 190;; Returns true if OP is a valid constant scale factor for the fsca insn. 191(define_predicate "fsca_scale_factor" 192 (and (match_code "const_double") 193 (match_test "op == sh_fsca_int2sf ()"))) 194 195;; Returns true if OP is an operand that is zero extended during an operation. 196(define_predicate "general_extend_operand" 197 (match_code "subreg,reg,mem,truncate") 198{ 199 if (reload_completed && GET_CODE (op) == TRUNCATE) 200 return arith_operand (op, mode); 201 202 if (MEM_P (op) || (GET_CODE (op) == SUBREG && MEM_P (SUBREG_REG (op)))) 203 return general_movsrc_operand (op, mode); 204 205 return nonimmediate_operand (op, mode); 206}) 207 208;; Returns 1 if OP is a simple register address. 209(define_predicate "simple_mem_operand" 210 (and (match_code "mem") 211 (match_code "reg" "0") 212 (match_test "arith_reg_operand (XEXP (op, 0), SImode)"))) 213 214;; Returns 1 if OP is a valid displacement address. 215(define_predicate "displacement_mem_operand" 216 (and (match_code "mem") 217 (match_code "plus" "0") 218 (match_code "reg" "00") 219 (match_test "arith_reg_operand (XEXP (XEXP (op, 0), 0), SImode)") 220 (match_test "sh_legitimate_index_p (GET_MODE (op), 221 XEXP (XEXP (op, 0), 1), 222 TARGET_SH2A, true)"))) 223 224;; Returns true if OP is a displacement address that can fit into a 225;; 16 bit (non-SH2A) memory load / store insn. 226(define_predicate "short_displacement_mem_operand" 227 (and (match_code "mem") 228 (match_operand 0 "displacement_mem_operand") 229 (match_test "sh_disp_addr_displacement (op) 230 <= sh_max_mov_insn_displacement (GET_MODE (op), false)"))) 231 232;; Returns true if OP is a displacement address that does not fit into 233;; a 16 bit (non-SH2A) memory load / store insn. 234(define_predicate "long_displacement_mem_operand" 235 (and (match_operand 0 "displacement_mem_operand") 236 (not (match_operand 0 "short_displacement_mem_operand")))) 237 238;; Returns true if OP is a post-increment addressing mode memory reference. 239(define_predicate "post_inc_mem" 240 (and (match_code "mem") 241 (match_code "post_inc" "0") 242 (match_code "reg" "00"))) 243 244;; Returns true if OP is a pre-decrement addressing mode memory reference. 245(define_predicate "pre_dec_mem" 246 (and (match_code "mem") 247 (match_code "pre_dec" "0") 248 (match_code "reg" "00"))) 249 250;; Returns 1 if the operand can be used in an SH2A movu.{b|w} insn. 251(define_predicate "zero_extend_movu_operand" 252 (and (ior (match_operand 0 "displacement_mem_operand") 253 (match_operand 0 "simple_mem_operand")) 254 (ior (match_test "GET_MODE (op) == QImode") 255 (match_test "GET_MODE (op) == HImode")))) 256 257;; Returns 1 if OP can be source of a simple move operation. Same as 258;; general_operand, but a LABEL_REF is valid, PRE_DEC is invalid as 259;; are subregs of system registers. 260(define_predicate "general_movsrc_operand" 261 (match_code "subreg,reg,const_int,const_double,mem,symbol_ref,label_ref, 262 const,const_vector") 263{ 264 if (t_reg_operand (op, mode)) 265 return 0; 266 267 if (fpscr_operand (op, mode)) 268 return false; 269 270 /* Disallow PC relative QImode loads, since these is no insn to do that 271 and an imm8 load should be used instead. */ 272 if (IS_PC_RELATIVE_LOAD_ADDR_P (op) && GET_MODE (op) == QImode) 273 return false; 274 275 if (MEM_P (op)) 276 { 277 rtx inside = XEXP (op, 0); 278 279 /* Disallow mems with GBR address here. They have to go through 280 separate special patterns. */ 281 if ((REG_P (inside) && REGNO (inside) == GBR_REG) 282 || (GET_CODE (inside) == PLUS && REG_P (XEXP (inside, 0)) 283 && REGNO (XEXP (inside, 0)) == GBR_REG)) 284 return 0; 285 286 if (GET_CODE (inside) == CONST) 287 inside = XEXP (inside, 0); 288 289 if (GET_CODE (inside) == LABEL_REF) 290 return 1; 291 292 if (GET_CODE (inside) == PLUS 293 && GET_CODE (XEXP (inside, 0)) == LABEL_REF 294 && CONST_INT_P (XEXP (inside, 1))) 295 return 1; 296 297 /* Only post inc allowed. */ 298 if (GET_CODE (inside) == PRE_DEC) 299 return 0; 300 } 301 302 if (mode == GET_MODE (op) 303 && (MEM_P (op) || (GET_CODE (op) == SUBREG && MEM_P (SUBREG_REG (op))))) 304 { 305 rtx mem_rtx = MEM_P (op) ? op : SUBREG_REG (op); 306 rtx x = XEXP (mem_rtx, 0); 307 308 if (GET_CODE (x) == PLUS) 309 { 310 rtx y = XEXP (x, 0); 311 312 if (! REG_P (y) 313 && ! (GET_CODE (y) == SUBREG && REG_P (SUBREG_REG (y)))) 314 return false; 315 y = XEXP (x, 1); 316 if (! REG_P (y) 317 && ! (GET_CODE (y) == SUBREG && REG_P (SUBREG_REG (y))) 318 && ! CONST_INT_P (y)) 319 return false; 320 } 321 322 /* LRA will try to satisfy the constraints for the memory displacements 323 and thus we must not reject invalid displacements in the predicate, 324 or else LRA will bail out. 325 FIXME: maybe remove this check completely? */ 326 if (!lra_in_progress && (mode == QImode || mode == HImode) 327 && GET_CODE (x) == PLUS 328 && REG_P (XEXP (x, 0)) 329 && CONST_INT_P (XEXP (x, 1))) 330 return sh_legitimate_index_p (mode, XEXP (x, 1), TARGET_SH2A, false); 331 332 /* Allow reg+reg addressing here without validating the register 333 numbers. Usually one of the regs must be R0 or a pseudo reg. 334 In some cases it can happen that arguments from hard regs are 335 propagated directly into address expressions. In this cases reload 336 will have to fix it up later. However, allow this only for native 337 1, 2 or 4 byte addresses. */ 338 if (can_create_pseudo_p () && GET_CODE (x) == PLUS 339 && GET_MODE_SIZE (mode) <= 4 340 && REG_P (XEXP (x, 0)) && REG_P (XEXP (x, 1))) 341 return true; 342 343 /* 'general_operand' does not allow volatile mems during RTL expansion to 344 avoid matching arithmetic that operates on mems, it seems. 345 On SH this leads to redundant sign extensions for QImode or HImode 346 loads. Thus we mimic the behavior but allow volatile mems. */ 347 if (memory_address_addr_space_p (GET_MODE (mem_rtx), x, 348 MEM_ADDR_SPACE (mem_rtx))) 349 return true; 350 } 351 352 return general_operand (op, mode); 353}) 354 355;; Returns true if OP is a MEM that does not use displacement addressing. 356(define_predicate "movsrc_no_disp_mem_operand" 357 (and (match_code "mem") 358 (match_operand 0 "general_movsrc_operand") 359 (match_test "satisfies_constraint_Snd (op)"))) 360 361;; Returns 1 if OP can be a destination of a move. Same as 362;; general_operand, but no preinc allowed. 363(define_predicate "general_movdst_operand" 364 (match_code "subreg,reg,mem") 365{ 366 if (t_reg_operand (op, mode)) 367 return 0; 368 369 if (fpscr_operand (op, mode)) 370 return false; 371 372 if (MEM_P (op)) 373 { 374 rtx inside = XEXP (op, 0); 375 /* Disallow mems with GBR address here. They have to go through 376 separate special patterns. */ 377 if ((REG_P (inside) && REGNO (inside) == GBR_REG) 378 || (GET_CODE (inside) == PLUS && REG_P (XEXP (inside, 0)) 379 && REGNO (XEXP (inside, 0)) == GBR_REG)) 380 return 0; 381 } 382 383 /* Only pre dec allowed. */ 384 if (MEM_P (op) && GET_CODE (XEXP (op, 0)) == POST_INC) 385 return 0; 386 387 if (mode == GET_MODE (op) 388 && (MEM_P (op) || (GET_CODE (op) == SUBREG && MEM_P (SUBREG_REG (op))))) 389 { 390 rtx mem_rtx = MEM_P (op) ? op : SUBREG_REG (op); 391 rtx x = XEXP (mem_rtx, 0); 392 393 if (GET_CODE (x) == PLUS) 394 { 395 rtx y = XEXP (x, 0); 396 397 if (! REG_P (y) 398 && ! (GET_CODE (y) == SUBREG && REG_P (SUBREG_REG (y)))) 399 return false; 400 y = XEXP (x, 1); 401 if (! REG_P (y) 402 && ! (GET_CODE (y) == SUBREG && REG_P (SUBREG_REG (y))) 403 && ! CONST_INT_P (y)) 404 return false; 405 } 406 407 /* LRA will try to satisfy the constraints for the memory displacements 408 and thus we must not reject invalid displacements in the predicate, 409 or else LRA will bail out. 410 FIXME: maybe remove this check completely? */ 411 if (!lra_in_progress && (mode == QImode || mode == HImode) 412 && GET_CODE (x) == PLUS 413 && REG_P (XEXP (x, 0)) 414 && CONST_INT_P (XEXP (x, 1))) 415 return sh_legitimate_index_p (mode, XEXP (x, 1), TARGET_SH2A, false); 416 417 /* Allow reg+reg addressing here without validating the register 418 numbers. Usually one of the regs must be R0 or a pseudo reg. 419 In some cases it can happen that arguments from hard regs are 420 propagated directly into address expressions. In this cases reload 421 will have to fix it up later. However, allow this only for native 422 1, 2 or 4 byte addresses. */ 423 if (can_create_pseudo_p () && GET_CODE (x) == PLUS 424 && GET_MODE_SIZE (mode) <= 4 425 && REG_P (XEXP (x, 0)) && REG_P (XEXP (x, 1))) 426 return true; 427 428 /* 'general_operand' does not allow volatile mems during RTL expansion to 429 avoid matching arithmetic that operates on mems, it seems. 430 On SH this leads to redundant sign extensions for QImode or HImode 431 stores. Thus we mimic the behavior but allow volatile mems. */ 432 if (memory_address_addr_space_p (GET_MODE (mem_rtx), x, 433 MEM_ADDR_SPACE (mem_rtx))) 434 return true; 435 } 436 437 return general_operand (op, mode); 438}) 439 440;; Returns 1 if OP is a MEM that can be source of a simple move operation. 441(define_predicate "unaligned_load_operand" 442 (match_code "mem") 443{ 444 rtx inside; 445 446 if (!MEM_P (op) || GET_MODE (op) != mode) 447 return 0; 448 449 inside = XEXP (op, 0); 450 451 if (GET_CODE (inside) == POST_INC) 452 inside = XEXP (inside, 0); 453 454 if (REG_P (inside)) 455 return 1; 456 457 return 0; 458}) 459 460;; Returns 1 if OP is a MEM that can be used in "index_disp" combiner 461;; patterns. 462(define_predicate "mem_index_disp_operand" 463 (match_code "mem") 464{ 465 rtx plus0_rtx, plus1_rtx, mult_rtx; 466 467 plus0_rtx = XEXP (op, 0); 468 if (GET_CODE (plus0_rtx) != PLUS) 469 return 0; 470 471 plus1_rtx = XEXP (plus0_rtx, 0); 472 if (GET_CODE (plus1_rtx) != PLUS) 473 return 0; 474 if (! arith_reg_operand (XEXP (plus1_rtx, 1), GET_MODE (XEXP (plus1_rtx, 1)))) 475 return 0; 476 477 mult_rtx = XEXP (plus1_rtx, 0); 478 if (GET_CODE (mult_rtx) != MULT) 479 return 0; 480 if (! arith_reg_operand (XEXP (mult_rtx, 0), GET_MODE (XEXP (mult_rtx, 0))) 481 || ! CONST_INT_P (XEXP (mult_rtx, 1))) 482 return 0; 483 484 return exact_log2 (INTVAL (XEXP (mult_rtx, 1))) > 0 485 && sh_legitimate_index_p (mode, XEXP (plus0_rtx, 1), TARGET_SH2A, true); 486}) 487 488;; Returns true if OP is a valid source operand for a logical operation. 489(define_predicate "logical_operand" 490 (and (match_code "subreg,reg,const_int") 491 (ior (match_operand 0 "arith_reg_operand") 492 (match_test "satisfies_constraint_K08 (op)")))) 493 494;; Returns true if OP is a valid constant source operand for a logical 495;; operations tst/and/or/xor #imm,r0. 496(define_predicate "const_logical_operand" 497 (and (match_code "const_int") 498 (match_test "satisfies_constraint_K08 (op)"))) 499 500;; Like logical_operand but allows additional constant values which can be 501;; done with zero extensions. Used for the second operand of and insns. 502(define_predicate "logical_and_operand" 503 (and (match_code "subreg,reg,const_int") 504 (ior (match_operand 0 "logical_operand") 505 (match_test "satisfies_constraint_Jmb (op)") 506 (match_test "satisfies_constraint_Jmw (op)")))) 507 508;; Returns true if OP is a logical operator. 509(define_predicate "logical_operator" 510 (match_code "and,ior,xor")) 511 512;; Returns true if OP is a constant vector. 513(define_predicate "sh_const_vec" 514 (match_code "const_vector") 515{ 516 for (int i = XVECLEN (op, 0) - 1; i >= 0; i--) 517 if (!CONST_INT_P (XVECEXP (op, 0, i))) 518 return false; 519 return true; 520}) 521 522;; Determine if OP is a constant vector matching MODE with only one 523;; element that is not a sign extension. Two byte-sized elements 524;; count as one. 525(define_predicate "sh_1el_vec" 526 (match_code "const_vector") 527{ 528 /* Determine numbers of last and of least significant elements. */ 529 int last = XVECLEN (op, 0) - 1; 530 int least = TARGET_LITTLE_ENDIAN ? 0 : last; 531 if (!CONST_INT_P (XVECEXP (op, 0, least))) 532 return false; 533 int sign_ix = least; 534 if (GET_MODE_UNIT_SIZE (mode) == 1) 535 sign_ix = TARGET_LITTLE_ENDIAN ? 1 : last - 1; 536 if (!CONST_INT_P (XVECEXP (op, 0, sign_ix))) 537 return false; 538 int unit_size = GET_MODE_UNIT_SIZE (GET_MODE (op)); 539 rtx sign = INTVAL (XVECEXP (op, 0, sign_ix)) >> (unit_size * BITS_PER_UNIT - 1) 540 ? constm1_rtx : const0_rtx; 541 int i = XVECLEN (op, 0) - 1; 542 do 543 if (i != least && i != sign_ix && XVECEXP (op, 0, i) != sign) 544 return 0; 545 while (--i); 546 return true; 547}) 548 549;; Returns true if OP is a vector which is composed of one element that is 550;; repeated. 551(define_predicate "sh_rep_vec" 552 (match_code "const_vector,parallel") 553{ 554 int i = XVECLEN (op, 0) - 2; 555 rtx x = XVECEXP (op, 0, i + 1); 556 if (GET_MODE_UNIT_SIZE (mode) == 1) 557 { 558 rtx y = XVECEXP (op, 0, i); 559 for (i -= 2; i >= 0; i -= 2) 560 if (! rtx_equal_p (XVECEXP (op, 0, i + 1), x) 561 || ! rtx_equal_p (XVECEXP (op, 0, i), y)) 562 return false; 563 } 564 else 565 for (; i >= 0; i--) 566 if (XVECEXP (op, 0, i) != x) 567 return false; 568 return true; 569}) 570 571;; Returns true if OP is a valid shift count operand for shift operations. 572(define_predicate "shift_count_operand" 573 (match_code "const_int,const_double,const,symbol_ref,label_ref,subreg,reg, 574 zero_extend,sign_extend") 575{ 576 /* Allow T_REG as shift count for dynamic shifts, although it is not 577 really possible. It will then be copied to a general purpose reg. */ 578 return const_int_operand (op, mode) || arith_reg_operand (op, mode) 579 || (TARGET_DYNSHIFT && t_reg_operand (op, mode)); 580}) 581 582;; Predicates for matching operands that are constant shift 583;; amounts 1, 2, 8, 16. 584(define_predicate "p27_shift_count_operand" 585 (and (match_code "const_int") 586 (match_test "satisfies_constraint_P27 (op)"))) 587 588(define_predicate "not_p27_shift_count_operand" 589 (and (match_code "const_int") 590 (match_test "! satisfies_constraint_P27 (op)"))) 591 592;; For right shifts the constant 1 is a special case because the shlr insn 593;; clobbers the T_REG and is handled by the T_REG clobbering version of the 594;; insn, which is also used for non-P27 shift sequences. 595(define_predicate "p27_rshift_count_operand" 596 (and (match_code "const_int") 597 (match_test "satisfies_constraint_P27 (op)") 598 (match_test "! satisfies_constraint_M (op)"))) 599 600(define_predicate "not_p27_rshift_count_operand" 601 (and (match_code "const_int") 602 (ior (match_test "! satisfies_constraint_P27 (op)") 603 (match_test "satisfies_constraint_M (op)")))) 604 605;; Returns true if OP is a symbol reference. 606(define_predicate "symbol_ref_operand" 607 (match_code "symbol_ref")) 608 609(define_predicate "bitwise_memory_operand" 610 (match_code "mem") 611{ 612 if (MEM_P (op)) 613 { 614 if (REG_P (XEXP (op, 0))) 615 return 1; 616 617 if (GET_CODE (XEXP (op, 0)) == PLUS 618 && REG_P (XEXP (XEXP (op, 0), 0)) 619 && satisfies_constraint_K12 (XEXP (XEXP (op, 0), 1))) 620 return 1; 621 } 622 return 0; 623}) 624 625;; A predicate that matches any expression for which there is an 626;; insn pattern that sets the T bit. 627(define_predicate "treg_set_expr" 628 (match_test "sh_recog_treg_set_expr (op, mode)")) 629 630;; Same as treg_set_expr but disallow constants 0 and 1 which can be loaded 631;; into the T bit. 632(define_predicate "treg_set_expr_not_const01" 633 (and (match_test "op != const0_rtx") 634 (match_test "op != const1_rtx") 635 (match_operand 0 "treg_set_expr"))) 636 637;; A predicate describing the T bit register in any form. 638(define_predicate "t_reg_operand" 639 (match_code "reg,subreg,sign_extend,zero_extend,ne,eq") 640{ 641 switch (GET_CODE (op)) 642 { 643 case EQ: 644 return t_reg_operand (XEXP (op, 0), GET_MODE (XEXP (op, 0))) 645 && XEXP (op, 1) == const1_rtx; 646 647 case NE: 648 return t_reg_operand (XEXP (op, 0), GET_MODE (XEXP (op, 0))) 649 && XEXP (op, 1) == const0_rtx; 650 651 case REG: 652 return REGNO (op) == T_REG; 653 654 case SUBREG: 655 return REG_P (SUBREG_REG (op)) && REGNO (SUBREG_REG (op)) == T_REG; 656 657 case ZERO_EXTEND: 658 case SIGN_EXTEND: 659 if (REG_P (XEXP (op, 0)) && REGNO (XEXP (op, 0)) == T_REG) 660 return true; 661 return GET_CODE (XEXP (op, 0)) == SUBREG 662 && REG_P (SUBREG_REG (XEXP (op, 0))) 663 && REGNO (SUBREG_REG (XEXP (op, 0))) == T_REG; 664 665 default: 666 return 0; 667 } 668}) 669 670;; A predicate describing a negated T bit register. 671(define_predicate "negt_reg_operand" 672 (match_code "subreg,xor,ne,eq") 673{ 674 switch (GET_CODE (op)) 675 { 676 case EQ: 677 return t_reg_operand (XEXP (op, 0), GET_MODE (XEXP (op, 0))) 678 && XEXP (op, 1) == const0_rtx; 679 680 case NE: 681 return t_reg_operand (XEXP (op, 0), GET_MODE (XEXP (op, 0))) 682 && XEXP (op, 1) == const1_rtx; 683 684 case XOR: 685 return t_reg_operand (XEXP (op, 0), GET_MODE (XEXP (op, 0))) 686 && XEXP (op, 1) == const1_rtx; 687 688 case SUBREG: 689 return negt_reg_operand (XEXP (op, 0), GET_MODE (XEXP (op, 0))); 690 691 default: 692 return 0; 693 } 694}) 695 696;; Returns true if OP is an operand that can be used as the first operand in 697;; the cstoresi4 expander pattern. 698(define_predicate "cmpsi_operand" 699 (and (match_code "subreg,reg,const_int") 700 (ior (match_operand:SI 0 "t_reg_operand") 701 (match_operand 0 "arith_operand")))) 702 703;; A predicate that returns true if OP is a valid construct around the T bit 704;; that can be used as an operand for conditional branches. 705(define_predicate "cbranch_treg_value" 706 (and (match_code "eq,ne,reg,subreg,xor,sign_extend,zero_extend") 707 (match_test "sh_eval_treg_value (op) >= 0"))) 708 709;; Returns true if OP is arith_reg_operand or t_reg_operand. 710(define_predicate "arith_reg_or_t_reg_operand" 711 (ior (match_operand 0 "arith_reg_operand") 712 (match_operand 0 "t_reg_operand"))) 713 714(define_predicate "arith_reg_or_treg_set_expr" 715 (ior (match_operand 0 "arith_reg_operand") 716 (match_operand 0 "treg_set_expr"))) 717 718;; A predicate describing the negated value of the T bit register shifted 719;; left by 31. 720(define_predicate "negt_reg_shl31_operand" 721 (match_code "plus,minus,if_then_else") 722{ 723 /* (minus:SI (const_int -2147483648) ;; 0xffffffff80000000 724 (ashift:SI (match_operand:SI 1 "t_reg_operand") 725 (const_int 31))) 726 */ 727 if (GET_CODE (op) == MINUS && satisfies_constraint_Jhb (XEXP (op, 0)) 728 && GET_CODE (XEXP (op, 1)) == ASHIFT 729 && t_reg_operand (XEXP (XEXP (op, 1), 0), SImode) 730 && CONST_INT_P (XEXP (XEXP (op, 1), 1)) 731 && INTVAL (XEXP (XEXP (op, 1), 1)) == 31) 732 return true; 733 734 /* (plus:SI (ashift:SI (match_operand:SI 1 "t_reg_operand") 735 (const_int 31)) 736 (const_int -2147483648)) ;; 0xffffffff80000000 737 */ 738 if (GET_CODE (op) == PLUS && satisfies_constraint_Jhb (XEXP (op, 1)) 739 && GET_CODE (XEXP (op, 0)) == ASHIFT 740 && t_reg_operand (XEXP (XEXP (op, 0), 0), SImode) 741 && CONST_INT_P (XEXP (XEXP (op, 0), 1)) 742 && INTVAL (XEXP (XEXP (op, 0), 1)) == 31) 743 return true; 744 745 /* (plus:SI (mult:SI (match_operand:SI 1 "t_reg_operand") 746 (const_int -2147483648)) ;; 0xffffffff80000000 747 (const_int -2147483648)) 748 */ 749 if (GET_CODE (op) == PLUS && satisfies_constraint_Jhb (XEXP (op, 1)) 750 && GET_CODE (XEXP (op, 0)) == MULT 751 && t_reg_operand (XEXP (XEXP (op, 0), 0), SImode) 752 && satisfies_constraint_Jhb (XEXP (XEXP (op, 0), 1))) 753 return true; 754 755 /* (minus:SI (const_int -2147483648) ;; 0xffffffff80000000 756 (mult:SI (match_operand:SI 1 "t_reg_operand") 757 (const_int -2147483648))) 758 */ 759 if (GET_CODE (op) == MINUS 760 && satisfies_constraint_Jhb (XEXP (op, 0)) 761 && GET_CODE (XEXP (op, 1)) == MULT 762 && t_reg_operand (XEXP (XEXP (op, 1), 0), SImode) 763 && satisfies_constraint_Jhb (XEXP (XEXP (op, 1), 1))) 764 return true; 765 766 /* (if_then_else:SI (match_operand:SI 1 "t_reg_operand") 767 (const_int 0) 768 (const_int -2147483648)) ;; 0xffffffff80000000 769 */ 770 if (GET_CODE (op) == IF_THEN_ELSE && t_reg_operand (XEXP (op, 0), SImode) 771 && satisfies_constraint_Z (XEXP (op, 1)) 772 && satisfies_constraint_Jhb (XEXP (op, 2))) 773 return true; 774 775 return false; 776}) 777 778;; A predicate that determines whether a given constant is a valid 779;; displacement for a GBR load/store of the specified mode. 780(define_predicate "gbr_displacement" 781 (match_code "const_int") 782{ 783 const int mode_sz = GET_MODE_SIZE (mode); 784 const int move_sz = mode_sz > GET_MODE_SIZE (SImode) 785 ? GET_MODE_SIZE (SImode) 786 : mode_sz; 787 int max_disp = 255 * move_sz; 788 if (mode_sz > move_sz) 789 max_disp -= mode_sz - move_sz; 790 791 return INTVAL (op) >= 0 && INTVAL (op) <= max_disp; 792}) 793 794;; A predicate that determines whether OP is a valid GBR addressing mode 795;; memory reference. 796(define_predicate "gbr_address_mem" 797 (match_code "mem") 798{ 799 rtx addr = XEXP (op, 0); 800 801 if (REG_P (addr) && REGNO (addr) == GBR_REG) 802 return true; 803 if (GET_CODE (addr) == PLUS 804 && REG_P (XEXP (addr, 0)) && REGNO (XEXP (addr, 0)) == GBR_REG 805 && gbr_displacement (XEXP (addr, 1), mode)) 806 return true; 807 808 return false; 809}) 810