OpenCores
URL https://opencores.org/ocsvn/openrisc/openrisc/trunk

Subversion Repositories openrisc

[/] [openrisc/] [trunk/] [gnu-dev/] [or1k-gcc/] [gcc/] [config/] [sh/] [sh4-300.md] - Blame information for rev 709

Details | Compare with Previous | View Log

Line No. Rev Author Line
1 709 jeremybenn
;; DFA scheduling description for ST40-300.
2
;; Copyright (C) 2004, 2006, 2007 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
7
;; it 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,
12
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
13
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14
;; GNU 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
;; .
19
 
20
;; Load and store instructions save a cycle if they are aligned on a
21
;; four byte boundary.  Using a function unit for stores encourages
22
;; gcc to separate load and store instructions by one instruction,
23
;; which makes it more likely that the linker will be able to word
24
;; align them when relaxing.
25
 
26
;; The following description models the ST40-300 pipeline using the DFA based
27
;; scheduler.
28
 
29
;; Two automata are defined to reduce number of states
30
;; which a single large automaton will have. (Factoring)
31
 
32
(define_automaton "sh4_300_inst_pipeline,sh4_300_fpu_pipe")
33
 
34
;; This unit is basically the decode unit of the processor.
35
;; Since SH4 is a dual issue machine,it is as if there are two
36
;; units so that any insn can be processed by either one
37
;; of the decoding unit.
38
 
39
(define_cpu_unit "sh4_300_pipe_01,sh4_300_pipe_02" "sh4_300_inst_pipeline")
40
 
41
;; The floating point units.
42
 
43
(define_cpu_unit "sh4_300_fpt,sh4_300_fpu,sh4_300_fds" "sh4_300_fpu_pipe")
44
 
45
;; integer multiplier unit
46
 
47
(define_cpu_unit "sh4_300_mul" "sh4_300_inst_pipeline")
48
 
49
;; LS unit
50
 
51
(define_cpu_unit "sh4_300_ls" "sh4_300_inst_pipeline")
52
 
53
;; The address calculator used for branch instructions.
54
;; This will be reserved after "issue" of branch instructions
55
;; and this is to make sure that no two branch instructions
56
;; can be issued in parallel.
57
 
58
(define_cpu_unit "sh4_300_br" "sh4_300_inst_pipeline")
59
 
60
;; ----------------------------------------------------
61
;; This reservation is to simplify the dual issue description.
62
 
63
(define_reservation  "sh4_300_issue"  "sh4_300_pipe_01|sh4_300_pipe_02")
64
 
65
(define_reservation "all" "sh4_300_pipe_01+sh4_300_pipe_02")
66
 
67
;;(define_insn_reservation "nil" 0 (eq_attr "type" "nil") "nothing")
68
 
69
;; MOV RM,RN / MOV #imm8,RN / STS PR,RN
70
(define_insn_reservation "sh4_300_mov" 0
71
  (and (eq_attr "pipe_model" "sh4_300")
72
       (eq_attr "type" "move,movi8,prget"))
73
  "sh4_300_issue")
74
 
75
;; Fixed STS from MACL / MACH
76
(define_insn_reservation "sh4_300_mac_gp" 0
77
  (and (eq_attr "pipe_model" "sh4_300")
78
       (eq_attr "type" "mac_gp"))
79
  "sh4_300_issue+sh4_300_mul")
80
 
81
;; Fixed LDS to MACL / MACH
82
(define_insn_reservation "sh4_300_gp_mac" 1
83
  (and (eq_attr "pipe_model" "sh4_300")
84
       (eq_attr "type" "gp_mac"))
85
  "sh4_300_issue+sh4_300_mul")
86
 
87
;; Instructions without specific resource requirements with latency 1.
88
 
89
(define_insn_reservation "sh4_300_simple_arith" 1
90
  (and (eq_attr "pipe_model" "sh4_300")
91
       (eq_attr "type" "mt_group,arith,dyn_shift,prset"))
92
  "sh4_300_issue")
93
 
94
;; Load and store instructions have no alignment peculiarities for the ST40-300,
95
;; but they use the load-store unit, which they share with the fmove type
96
;; insns (fldi[01]; fmov frn,frm; flds; fsts; fabs; fneg) .
97
;; Loads have a latency of three.
98
 
99
;; Load Store instructions.
100
(define_insn_reservation "sh4_300_load" 3
101
  (and (eq_attr "pipe_model" "sh4_300")
102
       (eq_attr "type" "load,pcload,load_si,pcload_si,pload"))
103
  "sh4_300_issue+sh4_300_ls")
104
 
105
(define_insn_reservation "sh4_300_mac_load" 3
106
  (and (eq_attr "pipe_model" "sh4_300")
107
       (eq_attr "type" "mem_mac"))
108
  "sh4_300_issue+sh4_300_ls+sh4_300_mul")
