riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge pull request #9 from alainmarcel/new_peepopts 

Check for overflow, remove obsolete code, fix test
This commit is contained in:
alaindargelas 2024-12-18 20:47:57 -08:00 committed by GitHub
parent 32406ea1e3 cd9e45d1f5
commit 1ad1a0a1b9
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 10 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
passes/pmgen/peepopt_muldiv_c.pmg
View File

@ -55,6 +55,7 @@ code
int c_const_int = c_const.as_int(c_const_signed);
int b_const_int_shifted = b_const_int << offset;
// Integer values should be lesser than 64 bits
if (mul->getParam(ID::B_WIDTH).size() > 64)
reject;
if (b_const.size() > 64)
@ -62,6 +63,11 @@ code
if (c_const.size() > 64)
reject;
// Check for potential mult overflow
if (b_const.size() + a.size() > mul_y.size()) {
reject;
}
// Check that there are only zeros before offset
if (offset < 0 || !div_a.extract(0, offset).is_fully_zero())
reject;
@ -70,13 +76,6 @@ code
if (b_const_int_shifted % c_const_int != 0)
reject;
// Check that every single output bit of the multiplier is connected consecutively to the div operator (offset accounted for)
for (int i = 0; i < mul_y.size(); i++) {
if (sigmap(mul_y[i]) != sigmap(div_a[i + offset])) {
reject;
}
}
// Rewire to only keep multiplier
mul->setPort(\B, Const(b_const_int_shifted / c_const_int, b_const_width));
mul->setPort(\Y, div_y);

8
tests/peepopt/multdiv_c.ys
View File

@ -4,7 +4,7 @@ design -reset
read_verilog <<EOF
module top (
input wire [11:0] a,
output wire [31:0] y
output wire [11:0] y
);
assign y = (a * 16'd5140) / (257 * 2);
endmodule
@ -26,10 +26,10 @@ module top (
output wire signed [31:0] y,
output wire probe
);
wire [44:0] tmp = (a * 16'd5140);
assign probe = tmp[44];
wire [28:0] tmp = (a * 16'd5140);
assign probe = tmp[28];
assign y = tmp[43:0] / (257 * 2);
assign y = tmp[27:0] / (257 * 2);
endmodule
EOF
check -assert