From 49ca1cfdd79312dcd28195852f7cc89e1b95b754 Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Sat, 16 Aug 2025 18:32:40 -0400 Subject: [PATCH] Commentary --- src/V3Const.cpp | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/src/V3Const.cpp b/src/V3Const.cpp index 42f5ed1e1..0f009d2b7 100644 --- a/src/V3Const.cpp +++ b/src/V3Const.cpp @@ -3504,8 +3504,11 @@ class ConstVisitor final : public VNVisitor { } // TODO if there's an ExprStmt underneath just keep lower statements // (No current test case needs this) - // TODO if non-pure, can remove keep removing upper pure-itself - // NodeUniOp/NodeBiOp until get to the non-pure child-node expression + // TODO if non-pure, can remove. First need to clean up that many expressions used + // under this node do not yet properly indicate non-pure. + // Also, under here, a NodeUniOp/NodeBiOp that is pure (but child of such is not + // pure) can be peeled off until get to the non-pure child-node expression, + // because all that is needed is to execute what causes the side effect. } // Simplify