109
 
110
(define_insn_reservation "sh4_300_fload" 4
111
  (and (eq_attr "pipe_model" "sh4_300")
112
       (eq_attr "type" "fload,pcfload"))
113
  "sh4_300_issue+sh4_300_ls+sh4_300_fpt")
114
 
115
;; sh_adjust_cost describes the reduced latency of the feeding insns of a store.
116
;; The latency of an auto-increment register is 1; the latency of the memory
117
;; output is not actually considered here anyway.
118
(define_insn_reservation "sh4_300_store" 1
119
  (and (eq_attr "pipe_model" "sh4_300")
120
       (eq_attr "type" "store,pstore"))
121
  "sh4_300_issue+sh4_300_ls")
122
 
123
(define_insn_reservation "sh4_300_fstore" 1
124
  (and (eq_attr "pipe_model" "sh4_300")
125
       (eq_attr "type" "fstore"))
126
  "sh4_300_issue+sh4_300_ls+sh4_300_fpt")
127
 
128
;; Fixed STS.L from MACL / MACH
129
(define_insn_reservation "sh4_300_mac_store" 1
130
  (and (eq_attr "pipe_model" "sh4_300")
131
       (eq_attr "type" "mac_mem"))
132
  "sh4_300_issue+sh4_300_mul+sh4_300_ls")
133
 
134
(define_insn_reservation "sh4_300_gp_fpul" 2
135
  (and (eq_attr "pipe_model" "sh4_300")
136
       (eq_attr "type" "gp_fpul"))
137
  "sh4_300_issue+sh4_300_fpt")
138
 
139
(define_insn_reservation "sh4_300_fpul_gp" 1
140
  (and (eq_attr "pipe_model" "sh4_300")
141
       (eq_attr "type" "fpul_gp"))
142
  "sh4_300_issue+sh4_300_fpt")
143
 
144
;; Branch (BF,BF/S,BT,BT/S,BRA)
145
;; Branch Far (JMP,RTS,BRAF)
146
;; Group:       BR
147
;; When displacement is 0 for BF / BT, we have effectively conditional
148
;; execution of one instruction, without pipeline disruption.
149
;; Otherwise, the latency depends on prediction success.
150
;; We can't really do much with the latency, even if we could express it,
151
;; but the pairing restrictions are useful to take into account.
152
;; ??? If the branch is likely, and not paired with a preceding insn,
153
;; or likely and likely not predicted, we might want to fill the delay slot.
154
;; However, there appears to be no machinery to make the compiler
155
;; recognize these scenarios.
156
 
157
(define_insn_reservation "sh4_300_branch"  1
158
  (and (eq_attr "pipe_model" "sh4_300")
159
       (eq_attr "type" "cbranch,jump,return,jump_ind"))
160
  "sh4_300_issue+sh4_300_br")
161
 
162
;; RTE
163
(define_insn_reservation "sh4_300_return_from_exp" 9
164
  (and (eq_attr "pipe_model" "sh4_300")
165
       (eq_attr "type" "rte"))
166
  "sh4_300_pipe_01+sh4_300_pipe_02*9")
167
 
168
;; OCBP, OCBWB
169
;; Group:       CO
170
;; Latency:     1-5
171
;; Issue Rate:  1
172
 
173
;; cwb is used for the sequence ocbwb @%0; extu.w %0,%2; or %1,%2; mov.l %0,@%2
174
;; This description is likely inexact, but this pattern should not actually
175
;; appear when compiling for sh4-300; we should use isbi instead.
176
;; If a -mtune option is added later, we should use the icache array
177
;; dispatch method instead.
178
(define_insn_reservation "sh4_300_ocbwb"  3
179
  (and (eq_attr "pipe_model" "sh4_300")
180
       (eq_attr "type" "cwb"))
181
  "all*3")
182
 
183
;; JSR,BSR,BSRF
184
;; Calls have a mandatory delay slot, which we'd like to fill with an insn
185
;; that can be paired with the call itself.
186
;; Scheduling runs before reorg, so we approximate this by saying that we
187
;; want the call to be paired with a preceding insn.
188
;; In most cases, the insn that loads the address of the call should have
189
;; a nonzero latency (mov rn,rm doesn't make sense since we could use rn
190
;; for the address then).  Thus, a preceding insn that can be paired with
191
;; a call should be eligible for the delay slot.
192
;;
193
;; calls introduce a longisch delay that is likely to flush the pipelines
194
;; of the caller's instructions.  Ordinary functions tend to end with a
195
;; load to restore a register (in the delay slot of rts), while sfuncs
196
;; tend to end with an EX or MT insn.  But that is not actually relevant,
197
;; since there are no instructions that contend for memory access early.
198
;; We could, of course, provide exact scheduling information for specific
199
;; sfuncs, if that should prove useful.
200
 
