Merge branch 'sv_packages' of https://github.com/rubund/yosys

This commit is contained in:
Clifford Wolf 2016-06-19 15:48:40 +02:00
commit 9bca8ccd40
7 changed files with 52 additions and 1 deletions

View File

@ -151,6 +151,7 @@ std::string AST::type2str(AstNodeType type)
X(AST_POSEDGE) X(AST_POSEDGE)
X(AST_NEGEDGE) X(AST_NEGEDGE)
X(AST_EDGE) X(AST_EDGE)
X(AST_PACKAGE)
#undef X #undef X
default: default:
log_abort(); log_abort();
@ -996,6 +997,14 @@ void AST::process(RTLIL::Design *design, AstNode *ast, bool dump_ast1, bool dump
for (auto n : global_decls) for (auto n : global_decls)
(*it)->children.push_back(n->clone()); (*it)->children.push_back(n->clone());
for (auto n : design->verilog_packages){
for (auto o : n->children) {
AstNode *cloned_node = o->clone();
cloned_node->str = n->str + std::string("::") + cloned_node->str.substr(1);
(*it)->children.push_back(cloned_node);
}
}
if (flag_icells && (*it)->str.substr(0, 2) == "\\$") if (flag_icells && (*it)->str.substr(0, 2) == "\\$")
(*it)->str = (*it)->str.substr(1); (*it)->str = (*it)->str.substr(1);
@ -1013,6 +1022,9 @@ void AST::process(RTLIL::Design *design, AstNode *ast, bool dump_ast1, bool dump
design->add(process_module(*it, defer)); design->add(process_module(*it, defer));
} }
else if ((*it)->type == AST_PACKAGE){
design->verilog_packages.push_back((*it)->clone());
}
else else
global_decls.push_back(*it); global_decls.push_back(*it);
} }

View File

@ -137,7 +137,9 @@ namespace AST
AST_POSEDGE, AST_POSEDGE,
AST_NEGEDGE, AST_NEGEDGE,
AST_EDGE AST_EDGE,
AST_PACKAGE
}; };
// convert an node type to a string (e.g. for debug output) // convert an node type to a string (e.g. for debug output)

View File

@ -806,6 +806,7 @@ RTLIL::SigSpec AstNode::genRTLIL(int width_hint, bool sign_hint)
case AST_GENBLOCK: case AST_GENBLOCK:
case AST_GENIF: case AST_GENIF:
case AST_GENCASE: case AST_GENCASE:
case AST_PACKAGE:
break; break;
// remember the parameter, needed for example in techmap // remember the parameter, needed for example in techmap

View File

@ -141,6 +141,8 @@ YOSYS_NAMESPACE_END
"endfunction" { return TOK_ENDFUNCTION; } "endfunction" { return TOK_ENDFUNCTION; }
"task" { return TOK_TASK; } "task" { return TOK_TASK; }
"endtask" { return TOK_ENDTASK; } "endtask" { return TOK_ENDTASK; }
"package" { SV_KEYWORD(TOK_PACKAGE); }
"endpackage" { SV_KEYWORD(TOK_ENDPACKAGE); }
"parameter" { return TOK_PARAMETER; } "parameter" { return TOK_PARAMETER; }
"localparam" { return TOK_LOCALPARAM; } "localparam" { return TOK_LOCALPARAM; }
"defparam" { return TOK_DEFPARAM; } "defparam" { return TOK_DEFPARAM; }
@ -351,6 +353,8 @@ import[ \t\r\n]+\"(DPI|DPI-C)\"[ \t\r\n]+function[ \t\r\n]+ {
"<<<" { return OP_SSHL; } "<<<" { return OP_SSHL; }
">>>" { return OP_SSHR; } ">>>" { return OP_SSHR; }
"::" { SV_KEYWORD(TOK_PACKAGESEP); }
"+:" { return TOK_POS_INDEXED; } "+:" { return TOK_POS_INDEXED; }
"-:" { return TOK_NEG_INDEXED; } "-:" { return TOK_NEG_INDEXED; }

View File

