mirror of
https://github.com/YosysHQ/yosys
synced 2025-06-09 23:53:26 +00:00
Merge pull request #5172 from YosysHQ/nak/reduce_warning_spam
This commit is contained in:
commit
0b19f628e9
3 changed files with 19 additions and 1 deletions
|
@ -3489,6 +3489,14 @@ struct VerificPass : public Pass {
|
|||
// WARNING: instantiating unknown module 'XYZ' (VERI-1063)
|
||||
Message::SetMessageType("VERI-1063", VERIFIC_ERROR);
|
||||
|
||||
// Downgrade warnings about things that are normal
|
||||
// VERIFIC-WARNING [VERI-1209] foo.sv:98: expression size 7 truncated to fit in target size 6
|
||||
Message::SetMessageType("VERI-1209", VERIFIC_INFO);
|
||||
// VERIFIC-WARNING [VERI-1142] foo.sv:55: system task 'display' is ignored for synthesis
|
||||
Message::SetMessageType("VERI-1142", VERIFIC_INFO);
|
||||
// VERIFIC-WARNING [VERI-2418] foo.svh:503: parameter 'all_cfgs_gp' declared inside package 'bp_common_pkg' shall be treated as localparam
|
||||
Message::SetMessageType("VERI-2418", VERIFIC_INFO);
|
||||
|
||||
// https://github.com/YosysHQ/yosys/issues/1055
|
||||
RuntimeFlags::SetVar("veri_elaborate_top_level_modules_having_interface_ports", 1) ;
|
||||
#endif
|
||||
|
@ -3547,6 +3555,9 @@ struct VerificPass : public Pass {
|
|||
} else if (Strings::compare(args[argidx].c_str(), "warnings")) {
|
||||
Message::SetAllMessageType(VERIFIC_WARNING, new_type);
|
||||
} else if (Strings::compare(args[argidx].c_str(), "infos")) {
|
||||
Message::SetMessageType("VERI-1209", new_type);
|
||||
Message::SetMessageType("VERI-1142", new_type);
|
||||
Message::SetMessageType("VERI-2418", new_type);
|
||||
Message::SetAllMessageType(VERIFIC_INFO, new_type);
|
||||
} else if (Strings::compare(args[argidx].c_str(), "comments")) {
|
||||
Message::SetAllMessageType(VERIFIC_COMMENT, new_type);
|
||||
|
|
|
@ -2409,7 +2409,14 @@ void RTLIL::Module::check()
|
|||
// assertion check below to make sure that there are no
|
||||
// cases where a cell has a blackbox attribute since
|
||||
// that is deprecated
|
||||
#ifdef __GNUC__
|
||||
#pragma GCC diagnostic push
|
||||
#pragma GCC diagnostic ignored "-Wdeprecated-declarations"
|
||||
#endif
|
||||
log_assert(!it.second->get_blackbox_attribute());
|
||||
#ifdef __GNUC__
|
||||
#pragma GCC diagnostic pop
|
||||
#endif
|
||||
}
|
||||
}
|
||||
|
||||
|
|
|
@ -1452,7 +1452,7 @@ struct HierarchyPass : public Pass {
|
|||
|
||||
bool resize_widths = !keep_portwidths && GetSize(w) != GetSize(conn.second);
|
||||
if (resize_widths && verific_mod && boxed_params)
|
||||
log_warning("Ignoring width mismatch on %s.%s.%s from verific, is port width parametrizable?\n",
|
||||
log_debug("Ignoring width mismatch on %s.%s.%s from verific, is port width parametrizable?\n",
|
||||
log_id(module), log_id(cell), log_id(conn.first)
|
||||
);
|
||||
else if (resize_widths) {
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue