annotate gcc/config/arm/marvell-pj4.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 ;; Marvell ARM Processor Pipeline Description
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
2 ;; Copyright (C) 2010-2018 Free Software Foundation, Inc.
111
kono
parents:
diff changeset
3 ;; Contributed by Marvell.
kono
parents:
diff changeset
4
kono
parents:
diff changeset
5 ;; This file is part of GCC.
kono
parents:
diff changeset
6
kono
parents:
diff changeset
7 ;; GCC is free software; you can redistribute it and/or modify it
kono
parents:
diff changeset
8 ;; under the terms of the GNU General Public License as published
kono
parents:
diff changeset
9 ;; by the Free Software Foundation; either version 3, or (at your
kono
parents:
diff changeset
10 ;; option) any later version.
kono
parents:
diff changeset
11
kono
parents:
diff changeset
12 ;; GCC is distributed in the hope that it will be useful, but WITHOUT
kono
parents:
diff changeset
13 ;; ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
kono
parents:
diff changeset
14 ;; or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
kono
parents:
diff changeset
15 ;; License for more details.
kono
parents:
diff changeset
16
kono
parents:
diff changeset
17 ;; You should have received a copy of the GNU General Public License
kono
parents:
diff changeset
18 ;; along with GCC; see the file COPYING3. If not see
kono
parents:
diff changeset
19 ;; <http://www.gnu.org/licenses/>.
kono
parents:
diff changeset
20
kono
parents:
diff changeset
21 ;; Pipeline description for the Marvell PJ4, aka "Flareon".
kono
parents:
diff changeset
22 (define_automaton "pj4")
kono
parents:
diff changeset
23
kono
parents:
diff changeset
24 ;; Issue resources
kono
parents:
diff changeset
25 (define_cpu_unit "pj4_is1,pj4_is2" "pj4")
kono
parents:
diff changeset
26 (define_reservation "pj4_is" "(pj4_is1|pj4_is2)")
kono
parents:
diff changeset
27 (define_reservation "pj4_isb" "(pj4_is1+pj4_is2)")
kono
parents:
diff changeset
28
kono
parents:
diff changeset
29 ;; Functional units
kono
parents:
diff changeset
30 (define_cpu_unit "pj4_alu1,pj4_alu2,pj4_mul,pj4_div" "pj4")
kono
parents:
diff changeset
31
kono
parents:
diff changeset
32 ;; Completion ports
kono
parents:
diff changeset
33 (define_cpu_unit "pj4_w1,pj4_w2" "pj4")
kono
parents:
diff changeset
34
kono
parents:
diff changeset
35 ;; Complete/Retire control
kono
parents:
diff changeset
36 (define_cpu_unit "pj4_c1,pj4_c2" "pj4")
kono
parents:
diff changeset
37 (define_reservation "pj4_cp" "(pj4_c1|pj4_c2)")
kono
parents:
diff changeset
38 (define_reservation "pj4_cpb" "(pj4_c1+pj4_c2)")
kono
parents:
diff changeset
39
kono
parents:
diff changeset
40 ;; Integer arithmetic instructions
kono
parents:
diff changeset
41
kono
parents:
diff changeset
42 (define_insn_reservation "pj4_alu_e1" 1
kono
parents:
diff changeset
43 (and (eq_attr "tune" "marvell_pj4")
kono
parents:
diff changeset
44 (eq_attr "type" "mov_imm,mov_reg,mvn_imm,mvn_reg")
kono
parents:
diff changeset
45 (not (eq_attr "conds" "set")))
kono
parents:
diff changeset
46 "pj4_is,(pj4_alu1,pj4_w1+pj4_cp)|(pj4_alu2,pj4_w2+pj4_cp)")
kono
parents:
diff changeset
47
kono
parents:
diff changeset
48 (define_insn_reservation "pj4_alu_e1_conds" 4
kono
parents:
diff changeset
49 (and (eq_attr "tune" "marvell_pj4")
kono
parents:
diff changeset
50 (eq_attr "type" "mov_imm,mov_reg,mvn_imm,mvn_reg")
kono
parents:
diff changeset
51 (eq_attr "conds" "set"))
kono
parents:
diff changeset
52 "pj4_is,(pj4_alu1,pj4_w1+pj4_cp)|(pj4_alu2,pj4_w2+pj4_cp)")
kono
parents:
diff changeset
53
kono
parents:
diff changeset
54 (define_insn_reservation "pj4_alu" 1
kono
parents:
diff changeset
55 (and (eq_attr "tune" "marvell_pj4")
kono
parents:
diff changeset
56 (eq_attr "type" "alu_imm,alus_imm,alu_sreg,alus_sreg,\
kono
parents:
diff changeset
57 logic_imm,logics_imm,logic_reg,logics_reg,\
kono
parents:
diff changeset
58 adc_imm,adcs_imm,adc_reg,adcs_reg,\
kono
parents:
diff changeset
59 adr,bfm,rev,alu_dsp_reg,\
kono
parents:
diff changeset
60 shift_imm,shift_reg")
kono
parents:
diff changeset
61 (not (eq_attr "conds" "set")))
kono
parents:
diff changeset
62 "pj4_is,(pj4_alu1,pj4_w1+pj4_cp)|(pj4_alu2,pj4_w2+pj4_cp)")
kono
parents:
diff changeset
63
kono
parents:
diff changeset
64 (define_insn_reservation "pj4_alu_conds" 4
kono
parents:
diff changeset
65 (and (eq_attr "tune" "marvell_pj4")
kono
parents:
diff changeset
66 (eq_attr "type" "alu_imm,alus_imm,alu_sreg,alus_sreg,\
kono
parents:
diff changeset
67 logic_imm,logics_imm,logic_reg,logics_reg,\
kono
parents:
diff changeset
68 adc_imm,adcs_imm,adc_reg,adcs_reg,\
kono
parents:
diff changeset
69 adr,bfm,rev,alu_dsp_reg,\
kono
parents:
diff changeset
70 shift_imm,shift_reg")
kono
parents:
diff changeset
71 (eq_attr "conds" "set"))
kono
parents:
diff changeset
72 "pj4_is,(pj4_alu1,pj4_w1+pj4_cp)|(pj4_alu2,pj4_w2+pj4_cp)")
kono
parents:
diff changeset
73
kono
parents:
diff changeset
74 (define_insn_reservation "pj4_shift" 1
kono
parents:
diff changeset
75 (and (eq_attr "tune" "marvell_pj4")
kono
parents:
diff changeset
76 (eq_attr "type" "alu_shift_imm,logic_shift_imm,\
kono
parents:
diff changeset
77 alus_shift_imm,logics_shift_imm,\
kono
parents:
diff changeset
78 alu_shift_reg,logic_shift_reg,\
kono
parents:
diff changeset
79 alus_shift_reg,logics_shift_reg,\
kono
parents:
diff changeset
80 extend,\
kono
parents:
diff changeset
81 mov_shift,mvn_shift,mov_shift_reg,mvn_shift_reg")
kono
parents:
diff changeset
82 (not (eq_attr "conds" "set"))
kono
parents:
diff changeset
83 (eq_attr "shift" "1")) "pj4_is,(pj4_alu1,pj4_w1+pj4_cp)|(pj4_alu2,pj4_w2+pj4_cp)")
kono
parents:
diff changeset
84
kono
parents:
diff changeset
85 (define_insn_reservation "pj4_shift_conds" 4
kono
parents:
diff changeset
86 (and (eq_attr "tune" "marvell_pj4")
kono
parents:
diff changeset
87 (eq_attr "type" "alu_shift_imm,logic_shift_imm,\
kono
parents:
diff changeset
88 alus_shift_imm,logics_shift_imm,\
kono
parents:
diff changeset
89 alu_shift_reg,logic_shift_reg,\
kono
parents:
diff changeset
90 alus_shift_reg,logics_shift_reg,\
kono
parents:
diff changeset
91 extend,\
kono
parents:
diff changeset
92 mov_shift,mvn_shift,mov_shift_reg,mvn_shift_reg")
kono
parents:
diff changeset
93 (eq_attr "conds" "set")
kono
parents:
diff changeset
94 (eq_attr "shift" "1")) "pj4_is,(pj4_alu1,pj4_w1+pj4_cp)|(pj4_alu2,pj4_w2+pj4_cp)")
kono
parents:
diff changeset
95
kono
parents:
diff changeset
96 (define_insn_reservation "pj4_alu_shift" 1
kono
parents:
diff changeset
97 (and (eq_attr "tune" "marvell_pj4")
kono
parents:
diff changeset
98 (not (eq_attr "conds" "set"))
kono
parents:
diff changeset
99 (eq_attr "type" "alu_shift_imm,logic_shift_imm,\
kono
parents:
diff changeset
100 alus_shift_imm,logics_shift_imm,\
kono
parents:
diff changeset
101 alu_shift_reg,logic_shift_reg,\
kono
parents:
diff changeset
102 alus_shift_reg,logics_shift_reg,\
kono
parents:
diff changeset
103 extend,\
kono
parents:
diff changeset
104 mov_shift,mvn_shift,mov_shift_reg,mvn_shift_reg"))
kono
parents:
diff changeset
105 "pj4_is,(pj4_alu1,nothing,pj4_w1+pj4_cp)|(pj4_alu2,nothing,pj4_w2+pj4_cp)")
kono
parents:
diff changeset
106
kono
parents:
diff changeset
107 (define_insn_reservation "pj4_alu_shift_conds" 4
kono
parents:
diff changeset
108 (and (eq_attr "tune" "marvell_pj4")
kono
parents:
diff changeset
109 (eq_attr "conds" "set")
kono
parents:
diff changeset
110 (eq_attr "type" "alu_shift_imm,logic_shift_imm,alus_shift_imm,logics_shift_imm,\
kono
parents:
diff changeset
111 alu_shift_reg,logic_shift_reg,alus_shift_reg,logics_shift_reg,\
kono
parents:
diff changeset
112 extend,\
kono
parents:
diff changeset
113 mov_shift,mvn_shift,mov_shift_reg,mvn_shift_reg"))
kono
parents:
diff changeset
114 "pj4_is,(pj4_alu1,nothing,pj4_w1+pj4_cp)|(pj4_alu2,nothing,pj4_w2+pj4_cp)")
kono
parents:
diff changeset
115
kono
parents:
diff changeset
116 (define_bypass 2 "pj4_alu_shift,pj4_shift"
kono
parents:
diff changeset
117 "pj4_ir_mul,pj4_ir_div,pj4_core_to_vfp")
kono
parents:
diff changeset
118
kono
parents:
diff changeset
119 (define_insn_reservation "pj4_ir_mul" 3
kono
parents:
diff changeset
120 (and (eq_attr "tune" "marvell_pj4")
kono
parents:
diff changeset
121 (ior (eq_attr "mul32" "yes")
kono
parents:
diff changeset
122 (eq_attr "mul64" "yes")))
kono
parents:
diff changeset
123 "pj4_is,pj4_mul,nothing*2,pj4_cp")
kono
parents:
diff changeset
124
kono
parents:
diff changeset
125 (define_insn_reservation "pj4_ir_div" 20
kono
parents:
diff changeset
126 (and (eq_attr "tune" "marvell_pj4")
kono
parents:
diff changeset
127 (eq_attr "type" "udiv,sdiv")) "pj4_is,pj4_div*19,pj4_cp")
kono
parents:
diff changeset
128
kono
parents:
diff changeset
129 ;; Branches and calls.
kono
parents:
diff changeset
130
kono
parents:
diff changeset
131 (define_insn_reservation "pj4_branches" 0
kono
parents:
diff changeset
132 (and (eq_attr "tune" "marvell_pj4") (eq_attr "type" "branch")) "pj4_is")
kono
parents:
diff changeset
133
kono
parents:
diff changeset
134 (define_insn_reservation "pj4_calls" 32
kono
parents:
diff changeset
135 (and (eq_attr "tune" "marvell_pj4") (eq_attr "type" "call")) "pj4_is")
kono
parents:
diff changeset
136
kono
parents:
diff changeset
137 ;; Load/store instructions
kono
parents:
diff changeset
138
kono
parents:
diff changeset
139 (define_insn_reservation "pj4_ldr" 3
kono
parents:
diff changeset
140 (and (eq_attr "tune" "marvell_pj4")
kono
parents:
diff changeset
141 (eq_attr "type" "load_byte,load_4"))
kono
parents:
diff changeset
142 "pj4_is,pj4_alu1,nothing*2,pj4_cp")
kono
parents:
diff changeset
143
kono
parents:
diff changeset
144 (define_insn_reservation "pj4_ldrd" 3
kono
parents:
diff changeset
145 (and (eq_attr "tune" "marvell_pj4")
kono
parents:
diff changeset
146 (eq_attr "type" "load_8"))
kono
parents:
diff changeset
147 "pj4_is,pj4_alu1,nothing*2,pj4_cpb")
kono
parents:
diff changeset
148
kono
parents:
diff changeset
149 (define_insn_reservation "pj4_str" 1
kono
parents:
diff changeset
150 (and (eq_attr "tune" "marvell_pj4")
kono
parents:
diff changeset
151 (eq_attr "type" "store_4"))
kono
parents:
diff changeset
152 "pj4_is,pj4_alu1,nothing*2,pj4_cp")
kono
parents:
diff changeset
153
kono
parents:
diff changeset
154 (define_insn_reservation "pj4_strd" 1
kono
parents:
diff changeset
155 (and (eq_attr "tune" "marvell_pj4")
kono
parents:
diff changeset
156 (eq_attr "type" "store_8"))
kono
parents:
diff changeset
157 "pj4_is,pj4_alu1,nothing*2,pj4_cpb")
kono
parents:
diff changeset
158
kono
parents:
diff changeset
159 (define_insn_reservation "pj4_ldm" 4
kono
parents:
diff changeset
160 (and (eq_attr "tune" "marvell_pj4")
kono
parents:
diff changeset
161 (eq_attr "type" "load_12,load_16")) "pj4_isb,pj4_isb+pj4_alu1,pj4_alu1,nothing,pj4_cp,pj4_cp")
kono
parents:
diff changeset
162
kono
parents:
diff changeset
163 (define_insn_reservation "pj4_stm" 2
kono
parents:
diff changeset
164 (and (eq_attr "tune" "marvell_pj4")
kono
parents:
diff changeset
165 (eq_attr "type" "store_12,store_16")) "pj4_isb,pj4_isb+pj4_alu1,pj4_alu1,nothing,pj4_cp,pj4_cp")
kono
parents:
diff changeset
166
kono
parents:
diff changeset
167 ;; Loads forward at WR-stage to ALU pipes
kono
parents:
diff changeset
168 (define_bypass 2 "pj4_ldr,pj4_ldrd" "pj4_alu")
kono
parents:
diff changeset
169 (define_bypass 2 "pj4_ldr,pj4_ldrd" "pj4_alu_shift" "arm_no_early_alu_shift_dep")
kono
parents:
diff changeset
170
kono
parents:
diff changeset
171 (define_bypass 4 "pj4_ldr,pj4_ldrd" "pj4_ir_mul,pj4_ir_div,pj4_core_to_vfp")
kono
parents:
diff changeset
172 (define_bypass 5 "pj4_ldm" "pj4_ir_mul,pj4_ir_div,pj4_core_to_vfp")
kono
parents:
diff changeset
173
kono
parents:
diff changeset
174 ;; Loads to stores can back-to-back forward
kono
parents:
diff changeset
175 (define_bypass 1 "pj4_ldr,pj4_ldrd" "pj4_str,pj4_strd" "arm_no_early_store_addr_dep")
kono
parents:
diff changeset
176
kono
parents:
diff changeset
177 ;; PJ4 VFP floating point unit
kono
parents:
diff changeset
178 (define_automaton "pj4_vfp")
kono
parents:
diff changeset
179
kono
parents:
diff changeset
180 (define_cpu_unit "vissue" "pj4_vfp")
kono
parents:
diff changeset
181 (define_cpu_unit "vadd" "pj4_vfp")
kono
parents:
diff changeset
182 (define_cpu_unit "vmul" "pj4_vfp")
kono
parents:
diff changeset
183 (define_cpu_unit "vdiv" "pj4_vfp")
kono
parents:
diff changeset
184 (define_cpu_unit "vfast" "pj4_vfp")
kono
parents:
diff changeset
185
kono
parents:
diff changeset
186 (define_insn_reservation "pj4_vfp_add" 5
kono
parents:
diff changeset
187 (and (eq_attr "tune" "marvell_pj4")
kono
parents:
diff changeset
188 (eq_attr "type" "fadds,faddd")) "pj4_is,nothing*2,vissue,vadd,nothing*3")
kono
parents:
diff changeset
189
kono
parents:
diff changeset
190 (define_insn_reservation "pj4_vfp_mul" 6
kono
parents:
diff changeset
191 (and (eq_attr "tune" "marvell_pj4")
kono
parents:
diff changeset
192 (eq_attr "type" "fmuls,fmuld")) "pj4_is,nothing*2,vissue,vmul,nothing*4")
kono
parents:
diff changeset
193
kono
parents:
diff changeset
194 (define_insn_reservation "pj4_vfp_divs" 20
kono
parents:
diff changeset
195 (and (eq_attr "tune" "marvell_pj4")
kono
parents:
diff changeset
196 (eq_attr "type" "fdivs, fsqrts")) "pj4_is,nothing*2,vissue,vdiv*18,nothing")
kono
parents:
diff changeset
197
kono
parents:
diff changeset
198 (define_insn_reservation "pj4_vfp_divd" 34
kono
parents:
diff changeset
199 (and (eq_attr "tune" "marvell_pj4")
kono
parents:
diff changeset
200 (eq_attr "type" "fdivd, fsqrtd")) "pj4_is,nothing*2,vissue,vdiv*32,nothing")
kono
parents:
diff changeset
201
kono
parents:
diff changeset
202 (define_insn_reservation "pj4_vfp_mac" 9
kono
parents:
diff changeset
203 (and (eq_attr "tune" "marvell_pj4")
kono
parents:
diff changeset
204 (eq_attr "type" "fmacs,fmacd"))
kono
parents:
diff changeset
205 "pj4_is,nothing*2,vissue,vmul,nothing*3,vadd,nothing*3")
kono
parents:
diff changeset
206
kono
parents:
diff changeset
207 (define_bypass 5 "pj4_vfp_mac" "pj4_vfp_mac" "arm_no_early_mul_dep")
kono
parents:
diff changeset
208
kono
parents:
diff changeset
209 (define_insn_reservation "pj4_vfp_cpy" 4
kono
parents:
diff changeset
210 (and (eq_attr "tune" "marvell_pj4")
kono
parents:
diff changeset
211 (eq_attr "type" "fmov,ffariths,ffarithd,fconsts,fconstd,\
kono
parents:
diff changeset
212 fcmps,fcmpd,f_cvt,f_cvtf2i,f_cvti2f"))
kono
parents:
diff changeset
213 "pj4_is,nothing*2,vissue,vfast,nothing*2")
kono
parents:
diff changeset
214
kono
parents:
diff changeset
215 ;; Enlarge latency, and wish that more nondependent insns are
kono
parents:
diff changeset
216 ;; scheduled immediately after VFP load.
kono
parents:
diff changeset
217 (define_insn_reservation "pj4_vfp_load" 4
kono
parents:
diff changeset
218 (and (eq_attr "tune" "marvell_pj4")
kono
parents:
diff changeset
219 (eq_attr "type" "f_loads,f_loadd")) "pj4_isb,pj4_alu1,nothing,vissue,pj4_cp")
kono
parents:
diff changeset
220
kono
parents:
diff changeset
221 (define_insn_reservation "pj4_vfp_store" 1
kono
parents:
diff changeset
222 (and (eq_attr "tune" "marvell_pj4")
kono
parents:
diff changeset
223 (eq_attr "type" "f_stores,f_stored")) "pj4_isb,pj4_alu1,nothing,vissue,pj4_cp")
kono
parents:
diff changeset
224
kono
parents:
diff changeset
225 (define_insn_reservation "pj4_vfp_to_core" 7
kono
parents:
diff changeset
226 (and (eq_attr "tune" "marvell_pj4")
kono
parents:
diff changeset
227 (eq_attr "type" "f_mrc,f_mrrc,f_flag")) "pj4_isb,nothing,nothing,vissue,vfast,nothing*2")
kono
parents:
diff changeset
228
kono
parents:
diff changeset
229 (define_insn_reservation "pj4_core_to_vfp" 2
kono
parents:
diff changeset
230 (and (eq_attr "tune" "marvell_pj4")
kono
parents:
diff changeset
231 (eq_attr "type" "f_mcr,f_mcrr")) "pj4_isb,pj4_alu1,pj4_w1,vissue,pj4_cp")
kono
parents:
diff changeset
232