1;; Generic ARM Pipeline Description
2;; Copyright (C) 2003-2021 Free Software Foundation, Inc.
3;;
4;; This file is part of GCC.
5;;
6;; GCC is free software; you can redistribute it and/or modify it
7;; under the terms of the GNU General Public License as published by
8;; the Free Software Foundation; either version 3, or (at your option)
9;; any later version.
10;;
11;; GCC is distributed in the hope that it will be useful, but
12;; WITHOUT ANY WARRANTY; without even the implied warranty of
13;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
14;; General Public License for more details.
15;;
16;; You should have received a copy of the GNU General Public License
17;; along with GCC; see the file COPYING3.  If not see
18;; <http://www.gnu.org/licenses/>.  */
19
20(define_automaton "arm")
21
22;; Write buffer
23;
24; Strictly, we should model a 4-deep write buffer for ARM7xx based chips
25;
26; The write buffer on some of the arm6 processors is hard to model exactly.
27; There is room in the buffer for up to two addresses and up to eight words
28; of memory, but the two needn't be split evenly.  When writing the two
29; addresses are fully pipelined.  However, a read from memory that is not
30; currently in the cache will block until the writes have completed.
31; It is normally the case that FCLK and MCLK will be in the ratio 2:1, so
32; writes will take 2 FCLK cycles per word, if FCLK and MCLK are asynchronous
33; (they aren't allowed to be at present) then there is a startup cost of 1MCLK
34; cycle to add as well.
35(define_cpu_unit "write_buf" "arm")
36
37;; Write blockage unit
38;
39; The write_blockage unit models (partially), the fact that reads will stall
40; until the write buffer empties.
41(define_cpu_unit "write_blockage" "arm")
42
43;; Core
44;
45(define_cpu_unit "core" "arm")
46
47(define_insn_reservation "store_wbuf" 5
48  (and (eq_attr "generic_sched" "yes")
49       (and (eq_attr "model_wbuf" "yes")
50       	    (eq_attr "type" "store_4")))
51  "core+write_buf*3+write_blockage*5")
52
53(define_insn_reservation "store2_wbuf" 7
54  (and (eq_attr "generic_sched" "yes")
55       (and (eq_attr "model_wbuf" "yes")
56	    (eq_attr "type" "store_8")))
57  "core+write_buf*4+write_blockage*7")
58
59(define_insn_reservation "store3_wbuf" 9
60  (and (eq_attr "generic_sched" "yes")
61       (and (eq_attr "model_wbuf" "yes")
62	    (eq_attr "type" "store_12")))
63  "core+write_buf*5+write_blockage*9")
64
65(define_insn_reservation "store4_wbuf" 11
66  (and (eq_attr "generic_sched" "yes")
67       (and (eq_attr "model_wbuf" "yes")
68            (eq_attr "type" "store_16")))
69  "core+write_buf*6+write_blockage*11")
70
71(define_insn_reservation "store2" 3
72  (and (eq_attr "generic_sched" "yes")
73       (and (eq_attr "model_wbuf" "no")
74            (eq_attr "type" "store_8")))
75  "core*3")
76
77(define_insn_reservation "store3" 4
78  (and (eq_attr "generic_sched" "yes")
79       (and (eq_attr "model_wbuf" "no")
80            (eq_attr "type" "store_12")))
81  "core*4")
82
83(define_insn_reservation "store4" 5
84  (and (eq_attr "generic_sched" "yes")
85       (and (eq_attr "model_wbuf" "no")
86	    (eq_attr "type" "store_16")))
87  "core*5")
88
89(define_insn_reservation "store_ldsched" 1
90  (and (eq_attr "generic_sched" "yes")
91       (and (eq_attr "ldsched" "yes")
92	    (eq_attr "type" "store_4")))
93  "core")
94
95(define_insn_reservation "load_ldsched_xscale" 3
96  (and (eq_attr "generic_sched" "yes")
97       (and (eq_attr "ldsched" "yes")
98	    (and (eq_attr "type" "load_byte,load_4")
99	         (eq_attr "tune" "xscale,iwmmxt,iwmmxt2"))))
100  "core")
101
102(define_insn_reservation "load_ldsched" 2
103  (and (eq_attr "generic_sched" "yes")
104       (and (eq_attr "ldsched" "yes")
105	    (and (eq_attr "type" "load_byte,load_4")
106	         (eq_attr "tune" "!xscale,iwmmxt,iwmmxt2"))))
107  "core")
108
109(define_insn_reservation "load_or_store" 2
110  (and (eq_attr "generic_sched" "yes")
111       (and (eq_attr "ldsched" "!yes")
112	    (eq_attr "type" "load_byte,load_4,load_8,load_12,load_16,store_4")))
113  "core*2")
114
115(define_insn_reservation "mult" 16
116  (and (eq_attr "generic_sched" "yes")
117       (and (eq_attr "ldsched" "no")
118	    (ior (eq_attr "mul32" "yes")
119		 (eq_attr "widen_mul64" "yes"))))
120  "core*16")
121
122(define_insn_reservation "mult_ldsched_strongarm" 3
123  (and (eq_attr "generic_sched" "yes")
124       (and (eq_attr "ldsched" "yes")
125	    (and (eq_attr "tune" "strongarm")
126		 (ior (eq_attr "mul32" "yes")
127		      (eq_attr "widen_mul64" "yes")))))
128  "core*2")
129
130(define_insn_reservation "mult_ldsched" 4
131  (and (eq_attr "generic_sched" "yes")
132       (and (eq_attr "ldsched" "yes")
133	    (and (eq_attr "tune" "!strongarm")
134	         (ior (eq_attr "mul32" "yes")
135		      (eq_attr "widen_mul64" "yes")))))
136  "core*4")
137
138(define_insn_reservation "multi_cycle" 32
139  (and (eq_attr "generic_sched" "yes")
140       (and (eq_attr "core_cycles" "multi")
141            (and (eq_attr "type" "!load_byte,load_4,load_8,load_12,load_16,\
142                                  store_4,store_8,store_12,store_16")
143		 (not (ior (eq_attr "mul32" "yes")
144			   (eq_attr "widen_mul64" "yes"))))))
145  "core*32")
146
147(define_insn_reservation "single_cycle" 1
148  (and (eq_attr "generic_sched" "yes")
149       (eq_attr "core_cycles" "single"))
150  "core")
151