annotate gcc/config/gcn/constraints.md @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
145
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
1 ;; Constraint definitions for GCN.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
2 ;; Copyright (C) 2016-2020 Free Software Foundation, Inc.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
3 ;;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
4 ;; This file is part of GCC.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
5 ;;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
6 ;; GCC is free software; you can redistribute it and/or modify
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
7 ;; it under the terms of the GNU General Public License as published by
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
8 ;; the Free Software Foundation; either version 3, or (at your option)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
9 ;; any later version.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
10 ;;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
11 ;; GCC is distributed in the hope that it will be useful,
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
12 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
13 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
14 ;; GNU General Public License for more details.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
15 ;;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
16 ;; You should have received a copy of the GNU General Public License
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
17 ;; along with GCC; see the file COPYING3. If not see
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
18 ;; <http://www.gnu.org/licenses/>.
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
19
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
20 (define_constraint "I"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
21 "Inline integer constant"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
22 (and (match_code "const_int")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
23 (match_test "ival >= -16 && ival <= 64")))
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
24
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
25 (define_constraint "J"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
26 "Signed integer 16-bit inline constant"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
27 (and (match_code "const_int")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
28 (match_test "((unsigned HOST_WIDE_INT) ival + 0x8000) < 0x10000")))
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
29
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
30 (define_constraint "Kf"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
31 "Immeditate constant -1"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
32 (and (match_code "const_int")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
33 (match_test "ival == -1")))
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
34
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
35 (define_constraint "L"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
36 "Unsigned integer 15-bit constant"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
37 (and (match_code "const_int")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
38 (match_test "((unsigned HOST_WIDE_INT) ival) < 0x8000")))
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
39
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
40 (define_constraint "A"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
41 "Inline immediate parameter"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
42 (and (match_code "const_int,const_double,const_vector")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
43 (match_test "gcn_inline_constant_p (op)")))
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
44
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
45 (define_constraint "B"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
46 "Immediate 32-bit parameter"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
47 (and (match_code "const_int,const_double,const_vector")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
48 (match_test "gcn_constant_p (op)")))
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
49
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
50 (define_constraint "C"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
51 "Immediate 32-bit parameter zero-extended to 64-bits"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
52 (and (match_code "const_int,const_double,const_vector")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
53 (match_test "gcn_constant64_p (op)")))
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
54
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
55 (define_constraint "DA"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
56 "Immediate 64-bit parameter, low and high part match 'A'"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
57 (and (match_code "const_int,const_double,const_vector")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
58 (match_test "gcn_inline_constant64_p (op, 0)")))
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
59
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
60 (define_constraint "Db"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
61 "Immediate 64-bit parameter, low part matches 'B', high part matches 'A'"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
62 (and (match_code "const_int,const_double,const_vector")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
63 (match_test "gcn_inline_constant64_p (op, 1)")))
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
64
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
65 (define_constraint "DB"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
66 "Immediate 64-bit parameter, low and high part match 'B'"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
67 (match_code "const_int,const_double,const_vector"))
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
68
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
69 (define_constraint "U"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
70 "unspecified value"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
71 (match_code "unspec"))
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
72
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
73 (define_constraint "Y"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
74 "Symbol or label for relative calls"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
75 (match_code "symbol_ref,label_ref"))
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
76
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
77 (define_register_constraint "v" "VGPR_REGS"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
78 "VGPR registers")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
79
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
80 (define_register_constraint "Sg" "SGPR_REGS"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
81 "SGPR registers")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
82
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
83 (define_register_constraint "SD" "SGPR_DST_REGS"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
84 "registers useable as a destination of scalar operation")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
85
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
86 (define_register_constraint "SS" "SGPR_SRC_REGS"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
87 "registers useable as a source of scalar operation")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
88
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
89 (define_register_constraint "Sm" "SGPR_MEM_SRC_REGS"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
90 "registers useable as a source of scalar memory operation")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
91
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
92 (define_register_constraint "Sv" "SGPR_VOP_SRC_REGS"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
93 "registers useable as a source of VOP3A instruction")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
94
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
95 (define_register_constraint "ca" "ALL_CONDITIONAL_REGS"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
96 "SCC VCCZ or EXECZ")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
97
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
98 (define_register_constraint "cs" "SCC_CONDITIONAL_REG"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
99 "SCC")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
100
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
101 (define_register_constraint "cV" "VCC_CONDITIONAL_REG"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
102 "VCC")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
103
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
104 (define_register_constraint "e" "EXEC_MASK_REG"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
105 "EXEC")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
106
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
107 (define_special_memory_constraint "RB"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
108 "Buffer memory address to scratch memory."
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
109 (and (match_code "mem")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
110 (match_test "AS_SCRATCH_P (MEM_ADDR_SPACE (op))")))
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
111
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
112 (define_special_memory_constraint "RF"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
113 "Buffer memory address to flat memory."
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
114 (and (match_code "mem")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
115 (match_test "AS_FLAT_P (MEM_ADDR_SPACE (op))
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
116 && gcn_flat_address_p (XEXP (op, 0), mode)")))
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
117
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
118 (define_special_memory_constraint "RS"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
119 "Buffer memory address to scalar flat memory."
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
120 (and (match_code "mem")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
121 (match_test "AS_SCALAR_FLAT_P (MEM_ADDR_SPACE (op))
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
122 && gcn_scalar_flat_mem_p (op)")))
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
123
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
124 (define_special_memory_constraint "RL"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
125 "Buffer memory address to LDS memory."
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
126 (and (match_code "mem")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
127 (match_test "AS_LDS_P (MEM_ADDR_SPACE (op))")))
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
128
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
129 (define_special_memory_constraint "RG"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
130 "Buffer memory address to GDS memory."
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
131 (and (match_code "mem")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
132 (match_test "AS_GDS_P (MEM_ADDR_SPACE (op))")))
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
133
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
134 (define_special_memory_constraint "RD"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
135 "Buffer memory address to GDS or LDS memory."
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
136 (and (match_code "mem")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
137 (ior (match_test "AS_GDS_P (MEM_ADDR_SPACE (op))")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
138 (match_test "AS_LDS_P (MEM_ADDR_SPACE (op))"))))
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
139
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
140 (define_special_memory_constraint "RM"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
141 "Memory address to global (main) memory."
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
142 (and (match_code "mem")
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
143 (match_test "AS_GLOBAL_P (MEM_ADDR_SPACE (op))
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
144 && gcn_global_address_p (XEXP (op, 0))")))