201
(define_insn_reservation "sh4_300_call" 16
202
  (and (eq_attr "pipe_model" "sh4_300")
203
       (eq_attr "type" "call,sfunc"))
204
  "sh4_300_issue+sh4_300_br,all*15")
205
 
206
;; FMOV.S / FMOV.D
207
(define_insn_reservation "sh4_300_fmov" 1
208
  (and (eq_attr "pipe_model" "sh4_300")
209
       (eq_attr "type" "fmove"))
210
  "sh4_300_issue+sh4_300_fpt")
211
 
212
;; LDS to FPSCR
213
(define_insn_reservation "sh4_300_fpscr_load" 8
214
  (and (eq_attr "pipe_model" "sh4_300")
215
       (eq_attr "type" "gp_fpscr"))
216
  "sh4_300_issue+sh4_300_fpu+sh4_300_fpt")
217
 
218
;; LDS.L to FPSCR
219
(define_insn_reservation "sh4_300_fpscr_load_mem" 8
220
  (and (eq_attr "pipe_model" "sh4_300")
221
       (eq_attr "type"  "mem_fpscr"))
222
  "sh4_300_issue+sh4_300_fpu+sh4_300_fpt+sh4_300_ls")
223
 
224
 
225
;; Fixed point multiplication (DMULS.L DMULU.L MUL.L MULS.W,MULU.W)
226
(define_insn_reservation "multi" 2
227
  (and (eq_attr "pipe_model" "sh4_300")
228
       (eq_attr "type" "smpy,dmpy"))
229
  "sh4_300_issue+sh4_300_mul")
230
 
231
;; FPCHG, FRCHG, FSCHG
232
(define_insn_reservation "fpscr_toggle"  1
233
  (and (eq_attr "pipe_model" "sh4_300")
234
       (eq_attr "type" "fpscr_toggle"))
235
  "sh4_300_issue+sh4_300_fpu+sh4_300_fpt")
236
 
237
;; FCMP/EQ, FCMP/GT
238
(define_insn_reservation "fp_cmp"  3
239
  (and (eq_attr "pipe_model" "sh4_300")
240
       (eq_attr "type" "fp_cmp,dfp_cmp"))
241
  "sh4_300_issue+sh4_300_fpu")
242
 
243
;; Single precision floating point (FADD,FLOAT,FMAC,FMUL,FSUB,FTRC)
244
;; Double-precision floating-point (FADD,FCNVDS,FCNVSD,FLOAT,FSUB,FTRC)
245
(define_insn_reservation "fp_arith"  6
246
  (and (eq_attr "pipe_model" "sh4_300")
247
       (eq_attr "type" "fp,ftrc_s,dfp_arith,dfp_conv"))
248
  "sh4_300_issue+sh4_300_fpu")
249
 
250
;; Single Precision FDIV/SQRT
251
(define_insn_reservation "fp_div" 19
252
  (and (eq_attr "pipe_model" "sh4_300")
253
       (eq_attr "type" "fdiv"))
254
  "sh4_300_issue+sh4_300_fpu+sh4_300_fds,sh4_300_fds*15")
255
 
256
;; Double-precision floating-point FMUL
257
(define_insn_reservation "dfp_mul" 9
258
  (and (eq_attr "pipe_model" "sh4_300")
259
       (eq_attr "type" "dfp_mul"))
260
  "sh4_300_issue+sh4_300_fpu,sh4_300_fpu*3")
261
 
262
;; Double precision FDIV/SQRT
263
(define_insn_reservation "dp_div" 35
264
  (and (eq_attr "pipe_model" "sh4_300")
265
       (eq_attr "type" "dfdiv"))
266
  "sh4_300_issue+sh4_300_fpu+sh4_300_fds,sh4_300_fds*31")
267
 
268
 
269
;; ??? We don't really want these for sh4-300.
270
;; this pattern itself is likely to finish in 3 cycles, but also
271
;; to disrupt branch prediction for taken branches for the following
272
;; condbranch.
273
(define_insn_reservation "sh4_300_arith3" 5
274
  (and (eq_attr "pipe_model" "sh4_300")
275
       (eq_attr "type" "arith3"))
276
  "sh4_300_issue,all*4")
277
 
278
;; arith3b insns without brach redirection make use of the 0-offset 0-latency
279
;; branch feature, and thus schedule the same no matter if the branch is taken
280
;; or not.  If the branch is redirected, the taken branch might take longer,
281
;; but then, we don't have to take the next branch.
282
;; ??? should we suppress branch redirection for sh4-300 to improve branch
283
;; target hit rates?
284
(define_insn_reservation "arith3b" 2
285
  (and (eq_attr "pipe_model" "sh4")
286
       (eq_attr "type" "arith3"))
287
  "issue,all")

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.