github/verilator
1
0
Fork 1
mirror of https://github.com/verilator/verilator.git synced 2025-01-05 22:27:35 +00:00
Code Issues Packages Projects Releases Wiki Activity

Match Verilog-Perl operator names

Browse Source 
git-svn-id: file://localhost/svn/verilator/trunk/verilator@960 77ca24e4-aefa-0310-84f0-b9a241c72d87
This commit is contained in:
Wilson Snyder 2007-10-23 20:54:29 +00:00
parent a77b58dba9
commit 45c202f78f
2 changed files with 73 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
src/verilog.l
View File

@ -570,10 +570,7 @@ escid \\[^ \t\f\r\n]+
"->" {yylval.fileline = CRELINE(); return yP_MINUSGT;}
"=>" {yylval.fileline = CRELINE(); return yP_EQGT; }
"*>" {yylval.fileline = CRELINE(); return yP_ASTGT; }
"+=>" {yylval.fileline = CRELINE(); return yP_PLUSEQGT; }
"+*>" {yylval.fileline = CRELINE(); return yP_PLUSASTGT; }
"-=>" {yylval.fileline = CRELINE(); return yP_MINUSEQGT; }
"-*>" {yylval.fileline = CRELINE(); return yP_MINUSASTGT; }
"&&&" {yylval.fileline = CRELINE(); return yP_ANDANDAND; }
}
/* Verilog 2001 Operators */
@ -583,12 +580,33 @@ escid \\[^ \t\f\r\n]+
"**" {yylval.fileline = CRELINE(); return yP_POW;}
"+:" {yylval.fileline = CRELINE(); return yP_PLUSCOLON;}
"-:" {yylval.fileline = CRELINE(); return yP_MINUSCOLON;}
".*" {yylval.fileline = CRELINE(); return yP_DOTSTAR;}
}
/* SystemVerilog Operators */
<S05>{
"==?" {yylval.fileline = CRELINE(); return yP_WILDEQUAL;}
"!=?" {yylval.fileline = CRELINE(); return yP_WILDNOTEQUAL;}
"+=" {yylval.fileline = CRELINE(); return yP_PLUSEQ; }
"-=" {yylval.fileline = CRELINE(); return yP_MINUSEQ; }
"*=" {yylval.fileline = CRELINE(); return yP_TIMESEQ; }
"/=" {yylval.fileline = CRELINE(); return yP_DIVEQ; }
"%=" {yylval.fileline = CRELINE(); return yP_MODEQ; }
"&=" {yylval.fileline = CRELINE(); return yP_ANDEQ; }
"|=" {yylval.fileline = CRELINE(); return yP_OREQ; }
"^=" {yylval.fileline = CRELINE(); return yP_XOREQ; }
"<<=" {yylval.fileline = CRELINE(); return yP_SLEFTEQ; }
">>=" {yylval.fileline = CRELINE(); return yP_SRIGHTEQ; }
"<<<=" {yylval.fileline = CRELINE(); return yP_SLEFTEQ; }
">>>=" {yylval.fileline = CRELINE(); return yP_SSRIGHTEQ; }
"->>" {yylval.fileline = CRELINE(); return yP_MINUSGTGT; }
"##" {yylval.fileline = CRELINE(); return yP_POUNDPOUND; }
"@@" {yylval.fileline = CRELINE(); return yP_ATAT; }
"::" {yylval.fileline = CRELINE(); return yP_COLONCOLON; }
":=" {yylval.fileline = CRELINE(); return yP_COLONEQ; }
":/" {yylval.fileline = CRELINE(); return yP_COLONDIV; }
"|->" {yylval.fileline = CRELINE(); return yP_ORMINUSGT; }
"|=>" {yylval.fileline = CRELINE(); return yP_OREQGT; }
}
/* PSL Operators */
@ -602,8 +620,8 @@ escid \\[^ \t\f\r\n]+
"[->" {yyerrorf("Unsupported: PSL operator not implemented: %s",yytext);} // yP_BRA_MINUS_GT
"[->]" {yyerrorf("Unsupported: PSL operator not implemented: %s",yytext);} // yP_BRA_MINUS_GT_KET
"[=" {yyerrorf("Unsupported: PSL operator not implemented: %s",yytext);} // yP_BRA_EQ
"|->" {yyerrorf("Unsupported: PSL operator not implemented: %s",yytext);} // yP_OR_MINUS_GT
"|=>" {yyerrorf("Unsupported: PSL operator not implemented: %s",yytext);} // yP_OR_EQ_GT
"|->" {yyerrorf("Unsupported: PSL operator not implemented: %s",yytext);} // yP_ORMINUSGT
"|=>" {yyerrorf("Unsupported: PSL operator not implemented: %s",yytext);} // yP_OREQGT
}
/* Identifiers and numbers */
@ -653,6 +671,10 @@ escid \\[^ \t\f\r\n]+
yylval.cdouble = 0; /* Only for delays, not used yet */
return yaFLOATNUM;
}
[0-9][_0-9]*(\.[_0-9]+)?(fs|ps|ns|us|ms|s|step) {
yylval.cdouble = 0; /* Only for times, not used yet */
return yaFLOATNUM;
}
}
/************************************************************************/

