annotate gcc/config/c6x/c6x-sched.md @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children 1830386684a0
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 ;; -*- buffer-read-only: t -*-
kono
parents:
diff changeset
2 ;; Generated automatically from c6x-sched.md.in by gensched.sh
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 ;; Definitions for side 1, cross n
kono
parents:
diff changeset
5
kono
parents:
diff changeset
6 ;; Scheduling description for TI C6X.
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
7 ;; Copyright (C) 2010-2018 Free Software Foundation, Inc.
111
kono
parents:
diff changeset
8 ;; Contributed by Bernd Schmidt <bernds@codesourcery.com>
kono
parents:
diff changeset
9 ;; Contributed by CodeSourcery.
kono
parents:
diff changeset
10 ;;
kono
parents:
diff changeset
11 ;; This file is part of GCC.
kono
parents:
diff changeset
12 ;;
kono
parents:
diff changeset
13 ;; GCC is free software; you can redistribute it and/or modify
kono
parents:
diff changeset
14 ;; it under the terms of the GNU General Public License as published by
kono
parents:
diff changeset
15 ;; the Free Software Foundation; either version 3, or (at your option)
kono
parents:
diff changeset
16 ;; any later version.
kono
parents:
diff changeset
17 ;;
kono
parents:
diff changeset
18 ;; GCC is distributed in the hope that it will be useful,
kono
parents:
diff changeset
19 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
kono
parents:
diff changeset
20 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
kono
parents:
diff changeset
21 ;; GNU General Public License for more details.
kono
parents:
diff changeset
22 ;;
kono
parents:
diff changeset
23 ;; You should have received a copy of the GNU General Public License
kono
parents:
diff changeset
24 ;; along with GCC; see the file COPYING3. If not see
kono
parents:
diff changeset
25 ;; <http://www.gnu.org/licenses/>.
kono
parents:
diff changeset
26
kono
parents:
diff changeset
27 ;; Input file for gensched.sh We process this file multiple times,
kono
parents:
diff changeset
28 ;; replacing 1 with either 1 or 2 for each of the sides of the
kono
parents:
diff changeset
29 ;; machine, and a correspondingly with "a" or "b". n and
kono
parents:
diff changeset
30 ;; are replaced with yes/no and the appropriate reservation.
kono
parents:
diff changeset
31
kono
parents:
diff changeset
32 (define_insn_reservation "load_d1n" 5
kono
parents:
diff changeset
33 (and (eq_attr "type" "load")
kono
parents:
diff changeset
34 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
35 (and (eq_attr "units" "d_addr")
kono
parents:
diff changeset
36 (eq_attr "addr_regfile" "a"))))
kono
parents:
diff changeset
37 "d1+t1")
kono
parents:
diff changeset
38
kono
parents:
diff changeset
39 (define_insn_reservation "store_d1n" 1
kono
parents:
diff changeset
40 (and (eq_attr "type" "store")
kono
parents:
diff changeset
41 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
42 (and (eq_attr "units" "d_addr")
kono
parents:
diff changeset
43 (eq_attr "addr_regfile" "a"))))
kono
parents:
diff changeset
44 "d1+t1")
kono
parents:
diff changeset
45
kono
parents:
diff changeset
46 (define_insn_reservation "loadn_d1n" 5
kono
parents:
diff changeset
47 (and (eq_attr "type" "loadn")
kono
parents:
diff changeset
48 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
49 (and (eq_attr "units" "d_addr")
kono
parents:
diff changeset
50 (eq_attr "addr_regfile" "a"))))
kono
parents:
diff changeset
51 "d1+t1+t2")
kono
parents:
diff changeset
52
kono
parents:
diff changeset
53 (define_insn_reservation "storen_d1n" 1
kono
parents:
diff changeset
54 (and (eq_attr "type" "storen")
kono
parents:
diff changeset
55 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
56 (and (eq_attr "units" "d_addr")
kono
parents:
diff changeset
57 (eq_attr "addr_regfile" "a"))))
kono
parents:
diff changeset
58 "d1+t1+t2")
kono
parents:
diff changeset
59
kono
parents:
diff changeset
60 (define_insn_reservation "single_d1n" 1
kono
parents:
diff changeset
61 (and (eq_attr "type" "single")
kono
parents:
diff changeset
62 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
63 (and (eq_attr "units" "d")
kono
parents:
diff changeset
64 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
65 "d1")
kono
parents:
diff changeset
66
kono
parents:
diff changeset
67 (define_insn_reservation "single_l1n" 1
kono
parents:
diff changeset
68 (and (eq_attr "type" "single")
kono
parents:
diff changeset
69 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
70 (and (eq_attr "units" "l")
kono
parents:
diff changeset
71 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
72 "l1+l1w")
kono
parents:
diff changeset
73
kono
parents:
diff changeset
74 (define_insn_reservation "fp4_l1n" 4
kono
parents:
diff changeset
75 (and (eq_attr "type" "fp4")
kono
parents:
diff changeset
76 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
77 (and (eq_attr "units" "l")
kono
parents:
diff changeset
78 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
79 "l1,nothing*2,l1w")
kono
parents:
diff changeset
80
kono
parents:
diff changeset
81 (define_insn_reservation "intdp_l1n" 5
kono
parents:
diff changeset
82 (and (eq_attr "type" "intdp")
kono
parents:
diff changeset
83 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
84 (and (eq_attr "units" "l")
kono
parents:
diff changeset
85 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
86 "l1,nothing*2,l1w*2")
kono
parents:
diff changeset
87
kono
parents:
diff changeset
88 (define_insn_reservation "adddp_l1n" 7
kono
parents:
diff changeset
89 (and (eq_attr "type" "adddp")
kono
parents:
diff changeset
90 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
91 (and (eq_attr "units" "l")
kono
parents:
diff changeset
92 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
93 "(l1)*2,nothing*3,l1w*2")
kono
parents:
diff changeset
94
kono
parents:
diff changeset
95 (define_insn_reservation "branch_s1n" 6
kono
parents:
diff changeset
96 (and (eq_attr "type" "branch")
kono
parents:
diff changeset
97 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
98 (and (eq_attr "units" "s")
kono
parents:
diff changeset
99 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
100 "(s1+s1w)+br1")
kono
parents:
diff changeset
101
kono
parents:
diff changeset
102 (define_insn_reservation "call_addkpc_s1n" 6
kono
parents:
diff changeset
103 (and (eq_attr "type" "call")
kono
parents:
diff changeset
104 (and (ne (symbol_ref "TARGET_INSNS_64") (const_int 0))
kono
parents:
diff changeset
105 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
106 (and (eq_attr "units" "s")
kono
parents:
diff changeset
107 (eq_attr "dest_regfile" "a")))))
kono
parents:
diff changeset
108 "(s1+s1w)+br1,s2+br0+br1")
kono
parents:
diff changeset
109
kono
parents:
diff changeset
110 (define_insn_reservation "call_mvk_s1n" 6
kono
parents:
diff changeset
111 (and (eq_attr "type" "call")
kono
parents:
diff changeset
112 (and (eq (symbol_ref "TARGET_INSNS_64") (const_int 0))
kono
parents:
diff changeset
113 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
114 (and (eq_attr "units" "s")
kono
parents:
diff changeset
115 (eq_attr "dest_regfile" "a")))))
kono
parents:
diff changeset
116 "(s1+s1w)+br1,s2,s2")
kono
parents:
diff changeset
117
kono
parents:
diff changeset
118 (define_insn_reservation "single_s1n" 1
kono
parents:
diff changeset
119 (and (eq_attr "type" "single")
kono
parents:
diff changeset
120 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
121 (and (eq_attr "units" "s")
kono
parents:
diff changeset
122 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
123 "(s1+s1w)")
kono
parents:
diff changeset
124
kono
parents:
diff changeset
125 (define_insn_reservation "cmpdp_s1n" 2
kono
parents:
diff changeset
126 (and (eq_attr "type" "cmpdp")
kono
parents:
diff changeset
127 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
128 (and (eq_attr "units" "s")
kono
parents:
diff changeset
129 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
130 "s1,(s1)+s1w")
kono
parents:
diff changeset
131
kono
parents:
diff changeset
132 (define_insn_reservation "dp2_s1n" 2
kono
parents:
diff changeset
133 (and (eq_attr "type" "dp2")
kono
parents:
diff changeset
134 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
135 (and (eq_attr "units" "s")
kono
parents:
diff changeset
136 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
137 "s1+s1w,s1w")
kono
parents:
diff changeset
138
kono
parents:
diff changeset
139 (define_insn_reservation "fp4_s1n" 4
kono
parents:
diff changeset
140 (and (eq_attr "type" "fp4")
kono
parents:
diff changeset
141 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
142 (and (eq_attr "units" "s")
kono
parents:
diff changeset
143 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
144 "s1,nothing*2,s1w")
kono
parents:
diff changeset
145
kono
parents:
diff changeset
146 (define_insn_reservation "mvilc4_s1n" 4
kono
parents:
diff changeset
147 (and (eq_attr "type" "mvilc")
kono
parents:
diff changeset
148 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
149 (and (eq_attr "units" "s")
kono
parents:
diff changeset
150 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
151 "(s1+s1w)")
kono
parents:
diff changeset
152
kono
parents:
diff changeset
153 (define_insn_reservation "single_dl1n" 1
kono
parents:
diff changeset
154 (and (eq_attr "type" "single")
kono
parents:
diff changeset
155 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
156 (and (eq_attr "units" "dl")
kono
parents:
diff changeset
157 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
158 "(d1|(l1+l1w))")
kono
parents:
diff changeset
159
kono
parents:
diff changeset
160 (define_insn_reservation "single_ds1n" 1
kono
parents:
diff changeset
161 (and (eq_attr "type" "single")
kono
parents:
diff changeset
162 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
163 (and (eq_attr "units" "ds")
kono
parents:
diff changeset
164 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
165 "(d1|(s1+s1w))")
kono
parents:
diff changeset
166
kono
parents:
diff changeset
167 (define_insn_reservation "single_ls1n" 1
kono
parents:
diff changeset
168 (and (eq_attr "type" "single")
kono
parents:
diff changeset
169 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
170 (and (eq_attr "units" "ls")
kono
parents:
diff changeset
171 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
172 "((l1+l1w)|(s1+s1w))")
kono
parents:
diff changeset
173
kono
parents:
diff changeset
174 (define_insn_reservation "dp2_l1n" 2
kono
parents:
diff changeset
175 (and (eq_attr "type" "dp2")
kono
parents:
diff changeset
176 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
177 (and (eq_attr "units" "l")
kono
parents:
diff changeset
178 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
179 "l1+l1w,l1w")
kono
parents:
diff changeset
180
kono
parents:
diff changeset
181 (define_insn_reservation "fp4_ls1n" 4
kono
parents:
diff changeset
182 (and (eq_attr "type" "fp4")
kono
parents:
diff changeset
183 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
184 (and (eq_attr "units" "ls")
kono
parents:
diff changeset
185 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
186 "(fps1+s1,nothing*2,s1w)|(fpl1+l1,nothing*2,l1w)")
kono
parents:
diff changeset
187
kono
parents:
diff changeset
188 (define_insn_reservation "adddp_ls1n" 7
kono
parents:
diff changeset
189 (and (eq_attr "type" "adddp")
kono
parents:
diff changeset
190 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
191 (and (eq_attr "units" "ls")
kono
parents:
diff changeset
192 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
193 "(adddps1+(s1)*2,nothing*3,s1w*2)|(adddpl1+(l1)*2,nothing*3,l1w*2)")
kono
parents:
diff changeset
194
kono
parents:
diff changeset
195 (define_insn_reservation "single_dls1n" 1
kono
parents:
diff changeset
196 (and (eq_attr "type" "single")
kono
parents:
diff changeset
197 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
198 (and (eq_attr "units" "dls")
kono
parents:
diff changeset
199 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
200 "(d1|(l1+l1w)|(s1+s1w))")
kono
parents:
diff changeset
201
kono
parents:
diff changeset
202 (define_insn_reservation "mpy2_m1n" 2
kono
parents:
diff changeset
203 (and (eq_attr "type" "mpy2")
kono
parents:
diff changeset
204 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
205 (and (eq_attr "units" "m")
kono
parents:
diff changeset
206 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
207 "m1,m1w")
kono
parents:
diff changeset
208
kono
parents:
diff changeset
209 (define_insn_reservation "mpy4_m1n" 4
kono
parents:
diff changeset
210 (and (eq_attr "type" "mpy4")
kono
parents:
diff changeset
211 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
212 (and (eq_attr "units" "m")
kono
parents:
diff changeset
213 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
214 "m1,nothing,nothing,m1w")
kono
parents:
diff changeset
215
kono
parents:
diff changeset
216 (define_insn_reservation "mpydp_m1n" 10
kono
parents:
diff changeset
217 (and (eq_attr "type" "mpydp")
kono
parents:
diff changeset
218 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
219 (and (eq_attr "units" "m")
kono
parents:
diff changeset
220 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
221 "(m1)*4,nothing*4,m1w*2")
kono
parents:
diff changeset
222
kono
parents:
diff changeset
223 (define_insn_reservation "mpyspdp_m1n" 7
kono
parents:
diff changeset
224 (and (eq_attr "type" "mpyspdp")
kono
parents:
diff changeset
225 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
226 (and (eq_attr "units" "m")
kono
parents:
diff changeset
227 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
228 "(m1)*2,nothing*3,m1w*2")
kono
parents:
diff changeset
229
kono
parents:
diff changeset
230 (define_insn_reservation "mpysp2dp_m1n" 5
kono
parents:
diff changeset
231 (and (eq_attr "type" "mpysp2dp")
kono
parents:
diff changeset
232 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
233 (and (eq_attr "units" "m")
kono
parents:
diff changeset
234 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
235 "m1,nothing*2,m1w*2")
kono
parents:
diff changeset
236
kono
parents:
diff changeset
237 ;; Definitions for side 2, cross n
kono
parents:
diff changeset
238
kono
parents:
diff changeset
239 ;; Scheduling description for TI C6X.
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
240 ;; Copyright (C) 2010-2018 Free Software Foundation, Inc.
111
kono
parents:
diff changeset
241 ;; Contributed by Bernd Schmidt <bernds@codesourcery.com>
kono
parents:
diff changeset
242 ;; Contributed by CodeSourcery.
kono
parents:
diff changeset
243 ;;
kono
parents:
diff changeset
244 ;; This file is part of GCC.
kono
parents:
diff changeset
245 ;;
kono
parents:
diff changeset
246 ;; GCC is free software; you can redistribute it and/or modify
kono
parents:
diff changeset
247 ;; it under the terms of the GNU General Public License as published by
kono
parents:
diff changeset
248 ;; the Free Software Foundation; either version 3, or (at your option)
kono
parents:
diff changeset
249 ;; any later version.
kono
parents:
diff changeset
250 ;;
kono
parents:
diff changeset
251 ;; GCC is distributed in the hope that it will be useful,
kono
parents:
diff changeset
252 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
kono
parents:
diff changeset
253 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
kono
parents:
diff changeset
254 ;; GNU General Public License for more details.
kono
parents:
diff changeset
255 ;;
kono
parents:
diff changeset
256 ;; You should have received a copy of the GNU General Public License
kono
parents:
diff changeset
257 ;; along with GCC; see the file COPYING3. If not see
kono
parents:
diff changeset
258 ;; <http://www.gnu.org/licenses/>.
kono
parents:
diff changeset
259
kono
parents:
diff changeset
260 ;; Input file for gensched.sh We process this file multiple times,
kono
parents:
diff changeset
261 ;; replacing 2 with either 1 or 2 for each of the sides of the
kono
parents:
diff changeset
262 ;; machine, and b correspondingly with "a" or "b". n and
kono
parents:
diff changeset
263 ;; are replaced with yes/no and the appropriate reservation.
kono
parents:
diff changeset
264
kono
parents:
diff changeset
265 (define_insn_reservation "load_d2n" 5
kono
parents:
diff changeset
266 (and (eq_attr "type" "load")
kono
parents:
diff changeset
267 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
268 (and (eq_attr "units" "d_addr")
kono
parents:
diff changeset
269 (eq_attr "addr_regfile" "b"))))
kono
parents:
diff changeset
270 "d2+t2")
kono
parents:
diff changeset
271
kono
parents:
diff changeset
272 (define_insn_reservation "store_d2n" 1
kono
parents:
diff changeset
273 (and (eq_attr "type" "store")
kono
parents:
diff changeset
274 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
275 (and (eq_attr "units" "d_addr")
kono
parents:
diff changeset
276 (eq_attr "addr_regfile" "b"))))
kono
parents:
diff changeset
277 "d2+t2")
kono
parents:
diff changeset
278
kono
parents:
diff changeset
279 (define_insn_reservation "loadn_d2n" 5
kono
parents:
diff changeset
280 (and (eq_attr "type" "loadn")
kono
parents:
diff changeset
281 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
282 (and (eq_attr "units" "d_addr")
kono
parents:
diff changeset
283 (eq_attr "addr_regfile" "b"))))
kono
parents:
diff changeset
284 "d2+t1+t2")
kono
parents:
diff changeset
285
kono
parents:
diff changeset
286 (define_insn_reservation "storen_d2n" 1
kono
parents:
diff changeset
287 (and (eq_attr "type" "storen")
kono
parents:
diff changeset
288 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
289 (and (eq_attr "units" "d_addr")
kono
parents:
diff changeset
290 (eq_attr "addr_regfile" "b"))))
kono
parents:
diff changeset
291 "d2+t1+t2")
kono
parents:
diff changeset
292
kono
parents:
diff changeset
293 (define_insn_reservation "single_d2n" 1
kono
parents:
diff changeset
294 (and (eq_attr "type" "single")
kono
parents:
diff changeset
295 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
296 (and (eq_attr "units" "d")
kono
parents:
diff changeset
297 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
298 "d2")
kono
parents:
diff changeset
299
kono
parents:
diff changeset
300 (define_insn_reservation "single_l2n" 1
kono
parents:
diff changeset
301 (and (eq_attr "type" "single")
kono
parents:
diff changeset
302 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
303 (and (eq_attr "units" "l")
kono
parents:
diff changeset
304 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
305 "l2+l2w")
kono
parents:
diff changeset
306
kono
parents:
diff changeset
307 (define_insn_reservation "fp4_l2n" 4
kono
parents:
diff changeset
308 (and (eq_attr "type" "fp4")
kono
parents:
diff changeset
309 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
310 (and (eq_attr "units" "l")
kono
parents:
diff changeset
311 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
312 "l2,nothing*2,l2w")
kono
parents:
diff changeset
313
kono
parents:
diff changeset
314 (define_insn_reservation "intdp_l2n" 5
kono
parents:
diff changeset
315 (and (eq_attr "type" "intdp")
kono
parents:
diff changeset
316 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
317 (and (eq_attr "units" "l")
kono
parents:
diff changeset
318 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
319 "l2,nothing*2,l2w*2")
kono
parents:
diff changeset
320
kono
parents:
diff changeset
321 (define_insn_reservation "adddp_l2n" 7
kono
parents:
diff changeset
322 (and (eq_attr "type" "adddp")
kono
parents:
diff changeset
323 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
324 (and (eq_attr "units" "l")
kono
parents:
diff changeset
325 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
326 "(l2)*2,nothing*3,l2w*2")
kono
parents:
diff changeset
327
kono
parents:
diff changeset
328 (define_insn_reservation "branch_s2n" 6
kono
parents:
diff changeset
329 (and (eq_attr "type" "branch")
kono
parents:
diff changeset
330 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
331 (and (eq_attr "units" "s")
kono
parents:
diff changeset
332 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
333 "(s2+s2w)+br1")
kono
parents:
diff changeset
334
kono
parents:
diff changeset
335 (define_insn_reservation "call_addkpc_s2n" 6
kono
parents:
diff changeset
336 (and (eq_attr "type" "call")
kono
parents:
diff changeset
337 (and (ne (symbol_ref "TARGET_INSNS_64") (const_int 0))
kono
parents:
diff changeset
338 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
339 (and (eq_attr "units" "s")
kono
parents:
diff changeset
340 (eq_attr "dest_regfile" "b")))))
kono
parents:
diff changeset
341 "(s2+s2w)+br1,s2+br0+br1")
kono
parents:
diff changeset
342
kono
parents:
diff changeset
343 (define_insn_reservation "call_mvk_s2n" 6
kono
parents:
diff changeset
344 (and (eq_attr "type" "call")
kono
parents:
diff changeset
345 (and (eq (symbol_ref "TARGET_INSNS_64") (const_int 0))
kono
parents:
diff changeset
346 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
347 (and (eq_attr "units" "s")
kono
parents:
diff changeset
348 (eq_attr "dest_regfile" "b")))))
kono
parents:
diff changeset
349 "(s2+s2w)+br1,s2,s2")
kono
parents:
diff changeset
350
kono
parents:
diff changeset
351 (define_insn_reservation "single_s2n" 1
kono
parents:
diff changeset
352 (and (eq_attr "type" "single")
kono
parents:
diff changeset
353 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
354 (and (eq_attr "units" "s")
kono
parents:
diff changeset
355 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
356 "(s2+s2w)")
kono
parents:
diff changeset
357
kono
parents:
diff changeset
358 (define_insn_reservation "cmpdp_s2n" 2
kono
parents:
diff changeset
359 (and (eq_attr "type" "cmpdp")
kono
parents:
diff changeset
360 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
361 (and (eq_attr "units" "s")
kono
parents:
diff changeset
362 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
363 "s2,(s2)+s2w")
kono
parents:
diff changeset
364
kono
parents:
diff changeset
365 (define_insn_reservation "dp2_s2n" 2
kono
parents:
diff changeset
366 (and (eq_attr "type" "dp2")
kono
parents:
diff changeset
367 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
368 (and (eq_attr "units" "s")
kono
parents:
diff changeset
369 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
370 "s2+s2w,s2w")
kono
parents:
diff changeset
371
kono
parents:
diff changeset
372 (define_insn_reservation "fp4_s2n" 4
kono
parents:
diff changeset
373 (and (eq_attr "type" "fp4")
kono
parents:
diff changeset
374 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
375 (and (eq_attr "units" "s")
kono
parents:
diff changeset
376 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
377 "s2,nothing*2,s2w")
kono
parents:
diff changeset
378
kono
parents:
diff changeset
379 (define_insn_reservation "mvilc4_s2n" 4
kono
parents:
diff changeset
380 (and (eq_attr "type" "mvilc")
kono
parents:
diff changeset
381 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
382 (and (eq_attr "units" "s")
kono
parents:
diff changeset
383 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
384 "(s2+s2w)")
kono
parents:
diff changeset
385
kono
parents:
diff changeset
386 (define_insn_reservation "single_dl2n" 1
kono
parents:
diff changeset
387 (and (eq_attr "type" "single")
kono
parents:
diff changeset
388 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
389 (and (eq_attr "units" "dl")
kono
parents:
diff changeset
390 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
391 "(d2|(l2+l2w))")
kono
parents:
diff changeset
392
kono
parents:
diff changeset
393 (define_insn_reservation "single_ds2n" 1
kono
parents:
diff changeset
394 (and (eq_attr "type" "single")
kono
parents:
diff changeset
395 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
396 (and (eq_attr "units" "ds")
kono
parents:
diff changeset
397 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
398 "(d2|(s2+s2w))")
kono
parents:
diff changeset
399
kono
parents:
diff changeset
400 (define_insn_reservation "single_ls2n" 1
kono
parents:
diff changeset
401 (and (eq_attr "type" "single")
kono
parents:
diff changeset
402 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
403 (and (eq_attr "units" "ls")
kono
parents:
diff changeset
404 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
405 "((l2+l2w)|(s2+s2w))")
kono
parents:
diff changeset
406
kono
parents:
diff changeset
407 (define_insn_reservation "dp2_l2n" 2
kono
parents:
diff changeset
408 (and (eq_attr "type" "dp2")
kono
parents:
diff changeset
409 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
410 (and (eq_attr "units" "l")
kono
parents:
diff changeset
411 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
412 "l2+l2w,l2w")
kono
parents:
diff changeset
413
kono
parents:
diff changeset
414 (define_insn_reservation "fp4_ls2n" 4
kono
parents:
diff changeset
415 (and (eq_attr "type" "fp4")
kono
parents:
diff changeset
416 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
417 (and (eq_attr "units" "ls")
kono
parents:
diff changeset
418 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
419 "(fps2+s2,nothing*2,s2w)|(fpl2+l2,nothing*2,l2w)")
kono
parents:
diff changeset
420
kono
parents:
diff changeset
421 (define_insn_reservation "adddp_ls2n" 7
kono
parents:
diff changeset
422 (and (eq_attr "type" "adddp")
kono
parents:
diff changeset
423 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
424 (and (eq_attr "units" "ls")
kono
parents:
diff changeset
425 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
426 "(adddps2+(s2)*2,nothing*3,s2w*2)|(adddpl2+(l2)*2,nothing*3,l2w*2)")
kono
parents:
diff changeset
427
kono
parents:
diff changeset
428 (define_insn_reservation "single_dls2n" 1
kono
parents:
diff changeset
429 (and (eq_attr "type" "single")
kono
parents:
diff changeset
430 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
431 (and (eq_attr "units" "dls")
kono
parents:
diff changeset
432 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
433 "(d2|(l2+l2w)|(s2+s2w))")
kono
parents:
diff changeset
434
kono
parents:
diff changeset
435 (define_insn_reservation "mpy2_m2n" 2
kono
parents:
diff changeset
436 (and (eq_attr "type" "mpy2")
kono
parents:
diff changeset
437 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
438 (and (eq_attr "units" "m")
kono
parents:
diff changeset
439 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
440 "m2,m2w")
kono
parents:
diff changeset
441
kono
parents:
diff changeset
442 (define_insn_reservation "mpy4_m2n" 4
kono
parents:
diff changeset
443 (and (eq_attr "type" "mpy4")
kono
parents:
diff changeset
444 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
445 (and (eq_attr "units" "m")
kono
parents:
diff changeset
446 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
447 "m2,nothing,nothing,m2w")
kono
parents:
diff changeset
448
kono
parents:
diff changeset
449 (define_insn_reservation "mpydp_m2n" 10
kono
parents:
diff changeset
450 (and (eq_attr "type" "mpydp")
kono
parents:
diff changeset
451 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
452 (and (eq_attr "units" "m")
kono
parents:
diff changeset
453 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
454 "(m2)*4,nothing*4,m2w*2")
kono
parents:
diff changeset
455
kono
parents:
diff changeset
456 (define_insn_reservation "mpyspdp_m2n" 7
kono
parents:
diff changeset
457 (and (eq_attr "type" "mpyspdp")
kono
parents:
diff changeset
458 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
459 (and (eq_attr "units" "m")
kono
parents:
diff changeset
460 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
461 "(m2)*2,nothing*3,m2w*2")
kono
parents:
diff changeset
462
kono
parents:
diff changeset
463 (define_insn_reservation "mpysp2dp_m2n" 5
kono
parents:
diff changeset
464 (and (eq_attr "type" "mpysp2dp")
kono
parents:
diff changeset
465 (and (eq_attr "cross" "n")
kono
parents:
diff changeset
466 (and (eq_attr "units" "m")
kono
parents:
diff changeset
467 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
468 "m2,nothing*2,m2w*2")
kono
parents:
diff changeset
469
kono
parents:
diff changeset
470 ;; Definitions for side 1, cross y
kono
parents:
diff changeset
471
kono
parents:
diff changeset
472 ;; Scheduling description for TI C6X.
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
473 ;; Copyright (C) 2010-2018 Free Software Foundation, Inc.
111
kono
parents:
diff changeset
474 ;; Contributed by Bernd Schmidt <bernds@codesourcery.com>
kono
parents:
diff changeset
475 ;; Contributed by CodeSourcery.
kono
parents:
diff changeset
476 ;;
kono
parents:
diff changeset
477 ;; This file is part of GCC.
kono
parents:
diff changeset
478 ;;
kono
parents:
diff changeset
479 ;; GCC is free software; you can redistribute it and/or modify
kono
parents:
diff changeset
480 ;; it under the terms of the GNU General Public License as published by
kono
parents:
diff changeset
481 ;; the Free Software Foundation; either version 3, or (at your option)
kono
parents:
diff changeset
482 ;; any later version.
kono
parents:
diff changeset
483 ;;
kono
parents:
diff changeset
484 ;; GCC is distributed in the hope that it will be useful,
kono
parents:
diff changeset
485 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
kono
parents:
diff changeset
486 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
kono
parents:
diff changeset
487 ;; GNU General Public License for more details.
kono
parents:
diff changeset
488 ;;
kono
parents:
diff changeset
489 ;; You should have received a copy of the GNU General Public License
kono
parents:
diff changeset
490 ;; along with GCC; see the file COPYING3. If not see
kono
parents:
diff changeset
491 ;; <http://www.gnu.org/licenses/>.
kono
parents:
diff changeset
492
kono
parents:
diff changeset
493 ;; Input file for gensched.sh We process this file multiple times,
kono
parents:
diff changeset
494 ;; replacing 1 with either 1 or 2 for each of the sides of the
kono
parents:
diff changeset
495 ;; machine, and a correspondingly with "a" or "b". y and
kono
parents:
diff changeset
496 ;; +x1 are replaced with yes/no and the appropriate reservation.
kono
parents:
diff changeset
497
kono
parents:
diff changeset
498 (define_insn_reservation "load_d1y" 5
kono
parents:
diff changeset
499 (and (eq_attr "type" "load")
kono
parents:
diff changeset
500 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
501 (and (eq_attr "units" "d_addr")
kono
parents:
diff changeset
502 (eq_attr "addr_regfile" "a"))))
kono
parents:
diff changeset
503 "d1+t2")
kono
parents:
diff changeset
504
kono
parents:
diff changeset
505 (define_insn_reservation "store_d1y" 1
kono
parents:
diff changeset
506 (and (eq_attr "type" "store")
kono
parents:
diff changeset
507 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
508 (and (eq_attr "units" "d_addr")
kono
parents:
diff changeset
509 (eq_attr "addr_regfile" "a"))))
kono
parents:
diff changeset
510 "d1+t2")
kono
parents:
diff changeset
511
kono
parents:
diff changeset
512 (define_insn_reservation "loadn_d1y" 5
kono
parents:
diff changeset
513 (and (eq_attr "type" "loadn")
kono
parents:
diff changeset
514 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
515 (and (eq_attr "units" "d_addr")
kono
parents:
diff changeset
516 (eq_attr "addr_regfile" "a"))))
kono
parents:
diff changeset
517 "d1+t1+t2")
kono
parents:
diff changeset
518
kono
parents:
diff changeset
519 (define_insn_reservation "storen_d1y" 1
kono
parents:
diff changeset
520 (and (eq_attr "type" "storen")
kono
parents:
diff changeset
521 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
522 (and (eq_attr "units" "d_addr")
kono
parents:
diff changeset
523 (eq_attr "addr_regfile" "a"))))
kono
parents:
diff changeset
524 "d1+t1+t2")
kono
parents:
diff changeset
525
kono
parents:
diff changeset
526 (define_insn_reservation "single_d1y" 1
kono
parents:
diff changeset
527 (and (eq_attr "type" "single")
kono
parents:
diff changeset
528 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
529 (and (eq_attr "units" "d")
kono
parents:
diff changeset
530 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
531 "d1+x1")
kono
parents:
diff changeset
532
kono
parents:
diff changeset
533 (define_insn_reservation "single_l1y" 1
kono
parents:
diff changeset
534 (and (eq_attr "type" "single")
kono
parents:
diff changeset
535 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
536 (and (eq_attr "units" "l")
kono
parents:
diff changeset
537 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
538 "l1+l1w+x1")
kono
parents:
diff changeset
539
kono
parents:
diff changeset
540 (define_insn_reservation "fp4_l1y" 4
kono
parents:
diff changeset
541 (and (eq_attr "type" "fp4")
kono
parents:
diff changeset
542 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
543 (and (eq_attr "units" "l")
kono
parents:
diff changeset
544 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
545 "l1+x1,nothing*2,l1w")
kono
parents:
diff changeset
546
kono
parents:
diff changeset
547 (define_insn_reservation "intdp_l1y" 5
kono
parents:
diff changeset
548 (and (eq_attr "type" "intdp")
kono
parents:
diff changeset
549 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
550 (and (eq_attr "units" "l")
kono
parents:
diff changeset
551 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
552 "l1+x1,nothing*2,l1w*2")
kono
parents:
diff changeset
553
kono
parents:
diff changeset
554 (define_insn_reservation "adddp_l1y" 7
kono
parents:
diff changeset
555 (and (eq_attr "type" "adddp")
kono
parents:
diff changeset
556 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
557 (and (eq_attr "units" "l")
kono
parents:
diff changeset
558 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
559 "(l1+x1)*2,nothing*3,l1w*2")
kono
parents:
diff changeset
560
kono
parents:
diff changeset
561 (define_insn_reservation "branch_s1y" 6
kono
parents:
diff changeset
562 (and (eq_attr "type" "branch")
kono
parents:
diff changeset
563 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
564 (and (eq_attr "units" "s")
kono
parents:
diff changeset
565 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
566 "(s1+s1w)+x1+br1")
kono
parents:
diff changeset
567
kono
parents:
diff changeset
568 (define_insn_reservation "call_addkpc_s1y" 6
kono
parents:
diff changeset
569 (and (eq_attr "type" "call")
kono
parents:
diff changeset
570 (and (ne (symbol_ref "TARGET_INSNS_64") (const_int 0))
kono
parents:
diff changeset
571 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
572 (and (eq_attr "units" "s")
kono
parents:
diff changeset
573 (eq_attr "dest_regfile" "a")))))
kono
parents:
diff changeset
574 "(s1+s1w)+x1+br1,s2+br0+br1")
kono
parents:
diff changeset
575
kono
parents:
diff changeset
576 (define_insn_reservation "call_mvk_s1y" 6
kono
parents:
diff changeset
577 (and (eq_attr "type" "call")
kono
parents:
diff changeset
578 (and (eq (symbol_ref "TARGET_INSNS_64") (const_int 0))
kono
parents:
diff changeset
579 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
580 (and (eq_attr "units" "s")
kono
parents:
diff changeset
581 (eq_attr "dest_regfile" "a")))))
kono
parents:
diff changeset
582 "(s1+s1w)+x1+br1,s2,s2")
kono
parents:
diff changeset
583
kono
parents:
diff changeset
584 (define_insn_reservation "single_s1y" 1
kono
parents:
diff changeset
585 (and (eq_attr "type" "single")
kono
parents:
diff changeset
586 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
587 (and (eq_attr "units" "s")
kono
parents:
diff changeset
588 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
589 "(s1+s1w)+x1")
kono
parents:
diff changeset
590
kono
parents:
diff changeset
591 (define_insn_reservation "cmpdp_s1y" 2
kono
parents:
diff changeset
592 (and (eq_attr "type" "cmpdp")
kono
parents:
diff changeset
593 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
594 (and (eq_attr "units" "s")
kono
parents:
diff changeset
595 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
596 "s1+x1,(s1+x1)+s1w")
kono
parents:
diff changeset
597
kono
parents:
diff changeset
598 (define_insn_reservation "dp2_s1y" 2
kono
parents:
diff changeset
599 (and (eq_attr "type" "dp2")
kono
parents:
diff changeset
600 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
601 (and (eq_attr "units" "s")
kono
parents:
diff changeset
602 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
603 "s1+s1w+x1,s1w")
kono
parents:
diff changeset
604
kono
parents:
diff changeset
605 (define_insn_reservation "fp4_s1y" 4
kono
parents:
diff changeset
606 (and (eq_attr "type" "fp4")
kono
parents:
diff changeset
607 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
608 (and (eq_attr "units" "s")
kono
parents:
diff changeset
609 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
610 "s1+x1,nothing*2,s1w")
kono
parents:
diff changeset
611
kono
parents:
diff changeset
612 (define_insn_reservation "mvilc4_s1y" 4
kono
parents:
diff changeset
613 (and (eq_attr "type" "mvilc")
kono
parents:
diff changeset
614 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
615 (and (eq_attr "units" "s")
kono
parents:
diff changeset
616 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
617 "(s1+s1w)+x1")
kono
parents:
diff changeset
618
kono
parents:
diff changeset
619 (define_insn_reservation "single_dl1y" 1
kono
parents:
diff changeset
620 (and (eq_attr "type" "single")
kono
parents:
diff changeset
621 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
622 (and (eq_attr "units" "dl")
kono
parents:
diff changeset
623 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
624 "(d1|(l1+l1w))+x1")
kono
parents:
diff changeset
625
kono
parents:
diff changeset
626 (define_insn_reservation "single_ds1y" 1
kono
parents:
diff changeset
627 (and (eq_attr "type" "single")
kono
parents:
diff changeset
628 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
629 (and (eq_attr "units" "ds")
kono
parents:
diff changeset
630 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
631 "(d1|(s1+s1w))+x1")
kono
parents:
diff changeset
632
kono
parents:
diff changeset
633 (define_insn_reservation "single_ls1y" 1
kono
parents:
diff changeset
634 (and (eq_attr "type" "single")
kono
parents:
diff changeset
635 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
636 (and (eq_attr "units" "ls")
kono
parents:
diff changeset
637 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
638 "((l1+l1w)|(s1+s1w))+x1")
kono
parents:
diff changeset
639
kono
parents:
diff changeset
640 (define_insn_reservation "dp2_l1y" 2
kono
parents:
diff changeset
641 (and (eq_attr "type" "dp2")
kono
parents:
diff changeset
642 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
643 (and (eq_attr "units" "l")
kono
parents:
diff changeset
644 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
645 "l1+l1w+x1,l1w")
kono
parents:
diff changeset
646
kono
parents:
diff changeset
647 (define_insn_reservation "fp4_ls1y" 4
kono
parents:
diff changeset
648 (and (eq_attr "type" "fp4")
kono
parents:
diff changeset
649 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
650 (and (eq_attr "units" "ls")
kono
parents:
diff changeset
651 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
652 "(fps1+s1+x1,nothing*2,s1w)|(fpl1+l1+x1,nothing*2,l1w)")
kono
parents:
diff changeset
653
kono
parents:
diff changeset
654 (define_insn_reservation "adddp_ls1y" 7
kono
parents:
diff changeset
655 (and (eq_attr "type" "adddp")
kono
parents:
diff changeset
656 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
657 (and (eq_attr "units" "ls")
kono
parents:
diff changeset
658 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
659 "(adddps1+(s1+x1)*2,nothing*3,s1w*2)|(adddpl1+(l1+x1)*2,nothing*3,l1w*2)")
kono
parents:
diff changeset
660
kono
parents:
diff changeset
661 (define_insn_reservation "single_dls1y" 1
kono
parents:
diff changeset
662 (and (eq_attr "type" "single")
kono
parents:
diff changeset
663 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
664 (and (eq_attr "units" "dls")
kono
parents:
diff changeset
665 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
666 "(d1|(l1+l1w)|(s1+s1w))+x1")
kono
parents:
diff changeset
667
kono
parents:
diff changeset
668 (define_insn_reservation "mpy2_m1y" 2
kono
parents:
diff changeset
669 (and (eq_attr "type" "mpy2")
kono
parents:
diff changeset
670 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
671 (and (eq_attr "units" "m")
kono
parents:
diff changeset
672 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
673 "m1+x1,m1w")
kono
parents:
diff changeset
674
kono
parents:
diff changeset
675 (define_insn_reservation "mpy4_m1y" 4
kono
parents:
diff changeset
676 (and (eq_attr "type" "mpy4")
kono
parents:
diff changeset
677 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
678 (and (eq_attr "units" "m")
kono
parents:
diff changeset
679 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
680 "m1+x1,nothing,nothing,m1w")
kono
parents:
diff changeset
681
kono
parents:
diff changeset
682 (define_insn_reservation "mpydp_m1y" 10
kono
parents:
diff changeset
683 (and (eq_attr "type" "mpydp")
kono
parents:
diff changeset
684 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
685 (and (eq_attr "units" "m")
kono
parents:
diff changeset
686 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
687 "(m1+x1)*4,nothing*4,m1w*2")
kono
parents:
diff changeset
688
kono
parents:
diff changeset
689 (define_insn_reservation "mpyspdp_m1y" 7
kono
parents:
diff changeset
690 (and (eq_attr "type" "mpyspdp")
kono
parents:
diff changeset
691 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
692 (and (eq_attr "units" "m")
kono
parents:
diff changeset
693 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
694 "(m1+x1)*2,nothing*3,m1w*2")
kono
parents:
diff changeset
695
kono
parents:
diff changeset
696 (define_insn_reservation "mpysp2dp_m1y" 5
kono
parents:
diff changeset
697 (and (eq_attr "type" "mpysp2dp")
kono
parents:
diff changeset
698 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
699 (and (eq_attr "units" "m")
kono
parents:
diff changeset
700 (eq_attr "dest_regfile" "a"))))
kono
parents:
diff changeset
701 "m1+x1,nothing*2,m1w*2")
kono
parents:
diff changeset
702
kono
parents:
diff changeset
703 ;; Definitions for side 2, cross y
kono
parents:
diff changeset
704
kono
parents:
diff changeset
705 ;; Scheduling description for TI C6X.
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
706 ;; Copyright (C) 2010-2018 Free Software Foundation, Inc.
111
kono
parents:
diff changeset
707 ;; Contributed by Bernd Schmidt <bernds@codesourcery.com>
kono
parents:
diff changeset
708 ;; Contributed by CodeSourcery.
kono
parents:
diff changeset
709 ;;
kono
parents:
diff changeset
710 ;; This file is part of GCC.
kono
parents:
diff changeset
711 ;;
kono
parents:
diff changeset
712 ;; GCC is free software; you can redistribute it and/or modify
kono
parents:
diff changeset
713 ;; it under the terms of the GNU General Public License as published by
kono
parents:
diff changeset
714 ;; the Free Software Foundation; either version 3, or (at your option)
kono
parents:
diff changeset
715 ;; any later version.
kono
parents:
diff changeset
716 ;;
kono
parents:
diff changeset
717 ;; GCC is distributed in the hope that it will be useful,
kono
parents:
diff changeset
718 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
kono
parents:
diff changeset
719 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
kono
parents:
diff changeset
720 ;; GNU General Public License for more details.
kono
parents:
diff changeset
721 ;;
kono
parents:
diff changeset
722 ;; You should have received a copy of the GNU General Public License
kono
parents:
diff changeset
723 ;; along with GCC; see the file COPYING3. If not see
kono
parents:
diff changeset
724 ;; <http://www.gnu.org/licenses/>.
kono
parents:
diff changeset
725
kono
parents:
diff changeset
726 ;; Input file for gensched.sh We process this file multiple times,
kono
parents:
diff changeset
727 ;; replacing 2 with either 1 or 2 for each of the sides of the
kono
parents:
diff changeset
728 ;; machine, and b correspondingly with "a" or "b". y and
kono
parents:
diff changeset
729 ;; +x2 are replaced with yes/no and the appropriate reservation.
kono
parents:
diff changeset
730
kono
parents:
diff changeset
731 (define_insn_reservation "load_d2y" 5
kono
parents:
diff changeset
732 (and (eq_attr "type" "load")
kono
parents:
diff changeset
733 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
734 (and (eq_attr "units" "d_addr")
kono
parents:
diff changeset
735 (eq_attr "addr_regfile" "b"))))
kono
parents:
diff changeset
736 "d2+t1")
kono
parents:
diff changeset
737
kono
parents:
diff changeset
738 (define_insn_reservation "store_d2y" 1
kono
parents:
diff changeset
739 (and (eq_attr "type" "store")
kono
parents:
diff changeset
740 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
741 (and (eq_attr "units" "d_addr")
kono
parents:
diff changeset
742 (eq_attr "addr_regfile" "b"))))
kono
parents:
diff changeset
743 "d2+t1")
kono
parents:
diff changeset
744
kono
parents:
diff changeset
745 (define_insn_reservation "loadn_d2y" 5
kono
parents:
diff changeset
746 (and (eq_attr "type" "loadn")
kono
parents:
diff changeset
747 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
748 (and (eq_attr "units" "d_addr")
kono
parents:
diff changeset
749 (eq_attr "addr_regfile" "b"))))
kono
parents:
diff changeset
750 "d2+t1+t2")
kono
parents:
diff changeset
751
kono
parents:
diff changeset
752 (define_insn_reservation "storen_d2y" 1
kono
parents:
diff changeset
753 (and (eq_attr "type" "storen")
kono
parents:
diff changeset
754 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
755 (and (eq_attr "units" "d_addr")
kono
parents:
diff changeset
756 (eq_attr "addr_regfile" "b"))))
kono
parents:
diff changeset
757 "d2+t1+t2")
kono
parents:
diff changeset
758
kono
parents:
diff changeset
759 (define_insn_reservation "single_d2y" 1
kono
parents:
diff changeset
760 (and (eq_attr "type" "single")
kono
parents:
diff changeset
761 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
762 (and (eq_attr "units" "d")
kono
parents:
diff changeset
763 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
764 "d2+x2")
kono
parents:
diff changeset
765
kono
parents:
diff changeset
766 (define_insn_reservation "single_l2y" 1
kono
parents:
diff changeset
767 (and (eq_attr "type" "single")
kono
parents:
diff changeset
768 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
769 (and (eq_attr "units" "l")
kono
parents:
diff changeset
770 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
771 "l2+l2w+x2")
kono
parents:
diff changeset
772
kono
parents:
diff changeset
773 (define_insn_reservation "fp4_l2y" 4
kono
parents:
diff changeset
774 (and (eq_attr "type" "fp4")
kono
parents:
diff changeset
775 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
776 (and (eq_attr "units" "l")
kono
parents:
diff changeset
777 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
778 "l2+x2,nothing*2,l2w")
kono
parents:
diff changeset
779
kono
parents:
diff changeset
780 (define_insn_reservation "intdp_l2y" 5
kono
parents:
diff changeset
781 (and (eq_attr "type" "intdp")
kono
parents:
diff changeset
782 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
783 (and (eq_attr "units" "l")
kono
parents:
diff changeset
784 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
785 "l2+x2,nothing*2,l2w*2")
kono
parents:
diff changeset
786
kono
parents:
diff changeset
787 (define_insn_reservation "adddp_l2y" 7
kono
parents:
diff changeset
788 (and (eq_attr "type" "adddp")
kono
parents:
diff changeset
789 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
790 (and (eq_attr "units" "l")
kono
parents:
diff changeset
791 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
792 "(l2+x2)*2,nothing*3,l2w*2")
kono
parents:
diff changeset
793
kono
parents:
diff changeset
794 (define_insn_reservation "branch_s2y" 6
kono
parents:
diff changeset
795 (and (eq_attr "type" "branch")
kono
parents:
diff changeset
796 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
797 (and (eq_attr "units" "s")
kono
parents:
diff changeset
798 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
799 "(s2+s2w)+x2+br1")
kono
parents:
diff changeset
800
kono
parents:
diff changeset
801 (define_insn_reservation "call_addkpc_s2y" 6
kono
parents:
diff changeset
802 (and (eq_attr "type" "call")
kono
parents:
diff changeset
803 (and (ne (symbol_ref "TARGET_INSNS_64") (const_int 0))
kono
parents:
diff changeset
804 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
805 (and (eq_attr "units" "s")
kono
parents:
diff changeset
806 (eq_attr "dest_regfile" "b")))))
kono
parents:
diff changeset
807 "(s2+s2w)+x2+br1,s2+br0+br1")
kono
parents:
diff changeset
808
kono
parents:
diff changeset
809 (define_insn_reservation "call_mvk_s2y" 6
kono
parents:
diff changeset
810 (and (eq_attr "type" "call")
kono
parents:
diff changeset
811 (and (eq (symbol_ref "TARGET_INSNS_64") (const_int 0))
kono
parents:
diff changeset
812 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
813 (and (eq_attr "units" "s")
kono
parents:
diff changeset
814 (eq_attr "dest_regfile" "b")))))
kono
parents:
diff changeset
815 "(s2+s2w)+x2+br1,s2,s2")
kono
parents:
diff changeset
816
kono
parents:
diff changeset
817 (define_insn_reservation "single_s2y" 1
kono
parents:
diff changeset
818 (and (eq_attr "type" "single")
kono
parents:
diff changeset
819 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
820 (and (eq_attr "units" "s")
kono
parents:
diff changeset
821 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
822 "(s2+s2w)+x2")
kono
parents:
diff changeset
823
kono
parents:
diff changeset
824 (define_insn_reservation "cmpdp_s2y" 2
kono
parents:
diff changeset
825 (and (eq_attr "type" "cmpdp")
kono
parents:
diff changeset
826 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
827 (and (eq_attr "units" "s")
kono
parents:
diff changeset
828 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
829 "s2+x2,(s2+x2)+s2w")
kono
parents:
diff changeset
830
kono
parents:
diff changeset
831 (define_insn_reservation "dp2_s2y" 2
kono
parents:
diff changeset
832 (and (eq_attr "type" "dp2")
kono
parents:
diff changeset
833 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
834 (and (eq_attr "units" "s")
kono
parents:
diff changeset
835 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
836 "s2+s2w+x2,s2w")
kono
parents:
diff changeset
837
kono
parents:
diff changeset
838 (define_insn_reservation "fp4_s2y" 4
kono
parents:
diff changeset
839 (and (eq_attr "type" "fp4")
kono
parents:
diff changeset
840 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
841 (and (eq_attr "units" "s")
kono
parents:
diff changeset
842 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
843 "s2+x2,nothing*2,s2w")
kono
parents:
diff changeset
844
kono
parents:
diff changeset
845 (define_insn_reservation "mvilc4_s2y" 4
kono
parents:
diff changeset
846 (and (eq_attr "type" "mvilc")
kono
parents:
diff changeset
847 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
848 (and (eq_attr "units" "s")
kono
parents:
diff changeset
849 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
850 "(s2+s2w)+x2")
kono
parents:
diff changeset
851
kono
parents:
diff changeset
852 (define_insn_reservation "single_dl2y" 1
kono
parents:
diff changeset
853 (and (eq_attr "type" "single")
kono
parents:
diff changeset
854 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
855 (and (eq_attr "units" "dl")
kono
parents:
diff changeset
856 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
857 "(d2|(l2+l2w))+x2")
kono
parents:
diff changeset
858
kono
parents:
diff changeset
859 (define_insn_reservation "single_ds2y" 1
kono
parents:
diff changeset
860 (and (eq_attr "type" "single")
kono
parents:
diff changeset
861 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
862 (and (eq_attr "units" "ds")
kono
parents:
diff changeset
863 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
864 "(d2|(s2+s2w))+x2")
kono
parents:
diff changeset
865
kono
parents:
diff changeset
866 (define_insn_reservation "single_ls2y" 1
kono
parents:
diff changeset
867 (and (eq_attr "type" "single")
kono
parents:
diff changeset
868 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
869 (and (eq_attr "units" "ls")
kono
parents:
diff changeset
870 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
871 "((l2+l2w)|(s2+s2w))+x2")
kono
parents:
diff changeset
872
kono
parents:
diff changeset
873 (define_insn_reservation "dp2_l2y" 2
kono
parents:
diff changeset
874 (and (eq_attr "type" "dp2")
kono
parents:
diff changeset
875 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
876 (and (eq_attr "units" "l")
kono
parents:
diff changeset
877 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
878 "l2+l2w+x2,l2w")
kono
parents:
diff changeset
879
kono
parents:
diff changeset
880 (define_insn_reservation "fp4_ls2y" 4
kono
parents:
diff changeset
881 (and (eq_attr "type" "fp4")
kono
parents:
diff changeset
882 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
883 (and (eq_attr "units" "ls")
kono
parents:
diff changeset
884 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
885 "(fps2+s2+x2,nothing*2,s2w)|(fpl2+l2+x2,nothing*2,l2w)")
kono
parents:
diff changeset
886
kono
parents:
diff changeset
887 (define_insn_reservation "adddp_ls2y" 7
kono
parents:
diff changeset
888 (and (eq_attr "type" "adddp")
kono
parents:
diff changeset
889 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
890 (and (eq_attr "units" "ls")
kono
parents:
diff changeset
891 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
892 "(adddps2+(s2+x2)*2,nothing*3,s2w*2)|(adddpl2+(l2+x2)*2,nothing*3,l2w*2)")
kono
parents:
diff changeset
893
kono
parents:
diff changeset
894 (define_insn_reservation "single_dls2y" 1
kono
parents:
diff changeset
895 (and (eq_attr "type" "single")
kono
parents:
diff changeset
896 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
897 (and (eq_attr "units" "dls")
kono
parents:
diff changeset
898 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
899 "(d2|(l2+l2w)|(s2+s2w))+x2")
kono
parents:
diff changeset
900
kono
parents:
diff changeset
901 (define_insn_reservation "mpy2_m2y" 2
kono
parents:
diff changeset
902 (and (eq_attr "type" "mpy2")
kono
parents:
diff changeset
903 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
904 (and (eq_attr "units" "m")
kono
parents:
diff changeset
905 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
906 "m2+x2,m2w")
kono
parents:
diff changeset
907
kono
parents:
diff changeset
908 (define_insn_reservation "mpy4_m2y" 4
kono
parents:
diff changeset
909 (and (eq_attr "type" "mpy4")
kono
parents:
diff changeset
910 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
911 (and (eq_attr "units" "m")
kono
parents:
diff changeset
912 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
913 "m2+x2,nothing,nothing,m2w")
kono
parents:
diff changeset
914
kono
parents:
diff changeset
915 (define_insn_reservation "mpydp_m2y" 10
kono
parents:
diff changeset
916 (and (eq_attr "type" "mpydp")
kono
parents:
diff changeset
917 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
918 (and (eq_attr "units" "m")
kono
parents:
diff changeset
919 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
920 "(m2+x2)*4,nothing*4,m2w*2")
kono
parents:
diff changeset
921
kono
parents:
diff changeset
922 (define_insn_reservation "mpyspdp_m2y" 7
kono
parents:
diff changeset
923 (and (eq_attr "type" "mpyspdp")
kono
parents:
diff changeset
924 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
925 (and (eq_attr "units" "m")
kono
parents:
diff changeset
926 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
927 "(m2+x2)*2,nothing*3,m2w*2")
kono
parents:
diff changeset
928
kono
parents:
diff changeset
929 (define_insn_reservation "mpysp2dp_m2y" 5
kono
parents:
diff changeset
930 (and (eq_attr "type" "mpysp2dp")
kono
parents:
diff changeset
931 (and (eq_attr "cross" "y")
kono
parents:
diff changeset
932 (and (eq_attr "units" "m")
kono
parents:
diff changeset
933 (eq_attr "dest_regfile" "b"))))
kono
parents:
diff changeset
934 "m2+x2,nothing*2,m2w*2")