1 ;; Scheduling description for IBM POWER6 processor.
2 ;; Copyright (C) 2006-2018 Free Software Foundation, Inc.
3 ;; Contributed by Peter Steinmetz (steinmtz@us.ibm.com)
5 ;; This file is part of GCC.
7 ;; GCC is free software; you can redistribute it and/or modify it
8 ;; under the terms of the GNU General Public License as published
9 ;; by the Free Software Foundation; either version 3, or (at your
10 ;; option) any later version.
12 ;; GCC is distributed in the hope that it will be useful, but WITHOUT
13 ;; ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
14 ;; or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
15 ;; License for more details.
17 ;; You should have received a copy of the GNU General Public License
18 ;; along with GCC; see the file COPYING3. If not see
19 ;; <http://www.gnu.org/licenses/>.
23 ;; The POWER6 has 2 iu, 2 fpu, 2 lsu, and 1 bu/cru unit per engine
24 ;; (2 engines per chip). The chip can issue up to 5 internal ops
27 (define_automaton "power6iu,power6lsu,power6fpu,power6bu")
29 (define_cpu_unit "iu1_power6,iu2_power6" "power6iu")
30 (define_cpu_unit "lsu1_power6,lsu2_power6" "power6lsu")
31 (define_cpu_unit "bpu_power6" "power6bu")
32 (define_cpu_unit "fpu1_power6,fpu2_power6" "power6fpu")
34 (define_reservation "LS2_power6"
35 "lsu1_power6+lsu2_power6")
37 (define_reservation "FPU_power6"
38 "fpu1_power6|fpu2_power6")
40 (define_reservation "BRU_power6"
43 (define_reservation "LSU_power6"
44 "lsu1_power6|lsu2_power6")
46 (define_reservation "LSF_power6"
47 "(lsu1_power6+fpu1_power6)\
48 |(lsu1_power6+fpu2_power6)\
49 |(lsu2_power6+fpu1_power6)\
50 |(lsu2_power6+fpu2_power6)")
52 (define_reservation "LX2_power6"
53 "(iu1_power6+iu2_power6+lsu1_power6)\
54 |(iu1_power6+iu2_power6+lsu2_power6)")
56 (define_reservation "FX2_power6"
57 "iu1_power6+iu2_power6")
59 (define_reservation "X2F_power6"
60 "(iu1_power6+iu2_power6+fpu1_power6)\
61 |(iu1_power6+iu2_power6+fpu2_power6)")
63 (define_reservation "BX2_power6"
64 "iu1_power6+iu2_power6+bpu_power6")
66 (define_reservation "LSX_power6"
67 "(iu1_power6+lsu1_power6)\
68 |(iu1_power6+lsu2_power6)\
69 |(iu2_power6+lsu1_power6)\
70 |(iu2_power6+lsu2_power6)")
72 (define_reservation "FXU_power6"
73 "iu1_power6|iu2_power6")
75 (define_reservation "XLF_power6"
76 "(iu1_power6+lsu1_power6+fpu1_power6)\
77 |(iu1_power6+lsu1_power6+fpu2_power6)\
78 |(iu1_power6+lsu2_power6+fpu1_power6)\
79 |(iu1_power6+lsu2_power6+fpu2_power6)\
80 |(iu2_power6+lsu1_power6+fpu1_power6)\
81 |(iu2_power6+lsu1_power6+fpu2_power6)\
82 |(iu2_power6+lsu2_power6+fpu1_power6)\
83 |(iu2_power6+lsu2_power6+fpu2_power6)")
85 (define_reservation "BRX_power6"
86 "(bpu_power6+iu1_power6)\
87 |(bpu_power6+iu2_power6)")
91 ; The default for a value written by a fixed point load
92 ; that is read/written by a subsequent fixed point op.
93 (define_insn_reservation "power6-load" 2 ; fx
94 (and (eq_attr "type" "load")
95 (eq_attr "sign_extend" "no")
96 (eq_attr "update" "no")
97 (eq_attr "cpu" "power6"))
100 ; define the bypass for the case where the value written
101 ; by a fixed point load is used as the source value on
103 (define_bypass 1 "power6-load,\
105 power6-load-update-indexed"
107 power6-store-update,\
108 power6-store-update-indexed,\
110 power6-fpstore-update"
111 "rs6000_store_data_bypass_p")
113 (define_insn_reservation "power6-load-ext" 4 ; fx
114 (and (eq_attr "type" "load")
115 (eq_attr "sign_extend" "yes")
116 (eq_attr "update" "no")
117 (eq_attr "cpu" "power6"))
120 ; define the bypass for the case where the value written
121 ; by a fixed point load ext is used as the source value on
123 (define_bypass 1 "power6-load-ext,\
124 power6-load-ext-update,\
125 power6-load-ext-update-indexed"
127 power6-store-update,\
128 power6-store-update-indexed,\
130 power6-fpstore-update"
131 "rs6000_store_data_bypass_p")
133 (define_insn_reservation "power6-load-update" 2 ; fx
134 (and (eq_attr "type" "load")
135 (eq_attr "sign_extend" "no")
136 (eq_attr "update" "yes")
137 (eq_attr "indexed" "no")
138 (eq_attr "cpu" "power6"))
141 (define_insn_reservation "power6-load-update-indexed" 2 ; fx
142 (and (eq_attr "type" "load")
143 (eq_attr "sign_extend" "no")
144 (eq_attr "update" "yes")
145 (eq_attr "indexed" "yes")
146 (eq_attr "cpu" "power6"))
149 (define_insn_reservation "power6-load-ext-update" 4 ; fx
150 (and (eq_attr "type" "load")
151 (eq_attr "sign_extend" "yes")
152 (eq_attr "update" "yes")
153 (eq_attr "indexed" "no")
154 (eq_attr "cpu" "power6"))
157 (define_insn_reservation "power6-load-ext-update-indexed" 4 ; fx
158 (and (eq_attr "type" "load")
159 (eq_attr "sign_extend" "yes")
160 (eq_attr "update" "yes")
161 (eq_attr "indexed" "yes")
162 (eq_attr "cpu" "power6"))
165 (define_insn_reservation "power6-fpload" 1
166 (and (eq_attr "type" "fpload")
167 (eq_attr "update" "no")
168 (eq_attr "cpu" "power6"))
171 (define_insn_reservation "power6-fpload-update" 1
172 (and (eq_attr "type" "fpload")
173 (eq_attr "update" "yes")
174 (eq_attr "cpu" "power6"))
177 (define_insn_reservation "power6-store" 14
178 (and (eq_attr "type" "store")
179 (eq_attr "update" "no")
180 (eq_attr "cpu" "power6"))
183 (define_insn_reservation "power6-store-update" 14
184 (and (eq_attr "type" "store")
185 (eq_attr "update" "yes")
186 (eq_attr "indexed" "no")
187 (eq_attr "cpu" "power6"))
190 (define_insn_reservation "power6-store-update-indexed" 14
191 (and (eq_attr "type" "store")
192 (eq_attr "update" "yes")
193 (eq_attr "indexed" "yes")
194 (eq_attr "cpu" "power6"))
197 (define_insn_reservation "power6-fpstore" 14
198 (and (eq_attr "type" "fpstore")
199 (eq_attr "update" "no")
200 (eq_attr "cpu" "power6"))
203 (define_insn_reservation "power6-fpstore-update" 14
204 (and (eq_attr "type" "fpstore")
205 (eq_attr "update" "yes")
206 (eq_attr "cpu" "power6"))
209 (define_insn_reservation "power6-larx" 3
210 (and (eq_attr "type" "load_l")
211 (eq_attr "cpu" "power6"))
214 (define_insn_reservation "power6-stcx" 10 ; best case
215 (and (eq_attr "type" "store_c")
216 (eq_attr "cpu" "power6"))
219 (define_insn_reservation "power6-sync" 11 ; N/A
220 (and (eq_attr "type" "sync")
221 (eq_attr "cpu" "power6"))
224 (define_insn_reservation "power6-integer" 1
225 (and (ior (eq_attr "type" "integer")
226 (and (eq_attr "type" "add,logical")
227 (eq_attr "dot" "no")))
228 (eq_attr "cpu" "power6"))
231 (define_insn_reservation "power6-isel" 1
232 (and (eq_attr "type" "isel")
233 (eq_attr "cpu" "power6"))
236 (define_insn_reservation "power6-exts" 1
237 (and (eq_attr "type" "exts")
239 (eq_attr "cpu" "power6"))
242 (define_insn_reservation "power6-shift" 1
243 (and (eq_attr "type" "shift")
244 (eq_attr "var_shift" "no")
246 (eq_attr "cpu" "power6"))
249 (define_insn_reservation "power6-popcnt" 1
250 (and (eq_attr "type" "popcnt")
251 (eq_attr "cpu" "power6"))
254 (define_insn_reservation "power6-insert" 1
255 (and (eq_attr "type" "insert")
256 (eq_attr "size" "32")
257 (eq_attr "cpu" "power6"))
260 (define_insn_reservation "power6-insert-dword" 1
261 (and (eq_attr "type" "insert")
262 (eq_attr "size" "64")
263 (eq_attr "cpu" "power6"))
266 ; define the bypass for the case where the value written
267 ; by a fixed point op is used as the source value on a
269 (define_bypass 1 "power6-integer,\
275 power6-store-update,\
276 power6-store-update-indexed,\
278 power6-fpstore-update"
279 "rs6000_store_data_bypass_p")
281 (define_insn_reservation "power6-cntlz" 2
282 (and (eq_attr "type" "cntlz")
283 (eq_attr "cpu" "power6"))
286 (define_bypass 1 "power6-cntlz"
288 power6-store-update,\
289 power6-store-update-indexed,\
291 power6-fpstore-update"
292 "rs6000_store_data_bypass_p")
294 (define_insn_reservation "power6-var-rotate" 4
295 (and (eq_attr "type" "shift")
296 (eq_attr "var_shift" "yes")
298 (eq_attr "cpu" "power6"))
301 (define_insn_reservation "power6-trap" 1 ; N/A
302 (and (eq_attr "type" "trap")
303 (eq_attr "cpu" "power6"))
306 (define_insn_reservation "power6-two" 1
307 (and (eq_attr "type" "two")
308 (eq_attr "cpu" "power6"))
309 "(iu1_power6,iu1_power6)\
310 |(iu1_power6+iu2_power6,nothing)\
311 |(iu1_power6,iu2_power6)\
312 |(iu2_power6,iu1_power6)\
313 |(iu2_power6,iu2_power6)")
315 (define_insn_reservation "power6-three" 1
316 (and (eq_attr "type" "three")
317 (eq_attr "cpu" "power6"))
318 "(iu1_power6,iu1_power6,iu1_power6)\
319 |(iu1_power6,iu1_power6,iu2_power6)\
320 |(iu1_power6,iu2_power6,iu1_power6)\
321 |(iu1_power6,iu2_power6,iu2_power6)\
322 |(iu2_power6,iu1_power6,iu1_power6)\
323 |(iu2_power6,iu1_power6,iu2_power6)\
324 |(iu2_power6,iu2_power6,iu1_power6)\
325 |(iu2_power6,iu2_power6,iu2_power6)\
326 |(iu1_power6+iu2_power6,iu1_power6)\
327 |(iu1_power6+iu2_power6,iu2_power6)\
328 |(iu1_power6,iu1_power6+iu2_power6)\
329 |(iu2_power6,iu1_power6+iu2_power6)")
331 (define_insn_reservation "power6-cmp" 1
332 (and (eq_attr "type" "cmp")
333 (eq_attr "cpu" "power6"))
336 (define_insn_reservation "power6-compare" 1
337 (and (eq_attr "type" "exts")
338 (eq_attr "dot" "yes")
339 (eq_attr "cpu" "power6"))
342 (define_insn_reservation "power6-fast-compare" 1
343 (and (eq_attr "type" "add,logical")
344 (eq_attr "dot" "yes")
345 (eq_attr "cpu" "power6"))
348 ; define the bypass for the case where the value written
349 ; by a fixed point rec form op is used as the source value
351 (define_bypass 1 "power6-compare,\
354 power6-store-update,\
355 power6-store-update-indexed,\
357 power6-fpstore-update"
358 "rs6000_store_data_bypass_p")
360 (define_insn_reservation "power6-delayed-compare" 2 ; N/A
361 (and (eq_attr "type" "shift")
362 (eq_attr "var_shift" "no")
363 (eq_attr "dot" "yes")
364 (eq_attr "cpu" "power6"))
367 (define_insn_reservation "power6-var-delayed-compare" 4
368 (and (eq_attr "type" "shift")
369 (eq_attr "var_shift" "yes")
370 (eq_attr "dot" "yes")
371 (eq_attr "cpu" "power6"))
374 (define_insn_reservation "power6-lmul-cmp" 16
375 (and (eq_attr "type" "mul")
376 (eq_attr "dot" "yes")
377 (eq_attr "size" "64")
378 (eq_attr "cpu" "power6"))
379 "(iu1_power6*16+iu2_power6*16+fpu1_power6*16)\
380 |(iu1_power6*16+iu2_power6*16+fpu2_power6*16)");
382 (define_insn_reservation "power6-imul-cmp" 16
383 (and (eq_attr "type" "mul")
384 (eq_attr "dot" "yes")
385 (eq_attr "size" "32")
386 (eq_attr "cpu" "power6"))
387 "(iu1_power6*16+iu2_power6*16+fpu1_power6*16)\
388 |(iu1_power6*16+iu2_power6*16+fpu2_power6*16)");
390 (define_insn_reservation "power6-lmul" 16
391 (and (eq_attr "type" "mul")
393 (eq_attr "size" "64")
394 (eq_attr "cpu" "power6"))
395 "(iu1_power6*16+iu2_power6*16+fpu1_power6*16)\
396 |(iu1_power6*16+iu2_power6*16+fpu2_power6*16)");
398 (define_insn_reservation "power6-imul" 16
399 (and (eq_attr "type" "mul")
401 (eq_attr "size" "32")
402 (eq_attr "cpu" "power6"))
403 "(iu1_power6*16+iu2_power6*16+fpu1_power6*16)\
404 |(iu1_power6*16+iu2_power6*16+fpu2_power6*16)");
406 (define_insn_reservation "power6-imul3" 16
407 (and (eq_attr "type" "mul")
408 (eq_attr "size" "8,16")
409 (eq_attr "cpu" "power6"))
410 "(iu1_power6*16+iu2_power6*16+fpu1_power6*16)\
411 |(iu1_power6*16+iu2_power6*16+fpu2_power6*16)");
413 (define_bypass 9 "power6-imul,\
419 power6-store-update,\
420 power6-store-update-indexed,\
422 power6-fpstore-update"
423 "rs6000_store_data_bypass_p")
425 (define_insn_reservation "power6-idiv" 44
426 (and (eq_attr "type" "div")
427 (eq_attr "size" "32")
428 (eq_attr "cpu" "power6"))
429 "(iu1_power6*44+iu2_power6*44+fpu1_power6*44)\
430 |(iu1_power6*44+iu2_power6*44+fpu2_power6*44)");
432 ; The latency for this bypass is yet to be defined
433 ;(define_bypass ? "power6-idiv"
435 ; power6-store-update,\
436 ; power6-store-update-indexed,\
438 ; power6-fpstore-update"
439 ; "rs6000_store_data_bypass_p")
441 (define_insn_reservation "power6-ldiv" 56
442 (and (eq_attr "type" "div")
443 (eq_attr "size" "64")
444 (eq_attr "cpu" "power6"))
445 "(iu1_power6*56+iu2_power6*56+fpu1_power6*56)\
446 |(iu1_power6*56+iu2_power6*56+fpu2_power6*56)");
448 ; The latency for this bypass is yet to be defined
449 ;(define_bypass ? "power6-ldiv"
451 ; power6-store-update,\
452 ; power6-store-update-indexed,\
454 ; power6-fpstore-update"
455 ; "rs6000_store_data_bypass_p")
457 (define_insn_reservation "power6-mtjmpr" 2
458 (and (eq_attr "type" "mtjmpr,mfjmpr")
459 (eq_attr "cpu" "power6"))
462 (define_bypass 5 "power6-mtjmpr" "power6-branch")
464 (define_insn_reservation "power6-branch" 2
465 (and (eq_attr "type" "jmpreg,branch")
466 (eq_attr "cpu" "power6"))
469 (define_bypass 5 "power6-branch" "power6-mtjmpr")
471 (define_insn_reservation "power6-crlogical" 3
472 (and (eq_attr "type" "cr_logical")
473 (eq_attr "cpu" "power6"))
476 (define_bypass 3 "power6-crlogical" "power6-branch")
478 (define_insn_reservation "power6-mfcr" 6 ; N/A
479 (and (eq_attr "type" "mfcr")
480 (eq_attr "cpu" "power6"))
484 (define_insn_reservation "power6-mfcrf" 3 ; N/A
485 (and (eq_attr "type" "mfcrf")
486 (eq_attr "cpu" "power6"))
490 (define_insn_reservation "power6-mtcr" 4 ; N/A
491 (and (eq_attr "type" "mtcr")
492 (eq_attr "cpu" "power6"))
495 (define_bypass 9 "power6-mtcr" "power6-branch")
497 (define_insn_reservation "power6-fp" 6
498 (and (eq_attr "type" "fp,fpsimple,dmul,dfp")
499 (eq_attr "cpu" "power6"))
502 ; Any fp instruction that updates a CR has a latency
503 ; of 6 to a dependent branch
504 (define_bypass 6 "power6-fp" "power6-branch")
506 (define_bypass 1 "power6-fp"
507 "power6-fpstore,power6-fpstore-update"
508 "rs6000_store_data_bypass_p")
510 (define_insn_reservation "power6-fpcompare" 8
511 (and (eq_attr "type" "fpcompare")
512 (eq_attr "cpu" "power6"))
515 (define_bypass 12 "power6-fpcompare"
516 "power6-branch,power6-crlogical")
518 (define_insn_reservation "power6-sdiv" 26
519 (and (eq_attr "type" "sdiv")
520 (eq_attr "cpu" "power6"))
523 (define_insn_reservation "power6-ddiv" 32
524 (and (eq_attr "type" "ddiv")
525 (eq_attr "cpu" "power6"))
528 (define_insn_reservation "power6-sqrt" 30
529 (and (eq_attr "type" "ssqrt")
530 (eq_attr "cpu" "power6"))
533 (define_insn_reservation "power6-dsqrt" 42
534 (and (eq_attr "type" "dsqrt")
535 (eq_attr "cpu" "power6"))
538 (define_insn_reservation "power6-isync" 2 ; N/A
539 (and (eq_attr "type" "isync")
540 (eq_attr "cpu" "power6"))
543 (define_insn_reservation "power6-vecload" 1
544 (and (eq_attr "type" "vecload")
545 (eq_attr "cpu" "power6"))
548 (define_insn_reservation "power6-vecstore" 1
549 (and (eq_attr "type" "vecstore")
550 (eq_attr "cpu" "power6"))
553 (define_insn_reservation "power6-vecsimple" 3
554 (and (eq_attr "type" "vecsimple,veclogical,vecmove")
555 (eq_attr "cpu" "power6"))
558 (define_bypass 6 "power6-vecsimple" "power6-veccomplex,\
561 (define_bypass 5 "power6-vecsimple" "power6-vecfloat")
563 (define_bypass 4 "power6-vecsimple" "power6-vecstore" )
565 (define_insn_reservation "power6-veccmp" 1
566 (and (eq_attr "type" "veccmp,veccmpfx")
567 (eq_attr "cpu" "power6"))
570 (define_bypass 10 "power6-veccmp" "power6-branch")
572 (define_insn_reservation "power6-vecfloat" 7
573 (and (eq_attr "type" "vecfloat")
574 (eq_attr "cpu" "power6"))
577 (define_bypass 10 "power6-vecfloat" "power6-vecsimple")
579 (define_bypass 11 "power6-vecfloat" "power6-veccomplex,\
582 (define_bypass 9 "power6-vecfloat" "power6-vecstore" )
584 (define_insn_reservation "power6-veccomplex" 7
585 (and (eq_attr "type" "vecsimple")
586 (eq_attr "cpu" "power6"))
589 (define_bypass 10 "power6-veccomplex" "power6-vecsimple,\
592 (define_bypass 9 "power6-veccomplex" "power6-vecperm" )
594 (define_bypass 8 "power6-veccomplex" "power6-vecstore" )
596 (define_insn_reservation "power6-vecperm" 4
597 (and (eq_attr "type" "vecperm")
598 (eq_attr "cpu" "power6"))
601 (define_bypass 7 "power6-vecperm" "power6-vecsimple,\
604 (define_bypass 6 "power6-vecperm" "power6-veccomplex" )
606 (define_bypass 5 "power6-vecperm" "power6-vecstore" )
608 (define_insn_reservation "power6-mftgpr" 8
609 (and (eq_attr "type" "mftgpr")
610 (eq_attr "cpu" "power6"))
613 (define_insn_reservation "power6-mffgpr" 14
614 (and (eq_attr "type" "mffgpr")
615 (eq_attr "cpu" "power6"))
618 (define_bypass 4 "power6-mftgpr" "power6-imul,\