diff options
| author | Clifford Wolf <clifford@clifford.at> | 2013-03-31 11:19:11 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2013-03-31 11:19:11 +0200 |
| commit | 161565be104fd0c7b7c4224bd23e9502625e041a (patch) | |
| tree | f0c54a731d73dc7b334579acb56950497a9e1cb6 /frontends/ast/ast.cc | |
| parent | 5640b7d6078a681e33e85f06920394204f41c875 (diff) | |
| download | yosys-161565be104fd0c7b7c4224bd23e9502625e041a.tar.gz yosys-161565be104fd0c7b7c4224bd23e9502625e041a.tar.bz2 yosys-161565be104fd0c7b7c4224bd23e9502625e041a.zip | |
Added AST_INITIAL (before verilog "initial" was mapped to AST_ALWAYS)
Diffstat (limited to 'frontends/ast/ast.cc')
| -rw-r--r-- | frontends/ast/ast.cc | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/frontends/ast/ast.cc b/frontends/ast/ast.cc index 091b196ef..391e0a444 100644 --- a/frontends/ast/ast.cc +++ b/frontends/ast/ast.cc @@ -122,6 +122,7 @@ std::string AST::type2str(AstNodeType type) X(AST_CELL) X(AST_PRIMITIVE) X(AST_ALWAYS) + X(AST_INITIAL) X(AST_BLOCK) X(AST_ASSIGN_EQ) X(AST_ASSIGN_LE) @@ -417,6 +418,14 @@ void AstNode::dumpVlog(FILE *f, std::string indent) } break; + case AST_INITIAL: + fprintf(f, "%s" "initial\n", indent.c_str()); + for (auto child : children) { + if (child->type != AST_POSEDGE && child->type != AST_NEGEDGE && child->type != AST_EDGE) + child->dumpVlog(f, indent + " "); + } + break; + case AST_POSEDGE: case AST_NEGEDGE: case AST_EDGE: |