1 |
48 |
alirezamon |
/////////////////////////////////////////////////////////////////////
|
2 |
|
|
//// ////
|
3 |
|
|
//// pfpu32_cmp ////
|
4 |
|
|
//// 32-bit floating point comparision ////
|
5 |
|
|
//// ////
|
6 |
|
|
//// Author: Rudolf Usselmann ////
|
7 |
|
|
//// rudi@asics.ws ////
|
8 |
|
|
//// ////
|
9 |
|
|
//// Modified by Julius Baxter, July, 2010 ////
|
10 |
|
|
//// julius.baxter@orsoc.se ////
|
11 |
|
|
//// ////
|
12 |
|
|
//// Update for mor1kx, bug fixing and further development ////
|
13 |
|
|
//// Andrey Bacherov, 2014, ////
|
14 |
|
|
//// avbacherov@opencores.org ////
|
15 |
|
|
//// ////
|
16 |
|
|
/////////////////////////////////////////////////////////////////////
|
17 |
|
|
//// ////
|
18 |
|
|
//// Copyright (C) 2000 Rudolf Usselmann ////
|
19 |
|
|
//// rudi@asics.ws ////
|
20 |
|
|
//// ////
|
21 |
|
|
//// This source file may be used and distributed without ////
|
22 |
|
|
//// restriction provided that this copyright statement is not ////
|
23 |
|
|
//// removed from the file and that any derivative work contains ////
|
24 |
|
|
//// the original copyright notice and the associated disclaimer.////
|
25 |
|
|
//// ////
|
26 |
|
|
//// THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY ////
|
27 |
|
|
//// EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED ////
|
28 |
|
|
//// TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS ////
|
29 |
|
|
//// FOR A PARTICULAR PURPOSE. IN NO EVENT SHALL THE AUTHOR ////
|
30 |
|
|
//// OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, ////
|
31 |
|
|
//// INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES ////
|
32 |
|
|
//// (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE ////
|
33 |
|
|
//// GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR ////
|
34 |
|
|
//// BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF ////
|
35 |
|
|
//// LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT ////
|
36 |
|
|
//// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT ////
|
37 |
|
|
//// OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE ////
|
38 |
|
|
//// POSSIBILITY OF SUCH DAMAGE. ////
|
39 |
|
|
//// ////
|
40 |
|
|
/////////////////////////////////////////////////////////////////////
|
41 |
|
|
|
42 |
|
|
`include "mor1kx-defines.v"
|
43 |
|
|
|
44 |
|
|
/* completely combinatorial module */
|
45 |
|
|
|
46 |
|
|
module pfpu32_fcmp
|
47 |
|
|
(
|
48 |
|
|
input fpu_op_is_comp_i,
|
49 |
|
|
input [`OR1K_FPUOP_GENERIC_CMP_WIDTH-1:0] generic_cmp_opc_i, // ordered/unordered
|
50 |
|
|
input unordered_cmp_bit_i, // is unorderd
|
51 |
|
|
// operand 'a' related inputs
|
52 |
|
|
input signa_i,
|
53 |
|
|
input [9:0] exp10a_i,
|
54 |
|
|
input [23:0] fract24a_i,
|
55 |
|
|
input snana_i,
|
56 |
|
|
input qnana_i,
|
57 |
|
|
input infa_i,
|
58 |
|
|
input zeroa_i,
|
59 |
|
|
// operand 'b' related inputs
|
60 |
|
|
input signb_i,
|
61 |
|
|
input [9:0] exp10b_i,
|
62 |
|
|
input [23:0] fract24b_i,
|
63 |
|
|
input snanb_i,
|
64 |
|
|
input qnanb_i,
|
65 |
|
|
input infb_i,
|
66 |
|
|
input zerob_i,
|
67 |
|
|
// support addsub
|
68 |
|
|
output addsub_agtb_o,
|
69 |
|
|
output addsub_aeqb_o,
|
70 |
|
|
// outputs
|
71 |
|
|
output cmp_flag_o, inv_o, inf_o, ready_o
|
72 |
|
|
);
|
73 |
|
|
|
74 |
|
|
// Full length ordered comparison opcodes
|
75 |
|
|
localparam [`OR1K_FPUOP_WIDTH-1:0] FPCOP_SFEQ = `OR1K_FPCOP_SFEQ;
|
76 |
|
|
localparam [`OR1K_FPUOP_WIDTH-1:0] FPCOP_SFNE = `OR1K_FPCOP_SFNE;
|
77 |
|
|
localparam [`OR1K_FPUOP_WIDTH-1:0] FPCOP_SFGT = `OR1K_FPCOP_SFGT;
|
78 |
|
|
localparam [`OR1K_FPUOP_WIDTH-1:0] FPCOP_SFGE = `OR1K_FPCOP_SFGE;
|
79 |
|
|
localparam [`OR1K_FPUOP_WIDTH-1:0] FPCOP_SFLT = `OR1K_FPCOP_SFLT;
|
80 |
|
|
localparam [`OR1K_FPUOP_WIDTH-1:0] FPCOP_SFLE = `OR1K_FPCOP_SFLE;
|
81 |
|
|
|
82 |
|
|
// For ordered / unordered comparison
|
83 |
|
|
localparam [`OR1K_FPUOP_GENERIC_CMP_WIDTH-1:0] GENERIC_SFEQ = FPCOP_SFEQ[`OR1K_FPUOP_GENERIC_CMP_SELECT];
|
84 |
|
|
localparam [`OR1K_FPUOP_GENERIC_CMP_WIDTH-1:0] GENERIC_SFNE = FPCOP_SFNE[`OR1K_FPUOP_GENERIC_CMP_SELECT];
|
85 |
|
|
localparam [`OR1K_FPUOP_GENERIC_CMP_WIDTH-1:0] GENERIC_SFGT = FPCOP_SFGT[`OR1K_FPUOP_GENERIC_CMP_SELECT];
|
86 |
|
|
localparam [`OR1K_FPUOP_GENERIC_CMP_WIDTH-1:0] GENERIC_SFGE = FPCOP_SFGE[`OR1K_FPUOP_GENERIC_CMP_SELECT];
|
87 |
|
|
localparam [`OR1K_FPUOP_GENERIC_CMP_WIDTH-1:0] GENERIC_SFLT = FPCOP_SFLT[`OR1K_FPUOP_GENERIC_CMP_SELECT];
|
88 |
|
|
localparam [`OR1K_FPUOP_GENERIC_CMP_WIDTH-1:0] GENERIC_SFLE = FPCOP_SFLE[`OR1K_FPUOP_GENERIC_CMP_SELECT];
|
89 |
|
|
|
90 |
|
|
////////////////////////////////////////////////////////////////////////
|
91 |
|
|
//
|
92 |
|
|
// Exception Logic
|
93 |
|
|
//
|
94 |
|
|
|
95 |
|
|
// Analysis of operands
|
96 |
|
|
wire qnan = qnana_i | qnanb_i;
|
97 |
|
|
wire snan = snana_i | snanb_i;
|
98 |
|
|
wire anan = qnan | snan;
|
99 |
|
|
|
100 |
|
|
// Comparison is ordered/unordered EQ/NE
|
101 |
|
|
wire eqne = (generic_cmp_opc_i == GENERIC_SFEQ) |
|
102 |
|
|
(generic_cmp_opc_i == GENERIC_SFNE);
|
103 |
|
|
|
104 |
|
|
// Comparison is invalid if:
|
105 |
|
|
// 1) sNaN is an operand of ordered/unordered EQ/NE comparison
|
106 |
|
|
// 2) NaN is an operand of ordered LT/LE/GT/GE comparison
|
107 |
|
|
wire inv_cmp = (eqne & snan) | ((~eqne) & anan & (~unordered_cmp_bit_i));
|
108 |
|
|
|
109 |
|
|
|
110 |
|
|
////////////////////////////////////////////////////////////////////////
|
111 |
|
|
//
|
112 |
|
|
// Comparison Logic
|
113 |
|
|
//
|
114 |
|
|
wire exp_gt = exp10a_i > exp10b_i;
|
115 |
|
|
wire exp_eq = exp10a_i == exp10b_i;
|
116 |
|
|
wire exp_lt = (~exp_gt) & (~exp_eq); // exp10a_i < exp10b_i;
|
117 |
|
|
|
118 |
|
|
wire fract_gt = fract24a_i > fract24b_i;
|
119 |
|
|
wire fract_eq = fract24a_i == fract24b_i;
|
120 |
|
|
wire fract_lt = (~fract_gt) & (~fract_eq); // fract24a_i < fract24b_i;
|
121 |
|
|
|
122 |
|
|
wire all_zero = zeroa_i & zerob_i;
|
123 |
|
|
|
124 |
|
|
reg altb, blta, aeqb;
|
125 |
|
|
|
126 |
|
|
always @( qnan or snan or infa_i or infb_i or signa_i or signb_i or
|
127 |
|
|
exp_eq or exp_gt or exp_lt or
|
128 |
|
|
fract_eq or fract_gt or fract_lt or all_zero)
|
129 |
|
|
|
130 |
|
|
casez( {qnan, snan, infa_i, infb_i, signa_i, signb_i,
|
131 |
|
|
exp_eq, exp_gt, exp_lt,
|
132 |
|
|
fract_eq, fract_gt, fract_lt, all_zero})
|
133 |
|
|
13'b1?_??_??_???_???_?: {blta, altb, aeqb} = 3'b000; // qnan
|
134 |
|
|
13'b?1_??_??_???_???_?: {blta, altb, aeqb} = 3'b000; // snan
|
135 |
|
|
|
136 |
|
|
13'b00_11_00_???_???_?: {blta, altb, aeqb} = 3'b001; // both op INF comparisson
|
137 |
|
|
13'b00_11_01_???_???_?: {blta, altb, aeqb} = 3'b100;
|
138 |
|
|
13'b00_11_10_???_???_?: {blta, altb, aeqb} = 3'b010;
|
139 |
|
|
13'b00_11_11_???_???_?: {blta, altb, aeqb} = 3'b001;
|
140 |
|
|
|
141 |
|
|
13'b00_10_00_???_???_?: {blta, altb, aeqb} = 3'b100; // opa_i INF comparisson
|
142 |
|
|
13'b00_10_01_???_???_?: {blta, altb, aeqb} = 3'b100;
|
143 |
|
|
13'b00_10_10_???_???_?: {blta, altb, aeqb} = 3'b010;
|
144 |
|
|
13'b00_10_11_???_???_?: {blta, altb, aeqb} = 3'b010;
|
145 |
|
|
|
146 |
|
|
13'b00_01_00_???_???_?: {blta, altb, aeqb} = 3'b010; // opb_i INF comparisson
|
147 |
|
|
13'b00_01_01_???_???_?: {blta, altb, aeqb} = 3'b100;
|
148 |
|
|
13'b00_01_10_???_???_?: {blta, altb, aeqb} = 3'b010;
|
149 |
|
|
13'b00_01_11_???_???_?: {blta, altb, aeqb} = 3'b100;
|
150 |
|
|
|
151 |
|
|
13'b00_00_10_???_???_0: {blta, altb, aeqb} = 3'b010; //compare base on sign
|
152 |
|
|
13'b00_00_01_???_???_0: {blta, altb, aeqb} = 3'b100; //compare base on sign
|
153 |
|
|
|
154 |
|
|
13'b00_00_??_???_???_1: {blta, altb, aeqb} = 3'b001; //compare base on sign both are zero
|
155 |
|
|
|
156 |
|
|
13'b00_00_00_010_???_?: {blta, altb, aeqb} = 3'b100; // cmp exp, equal sign
|
157 |
|
|
13'b00_00_00_001_???_?: {blta, altb, aeqb} = 3'b010;
|
158 |
|
|
13'b00_00_11_010_???_?: {blta, altb, aeqb} = 3'b010;
|
159 |
|
|
13'b00_00_11_001_???_?: {blta, altb, aeqb} = 3'b100;
|
160 |
|
|
|
161 |
|
|
13'b00_00_00_100_010_?: {blta, altb, aeqb} = 3'b100; // compare fractions, equal sign, equal exp
|
162 |
|
|
13'b00_00_00_100_001_?: {blta, altb, aeqb} = 3'b010;
|
163 |
|
|
13'b00_00_11_100_010_?: {blta, altb, aeqb} = 3'b010;
|
164 |
|
|
13'b00_00_11_100_001_?: {blta, altb, aeqb} = 3'b100;
|
165 |
|
|
|
166 |
|
|
13'b00_00_00_100_100_?: {blta, altb, aeqb} = 3'b001;
|
167 |
|
|
13'b00_00_11_100_100_?: {blta, altb, aeqb} = 3'b001;
|
168 |
|
|
|
169 |
|
|
default: {blta, altb, aeqb} = 3'b000;
|
170 |
|
|
endcase
|
171 |
|
|
|
172 |
|
|
|
173 |
|
|
////////////////////////////////////////////////////////////////////////
|
174 |
|
|
// Comparison cmp_flag generation
|
175 |
|
|
reg generic_cmp_flag; // ordered / unordered
|
176 |
|
|
wire cmp_flag = (unordered_cmp_bit_i & anan) | generic_cmp_flag;
|
177 |
|
|
// ---
|
178 |
|
|
always @(altb or blta or aeqb or generic_cmp_opc_i) begin
|
179 |
|
|
case (generic_cmp_opc_i) // synthesis parallel_case
|
180 |
|
|
GENERIC_SFEQ: generic_cmp_flag = aeqb;
|
181 |
|
|
GENERIC_SFNE: generic_cmp_flag = ~aeqb;
|
182 |
|
|
GENERIC_SFGT: generic_cmp_flag = blta & ~aeqb;
|
183 |
|
|
GENERIC_SFGE: generic_cmp_flag = blta | aeqb;
|
184 |
|
|
GENERIC_SFLT: generic_cmp_flag = altb & ~aeqb;
|
185 |
|
|
GENERIC_SFLE: generic_cmp_flag = altb | aeqb;
|
186 |
|
|
default: generic_cmp_flag = 1'b0;
|
187 |
|
|
endcase
|
188 |
|
|
end // always@ *
|
189 |
|
|
|
190 |
|
|
|
191 |
|
|
////////////////////////////////////////////////////////////////////////
|
192 |
|
|
// output (latching is perfommed on FPU top level)
|
193 |
|
|
|
194 |
|
|
assign addsub_agtb_o = exp_gt | (exp_eq & fract_gt);
|
195 |
|
|
assign addsub_aeqb_o = exp_eq & fract_eq;
|
196 |
|
|
|
197 |
|
|
assign cmp_flag_o = cmp_flag;
|
198 |
|
|
assign inv_o = inv_cmp;
|
199 |
|
|
assign inf_o = infa_i | infb_i;
|
200 |
|
|
assign ready_o = fpu_op_is_comp_i;
|
201 |
|
|
|
202 |
|
|
endmodule // pfpu32_fcmp
|