mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-23 00:55:32 +00:00
Code Activity

genrtlil: fix signed port connection codegen failures

Browse source 
This fixes binding signed memory reads, signed unary expressions, and
signed complex SigSpecs to ports. This also sets `is_signed` for wires
generated from signed params when -pwires is used. Though not necessary
for any of the current usages, `is_signed` is now appropriately set when
the `extendWidth` helper is used.
This commit is contained in:
Zachary Snow 2021-02-05 19:38:10 -05:00
parent 3d9898272a
commit 4b2f977331
3 changed files with 33 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

22
tests/various/port_sign_extend.v
View file

@ -24,8 +24,8 @@ module PassThrough(a, b);
assign b = a;
endmodule
module act(o1, o2, o3, o4, o5, o6, yay1, nay1, yay2, nay2);
output wire [3:0] o1, o2, o3, o4, o5, o6;
module act(o1, o2, o3, o4, o5, o6, o7, o8, o9, yay1, nay1, yay2, nay2);
output wire [3:0] o1, o2, o3, o4, o5, o6, o7, o8, o9;
// unsigned constant
PassThrough pt1(1'b1, o1);
@ -52,6 +52,17 @@ module act(o1, o2, o3, o4, o5, o6, yay1, nay1, yay2, nay2);
wire signed [2:0] tmp6b = 3'b001;
PassThrough pt6(tmp6a ? tmp6a : tmp6b, o6);
wire signed [2:0] tmp7 = 3'b011;
PassThrough pt7(~tmp7, o7);
reg signed [2:0] tmp8 [0:0];
initial tmp8[0] = 3'b101;
PassThrough pt8(tmp8[0], o8);
wire signed [2:0] tmp9a = 3'b100;
wire signed [1:0] tmp9b = 2'b11;
PassThrough pt9(0 ? tmp9a : tmp9b, o9);
output wire [2:0] yay1, nay1;
GeneratorSigned1 os1(yay1);
GeneratorUnsigned1 ou1(nay1);
@ -61,8 +72,8 @@ module act(o1, o2, o3, o4, o5, o6, yay1, nay1, yay2, nay2);
GeneratorUnsigned2 ou2(nay2);
endmodule
module ref(o1, o2, o3, o4, o5, o6, yay1, nay1, yay2, nay2);
output wire [3:0] o1, o2, o3, o4, o5, o6;
module ref(o1, o2, o3, o4, o5, o6, o7, o8, o9, yay1, nay1, yay2, nay2);
output wire [3:0] o1, o2, o3, o4, o5, o6, o7, o8, o9;
assign o1 = 4'b0001;
assign o2 = 4'b0001;
@ -70,6 +81,9 @@ module ref(o1, o2, o3, o4, o5, o6, yay1, nay1, yay2, nay2);
assign o4 = 4'b1111;
assign o5 = 4'b1110;
assign o6 = 4'b1100;
assign o7 = 4'b1100;
assign o8 = 4'b1101;
assign o9 = 4'b1111;
output wire [2:0] yay1, nay1;
assign yay1 = 3'b111;

13
tests/various/port_sign_extend.ys
View file

@ -1,22 +1,29 @@
read_verilog port_sign_extend.v
read_verilog -nomem2reg port_sign_extend.v
hierarchy
flatten
proc
memory
equiv_make ref act equiv
equiv_simple
equiv_status -assert
delete
read_verilog port_sign_extend.v
read_verilog -nomem2reg port_sign_extend.v
flatten
proc
memory
equiv_make ref act equiv
equiv_simple
equiv_status -assert
delete
read_verilog port_sign_extend.v
read_verilog -nomem2reg port_sign_extend.v
hierarchy
proc
memory
equiv_make ref act equiv
prep -flatten -top equiv
equiv_induct
equiv_status -assert