[#92342] Add fileTruncator pass

Signed-off-by: Artur Bieniek <abieniek@internships.antmicro.com>

Author: ArturBieniek4

source/SvBugpoint.cpp

@@ -7,6 +7,7 @@
 #include <sys/stat.h>
 #include <sys/wait.h>
 #include <filesystem>
+#include <fstream>
 #include <iostream>
 #include "OneTimeRewritersFwd.hpp"
 #include "SetRemovers.hpp"
@@ -222,6 +223,31 @@ bool lineRemover(std::shared_ptr<SyntaxTree>& tree,
     return committed;
 }
 
+bool fileTruncator(std::shared_ptr<SyntaxTree>& tree,
+                   const std::string& stageName,
+                   const std::string& passIdx,
+                   SvBugpoint* svBugpoint) {
+    if (std::filesystem::is_empty(svBugpoint->getMinimizedFile())) {
+        return false;
+    }
+
+    std::ofstream tmpFile(svBugpoint->getTmpFile(), std::ios::trunc);
+    if (!tmpFile.is_open()) {
+        PRINTF_ERR("failed to truncate '%s'\n", svBugpoint->getTmpFile().c_str());
+        exit(1);
+    }
+    tmpFile.close();
+
+    auto stats = AttemptStats(passIdx, stageName, svBugpoint);
+    stats.typeInfo = "-";
+    if (svBugpoint->test(stats)) {
+        tree = svBugpoint->treeLoader.load(svBugpoint->getMinimizedFile());
+        return true;
+    }
+
+    return false;
+}
+
 bool SvBugpoint::pass(const std::string& passIdx) {
     bool commited = false;
 
@@ -230,6 +256,7 @@ bool SvBugpoint::pass(const std::string& passIdx) {
 
         auto tree = treeLoader.load(getMinimizedFile());
 
+        commited |= fileTruncator(tree, "fileTruncator", passIdx, this);
         commited |= rewriteLoop<BodyRemover>(tree, "bodyRemover", passIdx, this);
         commited |= rewriteLoop<InstantationRemover>(tree, "instantiationRemover", passIdx, this);
         commited |= rewriteLoop<BindRemover>(tree, "bindRemover", passIdx, this);

tests/Makefile

@@ -8,12 +8,17 @@ test_dont_abort_after_err:
 test: test_short test_caliptra test_comment_dir test_tricky_missing_newline test_irremovable_verilator_config test_comment_dir2
 
 .PHONY: test_short
-test_short: test_short_exit0 test_short_exit1 test_short_grep test_short_verilator_errmsg test_short_multi_file_verilator_errmsg test_short_multi_file_flag_y_verilator_errmsg test_short_multi_file_flag_f_verilator_errmsg
+test_short: test_short_exit0 test_truncator test_short_exit1 test_short_grep test_short_verilator_errmsg test_short_multi_file_verilator_errmsg test_short_multi_file_flag_y_verilator_errmsg test_short_multi_file_flag_f_verilator_errmsg
 
 .PHONY: test_short_exit0
 test_short_exit0:
 	@./run_test short_exit0 checkexit0.sh ${INPUT_DIR}/short_in.sv
 
+.PHONY: test_truncator
+test_truncator:
+	@./run_test truncator checkexit0.sh ${INPUT_DIR}/short_in.sv
+	@awk -F'\t' '$$2=="fileTruncator" && $$4=="1"{found=1} END{if(!found){print "FAILED: fileTruncator pass not committed" > "/dev/stderr"; exit(1)}}' out/truncator/debug/trace
+
 .PHONY: test_short_verilator_errmsg
 test_short_verilator_errmsg:
 	@verilator --version >/dev/null || (printf "FAILED: verilator not found\n"; exit 1)