luke
/
iverilog
mirror of https://github.com/steveicarus/iverilog.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Add regression tests array base type elaboration scope 

Check that for typedefs of array, dynamic array and queue types the base
type is elaborated in the right scope. There are separate tests for vector
base type and other base types since these take different paths internally.

Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
This commit is contained in:
Lars-Peter Clausen 2022-03-24 10:06:43 +01:00
parent c96a6bfa09
commit 1a95dafc8d
14 changed files with 315 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
ivtest/ivltests/sv_typedef_array_base1.v Normal file
View File

@ -0,0 +1,22 @@
// Check that a vector base typeof an array type is evaluated in the scope where
// the array type is declared.
localparam A = 8;
typedef logic [A-1:0] T[1:0];
module test;
localparam A = 4;
T x;
initial begin
x[0] = 8'hff;
if (x[0] === 8'hff) begin
$display("PASSED");
end else begin
$display("FAILED");
end
end
endmodule

24
ivtest/ivltests/sv_typedef_array_base2.v Normal file
View File

@ -0,0 +1,24 @@
// Check that a complex base type (like a struct) of an array type is evaluated
// in the scope where the array type is declared.
localparam A = 8;
typedef struct packed {
logic [A-1:0] x;
} T[1:0];
module test;
localparam A = 4;
T x;
initial begin
x[0] = 8'hff;
if (x[0] === 8'hff) begin
$display("PASSED");
end else begin
$display("FAILED");
end
end
endmodule

24
ivtest/ivltests/sv_typedef_array_base3.v Normal file
View File

@ -0,0 +1,24 @@
// Check that a vector base type of an array type gets evaluated in the right
// scope if the base type is defined in a different scope than the array type.
localparam A = 8;
typedef logic [A-1:0] Base;
module test;
localparam A = 4;
typedef Base T[1:0];
T x;
initial begin
x[0] = 8'hff;
if (x[0] === 8'hff) begin
$display("PASSED");
end else begin
$display("FAILED");
end
end
endmodule

27
ivtest/ivltests/sv_typedef_array_base4.v Normal file
View File

@ -0,0 +1,27 @@
// Check that a complex base type (like a struct) of an array type gets
// evaluated in the right scope if the base type is defined in a different scope
// than the array type.
localparam A = 8;
typedef struct packed {
logic [A-1:0] x;
} Base;
module test;
localparam A = 4;
typedef Base T[1:0];
T x;
initial begin
x[0] = 8'hff;
if (x[0] === 8'hff) begin
$display("PASSED");
end else begin
$display("FAILED");
end
end
endmodule

23
ivtest/ivltests/sv_typedef_darray_base1.v Normal file
View File

@ -0,0 +1,23 @@
// Check that a vector base typeof a dynamic array type is evaluated in the
// scope where the array type is declared.
localparam A = 8;
typedef logic [A-1:0] T[];
module test;
localparam A = 4;
T x;
initial begin
x = new [1];
x[0] = 8'hff;
if (x[0] === 8'hff) begin
$display("PASSED");
end else begin
$display("FAILED");
end
end
endmodule

25
ivtest/ivltests/sv_typedef_darray_base2.v Normal file
View File

@ -0,0 +1,25 @@
// Check that a complex base type (like a packed array) of a dynamic array type
// is evaluated in the scope where the array type is declared.
localparam A = 8;
// Use type identifier for the base to force packed array
typedef logic l;
typedef l [A-1:0] T[];
module test;
localparam A = 4;
T x;
initial begin
x = new [1];
x[0] = 8'hff;
if (x[0] === 8'hff) begin
$display("PASSED");
end else begin
$display("FAILED");
end
end
endmodule

26
ivtest/ivltests/sv_typedef_darray_base3.v Normal file
View File

@ -0,0 +1,26 @@
// Check that a vector base type of a dynamic array type gets evaluated in the
// right scope if the base type is defined in a different scope than the array
// type.
localparam A = 8;
typedef logic [A-1:0] Base;
module test;
localparam A = 4;
typedef Base T[];
T x;
initial begin
x = new [1];
x[0] = 8'hff;
if (x[0] === 8'hff) begin
$display("PASSED");
end else begin
$display("FAILED");
end
end
endmodule

27
ivtest/ivltests/sv_typedef_darray_base4.v Normal file
View File

@ -0,0 +1,27 @@
// Check that a complex base type (like a struct) of a dynamic array type gets
// evaluated in the right scope if the base type is defined in a different scope
// than the array type.
localparam A = 8;
// Use type identifier for the base to force packed array
typedef logic l;
typedef l [A-1:0] Base;
module test;
localparam A = 4;
typedef Base T[];
T x;
initial begin
x = new [1];
x[0] = 8'hff;
if (x[0] === 8'hff) begin
$display("PASSED");
end else begin
$display("FAILED");
end
end
endmodule

22
ivtest/ivltests/sv_typedef_queue_base1.v Normal file
View File

@ -0,0 +1,22 @@
// Check that a vector base typeof a queue type is evaluated in the scope where
// the array type is declared.
localparam A = 8;
typedef logic [A-1:0] T[$];
module test;
localparam A = 4;
T x;
initial begin
x.push_back(8'hff);
if (x[0] === 8'hff) begin
$display("PASSED");
end else begin
$display("FAILED");
end
end
endmodule

24
ivtest/ivltests/sv_typedef_queue_base2.v Normal file
View File

@ -0,0 +1,24 @@
// Check that a complex base type (like a packed array) of a queue type is
// evaluated in the scope where the array type is declared.
localparam A = 8;
// Use type identifier for the base to force packed array
typedef logic l;
typedef l [A-1:0] T[$];
module test;
localparam A = 4;
T x;
initial begin
x.push_back(8'hff);
if (x[0] === 8'hff) begin
$display("PASSED");
end else begin
$display("FAILED");
end
end
endmodule

24
ivtest/ivltests/sv_typedef_queue_base3.v Normal file
View File

@ -0,0 +1,24 @@
// Check that a vector base type of a queue type gets evaluated in the right
// scope if the base type is defined in a different scope than the array type.
localparam A = 8;
typedef logic [A-1:0] Base;
module test;
localparam A = 4;
typedef Base T[$];
T x;
initial begin
x.push_back(8'hff);
if (x[0] === 8'hff) begin
$display("PASSED");
end else begin
$display("FAILED");
end
end
endmodule

27
ivtest/ivltests/sv_typedef_queue_base4.v Normal file
View File

@ -0,0 +1,27 @@
// Check that a complex base type (like a packed array) of a queue type gets
// evaluated in the right scope if the base type is defined in a different scope
// than the array type.
localparam A = 8;
// Use type identifier for the base to force packed array
typedef logic l;
typedef l [A-1:0] Base;
module test;
localparam A = 4;
typedef Base T[$];
T x;
initial begin
x.push_back(8'hff);
if (x[0] === 8'hff) begin
$display("PASSED");
end else begin
$display("FAILED");
end
end
endmodule

12
ivtest/regress-sv.list
View File

@ -589,6 +589,18 @@ sv_timeunit_prec_fail2 CE,-g2009,-u,\
./ivltests/sv_timeunit_prec_fail2a.v,\
./ivltests/sv_timeunit_prec_fail2b.v,\
./ivltests/sv_timeunit_prec_fail2c.v, ivltests gold=sv_timeunit_prec_fail2.gold
sv_typedef_array_base1 normal,-g2009 ivltests
sv_typedef_array_base2 normal,-g2009 ivltests
sv_typedef_array_base3 normal,-g2009 ivltests
sv_typedef_array_base4 normal,-g2009 ivltests
sv_typedef_darray_base1 normal,-g2009 ivltests
sv_typedef_darray_base2 normal,-g2009 ivltests
sv_typedef_darray_base3 normal,-g2009 ivltests
sv_typedef_darray_base4 normal,-g2009 ivltests
sv_typedef_queue_base1 normal,-g2009 ivltests
sv_typedef_queue_base2 normal,-g2009 ivltests
sv_typedef_queue_base3 normal,-g2009 ivltests
sv_typedef_queue_base4 normal,-g2009 ivltests
sv_typedef_scope1 normal,-g2009 ivltests
sv_typedef_scope2 normal,-g2009 ivltests
sv_typedef_scope3 normal,-g2009 ivltests

8
ivtest/regress-vlog95.list
View File

@ -439,6 +439,14 @@ pr3390385b CE,-g2009 ivltests # ++
pr3390385c CE,-g2009 ivltests # ++
pr3390385d CE,-g2009 ivltests # ++
pr3462145 CE,-g2009 ivltests # ++
sv_typedef_darray_base1 CE,-g2009 ivltests # Dyanmic array
sv_typedef_darray_base2 CE,-g2009 ivltests # Dyanmic array
sv_typedef_darray_base3 CE,-g2009 ivltests # Dyanmic array
sv_typedef_darray_base4 CE,-g2009 ivltests # Dyanmic array
sv_typedef_queue_base1 CE,-g2009 ivltests # queue
sv_typedef_queue_base2 CE,-g2009 ivltests # queue
sv_typedef_queue_base3 CE,-g2009 ivltests # queue
sv_typedef_queue_base4 CE,-g2009 ivltests # queue
wait_fork CE,-g2009 ivltests # wait fork and join_*
wild_cmp_err CE,-g2009 ivltests # ==?/!=?
wild_cmp_err2 CE,-g2009 ivltests # ==?/!=?