From fb55287a3b336e43edea0bd3736e09787a62bcca Mon Sep 17 00:00:00 2001
From: Akash Levy <akashlevy@gmail.com>
Date: Fri, 10 May 2024 11:09:22 -0700
Subject: [PATCH] Add SVP extension, log auto-discovery, support gzip in
 verific

---
 frontends/verific/verific.cc | 9 +++++++++
 verific                      | 2 +-
 2 files changed, 10 insertions(+), 1 deletion(-)

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 9fae77e54..8a3795947 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3398,6 +3398,7 @@ struct VerificPass : public Pass {
 			hdl_file_sort::RemoveFileExt(".v");
 			hdl_file_sort::AddFileExtMode(".v", veri_file::SYSTEM_VERILOG);
 			hdl_file_sort::AddFileExtMode(".sv", veri_file::SYSTEM_VERILOG);
+			hdl_file_sort::AddFileExtMode(".svp", veri_file::SYSTEM_VERILOG);
 
 			// Select analyze function
 			auto analyze_function = (args[argidx] == "-auto_discover") ? hdl_file_sort::AnalyzeDiscoveredFiles : hdl_file_sort::AnalyzeSortedFiles;
@@ -3417,6 +3418,7 @@ struct VerificPass : public Pass {
 							verific_error_msg.clear();
 							log_cmd_error("Could not register file %s.\n", file_name);
 						}
+						log("Auto-discovery: registered file %s from .f file processing\n", file_name);
 					}
 					FOREACH_ARRAY_ITEM(veri_file::IncludeDirs(), i, dir_name) {
 						if (!hdl_file_sort::RegisterDir(dir_name)) {
@@ -3424,33 +3426,39 @@ struct VerificPass : public Pass {
 							log_cmd_error("Could not register include directory %s.\n", dir_name);
 						}
 						hdl_file_sort::AddIncludeDir(dir_name);
+						log("Auto-discovery: registered include directory %s\n", dir_name);
 					}
 					FOREACH_ARRAY_ITEM(veri_file::GetAllYDirs(), i, dir_name) {
 						if (!hdl_file_sort::RegisterDir(dir_name)) {
 							verific_error_msg.clear();
 							log_cmd_error("Could not register -y directory %s.\n", dir_name);
 						}
+						log("Auto-discovery: registered -y directory %s\n", dir_name);
 					}
 					FOREACH_ARRAY_ITEM(veri_file::GetAllVFiles(), i, file_name) {
 						if (!hdl_file_sort::RegisterFile(file_name)) {
 							verific_error_msg.clear();
 							log_cmd_error("Could not register -v file %s.\n", file_name);
 						}
+						log("Auto-discovery: registered -v directory %s\n", file_name);
 					}
 					FOREACH_MAP_ITEM(veri_file::AllMacroDefs(), mi, &key, &value) {
 						if (!hdl_file_sort::DefineMacro(key, value, veri_file::MacroArgs(key))) {
 							verific_error_msg.clear();
 							log_cmd_error("Could not define macro %s with value %s.\n", key, value);
 						}
+						log("Auto-discovery: registered definition of macro %s with value %s\n", key, value);
 					}
 					FOREACH_MAP_ITEM(veri_file::AllCmdLineMacros(), mi, &key, &value) {
 						if (!hdl_file_sort::DefineCmdLineMacro(key, value)) {
 							verific_error_msg.clear();
 							log_cmd_error("Could not define command line macro %s with value %s.\n", key, value);
 						}
+						log("Auto-discovery: registered definition of command line macro %s with value %s\n", key, value);
 					}
 					// FOREACH_SET_ITEM(veri_file::GetAllLOptions(), si, key) {
 					// 	hdl_file_sort::AddLOption(key);
+					// 	log("Auto-discovery: added -L option %s\n", key);
 					// }
 					delete file_names;
 				} else {
@@ -3458,6 +3466,7 @@ struct VerificPass : public Pass {
 						verific_error_msg.clear();
 						log_cmd_error("Could not register directory %s.\n", args[argidx].c_str());
 					}
+					log("Auto-discovery: registered directory %s specified in config.options.search_dirs\n", args[argidx].c_str());
 				}
 			}
 
diff --git a/verific b/verific
index ff9749aff..64a1b027b 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit ff9749affff47e9021304aa5c60733cd723d693b
+Subproject commit 64a1b027bc889a10b953366c2c09a9454c9ea6b8