[#94012] Handle covergroups

Author: kdanecki

source/DeclRemover.cpp

@@ -62,6 +62,11 @@ class DeclRemover : public IncrementalRewriter<DeclRemover> {
         removeNode(node, isNodeRemovable);
         return VISIT_CHILDREN;
     }
+
+    ShouldVisitChildren handle(const CovergroupDeclarationSyntax& node, bool isNodeRemovable) {
+        removeNode(node, isNodeRemovable);
+        return DONT_VISIT_CHILDREN;
+    }
 };
 
 template bool rewriteLoop<DeclRemover>(std::shared_ptr<SyntaxTree>& tree,

tests/Makefile

@@ -130,3 +130,7 @@ test_caliptra_grep: test_caliptra_grep_default test_caliptra_grep_1_at_once
 .PHONY: test_disable_line_remover
 test_disable_line_remover:
 	@./run_test disable_line_remover checkgrep.sh ${INPUT_DIR}/disable_line_remover.sv --fno-line-remover
+
+.PHONY: test_remove_covergroup
+test_remove_covergroup:
+	@./run_test remove_covergroup checkgrepfinish.sh ${INPUT_DIR}/remove_covergroup.sv

tests/checkgrepfinish.sh

@@ -0,0 +1,8 @@
+#!/bin/sh
+# SPDX-License-Identifier: Apache-2.0
+
+# assert that certain part of input wasn't removed
+
+grep "finish" "$@" -q && exit 0 # for remove_covergroups.sv
+
+exit 1

tests/golden/remove_covergroup/sv-bugpoint-combined.sv

@@ -0,0 +1,5 @@
+module t;
+  initial begin
+    $finish;
+  end;
+endmodule

tests/input_files/remove_covergroup.sv

@@ -0,0 +1,13 @@
+module t;
+  logic a, b;
+  covergroup cg @ (posedge a);
+    coverpoint b;
+  endgroup
+  cg cg_inst;
+  int c;
+  bit d;
+  initial begin;
+    d = c;
+    $finish;
+  end;
+endmodule