111
|
1 ;; Constraint definitions for TI C6X.
|
131
|
2 ;; Copyright (C) 2010-2018 Free Software Foundation, Inc.
|
111
|
3 ;; Contributed by Andrew Jenner <andrew@codesourcery.com>
|
|
4 ;; Contributed by Bernd Schmidt <bernds@codesourcery.com>
|
|
5 ;; Contributed by CodeSourcery.
|
|
6 ;;
|
|
7 ;; This file is part of GCC.
|
|
8 ;;
|
|
9 ;; GCC is free software; you can redistribute it and/or modify
|
|
10 ;; it under the terms of the GNU General Public License as published by
|
|
11 ;; the Free Software Foundation; either version 3, or (at your option)
|
|
12 ;; any later version.
|
|
13 ;;
|
|
14 ;; GCC is distributed in the hope that it will be useful,
|
|
15 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
16 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
17 ;; GNU General Public License for more details.
|
|
18 ;;
|
|
19 ;; You should have received a copy of the GNU General Public License
|
|
20 ;; along with GCC; see the file COPYING3. If not see
|
|
21 ;; <http://www.gnu.org/licenses/>.
|
|
22
|
|
23 (define_register_constraint "a" "A_REGS"
|
|
24 "Register file A (A0--A31).")
|
|
25
|
|
26 (define_register_constraint "b" "B_REGS"
|
|
27 "Register file B (B0--B31).")
|
|
28
|
|
29 (define_register_constraint "A" "PREDICATE_A_REGS"
|
|
30 "Predicate registers in register file A (A0--A2 on C64X and higher,
|
|
31 A1 and A2 otherwise).")
|
|
32
|
|
33 (define_register_constraint "B" "PREDICATE_B_REGS"
|
|
34 "Predicate registers in register file B (B0--B2).")
|
|
35
|
|
36 (define_register_constraint "C" "CALL_USED_B_REGS"
|
|
37 "A call-used register in register file B (B0--B9, B16--B31).")
|
|
38
|
|
39 (define_register_constraint "Da" "NONPREDICATE_A_REGS"
|
|
40 "Register file A, excluding predicate registers (A3--A31, plus A0 if
|
|
41 not C64X or higher).")
|
|
42
|
|
43 (define_register_constraint "Db" "NONPREDICATE_B_REGS"
|
|
44 "Register file B, excluding predicate registers (B3--B31).")
|
|
45
|
|
46 (define_register_constraint "Z" "PICREG"
|
|
47 "Register B14 (aka DP).")
|
|
48
|
|
49 (define_register_constraint "z" "SPREG"
|
|
50 "Register B15 (aka SP).")
|
|
51
|
|
52 (define_constraint "Iu4"
|
|
53 "Integer constant in the range 0 @dots{} 15, aka ucst4."
|
|
54 (and (match_code "const_int")
|
|
55 (match_test "ival >= 0 && ival <= 15")))
|
|
56
|
|
57 (define_constraint "Iu5"
|
|
58 "Integer constant in the range 0 @dots{} 31, aka ucst5."
|
|
59 (and (match_code "const_int")
|
|
60 (match_test "ival >= 0 && ival <= 31")))
|
|
61
|
|
62 (define_constraint "In5"
|
|
63 "Integer constant in the range @minus{}31 @dots{} 0, negation of ucst5."
|
|
64 (and (match_code "const_int")
|
|
65 (match_test "ival >= -31 && ival <= 0")))
|
|
66
|
|
67 (define_constraint "Is5"
|
|
68 "Integer constant in the range @minus{}16 @dots{} 15, aka scst5."
|
|
69 (and (match_code "const_int")
|
|
70 (match_test "ival >= -16 && ival <= 15")))
|
|
71
|
|
72 (define_constraint "I5x"
|
|
73 "Integer constant that can be the operand of an ADDA or a SUBA insn."
|
|
74 (and (match_code "const_int")
|
|
75 (match_test "(ival >= -31 && ival <= 31)
|
|
76 || ((ival & 1) == 0 && ival >= -62 && ival <= 62)
|
|
77 || ((ival & 3) == 0 && ival >= -124 && ival <= 124)
|
|
78 || ((TARGET_INSNS_64 || TARGET_INSNS_67)
|
|
79 && (ival & 7) == 0 && ival > 0 && ival <= 248)")))
|
|
80
|
|
81 (define_constraint "Iux"
|
|
82 "Integer constant that can be the operand of a long ADDA or a SUBA insn,
|
|
83 i.e. one involving B14 or B15 as source operand."
|
|
84 (and (match_code "const_int")
|
|
85 (and (match_test "TARGET_INSNS_64PLUS")
|
|
86 (match_test "ival >= 0
|
|
87 && (ival < 32768
|
|
88 || ((ival & 1) == 0 && ival < 65536)
|
|
89 || ((ival & 3) == 0 && ival < 131072))"))))
|
|
90
|
|
91 (define_constraint "IuB"
|
|
92 "Integer constant in the range 0 @dots{} 65535, aka ucst16."
|
|
93 (and (match_code "const_int")
|
|
94 (match_test "ival >= 0 && ival <= 65535")))
|
|
95
|
|
96 (define_constraint "IsB"
|
|
97 "Integer constant in the range @minus{}32768 @dots{} 32767."
|
|
98 (and (match_code "const_int")
|
|
99 (match_test "ival >= -32768 && ival <= 32767")))
|
|
100
|
|
101 (define_constraint "IsC"
|
|
102 "Integer constant in the range @math{-2^{20}} @dots{} @math{2^{20} - 1}."
|
|
103 (and (match_code "const_int")
|
|
104 (match_test "ival >= -0x100000 && ival <= 0xfffff")))
|
|
105
|
|
106 (define_constraint "JA"
|
|
107 "@internal
|
|
108 Integer constant in the range 0 @dots{} 31, corresponding to an A register
|
|
109 number."
|
|
110 (and (match_code "const_int")
|
|
111 (match_test "ival >= 0 && ival < 32")))
|
|
112
|
|
113 (define_constraint "JB"
|
|
114 "@internal
|
|
115 Integer constant in the range 32 @dots{} 63, corresponding to a B register
|
|
116 number."
|
|
117 (and (match_code "const_int")
|
|
118 (match_test "ival >= 32 && ival < 64")))
|
|
119
|
|
120 (define_constraint "Jc"
|
|
121 "Integer constant that is a valid mask for the clr instruction"
|
|
122 (and (match_code "const_int")
|
|
123 (match_test "c6x_valid_mask_p (ival)")))
|
|
124
|
|
125 (define_constraint "Js"
|
|
126 "Integer constant that is a valid mask for the set instruction"
|
|
127 (and (match_code "const_int")
|
|
128 (match_test "c6x_valid_mask_p (~ival)")))
|
|
129
|
|
130 (define_memory_constraint "Q"
|
|
131 "Memory location with A base register."
|
|
132 (and (match_code "mem")
|
|
133 (match_test "c6x_mem_operand (op, A_REGS, false)")))
|
|
134
|
|
135 (define_memory_constraint "R"
|
|
136 "Memory location with B base register."
|
|
137 (and (match_code "mem")
|
|
138 (match_test "c6x_mem_operand (op, B_REGS, false)")))
|
|
139
|
|
140 (define_memory_constraint "T"
|
|
141 "@internal
|
|
142 Memory location with B base register, but not using a long offset."
|
|
143 (and (match_code "mem")
|
|
144 (match_test "c6x_mem_operand (op, B_REGS, true)")))
|
|
145
|
|
146 (define_constraint "S0"
|
|
147 "@internal
|
|
148 On C64x+ targets, a GP-relative small data reference"
|
|
149 (and (match_test "TARGET_INSNS_64PLUS")
|
|
150 (match_operand 0 "sdata_symbolic_operand")))
|
|
151
|
|
152 (define_constraint "S1"
|
|
153 "@internal
|
|
154 Any kind of @code{SYMBOL_REF}, for use in a call address."
|
|
155 (and (match_code "symbol_ref")
|
|
156 (match_operand 0 "c6x_call_operand")))
|
|
157
|
|
158 (define_constraint "S2"
|
|
159 "@internal
|
|
160 Any SYMBOL_REF or LABEL_REF."
|
|
161 (ior (match_code "symbol_ref") (match_code "label_ref")))
|
|
162
|
|
163 (define_constraint "S3"
|
|
164 "Matches a symbolic integer constant, even if invalid for PIC."
|
|
165 (and (match_test "CONSTANT_P (op)")
|
|
166 (match_test "!CONST_SCALAR_INT_P (op)")))
|
|
167
|
|
168 (define_constraint "Si"
|
|
169 "@internal
|
|
170 Any immediate value, unless it matches the S0 constraint."
|
|
171 (and (match_operand 0 "immediate_operand")
|
|
172 (match_test "!satisfies_constraint_S0 (op)")))
|
|
173
|
|
174 (define_memory_constraint "W"
|
|
175 "@internal
|
|
176 A memory operand with an address that can't be used in an unaligned access."
|
|
177 (and (match_code "mem")
|
|
178 (match_test "!c6x_legitimate_address_p_1 (GET_MODE (op), XEXP (op, 0),
|
|
179 reload_completed, true)")))
|