Mario1159/verilator
1
0
Fork 0
forked from github/verilator
Code Pull Requests Releases 1 Activity

Fix Ariane issues with PostAdd nodes (#2400)

Browse Source
This commit is contained in:
Tomasz Gorochowik 2020-06-03 18:50:24 +02:00 committed by GitHub
parent ef71576825
commit 277dee109c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 11 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/V3LinkInc.cpp
View File

@ -108,6 +108,14 @@ private:
// Done the loop
m_insStmtp = NULL; // Next thing should be new statement
}
virtual void visit(AstNodeIf* nodep) VL_OVERRIDE {
m_insStmtp = nodep;
iterateAndNextNull(nodep->condp());
m_insStmtp = NULL;
iterateAndNextNull(nodep->ifsp());
iterateAndNextNull(nodep->elsesp());
m_insStmtp = NULL;
}
virtual void visit(AstNodeFor* nodep) VL_OVERRIDE { // LCOV_EXCL_LINE
nodep->v3fatalSrc(
"For statements should have been converted to while statements in V3Begin.cpp");
@ -122,14 +130,6 @@ private:
iterateChildren(nodep);
m_insStmtp = NULL; // Next thing should be new statement
}
virtual void visit(AstNodeBlock* nodep) VL_OVERRIDE {
AstNode* insStmtp_prev = m_insStmtp;
{
m_insStmtp = NULL;
iterateChildren(nodep);
}
m_insStmtp = insStmtp_prev;
}
void unsupported_visit(AstNode* nodep) {
m_unsupportedHere = true;
UINFO(9, "Marking unsupported " << nodep << endl);

3
test_regress/t/t_array_index_increment.v
View File

@ -112,7 +112,10 @@ module t (/*AUTOARG*/
if (1 == 1) begin
pos++;
end
if (pos != 1) $stop;
pos = 0;
if (1 == 1) pos++;
if (pos != 1) $stop;
$write("*-* All Finished *-*\n");