55
src/verilog.y
View File

@ -248,22 +248,44 @@ class AstSenTree;
%token<fileline> yP_PLUSCOLON "+:"
%token<fileline> yP_MINUSCOLON "-:"
%token<fileline> yP_MINUSGTGT "->>"
%token<fileline> yP_EQGT "=>"
%token<fileline> yP_ASTGT "*>"
%token<fileline> yP_PLUSEQGT "+=>"
%token<fileline> yP_PLUSASTGT "+*>"
%token<fileline> yP_MINUSEQGT "-=>"
%token<fileline> yP_MINUSASTGT "-*>"
%token<fileline> yP_ANDANDAND "&&&"
%token<fileline> yP_POUNDPOUND "##"
%token<fileline> yP_DOTSTAR ".*"
%token<fileline> yP_ATAT "@@"
%token<fileline> yP_COLONCOLON "::"
%token<fileline> yP_COLONEQ ":="
%token<fileline> yP_COLONDIV ":/"
%token<fileline> yP_PLUSEQ "+="
%token<fileline> yP_MINUSEQ "-="
%token<fileline> yP_TIMESEQ "*="
%token<fileline> yP_DIVEQ "/="
%token<fileline> yP_MODEQ "%="
%token<fileline> yP_ANDEQ "&="
%token<fileline> yP_OREQ "|="
%token<fileline> yP_XOREQ "^="
%token<fileline> yP_SLEFTEQ "<<="
%token<fileline> yP_SRIGHTEQ ">>="
%token<fileline> yP_SSRIGHTEQ ">>>="
%token<fileline> yPSL_BRA "{"
%token<fileline> yPSL_KET "}"
%token<fileline> ';' '=' ',' '(' '.' '!' '~' '[' '@'
// [* is not a operator, as "[ * ]" is legal
// [= and [-> could be repitition operators, but to match [* we don't add them.
// '( is not a operator, as "' (" is legal
// '{ could be an operator. More research needed.
//********************
// PSL op precedence
%right<fileline> yP_MINUSGT yP_LOGIFF /* MinusGT == -> == PSL LogIf operator */
%right<fileline> yP_OR_MINUS_GT yP_OR_EQ_GT
%right<fileline> yP_ORMINUSGT yP_OREQGT
%left<fileline> prPSLCLK
// Verilog op precedence
@ -726,7 +748,7 @@ cellpinItList: cellpinItemE { $$ = $1; }
;
cellpinItemE: /* empty: ',,' is legal */ { $$ = NULL; V3Parse::s_pinNum++; }
| '.' '*' { $$ = NULL; if (V3Parse::s_pinStar) $1->v3error("Duplicate .* in a cell"); V3Parse::s_pinStar=true; }
| yP_DOTSTAR { $$ = NULL; if (V3Parse::s_pinStar) $1->v3error("Duplicate .* in a cell"); V3Parse::s_pinStar=true; }
| '.' yaID { $$ = new AstPin($1,V3Parse::s_pinNum++,*$2,new AstVarRef($1,*$2,false)); $$->svImplicit(true);}
| '.' yaID '(' ')' { $$ = NULL; V3Parse::s_pinNum++; }
| '.' yaID '(' expr ')' { $$ = new AstPin($1,V3Parse::s_pinNum++,*$2,$4); }
@ -1136,11 +1158,24 @@ specifyJunk: dlyTerm {} /* ignored */
| yP_LOGIFF {}
| yPSL_BRA {}
| yPSL_KET {}
| yP_OR_MINUS_GT {}
| yP_OR_EQ_GT {}
| yP_ORMINUSGT {}
| yP_OREQGT {}
| yP_EQGT {} | yP_ASTGT {}
| yP_PLUSEQGT {} | yP_PLUSASTGT {}
| yP_MINUSEQGT {} | yP_MINUSASTGT {}
| yP_ANDANDAND {}
| yP_MINUSGTGT {}
| yP_POUNDPOUND {}
| yP_DOTSTAR {}
| yP_ATAT {}
| yP_COLONCOLON {}
| yP_COLONEQ {}
| yP_COLONDIV {}
| yP_PLUSEQ {} | yP_MINUSEQ {}
| yP_TIMESEQ {}
| yP_DIVEQ {} | yP_MODEQ {}
| yP_ANDEQ {} | yP_OREQ {}
| yP_XOREQ {}
| yP_SLEFTEQ {} | yP_SRIGHTEQ {} | yP_SSRIGHTEQ {}
| error {}
;