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

Handle range offsets in packed arrays within packed structs

Browse source 
This brings the metadata for packed arrays in packed structs
in line with the metadata for unpacked arrays, and correctly
handles the case when both lsb and msb in an address range are
non-zero.
This commit is contained in:
Dag Lem 2023-02-05 11:01:37 +01:00
parent 26db5a11d3
commit 777c589e85
2 changed files with 51 additions and 22 deletions
Download patch file Download diff file Expand all files Collapse all files

20
tests/svtypes/struct_array.sv
View file

@ -141,6 +141,26 @@ module top;
always_comb assert(s3_llb==80'hFC00_4200_0012_3400_FFFC);
struct packed {
bit [-10:-3] [-2:-1] [5:2] a;
bit [0:15] b; // filler for non-zero offset
} s3_off;
initial begin
s3_off = '0;
s3_off.a[-5:-4] = 16'h1234;
s3_off.a[-8] = 8'h42;
s3_off.a[-10] = '1;
s3_off.a[-10][-1][3:0] = '0;
s3_off.b = '1;
s3_off.b[14:15] = '0;
end
always_comb assert(s3_off==80'hFC00_4200_0012_3400_FFFC);
`ifndef VERIFIC
// Note that the tests below for unpacked arrays in structs rely on the
// fact that they are actually packed in Yosys.