gcc/config/epiphany/constraints.md

   1 ;; Constraint definitions for Adaptiva epiphany
   2 ;; Copyright (C) 2007-2024 Free Software Foundation, Inc.
   3 ;; Contributed by Embecosm on behalf of Adapteva, Inc.
   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 ;; Integer constraints
  22
  23 (define_constraint "U16"
  24   "An unsigned 16-bit constant."
  25   (ior (and (match_code "const_int")
  26             (match_test "IMM16 (ival)"))
  27        (and (match_code "symbol_ref,label_ref,const")
  28             (match_test "epiphany_small16 (op)"))))
  29
  30 (define_constraint "K"
  31   "An unsigned 5-bit constant."
  32   (and (match_code "const_int")
  33        (match_test "IMM5 (ival)")))
  34
  35 ;; This could also accept symbol_ref, label_ref or const if we introduce
  36 ;; a small area and/or attribute that satisfies the 11-bit signed range.
  37 (define_constraint "L"
  38   "A signed 11-bit constant."
  39   (and (match_code "const_int")
  40        (match_test "SIMM11 (ival)")))
  41
  42 (define_constraint "CnL"
  43   "A negated signed 11-bit constant."
  44   (and (match_code "const_int")
  45        (match_test "SIMM11 (-ival)")))
  46
  47 (define_constraint "Cm1"
  48   "A signed 11-bit constant added to -1"
  49   (and (match_code "const_int")
  50        (match_test "SIMM11 (ival+1)")
  51        (match_test "epiphany_m1reg >= 0")))
  52
  53 (define_constraint "Cl1"
  54   "Left-shift of -1"
  55   (and (match_code "const_int")
  56        (match_test "ival == (ival | ~(ival-1))")
  57        (match_test "epiphany_m1reg >= 0")))
  58
  59 (define_constraint "Cr1"
  60   "Right-shift of -1"
  61   (and (match_code "const_int")
  62        (match_test "ival == (ival & ~(ival+1))")
  63        (match_test "epiphany_m1reg >= 0")))
  64
  65 (define_constraint "Cal"
  66   "Constant for arithmetic/logical operations"
  67   (match_test "(flag_pic
  68                 ? nonsymbolic_immediate_operand (op, VOIDmode)
  69                 : immediate_operand (op, VOIDmode))"))
  70
  71 (define_constraint "Csy"
  72   "Symbolic constant for call/jump instruction"
  73   (match_test "symbolic_operand (op, VOIDmode)"))
  74
  75 ;; Register constraints
  76 ;; proper register constraints define a register class and can thus
  77 ;; drive register allocation and reload.  OTOH sometimes we want to
  78 ;; avoid just that.
  79
  80 ;; The register class usable in short insns.
  81 ;; Subject to TARGET_PREFER_SHORT_INSN_REGS.
  82 (define_register_constraint "Rcs" "SHORT_INSN_REGS"
  83   "short insn register class.")
  84
  85 ; The registers that can be used to hold a sibcall call address.
  86 ; This must not conflict with any callee-saved registers.
  87 (define_register_constraint "Rsc" "SIBCALL_REGS"
  88   "sibcall register class")
  89
  90 ; The registers that can be used to hold a status value
  91 (define_register_constraint "Rct" "CORE_CONTROL_REGS"
  92   "Core control register class")
  93
  94 ;; The register group usable in short insns.
  95 (define_constraint "Rgs"
  96   "short insn register group."
  97   (and (match_code "reg")
  98        (match_test "REGNO (op) >= FIRST_PSEUDO_REGISTER || REGNO (op) <= 7")))
  99
 100 ;; Constant suitable for the addsi3_r pattern.
 101 ;; No idea why we previously used RTX_OK_FOR_OFFSET with SI, HI an QI
 102 ;; modes.  The instruction in question accepts 11 bit signed constants.
 103 (define_constraint "Car"
 104   "addsi3_r constant."
 105   (and (match_code "const_int")
 106        (match_test "IN_RANGE (INTVAL (op), -1024, 1023)")))
 107
 108 ;; The return address if it can be replaced with GPR_LR.
 109 (define_constraint "Rra"
 110   "return address constraint - register variant"
 111   (and (match_code "unspec")
 112        (match_test "XINT (op, 1) == UNSPEC_RETURN_ADDR")
 113        (match_test "!MACHINE_FUNCTION (cfun)->lr_clobbered")))
 114
 115 (define_constraint "Rcc"
 116   "integer condition code"
 117   (and (match_code "reg")
 118        (match_test "REGNO (op) == CC_REGNUM")))
 119
 120 ;; The return address, which might be a stack slot.  */
 121 (define_constraint "Sra"
 122   "return address constraint - memory variant"
 123   (and (match_code "unspec")
 124        (match_test "XINT (op, 1) == UNSPEC_RETURN_ADDR")))
 125
 126 (define_constraint "Cfm"
 127   "control register values to switch fp mode"
 128   (and (match_code "const")
 129        (match_test "GET_CODE (XEXP (op, 0)) == UNSPEC")
 130        (match_test "XINT (XEXP (op, 0), 1) == UNSPEC_FP_MODE")))