gcc/config/aarch64/constraints.md

   1 ;; Machine description for AArch64 architecture.
   2 ;; Copyright (C) 2009-2018 Free Software Foundation, Inc.
   3 ;; Contributed by ARM Ltd.
   4 ;;
   5 ;; This file is part of GCC.
   6 ;;
   7 ;; GCC is free software; you can redistribute it and/or modify it
   8 ;; 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, but
  13 ;; WITHOUT ANY WARRANTY; without even the implied warranty of
  14 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  15 ;; 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 (define_register_constraint "k" "STACK_REG"
  22   "@internal The stack register.")
  23
  24 (define_register_constraint "Ucs" "TAILCALL_ADDR_REGS"
  25   "@internal Registers suitable for an indirect tail call")
  26
  27 (define_register_constraint "w" "FP_REGS"
  28   "Floating point and SIMD vector registers.")
  29
  30 (define_register_constraint "Upa" "PR_REGS"
  31   "SVE predicate registers p0 - p15.")
  32
  33 (define_register_constraint "Upl" "PR_LO_REGS"
  34   "SVE predicate registers p0 - p7.")
  35
  36 (define_register_constraint "x" "FP_LO_REGS"
  37   "Floating point and SIMD vector registers V0 - V15.")
  38
  39 (define_constraint "I"
  40  "A constant that can be used with an ADD operation."
  41  (and (match_code "const_int")
  42       (match_test "aarch64_uimm12_shift (ival)")))
  43
  44 (define_constraint "Uaa"
  45   "@internal A constant that matches two uses of add instructions."
  46   (and (match_code "const_int")
  47        (match_test "aarch64_pluslong_strict_immedate (op, VOIDmode)")))
  48
  49 (define_constraint "Uav"
  50   "@internal
  51    A constraint that matches a VG-based constant that can be added by
  52    a single ADDVL or ADDPL."
  53  (match_operand 0 "aarch64_sve_addvl_addpl_immediate"))
  54
  55 (define_constraint "Uat"
  56   "@internal
  57    A constraint that matches a VG-based constant that can be added by
  58    using multiple instructions, with one temporary register."
  59  (match_operand 0 "aarch64_split_add_offset_immediate"))
  60
  61 (define_constraint "J"
  62  "A constant that can be used with a SUB operation (once negated)."
  63  (and (match_code "const_int")
  64       (match_test "aarch64_uimm12_shift (-ival)")))
  65
  66 ;; We can't use the mode of a CONST_INT to determine the context in
  67 ;; which it is being used, so we must have a separate constraint for
  68 ;; each context.
  69
  70 (define_constraint "K"
  71  "A constant that can be used with a 32-bit logical operation."
  72  (and (match_code "const_int")
  73       (match_test "aarch64_bitmask_imm (ival, SImode)")))
  74
  75 (define_constraint "L"
  76  "A constant that can be used with a 64-bit logical operation."
  77  (and (match_code "const_int")
  78       (match_test "aarch64_bitmask_imm (ival, DImode)")))
  79
  80 (define_constraint "M"
  81  "A constant that can be used with a 32-bit MOV immediate operation."
  82  (and (match_code "const_int")
  83       (match_test "aarch64_move_imm (ival, SImode)")))
  84
  85 (define_constraint "N"
  86  "A constant that can be used with a 64-bit MOV immediate operation."
  87  (and (match_code "const_int")
  88       (match_test "aarch64_move_imm (ival, DImode)")))
  89
  90 (define_constraint "Uti"
  91  "A constant that can be used with a 128-bit MOV immediate operation."
  92  (and (ior (match_code "const_int")
  93            (match_code "const_wide_int"))
  94       (match_test "aarch64_mov128_immediate (op)")))
  95
  96 (define_constraint "UsO"
  97  "A constant that can be used with a 32-bit and operation."
  98  (and (match_code "const_int")
  99       (match_test "aarch64_and_bitmask_imm (ival, SImode)")))
 100
 101 (define_constraint "UsP"
 102  "A constant that can be used with a 64-bit and operation."
 103  (and (match_code "const_int")
 104       (match_test "aarch64_and_bitmask_imm (ival, DImode)")))
 105
 106 (define_constraint "S"
 107   "A constraint that matches an absolute symbolic address."
 108   (and (match_code "const,symbol_ref,label_ref")
 109        (match_test "aarch64_symbolic_address_p (op)")))
 110
 111 (define_constraint "Y"
 112   "Floating point constant zero."
 113   (and (match_code "const_double")
 114        (match_test "aarch64_float_const_zero_rtx_p (op)")))
 115
 116 (define_constraint "Z"
 117   "Integer constant zero."
 118   (match_test "op == const0_rtx"))
 119
 120 (define_constraint "Ush"
 121   "A constraint that matches an absolute symbolic address high part."
 122   (and (match_code "high")
 123        (match_test "aarch64_valid_symref (XEXP (op, 0), GET_MODE (XEXP (op, 0)))")))
 124
 125 (define_constraint "Usa"
 126   "@internal
 127    A constraint that matches an absolute symbolic address that can be
 128    loaded by a single ADR."
 129   (and (match_code "const,symbol_ref,label_ref")
 130        (match_test "aarch64_symbolic_address_p (op)")
 131        (match_test "aarch64_mov_operand_p (op, GET_MODE (op))")))
 132
 133 (define_constraint "Uss"
 134   "@internal
 135   A constraint that matches an immediate shift constant in SImode."
 136   (and (match_code "const_int")
 137        (match_test "(unsigned HOST_WIDE_INT) ival < 32")))
 138
 139 (define_constraint "Usn"
 140  "A constant that can be used with a CCMN operation (once negated)."
 141  (and (match_code "const_int")
 142       (match_test "IN_RANGE (ival, -31, 0)")))
 143
 144 (define_constraint "Usd"
 145   "@internal
 146   A constraint that matches an immediate shift constant in DImode."
 147   (and (match_code "const_int")
 148        (match_test "(unsigned HOST_WIDE_INT) ival < 64")))
 149
 150 (define_constraint "Usf"
 151   "@internal Usf is a symbol reference under the context where plt stub allowed."
 152   (and (match_code "symbol_ref")
 153        (match_test "!(aarch64_is_noplt_call_p (op)
 154                       || aarch64_is_long_call_p (op))")))
 155
 156 (define_constraint "Usg"
 157   "@internal
 158   A constraint that matches an immediate right shift constant in SImode
 159   suitable for a SISD instruction."
 160   (and (match_code "const_int")
 161        (match_test "IN_RANGE (ival, 1, 31)")))
 162
 163 (define_constraint "Usj"
 164   "@internal
 165   A constraint that matches an immediate right shift constant in DImode
 166   suitable for a SISD instruction."
 167   (and (match_code "const_int")
 168        (match_test "IN_RANGE (ival, 1, 63)")))
 169
 170 (define_constraint "UsM"
 171   "@internal
 172   A constraint that matches the immediate constant -1."
 173   (match_test "op == constm1_rtx"))
 174
 175 (define_constraint "Usv"
 176   "@internal
 177    A constraint that matches a VG-based constant that can be loaded by
 178    a single CNT[BHWD]."
 179  (match_operand 0 "aarch64_sve_cnt_immediate"))
 180
 181 (define_constraint "Usi"
 182   "@internal
 183  A constraint that matches an immediate operand valid for
 184  the SVE INDEX instruction."
 185  (match_operand 0 "aarch64_sve_index_immediate"))
 186
 187 (define_constraint "Ui1"
 188   "@internal
 189   A constraint that matches the immediate constant +1."
 190   (match_test "op == const1_rtx"))
 191
 192 (define_constraint "Ui2"
 193   "@internal
 194   A constraint that matches the integers 0...3."
 195   (and (match_code "const_int")
 196        (match_test "(unsigned HOST_WIDE_INT) ival <= 3")))
 197
 198 (define_constraint "Ui3"
 199   "@internal
 200   A constraint that matches the integers 0...4."
 201   (and (match_code "const_int")
 202        (match_test "(unsigned HOST_WIDE_INT) ival <= 4")))
 203
 204 (define_constraint "Ui7"
 205   "@internal
 206   A constraint that matches the integers 0...7."
 207   (and (match_code "const_int")
 208        (match_test "(unsigned HOST_WIDE_INT) ival <= 7")))
 209
 210 (define_constraint "Up3"
 211   "@internal
 212   A constraint that matches the integers 2^(0...4)."
 213   (and (match_code "const_int")
 214        (match_test "(unsigned) exact_log2 (ival) <= 4")))
 215
 216 (define_memory_constraint "Q"
 217  "A memory address which uses a single base register with no offset."
 218  (and (match_code "mem")
 219       (match_test "REG_P (XEXP (op, 0))")))
 220
 221 (define_memory_constraint "Ump"
 222   "@internal
 223   A memory address suitable for a load/store pair operation."
 224   (and (match_code "mem")
 225        (match_test "aarch64_legitimate_address_p (GET_MODE (op), XEXP (op, 0),
 226                                                   true, ADDR_QUERY_LDP_STP)")))
 227
 228 ;; Used for storing or loading pairs in an AdvSIMD register using an STP/LDP
 229 ;; as a vector-concat.  The address mode uses the same constraints as if it
 230 ;; were for a single value.
 231 (define_memory_constraint "Umn"
 232   "@internal
 233   A memory address suitable for a load/store pair operation."
 234   (and (match_code "mem")
 235        (match_test "aarch64_legitimate_address_p (GET_MODE (op), XEXP (op, 0),
 236                                                   true,
 237                                                   ADDR_QUERY_LDP_STP_N)")))
 238
 239 (define_memory_constraint "Utr"
 240   "@internal
 241    An address valid for SVE LDR and STR instructions (as distinct from
 242    LD[1234] and ST[1234] patterns)."
 243   (and (match_code "mem")
 244        (match_test "aarch64_sve_ldr_operand_p (op)")))
 245
 246 (define_memory_constraint "Utv"
 247   "@internal
 248    An address valid for loading/storing opaque structure
 249    types wider than TImode."
 250   (and (match_code "mem")
 251        (match_test "aarch64_simd_mem_operand_p (op)")))
 252
 253 (define_memory_constraint "Utq"
 254   "@internal
 255    An address valid for loading or storing a 128-bit AdvSIMD register"
 256   (and (match_code "mem")
 257        (match_test "aarch64_legitimate_address_p (V2DImode,
 258                                                   XEXP (op, 0), 1)")))
 259
 260 (define_memory_constraint "Uty"
 261   "@internal
 262    An address valid for SVE LD1Rs."
 263   (and (match_code "mem")
 264        (match_test "aarch64_sve_ld1r_operand_p (op)")))
 265
 266 (define_memory_constraint "Utx"
 267   "@internal
 268    An address valid for SVE structure mov patterns (as distinct from
 269    LD[234] and ST[234] patterns)."
 270   (match_operand 0 "aarch64_sve_struct_memory_operand"))
 271
 272 (define_constraint "Ufc"
 273   "A floating point constant which can be used with an\
 274    FMOV immediate operation."
 275   (and (match_code "const_double")
 276        (match_test "aarch64_float_const_representable_p (op)")))
 277
 278 (define_constraint "Uvi"
 279   "A floating point constant which can be used with a\
 280    MOVI immediate operation."
 281   (and (match_code "const_double")
 282        (match_test "aarch64_can_const_movi_rtx_p (op, GET_MODE (op))")))
 283
 284 (define_constraint "Do"
 285   "@internal
 286    A constraint that matches vector of immediates for orr."
 287  (and (match_code "const_vector")
 288       (match_test "aarch64_simd_valid_immediate (op, NULL,
 289                                                  AARCH64_CHECK_ORR)")))
 290
 291 (define_constraint "Db"
 292   "@internal
 293    A constraint that matches vector of immediates for bic."
 294  (and (match_code "const_vector")
 295       (match_test "aarch64_simd_valid_immediate (op, NULL,
 296                                                  AARCH64_CHECK_BIC)")))
 297
 298 (define_constraint "Dn"
 299   "@internal
 300  A constraint that matches vector of immediates."
 301  (and (match_code "const,const_vector")
 302       (match_test "aarch64_simd_valid_immediate (op, NULL)")))
 303
 304 (define_constraint "Dh"
 305   "@internal
 306  A constraint that matches an immediate operand valid for\
 307  AdvSIMD scalar move in HImode."
 308  (and (match_code "const_int")
 309       (match_test "aarch64_simd_scalar_immediate_valid_for_move (op,
 310                                                  HImode)")))
 311
 312 (define_constraint "Dq"
 313   "@internal
 314  A constraint that matches an immediate operand valid for\
 315  AdvSIMD scalar move in QImode."
 316  (and (match_code "const_int")
 317       (match_test "aarch64_simd_scalar_immediate_valid_for_move (op,
 318                                                  QImode)")))
 319
 320 (define_constraint "Dl"
 321   "@internal
 322  A constraint that matches vector of immediates for left shifts."
 323  (and (match_code "const,const_vector")
 324       (match_test "aarch64_simd_shift_imm_p (op, GET_MODE (op),
 325                                                  true)")))
 326
 327 (define_constraint "Dr"
 328   "@internal
 329  A constraint that matches vector of immediates for right shifts."
 330  (and (match_code "const,const_vector")
 331       (match_test "aarch64_simd_shift_imm_p (op, GET_MODE (op),
 332                                                  false)")))
 333 (define_constraint "Dz"
 334   "@internal
 335  A constraint that matches a vector of immediate zero."
 336  (and (match_code "const,const_vector")
 337       (match_test "op == CONST0_RTX (GET_MODE (op))")))
 338
 339 (define_constraint "Dm"
 340   "@internal
 341  A constraint that matches a vector of immediate minus one."
 342  (and (match_code "const,const_vector")
 343       (match_test "op == CONST1_RTX (GET_MODE (op))")))
 344
 345 (define_constraint "Dd"
 346   "@internal
 347  A constraint that matches an integer immediate operand valid\
 348  for AdvSIMD scalar operations in DImode."
 349  (and (match_code "const_int")
 350       (match_test "aarch64_can_const_movi_rtx_p (op, DImode)")))
 351
 352 (define_constraint "Ds"
 353   "@internal
 354  A constraint that matches an integer immediate operand valid\
 355  for AdvSIMD scalar operations in SImode."
 356  (and (match_code "const_int")
 357       (match_test "aarch64_can_const_movi_rtx_p (op, SImode)")))
 358
 359 (define_address_constraint "Dp"
 360   "@internal
 361  An address valid for a prefetch instruction."
 362  (match_test "aarch64_address_valid_for_prefetch_p (op, true)"))
 363
 364 (define_constraint "vsa"
 365   "@internal
 366    A constraint that matches an immediate operand valid for SVE
 367    arithmetic instructions."
 368  (match_operand 0 "aarch64_sve_arith_immediate"))
 369
 370 (define_constraint "vsc"
 371   "@internal
 372    A constraint that matches a signed immediate operand valid for SVE
 373    CMP instructions."
 374  (match_operand 0 "aarch64_sve_cmp_vsc_immediate"))
 375
 376 (define_constraint "vsd"
 377   "@internal
 378    A constraint that matches an unsigned immediate operand valid for SVE
 379    CMP instructions."
 380  (match_operand 0 "aarch64_sve_cmp_vsd_immediate"))
 381
 382 (define_constraint "vsi"
 383   "@internal
 384    A constraint that matches a vector count operand valid for SVE INC and
 385    DEC instructions."
 386  (match_operand 0 "aarch64_sve_inc_dec_immediate"))
 387
 388 (define_constraint "vsn"
 389   "@internal
 390    A constraint that matches an immediate operand whose negative
 391    is valid for SVE SUB instructions."
 392  (match_operand 0 "aarch64_sve_sub_arith_immediate"))
 393
 394 (define_constraint "vsl"
 395   "@internal
 396    A constraint that matches an immediate operand valid for SVE logical
 397    operations."
 398  (match_operand 0 "aarch64_sve_logical_immediate"))
 399
 400 (define_constraint "vsm"
 401   "@internal
 402    A constraint that matches an immediate operand valid for SVE MUL
 403    operations."
 404  (match_operand 0 "aarch64_sve_mul_immediate"))
 405
 406 (define_constraint "vsA"
 407   "@internal
 408    A constraint that matches an immediate operand valid for SVE FADD
 409    and FSUB operations."
 410  (match_operand 0 "aarch64_sve_float_arith_immediate"))
 411
 412 (define_constraint "vsM"
 413   "@internal
 414    A constraint that matches an imediate operand valid for SVE FMUL
 415    operations."
 416  (match_operand 0 "aarch64_sve_float_mul_immediate"))
 417
 418 (define_constraint "vsN"
 419   "@internal
 420    A constraint that matches the negative of vsA"
 421  (match_operand 0 "aarch64_sve_float_arith_with_sub_immediate"))