Unpacked array declaration using size

Allows fixed-sized array dimension specified by a single number.

This commit is based on the work from PeterCrozier
https://github.com/YosysHQ/yosys/pull/560.
But is split out of the original work.
This commit is contained in:
Tobias Wölfel 2019-06-19 12:47:48 +02:00
parent c23bbc4291
commit 8b8af10f5e
3 changed files with 13 additions and 1 deletions

View File

@ -1385,7 +1385,13 @@ wire_name:
node->children.push_back(rng); node->children.push_back(rng);
} }
node->type = AST_MEMORY; node->type = AST_MEMORY;
node->children.push_back($2); auto *rangeNode = $2;
if (rangeNode->type == AST_RANGE && rangeNode->children.size() == 1) {
// SV array size [n], rewrite as [n-1:0]
rangeNode->children[0] = new AstNode(AST_SUB, rangeNode->children[0], AstNode::mkconst_int(1, true));
rangeNode->children.push_back(AstNode::mkconst_int(0, false));
}
node->children.push_back(rangeNode);
} }
if (current_function_or_task == NULL) { if (current_function_or_task == NULL) {
if (do_not_require_port_stubs && (node->is_input || node->is_output) && port_stubs.count(*$1) == 0) { if (do_not_require_port_stubs && (node->is_input || node->is_output) && port_stubs.count(*$1) == 0) {

View File

@ -0,0 +1,4 @@
module unpacked_arrays;
reg array_range [0:7];
reg array_size [8];
endmodule

View File

@ -0,0 +1,2 @@
read_verilog -sv unpacked_arrays.sv
stat