diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-03-21 16:19:51 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-03-21 16:19:51 +0100 |
| commit | 4f0d4899ce2c93f1f4eef685b03d9f06d4433429 (patch) | |
| tree | 84d681f3bd328b0661e313451244087e9d4fcbb6 /frontends | |
| parent | ca8f8e30f20fd48127003486f1701ac17fd35aa6 (diff) | |
| download | yosys-4f0d4899ce2c93f1f4eef685b03d9f06d4433429.tar.gz yosys-4f0d4899ce2c93f1f4eef685b03d9f06d4433429.tar.bz2 yosys-4f0d4899ce2c93f1f4eef685b03d9f06d4433429.zip | |
Added support for $stop system task
Diffstat (limited to 'frontends')
| -rw-r--r-- | frontends/ast/simplify.cc | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/frontends/ast/simplify.cc b/frontends/ast/simplify.cc index c841c078a..a8b5e161a 100644 --- a/frontends/ast/simplify.cc +++ b/frontends/ast/simplify.cc @@ -174,8 +174,8 @@ bool AstNode::simplify(bool const_fold, bool at_zero, bool in_lvalue, int stage, } // deactivate all calls to non-synthesis system tasks - // note that $display and $finish are used for synthesis-time DRC so they're not in this list - if ((type == AST_FCALL || type == AST_TCALL) && (str == "$strobe" || str == "$monitor" || str == "$time" || str == "$stop" || + // note that $display, $finish, and $stop are used for synthesis-time DRC so they're not in this list + if ((type == AST_FCALL || type == AST_TCALL) && (str == "$strobe" || str == "$monitor" || str == "$time" || str == "$dumpfile" || str == "$dumpvars" || str == "$dumpon" || str == "$dumpoff" || str == "$dumpall")) { log_warning("Ignoring call to system %s %s at %s:%d.\n", type == AST_FCALL ? "function" : "task", str.c_str(), filename.c_str(), linenum); delete_children(); @@ -1698,12 +1698,12 @@ skip_dynamic_range_lvalue_expansion:; if (type == AST_TCALL) { - if (str == "$finish") + if (str == "$finish" || str == "$stop") { if (!current_always || current_always->type != AST_INITIAL) - log_error("System task `$finish' outside initial block is unsupported at %s:%d.\n", filename.c_str(), linenum); + log_error("System task `%s' outside initial block is unsupported at %s:%d.\n", str.c_str(), filename.c_str(), linenum); - log_error("System task `$finish' executed at %s:%d.\n", filename.c_str(), linenum); + log_error("System task `%s' executed at %s:%d.\n", str.c_str(), filename.c_str(), linenum); } if (str == "\\$readmemh" || str == "\\$readmemb") |