1 | // ========== Copyright Header Begin ========================================== |
---|
2 | // |
---|
3 | // OpenSPARC T1 Processor File: sparc_ffu_ctl.v |
---|
4 | // Copyright (c) 2006 Sun Microsystems, Inc. All Rights Reserved. |
---|
5 | // DO NOT ALTER OR REMOVE COPYRIGHT NOTICES. |
---|
6 | // |
---|
7 | // The above named program is free software; you can redistribute it and/or |
---|
8 | // modify it under the terms of the GNU General Public |
---|
9 | // License version 2 as published by the Free Software Foundation. |
---|
10 | // |
---|
11 | // The above named program is distributed in the hope that it will be |
---|
12 | // useful, but 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 |
---|
17 | // License along with this work; if not, write to the Free Software |
---|
18 | // Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. |
---|
19 | // |
---|
20 | // ========== Copyright Header End ============================================ |
---|
21 | //////////////////////////////////////////////////////////////////////// |
---|
22 | /* |
---|
23 | // Module Name: sparc_ffu_ctl |
---|
24 | // Description: This is the ffu control block. |
---|
25 | */ |
---|
26 | |
---|
27 | `include "iop.h" |
---|
28 | `define FSR_NVA 9 |
---|
29 | `define FSR_OFA 8 |
---|
30 | `define FSR_UFA 7 |
---|
31 | `define FSR_DZA 6 |
---|
32 | `define FSR_NXA 5 |
---|
33 | `define FSR_NVC 4 |
---|
34 | `define FSR_OFC 3 |
---|
35 | `define FSR_UFC 2 |
---|
36 | `define FSR_DZC 1 |
---|
37 | `define FSR_NXC 0 |
---|
38 | |
---|
39 | |
---|
40 | module sparc_ffu_ctl (/*AUTOARG*/ |
---|
41 | // Outputs |
---|
42 | ffu_exu_rsr_data_mid_m, ffu_exu_rsr_data_lo_m, |
---|
43 | ffu_exu_rsr_data_hi_m, ctl_vis_subtract, ctl_vis_sel_log, |
---|
44 | ctl_vis_sel_align, ctl_vis_sel_add, ctl_vis_log_sel_xor, |
---|
45 | ctl_vis_log_sel_pass, ctl_vis_log_sel_nor, ctl_vis_log_sel_nand, |
---|
46 | ctl_vis_log_pass_rs2, ctl_vis_log_pass_rs1, |
---|
47 | ctl_vis_log_pass_const, ctl_vis_log_invert_rs2, |
---|
48 | ctl_vis_log_invert_rs1, ctl_vis_log_constant, ctl_vis_cin, |
---|
49 | ctl_vis_align_odd, ctl_vis_align6, ctl_vis_align4, ctl_vis_align2, |
---|
50 | ctl_vis_align0, ctl_vis_add32, ctl_dp_wsr_data_w2, ctl_dp_thr_e, |
---|
51 | ctl_dp_gsr_wsr_w2, so, ctl_dp_rst_l, ffu_ifu_fpop_done_w2, |
---|
52 | ffu_ifu_cc_vld_w2, ffu_ifu_cc_w2, ffu_ifu_tid_w2, |
---|
53 | ffu_ifu_stallreq, ffu_ifu_ecc_ce_w2, ffu_ifu_ecc_ue_w2, |
---|
54 | ffu_ifu_err_reg_w2, ffu_ifu_err_synd_w2, ffu_ifu_fst_ce_w, |
---|
55 | ffu_lsu_kill_fst_w, ffu_ifu_inj_ack, ffu_lsu_data, |
---|
56 | ffu_lsu_fpop_rq_vld, ffu_lsu_blk_st_va_e, ffu_lsu_blk_st_e, |
---|
57 | ffu_tlu_trap_ieee754, ffu_tlu_trap_other, ffu_tlu_trap_ue, |
---|
58 | ffu_tlu_ill_inst_m, ffu_tlu_fpu_tid, ffu_tlu_fpu_cmplt, |
---|
59 | ctl_frf_ren, ctl_frf_wen, ctl_frf_addr, ctl_dp_fp_thr, |
---|
60 | ctl_dp_fcc_w2, ctl_dp_ftt_w2, ctl_dp_exc_w2, ctl_dp_ecc_sel_frf, |
---|
61 | ctl_dp_output_sel_rs1, ctl_dp_output_sel_rs2, |
---|
62 | ctl_dp_output_sel_frf, ctl_dp_output_sel_fsr, ctl_dp_rs2_frf_read, |
---|
63 | ctl_dp_rs2_sel_vis, ctl_dp_rs2_sel_fpu_lsu, ctl_dp_rs2_keep_data, |
---|
64 | ctl_dp_rd_ecc, ctl_dp_fsr_sel_ld, ctl_dp_fsr_sel_fpu, |
---|
65 | ctl_dp_fsr_sel_old, ctl_dp_noshift64_frf, ctl_dp_shift_frf_right, |
---|
66 | ctl_dp_shift_frf_left, ctl_dp_zero_low32_frf, ctl_dp_new_rs1, |
---|
67 | ctl_dp_sign, ctl_dp_flip_fpu, ctl_dp_flip_lsu, ctl_dp_noflip_fpu, |
---|
68 | ctl_dp_noflip_lsu, ctl_frf_write_synd, |
---|
69 | // Inputs |
---|
70 | ifu_tlu_sraddr_d, exu_ffu_wsr_inst_e, exu_ffu_gsr_scale_m, |
---|
71 | exu_ffu_gsr_rnd_m, exu_ffu_gsr_mask_m, exu_ffu_gsr_align_m, |
---|
72 | dp_ctl_gsr_scale_e, dp_ctl_gsr_mask_e, rclk, si, se, grst_l, |
---|
73 | arst_l, rst_tri_en, dp_ctl_rs2_sign, cpx_vld, cpx_fcmp, cpx_req, |
---|
74 | cpx_fccval, cpx_fpexc, dp_ctl_fsr_fcc, dp_ctl_fsr_rnd, |
---|
75 | dp_ctl_fsr_tem, dp_ctl_fsr_aexc, dp_ctl_fsr_cexc, |
---|
76 | dp_ctl_synd_out_low, dp_ctl_synd_out_high, ifu_ffu_fpop1_d, |
---|
77 | ifu_ffu_fpop2_d, ifu_ffu_visop_d, ifu_ffu_fpopcode_d, |
---|
78 | ifu_ffu_frs1_d, ifu_ffu_frs2_d, ifu_ffu_frd_d, ifu_ffu_fld_d, |
---|
79 | ifu_ffu_fst_d, ifu_ffu_ldst_single_d, ifu_ffu_tid_d, |
---|
80 | ifu_ffu_fcc_num_d, ifu_ffu_mvcnd_m, ifu_ffu_inj_frferr, |
---|
81 | ifu_exu_ecc_mask, ifu_ffu_ldfsr_d, ifu_ffu_ldxfsr_d, |
---|
82 | ifu_ffu_stfsr_d, ifu_ffu_quad_op_e, ifu_tlu_inst_vld_w, |
---|
83 | lsu_ffu_flush_pipe_w, ifu_tlu_flush_w, lsu_ffu_ack, |
---|
84 | lsu_ffu_ld_vld, lsu_ffu_bld_cnt_w, dp_ctl_ld_fcc, ifu_exu_nceen_e, |
---|
85 | ifu_exu_disable_ce_e, lsu_ffu_blk_asi_e, exu_ffu_ist_e, |
---|
86 | ifu_tlu_flsh_inst_e, ifu_lsu_ld_inst_e, lsu_ffu_stb_full0, |
---|
87 | lsu_ffu_stb_full1, lsu_ffu_stb_full2, lsu_ffu_stb_full3, |
---|
88 | //sotheas,8/17/04: fixed eco 6529 |
---|
89 | lsu_ffu_st_dtlb_perr_g |
---|
90 | ////////////////////////////// |
---|
91 | ) ; |
---|
92 | /*AUTOINPUT*/ |
---|
93 | // Beginning of automatic inputs (from unused autoinst inputs) |
---|
94 | input [31:0] dp_ctl_gsr_mask_e; // To visctl of sparc_ffu_ctl_visctl.v |
---|
95 | input [4:0] dp_ctl_gsr_scale_e; // To visctl of sparc_ffu_ctl_visctl.v |
---|
96 | input [2:0] exu_ffu_gsr_align_m; // To visctl of sparc_ffu_ctl_visctl.v |
---|
97 | input [31:0] exu_ffu_gsr_mask_m; // To visctl of sparc_ffu_ctl_visctl.v |
---|
98 | input [2:0] exu_ffu_gsr_rnd_m; // To visctl of sparc_ffu_ctl_visctl.v |
---|
99 | input [4:0] exu_ffu_gsr_scale_m; // To visctl of sparc_ffu_ctl_visctl.v |
---|
100 | input exu_ffu_wsr_inst_e; // To visctl of sparc_ffu_ctl_visctl.v |
---|
101 | input [6:0] ifu_tlu_sraddr_d; // To visctl of sparc_ffu_ctl_visctl.v |
---|
102 | // End of automatics |
---|
103 | input rclk; |
---|
104 | input si; |
---|
105 | input se; |
---|
106 | input grst_l; |
---|
107 | input arst_l; |
---|
108 | input rst_tri_en; |
---|
109 | input [1:0] dp_ctl_rs2_sign; |
---|
110 | |
---|
111 | input cpx_vld; |
---|
112 | input cpx_fcmp; |
---|
113 | input [3:0] cpx_req; |
---|
114 | input [1:0] cpx_fccval; |
---|
115 | input [4:0] cpx_fpexc; |
---|
116 | input [7:0] dp_ctl_fsr_fcc; |
---|
117 | input [1:0] dp_ctl_fsr_rnd; |
---|
118 | input [4:0] dp_ctl_fsr_tem; |
---|
119 | input [4:0] dp_ctl_fsr_aexc; |
---|
120 | input [4:0] dp_ctl_fsr_cexc; |
---|
121 | |
---|
122 | input [6:0] dp_ctl_synd_out_low; // signals for ecc errors |
---|
123 | input [6:0] dp_ctl_synd_out_high; |
---|
124 | |
---|
125 | input ifu_ffu_fpop1_d; |
---|
126 | input ifu_ffu_fpop2_d; |
---|
127 | input ifu_ffu_visop_d; |
---|
128 | input [8:0] ifu_ffu_fpopcode_d; |
---|
129 | input [4:0] ifu_ffu_frs1_d; |
---|
130 | input [4:0] ifu_ffu_frs2_d; |
---|
131 | input [4:0] ifu_ffu_frd_d; |
---|
132 | input ifu_ffu_fld_d; |
---|
133 | input ifu_ffu_fst_d; |
---|
134 | input ifu_ffu_ldst_single_d; |
---|
135 | input [1:0] ifu_ffu_tid_d; |
---|
136 | input [1:0] ifu_ffu_fcc_num_d; |
---|
137 | input ifu_ffu_mvcnd_m; |
---|
138 | |
---|
139 | input ifu_ffu_inj_frferr; |
---|
140 | input [6:0] ifu_exu_ecc_mask; |
---|
141 | |
---|
142 | input ifu_ffu_ldfsr_d, |
---|
143 | ifu_ffu_ldxfsr_d, |
---|
144 | ifu_ffu_stfsr_d; |
---|
145 | input ifu_ffu_quad_op_e; |
---|
146 | |
---|
147 | input ifu_tlu_inst_vld_w; |
---|
148 | input lsu_ffu_flush_pipe_w; |
---|
149 | input ifu_tlu_flush_w; |
---|
150 | |
---|
151 | input lsu_ffu_ack; |
---|
152 | input lsu_ffu_ld_vld; |
---|
153 | input [2:0] lsu_ffu_bld_cnt_w; |
---|
154 | input [7:0] dp_ctl_ld_fcc; |
---|
155 | |
---|
156 | input ifu_exu_nceen_e;// enable ecc traps |
---|
157 | input ifu_exu_disable_ce_e; // all ce are treated as ue |
---|
158 | input lsu_ffu_blk_asi_e; |
---|
159 | input exu_ffu_ist_e; |
---|
160 | input ifu_tlu_flsh_inst_e; |
---|
161 | input ifu_lsu_ld_inst_e; |
---|
162 | input lsu_ffu_stb_full0; |
---|
163 | input lsu_ffu_stb_full1; |
---|
164 | input lsu_ffu_stb_full2; |
---|
165 | input lsu_ffu_stb_full3; |
---|
166 | |
---|
167 | input lsu_ffu_st_dtlb_perr_g; //sotheas,8/17/04: fixed eco 6529, when asserted terminated |
---|
168 | // block store |
---|
169 | |
---|
170 | /*AUTOOUTPUT*/ |
---|
171 | // Beginning of automatic outputs (from unused autoinst outputs) |
---|
172 | output [3:0] ctl_dp_gsr_wsr_w2; // From visctl of sparc_ffu_ctl_visctl.v |
---|
173 | output [3:0] ctl_dp_thr_e; // From visctl of sparc_ffu_ctl_visctl.v |
---|
174 | output [36:0] ctl_dp_wsr_data_w2; // From visctl of sparc_ffu_ctl_visctl.v |
---|
175 | output ctl_vis_add32; // From visctl of sparc_ffu_ctl_visctl.v |
---|
176 | output ctl_vis_align0; // From visctl of sparc_ffu_ctl_visctl.v |
---|
177 | output ctl_vis_align2; // From visctl of sparc_ffu_ctl_visctl.v |
---|
178 | output ctl_vis_align4; // From visctl of sparc_ffu_ctl_visctl.v |
---|
179 | output ctl_vis_align6; // From visctl of sparc_ffu_ctl_visctl.v |
---|
180 | output ctl_vis_align_odd; // From visctl of sparc_ffu_ctl_visctl.v |
---|
181 | output ctl_vis_cin; // From visctl of sparc_ffu_ctl_visctl.v |
---|
182 | output ctl_vis_log_constant; // From visctl of sparc_ffu_ctl_visctl.v |
---|
183 | output ctl_vis_log_invert_rs1; // From visctl of sparc_ffu_ctl_visctl.v |
---|
184 | output ctl_vis_log_invert_rs2; // From visctl of sparc_ffu_ctl_visctl.v |
---|
185 | output ctl_vis_log_pass_const; // From visctl of sparc_ffu_ctl_visctl.v |
---|
186 | output ctl_vis_log_pass_rs1; // From visctl of sparc_ffu_ctl_visctl.v |
---|
187 | output ctl_vis_log_pass_rs2; // From visctl of sparc_ffu_ctl_visctl.v |
---|
188 | output ctl_vis_log_sel_nand; // From visctl of sparc_ffu_ctl_visctl.v |
---|
189 | output ctl_vis_log_sel_nor; // From visctl of sparc_ffu_ctl_visctl.v |
---|
190 | output ctl_vis_log_sel_pass; // From visctl of sparc_ffu_ctl_visctl.v |
---|
191 | output ctl_vis_log_sel_xor; // From visctl of sparc_ffu_ctl_visctl.v |
---|
192 | output ctl_vis_sel_add; // From visctl of sparc_ffu_ctl_visctl.v |
---|
193 | output ctl_vis_sel_align; // From visctl of sparc_ffu_ctl_visctl.v |
---|
194 | output ctl_vis_sel_log; // From visctl of sparc_ffu_ctl_visctl.v |
---|
195 | output ctl_vis_subtract; // From visctl of sparc_ffu_ctl_visctl.v |
---|
196 | output [31:0] ffu_exu_rsr_data_hi_m; // From visctl of sparc_ffu_ctl_visctl.v |
---|
197 | output [7:0] ffu_exu_rsr_data_lo_m; // From visctl of sparc_ffu_ctl_visctl.v |
---|
198 | output [2:0] ffu_exu_rsr_data_mid_m; // From visctl of sparc_ffu_ctl_visctl.v |
---|
199 | // End of automatics |
---|
200 | output so; |
---|
201 | output ctl_dp_rst_l; |
---|
202 | output ffu_ifu_fpop_done_w2; |
---|
203 | output [3:0] ffu_ifu_cc_vld_w2;// one hot valid for each set of fcc |
---|
204 | output [7:0] ffu_ifu_cc_w2;// all 4 sets of fcc |
---|
205 | output [1:0] ffu_ifu_tid_w2; |
---|
206 | output ffu_ifu_stallreq; // stall pipe so blk st can issue |
---|
207 | |
---|
208 | output ffu_ifu_ecc_ce_w2; // correctable ecc error |
---|
209 | output ffu_ifu_ecc_ue_w2; // uncorrectable ecc error |
---|
210 | output [5:0] ffu_ifu_err_reg_w2; |
---|
211 | output [13:0] ffu_ifu_err_synd_w2; |
---|
212 | output ffu_ifu_fst_ce_w; |
---|
213 | output ffu_lsu_kill_fst_w; |
---|
214 | output ffu_ifu_inj_ack; |
---|
215 | |
---|
216 | output [80:64] ffu_lsu_data; |
---|
217 | output ffu_lsu_fpop_rq_vld ; // ffu dispatches fpop issue request. |
---|
218 | output [5:3] ffu_lsu_blk_st_va_e; |
---|
219 | output ffu_lsu_blk_st_e; |
---|
220 | |
---|
221 | output ffu_tlu_trap_ieee754; |
---|
222 | output ffu_tlu_trap_other; |
---|
223 | output ffu_tlu_trap_ue; |
---|
224 | output ffu_tlu_ill_inst_m; |
---|
225 | |
---|
226 | output [1:0] ffu_tlu_fpu_tid; |
---|
227 | output ffu_tlu_fpu_cmplt; |
---|
228 | |
---|
229 | output ctl_frf_ren; |
---|
230 | output [1:0] ctl_frf_wen; |
---|
231 | output [6:0] ctl_frf_addr; |
---|
232 | |
---|
233 | output [3:0] ctl_dp_fp_thr; |
---|
234 | |
---|
235 | output [7:0] ctl_dp_fcc_w2; |
---|
236 | output [2:0] ctl_dp_ftt_w2; |
---|
237 | output [9:0] ctl_dp_exc_w2; |
---|
238 | |
---|
239 | output ctl_dp_ecc_sel_frf; |
---|
240 | |
---|
241 | |
---|
242 | // mux selects |
---|
243 | output ctl_dp_output_sel_rs1; |
---|
244 | output ctl_dp_output_sel_rs2; |
---|
245 | output ctl_dp_output_sel_frf; |
---|
246 | output ctl_dp_output_sel_fsr; |
---|
247 | |
---|
248 | output ctl_dp_rs2_frf_read; |
---|
249 | output ctl_dp_rs2_sel_vis; |
---|
250 | output ctl_dp_rs2_sel_fpu_lsu; |
---|
251 | output ctl_dp_rs2_keep_data; |
---|
252 | output ctl_dp_rd_ecc; |
---|
253 | |
---|
254 | output [3:0] ctl_dp_fsr_sel_ld, |
---|
255 | ctl_dp_fsr_sel_fpu, |
---|
256 | ctl_dp_fsr_sel_old; |
---|
257 | |
---|
258 | output ctl_dp_noshift64_frf; |
---|
259 | output ctl_dp_shift_frf_right; |
---|
260 | output ctl_dp_shift_frf_left; |
---|
261 | output ctl_dp_zero_low32_frf; |
---|
262 | |
---|
263 | output ctl_dp_new_rs1; |
---|
264 | |
---|
265 | output [1:0] ctl_dp_sign; |
---|
266 | |
---|
267 | output ctl_dp_flip_fpu; |
---|
268 | output ctl_dp_flip_lsu; |
---|
269 | output ctl_dp_noflip_fpu; |
---|
270 | output ctl_dp_noflip_lsu; |
---|
271 | |
---|
272 | |
---|
273 | wire clk; |
---|
274 | wire reset; |
---|
275 | wire ffu_reset_l; |
---|
276 | // FPOP is broken into parts: |
---|
277 | // [8:4] fpop_high |
---|
278 | // [3:2] fpop_mid |
---|
279 | // [1:0] fpop_size |
---|
280 | wire fpop_size_0; // 2 lsbs of fpop |
---|
281 | wire fpop_size_1; |
---|
282 | |
---|
283 | wire fpop_high_0; // 4 msbs of fpop |
---|
284 | wire fpop_high_2; |
---|
285 | wire fpop_high_4; |
---|
286 | wire fpop_high_5; |
---|
287 | wire fpop_high_6; |
---|
288 | wire fpop_high_8; |
---|
289 | wire fpop_high_a; |
---|
290 | wire fpop_high_c; |
---|
291 | wire fpop_high_d; |
---|
292 | wire fpop_high_e; |
---|
293 | wire fpop_high_10; |
---|
294 | wire fpop_high_18; |
---|
295 | wire fpop_low_1; |
---|
296 | wire fpop_low_2; |
---|
297 | wire fpop_low_4; |
---|
298 | wire fpop_low_5; |
---|
299 | wire fpop_low_6; |
---|
300 | wire fpop_low_8; |
---|
301 | wire fpop_low_9; |
---|
302 | wire fpop_low_a; |
---|
303 | wire fpop_low_d; |
---|
304 | wire fpop_low_e; |
---|
305 | |
---|
306 | wire source_single_e; |
---|
307 | wire source_single_next; |
---|
308 | wire source_single; |
---|
309 | |
---|
310 | wire dest_single_e; |
---|
311 | wire dest_single_next; |
---|
312 | wire dest_single; |
---|
313 | |
---|
314 | wire [4:0] frs1_e; |
---|
315 | wire [5:0] rs1_e; |
---|
316 | wire [5:0] rs1_next; |
---|
317 | wire [5:0] rs1; |
---|
318 | wire [4:0] frs2_e; |
---|
319 | wire [5:0] rs2_e; |
---|
320 | wire [4:0] frd_e; |
---|
321 | wire ldst_single_e; |
---|
322 | wire [5:0] rd_e; |
---|
323 | wire [5:1] st_rd_d; |
---|
324 | wire [5:1] write_addr; |
---|
325 | |
---|
326 | wire [5:0] rs2_next; |
---|
327 | wire [5:0] rs2; |
---|
328 | wire [5:0] rd_next; |
---|
329 | wire [5:0] rd; |
---|
330 | wire [5:1] blk_rd; |
---|
331 | |
---|
332 | wire is_fpop_d; |
---|
333 | wire shift_frf_rs2_m; |
---|
334 | wire shift_frf_rs1_w; |
---|
335 | wire shift_frf_right_next; |
---|
336 | wire shift_frf_right; |
---|
337 | wire shift_frf_left_next; |
---|
338 | wire shift_frf_left; |
---|
339 | wire noshift64_frf_next; |
---|
340 | wire noshift64_frf; |
---|
341 | |
---|
342 | wire abs_w; |
---|
343 | wire neg_w; |
---|
344 | wire cond_move_e; |
---|
345 | wire cond_move_m; |
---|
346 | wire move_e; |
---|
347 | wire move_m; |
---|
348 | wire move_m_valid; |
---|
349 | wire move_w; |
---|
350 | wire move_w_valid; |
---|
351 | wire move_w2; |
---|
352 | wire move_w2_vld; |
---|
353 | wire move_wen_m; |
---|
354 | wire move_wen_w; |
---|
355 | wire move_wen_w2; |
---|
356 | wire move_wen_w2_valid; |
---|
357 | |
---|
358 | wire vis_nofrf_e; |
---|
359 | wire ren_rs2_e; |
---|
360 | wire ren_rs2_e_vld; |
---|
361 | wire ren_rs2_m; |
---|
362 | wire ren_rs2_m_vld; |
---|
363 | wire ren_rs2_w; |
---|
364 | wire ren_rs2_w2; |
---|
365 | wire ren_rs2_w3; |
---|
366 | wire ren_rs2_w4; |
---|
367 | wire ren_rs1_e; |
---|
368 | wire ren_rs1_m; |
---|
369 | wire ren_rs1_w; |
---|
370 | wire ren_rs1_w_vld; |
---|
371 | wire ren_rs1_w2_vld; |
---|
372 | wire ren_rs1_w2; |
---|
373 | wire ren_rs1_w3; |
---|
374 | wire ren_rs1_w4; |
---|
375 | wire ren_rs1_w5; |
---|
376 | wire read_rs1; |
---|
377 | wire read_rs2; |
---|
378 | wire read_rd; |
---|
379 | wire read_bst; |
---|
380 | |
---|
381 | wire fpu_op_e; |
---|
382 | wire fpu_op_m; |
---|
383 | wire fpu_op_w_vld; |
---|
384 | wire fpu_op_w; |
---|
385 | wire fpu_op_w2; |
---|
386 | wire fpu_op_w2_vld; |
---|
387 | wire fpu_op_w3; |
---|
388 | wire fpu_op_w3_vld; |
---|
389 | wire any_op_e; |
---|
390 | wire any_op_m; |
---|
391 | wire any_op_w; |
---|
392 | wire any_op_w2; |
---|
393 | wire any_op_m_valid; |
---|
394 | wire visop_e; |
---|
395 | wire visop_m; |
---|
396 | wire visop_w_vld; |
---|
397 | |
---|
398 | wire fld_e; |
---|
399 | wire fld_m; |
---|
400 | wire fst_e; |
---|
401 | wire fst_m; |
---|
402 | wire fst_w; |
---|
403 | wire zero_lower_data_next; |
---|
404 | |
---|
405 | wire fpop1_e; |
---|
406 | wire fpop2_e; |
---|
407 | wire fpop1_next; |
---|
408 | wire fpop1; |
---|
409 | wire fpop2_next; |
---|
410 | wire fpop2; |
---|
411 | wire visop_next; |
---|
412 | wire visop; |
---|
413 | wire kill_m; |
---|
414 | wire killed_w; |
---|
415 | wire kill_w; |
---|
416 | wire kill_unimpl_w; |
---|
417 | wire kill_fp; |
---|
418 | wire kill_eccchk_w; |
---|
419 | wire flush_w; |
---|
420 | wire flush_w2; |
---|
421 | |
---|
422 | wire [1:0] tid_next; |
---|
423 | wire [1:0] tid; |
---|
424 | wire [1:0] extra_tid; |
---|
425 | wire [8:0] opf_next; |
---|
426 | wire [8:0] opf; |
---|
427 | wire [5:1] early_frf_rnum; |
---|
428 | wire [5:1] frf_rnum; |
---|
429 | wire [1:0] frf_tid; |
---|
430 | wire [1:0] fpu_rnd; |
---|
431 | |
---|
432 | wire thr_match_mw2; |
---|
433 | wire thr_match_ww2; |
---|
434 | wire thr_match_fpw2; |
---|
435 | wire [1:0] tid_e, |
---|
436 | tid_m, |
---|
437 | tid_w, |
---|
438 | tid_w2; |
---|
439 | |
---|
440 | wire fpop1_ready_w2_next; |
---|
441 | wire fpop2_ready_w3_next; |
---|
442 | wire fpop1_ready_w2; |
---|
443 | wire fpop2_ready_w3; |
---|
444 | wire issue_fpop2; |
---|
445 | |
---|
446 | wire ldfsr, |
---|
447 | ldxfsr, |
---|
448 | stfsr_e, |
---|
449 | stfsr_w, |
---|
450 | stfsr_qual_w, |
---|
451 | ldfsr_vld, |
---|
452 | ldxfsr_vld; |
---|
453 | wire stfsr_w2; |
---|
454 | wire stfsr_w2_vld; |
---|
455 | |
---|
456 | wire clear_ftt; |
---|
457 | |
---|
458 | wire [1:0] ldfsr_next; |
---|
459 | |
---|
460 | wire is_fpu_result; |
---|
461 | |
---|
462 | wire output_sel_rs1_next; |
---|
463 | wire output_sel_frf_next; |
---|
464 | wire output_sel_fsr_next; |
---|
465 | wire output_sel_rs2_next; |
---|
466 | wire output_sel_rs1; |
---|
467 | wire output_sel_frf; |
---|
468 | wire output_sel_fsr; |
---|
469 | wire output_sel_rs2; |
---|
470 | |
---|
471 | wire ffu_op_done_next; |
---|
472 | wire ffu_op_done; |
---|
473 | wire ffu_op_done_vld; |
---|
474 | wire external_wen_next; |
---|
475 | wire lsu_pkt_vld; |
---|
476 | wire [1:0] lsu_pkt_type; |
---|
477 | wire store_ready; |
---|
478 | wire load_pending; |
---|
479 | wire load_pending_next; |
---|
480 | wire blk_ld_done; |
---|
481 | wire blk_ld_m; |
---|
482 | wire blk_load_pending; |
---|
483 | wire blk_load_pending_next; |
---|
484 | wire fp_pending, |
---|
485 | fp_pending_next; |
---|
486 | |
---|
487 | wire [3:0] fcc_num_dec; |
---|
488 | wire [1:0] fcc_num, |
---|
489 | fcc_num_next; |
---|
490 | |
---|
491 | wire [7:0] fpu_fcc; |
---|
492 | wire [9:0] fp_exc_w2; |
---|
493 | |
---|
494 | wire fcc_sel_fpu; |
---|
495 | wire fcc_sel_ldx; |
---|
496 | wire fcc_sel_ld; |
---|
497 | wire fcc_sel_old; |
---|
498 | wire cc_changed; |
---|
499 | wire rf_wen; |
---|
500 | wire rf_wen_next; |
---|
501 | wire rf_ecc_gen_next; |
---|
502 | wire rf_ecc_gen; |
---|
503 | wire vis_wen_next; |
---|
504 | wire vis_result; |
---|
505 | |
---|
506 | wire [4:0] fsr_tem_d1; |
---|
507 | wire ieee_trap; |
---|
508 | wire take_ieee_trap; |
---|
509 | wire take_other_trap; |
---|
510 | wire [4:0] ieee_trap_vec; |
---|
511 | wire fpexc_nxc; |
---|
512 | wire fpexc_ofc; |
---|
513 | wire fpexc_ufc; |
---|
514 | |
---|
515 | wire [1:0] error_detected; |
---|
516 | wire [1:0] possible_ue; |
---|
517 | wire [1:0] ce; |
---|
518 | wire [1:0] prev_err_detected; |
---|
519 | wire [1:0] prev_poss_ue; |
---|
520 | wire rollback_fst_m; |
---|
521 | wire rollback_fst_w; |
---|
522 | wire rollback_rs2_w2; |
---|
523 | wire rollback_rs1_w3; |
---|
524 | wire rollback_c1_next; |
---|
525 | wire rollback_c1; |
---|
526 | wire rollback_c1_vld; |
---|
527 | wire rollback_c2; |
---|
528 | wire rollback_c3; |
---|
529 | wire rolled_back_next; |
---|
530 | wire rolled_back; |
---|
531 | wire chk_rs1_w2; |
---|
532 | wire check_ecc_next; |
---|
533 | wire [1:0] chk_ecc_m; |
---|
534 | wire [1:0] chk_ecc_w; |
---|
535 | wire [1:0] chk_ecc_w2; |
---|
536 | wire [1:0] chk_ecc; |
---|
537 | wire [1:0] chk_ecc_prev; |
---|
538 | wire disable_ce_m; |
---|
539 | wire disable_ce_w; |
---|
540 | wire fst_ce_w; |
---|
541 | wire fst_ue_w; |
---|
542 | wire fst_ce_w2; |
---|
543 | wire fst_ue_w2; |
---|
544 | wire rs2_ce_w2; |
---|
545 | wire rs2_ue_w2; |
---|
546 | wire rs2_fst_ce_w2_vld; |
---|
547 | wire rs2_fst_ue_w2_vld; |
---|
548 | wire rs2_fst_ce_w3; |
---|
549 | wire rs2_fst_ue_w3; |
---|
550 | wire rs1_ce_w3; |
---|
551 | wire ce_w3; |
---|
552 | wire ue_w3; |
---|
553 | wire nceen; |
---|
554 | wire nceen_next; |
---|
555 | wire ue_trap_w3; |
---|
556 | wire [1:0] previous_ce; |
---|
557 | wire previous_ue; |
---|
558 | wire [1:0] ecc_wen_next; |
---|
559 | wire [1:0] ecc_wen_gen_next; |
---|
560 | wire [1:0] ecc_wen_gen; |
---|
561 | wire [1:0] ecc_wen; |
---|
562 | wire inject_err_next; |
---|
563 | wire [6:0] err_data; |
---|
564 | wire inject_err; |
---|
565 | wire wen_rs1_ecc; |
---|
566 | wire wen_rs2_ecc; |
---|
567 | wire ecc_kill_rs2_w2; |
---|
568 | wire [13:0] new_err_synd; |
---|
569 | wire [13:0] err_synd_d1; |
---|
570 | wire [13:0] err_synd_next; |
---|
571 | wire [5:0] new_err_reg; |
---|
572 | wire [5:0] err_reg_next; |
---|
573 | wire [5:0] err_reg_d1; |
---|
574 | wire log_new_err; |
---|
575 | wire kill_st_ce_w; |
---|
576 | wire possible_kill_st_ue_m; |
---|
577 | wire possible_kill_st_ce_m; |
---|
578 | wire possible_kill_st_ue_w; |
---|
579 | wire possible_kill_st_ce_w; |
---|
580 | |
---|
581 | wire unimpl_op_e, |
---|
582 | unimpl_op_all_e, |
---|
583 | unimpl_op_m, |
---|
584 | unimpl_op_w, |
---|
585 | unimpl_qual_w, |
---|
586 | unimpl_qual_w2, |
---|
587 | unimpl_op_w2; |
---|
588 | wire illegal_vis_e; |
---|
589 | wire illegal_vis_m; |
---|
590 | wire illegal_blk_m; |
---|
591 | wire illegal_rs1_e; |
---|
592 | wire illegal_field_e; |
---|
593 | wire convert_op_e; |
---|
594 | |
---|
595 | wire cpx_vld_d1; |
---|
596 | wire cpx_fcmp_d1; |
---|
597 | wire [3:0] cpx_req_d1; |
---|
598 | wire [1:0] cpx_fccval_d1; |
---|
599 | wire [4:0] cpx_fpexc_d1; |
---|
600 | |
---|
601 | wire bst_m; |
---|
602 | wire bst_w; |
---|
603 | wire st_dtlb_perr_w2_l; |
---|
604 | wire can_issue_bst_c2; |
---|
605 | wire other_mem_op_e; |
---|
606 | wire [5:0] bst_rs; |
---|
607 | wire [2:0] bst_cnt; |
---|
608 | wire [2:0] bst_cnt_next; |
---|
609 | wire bst_read_req; |
---|
610 | wire bst_issue_c1; |
---|
611 | wire bst_issue_c2; |
---|
612 | wire bst_issue_c3; |
---|
613 | wire bst_issue_c4; |
---|
614 | wire bst_issue_c5; |
---|
615 | wire bst_issue_c6; |
---|
616 | wire bst_issue_c1_next; |
---|
617 | wire bst_issue_c2_next; |
---|
618 | wire bst_issue_c3_next; |
---|
619 | wire bst_issue_c4_next; |
---|
620 | wire bst_issue_c5_next; |
---|
621 | wire bst_issue_c6_next; |
---|
622 | wire bst_done; |
---|
623 | wire [2:0] bld_cnt_d1; |
---|
624 | wire [2:0] bld_cnt_d2; |
---|
625 | wire [2:0] bld_cnt_d3; |
---|
626 | wire stb_full0; |
---|
627 | wire stb_full1; |
---|
628 | wire stb_full2; |
---|
629 | wire stb_full3; |
---|
630 | wire stb_full_c2; |
---|
631 | wire [5:0] bst_stall_cnt; |
---|
632 | wire [5:0] bst_stall_cnt_next; |
---|
633 | wire bst_stall_req; |
---|
634 | wire bst_stall_req_next; |
---|
635 | wire fld_done; |
---|
636 | wire ld_ret; |
---|
637 | wire bst_ce_c4; |
---|
638 | wire bst_ue_c4; |
---|
639 | wire fixed_bst_ce; |
---|
640 | wire fixed_bst_ce_next; |
---|
641 | wire blk_asi_m; |
---|
642 | |
---|
643 | // |
---|
644 | // Code begins here |
---|
645 | // |
---|
646 | assign clk = rclk; |
---|
647 | // Reset flop |
---|
648 | dffrl_async rstff(.din (grst_l), |
---|
649 | .q (ffu_reset_l), |
---|
650 | .clk (clk), |
---|
651 | .rst_l (arst_l), .si(), .so(), .se(se)); |
---|
652 | assign ctl_dp_rst_l = ffu_reset_l; |
---|
653 | assign reset = ~ffu_reset_l; |
---|
654 | // Stage cpx data by one cycle |
---|
655 | dff_s #(13) cpx_dff(.din({cpx_vld, cpx_fcmp, cpx_req[3:0], cpx_fccval[1:0], cpx_fpexc[4:0]}), |
---|
656 | .q({cpx_vld_d1, cpx_fcmp_d1, cpx_req_d1[3:0], cpx_fccval_d1[1:0], cpx_fpexc_d1[4:0]}), |
---|
657 | .clk(clk), .se(se), .si(), .so()); |
---|
658 | dff_s #(3) lsu_bld_cnt1_dff(.din({lsu_ffu_bld_cnt_w[2:0]}), .clk(clk), |
---|
659 | .q({bld_cnt_d1[2:0]}), .se(se), .si(), .so()); |
---|
660 | dff_s #(3) lsu_bld_cnt2_dff(.din({bld_cnt_d1[2:0]}), .clk(clk), |
---|
661 | .q({bld_cnt_d2[2:0]}), .se(se), .si(), .so()); |
---|
662 | dff_s #(3) lsu_bld_cnt3_dff(.din({bld_cnt_d2[2:0]}), .clk(clk), |
---|
663 | .q({bld_cnt_d3[2:0]}), .se(se), .si(), .so()); |
---|
664 | |
---|
665 | //---------------------------------------- |
---|
666 | // Decode Instruction From IFU |
---|
667 | //---------------------------------------- |
---|
668 | dff_s #(3) fpop_d2e(.din({ifu_ffu_fpop1_d, ifu_ffu_fpop2_d, ifu_ffu_visop_d}), .clk(clk), |
---|
669 | .q({fpop1_e, fpop2_e, visop_e}), .se(se), .si(), .so()); |
---|
670 | assign fpop1_next = (any_op_e | reset)? fpop1_e: fpop1; |
---|
671 | assign fpop2_next = (any_op_e | reset)? fpop2_e: fpop2; |
---|
672 | assign visop_next = (any_op_e | reset)? visop_e: visop; |
---|
673 | dff_s #(3) fpop_dff(.din({fpop1_next,fpop2_next,visop_next}), |
---|
674 | .q({fpop1,fpop2,visop}), |
---|
675 | .clk(clk), .se(se), .si(), .so()); |
---|
676 | |
---|
677 | assign fpop_size_0 = ~opf[1] & ~opf[0]; |
---|
678 | assign fpop_size_1 = ~opf[1] & opf[0]; |
---|
679 | |
---|
680 | assign fpop_low_1 = ~opf[3] & ~opf[2] & ~opf[1] & opf[0]; |
---|
681 | assign fpop_low_2 = ~opf[3] & ~opf[2] & opf[1] & ~opf[0]; |
---|
682 | assign fpop_low_4 = ~opf[3] & opf[2] & ~opf[1] & ~opf[0]; |
---|
683 | assign fpop_low_5 = ~opf[3] & opf[2] & ~opf[1] & opf[0]; |
---|
684 | assign fpop_low_6 = ~opf[3] & opf[2] & opf[1] & ~opf[0]; |
---|
685 | assign fpop_low_8 = opf[3] & ~opf[2] & ~opf[1] & ~opf[0]; |
---|
686 | assign fpop_low_9 = opf[3] & ~opf[2] & ~opf[1] & opf[0]; |
---|
687 | assign fpop_low_a = opf[3] & ~opf[2] & opf[1] & ~opf[0]; |
---|
688 | assign fpop_low_d = opf[3] & opf[2] & ~opf[1] & opf[0]; |
---|
689 | assign fpop_low_e = opf[3] & opf[2] & opf[1] & ~opf[0]; |
---|
690 | |
---|
691 | assign fpop_high_0 = ~opf[8] & ~opf[7] & ~opf[6] & ~opf[5] & ~opf[4]; |
---|
692 | assign fpop_high_2 = ~opf[8] & ~opf[7] & ~opf[6] & opf[5] & ~opf[4]; |
---|
693 | assign fpop_high_4 = ~opf[8] & ~opf[7] & opf[6] & ~opf[5] & ~opf[4]; |
---|
694 | assign fpop_high_5 = ~opf[8] & ~opf[7] & opf[6] & ~opf[5] & opf[4]; |
---|
695 | assign fpop_high_6 = ~opf[8] & ~opf[7] & opf[6] & opf[5] & ~opf[4]; |
---|
696 | assign fpop_high_a = ~opf[8] & opf[7] & ~opf[6] & opf[5] & ~opf[4]; |
---|
697 | assign fpop_high_8 = ~opf[8] & opf[7] & ~opf[6] & ~opf[5] & ~opf[4]; |
---|
698 | assign fpop_high_c = ~opf[8] & opf[7] & opf[6] & ~opf[5] & ~opf[4]; |
---|
699 | assign fpop_high_d = ~opf[8] & opf[7] & opf[6] & ~opf[5] & opf[4]; |
---|
700 | assign fpop_high_e = ~opf[8] & opf[7] & opf[6] & opf[5] & ~opf[4]; |
---|
701 | assign fpop_high_10 = opf[8] & ~opf[7] & ~opf[6] & ~opf[5] & ~opf[4]; |
---|
702 | assign fpop_high_18 = opf[8] & opf[7] & ~opf[6] & ~opf[5] & ~opf[4]; |
---|
703 | |
---|
704 | assign unimpl_op_e = ~((fpop_low_1 | fpop_low_2) & (fpop_high_0 | fpop_high_4 | fpop_high_8 | |
---|
705 | fpop1_e & fpop_high_d | |
---|
706 | fpop2_e & (fpop_high_5 | fpop_high_c | |
---|
707 | fpop_high_10 | fpop_high_18)) | |
---|
708 | (fpop_low_4 | fpop_low_8) & fpop1_e & (fpop_high_8 | fpop_high_c) | |
---|
709 | (fpop_low_5 | fpop_low_6) & (fpop_high_4 | |
---|
710 | fpop1_e & fpop_high_0 | |
---|
711 | fpop2_e & (fpop_high_2 | fpop_high_5 | |
---|
712 | fpop_high_6 | fpop_high_a | |
---|
713 | fpop_high_c | fpop_high_e)) | |
---|
714 | fpop_low_6 & fpop1_e & fpop_high_c | |
---|
715 | fpop_low_9 & fpop1_e & (fpop_high_0 | fpop_high_4 | fpop_high_6 | |
---|
716 | fpop_high_c) | |
---|
717 | fpop_low_a & fpop1_e & (fpop_high_0 | fpop_high_4) | |
---|
718 | (fpop_low_d | fpop_low_e) & fpop1_e & fpop_high_4) & (fpop1_e | fpop2_e); |
---|
719 | assign illegal_field_e = fpop2_e & (fpop_high_5 & |rd_e[4:2] |// bits 29:27 must be zero on fcmp |
---|
720 | ~opf[4] & ~opf[2] & rs1_e[4]);// bit 18 must be zero on fmovcc |
---|
721 | |
---|
722 | |
---|
723 | assign convert_op_e = fpop1_e & opf[7]; |
---|
724 | assign illegal_rs1_e = (frs1_e[4:0] != 5'b00000) & (move_e & ~rollback_c3 | convert_op_e); |
---|
725 | |
---|
726 | // |
---|
727 | // Decode size of source and destination. don't care for unimplemented ops |
---|
728 | // |
---|
729 | assign source_single_e = (fpop_high_c & fpop_size_0) | //32b int |
---|
730 | (opf[0]);// single (also quad but those are illegal |
---|
731 | |
---|
732 | /* -----\/----- EXCLUDED -----\/----- |
---|
733 | assign convert_op = (ifu_ffu_fpopcode_d[7] |fpop_high_6_d) & ifu_ffu_fpop1_d; |
---|
734 | assign dest_single_d = (is_fpop_d)? (fpop_size_1_d & ~convert_op) | // sgl and not conv |
---|
735 | (ifu_ffu_fpop1_d & ifu_ffu_fpopcode_d[7] & ~ifu_ffu_fpopcode_d[3] & |
---|
736 | (~fpop_high_8_d | ifu_ffu_fpopcode_d[2])) |// int to s or float to short int |
---|
737 | (ifu_ffu_visop_d & ifu_ffu_fpopcode_d[0]) :// vis single |
---|
738 | ifu_ffu_ldst_single_d; |
---|
739 | -----/\----- EXCLUDED -----/\----- */ |
---|
740 | assign dest_single_e = (fpop1_e & (~opf[1] & opf[0] & ~(opf[7] |fpop_high_6) | // sgl and not conv |
---|
741 | opf[7] & ~opf[3] & |
---|
742 | (~fpop_high_8 | opf[2])) |// int to s or float to short int |
---|
743 | fpop2_e & fpop_size_1 | |
---|
744 | visop_e & opf[0] | // vis single |
---|
745 | (fst_e | fld_e) & ldst_single_e); |
---|
746 | |
---|
747 | assign unimpl_op_all_e = (unimpl_op_e | ifu_ffu_quad_op_e | |
---|
748 | illegal_rs1_e | illegal_field_e); |
---|
749 | |
---|
750 | dff_s #1 qopm_ff(.din (unimpl_op_all_e), |
---|
751 | .q (unimpl_op_m), |
---|
752 | .clk (clk), .se(se), .si(), .so()); |
---|
753 | |
---|
754 | dff_s #1 qopw_ff(.din (unimpl_op_m), |
---|
755 | .q (unimpl_op_w), |
---|
756 | .clk (clk), .se(se), .si(), .so()); |
---|
757 | assign unimpl_qual_w = unimpl_op_w & ~kill_unimpl_w; |
---|
758 | assign unimpl_qual_w2 = unimpl_op_w2 & ~flush_w2; |
---|
759 | |
---|
760 | dff_s #1 qopw2_ff(.din (unimpl_qual_w), |
---|
761 | .q (unimpl_op_w2), |
---|
762 | .clk (clk), .se(se), .si(), .so()); |
---|
763 | |
---|
764 | |
---|
765 | // Decode register encoding (bit[5] wrapped to bit[0] for non singles) |
---|
766 | // Also the storage is flopped around so odd regs are at even addresses |
---|
767 | // in the regfile for singles. this helps because everything external |
---|
768 | // expects data to be [63:0] not [31:0, 63:32] on doubles. |
---|
769 | |
---|
770 | assign rs1_e[5] = frs1_e[0] & ~source_single_e;// zero for singles |
---|
771 | assign rs1_e[4:2] = frs1_e[4:2]; |
---|
772 | assign rs1_e[1] = frs1_e[1]; |
---|
773 | assign rs1_e[0] = frs1_e[0] & source_single_e;// only nonzro for sgl |
---|
774 | |
---|
775 | assign rs2_e[5] = frs2_e[0] & ~source_single_e;// zero for singles |
---|
776 | assign rs2_e[4:2] = frs2_e[4:2]; |
---|
777 | assign rs2_e[1] = frs2_e[1]; |
---|
778 | assign rs2_e[0] = frs2_e[0] & source_single_e;// only nonzro for sgl |
---|
779 | |
---|
780 | assign rd_e[5] = frd_e[0] & ~dest_single_e;// zero for singles |
---|
781 | assign rd_e[4:2] = frd_e[4:2]; |
---|
782 | assign rd_e[1] = frd_e[1]; |
---|
783 | assign rd_e[0] = frd_e[0] & dest_single_e;// only nonzro for sgl |
---|
784 | |
---|
785 | |
---|
786 | // Decode general type of operation |
---|
787 | assign is_fpop_d = ifu_ffu_fpop1_d | ifu_ffu_fpop2_d | ifu_ffu_visop_d; |
---|
788 | |
---|
789 | // Do locally |
---|
790 | assign move_e = fpop_high_0 & (fpop1_e | (fpop1 & rollback_c3)) | |
---|
791 | (rollback_c3 & fpop2 & ~opf[4]);// rollback cond_move |
---|
792 | // cond moves don't get rollback because they either don't happen or become unconditional |
---|
793 | assign cond_move_e = fpop2_e & ~opf[4]; |
---|
794 | |
---|
795 | assign abs_w = move_w & fpop_high_0 & opf[3]; |
---|
796 | assign neg_w = move_w & fpop_high_0 & opf[2]; |
---|
797 | |
---|
798 | // Send to FPU |
---|
799 | assign fpu_op_e = ((~fpop_high_0 & fpop1_next) | (fpop_high_5 & fpop2_next)) & (any_op_e | rollback_c3); |
---|
800 | |
---|
801 | // FRF read indication |
---|
802 | assign ren_rs2_e = (fpop1_e | fpop2_e | visop_e) | rollback_c3; |
---|
803 | assign ren_rs2_e_vld = ren_rs2_e & ~vis_nofrf_e; |
---|
804 | assign ren_rs2_m_vld = ren_rs2_m & (cond_move_m & ifu_ffu_mvcnd_m | ~cond_move_m); |
---|
805 | assign ren_rs1_e = ((~vis_nofrf_e & visop_e) | // all vis except siam read rs1 |
---|
806 | (rollback_c3 & visop) | |
---|
807 | ((fpop2_next & opf[4]) | //FCMP |
---|
808 | (fpop1_next & ~opf[7] & opf[6])) & // add,sub,mul,div |
---|
809 | (any_op_e | rollback_c3 & ~reset)); |
---|
810 | assign ren_rs1_w_vld = ren_rs1_w & ~kill_eccchk_w; |
---|
811 | assign ren_rs1_w2_vld = ren_rs1_w2 & ~flush_w2; |
---|
812 | |
---|
813 | //------------------------------------ |
---|
814 | // Store and wait for FPop to complete |
---|
815 | //------------------------------------ |
---|
816 | // Storage of control signals |
---|
817 | |
---|
818 | // >>>>> added ~kill_fp |
---|
819 | // set these in e so that kill_fp doesn't kill spuriously |
---|
820 | assign load_pending_next = fld_e | // set |
---|
821 | (load_pending & ~lsu_ffu_ld_vld & ~kill_fp & ~blk_ld_m); |
---|
822 | assign fld_done = lsu_ffu_ld_vld & ~kill_fp & load_pending; |
---|
823 | dffr_s ldpend_dff(.din (load_pending_next), |
---|
824 | .q (load_pending), |
---|
825 | .clk (clk), |
---|
826 | .rst (reset), |
---|
827 | .se(se), .si(), .so()); |
---|
828 | |
---|
829 | assign blk_ld_m = fld_m & blk_asi_m; |
---|
830 | assign blk_ld_done = lsu_ffu_ld_vld & ~kill_fp & (bld_cnt_d1[2:0] == 3'b111) & blk_load_pending; |
---|
831 | assign blk_load_pending_next = (blk_ld_m & ~kill_m) | // set |
---|
832 | (blk_load_pending & ~kill_fp & ~ffu_ifu_fpop_done_w2); |
---|
833 | dffr_s blk_ldpend_dff(.din(blk_load_pending_next), |
---|
834 | .q(blk_load_pending), |
---|
835 | .clk(clk), |
---|
836 | .rst(reset), |
---|
837 | .se(se), .si(), .so()); |
---|
838 | |
---|
839 | assign fp_pending_next = fpu_op_e | // set |
---|
840 | (fp_pending & ~is_fpu_result & ~kill_fp); |
---|
841 | dffr_s fppend_dff(.din(fp_pending_next), |
---|
842 | .q(fp_pending), |
---|
843 | .clk(clk), |
---|
844 | .rst (reset), |
---|
845 | .se(se), .si(), .so()); |
---|
846 | |
---|
847 | // rs1 |
---|
848 | dff_s #(5) rs1_d2e(.din(ifu_ffu_frs1_d[4:0]), .clk(clk), .q(frs1_e[4:0]), .se(se), .si(), .so()); |
---|
849 | mux2ds #(6) rs1_mux(.dout (rs1_next[5:0]), |
---|
850 | .in0 (rs1[5:0]), |
---|
851 | .in1 (rs1_e[5:0]), |
---|
852 | .sel0 (~any_op_e), |
---|
853 | .sel1 (any_op_e)); |
---|
854 | dff_s #(6) rs1_dff(.din(rs1_next[5:0]), |
---|
855 | .clk(clk), |
---|
856 | .q(rs1[5:0]), |
---|
857 | .se(se), .si(), .so()); |
---|
858 | // rs2 |
---|
859 | dff_s #(5) rs2_d2e(.din(ifu_ffu_frs2_d[4:0]), .clk(clk), .q(frs2_e[4:0]), .se(se), .si(), .so()); |
---|
860 | mux2ds #(6) rs2_mux(.dout(rs2_next[5:0]), |
---|
861 | .in0 (rs2[5:0]), |
---|
862 | .in1 (rs2_e[5:0]), |
---|
863 | .sel0(~any_op_e), |
---|
864 | .sel1 (any_op_e)); |
---|
865 | dff_s #(6) rs2_dff(.din (rs2_next[5:0]), |
---|
866 | .clk (clk), |
---|
867 | .q (rs2[5:0]), |
---|
868 | .se(se), .si(), .so()); |
---|
869 | // rd |
---|
870 | dff_s #(6) rd_d2e(.din({ifu_ffu_ldst_single_d,ifu_ffu_frd_d[4:0]}), .clk(clk), |
---|
871 | .q({ldst_single_e,frd_e[4:0]}), |
---|
872 | .se(se), .si(), .so()); |
---|
873 | mux2ds #(6) rd_mux(.dout (rd_next[5:0]), |
---|
874 | .in0 (rd[5:0]), |
---|
875 | .in1 (rd_e[5:0]), |
---|
876 | .sel0 (~any_op_e), |
---|
877 | .sel1 (any_op_e)); |
---|
878 | dff_s #(6) rd_dff(.din (rd_next[5:0]), |
---|
879 | .clk (clk), |
---|
880 | .q (rd[5:0]), |
---|
881 | .se (se), .si(), .so()); |
---|
882 | // rs size |
---|
883 | mux2ds source_single_mux(.dout (source_single_next), |
---|
884 | .in0 (source_single), |
---|
885 | .in1 (source_single_e), |
---|
886 | .sel0(~any_op_e), |
---|
887 | .sel1 (any_op_e)); |
---|
888 | dff_s source_single_dff(.din(source_single_next), |
---|
889 | .clk(clk), |
---|
890 | .q(source_single), |
---|
891 | .se(se), .si(), .so()); |
---|
892 | // rd size |
---|
893 | assign dest_single_next = (any_op_e)? dest_single_e: dest_single; |
---|
894 | dff_s dest_single_dff(.din (dest_single_next), |
---|
895 | .clk (clk), |
---|
896 | .q (dest_single), |
---|
897 | .se (se), .si(), .so()); |
---|
898 | // thread |
---|
899 | mux2ds #(2) tid_mux(.dout (tid_next[1:0]), |
---|
900 | .in0 (tid[1:0]), |
---|
901 | .in1 (tid_e[1:0]), |
---|
902 | .sel0 (~any_op_e), |
---|
903 | .sel1 (any_op_e)); |
---|
904 | dff_s #(2) tid_dff(.din(tid_next[1:0]), |
---|
905 | .clk(clk), |
---|
906 | .q(tid[1:0]), |
---|
907 | .se(se), .si(), .so()); |
---|
908 | // extra tid to help fanout for critical signals |
---|
909 | dff_s #(2) extra_tid_dff(.din(tid_next[1:0]), |
---|
910 | .clk(clk), .q(extra_tid[1:0]), .se(se), .si(), .so()); |
---|
911 | // fcc num |
---|
912 | mux2ds #(2) fcc_mux(.dout (fcc_num_next[1:0]), |
---|
913 | .in0 (fcc_num[1:0]), |
---|
914 | .in1 (ifu_ffu_fcc_num_d[1:0]), |
---|
915 | .sel0 (~is_fpop_d), |
---|
916 | .sel1 (is_fpop_d)); |
---|
917 | dff_s #(2) fcc_dff(.din (fcc_num_next[1:0]), |
---|
918 | .clk (clk), |
---|
919 | .q (fcc_num[1:0]), |
---|
920 | .se (se), .si(), .so()); |
---|
921 | |
---|
922 | // ldfsr |
---|
923 | mux2ds #(2) ldfsr_mux(.dout (ldfsr_next[1:0]), |
---|
924 | .in0 ({ldfsr, ldxfsr}), |
---|
925 | .in1 ({ifu_ffu_ldfsr_d, ifu_ffu_ldxfsr_d}), |
---|
926 | .sel0 (~ifu_ffu_fld_d), |
---|
927 | .sel1 (ifu_ffu_fld_d)); |
---|
928 | dff_s #(2) ldfsr_dff(.din (ldfsr_next[1:0]), |
---|
929 | .clk (clk), |
---|
930 | .q ({ldfsr, ldxfsr}), |
---|
931 | .se (se), .si(), .so()); |
---|
932 | |
---|
933 | // op code |
---|
934 | mux2ds #(9) opf_mux(.dout (opf_next[8:0]), |
---|
935 | .in0 (opf[8:0]), |
---|
936 | .in1 (ifu_ffu_fpopcode_d[8:0]), |
---|
937 | .sel0 (~is_fpop_d), |
---|
938 | .sel1 (is_fpop_d)); |
---|
939 | dff_s #(9) opf_dff(.din(opf_next[8:0]), |
---|
940 | .clk(clk), |
---|
941 | .q(opf[8:0]), |
---|
942 | .se(se), .si(), .so()); |
---|
943 | //---------- |
---|
944 | // FP Pipe |
---|
945 | //---------- |
---|
946 | dff_s fop_e2m(.din(any_op_e), .clk(clk), |
---|
947 | .q(any_op_m), |
---|
948 | .se(se), .si(), .so()); |
---|
949 | |
---|
950 | dff_s fop_m2w(.din(any_op_m_valid), .clk(clk), |
---|
951 | .q(any_op_w), |
---|
952 | .se(se), .si(), .so()); |
---|
953 | dff_s fop_w2w2(.din(any_op_w), .clk(clk), |
---|
954 | .q(any_op_w2), |
---|
955 | .se(se), .si(), .so()); |
---|
956 | |
---|
957 | dff_s fst_d2e(.din(ifu_ffu_fst_d), .clk(clk), |
---|
958 | .q (fst_e), |
---|
959 | .se(se), .si(), .so()); |
---|
960 | dff_s fst_e2m(.din(fst_e), .clk(clk), |
---|
961 | .q (fst_m), |
---|
962 | .se(se), .si(), .so()); |
---|
963 | dff_s fst_m2w(.din(fst_m), .clk(clk), |
---|
964 | .q (fst_w), |
---|
965 | .se(se), .si(), .so()); |
---|
966 | dff_s fld_d2e(.din(ifu_ffu_fld_d), .clk(clk), |
---|
967 | .q (fld_e), |
---|
968 | .se(se), .si(), .so()); |
---|
969 | dff_s fld_e2m(.din(fld_e), .clk(clk), |
---|
970 | .q (fld_m), |
---|
971 | .se(se), .si(), .so()); |
---|
972 | |
---|
973 | dff_s ren_rs2_e2m(.din(ren_rs2_e_vld), .clk(clk), |
---|
974 | .q(ren_rs2_m), |
---|
975 | .se(se), .si(), .so()); |
---|
976 | dff_s ren_rs2_m2w(.din(ren_rs2_m_vld), .clk(clk), |
---|
977 | .q(ren_rs2_w), |
---|
978 | .se(se), .si(), .so()); |
---|
979 | dff_s ren_rs2_w2w2(.din(ren_rs2_w), .clk(clk), |
---|
980 | .q(ren_rs2_w2), |
---|
981 | .se(se), .si(), .so()); |
---|
982 | dff_s ren_rs2_w22w3(.din(ren_rs2_w2), .clk(clk), |
---|
983 | .q(ren_rs2_w3), |
---|
984 | .se(se), .si(), .so()); |
---|
985 | dff_s ren_rs2_w32w4(.din(ren_rs2_w3), .clk(clk), |
---|
986 | .q(ren_rs2_w4), |
---|
987 | .se(se), .si(), .so()); |
---|
988 | |
---|
989 | dff_s ren_rs1_e2m(.din(ren_rs1_e), .clk(clk), |
---|
990 | .q(ren_rs1_m), |
---|
991 | .se(se), .si(), .so()); |
---|
992 | dff_s ren_rs1_m2w(.din(ren_rs1_m), .clk(clk), |
---|
993 | .q(ren_rs1_w), |
---|
994 | .se(se), .si(), .so()); |
---|
995 | dff_s ren_rs1_w2w2(.din(ren_rs1_w_vld), .clk(clk), |
---|
996 | .q(ren_rs1_w2), |
---|
997 | .se(se), .si(), .so()); |
---|
998 | dff_s ren_rs1_w22w3(.din(ren_rs1_w2_vld), .clk(clk), |
---|
999 | .q(ren_rs1_w3), |
---|
1000 | .se(se), .si(), .so()); |
---|
1001 | dff_s ren_rs1_w32w4(.din(ren_rs1_w3), .clk(clk), |
---|
1002 | .q(ren_rs1_w4), |
---|
1003 | .se(se), .si(), .so()); |
---|
1004 | dff_s ren_rs1_w42w5(.din(ren_rs1_w4), .clk(clk), |
---|
1005 | .q(ren_rs1_w5), |
---|
1006 | .se(se), .si(), .so()); |
---|
1007 | |
---|
1008 | dff_s cond_move_e2m(.din(cond_move_e), .clk(clk), |
---|
1009 | .q(cond_move_m), |
---|
1010 | .se(se), .si(), .so()); |
---|
1011 | |
---|
1012 | dff_s move_e2m(.din(move_e), .clk(clk), |
---|
1013 | .q(move_m), |
---|
1014 | .se(se), .si(), .so()); |
---|
1015 | dff_s move_m2w(.din(move_m_valid), .clk(clk), |
---|
1016 | .q(move_w), |
---|
1017 | .se(se), .si(), .so()); |
---|
1018 | dff_s move_wen_m2w(.din(move_wen_m), .clk(clk), .q(move_wen_w), |
---|
1019 | .se(se), .si(), .so()); |
---|
1020 | dff_s move_wen_w2w2(.din(move_wen_w), .clk(clk), .q(move_wen_w2), |
---|
1021 | .se(se), .si(), .so()); |
---|
1022 | dff_s move_wdff(.din(move_w_valid), .clk(clk), .q(move_w2), .se(se), .si(), .so()); |
---|
1023 | |
---|
1024 | dff_s stfsr_d2e(.din(ifu_ffu_stfsr_d), |
---|
1025 | .q(stfsr_e), |
---|
1026 | .clk(clk), |
---|
1027 | .se(se), .si(), .so()); |
---|
1028 | |
---|
1029 | dff_s fpu_op_e2m(.din(fpu_op_e), .clk(clk), |
---|
1030 | .q(fpu_op_m), |
---|
1031 | .se(se), .si(), .so()); |
---|
1032 | dff_s fpu_op_m2w(.din(fpu_op_m), .clk(clk), |
---|
1033 | .q(fpu_op_w), |
---|
1034 | .se(se), .si(), .so()); |
---|
1035 | dff_s fpu_op_w2w2(.din(fpu_op_w_vld), .clk(clk), |
---|
1036 | .q(fpu_op_w2), |
---|
1037 | .se(se), .si(), .so()); |
---|
1038 | dff_s fpu_op_w22w3(.din(fpu_op_w2_vld), .clk(clk), |
---|
1039 | .q(fpu_op_w3), |
---|
1040 | .se(se), .si(), .so()); |
---|
1041 | |
---|
1042 | dff_s #(2) tid_d2e(.din(ifu_ffu_tid_d[1:0]), |
---|
1043 | .clk(clk), |
---|
1044 | .q(tid_e[1:0]), |
---|
1045 | .se(se), .si(), .so()); |
---|
1046 | |
---|
1047 | dff_s #(2) tid_e2m(.din(tid_e[1:0]), |
---|
1048 | .clk(clk), |
---|
1049 | .q(tid_m[1:0]), |
---|
1050 | .se(se), .si(), .so()); |
---|
1051 | |
---|
1052 | dff_s #(2) tid_m2w(.din(tid_m[1:0]), |
---|
1053 | .clk(clk), |
---|
1054 | .q(tid_w[1:0]), |
---|
1055 | .se(se), .si(), .so()); |
---|
1056 | |
---|
1057 | dff_s #(2) tid_w2w2(.din(tid_w[1:0]), |
---|
1058 | .clk(clk), |
---|
1059 | .q(tid_w2[1:0]), |
---|
1060 | .se(se), .si(), .so()); |
---|
1061 | |
---|
1062 | dff_s dff_killed_w(.din(kill_m), |
---|
1063 | .clk(clk), |
---|
1064 | .q(killed_w), |
---|
1065 | .se(se), .si(), .so()); |
---|
1066 | |
---|
1067 | dff_s dff_flush_w2(.din(flush_w), .clk(clk), .q(flush_w2), .se(se), .si(), .so()); |
---|
1068 | |
---|
1069 | assign thr_match_mw2 = ~((tid_m[1] ^ tid_w2[1]) | |
---|
1070 | (tid_m[0] ^ tid_w2[0])); |
---|
1071 | assign thr_match_ww2 = ~((tid_w[1] ^ tid_w2[1]) | |
---|
1072 | (tid_w[0] ^ tid_w2[0])); |
---|
1073 | |
---|
1074 | assign thr_match_fpw2 = ~((tid[1] ^ tid_w2[1]) | |
---|
1075 | (tid[0] ^ tid_w2[0])); |
---|
1076 | |
---|
1077 | // new fpops squash previous ones (only possible in m or w, but w will also have ifu_tlu_flush_w) |
---|
1078 | // all kill_w signals do not include lsu_ffu_flush_pipe_w. This must be included at the final destination |
---|
1079 | assign flush_w = (lsu_ffu_flush_pipe_w | ifu_tlu_flush_w) & ~rolled_back; |
---|
1080 | assign any_op_e = fpop1_e | fpop2_e | fst_e | fld_e | visop_e; |
---|
1081 | assign any_op_m_valid = any_op_m & ~any_op_e; |
---|
1082 | assign kill_m = (thr_match_mw2 & flush_w2) | any_op_e; |
---|
1083 | assign kill_eccchk_w = (~ifu_tlu_inst_vld_w | killed_w | unimpl_op_w | any_op_e | |
---|
1084 | (thr_match_ww2 & flush_w2)) & ~rolled_back; |
---|
1085 | // unimplemented ops don't check rolled_back because they trap before rollback happens |
---|
1086 | assign kill_unimpl_w = (~ifu_tlu_inst_vld_w | killed_w | any_op_e |
---|
1087 | | (thr_match_ww2 & flush_w2)); |
---|
1088 | assign kill_w = (~ifu_tlu_inst_vld_w | killed_w | any_op_e | |
---|
1089 | unimpl_op_w | ffu_lsu_kill_fst_w | (thr_match_ww2 & flush_w2)) & ~rolled_back; |
---|
1090 | // this kills the "pending" signals that are set in the E stage. |
---|
1091 | // Since they are set in E all the kills can be delayed by one cycle without |
---|
1092 | // squashing a new, valid op |
---|
1093 | assign kill_fp = (thr_match_fpw2 & flush_w2 | any_op_e | |
---|
1094 | any_op_w & (~ifu_tlu_inst_vld_w | unimpl_op_w)) & ~rolled_back; |
---|
1095 | |
---|
1096 | |
---|
1097 | //---------------------------- |
---|
1098 | // Control for muxes that manipulate data to/from FRF |
---|
1099 | //---------------------------- |
---|
1100 | // implement fmov/fmovcc |
---|
1101 | assign move_wen_m = move_m | (cond_move_m & ifu_ffu_mvcnd_m); |
---|
1102 | assign move_wen_w2_valid = move_wen_w2 & move_w2_vld; |
---|
1103 | assign move_m_valid = (move_m | cond_move_m); |
---|
1104 | // used for updating fsr |
---|
1105 | assign move_w_valid = move_w & ~kill_w; |
---|
1106 | assign move_w2_vld = move_w2 & ~flush_w2 & ~rollback_rs2_w2 & ~(rs2_ue_w2 & nceen); |
---|
1107 | |
---|
1108 | // negation or absolute value happen to rs2 in the m_stage if needed |
---|
1109 | assign ctl_dp_sign[1] = (dp_ctl_rs2_sign[1] ^ neg_w) & ~abs_w; |
---|
1110 | assign ctl_dp_sign[0] = (source_single) ? |
---|
1111 | (dp_ctl_rs2_sign[0] ^ neg_w) & ~abs_w : |
---|
1112 | dp_ctl_rs2_sign[0]; |
---|
1113 | |
---|
1114 | // |
---|
1115 | // Shifts to align sgl precision 32b data |
---|
1116 | // |
---|
1117 | // mux for moving around single data from frf |
---|
1118 | |
---|
1119 | // shift on moves or stores |
---|
1120 | assign shift_frf_rs2_m = (rs2[0] ^ rd[0]) & (move_m | cond_move_m | visop_m) & ~fst_e; |
---|
1121 | assign shift_frf_rs1_w = (rs1[0] ^ rd[0]) & visop_w_vld; //check for squash |
---|
1122 | |
---|
1123 | assign shift_frf_right_next = (source_single & shift_frf_rs2_m & ~rs2[0]) | |
---|
1124 | (source_single & shift_frf_rs1_w & ~rs1[0]) | |
---|
1125 | (dest_single_e & fst_e & ~rd_e[0]); |
---|
1126 | |
---|
1127 | assign shift_frf_left_next = ((source_single & rs2[0] & (shift_frf_rs2_m | fpu_op_m & ~fst_e) | |
---|
1128 | source_single & rs1[0] & (shift_frf_rs1_w | fpu_op_w_vld)) |
---|
1129 | & ~shift_frf_right_next); |
---|
1130 | |
---|
1131 | assign noshift64_frf_next = ~(shift_frf_right_next | shift_frf_left_next); |
---|
1132 | |
---|
1133 | assign ctl_dp_shift_frf_right = shift_frf_right & ~rst_tri_en; |
---|
1134 | assign ctl_dp_shift_frf_left = shift_frf_left & ~rst_tri_en; |
---|
1135 | assign ctl_dp_noshift64_frf = noshift64_frf | rst_tri_en; |
---|
1136 | |
---|
1137 | // fpu expects lower 32 bits to be zero on single operands |
---|
1138 | assign zero_lower_data_next = ((source_single & ~rs1[0] & fpu_op_w_vld) | |
---|
1139 | (source_single & ~rs2[0] & fpu_op_m)); |
---|
1140 | |
---|
1141 | dff_s shift_frf_right_dff(.din(shift_frf_right_next), .clk(clk), .q(shift_frf_right), |
---|
1142 | .se(se), .si(), .so()); |
---|
1143 | dff_s shift_frf_left_dff(.din(shift_frf_left_next), .clk(clk), .q(shift_frf_left), |
---|
1144 | .se(se), .si(), .so()); |
---|
1145 | dff_s noshift64_dff(.din(noshift64_frf_next), .clk(clk), .q(noshift64_frf), |
---|
1146 | .se(se), .si(), .so()); |
---|
1147 | dff_s noshift32_dff(.din(zero_lower_data_next), .clk(clk), .q(ctl_dp_zero_low32_frf), |
---|
1148 | .se(se), .si(), .so()); |
---|
1149 | |
---|
1150 | wire flip_fpu; |
---|
1151 | wire flip_lsu; |
---|
1152 | // mux for rearranging data from fpu |
---|
1153 | // data comes in with msb always at b63. This means that singles with an odd |
---|
1154 | // rd must be flipped so that the data ends up in the correct |
---|
1155 | // registers. |
---|
1156 | assign flip_fpu = (dest_single & rd[0]);// single with odd rd |
---|
1157 | |
---|
1158 | // mux for rearranging data from lsu |
---|
1159 | // data comes in [63:0]. This means that singles with an even |
---|
1160 | // rd must be flipped so that the data ends up in the correct |
---|
1161 | // registers. |
---|
1162 | assign flip_lsu = (dest_single & ~rd[0]);// single with even rd |
---|
1163 | |
---|
1164 | assign ctl_dp_noflip_lsu = ld_ret & ~flip_lsu; |
---|
1165 | assign ctl_dp_flip_lsu = ld_ret & flip_lsu; |
---|
1166 | assign ctl_dp_noflip_fpu = ~ld_ret & ~flip_fpu & is_fpu_result & ~cpx_fcmp_d1; |
---|
1167 | assign ctl_dp_flip_fpu = ~ld_ret & ~ctl_dp_noflip_fpu; |
---|
1168 | |
---|
1169 | |
---|
1170 | //--------------------------------- |
---|
1171 | // LSU Interface |
---|
1172 | //--------------------------------- |
---|
1173 | |
---|
1174 | // Note that stores fit into the standard pipeline so they are automatically |
---|
1175 | // accepted and do not require an ACK. The lsu will check for kills in m and w. |
---|
1176 | |
---|
1177 | assign store_ready = fst_m | bst_issue_c3; |
---|
1178 | assign fpu_op_w_vld = fpu_op_w & ~kill_w; |
---|
1179 | assign fpu_op_w2_vld = fpu_op_w2 & ~flush_w2 & ~ecc_kill_rs2_w2; |
---|
1180 | assign fpu_op_w3_vld = fpu_op_w3 & ~ue_trap_w3 & ~rollback_rs1_w3; |
---|
1181 | // don't qual with inst_vld since it takes too much time? |
---|
1182 | // Resolved with Sanjay: |
---|
1183 | // Will never receive ack in the same cycle req was first made |
---|
1184 | assign fpop1_ready_w2_next = (fpu_op_w3_vld | |
---|
1185 | (fpop1_ready_w2 & ~lsu_ffu_ack)); |
---|
1186 | |
---|
1187 | dffr_s #1 fpop1_w2_dff(.din (fpop1_ready_w2_next), |
---|
1188 | .q (fpop1_ready_w2), |
---|
1189 | .rst (reset), |
---|
1190 | .clk (clk), .se(se), .si(), .so()); |
---|
1191 | |
---|
1192 | // once op1 has been accepted, move to w2, and in the next cycle op2 is ready |
---|
1193 | // |
---|
1194 | // C1 -- recv ack, send op1 (fpop1_ready_w2) |
---|
1195 | // C2 -- send op2 (fpop2_ready_w3) |
---|
1196 | assign fpop2_ready_w3_next = fpop1_ready_w2 & lsu_ffu_ack; |
---|
1197 | |
---|
1198 | dff_s fpop2_w22w3(.din (fpop2_ready_w3_next), |
---|
1199 | .q (fpop2_ready_w3), |
---|
1200 | .clk(clk), .se(se), .si(), .so()); |
---|
1201 | |
---|
1202 | |
---|
1203 | // request in W2 and wait till an ack is received |
---|
1204 | // Will never receive ack in the same cycle req was first made |
---|
1205 | assign ffu_lsu_fpop_rq_vld = fpu_op_w3_vld; |
---|
1206 | |
---|
1207 | // valid pkt sent to lsu (after request) |
---|
1208 | assign issue_fpop2 = fpop2_ready_w3 & ~opf[7];// not conversion op |
---|
1209 | assign lsu_pkt_vld = fpop1_ready_w2 | fpu_op_w3_vld | issue_fpop2 | store_ready; |
---|
1210 | |
---|
1211 | assign lsu_pkt_type[1:0] = {store_ready, fpop2_ready_w3}; |
---|
1212 | |
---|
1213 | // Create packet for LSU: ffu_lsu_data[80:0] |
---|
1214 | // 80 = vld |
---|
1215 | // 79:78 = type (00 = fpu operand 1, 01 = fpu operand 2, 10 = fp store) |
---|
1216 | // 77:76 = tid |
---|
1217 | // 75:68 = floating point opcode |
---|
1218 | // 67:66 = fcc |
---|
1219 | // 65:64 = rounding mode |
---|
1220 | // 63:0 = data |
---|
1221 | assign ffu_lsu_data[80:64] = {lsu_pkt_vld, |
---|
1222 | lsu_pkt_type[1:0], |
---|
1223 | extra_tid[1:0], |
---|
1224 | opf[7:0], |
---|
1225 | fcc_num[1:0], |
---|
1226 | fpu_rnd[1:0]}; // rounding mode |
---|
1227 | |
---|
1228 | // Select data to send to LSU. This is calculated one cycle early and flopped |
---|
1229 | assign output_sel_rs1_next = fpop2_ready_w3_next & ~fst_e & ~bst_issue_c3_next; // rs2 is sent first (fpop1) |
---|
1230 | assign output_sel_frf_next = fst_e & ~stfsr_e | bst_issue_c3_next; // store data |
---|
1231 | assign output_sel_fsr_next = fst_e & stfsr_e & ~bst_issue_c3_next; |
---|
1232 | assign output_sel_rs2_next = ~(fpop2_ready_w3_next | fst_e | bst_issue_c3_next); |
---|
1233 | assign ctl_dp_output_sel_rs1 = output_sel_rs1 & ~rst_tri_en; |
---|
1234 | assign ctl_dp_output_sel_frf = output_sel_frf & ~rst_tri_en; |
---|
1235 | assign ctl_dp_output_sel_fsr = output_sel_fsr & ~rst_tri_en; |
---|
1236 | assign ctl_dp_output_sel_rs2 = output_sel_rs2 | rst_tri_en; |
---|
1237 | dff_s #(4) output_sel_dff(.din({output_sel_rs1_next,output_sel_rs2_next,output_sel_frf_next,output_sel_fsr_next}), |
---|
1238 | .q({output_sel_rs1,output_sel_rs2,output_sel_frf,output_sel_fsr}), |
---|
1239 | .clk(clk), .se(se), .si(), .so()); |
---|
1240 | |
---|
1241 | |
---|
1242 | dff_s #1 sfsrw_ff(.din (ctl_dp_output_sel_fsr), |
---|
1243 | .q (stfsr_w), |
---|
1244 | .clk (clk), .se(se), .si(), .so()); |
---|
1245 | dff_s stfsr_wdff(.din(stfsr_qual_w), .clk(clk), .q(stfsr_w2), .se(se), .si(), .so()); |
---|
1246 | assign stfsr_qual_w = (stfsr_w & ~kill_w); |
---|
1247 | assign stfsr_w2_vld = stfsr_w2 & ~flush_w2; |
---|
1248 | |
---|
1249 | |
---|
1250 | //------------------------------------------------------ |
---|
1251 | // Block Stores |
---|
1252 | //------------------------------------------------------ |
---|
1253 | // interface with lsu. bst packet issues in c3 |
---|
1254 | // check for stb_full so it doesn't confuse lsu. Don't have to count inflight packets |
---|
1255 | // because none exist by bst_issue_c2 |
---|
1256 | assign ffu_lsu_blk_st_e = bst_issue_c2 & ~stb_full_c2; |
---|
1257 | assign ffu_lsu_blk_st_va_e[5:3] = bst_cnt[2:0]; |
---|
1258 | assign bst_done = bst_issue_c4 & (bst_cnt[2:0] == 3'b111) & ~bst_ce_c4 & ~(bst_ue_c4 & nceen); |
---|
1259 | |
---|
1260 | mux4ds stb_full_mux (.dout(stb_full_c2), |
---|
1261 | .in0(stb_full0), |
---|
1262 | .in1(stb_full1), |
---|
1263 | .in2(stb_full2), |
---|
1264 | .in3(stb_full3), |
---|
1265 | .sel0(ctl_dp_fp_thr[0]), |
---|
1266 | .sel1(ctl_dp_fp_thr[1]), |
---|
1267 | .sel2(ctl_dp_fp_thr[2]), |
---|
1268 | .sel3(ctl_dp_fp_thr[3])); |
---|
1269 | |
---|
1270 | assign other_mem_op_e = exu_ffu_ist_e | ifu_tlu_flsh_inst_e | ifu_lsu_ld_inst_e; |
---|
1271 | assign can_issue_bst_c2 = (~other_mem_op_e & ~stb_full_c2); |
---|
1272 | assign bst_m = fst_m & blk_asi_m; |
---|
1273 | |
---|
1274 | assign bst_rs[5:0] = {rd[5:4], bst_cnt[2:0], 1'b0}; |
---|
1275 | |
---|
1276 | // bst starts when bst hits w and is done when the 7th pckt has issued |
---|
1277 | assign bst_issue_c1_next = ((bst_w & ~kill_w) | |
---|
1278 | (bst_issue_c4 & ~(bst_cnt[2:0] == 3'b111) & ~bst_ce_c4 & |
---|
1279 | ~(bst_ue_c4 & nceen)) | bst_issue_c6); |
---|
1280 | |
---|
1281 | // sotheas,9/14/04: fixed eco 6910, suppress block store start on dtlb perr |
---|
1282 | // using registered version of lsu_ffu_st_dtlb_perr_g |
---|
1283 | // WAS: |
---|
1284 | // assign bst_issue_c2_next = ((bst_issue_c1 & ~(any_op_w2 & flush_w2)) | (bst_issue_c2 & ~can_issue_bst_c2)) & ~reset; |
---|
1285 | // IS: |
---|
1286 | dff_s #1 st_dtlbperr_ff(.din (!lsu_ffu_st_dtlb_perr_g), |
---|
1287 | .q (st_dtlb_perr_w2_l), |
---|
1288 | .clk (clk), .se(se), .si(), .so()); |
---|
1289 | assign bst_issue_c2_next = ((bst_issue_c1 & ~(any_op_w2 & flush_w2) & st_dtlb_perr_w2_l) |
---|
1290 | | (bst_issue_c2 & ~can_issue_bst_c2)) & ~reset; |
---|
1291 | assign bst_issue_c3_next = bst_issue_c2 & can_issue_bst_c2 & ~reset; |
---|
1292 | assign bst_issue_c4_next = bst_issue_c3 & ~reset; |
---|
1293 | assign bst_issue_c5_next = bst_issue_c4 & bst_ce_c4 & ~reset; |
---|
1294 | assign bst_issue_c6_next = bst_issue_c5 & ~reset; |
---|
1295 | |
---|
1296 | // bst keeps reading in both c1 and c2 in case it stalls in c2 |
---|
1297 | assign bst_read_req = bst_issue_c1 | bst_issue_c2; |
---|
1298 | // counter resets to 1 when bst hits w, increments when one is issued to lsu without ce |
---|
1299 | assign bst_cnt_next[2:0] = (bst_w? 3'b001: |
---|
1300 | (bst_issue_c4 & ~bst_ce_c4)? (bst_cnt[2:0] + 3'b001): |
---|
1301 | bst_cnt[2:0]); |
---|
1302 | |
---|
1303 | /////////////////// |
---|
1304 | // bst starvation |
---|
1305 | //---------------- |
---|
1306 | // when six bit counter saturates then a req to stall inst issue is made |
---|
1307 | // The request stays high until a bst gets issued |
---|
1308 | /////////////////// |
---|
1309 | assign ffu_ifu_stallreq = bst_stall_req; |
---|
1310 | assign bst_stall_req_next = ((bst_stall_cnt[5:0] == 6'b111111) & bst_issue_c2 & ~can_issue_bst_c2 | |
---|
1311 | bst_stall_req & other_mem_op_e); |
---|
1312 | assign bst_stall_cnt_next[5:0] = (~bst_issue_c2)? 6'd0: bst_stall_cnt[5:0] + 6'd1; |
---|
1313 | |
---|
1314 | ///////////////////// |
---|
1315 | // bst ecc control |
---|
1316 | ///////////////////// |
---|
1317 | // if a ce occurs even after correction then it is converted to a ue |
---|
1318 | assign bst_ue_c4 = bst_issue_c4 & (previous_ue | (fixed_bst_ce & |previous_ce[1:0])); |
---|
1319 | assign bst_ce_c4 = bst_issue_c4 & |previous_ce[1:0] & ~fixed_bst_ce & ~previous_ue; |
---|
1320 | assign fixed_bst_ce_next = bst_ce_c4 | (fixed_bst_ce & ~bst_issue_c4); |
---|
1321 | |
---|
1322 | dff_s #(4) stb_full_dff(.din({lsu_ffu_stb_full0,lsu_ffu_stb_full1,lsu_ffu_stb_full2,lsu_ffu_stb_full3}), |
---|
1323 | .q({stb_full0, stb_full1, stb_full2, stb_full3}), |
---|
1324 | .clk(clk), .se(se), .si(), .so()); |
---|
1325 | dff_s blk_asi_dff(.din(lsu_ffu_blk_asi_e), .clk(clk), .q(blk_asi_m), |
---|
1326 | .se(se), .si(), .so()); |
---|
1327 | dffr_s bst_fix_ce_dff(.din(fixed_bst_ce_next), .clk(clk), .q(fixed_bst_ce), |
---|
1328 | .se(se), .si(), .so(), .rst(reset)); |
---|
1329 | dff_s #(3) bst_cnt_dff(.din(bst_cnt_next[2:0]), .clk(clk), .q(bst_cnt[2:0]), |
---|
1330 | .se(se), .si(), .so()); |
---|
1331 | dff_s bst_m2w(.din(bst_m), .clk(clk), .q(bst_w), .se(se), .si(), .so()); |
---|
1332 | dff_s bst_issue_c1_dff(.din(bst_issue_c1_next), .clk(clk), .q(bst_issue_c1), .se(se), |
---|
1333 | .si(), .so()); |
---|
1334 | dff_s bst_issue_c2_dff(.din(bst_issue_c2_next), .clk(clk), .q(bst_issue_c2), .se(se), |
---|
1335 | .si(), .so()); |
---|
1336 | dff_s bst_issue_c3_dff(.din(bst_issue_c3_next), .clk(clk), .q(bst_issue_c3), .se(se), |
---|
1337 | .si(), .so()); |
---|
1338 | dff_s bst_issue_c4_dff(.din(bst_issue_c4_next), .clk(clk), .q(bst_issue_c4), .se(se), |
---|
1339 | .si(), .so()); |
---|
1340 | dff_s bst_issue_c5_dff(.din(bst_issue_c5_next), .clk(clk), .q(bst_issue_c5), .se(se), |
---|
1341 | .si(), .so()); |
---|
1342 | dff_s bst_issue_c6_dff(.din(bst_issue_c6_next), .clk(clk), .q(bst_issue_c6), .se(se), |
---|
1343 | .si(), .so()); |
---|
1344 | dff_s #(6) bst_stall_cntdff(.din(bst_stall_cnt_next[5:0]), .clk(clk), .q(bst_stall_cnt[5:0]), |
---|
1345 | .se(se), .si(), .so()); |
---|
1346 | dffr_s bst_stall_reqdff(.din(bst_stall_req_next), .clk(clk), .q(bst_stall_req), |
---|
1347 | .se(se), .si(), .so(), .rst(reset)); |
---|
1348 | |
---|
1349 | //---------------------------------------- |
---|
1350 | // Decode Returning FPU/LSU packets |
---|
1351 | //---------------------------------------- |
---|
1352 | |
---|
1353 | // FPU result pulled off of cpx |
---|
1354 | assign is_fpu_result = (cpx_req_d1 == `FP_RET) ? |
---|
1355 | cpx_vld_d1 & fp_pending : 1'b0; |
---|
1356 | assign ld_ret = lsu_ffu_ld_vld & ~(thr_match_fpw2 & flush_w2) & (blk_load_pending | load_pending); |
---|
1357 | |
---|
1358 | // select frf write data |
---|
1359 | // don't write data on Fcompares |
---|
1360 | assign ctl_dp_rs2_sel_fpu_lsu = is_fpu_result & ~cpx_fcmp_d1 | ld_ret; |
---|
1361 | assign ctl_dp_rs2_sel_vis = vis_result & ~ctl_dp_rs2_sel_fpu_lsu; |
---|
1362 | assign ctl_dp_rs2_frf_read = (ren_rs2_w | ctl_dp_rd_ecc) & ~ctl_dp_rs2_sel_fpu_lsu & ~vis_result; |
---|
1363 | assign ctl_dp_rs2_keep_data = ~(ren_rs2_w | ctl_dp_rd_ecc | vis_result | |
---|
1364 | ctl_dp_rs2_sel_fpu_lsu); |
---|
1365 | |
---|
1366 | // selects for rs2 result mux |
---|
1367 | assign ctl_dp_rd_ecc = fst_ce_w | rollback_rs2_w2 | bst_ce_c4 | rollback_rs1_w3; |
---|
1368 | |
---|
1369 | // Selects for rs1 mux |
---|
1370 | assign ctl_dp_new_rs1 = ren_rs1_w2; |
---|
1371 | |
---|
1372 | //---------------------------------------- |
---|
1373 | // FRF Controls |
---|
1374 | //---------------------------------------- |
---|
1375 | // WEN for frf from load, FPU result or mov |
---|
1376 | assign external_wen_next = ld_ret & ~(ldfsr | ldxfsr) | (is_fpu_result & ~cpx_fcmp_d1 & ~take_ieee_trap); |
---|
1377 | assign rf_ecc_gen_next = external_wen_next | vis_wen_next; |
---|
1378 | |
---|
1379 | dff_s rf_eccgen_dff(.din(rf_ecc_gen_next), .q(rf_ecc_gen), .clk(clk), .se(se), .si(), .so()); |
---|
1380 | dff_s rf_wen_dff(.din(rf_wen_next), .q(rf_wen), .clk(clk), .se(se), .si(), .so()); |
---|
1381 | // check for flush_pipe for moves |
---|
1382 | assign rf_wen_next = rf_ecc_gen & ~(any_op_w2 & flush_w2) | move_wen_w2_valid; |
---|
1383 | |
---|
1384 | |
---|
1385 | // REN and WEN must be mutually exclusive. This works because WEN is always after W |
---|
1386 | // if a new fpop has arrived to cancel it. |
---|
1387 | // The even register is the upper half, odd is the lower half |
---|
1388 | assign ctl_frf_wen[1] = ((rf_wen & ~rd[0]) | ecc_wen[1]) & ~ctl_frf_ren; // double or even sgl |
---|
1389 | assign ctl_frf_wen[0] = ((rf_wen & (~dest_single | rd[0])) | ecc_wen[0]) & ~ctl_frf_ren; // dbl or odd sgl |
---|
1390 | |
---|
1391 | // REN for frf -- rd rs2 in D, rs1 in E |
---|
1392 | assign read_rs2 = ren_rs2_e; |
---|
1393 | assign read_rs1 = ren_rs1_m; |
---|
1394 | assign read_rd = ifu_ffu_fst_d; |
---|
1395 | assign read_bst = bst_read_req; |
---|
1396 | // expanded out the terms for reading rs2 to help timing |
---|
1397 | assign ctl_frf_ren = (read_rs1 | read_rs2 | |
---|
1398 | ifu_ffu_fst_d | bst_read_req); |
---|
1399 | |
---|
1400 | assign early_frf_rnum[5:1] = read_rs2? rs2_next[5:1]: |
---|
1401 | read_rs1? rs1[5:1]: |
---|
1402 | read_bst? bst_rs[5:1]: |
---|
1403 | write_addr[5:1]; |
---|
1404 | assign st_rd_d[5:1] = {ifu_ffu_frd_d[0] & ~ifu_ffu_ldst_single_d, ifu_ffu_frd_d[4:1]}; |
---|
1405 | mux2ds #5 frf_rnum_mux(.dout(frf_rnum[5:1]), |
---|
1406 | .in0(early_frf_rnum[5:1]), |
---|
1407 | .in1(st_rd_d[5:1]), |
---|
1408 | .sel0(~read_rd), |
---|
1409 | .sel1(read_rd)); |
---|
1410 | |
---|
1411 | assign frf_tid[1:0] = (read_rd)? ifu_ffu_tid_d[1:0]: tid_next[1:0]; |
---|
1412 | |
---|
1413 | assign wen_rs2_ecc = |ecc_wen[1:0] & ren_rs2_w4; |
---|
1414 | assign wen_rs1_ecc = |ecc_wen[1:0] & ren_rs1_w5; |
---|
1415 | assign blk_rd[5:1] = rd[5:1] + {2'b0, bld_cnt_d3[2:0]}; |
---|
1416 | assign write_addr[5:1] = wen_rs2_ecc? rs2[5:1] : |
---|
1417 | wen_rs1_ecc? rs1[5:1] : |
---|
1418 | bst_issue_c6? bst_rs[5:1]: |
---|
1419 | blk_load_pending? blk_rd[5:1]: |
---|
1420 | rd[5:1]; |
---|
1421 | |
---|
1422 | // Address is combination of tid and rnum |
---|
1423 | assign ctl_frf_addr[6:0] = {frf_tid[1:0], frf_rnum[5:1]}; |
---|
1424 | |
---|
1425 | //---------------------------------------- |
---|
1426 | // Data from FPU forwarded to IFU |
---|
1427 | //---------------------------------------- |
---|
1428 | // Send thrid to IFU |
---|
1429 | assign ffu_ifu_tid_w2[1:0] = tid; |
---|
1430 | |
---|
1431 | // completion is always signalled after the w-stage so that flush_pipe, etc. |
---|
1432 | // can be checked. For lds and fpops this is signalled after they write. |
---|
1433 | // ecc_kill_rs2_w is checked for move and fst because the "compeletion" |
---|
1434 | // is signalled over a separate interface so rollback can occur. |
---|
1435 | // This is staged 2 cycles to allow for the cycle of ecc generation. |
---|
1436 | // |
---|
1437 | assign ffu_op_done_next = ((is_fpu_result & ~take_ieee_trap) | fld_done | |
---|
1438 | blk_ld_done | bst_done | vis_result | |
---|
1439 | fst_w & ~bst_w & ~kill_w); |
---|
1440 | dff_s ffu_op_done_dff(.din(ffu_op_done_next), .clk(clk), .q(ffu_op_done), |
---|
1441 | .se(se), .si(), .so()); |
---|
1442 | // sotheas,9/14/04: fixed eco 6910, send done on dtlb perr for block store |
---|
1443 | // using registered version of lsu_ffu_st_dtlb_perr_g |
---|
1444 | // WAS: |
---|
1445 | // assign ffu_op_done_vld = ffu_op_done & ~(any_op_w2 & flush_w2) | move_w2_vld; |
---|
1446 | assign ffu_op_done_vld = (ffu_op_done | (bst_issue_c1 & !st_dtlb_perr_w2_l) ) |
---|
1447 | & ~(any_op_w2 & flush_w2) | move_w2_vld; |
---|
1448 | dff_s ffu_op_done2_dff(.din(ffu_op_done_vld), .clk(clk), .q(ffu_ifu_fpop_done_w2), |
---|
1449 | .se(se), .si(), .so()); |
---|
1450 | |
---|
1451 | //------------------------------------------ |
---|
1452 | // FSR Controls |
---|
1453 | //------------------------------------------ |
---|
1454 | |
---|
1455 | assign ctl_dp_fp_thr[0] = ~extra_tid[1] & ~extra_tid[0]; |
---|
1456 | assign ctl_dp_fp_thr[1] = ~extra_tid[1] & extra_tid[0]; |
---|
1457 | assign ctl_dp_fp_thr[2] = extra_tid[1] & ~extra_tid[0]; |
---|
1458 | assign ctl_dp_fp_thr[3] = extra_tid[1] & extra_tid[0]; |
---|
1459 | |
---|
1460 | // CC's |
---|
1461 | assign fcc_num_dec[0] = ~fcc_num[1] & ~fcc_num[0]; |
---|
1462 | assign fcc_num_dec[1] = ~fcc_num[1] & fcc_num[0]; |
---|
1463 | assign fcc_num_dec[2] = fcc_num[1] & ~fcc_num[0]; |
---|
1464 | assign fcc_num_dec[3] = fcc_num[1] & fcc_num[0]; |
---|
1465 | |
---|
1466 | // selects to load next fsr from |
---|
1467 | // stfsr or fmov always clear ftt |
---|
1468 | assign clear_ftt = stfsr_w2_vld | move_w2_vld | is_fpu_result; |
---|
1469 | |
---|
1470 | assign ctl_dp_fsr_sel_fpu[3:0] = ({4{is_fpu_result | move_w2_vld | take_other_trap | stfsr_w2_vld}} |
---|
1471 | & ctl_dp_fp_thr[3:0]); |
---|
1472 | assign ctl_dp_fsr_sel_ld[3:0] = ({4{ld_ret & (ldfsr | ldxfsr)}} & |
---|
1473 | ~ctl_dp_fsr_sel_fpu[3:0] & ctl_dp_fp_thr[3:0]); |
---|
1474 | assign ctl_dp_fsr_sel_old[3:0] = (~ctl_dp_fsr_sel_fpu[3:0] & ~ctl_dp_fsr_sel_ld[3:0]); |
---|
1475 | |
---|
1476 | // align fcc depending on which fcc_num was used |
---|
1477 | mux4ds #8 fcc_ret_mux(.dout (fpu_fcc[7:0]), |
---|
1478 | .in0 ({dp_ctl_fsr_fcc[7:2], cpx_fccval_d1[1:0]}), |
---|
1479 | .in1 ({dp_ctl_fsr_fcc[7:4], cpx_fccval_d1[1:0], dp_ctl_fsr_fcc[1:0]}), |
---|
1480 | .in2 ({dp_ctl_fsr_fcc[7:6], cpx_fccval_d1[1:0], dp_ctl_fsr_fcc[3:0]}), |
---|
1481 | .in3 ({cpx_fccval_d1[1:0], dp_ctl_fsr_fcc[5:0]}), |
---|
1482 | .sel0 (fcc_num_dec[0]), |
---|
1483 | .sel1 (fcc_num_dec[1]), |
---|
1484 | .sel2 (fcc_num_dec[2]), |
---|
1485 | .sel3 (fcc_num_dec[3])); |
---|
1486 | |
---|
1487 | // set fcc if this was an fcmp instruction |
---|
1488 | assign fcc_sel_fpu = cpx_fcmp_d1 & ~ieee_trap & is_fpu_result; |
---|
1489 | assign fcc_sel_ld = ~is_fpu_result & ldfsr_vld; |
---|
1490 | assign fcc_sel_ldx = ~is_fpu_result & ~ldfsr_vld & ldxfsr_vld; |
---|
1491 | assign fcc_sel_old = ~fcc_sel_fpu & ~fcc_sel_ld & ~fcc_sel_ldx; |
---|
1492 | mux4ds #8 fcc_set_mux(.dout (ctl_dp_fcc_w2[7:0]), |
---|
1493 | .in0 (dp_ctl_fsr_fcc[7:0]), |
---|
1494 | .in1 (fpu_fcc[7:0]), |
---|
1495 | .in2 (dp_ctl_ld_fcc[7:0]), |
---|
1496 | .in3 ({dp_ctl_fsr_fcc[7:2], dp_ctl_ld_fcc[1:0]}), |
---|
1497 | .sel0 (fcc_sel_old), |
---|
1498 | .sel1 (fcc_sel_fpu), |
---|
1499 | .sel2 (fcc_sel_ldx), |
---|
1500 | .sel3 (fcc_sel_ld)); |
---|
1501 | |
---|
1502 | // get fcc's from ldfsr instruction |
---|
1503 | assign ldfsr_vld = ldfsr & load_pending; |
---|
1504 | assign ldxfsr_vld = ldxfsr & load_pending; |
---|
1505 | |
---|
1506 | wire cc_changed_w2; |
---|
1507 | |
---|
1508 | // fcc set by fcmp, ldfsr or ldxfsr |
---|
1509 | assign cc_changed = fcc_sel_fpu | |
---|
1510 | fld_done & (ldfsr_vld | ldxfsr_vld); |
---|
1511 | |
---|
1512 | dff_s cc_changed_dff(.din(cc_changed), .clk(clk), .q(cc_changed_w2), |
---|
1513 | .se(se), .si(), .so()); |
---|
1514 | dff_s #(8) cc_next(.din(ctl_dp_fcc_w2[7:0]), .clk(clk), .q(ffu_ifu_cc_w2[7:0]), |
---|
1515 | .se(se), .si(), .so()); |
---|
1516 | |
---|
1517 | assign ffu_ifu_cc_vld_w2[3:0] = ctl_dp_fp_thr[3:0] & {4{cc_changed_w2}}; |
---|
1518 | |
---|
1519 | //----------------------------------- |
---|
1520 | // Traps |
---|
1521 | //----------------------------------- |
---|
1522 | |
---|
1523 | // illegal instruction if blk ld/st is not 8 dp regs aligned |
---|
1524 | dff_s illegal_vis_e2m (.din(illegal_vis_e), .clk(clk), .q(illegal_vis_m), |
---|
1525 | .se(se), .si(), .so()); |
---|
1526 | assign illegal_blk_m = (blk_ld_m | bst_m) & (rd[0] | rd[1] | rd[2] | rd[3]) & ~dest_single; |
---|
1527 | assign ffu_tlu_ill_inst_m = illegal_blk_m | illegal_vis_m; |
---|
1528 | |
---|
1529 | assign ctl_dp_ftt_w2 = take_ieee_trap ? 3'b001 : |
---|
1530 | unimpl_qual_w2 ? 3'b011 : |
---|
1531 | clear_ftt ? 3'b000 : |
---|
1532 | 3'bxxx; |
---|
1533 | |
---|
1534 | // SPARC V9 Underflow, Overflow, Inexact behavior: |
---|
1535 | // |
---|
1536 | // Exception(s) | Current |
---|
1537 | // Detected Trap Enable | fp_ Exception |
---|
1538 | // in f.p. Mask Bits | exception_ Bits (in |
---|
1539 | // operation (in FSR.TEM) | ieee_754 FSR.cexc) |
---|
1540 | // ----------- ------------ | Trap ----------- |
---|
1541 | // of uf nx OFM UFM NXM | Occurs? ofc ufc nxc Notes |
---|
1542 | // --- --- --- --- --- --- | ---------- --- --- --- ----- |
---|
1543 | // - - - x x x | no 0 0 0 |
---|
1544 | // - - * x x 0 | no 0 0 1 |
---|
1545 | // - * * x 0 0 | no 0 1 1 |
---|
1546 | // * - * 0 x 0 | no 1 0 1 (2) |
---|
1547 | // | |
---|
1548 | // - - * x x 1 | yes 0 0 1 |
---|
1549 | // - * * x 0 1 | yes 0 0 1 |
---|
1550 | // - * - x 1 x | yes 0 1 0 |
---|
1551 | // - * * x 1 x | yes 0 1 0 |
---|
1552 | // * - * 1 x x | yes 1 0 0 (2) |
---|
1553 | // * - * 0 x 1 | yes 0 0 1 (2) |
---|
1554 | // |
---|
1555 | // (2) Overflow is always accompanied by inexact. |
---|
1556 | // |
---|
1557 | // |
---|
1558 | // The FPU does not receive FSR.TEM bits. FSR.TEM bits are used within |
---|
1559 | // the FFU for the following cases: |
---|
1560 | // (1) fp_exception_ieee_754 trap detection |
---|
1561 | // If a FPop generates an IEEE exception (nv, of, uf, dz, nx) for |
---|
1562 | // which the corresponding trap enable (TEM) is set, then a |
---|
1563 | // fp_exception_ieee_754 trap is caused. FSR.cexc field has one bit |
---|
1564 | // set corresponding to the IEEE exception, and FSR.aexc field is |
---|
1565 | // unchanged. |
---|
1566 | // (2) Clear FSR.nxc if an overflow (underflow) exception does trap |
---|
1567 | // because FSR.OFM (FSR.UFM) is set, regardless of whether FSR.NXM |
---|
1568 | // is set. Set FSR.ofc (FSR.ufc). |
---|
1569 | // (3) Clear FSR.ofc (FSR.ufc) if overflow (underflow) exception traps |
---|
1570 | // and FSR.OFM (FSR.UFM) is not set and FSR.NXM is set. Set FSR.nxc. |
---|
1571 | // (4) Clear FSR.ufc if the result is exact (FSR.nxc is not set) and |
---|
1572 | // FSR.UFM is not set. This case represents an exact denormalized |
---|
1573 | // result. |
---|
1574 | // |
---|
1575 | // Note: - FPU will signal underflow to the FFU for all "tiny" results. |
---|
1576 | // - FPU always reports inexact along with overflow. |
---|
1577 | dff_s #(5) tem_dff(.din(dp_ctl_fsr_tem[4:0]), .clk(clk), .q(fsr_tem_d1), |
---|
1578 | .se(se), .si(), .so()); |
---|
1579 | assign fpexc_nxc = |
---|
1580 | cpx_fpexc_d1[`FSR_NXC] & |
---|
1581 | ~(( fsr_tem_d1[3] & cpx_fpexc_d1[`FSR_OFC]) | // enabled of |
---|
1582 | ( fsr_tem_d1[2] & cpx_fpexc_d1[`FSR_UFC]) ); // enabled uf |
---|
1583 | |
---|
1584 | assign fpexc_ofc = |
---|
1585 | cpx_fpexc_d1[`FSR_OFC] & |
---|
1586 | ~(~fsr_tem_d1[3] & fsr_tem_d1[0] & cpx_fpexc_d1[`FSR_NXC]); // disabled of and enabled nx |
---|
1587 | |
---|
1588 | assign fpexc_ufc = |
---|
1589 | cpx_fpexc_d1[`FSR_UFC] & |
---|
1590 | ~(~fsr_tem_d1[2] & ( fsr_tem_d1[0] & cpx_fpexc_d1[`FSR_NXC])) & // disabled uf & enabled nx |
---|
1591 | ~(~fsr_tem_d1[2] & ~cpx_fpexc_d1[`FSR_NXC]) ; // disabled uf with no inexact |
---|
1592 | // (i.e. exact denorm w/ UFM=0) |
---|
1593 | |
---|
1594 | |
---|
1595 | assign ieee_trap_vec[4:0] = |
---|
1596 | ({cpx_fpexc_d1[4], |
---|
1597 | fpexc_ofc, |
---|
1598 | fpexc_ufc, |
---|
1599 | cpx_fpexc_d1[1], |
---|
1600 | fpexc_nxc } & fsr_tem_d1[4:0]); |
---|
1601 | |
---|
1602 | |
---|
1603 | // ieee trap has least priority. Put through a flop for timing reasons |
---|
1604 | assign ieee_trap = (|ieee_trap_vec[4:0]); |
---|
1605 | assign take_ieee_trap = ieee_trap & is_fpu_result; |
---|
1606 | dff_s trap_ieee_dff(.din(take_ieee_trap), .clk(clk), .q(ffu_tlu_trap_ieee754), |
---|
1607 | .se(se), .si(), .so()); |
---|
1608 | |
---|
1609 | assign take_other_trap = unimpl_qual_w2; |
---|
1610 | assign ffu_tlu_trap_other = take_other_trap; |
---|
1611 | assign ffu_tlu_trap_ue = ue_trap_w3; |
---|
1612 | |
---|
1613 | // current exception |
---|
1614 | assign fp_exc_w2[4:0] = |
---|
1615 | ({cpx_fpexc_d1[4], |
---|
1616 | fpexc_ofc, |
---|
1617 | fpexc_ufc, |
---|
1618 | cpx_fpexc_d1[1], |
---|
1619 | fpexc_nxc }); |
---|
1620 | |
---|
1621 | |
---|
1622 | |
---|
1623 | |
---|
1624 | // accrued exceptions |
---|
1625 | // fp_exc_w2 = dp_ctl_fsr_aexc | cpx_fpexc_d1 & {5{~take_ieee_trap}}; |
---|
1626 | assign fp_exc_w2[`FSR_NVA] = dp_ctl_fsr_aexc[`FSR_NVC] | |
---|
1627 | is_fpu_result & cpx_fpexc_d1[`FSR_NVC] & ~fsr_tem_d1[`FSR_NVC]; |
---|
1628 | assign fp_exc_w2[`FSR_DZA] = dp_ctl_fsr_aexc[`FSR_DZC] | |
---|
1629 | is_fpu_result & cpx_fpexc_d1[`FSR_DZC] & ~fsr_tem_d1[`FSR_DZC]; |
---|
1630 | assign fp_exc_w2[`FSR_UFA] = dp_ctl_fsr_aexc[`FSR_UFC] | |
---|
1631 | is_fpu_result & fpexc_ufc & ~fsr_tem_d1[`FSR_UFC]; |
---|
1632 | assign fp_exc_w2[`FSR_OFA] = dp_ctl_fsr_aexc[`FSR_OFC] | |
---|
1633 | is_fpu_result & fpexc_ofc & ~fsr_tem_d1[`FSR_OFC]; |
---|
1634 | assign fp_exc_w2[`FSR_NXA] = dp_ctl_fsr_aexc[`FSR_NXC] | |
---|
1635 | is_fpu_result & fpexc_nxc & ~fsr_tem_d1[`FSR_NXC]; |
---|
1636 | |
---|
1637 | assign ctl_dp_exc_w2[9:5] = fp_exc_w2[9:5]; |
---|
1638 | // move, abs, etc will clear cexc, fpu_results will update, all else will leave unchanged |
---|
1639 | wire update_cexc; |
---|
1640 | assign update_cexc = is_fpu_result | move_w2_vld; |
---|
1641 | assign ctl_dp_exc_w2[4:0] = ((update_cexc)? fp_exc_w2[4:0] & {5{is_fpu_result}}: |
---|
1642 | dp_ctl_fsr_cexc[4:0]); |
---|
1643 | |
---|
1644 | |
---|
1645 | |
---|
1646 | //////////////////////////////// |
---|
1647 | // ECC control |
---|
1648 | //////////////////////////////// |
---|
1649 | // Generation of the parity bit for writes |
---|
1650 | wire [13:0] gen_synd_d1; |
---|
1651 | wire gen_par_hi; |
---|
1652 | wire gen_par_low; |
---|
1653 | wire [6:0] error_inj_data; |
---|
1654 | output [13:0] ctl_frf_write_synd; |
---|
1655 | dff_s #(14) gen_synd_dff (.din({dp_ctl_synd_out_high[6:0],dp_ctl_synd_out_low[6:0]}), |
---|
1656 | .q(gen_synd_d1[13:0]), .clk(clk), .se(se), .si(), .so()); |
---|
1657 | assign gen_par_hi = ^gen_synd_d1[13:7]; |
---|
1658 | assign gen_par_low = ^gen_synd_d1[6:0]; |
---|
1659 | assign ctl_frf_write_synd[13:0] = ({gen_par_hi,gen_synd_d1[12:7],gen_par_low,gen_synd_d1[5:0]} ^ |
---|
1660 | {error_inj_data[6:0],error_inj_data[6:0]}); |
---|
1661 | ///////////////////////////////// |
---|
1662 | // error injection |
---|
1663 | ///////////////////////////////// |
---|
1664 | // injection doesn't check for flush on wen |
---|
1665 | assign inject_err_next = ifu_ffu_inj_frferr & rf_wen_next; |
---|
1666 | assign error_inj_data[6:0] = {7{inject_err}} & err_data[6:0]; |
---|
1667 | dff_s #(7) err_data_dff(.din(ifu_exu_ecc_mask[6:0]), |
---|
1668 | .q(err_data[6:0]), |
---|
1669 | .clk(clk), .se(se), .si(), .so()); |
---|
1670 | dff_s err_cntl(.din(inject_err_next), |
---|
1671 | .q(inject_err), |
---|
1672 | .clk(clk), .se(se), .si(), .so()); |
---|
1673 | // speculate on error injection (don't check flush_pipe etc) |
---|
1674 | assign ffu_ifu_inj_ack = inject_err; |
---|
1675 | |
---|
1676 | |
---|
1677 | // check the upper half on a double or a single with an even reg num |
---|
1678 | // check the lower half on a double or a single with an odd reg num |
---|
1679 | // ecc block will run on frf input for reads |
---|
1680 | // otherwise it will run on the rd_data |
---|
1681 | assign check_ecc_next = ren_rs2_m | fst_e | ren_rs1_w | bst_issue_c3_next; |
---|
1682 | dff_s check_ecc_dff(.din(check_ecc_next), .clk(clk), .q(ctl_dp_ecc_sel_frf), |
---|
1683 | .se(se), .si(), .so()); |
---|
1684 | // rs1 will not be checked if a ce was detected on rs2. If there was a ue on rs2 |
---|
1685 | // rs1 will be checked and a ce will be corrected, but the error on rs2 will be logged |
---|
1686 | assign chk_rs1_w2 = ren_rs1_w2; |
---|
1687 | assign chk_ecc_m[1] = fst_m & ~rd[0] & ~output_sel_fsr; |
---|
1688 | assign chk_ecc_m[0] = fst_m & (~dest_single | rd[0]) & ~output_sel_fsr; |
---|
1689 | assign chk_ecc_w[1] = ren_rs2_w & ~kill_eccchk_w & ~rs2[0]; |
---|
1690 | assign chk_ecc_w[0] = ren_rs2_w & ~kill_eccchk_w & (~source_single | rs2[0]); |
---|
1691 | assign chk_ecc_w2[1] = chk_rs1_w2 & ~rs1[0]; |
---|
1692 | assign chk_ecc_w2[0] = chk_rs1_w2 & (~source_single | rs1[0]); |
---|
1693 | |
---|
1694 | assign chk_ecc[1:0] = chk_ecc_m[1:0] | chk_ecc_w[1:0] | chk_ecc_w2[1:0] | {2{bst_issue_c3}}; |
---|
1695 | dff_s #(2) chk_ecc_dff(.din(chk_ecc[1:0]), .clk(clk), .q(chk_ecc_prev[1:0]), |
---|
1696 | .se(se), .si(), .so()); |
---|
1697 | |
---|
1698 | assign error_detected[1] = |dp_ctl_synd_out_high[5:0]; |
---|
1699 | assign error_detected[0] = |dp_ctl_synd_out_low[5:0]; |
---|
1700 | |
---|
1701 | assign possible_ue[1] = ~dp_ctl_synd_out_high[6] & chk_ecc[1]; |
---|
1702 | assign possible_ue[0] = ~dp_ctl_synd_out_low[6] & chk_ecc[0]; |
---|
1703 | assign ce[1] = dp_ctl_synd_out_high[6] & chk_ecc[1]; |
---|
1704 | assign ce[0] = dp_ctl_synd_out_low[6] & chk_ecc[0]; |
---|
1705 | |
---|
1706 | assign rollback_fst_m = ((dp_ctl_synd_out_high[6] & chk_ecc_m[1] & ~disable_ce_m) | |
---|
1707 | (dp_ctl_synd_out_low[6] & chk_ecc_m[0] & ~disable_ce_m)); |
---|
1708 | dff_s rollback_m2w(.din(rollback_fst_m), .clk(clk), .q(rollback_fst_w), .se(se), .si(), .so()); |
---|
1709 | dff_s #(2) possible_ue_dff(.din(possible_ue[1:0]), .clk(clk), .q(prev_poss_ue[1:0]), |
---|
1710 | .se(se), .si(), .so()); |
---|
1711 | dff_s #(2) ce_dff(.din(ce[1:0]), .clk(clk), .q(previous_ce[1:0]), |
---|
1712 | .se(se), .si(), .so()); |
---|
1713 | dff_s #(2) err_det_dff(.din(error_detected[1:0]), .clk(clk), .q(prev_err_detected[1:0]), |
---|
1714 | .se(se), .si(), .so()); |
---|
1715 | assign previous_ue = |(prev_err_detected[1:0] & prev_poss_ue[1:0]); |
---|
1716 | |
---|
1717 | dff_s #(2) ecc_wen1_dff(.din(ecc_wen_gen_next[1:0]), .clk(clk), .q(ecc_wen_gen[1:0]), |
---|
1718 | .se(se), .si(), .so()); |
---|
1719 | dff_s #(2) ecc_wen2_dff(.din(ecc_wen_next[1:0]), .clk(clk), .q(ecc_wen[1:0]), |
---|
1720 | .se(se), .si(), .so()); |
---|
1721 | // if the ecc error was in the m stage we need to check for a kill |
---|
1722 | // if the ecc error was in the w stage we need to check flush |
---|
1723 | // ECC errors on rs1 will not be written back to the frf. The data that is used will be corrected. |
---|
1724 | assign ecc_wen_gen_next[1:0] = previous_ce[1:0] & |
---|
1725 | {2{bst_issue_c4 | fst_ce_w | rollback_rs2_w2 | rollback_rs1_w3}}; |
---|
1726 | assign ecc_wen_next = ecc_wen_gen[1:0] & {2{~(fst_ce_w2 & flush_w2)}}; |
---|
1727 | |
---|
1728 | // pass along ce and ue so trap can be signalled to ffu and tlu |
---|
1729 | // if disable_ce_m then don't tell ifu reissue ce. Instead convert to a ue. |
---|
1730 | dff_s disable_ce_e2m(.din(ifu_exu_disable_ce_e), .clk(clk), .q(disable_ce_m), |
---|
1731 | .se(se), .si(), .so()); |
---|
1732 | dff_s disable_ce_m2w(.din(disable_ce_m), .clk(clk), .q(disable_ce_w), |
---|
1733 | .se(se), .si(), .so()); |
---|
1734 | assign fst_ce_w = rollback_fst_w & ~kill_eccchk_w; |
---|
1735 | assign fst_ue_w = fst_w & (previous_ue | (disable_ce_w & |(previous_ce[1:0]))) & ~kill_eccchk_w; |
---|
1736 | assign rollback_rs2_w2 = (ren_rs2_w2 & ~flush_w2 & |previous_ce[1:0] |
---|
1737 | & ~rolled_back); |
---|
1738 | assign rs2_ce_w2 = ren_rs2_w2 & |previous_ce[1:0] & ~rolled_back & ~previous_ue; |
---|
1739 | assign rs2_ue_w2 = ren_rs2_w2 & (previous_ue | (rolled_back & |previous_ce[1:0])); |
---|
1740 | // must check for flush because eccchk doesn't do this |
---|
1741 | assign rs2_fst_ce_w2_vld = (rs2_ce_w2 | fst_ce_w2) & ~flush_w2; |
---|
1742 | assign rs2_fst_ue_w2_vld = (rs2_ue_w2 | fst_ue_w2) & ~flush_w2; |
---|
1743 | dff_s ce_w2w2(.din(fst_ce_w), .clk(clk), .q(fst_ce_w2), |
---|
1744 | .se(se), .si(), .so()); |
---|
1745 | dff_s ue_w2w2(.din(fst_ue_w), .clk(clk), .q(fst_ue_w2), |
---|
1746 | .se(se), .si(), .so()); |
---|
1747 | dff_s ce_w22w3(.din(rs2_fst_ce_w2_vld), .clk(clk), .q(rs2_fst_ce_w3), |
---|
1748 | .se(se), .si(), .so()); |
---|
1749 | dff_s ue_w22w3(.din(rs2_fst_ue_w2_vld), .clk(clk), .q(rs2_fst_ue_w3), |
---|
1750 | .se(se), .si(), .so()); |
---|
1751 | |
---|
1752 | assign rs1_ce_w3 = ren_rs1_w3 & |previous_ce[1:0] & ~previous_ue & ~rolled_back; |
---|
1753 | assign rollback_rs1_w3 = rs1_ce_w3 & ~ue_trap_w3; |
---|
1754 | assign ce_w3 = (rs1_ce_w3 | rs2_fst_ce_w3); |
---|
1755 | assign ue_w3 = (ren_rs1_w3 & (previous_ue | (rolled_back & |previous_ce[1:0]))) | rs2_fst_ue_w3; |
---|
1756 | |
---|
1757 | assign ffu_ifu_ecc_ce_w2 = (ce_w3 | bst_ce_c4); |
---|
1758 | assign ffu_ifu_ecc_ue_w2 = (ue_w3 | bst_ue_c4); |
---|
1759 | |
---|
1760 | // error logging signals. The error register priority is fst, bst, rs1_ue, rs2_ue, rs1_ce, rs2_ce |
---|
1761 | assign log_new_err = (ren_rs2_w2 | bst_issue_c4 | fst_w | |
---|
1762 | (ren_rs1_w3 & previous_ue) | (rs1_ce_w3 & ~rs2_fst_ue_w3)); |
---|
1763 | assign new_err_reg[5:0] = fst_w ? rd[5:0]: |
---|
1764 | bst_issue_c4 ? bst_rs[5:0]: |
---|
1765 | ren_rs2_w2 ? rs2[5:0]: |
---|
1766 | rs1[5:0]; |
---|
1767 | assign err_reg_next[5:0] = (log_new_err) ? new_err_reg[5:0] : err_reg_d1[5:0]; |
---|
1768 | dff_s #(6) err_reg_dff(.din(err_reg_next[5:0]), .clk(clk), .q(err_reg_d1[5:0]), |
---|
1769 | .se(se), .si(), .so()); |
---|
1770 | assign ffu_ifu_err_reg_w2[5:0] = err_reg_d1[5:0]; |
---|
1771 | |
---|
1772 | // storage of error syndrome for logging |
---|
1773 | // For singles the invalid half of the syndrome is zeroed out. |
---|
1774 | // The syndrome reported to the ifu will be latched until a new error is detected |
---|
1775 | assign new_err_synd[13:7] = gen_synd_d1[13:7] & {7{chk_ecc_prev[1]}}; |
---|
1776 | assign new_err_synd[6:0] = gen_synd_d1[6:0] & {7{chk_ecc_prev[0]}}; |
---|
1777 | assign err_synd_next[13:0] = (log_new_err)? new_err_synd: err_synd_d1; |
---|
1778 | dff_s #(14) err_synd_d1ff(.din(err_synd_next[13:0]), .clk(clk), .q(err_synd_d1[13:0]), |
---|
1779 | .se(se), .si(), .so()); |
---|
1780 | assign ffu_ifu_err_synd_w2[13:0] = err_synd_d1[13:0]; |
---|
1781 | |
---|
1782 | // kill moves and fpu ops |
---|
1783 | assign ecc_kill_rs2_w2 = rollback_rs2_w2 | (rs2_ue_w2 & nceen); |
---|
1784 | |
---|
1785 | |
---|
1786 | // pipe along enable signal for ue traps |
---|
1787 | assign nceen_next = (any_op_e)? ifu_exu_nceen_e: (nceen & ~rollback_fst_w); |
---|
1788 | dff_s nceen_dff(.din(nceen_next), .clk(clk), .q(nceen), |
---|
1789 | .se(se), .si(), .so()); |
---|
1790 | assign ue_trap_w3 = (ue_w3 | bst_ue_c4) & nceen; |
---|
1791 | |
---|
1792 | // signals for killing stores on ecc |
---|
1793 | // use this to kill any rs2/rd ce |
---|
1794 | assign ffu_ifu_fst_ce_w = rollback_fst_w; |
---|
1795 | |
---|
1796 | // These signals kill the entry in the store buffer for any ce or trapping ue. Very critical timing. |
---|
1797 | assign possible_kill_st_ce_m = ((fst_m & ~output_sel_fsr & ~(disable_ce_m & ~nceen)) | |
---|
1798 | (bst_issue_c3 & ~(fixed_bst_ce & ~nceen))); |
---|
1799 | assign possible_kill_st_ue_m = (fst_m & ~output_sel_fsr & nceen | bst_issue_c3 & nceen); |
---|
1800 | assign kill_st_ce_w = (|previous_ce[1:0]) & possible_kill_st_ce_w; |
---|
1801 | assign ffu_lsu_kill_fst_w = (previous_ue)? possible_kill_st_ue_w: kill_st_ce_w; |
---|
1802 | dff_s kill_fst_ce_dff(.din(possible_kill_st_ce_m), .clk(clk), .q(possible_kill_st_ce_w), |
---|
1803 | .se(se), .si(), .so()); |
---|
1804 | dff_s kill_fst_ue_dff(.din(possible_kill_st_ue_m), .clk(clk), .q(possible_kill_st_ue_w), |
---|
1805 | .se(se), .si(), .so()); |
---|
1806 | |
---|
1807 | // rollback signals |
---|
1808 | assign rollback_c1_next = rollback_rs2_w2 | rollback_rs1_w3; |
---|
1809 | dffr_s #(3) rollback_dff(.din({rollback_c1_next,rollback_c1_vld,rollback_c2}), |
---|
1810 | .q({rollback_c1, rollback_c2, rollback_c3}), |
---|
1811 | .clk(clk), .se(se), .si(), .so(), .rst(reset)); |
---|
1812 | // if both rs1 and rs2 rollback then the state machine needs to start on rs1 |
---|
1813 | assign rollback_c1_vld = rollback_c1 & ~ue_trap_w3 & ~rollback_rs1_w3; |
---|
1814 | |
---|
1815 | assign rolled_back_next = rollback_c1_vld | rolled_back & ~any_op_e; |
---|
1816 | dffr_s rollback_state(.din(rolled_back_next), .q(rolled_back), |
---|
1817 | .rst(reset), .clk(clk), |
---|
1818 | .se(se), .si(), .so()); |
---|
1819 | |
---|
1820 | ////////////////////////////// |
---|
1821 | // Performance counter signals |
---|
1822 | ////////////////////////////// |
---|
1823 | assign ffu_tlu_fpu_tid[1:0] = tid[1:0] & {2{is_fpu_result}}; // don't toggle wire if not needed |
---|
1824 | assign ffu_tlu_fpu_cmplt = is_fpu_result; |
---|
1825 | |
---|
1826 | sparc_ffu_ctl_visctl visctl( |
---|
1827 | .illegal_vis_e(illegal_vis_e), |
---|
1828 | .vis_nofrf_e(vis_nofrf_e), |
---|
1829 | .visop_e (visop_e), |
---|
1830 | .visop_m (visop_m), |
---|
1831 | .visop_w_vld (visop_w_vld), |
---|
1832 | .vis_wen_next (vis_wen_next), |
---|
1833 | .ifu_ffu_rnd_e(frs2_e[2:0]), |
---|
1834 | .fpu_rnd (fpu_rnd[1:0]), |
---|
1835 | .vis_result(vis_result), |
---|
1836 | /*AUTOINST*/ |
---|
1837 | // Outputs |
---|
1838 | .ctl_vis_sel_add(ctl_vis_sel_add), |
---|
1839 | .ctl_vis_sel_log(ctl_vis_sel_log), |
---|
1840 | .ctl_vis_sel_align(ctl_vis_sel_align), |
---|
1841 | .ctl_vis_add32(ctl_vis_add32), |
---|
1842 | .ctl_vis_subtract(ctl_vis_subtract), |
---|
1843 | .ctl_vis_cin(ctl_vis_cin), |
---|
1844 | .ctl_vis_align0(ctl_vis_align0), |
---|
1845 | .ctl_vis_align2(ctl_vis_align2), |
---|
1846 | .ctl_vis_align4(ctl_vis_align4), |
---|
1847 | .ctl_vis_align6(ctl_vis_align6), |
---|
1848 | .ctl_vis_align_odd(ctl_vis_align_odd), |
---|
1849 | .ctl_vis_log_sel_pass(ctl_vis_log_sel_pass), |
---|
1850 | .ctl_vis_log_sel_nand(ctl_vis_log_sel_nand), |
---|
1851 | .ctl_vis_log_sel_nor(ctl_vis_log_sel_nor), |
---|
1852 | .ctl_vis_log_sel_xor(ctl_vis_log_sel_xor), |
---|
1853 | .ctl_vis_log_invert_rs1(ctl_vis_log_invert_rs1), |
---|
1854 | .ctl_vis_log_invert_rs2(ctl_vis_log_invert_rs2), |
---|
1855 | .ctl_vis_log_constant(ctl_vis_log_constant), |
---|
1856 | .ctl_vis_log_pass_const(ctl_vis_log_pass_const), |
---|
1857 | .ctl_vis_log_pass_rs1(ctl_vis_log_pass_rs1), |
---|
1858 | .ctl_vis_log_pass_rs2(ctl_vis_log_pass_rs2), |
---|
1859 | .ffu_exu_rsr_data_hi_m(ffu_exu_rsr_data_hi_m[31:0]), |
---|
1860 | .ffu_exu_rsr_data_mid_m(ffu_exu_rsr_data_mid_m[2:0]), |
---|
1861 | .ffu_exu_rsr_data_lo_m(ffu_exu_rsr_data_lo_m[7:0]), |
---|
1862 | .ctl_dp_wsr_data_w2(ctl_dp_wsr_data_w2[36:0]), |
---|
1863 | .ctl_dp_gsr_wsr_w2(ctl_dp_gsr_wsr_w2[3:0]), |
---|
1864 | .ctl_dp_thr_e(ctl_dp_thr_e[3:0]), |
---|
1865 | // Inputs |
---|
1866 | .clk (clk), |
---|
1867 | .se (se), |
---|
1868 | .reset (reset), |
---|
1869 | .opf (opf[8:0]), |
---|
1870 | .tid_w2 (tid_w2[1:0]), |
---|
1871 | .tid_e (tid_e[1:0]), |
---|
1872 | .tid (tid[1:0]), |
---|
1873 | .kill_w (kill_w), |
---|
1874 | .ifu_tlu_sraddr_d(ifu_tlu_sraddr_d[6:0]), |
---|
1875 | .exu_ffu_wsr_inst_e(exu_ffu_wsr_inst_e), |
---|
1876 | .exu_ffu_gsr_align_m(exu_ffu_gsr_align_m[2:0]), |
---|
1877 | .exu_ffu_gsr_rnd_m(exu_ffu_gsr_rnd_m[2:0]), |
---|
1878 | .exu_ffu_gsr_mask_m(exu_ffu_gsr_mask_m[31:0]), |
---|
1879 | .exu_ffu_gsr_scale_m(exu_ffu_gsr_scale_m[4:0]), |
---|
1880 | .dp_ctl_fsr_rnd(dp_ctl_fsr_rnd[1:0]), |
---|
1881 | .flush_w2(flush_w2), |
---|
1882 | .thr_match_mw2(thr_match_mw2), |
---|
1883 | .thr_match_ww2(thr_match_ww2), |
---|
1884 | .ifu_tlu_inst_vld_w(ifu_tlu_inst_vld_w), |
---|
1885 | .ue_trap_w3(ue_trap_w3), |
---|
1886 | .frs1_e (frs1_e[4:0]), |
---|
1887 | .frs2_e (frs2_e[4:0]), |
---|
1888 | .frd_e (frd_e[4:0]), |
---|
1889 | .rollback_c3(rollback_c3), |
---|
1890 | .rollback_rs2_w2(rollback_rs2_w2), |
---|
1891 | .visop (visop), |
---|
1892 | .rollback_rs1_w3(rollback_rs1_w3), |
---|
1893 | .dp_ctl_gsr_mask_e(dp_ctl_gsr_mask_e[31:0]), |
---|
1894 | .dp_ctl_gsr_scale_e(dp_ctl_gsr_scale_e[4:0])); |
---|
1895 | |
---|
1896 | endmodule // sparc_ffu_ctl |
---|