mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-07-24 21:27:00 +00:00
Code Activity

log: add -expect types prefix-log, prefix-warning, prefix-error

Browse source
This commit is contained in:
Emil J. Tywoniak 2025-06-16 21:26:08 +02:00
parent 67f8de54dc
commit 41107e5473
3 changed files with 63 additions and 36 deletions
Download patch file Download diff file Expand all files Collapse all files

81
kernel/log.cc
View file

@ -44,6 +44,7 @@ std::vector<std::string> log_scratchpads;
std::map<std::string, std::set<std::string>> log_hdump; std::map<std::string, std::set<std::string>> log_hdump;
std::vector<std::regex> log_warn_regexes, log_nowarn_regexes, log_werror_regexes; std::vector<std::regex> log_warn_regexes, log_nowarn_regexes, log_werror_regexes;
dict<std::string, LogExpectedItem> log_expect_log, log_expect_warning, log_expect_error; dict<std::string, LogExpectedItem> log_expect_log, log_expect_warning, log_expect_error;
dict<std::string, LogExpectedItem> log_expect_prefix_log, log_expect_prefix_warning, log_expect_prefix_error;
std::set<std::string> log_warnings, log_experimentals, log_experimentals_ignored; std::set<std::string> log_warnings, log_experimentals, log_experimentals_ignored;
int log_warnings_count = 0; int log_warnings_count = 0;
int log_warnings_count_noexpect = 0; int log_warnings_count_noexpect = 0;
@ -178,7 +179,7 @@ void logv(const char *format, va_list ap)
{ {
log_warn_regex_recusion_guard = true; log_warn_regex_recusion_guard = true;
if (log_warn_regexes.empty() && log_expect_log.empty()) if (log_warn_regexes.empty() && log_expect_log.empty() && log_expect_prefix_log.empty())
{ {
linebuffer.clear(); linebuffer.clear();
} }
@ -191,9 +192,9 @@ void logv(const char *format, va_list ap)
if (std::regex_search(linebuffer, re)) if (std::regex_search(linebuffer, re))
log_warning("Found log message matching -W regex:\n%s", str.c_str()); log_warning("Found log message matching -W regex:\n%s", str.c_str());
for (auto &item : log_expect_log) for (auto &[_, item] : log_expect_log)
if (std::regex_search(linebuffer, item.second.pattern)) if (std::regex_search(linebuffer, item.pattern))
item.second.current_count++; item.current_count++;
linebuffer.clear(); linebuffer.clear();
} }
@ -266,9 +267,15 @@ static void logv_warning_with_prefix(const char *prefix,
log_error("%s", message.c_str()); log_error("%s", message.c_str());
bool warning_match = false; bool warning_match = false;
for (auto &item : log_expect_warning) for (auto &[_, item] : log_expect_warning)
if (std::regex_search(message, item.second.pattern)) { if (std::regex_search(message, item.pattern)) {
item.second.current_count++; item.current_count++;
warning_match = true;
}
for (auto &[_, item] : log_expect_prefix_warning)
if (std::regex_search(string(prefix) + message, item.pattern)) {
item.current_count++;
warning_match = true; warning_match = true;
} }
@ -355,9 +362,13 @@ static void logv_error_with_prefix(const char *prefix,
log_make_debug = bak_log_make_debug; log_make_debug = bak_log_make_debug;
for (auto &item : log_expect_error) for (auto &[_, item] : log_expect_error)
if (std::regex_search(log_last_error, item.second.pattern)) if (std::regex_search(log_last_error, item.pattern))
item.second.current_count++; item.current_count++;
for (auto &[_, item] : log_expect_prefix_error)
if (std::regex_search(string(prefix) + string(log_last_error), item.pattern))
item.current_count++;
log_check_expected(); log_check_expected();
@ -711,38 +722,39 @@ void log_check_expected()
// copy out all of the expected logs so that they cannot be re-checked // copy out all of the expected logs so that they cannot be re-checked
// or match against themselves // or match against themselves
dict<std::string, LogExpectedItem> expect_log, expect_warning, expect_error; dict<std::string, LogExpectedItem> expect_log, expect_warning, expect_error;
dict<std::string, LogExpectedItem> expect_prefix_log, expect_prefix_warning, expect_prefix_error;
std::swap(expect_warning, log_expect_warning); std::swap(expect_warning, log_expect_warning);
std::swap(expect_log, log_expect_log); std::swap(expect_log, log_expect_log);
std::swap(expect_error, log_expect_error); std::swap(expect_error, log_expect_error);
std::swap(expect_prefix_warning, log_expect_prefix_warning);
std::swap(expect_prefix_log, log_expect_prefix_log);
std::swap(expect_prefix_error, log_expect_prefix_error);
for (auto &item : expect_warning) { auto check = [&](const std::string kind, std::string pattern, LogExpectedItem item) {
if (item.second.current_count == 0) { if (item.current_count == 0) {
log_warn_regexes.clear(); log_warn_regexes.clear();
log_error("Expected warning pattern '%s' not found !\n", item.first.c_str()); log_error("Expected %s pattern '%s' not found !\n", kind.c_str(), pattern.c_str());
} }
if (item.second.current_count != item.second.expected_count) { if (item.current_count != item.expected_count) {
log_warn_regexes.clear(); log_warn_regexes.clear();
log_error("Expected warning pattern '%s' found %d time(s), instead of %d time(s) !\n", log_error("Expected %s pattern '%s' found %d time(s), instead of %d time(s) !\n",
item.first.c_str(), item.second.current_count, item.second.expected_count); kind.c_str(), pattern.c_str(), item.current_count, item.expected_count);
} }
} };
for (auto &item : expect_log) { for (auto &[pattern, item] : expect_warning)
if (item.second.current_count == 0) { check("warning", pattern, item);
log_warn_regexes.clear(); for (auto &[pattern, item] : expect_prefix_warning)
log_error("Expected log pattern '%s' not found !\n", item.first.c_str()); check("prefixed warning", pattern, item);
} for (auto &[pattern, item] : expect_log)
if (item.second.current_count != item.second.expected_count) { check("log", pattern, item);
log_warn_regexes.clear(); for (auto &[pattern, item] : expect_prefix_log)
log_error("Expected log pattern '%s' found %d time(s), instead of %d time(s) !\n", check("prefixed log", pattern, item);
item.first.c_str(), item.second.current_count, item.second.expected_count);
}
}
for (auto &item : expect_error) auto check_err = [&](const std::string kind, std::string pattern, LogExpectedItem item) {
if (item.second.current_count == item.second.expected_count) { if (item.current_count == item.expected_count) {
log_warn_regexes.clear(); log_warn_regexes.clear();
log("Expected error pattern '%s' found !!!\n", item.first.c_str()); log("Expected %s pattern '%s' found !!!\n", kind.c_str(), pattern.c_str());
yosys_shutdown(); yosys_shutdown();
#ifdef EMSCRIPTEN #ifdef EMSCRIPTEN
throw 0; throw 0;
@ -753,8 +765,13 @@ void log_check_expected()
#endif #endif
} else { } else {
log_warn_regexes.clear(); log_warn_regexes.clear();
log_error("Expected error pattern '%s' not found !\n", item.first.c_str()); log_error("Expected %s pattern '%s' not found !\n", kind.c_str(), pattern.c_str());
} }
};
for (auto &[pattern, item] : expect_error)
check_err("error", pattern, item);
for (auto &[pattern, item] : expect_prefix_error)
check_err("prefixed error", pattern, item);
} }
// --------------------------------------------------- // ---------------------------------------------------

