aboutsummaryrefslogtreecommitdiffstats
path: root/tests/simple
diff options
context:
space:
mode:
authorZachary Snow <zach@zachjs.com>2021-06-14 15:32:01 -0400
committerZachary Snow <zachary.j.snow@gmail.com>2021-06-16 21:48:05 -0400
commitf2c2d73f36d7aaef90ded549143d1ee0c4d4a9f5 (patch)
treed7f7afbb2dd1662c77ba1075a4f8ba6d2055cd03 /tests/simple
parent092f0cb01e91b65d5ecc7c8e45f0eefa30b8c205 (diff)
downloadyosys-f2c2d73f36d7aaef90ded549143d1ee0c4d4a9f5.tar.gz
yosys-f2c2d73f36d7aaef90ded549143d1ee0c4d4a9f5.tar.bz2
yosys-f2c2d73f36d7aaef90ded549143d1ee0c4d4a9f5.zip
sv: fix up end label checking
- disallow [gen]blocks with an end label but not begin label - check validity of module end label - fix memory leak of package name and end label - fix memory leak of module end label
Diffstat (limited to 'tests/simple')
-rw-r--r--tests/simple/matching_end_labels.sv29
1 files changed, 29 insertions, 0 deletions
diff --git a/tests/simple/matching_end_labels.sv b/tests/simple/matching_end_labels.sv
new file mode 100644
index 000000000..09182ebcf
--- /dev/null
+++ b/tests/simple/matching_end_labels.sv
@@ -0,0 +1,29 @@
+module top(
+ output reg [7:0]
+ out1, out2, out3, out4
+);
+ initial begin
+ begin : blk1
+ reg x;
+ x = 1;
+ end
+ out1 = blk1.x;
+ begin : blk2
+ reg x;
+ x = 2;
+ end : blk2
+ out2 = blk2.x;
+ end
+ if (1) begin
+ if (1) begin : blk3
+ reg x;
+ assign x = 3;
+ end
+ assign out3 = blk3.x;
+ if (1) begin : blk4
+ reg x;
+ assign x = 4;
+ end : blk4
+ assign out4 = blk4.x;
+ end
+endmodule