github/verilator
1
0
Fork 1
mirror of https://github.com/verilator/verilator.git synced 2025-05-03 05:56:53 +00:00
Code Issues Packages Projects Releases Wiki Activity

CDC: 'posedge a or posedge b or edge a' should optimize to 'edge a or posedge b'

Browse Source
This commit is contained in:
Wilson Snyder 2010-01-14 14:17:11 -05:00
parent d1cb3b0d15
commit 43e1b27d16
2 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/V3Const.cpp
View File

@ -1167,8 +1167,6 @@ private:
const AstSenItem* ritemp = rhsp->castSenItem(); const AstSenItem* ritemp = rhsp->castSenItem();
if (litemp && ritemp) { if (litemp && ritemp) {
// Looks visually better if we keep sorted by name // Looks visually better if we keep sorted by name
if (litemp->edgeType() < ritemp->edgeType()) return true;
if (litemp->edgeType() > ritemp->edgeType()) return false;
if (!litemp->varrefp() && ritemp->varrefp()) return true; if (!litemp->varrefp() && ritemp->varrefp()) return true;
if ( litemp->varrefp() && !ritemp->varrefp()) return false; if ( litemp->varrefp() && !ritemp->varrefp()) return false;
if (litemp->varrefp() && ritemp->varrefp()) { if (litemp->varrefp() && ritemp->varrefp()) {
@ -1178,6 +1176,10 @@ private:
if (litemp->varrefp()->varScopep() < ritemp->varrefp()->varScopep()) return true; if (litemp->varrefp()->varScopep() < ritemp->varrefp()->varScopep()) return true;
if (litemp->varrefp()->varScopep() > ritemp->varrefp()->varScopep()) return false; if (litemp->varrefp()->varScopep() > ritemp->varrefp()->varScopep()) return false;
} }
// Sort by edge, AFTER variable, as we want multiple edges for same var adjacent
// note the SenTree optimizer requires this order (more general firsst, less general last)
if (litemp->edgeType() < ritemp->edgeType()) return true;
if (litemp->edgeType() > ritemp->edgeType()) return false;
} }
return false; return false;
} }

2
src/Verilator.cpp
View File

@ -295,7 +295,7 @@ void process () {
// Make large low-fanin logic blocks into lookup tables // Make large low-fanin logic blocks into lookup tables
// This should probably be done much later, once we have common logic elimination. // This should probably be done much later, once we have common logic elimination.
if (v3Global.opt.oTable()) { if (!v3Global.opt.lintOnly() && v3Global.opt.oTable()) {
V3Table::tableAll(v3Global.rootp()); V3Table::tableAll(v3Global.rootp());
v3Global.rootp()->dumpTreeFile(v3Global.debugFilename("table.tree")); v3Global.rootp()->dumpTreeFile(v3Global.debugFilename("table.tree"));
} }