riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Improved some warning messages

This commit is contained in:
Clifford Wolf 2014-12-27 03:40:27 +01:00
parent 12ca6538a4
commit 7751c491fb
1 changed files with 18 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
frontends/verilog/verilog_lexer.l
View File

@ -254,8 +254,12 @@ supply1 { return TOK_SUPPLY1; }
} }
"/*"[ \t]*(synopsys|synthesis)[ \t]*translate_off[ \t]*"*/" { "/*"[ \t]*(synopsys|synthesis)[ \t]*translate_off[ \t]*"*/" {
static bool printed_warning = false;
if (!printed_warning) {
log_warning("Found one of those horrible `(synopsys|synthesis) translate_off' comments.\n" log_warning("Found one of those horrible `(synopsys|synthesis) translate_off' comments.\n"
"It is strongly suggested to use `ifdef constructs instead!\n"); "Yosys does support them but it is recommended to use `ifdef constructs instead!\n");
printed_warning = true;
}
BEGIN(SYNOPSYS_TRANSLATE_OFF); BEGIN(SYNOPSYS_TRANSLATE_OFF);
} }
<SYNOPSYS_TRANSLATE_OFF>. /* ignore synopsys translate_off body */ <SYNOPSYS_TRANSLATE_OFF>. /* ignore synopsys translate_off body */
@ -266,13 +270,21 @@ supply1 { return TOK_SUPPLY1; }
BEGIN(SYNOPSYS_FLAGS); BEGIN(SYNOPSYS_FLAGS);
} }
<SYNOPSYS_FLAGS>full_case { <SYNOPSYS_FLAGS>full_case {
static bool printed_warning = false;
if (!printed_warning) {
log_warning("Found one of those horrible `(synopsys|synthesis) full_case' comments.\n" log_warning("Found one of those horrible `(synopsys|synthesis) full_case' comments.\n"
"It is strongly suggested to use verilog x-values and default branches instead!\n"); "Yosys does support them but it is recommended to use verilog `full_case' attributes instead!\n");
printed_warning = true;
}
return TOK_SYNOPSYS_FULL_CASE; return TOK_SYNOPSYS_FULL_CASE;
} }
<SYNOPSYS_FLAGS>parallel_case { <SYNOPSYS_FLAGS>parallel_case {
static bool printed_warning = false;
if (!printed_warning) {
log_warning("Found one of those horrible `(synopsys|synthesis) parallel_case' comments.\n" log_warning("Found one of those horrible `(synopsys|synthesis) parallel_case' comments.\n"
"It is strongly suggested to use verilog `parallel_case' attributes instead!\n"); "Yosys does support them but it is recommended to use verilog `parallel_case' attributes instead!\n");
printed_warning = true;
}
return TOK_SYNOPSYS_PARALLEL_CASE; return TOK_SYNOPSYS_PARALLEL_CASE;
} }
<SYNOPSYS_FLAGS>. /* ignore everything else */ <SYNOPSYS_FLAGS>. /* ignore everything else */