From 26bab12257ce049d717872f276648d55c15ab42b Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Wed, 20 Dec 2006 21:14:22 +0000 Subject: [PATCH] Show warnings if use git-svn-id: file://localhost/svn/verilator/trunk/verilator@857 77ca24e4-aefa-0310-84f0-b9a241c72d87 --- src/verilog.l | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/src/verilog.l b/src/verilog.l index fd8cea8cc..e0278970f 100644 --- a/src/verilog.l +++ b/src/verilog.l @@ -189,6 +189,20 @@ escid \\[^ \t\f\r\n]+ "$unsigned" {yylval.fileline = CRELINE(); return yD_UNSIGNED;} "$width" {yylval.fileline = CRELINE(); return yTIMINGSPEC;} "$write" {yylval.fileline = CRELINE(); return yD_WRITE;} + +"$displayb" {yyerrorf("Unsupported: Use $display with %%b format instead: %s",yytext);} +"$displayh" {yyerrorf("Unsupported: Use $display with %%x format instead: %s",yytext);} +"$displayo" {yyerrorf("Unsupported: Use $display with %%o format instead: %s",yytext);} +"$fdisplayb" {yyerrorf("Unsupported: Use $fdisplay with %%b format instead: %s",yytext);} +"$fdisplayh" {yyerrorf("Unsupported: Use $fdisplay with %%x format instead: %s",yytext);} +"$fdisplayo" {yyerrorf("Unsupported: Use $fdisplay with %%o format instead: %s",yytext);} +"$fwriteb" {yyerrorf("Unsupported: Use $fwrite with %%b format instead: %s",yytext);} +"$fwriteh" {yyerrorf("Unsupported: Use $fwrite with %%x format instead: %s",yytext);} +"$fwriteo" {yyerrorf("Unsupported: Use $fwrite with %%o format instead: %s",yytext);} +"$writeb" {yyerrorf("Unsupported: Use $write with %%b format instead: %s",yytext);} +"$writeh" {yyerrorf("Unsupported: Use $write with %%x format instead: %s",yytext);} +"$writeo" {yyerrorf("Unsupported: Use $write with %%o format instead: %s",yytext);} + "$"[a-zA-Z_$]+ {yyerrorf("Unsupported or unknown PLI call: %s",yytext);} /*PSL Implemented */