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

Rewrite multirange arrays sizes [n] as [n-1:0]

Browse source 
Signed-off-by: Lukasz Dalek <ldalek@antmicro.com>
This commit is contained in:
Lukasz Dalek 2020-07-17 13:41:09 +02:00
parent c39ebe6ae0
commit 83ddc62034
1 changed files with 11 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

13
frontends/verilog/verilog_parser.y
View file

@ -210,14 +210,23 @@ static AstNode *checkRange(AstNode *type_node, AstNode *range_node)
return range_node; return range_node;
} }
static void rewriteAsMemoryNode(AstNode *node, AstNode *rangeNode) static void rewriteRange(AstNode *rangeNode)
{ {
node->type = AST_MEMORY;
if (rangeNode->type == AST_RANGE && rangeNode->children.size() == 1) { if (rangeNode->type == AST_RANGE && rangeNode->children.size() == 1) {
// SV array size [n], rewrite as [n-1:0] // 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[0] = new AstNode(AST_SUB, rangeNode->children[0], AstNode::mkconst_int(1, true));
rangeNode->children.push_back(AstNode::mkconst_int(0, false)); rangeNode->children.push_back(AstNode::mkconst_int(0, false));
} }
}
static void rewriteAsMemoryNode(AstNode *node, AstNode *rangeNode)
{
node->type = AST_MEMORY;
if (rangeNode->type == AST_MULTIRANGE) {
for (auto *itr : rangeNode->children)
rewriteRange(itr);
} else
rewriteRange(rangeNode);
node->children.push_back(rangeNode); node->children.push_back(rangeNode);
} }