1
kernel/log.h
View file

@ -201,6 +201,7 @@ struct LogExpectedItem
}; };
extern dict<std::string, LogExpectedItem> log_expect_log, log_expect_warning, log_expect_error; extern dict<std::string, LogExpectedItem> log_expect_log, log_expect_warning, log_expect_error;
extern dict<std::string, LogExpectedItem> log_expect_prefix_log, log_expect_prefix_warning, log_expect_prefix_error;
void log_check_expected(); void log_check_expected();
const char *log_signal(const RTLIL::SigSpec &sig, bool autoint = true); const char *log_signal(const RTLIL::SigSpec &sig, bool autoint = true);

17
passes/cmds/logger.cc
View file

@ -60,6 +60,8 @@ struct LoggerPass : public Pass {
log(" -expect <type> <regex> <expected_count>\n"); log(" -expect <type> <regex> <expected_count>\n");
log(" expect log, warning or error to appear. matched errors will terminate\n"); log(" expect log, warning or error to appear. matched errors will terminate\n");
log(" with exit code 0.\n"); log(" with exit code 0.\n");
log(" Types prefix-log, prefix-warning and prefix-error match the entire\n");
log(" logged string, including filename if present.\n");
log("\n"); log("\n");
log(" -expect-no-warnings\n"); log(" -expect-no-warnings\n");
log(" gives error in case there is at least one warning that is not expected.\n"); log(" gives error in case there is at least one warning that is not expected.\n");
@ -151,26 +153,33 @@ struct LoggerPass : public Pass {
} }
if (args[argidx] == "-expect" && argidx+3 < args.size()) { if (args[argidx] == "-expect" && argidx+3 < args.size()) {
std::string type = args[++argidx]; std::string type = args[++argidx];
if (type!="error" && type!="warning" && type!="log") if (type!="error" && type!="warning" && type!="log"
&& type!="prefix-error" && type!="prefix-warning" && type!="prefix-log")
log_cmd_error("Expect command require type to be 'log', 'warning' or 'error' !\n"); log_cmd_error("Expect command require type to be 'log', 'warning' or 'error' !\n");
if (type=="error" && log_expect_error.size()>0) if ((type=="error" || type=="prefix-error") && log_expect_error.size()>0)
log_cmd_error("Only single error message can be expected !\n"); log_cmd_error("Only single error message can be expected !\n");
std::string pattern = args[++argidx]; std::string pattern = args[++argidx];
if (pattern.front() == '\"' && pattern.back() == '\"') pattern = pattern.substr(1, pattern.size() - 2); if (pattern.front() == '\"' && pattern.back() == '\"') pattern = pattern.substr(1, pattern.size() - 2);
int count = atoi(args[++argidx].c_str()); int count = atoi(args[++argidx].c_str());
if (count<=0) if (count<=0)
log_cmd_error("Number of expected messages must be higher then 0 !\n"); log_cmd_error("Number of expected messages must be higher then 0 !\n");
if (type=="error" && count!=1) if ((type=="error" || type=="prefix-error") && count!=1)
log_cmd_error("Expected error message occurrences must be 1 !\n"); log_cmd_error("Expected error message occurrences must be 1 !\n");
log("Added regex '%s' to expected %s messages list.\n", log("Added regex '%s' to expected %s messages list.\n",
pattern.c_str(), type.c_str()); pattern.c_str(), type.c_str());
try { try {
if (type == "error") if (type == "error")
log_expect_error[pattern] = LogExpectedItem(YS_REGEX_COMPILE(pattern), count); log_expect_error[pattern] = LogExpectedItem(YS_REGEX_COMPILE(pattern), count);
else if (type == "prefix-error")
log_expect_prefix_error[pattern] = LogExpectedItem(YS_REGEX_COMPILE(pattern), count);
else if (type == "warning") else if (type == "warning")
log_expect_warning[pattern] = LogExpectedItem(YS_REGEX_COMPILE(pattern), count); log_expect_warning[pattern] = LogExpectedItem(YS_REGEX_COMPILE(pattern), count);
else if (type == "prefix-warning")
log_expect_prefix_warning[pattern] = LogExpectedItem(YS_REGEX_COMPILE(pattern), count);
else if (type == "log") else if (type == "log")
log_expect_log[pattern] = LogExpectedItem(YS_REGEX_COMPILE(pattern), count); log_expect_log[pattern] = LogExpectedItem(YS_REGEX_COMPILE(pattern), count);
else if (type == "prefix-log")
log_expect_prefix_log[pattern] = LogExpectedItem(YS_REGEX_COMPILE(pattern), count);
else log_abort(); else log_abort();
} }
catch (const std::regex_error& e) { catch (const std::regex_error& e) {