3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-27 00:18:46 +00:00

Improved handling of private names in opt_clean and rename commands

This commit is contained in:
Clifford Wolf 2013-08-07 18:39:49 +02:00
parent 3f5d7df603
commit e729857647
2 changed files with 39 additions and 7 deletions

View file

@ -122,10 +122,10 @@ static bool check_public_name(RTLIL::IdString id)
{
if (id[0] == '$')
return false;
#if 0
if (id.substr(0, 2) == "\\_" && (id[id.size()-1] == '_' || id.find("_[") != std::string::npos))
return false;
if (id.find(".$") != std::string::npos)
return false;
#endif
return true;
}