493 lines
15 KiB
Markdown
493 lines
15 KiB
Markdown
;; Constraints definitions belonging to the gcc backend for IBM S/390.
|
|
;; Copyright (C) 2006, 2007, 2008 Free Software Foundation, Inc.
|
|
;; Written by Wolfgang Gellerich, using code and information found in
|
|
;; files s390.md, s390.h, and s390.c.
|
|
;;
|
|
;; This file is part of GCC.
|
|
;;
|
|
;; GCC is free software; you can redistribute it and/or modify it under
|
|
;; the terms of the GNU General Public License as published by the Free
|
|
;; Software Foundation; either version 3, or (at your option) any later
|
|
;; version.
|
|
;;
|
|
;; GCC is distributed in the hope that it will be useful, but WITHOUT ANY
|
|
;; WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
|
;; FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
|
;; for more details.
|
|
;;
|
|
;; You should have received a copy of the GNU General Public License
|
|
;; along with GCC; see the file COPYING3. If not see
|
|
;; <http://www.gnu.org/licenses/>.
|
|
|
|
|
|
;;
|
|
;; Special constraints for s/390 machine description:
|
|
;;
|
|
;; a -- Any address register from 1 to 15.
|
|
;; b -- Memory operand whose address is a symbol reference or a symbol
|
|
;; reference + constant which can be proven to be naturally aligned.
|
|
;; c -- Condition code register 33.
|
|
;; d -- Any register from 0 to 15.
|
|
;; f -- Floating point registers.
|
|
;; t -- Access registers 36 and 37.
|
|
;; C -- A signed 8-bit constant (-128..127)
|
|
;; D -- An unsigned 16-bit constant (0..65535)
|
|
;; G -- Const double zero operand
|
|
;; I -- An 8-bit constant (0..255).
|
|
;; J -- A 12-bit constant (0..4095).
|
|
;; K -- A 16-bit constant (-32768..32767).
|
|
;; L -- Value appropriate as displacement.
|
|
;; (0..4095) for short displacement
|
|
;; (-524288..524287) for long displacement
|
|
;; M -- Constant integer with a value of 0x7fffffff.
|
|
;; N -- Multiple letter constraint followed by 4 parameter letters.
|
|
;; 0..9,x: number of the part counting from most to least significant
|
|
;; H,Q: mode of the part
|
|
;; D,S,H: mode of the containing operand
|
|
;; 0,F: value of the other parts (F - all bits set)
|
|
;;
|
|
;; The constraint matches if the specified part of a constant
|
|
;; has a value different from its other parts. If the letter x
|
|
;; is specified instead of a part number, the constraint matches
|
|
;; if there is any single part with non-default value.
|
|
;; O -- Multiple letter constraint followed by 1 parameter.
|
|
;; s: Signed extended immediate value (-2G .. 2G-1).
|
|
;; p: Positive extended immediate value (0 .. 4G-1).
|
|
;; n: Negative extended immediate value (-4G+1 .. -1).
|
|
;; These constraints do not accept any operand if the machine does
|
|
;; not provide the extended-immediate facility.
|
|
;; P -- Any integer constant that can be loaded without literal pool.
|
|
;; Q -- Memory reference without index register and with short displacement.
|
|
;; R -- Memory reference with index register and short displacement.
|
|
;; S -- Memory reference without index register but with long displacement.
|
|
;; T -- Memory reference with index register and long displacement.
|
|
;; A -- Multiple letter constraint followed by Q, R, S, or T:
|
|
;; Offsettable memory reference of type specified by second letter.
|
|
;; B -- Multiple letter constraint followed by Q, R, S, or T:
|
|
;; Memory reference of the type specified by second letter that
|
|
;; does *not* refer to a literal pool entry.
|
|
;; U -- Pointer with short displacement. (deprecated - use ZQZR)
|
|
;; W -- Pointer with long displacement. (deprecated - use ZSZT)
|
|
;; Y -- Shift count operand.
|
|
;; ZQ -- Pointer without index register and with short displacement.
|
|
;; ZR -- Pointer with index register and short displacement.
|
|
;; ZS -- Pointer without index register but with long displacement.
|
|
;; ZT -- Pointer with index register and long displacement.
|
|
;;
|
|
;;
|
|
|
|
|
|
;;
|
|
;; Register constraints.
|
|
;;
|
|
|
|
(define_register_constraint "a"
|
|
"ADDR_REGS"
|
|
"Any address register from 1 to 15.")
|
|
|
|
|
|
(define_register_constraint "c"
|
|
"CC_REGS"
|
|
"Condition code register 33")
|
|
|
|
|
|
(define_register_constraint "d"
|
|
"GENERAL_REGS"
|
|
"Any register from 0 to 15")
|
|
|
|
|
|
(define_register_constraint "f"
|
|
"FP_REGS"
|
|
"Floating point registers")
|
|
|
|
|
|
(define_register_constraint "t"
|
|
"ACCESS_REGS"
|
|
"@internal
|
|
Access registers 36 and 37")
|
|
|
|
|
|
;;
|
|
;; General constraints for constants.
|
|
;;
|
|
|
|
(define_constraint "C"
|
|
"@internal
|
|
An 8-bit signed immediate constant (-128..127)"
|
|
(and (match_code "const_int")
|
|
(match_test "ival >= -128 && ival <= 127")))
|
|
|
|
|
|
(define_constraint "D"
|
|
"An unsigned 16-bit constant (0..65535)"
|
|
(and (match_code "const_int")
|
|
(match_test "ival >= 0 && ival <= 65535")))
|
|
|
|
|
|
(define_constraint "G"
|
|
"@internal
|
|
Const double zero operand"
|
|
(and (match_code "const_double")
|
|
(match_test "s390_float_const_zero_p (op)")))
|
|
|
|
|
|
(define_constraint "I"
|
|
"An 8-bit constant (0..255)"
|
|
(and (match_code "const_int")
|
|
(match_test "(unsigned HOST_WIDE_INT) ival <= 255")))
|
|
|
|
|
|
(define_constraint "J"
|
|
"A 12-bit constant (0..4095)"
|
|
(and (match_code "const_int")
|
|
(match_test "(unsigned HOST_WIDE_INT) ival <= 4095")))
|
|
|
|
|
|
(define_constraint "K"
|
|
"A 16-bit constant (-32768..32767)"
|
|
(and (match_code "const_int")
|
|
(match_test "ival >= -32768 && ival <= 32767")))
|
|
|
|
|
|
(define_constraint "L"
|
|
"Value appropriate as displacement.
|
|
(0..4095) for short displacement
|
|
(-524288..524287) for long displacement"
|
|
(and (match_code "const_int")
|
|
(match_test "TARGET_LONG_DISPLACEMENT ?
|
|
(ival >= -524288 && ival <= 524287)
|
|
: (ival >= 0 && ival <= 4095)")))
|
|
|
|
|
|
(define_constraint "M"
|
|
"Constant integer with a value of 0x7fffffff"
|
|
(and (match_code "const_int")
|
|
(match_test "ival == 2147483647")))
|
|
|
|
|
|
(define_constraint "P"
|
|
"@internal
|
|
Any integer constant that can be loaded without literal pool"
|
|
(and (match_code "const_int")
|
|
(match_test "legitimate_reload_constant_p (GEN_INT (ival))")))
|
|
|
|
|
|
(define_address_constraint "Y"
|
|
"Shift count operand"
|
|
|
|
;; Simply check for the basic form of a shift count. Reload will
|
|
;; take care of making sure we have a proper base register.
|
|
|
|
(match_test "s390_decompose_shift_count (op, NULL, NULL)" ))
|
|
|
|
|
|
;; N -- Multiple letter constraint followed by 4 parameter letters.
|
|
;; 0..9,x: number of the part counting from most to least significant
|
|
;; H,Q: mode of the part
|
|
;; D,S,H: mode of the containing operand
|
|
;; 0,F: value of the other parts (F = all bits set)
|
|
;;
|
|
;; The constraint matches if the specified part of a constant
|
|
;; has a value different from its other parts. If the letter x
|
|
;; is specified instead of a part number, the constraint matches
|
|
;; if there is any single part with non-default value.
|
|
;;
|
|
;; The following patterns define only those constraints that are actually
|
|
;; used in s390.md. If you need an additional one, simply add it in the
|
|
;; obvious way. Function s390_N_constraint_str is ready to handle all
|
|
;; combinations.
|
|
;;
|
|
|
|
|
|
(define_constraint "NxQS0"
|
|
"@internal"
|
|
(and (match_code "const_int")
|
|
(match_test "s390_N_constraint_str (\"xQS0\", ival)")))
|
|
|
|
|
|
(define_constraint "NxQD0"
|
|
"@internal"
|
|
(and (match_code "const_int")
|
|
(match_test "s390_N_constraint_str (\"xQD0\", ival)")))
|
|
|
|
|
|
(define_constraint "N3HD0"
|
|
"@internal"
|
|
(and (match_code "const_int")
|
|
(match_test "s390_N_constraint_str (\"3HD0\", ival)")))
|
|
|
|
|
|
(define_constraint "N2HD0"
|
|
"@internal"
|
|
(and (match_code "const_int")
|
|
(match_test "s390_N_constraint_str (\"2HD0\", ival)")))
|
|
|
|
|
|
(define_constraint "N1SD0"
|
|
"@internal"
|
|
(and (match_code "const_int")
|
|
(match_test "s390_N_constraint_str (\"1SD0\", ival)")))
|
|
|
|
|
|
(define_constraint "N1HS0"
|
|
"@internal"
|
|
(and (match_code "const_int")
|
|
(match_test "s390_N_constraint_str (\"1HS0\", ival)")))
|
|
|
|
|
|
(define_constraint "N1HD0"
|
|
"@internal"
|
|
(and (match_code "const_int")
|
|
(match_test "s390_N_constraint_str (\"1HD0\", ival)")))
|
|
|
|
|
|
(define_constraint "N0SD0"
|
|
"@internal"
|
|
(and (match_code "const_int")
|
|
(match_test "s390_N_constraint_str (\"0SD0\", ival)")))
|
|
|
|
|
|
(define_constraint "N0HS0"
|
|
"@internal"
|
|
(and (match_code "const_int")
|
|
(match_test "s390_N_constraint_str (\"0HS0\", ival)")))
|
|
|
|
|
|
(define_constraint "N0HD0"
|
|
"@internal"
|
|
(and (match_code "const_int")
|
|
(match_test "s390_N_constraint_str (\"0HD0\", ival)")))
|
|
|
|
|
|
(define_constraint "NxQDF"
|
|
"@internal"
|
|
(and (match_code "const_int")
|
|
(match_test "s390_N_constraint_str (\"xQDF\", ival)")))
|
|
|
|
|
|
(define_constraint "N1SDF"
|
|
"@internal"
|
|
(and (match_code "const_int")
|
|
(match_test "s390_N_constraint_str (\"1SDF\", ival)")))
|
|
|
|
|
|
(define_constraint "N0SDF"
|
|
"@internal"
|
|
(and (match_code "const_int")
|
|
(match_test "s390_N_constraint_str (\"0SDF\", ival)")))
|
|
|
|
|
|
(define_constraint "N3HDF"
|
|
"@internal"
|
|
(and (match_code "const_int")
|
|
(match_test "s390_N_constraint_str (\"3HDF\", ival)")))
|
|
|
|
|
|
(define_constraint "N2HDF"
|
|
"@internal"
|
|
(and (match_code "const_int")
|
|
(match_test "s390_N_constraint_str (\"2HDF\", ival)")))
|
|
|
|
|
|
(define_constraint "N1HDF"
|
|
"@internal"
|
|
(and (match_code "const_int")
|
|
(match_test "s390_N_constraint_str (\"1HDF\", ival)")))
|
|
|
|
|
|
(define_constraint "N0HDF"
|
|
"@internal"
|
|
(and (match_code "const_int")
|
|
(match_test "s390_N_constraint_str (\"0HDF\", ival)")))
|
|
|
|
|
|
(define_constraint "N0HSF"
|
|
"@internal"
|
|
(and (match_code "const_int")
|
|
(match_test "s390_N_constraint_str (\"0HSF\", ival)")))
|
|
|
|
|
|
(define_constraint "N1HSF"
|
|
"@internal"
|
|
(and (match_code "const_int")
|
|
(match_test "s390_N_constraint_str (\"1HSF\", ival)")))
|
|
|
|
|
|
(define_constraint "NxQSF"
|
|
"@internal"
|
|
(and (match_code "const_int")
|
|
(match_test "s390_N_constraint_str (\"xQSF\", ival)")))
|
|
|
|
|
|
(define_constraint "NxQHF"
|
|
"@internal"
|
|
(and (match_code "const_int")
|
|
(match_test "s390_N_constraint_str (\"xQHF\", ival)")))
|
|
|
|
|
|
(define_constraint "NxQH0"
|
|
"@internal"
|
|
(and (match_code "const_int")
|
|
(match_test "s390_N_constraint_str (\"xQH0\", ival)")))
|
|
|
|
|
|
|
|
|
|
;;
|
|
;; Double-letter constraints starting with O follow.
|
|
;;
|
|
|
|
|
|
(define_constraint "Os"
|
|
"@internal
|
|
Signed extended immediate value (-2G .. 2G-1).
|
|
This constraint will only match if the machine provides
|
|
the extended-immediate facility."
|
|
(and (match_code "const_int")
|
|
(match_test "s390_O_constraint_str ('s', ival)")))
|
|
|
|
|
|
(define_constraint "Op"
|
|
"@internal
|
|
Positive extended immediate value (0 .. 4G-1).
|
|
This constraint will only match if the machine provides
|
|
the extended-immediate facility."
|
|
(and (match_code "const_int")
|
|
(match_test "s390_O_constraint_str ('p', ival)")))
|
|
|
|
|
|
(define_constraint "On"
|
|
"@internal
|
|
Negative extended immediate value (-4G+1 .. -1).
|
|
This constraint will only match if the machine provides
|
|
the extended-immediate facility."
|
|
(and (match_code "const_int")
|
|
(match_test "s390_O_constraint_str ('n', ival)")))
|
|
|
|
|
|
|
|
|
|
;;
|
|
;; Memory constraints follow.
|
|
;;
|
|
|
|
(define_memory_constraint "Q"
|
|
"Memory reference without index register and with short displacement"
|
|
(match_test "s390_mem_constraint (\"Q\", op)"))
|
|
|
|
|
|
(define_memory_constraint "R"
|
|
"Memory reference with index register and short displacement"
|
|
(match_test "s390_mem_constraint (\"R\", op)"))
|
|
|
|
|
|
(define_memory_constraint "S"
|
|
"Memory reference without index register but with long displacement"
|
|
(match_test "s390_mem_constraint (\"S\", op)"))
|
|
|
|
|
|
(define_memory_constraint "T"
|
|
"Memory reference with index register and long displacement"
|
|
(match_test "s390_mem_constraint (\"T\", op)"))
|
|
|
|
|
|
(define_memory_constraint "b"
|
|
"Memory reference whose address is a naturally aligned symbol reference."
|
|
(match_test "MEM_P (op)
|
|
&& s390_check_symref_alignment (XEXP (op, 0),
|
|
GET_MODE_SIZE (GET_MODE (op)))"))
|
|
|
|
(define_memory_constraint "e"
|
|
"Matches all memory references available on the current architecture
|
|
level. This constraint will never be used and using it in an inline
|
|
assembly is *always* a bug since there is no instruction accepting all
|
|
those addresses. It just serves as a placeholder for a generic memory
|
|
constraint."
|
|
(match_test "strict_memory_address_p (GET_MODE (op), op)"))
|
|
|
|
; This defines 'm' as normal memory constraint. This is only possible
|
|
; since the standard memory constraint is re-defined in s390.h using
|
|
; the TARGET_MEM_CONSTRAINT macro.
|
|
(define_memory_constraint "m"
|
|
"Matches the most general memory address for pre-z10 machines."
|
|
(match_test "s390_mem_constraint (\"R\", op)
|
|
|| s390_mem_constraint (\"T\", op)"))
|
|
|
|
(define_memory_constraint "AQ"
|
|
"@internal
|
|
Offsettable memory reference without index register and with short displacement"
|
|
(match_test "s390_mem_constraint (\"AQ\", op)"))
|
|
|
|
|
|
(define_memory_constraint "AR"
|
|
"@internal
|
|
Offsettable memory reference with index register and short displacement"
|
|
(match_test "s390_mem_constraint (\"AR\", op)"))
|
|
|
|
|
|
(define_memory_constraint "AS"
|
|
"@internal
|
|
Offsettable memory reference without index register but with long displacement"
|
|
(match_test "s390_mem_constraint (\"AS\", op)"))
|
|
|
|
|
|
(define_memory_constraint "AT"
|
|
"@internal
|
|
Offsettable memory reference with index register and long displacement"
|
|
(match_test "s390_mem_constraint (\"AT\", op)"))
|
|
|
|
|
|
|
|
(define_constraint "BQ"
|
|
"@internal
|
|
Memory reference without index register and with short
|
|
displacement that does *not* refer to a literal pool entry."
|
|
(match_test "s390_mem_constraint (\"BQ\", op)"))
|
|
|
|
|
|
(define_constraint "BR"
|
|
"@internal
|
|
Memory reference with index register and short displacement that
|
|
does *not* refer to a literal pool entry. "
|
|
(match_test "s390_mem_constraint (\"BR\", op)"))
|
|
|
|
|
|
(define_constraint "BS"
|
|
"@internal
|
|
Memory reference without index register but with long displacement
|
|
that does *not* refer to a literal pool entry. "
|
|
(match_test "s390_mem_constraint (\"BS\", op)"))
|
|
|
|
|
|
(define_constraint "BT"
|
|
"@internal
|
|
Memory reference with index register and long displacement that
|
|
does *not* refer to a literal pool entry. "
|
|
(match_test "s390_mem_constraint (\"BT\", op)"))
|
|
|
|
|
|
(define_address_constraint "U"
|
|
"Pointer with short displacement. (deprecated - use ZQZR)"
|
|
(match_test "s390_mem_constraint (\"U\", op)"))
|
|
|
|
(define_address_constraint "W"
|
|
"Pointer with long displacement. (deprecated - use ZSZT)"
|
|
(match_test "s390_mem_constraint (\"W\", op)"))
|
|
|
|
|
|
(define_address_constraint "ZQ"
|
|
"Pointer without index register and with short displacement."
|
|
(match_test "s390_mem_constraint (\"ZQ\", op)"))
|
|
|
|
(define_address_constraint "ZR"
|
|
"Pointer with index register and short displacement."
|
|
(match_test "s390_mem_constraint (\"ZR\", op)"))
|
|
|
|
(define_address_constraint "ZS"
|
|
"Pointer without index register but with long displacement."
|
|
(match_test "s390_mem_constraint (\"ZS\", op)"))
|
|
|
|
(define_address_constraint "ZT"
|
|
"Pointer with index register and long displacement."
|
|
(match_test "s390_mem_constraint (\"ZT\", op)"))
|