@ -102,6 +102,7 @@ static void free_attr(std::map<std::string, AstNode*> *al)
%token <string> TOK_STRING TOK_ID TOK_CONST TOK_REALVAL TOK_PRIMITIVE %token <string> TOK_STRING TOK_ID TOK_CONST TOK_REALVAL TOK_PRIMITIVE
%token ATTR_BEGIN ATTR_END DEFATTR_BEGIN DEFATTR_END %token ATTR_BEGIN ATTR_END DEFATTR_BEGIN DEFATTR_END
%token TOK_MODULE TOK_ENDMODULE TOK_PARAMETER TOK_LOCALPARAM TOK_DEFPARAM %token TOK_MODULE TOK_ENDMODULE TOK_PARAMETER TOK_LOCALPARAM TOK_DEFPARAM
%token TOK_PACKAGE TOK_ENDPACKAGE TOK_PACKAGESEP
%token TOK_INPUT TOK_OUTPUT TOK_INOUT TOK_WIRE TOK_REG %token TOK_INPUT TOK_OUTPUT TOK_INOUT TOK_WIRE TOK_REG
%token TOK_INTEGER TOK_SIGNED TOK_ASSIGN TOK_ALWAYS TOK_INITIAL %token TOK_INTEGER TOK_SIGNED TOK_ASSIGN TOK_ALWAYS TOK_INITIAL
%token TOK_BEGIN TOK_END TOK_IF TOK_ELSE TOK_FOR TOK_WHILE TOK_REPEAT %token TOK_BEGIN TOK_END TOK_IF TOK_ELSE TOK_FOR TOK_WHILE TOK_REPEAT
@ -155,6 +156,7 @@ design:
task_func_decl design | task_func_decl design |
param_decl design | param_decl design |
localparam_decl design | localparam_decl design |
package design |
/* empty */; /* empty */;
attr: attr:
@ -212,6 +214,14 @@ hierarchical_id:
TOK_ID { TOK_ID {
$$ = $1; $$ = $1;
} | } |
hierarchical_id TOK_PACKAGESEP TOK_ID {
if ($3->substr(0, 1) == "\\")
*$1 += "::" + $3->substr(1);
else
*$1 += "::" + *$3;
delete $3;
$$ = $1;
} |
hierarchical_id '.' TOK_ID { hierarchical_id '.' TOK_ID {
if ($3->substr(0, 1) == "\\") if ($3->substr(0, 1) == "\\")
*$1 += "." + $3->substr(1); *$1 += "." + $3->substr(1);
@ -311,6 +321,25 @@ module_arg:
do_not_require_port_stubs = true; do_not_require_port_stubs = true;
}; };
package:
attr TOK_PACKAGE TOK_ID {
AstNode *mod = new AstNode(AST_PACKAGE);
ast_stack.back()->children.push_back(mod);
ast_stack.push_back(mod);
current_ast_mod = mod;
mod->str = *$3;
append_attr(mod, $1);
} ';' package_body TOK_ENDPACKAGE {
ast_stack.pop_back();
current_ast_mod = NULL;
};
package_body:
package_body package_body_stmt |;
package_body_stmt:
localparam_decl;
non_opt_delay: non_opt_delay:
'#' '(' expr ')' { delete $3; } | '#' '(' expr ')' { delete $3; } |
'#' '(' expr ':' expr ':' expr ')' { delete $3; delete $5; delete $7; }; '#' '(' expr ':' expr ':' expr ')' { delete $3; delete $5; delete $7; };

View File

@ -304,6 +304,8 @@ RTLIL::Design::~Design()
{ {
for (auto it = modules_.begin(); it != modules_.end(); ++it) for (auto it = modules_.begin(); it != modules_.end(); ++it)
delete it->second; delete it->second;
for (auto n : verilog_packages)
delete n;
} }
RTLIL::ObjRange<RTLIL::Module*> RTLIL::Design::modules() RTLIL::ObjRange<RTLIL::Module*> RTLIL::Design::modules()

View File

@ -792,6 +792,7 @@ struct RTLIL::Design
int refcount_modules_; int refcount_modules_;
dict<RTLIL::IdString, RTLIL::Module*> modules_; dict<RTLIL::IdString, RTLIL::Module*> modules_;
std::vector<AST::AstNode*> verilog_packages;
std::vector<RTLIL::Selection> selection_stack; std::vector<RTLIL::Selection> selection_stack;
dict<RTLIL::IdString, RTLIL::Selection> selection_vars; dict<RTLIL::IdString, RTLIL::Selection> selection_vars;