github/verilator
1
0
Fork 1
mirror of https://github.com/verilator/verilator.git synced 2025-01-08 15:47:36 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix a nondeterminism issue in the new V3Split

Browse Source
This commit is contained in:
John Coiner 2018-03-29 14:03:18 -04:00
parent 1f04d17e77
commit 422c915c1d
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/V3Split.cpp
View File

@ -627,7 +627,7 @@ private:
};
typedef vl_unordered_set<uint32_t> ColorSet;
typedef vl_unordered_set<AstAlways*> AlwaysSet;
typedef std::vector<AstAlways*> AlwaysVec;
class IfColorVisitor : public AstNVisitor {
// MEMBERS
@ -714,7 +714,7 @@ class EmitSplitVisitor : public AstNVisitor {
typedef vl_unordered_map<uint32_t, AstNode*> LocMap;
LocMap m_addAfter;
AlwaysSet* m_newBlocksp; // Split always blocks we have generated
AlwaysVec* m_newBlocksp; // Split always blocks we have generated
// CONSTRUCTORS
public:
@ -723,7 +723,7 @@ public:
// into *newBlocksp.
EmitSplitVisitor(AstAlways* nodep,
const IfColorVisitor* ifColorp,
AlwaysSet* newBlocksp)
AlwaysVec* newBlocksp)
: m_origAlwaysp(nodep)
, m_ifColorp(ifColorp)
, m_newBlocksp(newBlocksp) {
@ -748,7 +748,7 @@ public:
AstSplitPlaceholder* placeholderp = makePlaceholderp();
alwaysp->addStmtp(placeholderp);
m_addAfter[*color] = placeholderp;
m_newBlocksp->insert(alwaysp);
m_newBlocksp->push_back(alwaysp);
}
// Scan the body of the always. We'll handle if/else
// specially, everything else is a leaf node that we can
@ -861,7 +861,7 @@ private:
// Keys are original always blocks pending delete,
// values are newly split always blocks pending insertion
// at the same position as the originals:
typedef vl_unordered_map<AstAlways*, AlwaysSet> ReplaceMap;
typedef vl_unordered_map<AstAlways*, AlwaysVec> ReplaceMap;
ReplaceMap m_replaceBlocks;
// AstNodeIf* whose condition we're currently visiting
@ -880,7 +880,7 @@ public:
for (ReplaceMap::iterator it = m_replaceBlocks.begin();
it != m_replaceBlocks.end(); ++it) {
AstAlways* origp = it->first;
for (AlwaysSet::iterator addme = it->second.begin();
for (AlwaysVec::iterator addme = it->second.begin();
addme != it->second.end(); ++addme) {
origp->addNextHere(*addme);
RemovePlaceholdersVisitor removePlaceholders(*addme);