mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 03:32:29 +00:00
Code Activity

Fix for when B_SIGNED = 1

Browse source
This commit is contained in:
Eddie Hung 2019-04-10 14:51:10 -07:00
parent 32561332b2
commit 3f5dab0d09
1 changed files with 8 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

9
techlibs/xilinx/cells_map.v
View file

@ -28,12 +28,19 @@ module \$shiftx (A, B, Y);
input [B_WIDTH-1:0] B;
output [Y_WIDTH-1:0] Y;
parameter [B_WIDTH-1:0] _TECHMAP_CONSTMSK_B_ = 0;
parameter [B_WIDTH-1:0] _TECHMAP_CONSTVAL_B_ = 0;
generate
genvar i;
if (B_WIDTH < 3) begin
reg _TECHMAP_FAIL_;
wire _TECHMAP_FAIL_;
assign _TECHMAP_FAIL_ = 1;
end
// Optimisation to remove B_SIGNED if sign bit of B is constant-0
else if (B_SIGNED && _TECHMAP_CONSTMSK_B_[B_WIDTH-1] && _TECHMAP_CONSTVAL_B_[B_WIDTH-1] == 1'b0) begin
\$shiftx #(.A_SIGNED(A_SIGNED), .B_SIGNED(0), .A_WIDTH(A_WIDTH), .B_WIDTH(B_WIDTH-1), .Y_WIDTH(Y_WIDTH)) _TECHMAP_REPLACE_ (.A(A), .B(B[B_WIDTH-2:0]), .Y(Y));
end
else if (B_WIDTH == 3) begin
localparam a_width0 = Y_WIDTH * (2 ** (B_WIDTH-1));
localparam a_widthN = A_WIDTH - a_width0;