riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Warning for $display/$write outside initial block

This commit is contained in:
Clifford Wolf 2015-09-23 07:16:03 +02:00
parent b845b77f86
commit 559929e341
1 changed files with 8 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
frontends/ast/simplify.cc
View File

@ -182,20 +182,21 @@ bool AstNode::simplify(bool const_fold, bool at_zero, bool in_lvalue, int stage,
str = std::string(); str = std::string();
} }
if ((type == AST_TCALL) && (str == "$display" || str == "$write") && (!current_always || current_always->type != AST_INITIAL)) {
log_warning("System task `%s' outside initial block is unsupported at %s:%d.\n", str.c_str(), filename.c_str(), linenum);
delete_children();
str = std::string();
}
// print messages if this a call to $display() or $write() // print messages if this a call to $display() or $write()
// This code implements only a small subset of Verilog-2005 $display() format specifiers, // This code implements only a small subset of Verilog-2005 $display() format specifiers,
// but should be good enough for most uses // but should be good enough for most uses
if ((type == AST_TCALL) && ((str == "$display") || (str == "$write"))) if ((type == AST_TCALL) && ((str == "$display") || (str == "$write")))
{ {
if (!current_always || current_always->type != AST_INITIAL)
log_error("System task `$display' outside initial block is unsupported at %s:%d.\n", filename.c_str(), linenum);
size_t nargs = GetSize(children); size_t nargs = GetSize(children);
if(nargs < 1) if(nargs < 1)
{ log_error("System task `%s' got %d arguments, expected >= 1 at %s:%d.\n",
log_error("System task `$display' got %d arguments, expected >= 1 at %s:%d.\n", str.c_str(), int(children.size()), filename.c_str(), linenum);
int(children.size()), filename.c_str(), linenum);
}
// First argument is the format string // First argument is the format string
AstNode *node_string = children[0]->clone(); AstNode *node_string = children[0]->clone();