Merge pull request #3671 from zachjs/master

Add test for typenames using constants shadowed later on
YosysHQ · Feb 15, 2023 · 68480df · 68480df
2 parents 53bda9d + 26a6c60
commit 68480df
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 0 deletions.
diff --git a/tests/verilog/typedef_const_shadow.sv b/tests/verilog/typedef_const_shadow.sv
@@ -0,0 +1,12 @@
+module top;
+    localparam W = 5;
+    typedef logic [W-1:0] T;
+    T x; // width 5
+    if (1) begin : blk
+        localparam W = 10;
+        typedef T U;
+        typedef logic [W-1:0] V;
+        U y; // width 5
+        V z; // width 10
+    end
+endmodule
diff --git a/tests/verilog/typedef_const_shadow.ys b/tests/verilog/typedef_const_shadow.ys
@@ -0,0 +1,4 @@
+read_verilog -sv typedef_const_shadow.sv
+select -assert-count 1 w:x s:5 %i
+select -assert-count 1 w:blk.y s:5 %i
+select -assert-count 1 w:blk.z s:10 %i