gcc/config/fr30/predicates.md

   1 ;; Predicate definitions for FR30.
   2 ;; Copyright (C) 2005-2024 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 ;; Returns true if OP is an integer value suitable for use in an
  21 ;; ADDSP instruction.
  22
  23 (define_predicate "stack_add_operand"
  24   (match_code "const_int")
  25 {
  26   return
  27     (GET_CODE (op) == CONST_INT
  28      && INTVAL (op) >= -512
  29      && INTVAL (op) <=  508
  30      && ((INTVAL (op) & 3) == 0));
  31 })
  32
  33 ;; Returns true if OP is hard register in the range 8 - 15.
  34
  35 (define_predicate "high_register_operand"
  36   (match_code "reg")
  37 {
  38   return
  39     (GET_CODE (op) == REG
  40      && REGNO (op) <= 15
  41      && REGNO (op) >= 8);
  42 })
  43
  44 ;; Returns true if OP is hard register in the range 0 - 7.
  45
  46 (define_predicate "low_register_operand"
  47   (match_code "reg")
  48 {
  49   return
  50     (GET_CODE (op) == REG
  51      && REGNO (op) <= 7);
  52 })
  53
  54 ;; Returns TRUE if OP is a valid operand of a DImode operation.
  55
  56 (define_predicate "di_operand"
  57   (match_code "const_int,const_double,reg,subreg,mem")
  58 {
  59   if (register_operand (op, mode))
  60     return TRUE;
  61
  62   if (mode != VOIDmode && GET_MODE (op) != VOIDmode && GET_MODE (op) != DImode)
  63     return FALSE;
  64
  65   if (GET_CODE (op) == SUBREG)
  66     op = SUBREG_REG (op);
  67
  68   switch (GET_CODE (op))
  69     {
  70     case CONST_DOUBLE:
  71     case CONST_INT:
  72       return TRUE;
  73
  74     case MEM:
  75       return memory_address_p (DImode, XEXP (op, 0));
  76
  77     default:
  78       return FALSE;
  79     }
  80 })
  81
  82 ;; Returns TRUE if OP is a DImode register or MEM.
  83
  84 (define_predicate "nonimmediate_di_operand"
  85   (match_code "reg,subreg,mem")
  86 {
  87   if (register_operand (op, mode))
  88     return TRUE;
  89
  90   if (mode != VOIDmode && GET_MODE (op) != VOIDmode && GET_MODE (op) != DImode)
  91     return FALSE;
  92
  93   if (GET_CODE (op) == SUBREG)
  94     op = SUBREG_REG (op);
  95
  96   if (GET_CODE (op) == MEM)
  97     return memory_address_p (DImode, XEXP (op, 0));
  98
  99   return FALSE;
 100 })
 101
 102 ;; Returns true if OP is an integer value suitable for use in an ADD
 103 ;; or ADD2 instruction, or if it is a register.
 104
 105 (define_predicate "add_immediate_operand"
 106   (match_code "reg,const_int")
 107 {
 108   return
 109     (GET_CODE (op) == REG
 110      || (GET_CODE (op) == CONST_INT
 111          && INTVAL (op) >= -16
 112          && INTVAL (op) <=  15));
 113 })