gcc/config/gcn/constraints.md

   1 ;; Constraint definitions for GCN.
   2 ;; Copyright (C) 2016-2021 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 (define_constraint "I"
  21   "Inline integer constant"
  22   (and (match_code "const_int")
  23        (match_test "ival >= -16 && ival <= 64")))
  24
  25 (define_constraint "J"
  26   "Signed integer 16-bit inline constant"
  27   (and (match_code "const_int")
  28        (match_test "((unsigned HOST_WIDE_INT) ival + 0x8000) < 0x10000")))
  29
  30 (define_constraint "Kf"
  31   "Immeditate constant -1"
  32   (and (match_code "const_int")
  33        (match_test "ival == -1")))
  34
  35 (define_constraint "L"
  36   "Unsigned integer 15-bit constant"
  37   (and (match_code "const_int")
  38        (match_test "((unsigned HOST_WIDE_INT) ival) < 0x8000")))
  39
  40 (define_constraint "A"
  41   "Inline immediate parameter"
  42   (and (match_code "const_int,const_double,const_vector")
  43        (match_test "gcn_inline_constant_p (op)")))
  44
  45 (define_constraint "B"
  46   "Immediate 32-bit parameter"
  47   (and (match_code "const_int,const_double,const_vector")
  48         (match_test "gcn_constant_p (op)")))
  49
  50 (define_constraint "C"
  51   "Immediate 32-bit parameter zero-extended to 64-bits"
  52   (and (match_code "const_int,const_double,const_vector")
  53         (match_test "gcn_constant64_p (op)")))
  54
  55 (define_constraint "DA"
  56   "Immediate 64-bit parameter, low and high part match 'A'"
  57   (and (match_code "const_int,const_double,const_vector")
  58        (match_test "gcn_inline_constant64_p (op, 0)")))
  59
  60 (define_constraint "Db"
  61   "Immediate 64-bit parameter, low part matches 'B', high part matches 'A'"
  62   (and (match_code "const_int,const_double,const_vector")
  63        (match_test "gcn_inline_constant64_p (op, 1)")))
  64
  65 (define_constraint "DB"
  66   "Immediate 64-bit parameter, low and high part match 'B'"
  67   (match_code "const_int,const_double,const_vector"))
  68
  69 (define_constraint "U"
  70   "unspecified value"
  71   (match_code "unspec"))
  72
  73 (define_constraint "Y"
  74   "Symbol or label for relative calls"
  75   (match_code "symbol_ref,label_ref"))
  76
  77 (define_register_constraint "v" "VGPR_REGS"
  78   "VGPR registers")
  79
  80 (define_register_constraint "Sg" "SGPR_REGS"
  81   "SGPR registers")
  82
  83 (define_register_constraint "SD" "SGPR_DST_REGS"
  84   "registers useable as a destination of scalar operation")
  85
  86 (define_register_constraint "SS" "SGPR_SRC_REGS"
  87   "registers useable as a source of scalar operation")
  88
  89 (define_register_constraint "Sm" "SGPR_MEM_SRC_REGS"
  90   "registers useable as a source of scalar memory operation")
  91
  92 (define_register_constraint "Sv" "SGPR_VOP_SRC_REGS"
  93   "registers useable as a source of VOP3A instruction")
  94
  95 (define_register_constraint "ca" "ALL_CONDITIONAL_REGS"
  96   "SCC VCCZ or EXECZ")
  97
  98 (define_register_constraint "cs" "SCC_CONDITIONAL_REG"
  99   "SCC")
 100
 101 (define_register_constraint "cV" "VCC_CONDITIONAL_REG"
 102   "VCC")
 103
 104 (define_register_constraint "e" "EXEC_MASK_REG"
 105   "EXEC")
 106
 107 (define_special_memory_constraint "RB"
 108   "Buffer memory address to scratch memory."
 109   (and (match_code "mem")
 110        (match_test "AS_SCRATCH_P (MEM_ADDR_SPACE (op))")))
 111
 112 (define_special_memory_constraint "RF"
 113   "Buffer memory address to flat memory."
 114   (and (match_code "mem")
 115        (match_test "AS_FLAT_P (MEM_ADDR_SPACE (op))
 116                     && gcn_flat_address_p (XEXP (op, 0), mode)")))
 117
 118 (define_special_memory_constraint "RS"
 119   "Buffer memory address to scalar flat memory."
 120   (and (match_code "mem")
 121        (match_test "AS_SCALAR_FLAT_P (MEM_ADDR_SPACE (op))
 122                     && gcn_scalar_flat_mem_p (op)")))
 123
 124 (define_special_memory_constraint "RL"
 125   "Buffer memory address to LDS memory."
 126   (and (match_code "mem")
 127        (match_test "AS_LDS_P (MEM_ADDR_SPACE (op))")))
 128
 129 (define_special_memory_constraint "RG"
 130   "Buffer memory address to GDS memory."
 131   (and (match_code "mem")
 132        (match_test "AS_GDS_P (MEM_ADDR_SPACE (op))")))
 133
 134 (define_special_memory_constraint "RD"
 135   "Buffer memory address to GDS or LDS memory."
 136   (and (match_code "mem")
 137        (ior (match_test "AS_GDS_P (MEM_ADDR_SPACE (op))")
 138             (match_test "AS_LDS_P (MEM_ADDR_SPACE (op))"))))
 139
 140 (define_special_memory_constraint "RM"
 141   "Memory address to global (main) memory."
 142   (and (match_code "mem")
 143        (match_test "AS_GLOBAL_P (MEM_ADDR_SPACE (op))
 144                     && gcn_global_address_p (XEXP (op, 0))")))