Internals: Fix redundant edges in V3Trace (#5939). No functional change intended..

Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
This commit is contained in:
Ryszard Rozak 2025-04-17 12:23:18 +02:00 committed by GitHub
parent 3ecd58460f
commit cbabd8abe1
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 0 deletions

View File

@ -755,6 +755,7 @@ class TraceVisitor final : public VNVisitor {
void createTraceFunctions() {
// Detect and remove duplicate values
detectDuplicates();
m_graph.removeRedundantEdgesMax(&V3GraphEdge::followAlwaysTrue);
// Simplify & optimize the graph
if (dumpGraphLevel() >= 6) m_graph.dumpDotFilePrefixed("trace_pre");