luke
/
iverilog
mirror of https://github.com/steveicarus/iverilog.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Avoid name collisions when naming unnamed generate blocks. 

As specified in the IEEE standard, the automatically generated name
must not conflict with any explicitly declared name (not just scope
names).
This commit is contained in:
Martin Whitaker 2021-08-04 12:07:52 +01:00
parent ceb2581368
commit 7445b424f1
2 changed files with 21 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

31
net_scope.cc
View File

@ -359,8 +359,9 @@ bool NetScope::auto_name(const char*prefix, char pad, const char* suffix)
while (use_prefix.size() <= max_pad_attempts) {
// Try this name...
string tmp = use_prefix + suffix;
hname_t new_name(lex_strings.make(tmp.c_str()), name_.peek_numbers());
if (!up_->child(new_name)) {
perm_string base_name = lex_strings.make(tmp.c_str());
hname_t new_name(base_name, name_.peek_numbers());
if (!up_->child(new_name) && !up_->symbol_exists(base_name)) {
// Ah, this name is unique. Rename myself, and
// change my name in the parent scope.
name_ = new_name;
@ -810,6 +811,20 @@ const NetScope* NetScope::child_byname(perm_string name) const
}
bool NetScope::symbol_exists(perm_string sym)
{
if (signals_map_.find(sym) != signals_map_.end())
return true;
if (parameters.find(sym) != parameters.end())
return true;
if (genvars_.find(sym) != genvars_.end())
return true;
if (classes_.find(sym) != classes_.end())
return true;
return false;
}
perm_string NetScope::local_symbol()
{
perm_string sym;
@ -818,16 +833,8 @@ perm_string NetScope::local_symbol()
res << "_ivl_" << (lcounter_++);
perm_string sym_tmp = lex_strings.make(res.str());
// If the name already exists as a signal, try again.
if (signals_map_.find(sym_tmp) != signals_map_.end())
continue;
// If the name already exists as a parameter, try again.
if (parameters.find(sym_tmp) != parameters.end())
continue;
if (genvars_.find(sym_tmp) != genvars_.end())
continue;
// If the name already exists as a class, try again.
if (classes_.find(sym_tmp) != classes_.end())
// If the name already exists, try again.
if (symbol_exists(sym_tmp))
continue;
// No collisions, this is the one.

2
netlist.h
View File

@ -1165,6 +1165,8 @@ class NetScope : public Definitions, public Attrib {
// Look for defparams that never matched, and print warnings.
void residual_defparams(class Design*);
bool symbol_exists(perm_string sym);
/* This method generates a non-hierarchical name that is
guaranteed to be unique within this scope. */
perm_string local_symbol();