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

Optimize DFG De Morgan patterns (#6090) 

It's ok if the replaced vertex has multiple sinks, this pattern cannot
increase the size of logic even then.
This commit is contained in:
Geza Lore 2025-06-15 16:00:11 +01:00 committed by GitHub
parent 47f5a6a52b
commit bca2e2c16e
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/V3DfgPeephole.cpp
View File

@ -895,8 +895,8 @@ class V3DfgPeephole final : public DfgVisitor {
DfgVertex* const rhsp = vtxp->rhsp(); DfgVertex* const rhsp = vtxp->rhsp();
FileLine* const flp = vtxp->fileline(); FileLine* const flp = vtxp->fileline();
// Bubble pushing // Bubble pushing (De Morgan)
if (!vtxp->hasMultipleSinks() && !lhsp->hasMultipleSinks() && !rhsp->hasMultipleSinks()) { if (!lhsp->hasMultipleSinks() && !rhsp->hasMultipleSinks()) {
if (DfgNot* const lhsNotp = lhsp->cast<DfgNot>()) { if (DfgNot* const lhsNotp = lhsp->cast<DfgNot>()) {
if (DfgNot* const rhsNotp = rhsp->cast<DfgNot>()) { if (DfgNot* const rhsNotp = rhsp->cast<DfgNot>()) {
APPLYING(REPLACE_AND_OF_NOT_AND_NOT) { APPLYING(REPLACE_AND_OF_NOT_AND_NOT) {
@ -964,8 +964,8 @@ class V3DfgPeephole final : public DfgVisitor {
DfgVertex* const rhsp = vtxp->rhsp(); DfgVertex* const rhsp = vtxp->rhsp();
FileLine* const flp = vtxp->fileline(); FileLine* const flp = vtxp->fileline();
// Bubble pushing // Bubble pushing (De Morgan)
if (!vtxp->hasMultipleSinks() && !lhsp->hasMultipleSinks() && !rhsp->hasMultipleSinks()) { if (!lhsp->hasMultipleSinks() && !rhsp->hasMultipleSinks()) {
if (DfgNot* const lhsNotp = lhsp->cast<DfgNot>()) { if (DfgNot* const lhsNotp = lhsp->cast<DfgNot>()) {
if (DfgNot* const rhsNotp = rhsp->cast<DfgNot>()) { if (DfgNot* const rhsNotp = rhsp->cast<DfgNot>()) {
APPLYING(REPLACE_OR_OF_NOT_AND_NOT) { APPLYING(REPLACE_OR_OF_NOT_AND_NOT) {